Trace number 3291375

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

General information on the benchmark

NameSAT03/industrial/goldberg/hard_eq_check/
x1mul.miter.shuffled-as.sat03-359.cnf
MD5SUM9edcffddbe07377cf6685697aafad673
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark16.6405
Satisfiable
(Un)Satisfiability was proved
Number of variables8756
Number of clauses55571
Sum of the clauses size187746
Maximum clause length70
Minimum clause length1
Number of clauses of size 128
Number of clauses of size 212786
Number of clauses of size 325852
Number of clauses of size 40
Number of clauses of size 516904
Number of clauses of size over 51

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.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-3291375-1303790693.cnf
0.00/0.09	c reading problem ... 
0.29/0.22	c ... done. Wall clock time 0.129s.
0.29/0.22	c #vars     8756
0.29/0.22	c #constraints  55545
0.29/0.22	c constraints type 
0.29/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 42719
0.29/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12794
2.31/1.83	c cleaning 2432 clauses out of 4872 with flag 5002/5002
4.23/3.39	c cleaning 4211 clauses out of 8440 with flag 11002/11002
6.73/5.81	c cleaning 5491 clauses out of 10982 with flag 18001/18001
9.23/8.37	c cleaning 6625 clauses out of 13265 with flag 26000/26000
12.44/11.56	c cleaning 7769 clauses out of 15576 with flag 35000/35000
16.54/15.63	c cleaning 8829 clauses out of 17657 with flag 45001/45001
20.44/19.57	c cleaning 9890 clauses out of 19824 with flag 56001/56001
24.75/23.86	c cleaning 10942 clauses out of 21915 with flag 68000/68000
29.85/28.94	c cleaning 11978 clauses out of 23973 with flag 81000/81000
35.55/34.65	c cleaning 12982 clauses out of 25996 with flag 95001/95001
40.85/39.95	c cleaning 13859 clauses out of 27739 with flag 110000/110000
47.56/46.62	c cleaning 14890 clauses out of 29803 with flag 126000/126000
54.77/53.90	c cleaning 15938 clauses out of 31913 with flag 143000/143000
63.26/62.35	c cleaning 16983 clauses out of 33976 with flag 161001/161001
71.27/70.40	c cleaning 17980 clauses out of 35992 with flag 180000/180000
80.58/79.62	c cleaning 18981 clauses out of 37973 with flag 200002/200002
90.19/89.21	c cleaning 19986 clauses out of 39991 with flag 221001/221001
100.99/100.06	c cleaning 20996 clauses out of 42004 with flag 243000/243000
112.59/111.64	c cleaning 21999 clauses out of 44009 with flag 266001/266001
125.00/124.04	c cleaning 22997 clauses out of 46011 with flag 290002/290002
135.30/134.39	c cleaning 23979 clauses out of 48013 with flag 315001/315001
149.60/148.64	c cleaning 24991 clauses out of 50034 with flag 341001/341001
163.82/162.84	c cleaning 26006 clauses out of 52042 with flag 368000/368000
177.41/176.45	c cleaning 27001 clauses out of 54036 with flag 396000/396000
192.02/191.08	c cleaning 28007 clauses out of 56036 with flag 425001/425001
207.82/206.86	c cleaning 29013 clauses out of 58030 with flag 455002/455002
223.53/222.58	c cleaning 30003 clauses out of 60015 with flag 486000/486000
241.44/240.46	c cleaning 30992 clauses out of 62012 with flag 518000/518000
260.44/259.46	c cleaning 31996 clauses out of 64020 with flag 551000/551000
280.04/279.03	c cleaning 33007 clauses out of 66024 with flag 585000/585000
300.25/299.23	c cleaning 34004 clauses out of 68017 with flag 620000/620000
320.55/319.57	c cleaning 35002 clauses out of 70014 with flag 656001/656001
343.16/342.14	c cleaning 35998 clauses out of 72012 with flag 693001/693001
366.17/365.14	c cleaning 37000 clauses out of 74013 with flag 731000/731000
390.77/389.80	c cleaning 37999 clauses out of 76013 with flag 770000/770000
415.97/414.91	c cleaning 38994 clauses out of 78015 with flag 810001/810001
441.37/440.37	c cleaning 39994 clauses out of 80020 with flag 851000/851000
468.68/467.69	c cleaning 41004 clauses out of 82026 with flag 893000/893000
493.49/492.40	c cleaning 42002 clauses out of 84023 with flag 936001/936001
521.30/520.25	c cleaning 42996 clauses out of 86020 with flag 980000/980000
553.30/552.21	c cleaning 43999 clauses out of 88024 with flag 1025000/1025000
583.61/582.52	c cleaning 45010 clauses out of 90025 with flag 1071000/1071000
611.72/610.64	c cleaning 46003 clauses out of 92015 with flag 1118000/1118000
643.33/642.24	c cleaning 47000 clauses out of 94012 with flag 1166000/1166000
674.73/673.69	c cleaning 47996 clauses out of 96013 with flag 1215001/1215001
705.23/704.15	c cleaning 49000 clauses out of 98017 with flag 1265001/1265001
739.44/738.38	c cleaning 50002 clauses out of 100017 with flag 1316001/1316001
775.15/774.05	c cleaning 51002 clauses out of 102014 with flag 1368000/1368000
814.06/812.92	c cleaning 52001 clauses out of 104012 with flag 1421000/1421000
855.47/854.33	c cleaning 52998 clauses out of 106011 with flag 1475000/1475000
891.28/890.15	c cleaning 53999 clauses out of 108013 with flag 1530000/1530000
927.98/926.83	c cleaning 54999 clauses out of 110016 with flag 1586002/1586002
968.09/966.98	c cleaning 55501 clauses out of 111016 with flag 1642001/1642001
999.79/998.62	c cleaning 55753 clauses out of 111515 with flag 1698001/1698001
1038.11/1036.98	c cleaning 55876 clauses out of 111763 with flag 1754002/1754002
1071.91/1070.70	c cleaning 55931 clauses out of 111886 with flag 1810001/1810001
1108.32/1107.16	c cleaning 55973 clauses out of 111955 with flag 1866001/1866001
1140.03/1138.85	c cleaning 55984 clauses out of 111983 with flag 1922002/1922002
1174.94/1173.70	c cleaning 55989 clauses out of 111997 with flag 1978000/1978000
1204.84/1203.61	c cleaning 55996 clauses out of 112009 with flag 2034001/2034001
1237.55/1236.30	c cleaning 55998 clauses out of 112014 with flag 2090002/2090002
1266.55/1265.31	c cleaning 56003 clauses out of 112014 with flag 2146000/2146000
1298.35/1297.13	c cleaning 55994 clauses out of 112011 with flag 2202000/2202000
1301.27/1300.01	c starts		: 1596
1301.27/1300.01	c conflicts		: 2207208
1301.27/1300.01	c decisions		: 2899512
1301.27/1300.01	c propagations		: 973827125
1301.27/1300.01	c inspects		: 10921405891
1301.27/1300.01	c shortcuts		: 0
1301.27/1300.01	c learnt literals	: 18
1301.27/1300.01	c learnt binary clauses	: 356
1301.27/1300.01	c learnt ternary clauses	: 6239
1301.27/1300.01	c learnt constraints	: 2207190
1301.27/1300.01	c ignored constraints	: 0
1301.27/1300.01	c root simplifications	: 1614
1301.27/1300.01	c removed literals (reason simplification)	: 193282954
1301.27/1300.01	c reason swapping (by a shorter reason)	: 0
1301.27/1300.01	c Calls to reduceDB	: 63
1301.27/1300.01	c speed (assignments/second)	: 749219.44946449
1301.27/1300.01	c non guided choices	8171
1301.27/1300.05	c learnt constraints type 
1301.27/1300.05	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 287
1301.27/1300.05	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 60949
1301.27/1300.05	c constraints type 
1301.27/1300.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 42719
1301.27/1300.05	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12794
1301.27/1300.05	s UNKNOWN
1301.27/1300.05	c Total wall clock time (in seconds) : 1299.918

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-3291375-1303790693/watcher-3291375-1303790693 -o /tmp/evaluation-result-3291375-1303790693/solver-3291375-1303790693 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3291375-1303790693.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: 4.01 4.05 3.98 4/243 26902
/proc/meminfo: memFree=13116732/32950928 swapFree=67111528/67111528
[pid=26902] ppid=26900 vsize=24004 CPUtime=0 cores=5,7
/proc/26902/stat : 26902 (java) R 26900 26902 26130 0 -1 4202496 1116 0 0 0 0 0 0 0 25 0 2 0 490669085 24580096 852 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248089754609 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/26902/statm: 6001 863 652 9 0 381 0
[pid=26902/tid=26903] ppid=26900 vsize=24004 CPUtime=0 cores=5,7
/proc/26902/task/26903/stat : 26903 (java) R 26900 26902 26130 0 -1 4202560 12 0 0 0 0 0 0 0 25 0 2 0 490669085 24580096 864 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248089698048 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.0113501 s]
/proc/loadavg: 4.01 4.05 3.98 4/243 26902
/proc/meminfo: memFree=13116732/32950928 swapFree=67111528/67111528
[pid=26902] ppid=26900 vsize=7531504 CPUtime=0 cores=5,7
/proc/26902/stat : 26902 (java) S 26900 26902 26130 0 -1 4202496 1688 0 1 0 0 0 0 0 25 0 2 0 490669085 7712260096 1389 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/26902/statm: 1882876 1405 910 9 0 1874032 0
[pid=26902/tid=26903] ppid=26900 vsize=7531504 CPUtime=0 cores=5,7
/proc/26902/task/26903/stat : 26903 (java) R 26900 26902 26130 0 -1 4202560 601 0 1 0 0 0 0 0 25 0 2 0 490669085 7712260096 1417 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7531504

[startup+0.106341 s]
/proc/loadavg: 4.01 4.05 3.98 4/243 26902
/proc/meminfo: memFree=13116732/32950928 swapFree=67111528/67111528
[pid=26902] ppid=26900 vsize=7636068 CPUtime=0.1 cores=5,7
/proc/26902/stat : 26902 (java) S 26900 26902 26130 0 -1 4202496 10487 0 1 0 9 1 0 0 25 0 18 0 490669085 7819333632 10182 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26902/statm: 1909017 10183 2093 9 0 1899755 0
[pid=26902/tid=26903] ppid=26900 vsize=7636068 CPUtime=0.09 cores=5,7
/proc/26902/task/26903/stat : 26903 (java) R 26900 26902 26130 0 -1 4202560 8737 0 1 0 8 1 0 0 25 0 18 0 490669085 7819333632 10183 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 47842121631368 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636068

[startup+0.300303 s]
/proc/loadavg: 4.01 4.05 3.98 4/243 26902
/proc/meminfo: memFree=13116732/32950928 swapFree=67111528/67111528
[pid=26902] ppid=26900 vsize=7638640 CPUtime=0.48 cores=5,7
/proc/26902/stat : 26902 (java) S 26900 26902 26130 0 -1 4202496 13266 0 1 0 46 2 0 0 25 0 19 0 490669085 7821967360 12657 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26902/statm: 1909660 12658 2212 9 0 1900398 0
[pid=26902/tid=26903] ppid=26900 vsize=7638640 CPUtime=0.28 cores=5,7
/proc/26902/task/26903/stat : 26903 (java) R 26900 26902 26130 0 -1 4202560 10404 0 1 0 27 1 0 0 25 0 19 0 490669085 7821967360 12658 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 46912505538462 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 7638640

[startup+0.700235 s]
/proc/loadavg: 4.01 4.05 3.98 4/243 26902
/proc/meminfo: memFree=13116732/32950928 swapFree=67111528/67111528
[pid=26902] ppid=26900 vsize=7638640 CPUtime=1.12 cores=5,7
/proc/26902/stat : 26902 (java) S 26900 26902 26130 0 -1 4202496 15519 0 1 0 109 3 0 0 25 0 19 0 490669085 7821967360 13744 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26902/statm: 1909660 13744 2221 9 0 1900398 0
[pid=26902/tid=26903] ppid=26900 vsize=7638640 CPUtime=0.67 cores=5,7
/proc/26902/task/26903/stat : 26903 (java) R 26900 26902 26130 0 -1 4202560 10607 0 1 0 66 1 0 0 25 0 19 0 490669085 7821967360 13744 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 46912505719438 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 7638640

[startup+1.50109 s]
/proc/loadavg: 4.01 4.05 3.98 5/262 26921
/proc/meminfo: memFree=13069656/32950928 swapFree=67111528/67111528
[pid=26902] ppid=26900 vsize=7638640 CPUtime=2.01 cores=5,7
/proc/26902/stat : 26902 (java) S 26900 26902 26130 0 -1 4202496 15718 0 1 0 198 3 0 0 25 0 19 0 490669085 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26902/statm: 1909660 13942 2226 9 0 1900398 0
[pid=26902/tid=26903] ppid=26900 vsize=7638640 CPUtime=1.48 cores=5,7
/proc/26902/task/26903/stat : 26903 (java) R 26900 26902 26130 0 -1 4202560 10783 0 1 0 146 2 0 0 25 0 19 0 490669085 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 46912505683771 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26902/tid=26905] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26905/stat : 26905 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669087 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26906] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26906/stat : 26906 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669087 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26907] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26907/stat : 26907 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669087 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26908] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26908/stat : 26908 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669087 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26909] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26909/stat : 26909 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669087 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26910] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26910/stat : 26910 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669087 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26911] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26911/stat : 26911 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669087 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26912] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26912/stat : 26912 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669087 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26913] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26913/stat : 26913 (java) S 26900 26902 26130 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 490669088 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 0 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26914] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26914/stat : 26914 (java) S 26900 26902 26130 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 490669088 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26915] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26915/stat : 26915 (java) S 26900 26902 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490669088 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26916] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26916/stat : 26916 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669090 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101521841 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26917] ppid=26900 vsize=7638640 CPUtime=0.29 cores=5,7
/proc/26902/task/26917/stat : 26917 (java) S 26900 26902 26130 0 -1 4202560 2100 0 0 0 29 0 0 0 18 0 19 0 490669090 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26918] ppid=26900 vsize=7638640 CPUtime=0.21 cores=5,7
/proc/26902/task/26918/stat : 26918 (java) S 26900 26902 26130 0 -1 4202560 1672 0 0 0 21 0 0 0 22 0 19 0 490669090 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26919] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26919/stat : 26919 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669090 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26920] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26920/stat : 26920 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490669090 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26921] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26921/stat : 26921 (java) S 26900 26902 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490669109 7821967360 13942 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 7638640

[startup+3.10081 s]
/proc/loadavg: 4.01 4.05 3.98 6/262 26921
/proc/meminfo: memFree=13040144/32950928 swapFree=67111528/67111528
[pid=26902] ppid=26900 vsize=7638640 CPUtime=4.03 cores=5,7
/proc/26902/stat : 26902 (java) S 26900 26902 26130 0 -1 4202496 26605 0 1 0 398 5 0 0 25 0 19 0 490669085 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26902/statm: 1909660 21551 2254 9 0 1900398 0
[pid=26902/tid=26903] ppid=26900 vsize=7638640 CPUtime=3.01 cores=5,7
/proc/26902/task/26903/stat : 26903 (java) R 26900 26902 26130 0 -1 4202560 10854 0 1 0 299 2 0 0 25 0 19 0 490669085 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 46912505689746 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26902/tid=26905] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26905/stat : 26905 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490669087 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26906] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26906/stat : 26906 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490669087 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26907] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26907/stat : 26907 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490669087 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26908] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26908/stat : 26908 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490669087 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26909] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26909/stat : 26909 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490669087 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26910] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26910/stat : 26910 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490669087 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26911] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26911/stat : 26911 (java) S 26900 26902 26130 0 -1 4202560 978 0 0 0 0 0 0 0 18 0 19 0 490669087 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26912] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26912/stat : 26912 (java) S 26900 26902 26130 0 -1 4202560 741 0 0 0 0 0 0 0 18 0 19 0 490669087 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26913] ppid=26900 vsize=7638640 CPUtime=0.03 cores=5,7
/proc/26902/task/26913/stat : 26913 (java) S 26900 26902 26130 0 -1 4202560 1711 0 0 0 3 0 0 0 15 0 19 0 490669088 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 0 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26914] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26914/stat : 26914 (java) S 26900 26902 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490669088 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26915] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26915/stat : 26915 (java) S 26900 26902 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490669088 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26916] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26916/stat : 26916 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669090 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101521841 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26917] ppid=26900 vsize=7638640 CPUtime=0.7 cores=5,7
/proc/26902/task/26917/stat : 26917 (java) S 26900 26902 26130 0 -1 4202560 9482 0 0 0 68 2 0 0 16 0 19 0 490669090 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26918] ppid=26900 vsize=7638640 CPUtime=0.24 cores=5,7
/proc/26902/task/26918/stat : 26918 (java) S 26900 26902 26130 0 -1 4202560 1681 0 0 0 24 0 0 0 16 0 19 0 490669090 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26919] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26919/stat : 26919 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669090 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26920] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26920/stat : 26920 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490669090 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26921] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26921/stat : 26921 (java) S 26900 26902 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490669109 7821967360 21551 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 7638640

[startup+6.30124 s]
/proc/loadavg: 4.01 4.05 3.98 5/262 26921
/proc/meminfo: memFree=13043924/32950928 swapFree=67111528/67111528
[pid=26902] ppid=26900 vsize=7638640 CPUtime=7.23 cores=5,7
/proc/26902/stat : 26902 (java) S 26900 26902 26130 0 -1 4202496 27196 0 1 0 718 5 0 0 25 0 19 0 490669085 7821967360 20130 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26902/statm: 1909660 20130 2254 9 0 1900398 0
[pid=26902/tid=26903] ppid=26900 vsize=7638640 CPUtime=6.14 cores=5,7
/proc/26902/task/26903/stat : 26903 (java) R 26900 26902 26130 0 -1 4202560 10858 0 1 0 612 2 0 0 25 0 19 0 490669085 7821967360 20130 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 46912505694849 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=26902/tid=26905] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26905/stat : 26905 (java) S 26900 26902 26130 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 19 0 490669087 7821967360 20130 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26906] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26906/stat : 26906 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490669087 7821967360 20130 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26907] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26907/stat : 26907 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490669087 7821967360 20130 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26908] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26908/stat : 26908 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490669087 7821967360 20130 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26909] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26909/stat : 26909 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490669087 7821967360 20130 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26910] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26910/stat : 26910 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490669087 7821967360 20130 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26911] ppid=26900 vsize=7638640 CPUtime=0.01 cores=5,7
/proc/26902/task/26911/stat : 26911 (java) S 26900 26902 26130 0 -1 4202560 1034 0 0 0 1 0 0 0 15 0 19 0 490669087 7821967360 20130 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26912] ppid=26900 vsize=7638640 CPUtime=0.01 cores=5,7
/proc/26902/task/26912/stat : 26912 (java) S 26900 26902 26130 0 -1 4202560 745 0 0 0 1 0 0 0 15 0 19 0 490669087 7821967360 20130 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26913] ppid=26900 vsize=7638640 CPUtime=0.08 cores=5,7
/proc/26902/task/26913/stat : 26913 (java) S 26900 26902 26130 0 -1 4202560 2057 0 0 0 8 0 0 0 15 0 19 0 490669088 7821967360 20130 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 0 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26914] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26914/stat : 26914 (java) S 26900 26902 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490669088 7821967360 20130 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26915] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26915/stat : 26915 (java) S 26900 26902 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490669088 7821967360 20130 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26916] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26916/stat : 26916 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669090 7821967360 20130 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101521841 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26917] ppid=26900 vsize=7638640 CPUtime=0.71 cores=5,7
/proc/26902/task/26917/stat : 26917 (java) S 26900 26902 26130 0 -1 4202560 9482 0 0 0 69 2 0 0 15 0 19 0 490669090 7821967360 20130 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26918] ppid=26900 vsize=7638640 CPUtime=0.25 cores=5,7
/proc/26902/task/26918/stat : 26918 (java) S 26900 26902 26130 0 -1 4202560 1681 0 0 0 25 0 0 0 15 0 19 0 490669090 7821967360 20130 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0

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

[pid=26902/tid=26910] ppid=26900 vsize=7638640 CPUtime=0.06 cores=5,7
/proc/26902/task/26910/stat : 26910 (java) S 26900 26902 26130 0 -1 4202560 1412 0 0 0 6 0 0 0 15 0 19 0 490669087 7821967360 31296 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26911] ppid=26900 vsize=7638640 CPUtime=0.07 cores=5,7
/proc/26902/task/26911/stat : 26911 (java) S 26900 26902 26130 0 -1 4202560 1251 0 0 0 7 0 0 0 15 0 19 0 490669087 7821967360 31296 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26912] ppid=26900 vsize=7638640 CPUtime=0.11 cores=5,7
/proc/26902/task/26912/stat : 26912 (java) S 26900 26902 26130 0 -1 4202560 1714 0 0 0 11 0 0 0 16 0 19 0 490669087 7821967360 31296 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26913] ppid=26900 vsize=7638640 CPUtime=2.44 cores=5,7
/proc/26902/task/26913/stat : 26913 (java) S 26900 26902 26130 0 -1 4202560 5494 0 0 0 243 1 0 0 15 0 19 0 490669088 7821967360 31296 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 0 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26914] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26914/stat : 26914 (java) S 26900 26902 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490669088 7821967360 31296 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26915] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26915/stat : 26915 (java) S 26900 26902 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490669088 7821967360 31296 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26916] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26916/stat : 26916 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669090 7821967360 31296 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101521841 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26917] ppid=26900 vsize=7638640 CPUtime=0.71 cores=5,7
/proc/26902/task/26917/stat : 26917 (java) S 26900 26902 26130 0 -1 4202560 9482 0 0 0 69 2 0 0 15 0 19 0 490669090 7821967360 31296 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26918] ppid=26900 vsize=7638640 CPUtime=0.27 cores=5,7
/proc/26902/task/26918/stat : 26918 (java) S 26900 26902 26130 0 -1 4202560 1681 0 0 0 27 0 0 0 15 0 19 0 490669090 7821967360 31296 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26919] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26919/stat : 26919 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669090 7821967360 31296 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26920] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26920/stat : 26920 (java) S 26900 26902 26130 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 490669090 7821967360 31296 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26921] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26921/stat : 26921 (java) S 26900 26902 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490669109 7821967360 31296 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1123.53
Current children cumulated vsize (KiB) 7638640

[startup+1182.3 s]
/proc/loadavg: 1.22 2.54 3.36 2/190 27012
/proc/meminfo: memFree=15038400/32950928 swapFree=67111528/67111528
[pid=26902] ppid=26900 vsize=7638640 CPUtime=1183.54 cores=5,7
/proc/26902/stat : 26902 (java) S 26900 26902 26130 0 -1 4202496 38626 0 1 0 118345 9 0 0 25 0 19 0 490669085 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26902/statm: 1909660 31366 2254 9 0 1900398 0
[pid=26902/tid=26903] ppid=26900 vsize=7638640 CPUtime=1179.37 cores=5,7
/proc/26902/task/26903/stat : 26903 (java) R 26900 26902 26130 0 -1 4202560 13838 0 1 0 117934 3 0 0 25 0 19 0 490669085 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 46912505684021 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26902/tid=26905] ppid=26900 vsize=7638640 CPUtime=0.06 cores=5,7
/proc/26902/task/26905/stat : 26905 (java) S 26900 26902 26130 0 -1 4202560 327 0 0 0 6 0 0 0 15 0 19 0 490669087 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26906] ppid=26900 vsize=7638640 CPUtime=0.05 cores=5,7
/proc/26902/task/26906/stat : 26906 (java) S 26900 26902 26130 0 -1 4202560 31 0 0 0 5 0 0 0 16 0 19 0 490669087 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26907] ppid=26900 vsize=7638640 CPUtime=0.06 cores=5,7
/proc/26902/task/26907/stat : 26907 (java) S 26900 26902 26130 0 -1 4202560 479 0 0 0 6 0 0 0 15 0 19 0 490669087 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26908] ppid=26900 vsize=7638640 CPUtime=0.08 cores=5,7
/proc/26902/task/26908/stat : 26908 (java) S 26900 26902 26130 0 -1 4202560 740 0 0 0 8 0 0 0 15 0 19 0 490669087 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26909] ppid=26900 vsize=7638640 CPUtime=0.08 cores=5,7
/proc/26902/task/26909/stat : 26909 (java) S 26900 26902 26130 0 -1 4202560 894 0 0 0 8 0 0 0 15 0 19 0 490669087 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26910] ppid=26900 vsize=7638640 CPUtime=0.06 cores=5,7
/proc/26902/task/26910/stat : 26910 (java) S 26900 26902 26130 0 -1 4202560 1412 0 0 0 6 0 0 0 15 0 19 0 490669087 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26911] ppid=26900 vsize=7638640 CPUtime=0.07 cores=5,7
/proc/26902/task/26911/stat : 26911 (java) S 26900 26902 26130 0 -1 4202560 1251 0 0 0 7 0 0 0 15 0 19 0 490669087 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26912] ppid=26900 vsize=7638640 CPUtime=0.11 cores=5,7
/proc/26902/task/26912/stat : 26912 (java) S 26900 26902 26130 0 -1 4202560 1714 0 0 0 11 0 0 0 16 0 19 0 490669087 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26913] ppid=26900 vsize=7638640 CPUtime=2.53 cores=5,7
/proc/26902/task/26913/stat : 26913 (java) S 26900 26902 26130 0 -1 4202560 5557 0 0 0 252 1 0 0 15 0 19 0 490669088 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 0 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26914] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26914/stat : 26914 (java) S 26900 26902 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490669088 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26915] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26915/stat : 26915 (java) S 26900 26902 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490669088 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26916] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26916/stat : 26916 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669090 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101521841 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26917] ppid=26900 vsize=7638640 CPUtime=0.71 cores=5,7
/proc/26902/task/26917/stat : 26917 (java) S 26900 26902 26130 0 -1 4202560 9482 0 0 0 69 2 0 0 15 0 19 0 490669090 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26918] ppid=26900 vsize=7638640 CPUtime=0.27 cores=5,7
/proc/26902/task/26918/stat : 26918 (java) S 26900 26902 26130 0 -1 4202560 1681 0 0 0 27 0 0 0 15 0 19 0 490669090 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26919] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26919/stat : 26919 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669090 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26920] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26920/stat : 26920 (java) S 26900 26902 26130 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 490669090 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26921] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26921/stat : 26921 (java) S 26900 26902 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490669109 7821967360 31366 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1183.54
Current children cumulated vsize (KiB) 7638640

[startup+1242.3 s]
/proc/loadavg: 1.12 2.25 3.21 2/190 27014
/proc/meminfo: memFree=15038144/32950928 swapFree=67111528/67111528
[pid=26902] ppid=26900 vsize=7638640 CPUtime=1243.55 cores=5,7
/proc/26902/stat : 26902 (java) S 26900 26902 26130 0 -1 4202496 38637 0 1 0 124346 9 0 0 25 0 19 0 490669085 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26902/statm: 1909660 31369 2254 9 0 1900398 0
[pid=26902/tid=26903] ppid=26900 vsize=7638640 CPUtime=1239.25 cores=5,7
/proc/26902/task/26903/stat : 26903 (java) R 26900 26902 26130 0 -1 4202560 13840 0 1 0 123922 3 0 0 25 0 19 0 490669085 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 46912505661620 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26902/tid=26905] ppid=26900 vsize=7638640 CPUtime=0.06 cores=5,7
/proc/26902/task/26905/stat : 26905 (java) S 26900 26902 26130 0 -1 4202560 327 0 0 0 6 0 0 0 15 0 19 0 490669087 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26906] ppid=26900 vsize=7638640 CPUtime=0.05 cores=5,7
/proc/26902/task/26906/stat : 26906 (java) S 26900 26902 26130 0 -1 4202560 31 0 0 0 5 0 0 0 16 0 19 0 490669087 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26907] ppid=26900 vsize=7638640 CPUtime=0.06 cores=5,7
/proc/26902/task/26907/stat : 26907 (java) S 26900 26902 26130 0 -1 4202560 479 0 0 0 6 0 0 0 15 0 19 0 490669087 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26908] ppid=26900 vsize=7638640 CPUtime=0.09 cores=5,7
/proc/26902/task/26908/stat : 26908 (java) S 26900 26902 26130 0 -1 4202560 740 0 0 0 9 0 0 0 15 0 19 0 490669087 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26909] ppid=26900 vsize=7638640 CPUtime=0.09 cores=5,7
/proc/26902/task/26909/stat : 26909 (java) S 26900 26902 26130 0 -1 4202560 894 0 0 0 9 0 0 0 16 0 19 0 490669087 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26910] ppid=26900 vsize=7638640 CPUtime=0.06 cores=5,7
/proc/26902/task/26910/stat : 26910 (java) S 26900 26902 26130 0 -1 4202560 1412 0 0 0 6 0 0 0 15 0 19 0 490669087 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26911] ppid=26900 vsize=7638640 CPUtime=0.07 cores=5,7
/proc/26902/task/26911/stat : 26911 (java) S 26900 26902 26130 0 -1 4202560 1254 0 0 0 7 0 0 0 16 0 19 0 490669087 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26912] ppid=26900 vsize=7638640 CPUtime=0.11 cores=5,7
/proc/26902/task/26912/stat : 26912 (java) S 26900 26902 26130 0 -1 4202560 1714 0 0 0 11 0 0 0 15 0 19 0 490669087 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26913] ppid=26900 vsize=7638640 CPUtime=2.64 cores=5,7
/proc/26902/task/26913/stat : 26913 (java) S 26900 26902 26130 0 -1 4202560 5561 0 0 0 263 1 0 0 15 0 19 0 490669088 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 0 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26914] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26914/stat : 26914 (java) S 26900 26902 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490669088 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26915] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26915/stat : 26915 (java) S 26900 26902 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490669088 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26916] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26916/stat : 26916 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669090 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101521841 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26917] ppid=26900 vsize=7638640 CPUtime=0.71 cores=5,7
/proc/26902/task/26917/stat : 26917 (java) S 26900 26902 26130 0 -1 4202560 9482 0 0 0 69 2 0 0 15 0 19 0 490669090 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26918] ppid=26900 vsize=7638640 CPUtime=0.27 cores=5,7
/proc/26902/task/26918/stat : 26918 (java) S 26900 26902 26130 0 -1 4202560 1681 0 0 0 27 0 0 0 15 0 19 0 490669090 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26919] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26919/stat : 26919 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669090 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26920] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26920/stat : 26920 (java) S 26900 26902 26130 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 490669090 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26921] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26921/stat : 26921 (java) S 26900 26902 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490669109 7821967360 31369 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1243.55
Current children cumulated vsize (KiB) 7638640



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 1.05 2.04 3.08 2/190 27016
/proc/meminfo: memFree=15038004/32950928 swapFree=67111528/67111528
[pid=26902] ppid=26900 vsize=7638640 CPUtime=1301.27 cores=5,7
/proc/26902/stat : 26902 (java) S 26900 26902 26130 0 -1 4202496 38724 0 1 0 130118 9 0 0 25 0 19 0 490669085 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26902/statm: 1909660 31446 2254 9 0 1900398 0
[pid=26902/tid=26903] ppid=26900 vsize=7638640 CPUtime=1296.85 cores=5,7
/proc/26902/task/26903/stat : 26903 (java) R 26900 26902 26130 0 -1 4202560 13842 0 1 0 129682 3 0 0 25 0 19 0 490669085 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 46912505694915 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26902/tid=26905] ppid=26900 vsize=7638640 CPUtime=0.06 cores=5,7
/proc/26902/task/26905/stat : 26905 (java) S 26900 26902 26130 0 -1 4202560 327 0 0 0 6 0 0 0 15 0 19 0 490669087 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26906] ppid=26900 vsize=7638640 CPUtime=0.06 cores=5,7
/proc/26902/task/26906/stat : 26906 (java) S 26900 26902 26130 0 -1 4202560 31 0 0 0 6 0 0 0 15 0 19 0 490669087 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26907] ppid=26900 vsize=7638640 CPUtime=0.07 cores=5,7
/proc/26902/task/26907/stat : 26907 (java) S 26900 26902 26130 0 -1 4202560 481 0 0 0 7 0 0 0 15 0 19 0 490669087 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26908] ppid=26900 vsize=7638640 CPUtime=0.09 cores=5,7
/proc/26902/task/26908/stat : 26908 (java) S 26900 26902 26130 0 -1 4202560 740 0 0 0 9 0 0 0 15 0 19 0 490669087 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26909] ppid=26900 vsize=7638640 CPUtime=0.09 cores=5,7
/proc/26902/task/26909/stat : 26909 (java) S 26900 26902 26130 0 -1 4202560 894 0 0 0 9 0 0 0 15 0 19 0 490669087 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26910] ppid=26900 vsize=7638640 CPUtime=0.06 cores=5,7
/proc/26902/task/26910/stat : 26910 (java) S 26900 26902 26130 0 -1 4202560 1412 0 0 0 6 0 0 0 16 0 19 0 490669087 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26911] ppid=26900 vsize=7638640 CPUtime=0.08 cores=5,7
/proc/26902/task/26911/stat : 26911 (java) S 26900 26902 26130 0 -1 4202560 1254 0 0 0 8 0 0 0 16 0 19 0 490669087 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26912] ppid=26900 vsize=7638640 CPUtime=0.11 cores=5,7
/proc/26902/task/26912/stat : 26912 (java) S 26900 26902 26130 0 -1 4202560 1714 0 0 0 11 0 0 0 15 0 19 0 490669087 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26913] ppid=26900 vsize=7638640 CPUtime=2.73 cores=5,7
/proc/26902/task/26913/stat : 26913 (java) S 26900 26902 26130 0 -1 4202560 5640 0 0 0 272 1 0 0 15 0 19 0 490669088 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 0 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26914] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26914/stat : 26914 (java) S 26900 26902 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490669088 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26915] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26915/stat : 26915 (java) S 26900 26902 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490669088 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26916] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26916/stat : 26916 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669090 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101521841 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26917] ppid=26900 vsize=7638640 CPUtime=0.71 cores=5,7
/proc/26902/task/26917/stat : 26917 (java) S 26900 26902 26130 0 -1 4202560 9482 0 0 0 69 2 0 0 15 0 19 0 490669090 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26918] ppid=26900 vsize=7638640 CPUtime=0.27 cores=5,7
/proc/26902/task/26918/stat : 26918 (java) S 26900 26902 26130 0 -1 4202560 1681 0 0 0 27 0 0 0 15 0 19 0 490669090 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
[pid=26902/tid=26919] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26919/stat : 26919 (java) S 26900 26902 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490669090 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514137 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26920] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26920/stat : 26920 (java) S 26900 26902 26130 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 490669090 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 4 0 16800975 18446604468880844032 0 0 -1 7 0 0 0
[pid=26902/tid=26921] ppid=26900 vsize=7638640 CPUtime=0 cores=5,7
/proc/26902/task/26921/stat : 26921 (java) S 26900 26902 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490669109 7821967360 31446 33554432000 1073741824 1073778376 140734779764784 18446744073709551615 248101514752 0 4 0 16800975 18446604468880844032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1301.27
Current children cumulated vsize (KiB) 7638640

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

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

Child status: 143
Real time (s): 1300.07
CPU time (s): 1301.37
CPU user time (s): 1301.28
CPU system time (s): 0.098984
CPU usage (%): 100.101
Max. virtual memory (cumulated for all children) (KiB): 7638640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.28
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38758
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= 28424
involuntary context switches= 4782

runsolver used 2.12068 second user time and 5.00724 second system time

The end

Launcher Data 

Begin job on node123 at 2011-04-26 06:04:53
IDJOB=3291375
IDBENCH=84211
IDSOLVER=1611
FILE ID=node123/3291375-1303790693
RUNJOBID= node123-1303789113-26151
PBS_JOBID= 13157259
Free space on /tmp= 72716 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/x1mul.miter.shuffled-as.sat03-359.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-3291375-1303790693/watcher-3291375-1303790693 -o /tmp/evaluation-result-3291375-1303790693/solver-3291375-1303790693 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3291375-1303790693.cnf

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

MD5SUM BENCH= 9edcffddbe07377cf6685697aafad673
RANDOM SEED=589748348

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.75
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.838
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.82
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.838
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.838
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.80
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.838
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.74
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.838
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:     32950928 kB
MemFree:      13116888 kB
Buffers:       2171356 kB
Cached:       15231788 kB
SwapCached:          0 kB
Active:       10315820 kB
Inactive:      8969016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13116888 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          155592 kB
Writeback:           0 kB
AnonPages:     1881204 kB
Mapped:          23396 kB
Slab:           479616 kB
PageTables:       9296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 22053852 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= 72928 MiB
End job on node123 at 2011-04-26 06:26:35