Trace number 3190287

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf
MD5SUM04e94fe2f2a1881d983170c76e6cb046
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark29.6875
Satisfiable
(Un)Satisfiability was proved
Number of variables15000
Number of clauses63000
Sum of the clauses size189000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 363000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.07	c See www.sat4j.org for details.
0.03/0.08	c no version file found!!!
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.18-164.el5
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		6997539544
0.03/0.08	c Max memory 		7034241024
0.03/0.08	c Total memory 		7034241024
0.03/0.08	c Number of processors 	8
0.03/0.09	c --- Begin Solver configuration ---
0.03/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.03/0.09	c Learn all clauses as in MiniSAT
0.03/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.03/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.03/0.09	c Expensive reason simplification
0.03/0.09	c Armin Biere (Picosat) restarts strategy
0.03/0.09	c Glucose learned constraints deletion strategy
0.03/0.09	c timeout=2147483647s
0.03/0.09	c DB Simplification allowed=true
0.03/0.09	c --- End Solver configuration ---
0.03/0.09	c solving HOME/instance-3190287-1302598060.cnf
0.03/0.09	c reading problem ... 
0.29/0.22	c ... done. Wall clock time 0.133s.
0.29/0.22	c #vars     15000
0.29/0.22	c #constraints  63000
0.29/0.22	c constraints type 
0.29/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 63000
2.96/2.60	c cleaning 2498 clauses out of 5000 with flag 5000/5000
5.69/5.03	c cleaning 4249 clauses out of 8504 with flag 11002/11002
8.49/7.88	c cleaning 5625 clauses out of 11253 with flag 18000/18000
11.80/11.14	c cleaning 6805 clauses out of 13628 with flag 26000/26000
15.50/14.84	c cleaning 7902 clauses out of 15824 with flag 35001/35001
19.61/18.98	c cleaning 8961 clauses out of 17921 with flag 45000/45000
24.21/23.54	c cleaning 9978 clauses out of 19960 with flag 56000/56000
29.33/28.66	c cleaning 10990 clauses out of 21983 with flag 68001/68001
34.63/33.99	c cleaning 11989 clauses out of 23995 with flag 81003/81003
40.63/39.92	c cleaning 13001 clauses out of 26003 with flag 95000/95000
47.14/46.44	c cleaning 13995 clauses out of 28002 with flag 110000/110000
54.05/53.34	c cleaning 14996 clauses out of 30007 with flag 126000/126000
61.35/60.68	c cleaning 15998 clauses out of 32012 with flag 143001/143001
69.26/68.55	c cleaning 16996 clauses out of 34014 with flag 161001/161001
77.67/76.94	c cleaning 18001 clauses out of 36017 with flag 180000/180000
86.57/85.85	c cleaning 19004 clauses out of 38016 with flag 200000/200000
96.08/95.36	c cleaning 19997 clauses out of 40012 with flag 221000/221000
106.18/105.42	c cleaning 20999 clauses out of 42016 with flag 243001/243001
116.69/115.90	c cleaning 22005 clauses out of 44016 with flag 266000/266000
127.40/126.64	c cleaning 22995 clauses out of 46012 with flag 290001/290001
138.90/138.13	c cleaning 24000 clauses out of 48017 with flag 315001/315001
151.11/150.32	c cleaning 25000 clauses out of 50016 with flag 341000/341000
163.72/162.92	c cleaning 26005 clauses out of 52016 with flag 368000/368000
176.53/175.74	c cleaning 26999 clauses out of 54011 with flag 396000/396000
190.44/189.67	c cleaning 27986 clauses out of 56012 with flag 425000/425000
205.15/204.39	c cleaning 29005 clauses out of 58026 with flag 455000/455000
219.76/218.90	c cleaning 29998 clauses out of 60021 with flag 486000/486000
235.27/234.47	c cleaning 31002 clauses out of 62023 with flag 518000/518000
251.17/250.30	c cleaning 32004 clauses out of 64021 with flag 551000/551000
267.58/266.72	c cleaning 33000 clauses out of 66017 with flag 585000/585000
285.19/284.33	c cleaning 33996 clauses out of 68017 with flag 620000/620000
302.21/301.38	c cleaning 35003 clauses out of 70021 with flag 656000/656000
321.01/320.13	c cleaning 36008 clauses out of 72020 with flag 693002/693002
339.52/338.60	c cleaning 36988 clauses out of 74010 with flag 731000/731000
359.63/358.76	c cleaning 38004 clauses out of 76022 with flag 770000/770000
379.63/378.79	c cleaning 38999 clauses out of 78020 with flag 810002/810002
401.04/400.10	c cleaning 40001 clauses out of 80019 with flag 851000/851000
422.26/421.32	c cleaning 40998 clauses out of 82019 with flag 893001/893001
444.96/444.01	c cleaning 41997 clauses out of 84021 with flag 936001/936001
467.58/466.62	c cleaning 43005 clauses out of 86023 with flag 980000/980000
491.79/490.88	c cleaning 44005 clauses out of 88019 with flag 1025001/1025001
515.50/514.58	c cleaning 44992 clauses out of 90014 with flag 1071001/1071001
540.81/539.89	c cleaning 46006 clauses out of 92021 with flag 1118000/1118000
565.92/564.90	c cleaning 46982 clauses out of 94015 with flag 1166000/1166000
592.13/591.18	c cleaning 48011 clauses out of 96034 with flag 1215001/1215001
619.25/618.24	c cleaning 49003 clauses out of 98022 with flag 1265000/1265000
646.26/645.24	c cleaning 50002 clauses out of 100019 with flag 1316000/1316000
675.89/674.87	c cleaning 51002 clauses out of 102018 with flag 1368001/1368001
703.91/702.85	c cleaning 51999 clauses out of 104017 with flag 1421002/1421002
733.81/732.71	c cleaning 52995 clauses out of 106017 with flag 1475001/1475001
766.02/764.99	c cleaning 54005 clauses out of 108021 with flag 1530000/1530000
796.93/795.83	c cleaning 54995 clauses out of 110016 with flag 1586000/1586000
829.46/828.30	c cleaning 55997 clauses out of 112021 with flag 1643000/1643000
862.87/861.79	c cleaning 56995 clauses out of 114024 with flag 1701000/1701000
895.68/894.58	c cleaning 57993 clauses out of 116029 with flag 1760000/1760000
930.39/929.27	c cleaning 59012 clauses out of 118037 with flag 1820001/1820001
965.61/964.45	c cleaning 60006 clauses out of 120024 with flag 1881000/1881000
1001.32/1000.17	c cleaning 61003 clauses out of 122019 with flag 1943001/1943001
1039.34/1038.19	c cleaning 61989 clauses out of 124016 with flag 2006001/2006001
1076.66/1075.43	c cleaning 62508 clauses out of 125028 with flag 2069002/2069002
1113.07/1111.83	c cleaning 62750 clauses out of 125522 with flag 2132004/2132004
1149.98/1148.74	c cleaning 62870 clauses out of 125768 with flag 2195000/2195000
1188.21/1186.99	c cleaning 62933 clauses out of 125898 with flag 2258000/2258000
1224.71/1223.44	c cleaning 62968 clauses out of 125965 with flag 2321000/2321000
1261.73/1260.47	c cleaning 62979 clauses out of 125998 with flag 2384001/2384001
1299.94/1298.61	c cleaning 62995 clauses out of 126019 with flag 2447001/2447001
1301.37/1300.01	c starts		: 1656
1301.37/1300.01	c conflicts		: 2449671
1301.37/1300.01	c decisions		: 5249388
1301.37/1300.01	c propagations		: 1653553846
1301.37/1300.01	c inspects		: 5708589243
1301.37/1300.01	c shortcuts		: 0
1301.37/1300.01	c learnt literals	: 0
1301.37/1300.01	c learnt binary clauses	: 0
1301.37/1300.01	c learnt ternary clauses	: 79
1301.37/1300.01	c learnt constraints	: 2449671
1301.37/1300.01	c ignored constraints	: 0
1301.37/1300.01	c root simplifications	: 1656
1301.37/1300.01	c removed literals (reason simplification)	: 46601457
1301.37/1300.01	c reason swapping (by a shorter reason)	: 0
1301.37/1300.01	c Calls to reduceDB	: 66
1301.37/1300.01	c speed (assignments/second)	: 1272171.9588117446
1301.37/1300.01	c non guided choices	1411
1301.37/1300.04	c learnt constraints type 
1301.37/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 65722
1301.37/1300.04	c constraints type 
1301.37/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 63000
1301.37/1300.04	s UNKNOWN
1301.37/1300.04	c Total wall clock time (in seconds) : 1299.919

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 893)

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

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 4.16 4.08 4.33 8/236 30035
/proc/meminfo: memFree=16828872/32951124 swapFree=67111528/67111528
[pid=30035] ppid=30033 vsize=30536 CPUtime=0 cores=1,3
/proc/30035/stat : 30035 (java) S 30033 30035 29701 0 -1 4202496 1255 0 0 0 0 0 0 0 25 0 2 0 352221353 31268864 971 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/30035/statm: 7634 971 745 9 0 385 0
[pid=30035/tid=30036] ppid=30033 vsize=31604 CPUtime=0 cores=1,3
/proc/30035/task/30036/stat : 30036 (java) R 30033 30035 29701 0 -1 4202560 144 0 0 0 0 0 0 0 25 0 2 0 352221354 32362496 976 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254256654080 0 0 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.043681 s]
/proc/loadavg: 4.16 4.08 4.33 8/236 30035
/proc/meminfo: memFree=16828872/32951124 swapFree=67111528/67111528
[pid=30035] ppid=30033 vsize=7564352 CPUtime=0.03 cores=1,3
/proc/30035/stat : 30035 (java) S 30033 30035 29701 0 -1 4202496 8882 0 1 0 3 0 0 0 25 0 13 0 352221353 7745896448 8576 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/30035/statm: 1891088 8576 1683 9 0 1881836 0
[pid=30035/tid=30036] ppid=30033 vsize=7564352 CPUtime=0.03 cores=1,3
/proc/30035/task/30036/stat : 30036 (java) R 30033 30035 29701 0 -1 4202560 7733 0 1 0 3 0 0 0 25 0 13 0 352221354 7745896448 8576 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273443275 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564352

[startup+0.100669 s]
/proc/loadavg: 4.16 4.08 4.33 8/236 30035
/proc/meminfo: memFree=16828872/32951124 swapFree=67111528/67111528
[pid=30035] ppid=30033 vsize=7636864 CPUtime=0.09 cores=1,3
/proc/30035/stat : 30035 (java) S 30033 30035 29701 0 -1 4202496 10635 0 1 0 9 0 0 0 25 0 18 0 352221353 7820148736 10329 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30035/statm: 1909216 10329 2094 9 0 1899954 0
[pid=30035/tid=30036] ppid=30033 vsize=7636864 CPUtime=0.08 cores=1,3
/proc/30035/task/30036/stat : 30036 (java) R 30033 30035 29701 0 -1 4202560 8750 0 1 0 8 0 0 0 25 0 18 0 352221354 7820148736 10330 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 47525764822664 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7636864

[startup+0.300606 s]
/proc/loadavg: 4.16 4.08 4.33 8/236 30035
/proc/meminfo: memFree=16828872/32951124 swapFree=67111528/67111528
[pid=30035] ppid=30033 vsize=7638776 CPUtime=0.46 cores=1,3
/proc/30035/stat : 30035 (java) S 30033 30035 29701 0 -1 4202496 13565 0 1 0 45 1 0 0 25 0 19 0 352221353 7822106624 12998 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30035/statm: 1909694 12998 2209 9 0 1900432 0
[pid=30035/tid=30036] ppid=30033 vsize=7638776 CPUtime=0.28 cores=1,3
/proc/30035/task/30036/stat : 30036 (java) R 30033 30035 29701 0 -1 4202560 11057 0 1 0 27 1 0 0 25 0 19 0 352221354 7822106624 12998 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 47525764710570 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 7638776

[startup+0.700538 s]
/proc/loadavg: 4.16 4.08 4.33 8/236 30035
/proc/meminfo: memFree=16828872/32951124 swapFree=67111528/67111528
[pid=30035] ppid=30033 vsize=7644704 CPUtime=1.1 cores=1,3
/proc/30035/stat : 30035 (java) S 30033 30035 29701 0 -1 4202496 16993 0 1 0 109 1 0 0 25 0 19 0 352221353 7828176896 15099 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30035/statm: 1911176 15099 2222 9 0 1901914 0
[pid=30035/tid=30036] ppid=30033 vsize=7644704 CPUtime=0.64 cores=1,3
/proc/30035/task/30036/stat : 30036 (java) R 30033 30035 29701 0 -1 4202560 11343 0 1 0 63 1 0 0 25 0 19 0 352221354 7828176896 15099 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 46912505728726 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 7644704

[startup+1.50143 s]
/proc/loadavg: 4.16 4.08 4.33 5/262 30061
/proc/meminfo: memFree=16706036/32951124 swapFree=67111528/67111528
[pid=30035] ppid=30033 vsize=7644704 CPUtime=1.96 cores=1,3
/proc/30035/stat : 30035 (java) S 30033 30035 29701 0 -1 4202496 17406 0 1 0 195 1 0 0 25 0 19 0 352221353 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30035/statm: 1911176 15511 2225 9 0 1901914 0
[pid=30035/tid=30036] ppid=30033 vsize=7644704 CPUtime=1.44 cores=1,3
/proc/30035/task/30036/stat : 30036 (java) R 30033 30035 29701 0 -1 4202560 11735 0 1 0 143 1 0 0 25 0 19 0 352221354 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 46912505602000 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30035/tid=30043] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30043/stat : 30043 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221355 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30044] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30044/stat : 30044 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221355 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30045] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30045/stat : 30045 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221355 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30046] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30046/stat : 30046 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221355 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30047] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30047/stat : 30047 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221355 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30048] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30048/stat : 30048 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221355 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30049] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30049/stat : 30049 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221355 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30050] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30050/stat : 30050 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221355 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30051] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30051/stat : 30051 (java) S 30033 30035 29701 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 352221356 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 0 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30052] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30052/stat : 30052 (java) S 30033 30035 29701 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 352221357 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30053] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30053/stat : 30053 (java) S 30033 30035 29701 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 352221357 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30054] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30054/stat : 30054 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221359 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273440177 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30055] ppid=30033 vsize=7644704 CPUtime=0.25 cores=1,3
/proc/30035/task/30055/stat : 30055 (java) S 30033 30035 29701 0 -1 4202560 2029 0 0 0 25 0 0 0 23 0 19 0 352221359 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30056] ppid=30033 vsize=7644704 CPUtime=0.26 cores=1,3
/proc/30035/task/30056/stat : 30056 (java) S 30033 30035 29701 0 -1 4202560 2479 0 0 0 26 0 0 0 23 0 19 0 352221359 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30057] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30057/stat : 30057 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221359 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30058] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30058/stat : 30058 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352221359 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30060] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30060/stat : 30060 (java) S 30033 30035 29701 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 352221379 7828176896 15511 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 7644704

[startup+3.10114 s]
/proc/loadavg: 4.16 4.08 4.33 5/262 30061
/proc/meminfo: memFree=16668216/32951124 swapFree=67111528/67111528
[pid=30035] ppid=30033 vsize=7644704 CPUtime=3.79 cores=1,3
/proc/30035/stat : 30035 (java) S 30033 30035 29701 0 -1 4202496 30025 0 1 0 376 3 0 0 25 0 19 0 352221353 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30035/statm: 1911176 25748 2252 9 0 1901914 0
[pid=30035/tid=30036] ppid=30033 vsize=7644704 CPUtime=2.96 cores=1,3
/proc/30035/task/30036/stat : 30036 (java) R 30033 30035 29701 0 -1 4202560 12279 0 1 0 295 1 0 0 25 0 19 0 352221354 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 46912505653218 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30035/tid=30043] ppid=30033 vsize=7644704 CPUtime=0.01 cores=1,3
/proc/30035/task/30043/stat : 30043 (java) S 30033 30035 29701 0 -1 4202560 1032 0 0 0 1 0 0 0 17 0 19 0 352221355 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30044] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30044/stat : 30044 (java) S 30033 30035 29701 0 -1 4202560 1044 0 0 0 0 0 0 0 17 0 19 0 352221355 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30045] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30045/stat : 30045 (java) S 30033 30035 29701 0 -1 4202560 321 0 0 0 0 0 0 0 17 0 19 0 352221355 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30046] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30046/stat : 30046 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 352221355 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30047] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30047/stat : 30047 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 352221355 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30048] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30048/stat : 30048 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 352221355 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30049] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30049/stat : 30049 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 352221355 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30050] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30050/stat : 30050 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352221355 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30051] ppid=30033 vsize=7644704 CPUtime=0.04 cores=1,3
/proc/30035/task/30051/stat : 30051 (java) S 30033 30035 29701 0 -1 4202560 2399 0 0 0 4 0 0 0 16 0 19 0 352221356 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 0 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30052] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30052/stat : 30052 (java) S 30033 30035 29701 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352221357 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30053] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30053/stat : 30053 (java) S 30033 30035 29701 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352221357 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30054] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30054/stat : 30054 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221359 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273440177 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30055] ppid=30033 vsize=7644704 CPUtime=0.26 cores=1,3
/proc/30035/task/30055/stat : 30055 (java) S 30033 30035 29701 0 -1 4202560 2032 0 0 0 26 0 0 0 17 0 19 0 352221359 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30056] ppid=30033 vsize=7644704 CPUtime=0.46 cores=1,3
/proc/30035/task/30056/stat : 30056 (java) S 30033 30035 29701 0 -1 4202560 9760 0 0 0 46 0 0 0 16 0 19 0 352221359 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30057] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30057/stat : 30057 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221359 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30058] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30058/stat : 30058 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352221359 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30060] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30060/stat : 30060 (java) S 30033 30035 29701 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 352221379 7828176896 25748 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 7644704

[startup+6.30158 s]
/proc/loadavg: 4.39 4.12 4.35 5/262 30061
/proc/meminfo: memFree=16562024/32951124 swapFree=67111528/67111528
[pid=30035] ppid=30033 vsize=7644704 CPUtime=6.99 cores=1,3
/proc/30035/stat : 30035 (java) S 30033 30035 29701 0 -1 4202496 31391 0 1 0 696 3 0 0 25 0 19 0 352221353 7828176896 25674 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30035/statm: 1911176 25674 2254 9 0 1901914 0
[pid=30035/tid=30036] ppid=30033 vsize=7644704 CPUtime=6.1 cores=1,3
/proc/30035/task/30036/stat : 30036 (java) R 30033 30035 29701 0 -1 4202560 12281 0 1 0 609 1 0 0 25 0 19 0 352221354 7828176896 25674 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 46912505601989 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30035/tid=30043] ppid=30033 vsize=7644704 CPUtime=0.01 cores=1,3
/proc/30035/task/30043/stat : 30043 (java) S 30033 30035 29701 0 -1 4202560 1032 0 0 0 1 0 0 0 15 0 19 0 352221355 7828176896 25674 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30044] ppid=30033 vsize=7644704 CPUtime=0.01 cores=1,3
/proc/30035/task/30044/stat : 30044 (java) S 30033 30035 29701 0 -1 4202560 1497 0 0 0 1 0 0 0 16 0 19 0 352221355 7828176896 25674 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30045] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30045/stat : 30045 (java) S 30033 30035 29701 0 -1 4202560 321 0 0 0 0 0 0 0 15 0 19 0 352221355 7828176896 25674 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30046] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30046/stat : 30046 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352221355 7828176896 25674 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30047] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30047/stat : 30047 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352221355 7828176896 25674 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30048] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30048/stat : 30048 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352221355 7828176896 25674 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30049] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30049/stat : 30049 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352221355 7828176896 25674 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30050] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30050/stat : 30050 (java) S 30033 30035 29701 0 -1 4202560 695 0 0 0 0 0 0 0 15 0 19 0 352221355 7828176896 25674 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30051] ppid=30033 vsize=7644704 CPUtime=0.07 cores=1,3
/proc/30035/task/30051/stat : 30051 (java) S 30033 30035 29701 0 -1 4202560 2614 0 0 0 7 0 0 0 15 0 19 0 352221356 7828176896 25674 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 0 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30052] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30052/stat : 30052 (java) S 30033 30035 29701 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352221357 7828176896 25674 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30053] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30053/stat : 30053 (java) S 30033 30035 29701 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352221357 7828176896 25674 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30054] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30054/stat : 30054 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221359 7828176896 25674 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273440177 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30055] ppid=30033 vsize=7644704 CPUtime=0.28 cores=1,3
/proc/30035/task/30055/stat : 30055 (java) S 30033 30035 29701 0 -1 4202560 2034 0 0 0 28 0 0 0 15 0 19 0 352221359 7828176896 25674 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30056] ppid=30033 vsize=7644704 CPUtime=0.48 cores=1,3
/proc/30035/task/30056/stat : 30056 (java) S 30033 30035 29701 0 -1 4202560 9760 0 0 0 47 1 0 0 16 0 19 0 352221359 7828176896 25674 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0

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

[pid=30035/tid=30048] ppid=30033 vsize=7644704 CPUtime=0.09 cores=1,3
/proc/30035/task/30048/stat : 30048 (java) S 30033 30035 29701 0 -1 4202560 2633 0 0 0 9 0 0 0 15 0 19 0 352221355 7828176896 70567 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30049] ppid=30033 vsize=7644704 CPUtime=0.19 cores=1,3
/proc/30035/task/30049/stat : 30049 (java) S 30033 30035 29701 0 -1 4202560 6010 0 0 0 19 0 0 0 15 0 19 0 352221355 7828176896 70567 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30050] ppid=30033 vsize=7644704 CPUtime=0.2 cores=1,3
/proc/30035/task/30050/stat : 30050 (java) S 30033 30035 29701 0 -1 4202560 3984 0 0 0 20 0 0 0 16 0 19 0 352221355 7828176896 70567 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30051] ppid=30033 vsize=7644704 CPUtime=3.43 cores=1,3
/proc/30035/task/30051/stat : 30051 (java) S 30033 30035 29701 0 -1 4202560 6905 0 0 0 342 1 0 0 15 0 19 0 352221356 7828176896 70567 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 0 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30052] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30052/stat : 30052 (java) S 30033 30035 29701 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352221357 7828176896 70567 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30053] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30053/stat : 30053 (java) S 30033 30035 29701 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352221357 7828176896 70567 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30054] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30054/stat : 30054 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221359 7828176896 70567 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273440177 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30055] ppid=30033 vsize=7644704 CPUtime=0.31 cores=1,3
/proc/30035/task/30055/stat : 30055 (java) S 30033 30035 29701 0 -1 4202560 2036 0 0 0 31 0 0 0 15 0 19 0 352221359 7828176896 70567 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30056] ppid=30033 vsize=7644704 CPUtime=0.48 cores=1,3
/proc/30035/task/30056/stat : 30056 (java) S 30033 30035 29701 0 -1 4202560 9760 0 0 0 47 1 0 0 16 0 19 0 352221359 7828176896 70567 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30057] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30057/stat : 30057 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221359 7828176896 70567 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30058] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30058/stat : 30058 (java) S 30033 30035 29701 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 352221359 7828176896 70567 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30060] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30060/stat : 30060 (java) S 30033 30035 29701 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 352221379 7828176896 70567 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.58
Current children cumulated vsize (KiB) 7644704

[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 4.08 5/262 30101
/proc/meminfo: memFree=15851116/32951124 swapFree=67111528/67111528
[pid=30035] ppid=30033 vsize=7644704 CPUtime=1183.6 cores=1,3
/proc/30035/stat : 30035 (java) S 30033 30035 29701 0 -1 4202496 76722 0 1 0 118347 13 0 0 25 0 19 0 352221353 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30035/statm: 1911176 70809 2254 9 0 1901914 0
[pid=30035/tid=30036] ppid=30033 vsize=7644704 CPUtime=1178.02 cores=1,3
/proc/30035/task/30036/stat : 30036 (java) R 30033 30035 29701 0 -1 4202560 29496 0 1 0 117795 7 0 0 25 0 19 0 352221354 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 46912505660382 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30035/tid=30043] ppid=30033 vsize=7644704 CPUtime=0.15 cores=1,3
/proc/30035/task/30043/stat : 30043 (java) S 30033 30035 29701 0 -1 4202560 3100 0 0 0 15 0 0 0 15 0 19 0 352221355 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30044] ppid=30033 vsize=7644704 CPUtime=0.13 cores=1,3
/proc/30035/task/30044/stat : 30044 (java) S 30033 30035 29701 0 -1 4202560 2552 0 0 0 13 0 0 0 15 0 19 0 352221355 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30045] ppid=30033 vsize=7644704 CPUtime=0.13 cores=1,3
/proc/30035/task/30045/stat : 30045 (java) S 30033 30035 29701 0 -1 4202560 3935 0 0 0 13 0 0 0 15 0 19 0 352221355 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30046] ppid=30033 vsize=7644704 CPUtime=0.13 cores=1,3
/proc/30035/task/30046/stat : 30046 (java) S 30033 30035 29701 0 -1 4202560 3339 0 0 0 13 0 0 0 15 0 19 0 352221355 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30047] ppid=30033 vsize=7644704 CPUtime=0.15 cores=1,3
/proc/30035/task/30047/stat : 30047 (java) S 30033 30035 29701 0 -1 4202560 1540 0 0 0 15 0 0 0 15 0 19 0 352221355 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30048] ppid=30033 vsize=7644704 CPUtime=0.09 cores=1,3
/proc/30035/task/30048/stat : 30048 (java) S 30033 30035 29701 0 -1 4202560 2633 0 0 0 9 0 0 0 15 0 19 0 352221355 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30049] ppid=30033 vsize=7644704 CPUtime=0.21 cores=1,3
/proc/30035/task/30049/stat : 30049 (java) S 30033 30035 29701 0 -1 4202560 6034 0 0 0 21 0 0 0 15 0 19 0 352221355 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30050] ppid=30033 vsize=7644704 CPUtime=0.2 cores=1,3
/proc/30035/task/30050/stat : 30050 (java) S 30033 30035 29701 0 -1 4202560 3984 0 0 0 20 0 0 0 16 0 19 0 352221355 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30051] ppid=30033 vsize=7644704 CPUtime=3.5 cores=1,3
/proc/30035/task/30051/stat : 30051 (java) S 30033 30035 29701 0 -1 4202560 7092 0 0 0 349 1 0 0 15 0 19 0 352221356 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 0 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30052] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30052/stat : 30052 (java) S 30033 30035 29701 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352221357 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30053] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30053/stat : 30053 (java) S 30033 30035 29701 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352221357 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30054] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30054/stat : 30054 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221359 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273440177 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30055] ppid=30033 vsize=7644704 CPUtime=0.31 cores=1,3
/proc/30035/task/30055/stat : 30055 (java) S 30033 30035 29701 0 -1 4202560 2036 0 0 0 31 0 0 0 15 0 19 0 352221359 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30056] ppid=30033 vsize=7644704 CPUtime=0.48 cores=1,3
/proc/30035/task/30056/stat : 30056 (java) S 30033 30035 29701 0 -1 4202560 9760 0 0 0 47 1 0 0 16 0 19 0 352221359 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30057] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30057/stat : 30057 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221359 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30058] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30058/stat : 30058 (java) S 30033 30035 29701 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 352221359 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30060] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30060/stat : 30060 (java) S 30033 30035 29701 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 352221379 7828176896 70809 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1183.6
Current children cumulated vsize (KiB) 7644704

[startup+1242.3 s]
/proc/loadavg: 4.08 4.02 4.08 5/262 30103
/proc/meminfo: memFree=15832376/32951124 swapFree=67111528/67111528
[pid=30035] ppid=30033 vsize=7644704 CPUtime=1243.63 cores=1,3
/proc/30035/stat : 30035 (java) S 30033 30035 29701 0 -1 4202496 76883 0 1 0 124350 13 0 0 25 0 19 0 352221353 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30035/statm: 1911176 70960 2254 9 0 1901914 0
[pid=30035/tid=30036] ppid=30033 vsize=7644704 CPUtime=1237.84 cores=1,3
/proc/30035/task/30036/stat : 30036 (java) R 30033 30035 29701 0 -1 4202560 29498 0 1 0 123777 7 0 0 25 0 19 0 352221354 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 46912505659844 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30035/tid=30043] ppid=30033 vsize=7644704 CPUtime=0.15 cores=1,3
/proc/30035/task/30043/stat : 30043 (java) S 30033 30035 29701 0 -1 4202560 3100 0 0 0 15 0 0 0 15 0 19 0 352221355 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30044] ppid=30033 vsize=7644704 CPUtime=0.14 cores=1,3
/proc/30035/task/30044/stat : 30044 (java) S 30033 30035 29701 0 -1 4202560 2553 0 0 0 14 0 0 0 15 0 19 0 352221355 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30045] ppid=30033 vsize=7644704 CPUtime=0.15 cores=1,3
/proc/30035/task/30045/stat : 30045 (java) S 30033 30035 29701 0 -1 4202560 3936 0 0 0 15 0 0 0 15 0 19 0 352221355 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30046] ppid=30033 vsize=7644704 CPUtime=0.15 cores=1,3
/proc/30035/task/30046/stat : 30046 (java) S 30033 30035 29701 0 -1 4202560 3339 0 0 0 15 0 0 0 15 0 19 0 352221355 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30047] ppid=30033 vsize=7644704 CPUtime=0.15 cores=1,3
/proc/30035/task/30047/stat : 30047 (java) S 30033 30035 29701 0 -1 4202560 1540 0 0 0 15 0 0 0 15 0 19 0 352221355 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30048] ppid=30033 vsize=7644704 CPUtime=0.09 cores=1,3
/proc/30035/task/30048/stat : 30048 (java) S 30033 30035 29701 0 -1 4202560 2633 0 0 0 9 0 0 0 15 0 19 0 352221355 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30049] ppid=30033 vsize=7644704 CPUtime=0.21 cores=1,3
/proc/30035/task/30049/stat : 30049 (java) S 30033 30035 29701 0 -1 4202560 6034 0 0 0 21 0 0 0 15 0 19 0 352221355 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30050] ppid=30033 vsize=7644704 CPUtime=0.22 cores=1,3
/proc/30035/task/30050/stat : 30050 (java) S 30033 30035 29701 0 -1 4202560 3984 0 0 0 22 0 0 0 15 0 19 0 352221355 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30051] ppid=30033 vsize=7644704 CPUtime=3.65 cores=1,3
/proc/30035/task/30051/stat : 30051 (java) S 30033 30035 29701 0 -1 4202560 7245 0 0 0 364 1 0 0 15 0 19 0 352221356 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 0 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30052] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30052/stat : 30052 (java) S 30033 30035 29701 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352221357 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30053] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30053/stat : 30053 (java) S 30033 30035 29701 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352221357 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30054] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30054/stat : 30054 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221359 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273440177 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30055] ppid=30033 vsize=7644704 CPUtime=0.31 cores=1,3
/proc/30035/task/30055/stat : 30055 (java) S 30033 30035 29701 0 -1 4202560 2036 0 0 0 31 0 0 0 15 0 19 0 352221359 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30056] ppid=30033 vsize=7644704 CPUtime=0.48 cores=1,3
/proc/30035/task/30056/stat : 30056 (java) S 30033 30035 29701 0 -1 4202560 9760 0 0 0 47 1 0 0 16 0 19 0 352221359 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30057] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30057/stat : 30057 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221359 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30058] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30058/stat : 30058 (java) S 30033 30035 29701 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 352221359 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30060] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30060/stat : 30060 (java) S 30033 30035 29701 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 352221379 7828176896 70960 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1243.63
Current children cumulated vsize (KiB) 7644704



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.03 4.01 4.07 3/206 30113
/proc/meminfo: memFree=16394744/32951124 swapFree=67111528/67111528
[pid=30035] ppid=30033 vsize=7644704 CPUtime=1301.37 cores=1,3
/proc/30035/stat : 30035 (java) S 30033 30035 29701 0 -1 4202496 79608 0 1 0 130124 13 0 0 25 0 19 0 352221353 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30035/statm: 1911176 73675 2254 9 0 1901914 0
[pid=30035/tid=30036] ppid=30033 vsize=7644704 CPUtime=1295.38 cores=1,3
/proc/30035/task/30036/stat : 30036 (java) R 30033 30035 29701 0 -1 4202560 30300 0 1 0 129530 8 0 0 25 0 19 0 352221354 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 46912505701629 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30035/tid=30043] ppid=30033 vsize=7644704 CPUtime=0.15 cores=1,3
/proc/30035/task/30043/stat : 30043 (java) S 30033 30035 29701 0 -1 4202560 3100 0 0 0 15 0 0 0 15 0 19 0 352221355 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30044] ppid=30033 vsize=7644704 CPUtime=0.16 cores=1,3
/proc/30035/task/30044/stat : 30044 (java) S 30033 30035 29701 0 -1 4202560 3535 0 0 0 16 0 0 0 15 0 19 0 352221355 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30045] ppid=30033 vsize=7644704 CPUtime=0.15 cores=1,3
/proc/30035/task/30045/stat : 30045 (java) S 30033 30035 29701 0 -1 4202560 3936 0 0 0 15 0 0 0 15 0 19 0 352221355 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30046] ppid=30033 vsize=7644704 CPUtime=0.17 cores=1,3
/proc/30035/task/30046/stat : 30046 (java) S 30033 30035 29701 0 -1 4202560 4155 0 0 0 17 0 0 0 15 0 19 0 352221355 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30047] ppid=30033 vsize=7644704 CPUtime=0.17 cores=1,3
/proc/30035/task/30047/stat : 30047 (java) S 30033 30035 29701 0 -1 4202560 1541 0 0 0 17 0 0 0 15 0 19 0 352221355 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30048] ppid=30033 vsize=7644704 CPUtime=0.09 cores=1,3
/proc/30035/task/30048/stat : 30048 (java) S 30033 30035 29701 0 -1 4202560 2633 0 0 0 9 0 0 0 15 0 19 0 352221355 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30049] ppid=30033 vsize=7644704 CPUtime=0.21 cores=1,3
/proc/30035/task/30049/stat : 30049 (java) S 30033 30035 29701 0 -1 4202560 6034 0 0 0 21 0 0 0 15 0 19 0 352221355 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30050] ppid=30033 vsize=7644704 CPUtime=0.23 cores=1,3
/proc/30035/task/30050/stat : 30050 (java) S 30033 30035 29701 0 -1 4202560 3985 0 0 0 23 0 0 0 15 0 19 0 352221355 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30051] ppid=30033 vsize=7644704 CPUtime=3.79 cores=1,3
/proc/30035/task/30051/stat : 30051 (java) S 30033 30035 29701 0 -1 4202560 7364 0 0 0 378 1 0 0 15 0 19 0 352221356 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 0 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30052] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30052/stat : 30052 (java) S 30033 30035 29701 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352221357 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30053] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30053/stat : 30053 (java) S 30033 30035 29701 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352221357 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30054] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30054/stat : 30054 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221359 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273440177 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30055] ppid=30033 vsize=7644704 CPUtime=0.31 cores=1,3
/proc/30035/task/30055/stat : 30055 (java) S 30033 30035 29701 0 -1 4202560 2036 0 0 0 31 0 0 0 15 0 19 0 352221359 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30056] ppid=30033 vsize=7644704 CPUtime=0.48 cores=1,3
/proc/30035/task/30056/stat : 30056 (java) S 30033 30035 29701 0 -1 4202560 9760 0 0 0 47 1 0 0 16 0 19 0 352221359 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30057] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30057/stat : 30057 (java) S 30033 30035 29701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352221359 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273432473 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
[pid=30035/tid=30058] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30058/stat : 30058 (java) S 30033 30035 29701 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 352221359 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 4 0 16800975 18446604471162826816 0 0 -1 3 0 0 0
[pid=30035/tid=30060] ppid=30033 vsize=7644704 CPUtime=0 cores=1,3
/proc/30035/task/30060/stat : 30060 (java) S 30033 30035 29701 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 352221379 7828176896 73675 33554432000 1073741824 1073778376 140734504059088 18446744073709551615 254273433088 0 4 0 16800975 18446604471162826816 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1301.37
Current children cumulated vsize (KiB) 7644704

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.46
CPU user time (s): 1301.31
CPU system time (s): 0.151976
CPU usage (%): 100.108
Max. virtual memory (cumulated for all children) (KiB): 7644704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.31
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79647
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= 28471
involuntary context switches= 4468

runsolver used 1.9887 second user time and 5.12922 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-12 10:47:40
IDJOB=3190287
IDBENCH=82618
IDSOLVER=1611
FILE ID=node140/3190287-1302598060
RUNJOBID= node140-1302596757-29721
PBS_JOBID= 12958090
Free space on /tmp= 72224 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S89201333-019-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-3190287-1302598060/watcher-3190287-1302598060 -o /tmp/evaluation-result-3190287-1302598060/solver-3190287-1302598060 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190287-1302598060.cnf

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

MD5SUM BENCH= 04e94fe2f2a1881d983170c76e6cb046
RANDOM SEED=377137516

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16829284 kB
Buffers:        748944 kB
Cached:       14816168 kB
SwapCached:          0 kB
Active:        8961452 kB
Inactive:      6775964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16829284 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8612 kB
Writeback:           0 kB
AnonPages:      171948 kB
Mapped:          23212 kB
Slab:           320784 kB
PageTables:       5160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 21981048 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= 72224 MiB
End job on node140 at 2011-04-12 11:09:22