Trace number 3288293

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1302.84 1300.07

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf
MD5SUM7886cd26d6e0801ea382a1ffd6224023
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables192503
Number of clauses564953
Sum of the clauses size1318221
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2376634
Number of clauses of size 3188317
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		6997539544
0.00/0.08	c Max memory 		7034241024
0.00/0.08	c Total memory 		7034241024
0.00/0.08	c Number of processors 	8
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483647s
0.10/0.10	c DB Simplification allowed=true
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3288293-1303780437.cnf
0.10/0.10	c reading problem ... 
0.61/0.57	c ... done. Wall clock time 0.479s.
0.61/0.57	c #vars     192503
0.61/0.57	c #constraints  564953
0.61/0.57	c constraints type 
0.61/0.57	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 188317
0.61/0.57	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 376634
3.85/3.37	c cleaning 2388 clauses out of 4994 with flag 5001/5001
8.90/7.86	c cleaning 4005 clauses out of 8603 with flag 11001/11001
16.01/14.92	c cleaning 5773 clauses out of 11596 with flag 18000/18000
20.32/19.21	c cleaning 6806 clauses out of 13822 with flag 26002/26002
25.54/24.45	c cleaning 7857 clauses out of 16013 with flag 35002/35002
30.35/29.28	c cleaning 9015 clauses out of 18155 with flag 45002/45002
38.17/37.06	c cleaning 9476 clauses out of 20131 with flag 56000/56000
44.39/43.23	c cleaning 11279 clauses out of 22639 with flag 68000/68000
49.20/48.00	c cleaning 11898 clauses out of 24359 with flag 81000/81000
54.61/53.46	c cleaning 13111 clauses out of 26460 with flag 95000/95000
59.32/58.20	c cleaning 14033 clauses out of 28348 with flag 110000/110000
64.73/63.51	c cleaning 15087 clauses out of 30315 with flag 126001/126001
70.04/68.83	c cleaning 16070 clauses out of 32227 with flag 143001/143001
75.85/74.69	c cleaning 16774 clauses out of 34155 with flag 161000/161000
81.96/80.70	c cleaning 18103 clauses out of 36379 with flag 180000/180000
88.57/87.33	c cleaning 19005 clauses out of 38274 with flag 200000/200000
95.39/94.10	c cleaning 20004 clauses out of 40270 with flag 221002/221002
102.00/100.71	c cleaning 20980 clauses out of 42253 with flag 243000/243000
109.61/108.32	c cleaning 21999 clauses out of 44270 with flag 266000/266000
117.02/115.71	c cleaning 22930 clauses out of 46270 with flag 290000/290000
125.04/123.70	c cleaning 24014 clauses out of 48339 with flag 315000/315000
133.45/132.13	c cleaning 25070 clauses out of 50325 with flag 341001/341001
140.16/138.87	c cleaning 26067 clauses out of 52254 with flag 368001/368001
147.98/146.60	c cleaning 26991 clauses out of 54186 with flag 396001/396001
157.19/155.83	c cleaning 27901 clauses out of 56194 with flag 425001/425001
164.61/163.29	c cleaning 29062 clauses out of 58292 with flag 455000/455000
173.42/172.03	c cleaning 30001 clauses out of 60226 with flag 486000/486000
181.94/180.59	c cleaning 31076 clauses out of 62226 with flag 518001/518001
191.25/189.85	c cleaning 32068 clauses out of 64149 with flag 551000/551000
201.06/199.65	c cleaning 32975 clauses out of 66081 with flag 585001/585001
210.27/208.82	c cleaning 33994 clauses out of 68107 with flag 620002/620002
220.49/219.06	c cleaning 34915 clauses out of 70113 with flag 656003/656003
232.51/231.06	c cleaning 36073 clauses out of 72193 with flag 693000/693000
241.92/240.48	c cleaning 37026 clauses out of 74120 with flag 731001/731001
250.83/249.37	c cleaning 38035 clauses out of 76094 with flag 770001/770001
260.15/258.63	c cleaning 38864 clauses out of 78058 with flag 810000/810000
270.26/268.71	c cleaning 39919 clauses out of 80195 with flag 851001/851001
280.98/279.43	c cleaning 40986 clauses out of 82275 with flag 893000/893000
294.89/293.37	c cleaning 42129 clauses out of 84288 with flag 936001/936001
305.21/303.69	c cleaning 42976 clauses out of 86159 with flag 980001/980001
316.42/314.83	c cleaning 43989 clauses out of 88181 with flag 1025000/1025000
329.45/327.81	c cleaning 45079 clauses out of 90192 with flag 1071000/1071000
342.26/340.63	c cleaning 46030 clauses out of 92113 with flag 1118000/1118000
356.07/354.41	c cleaning 46879 clauses out of 94078 with flag 1166001/1166001
368.00/366.31	c cleaning 47951 clauses out of 96197 with flag 1215001/1215001
382.01/380.39	c cleaning 48947 clauses out of 98246 with flag 1265001/1265001
394.02/392.38	c cleaning 50101 clauses out of 100298 with flag 1316000/1316000
407.04/405.31	c cleaning 51024 clauses out of 102195 with flag 1368000/1368000
421.06/419.39	c cleaning 51939 clauses out of 104169 with flag 1421001/1421001
435.18/433.41	c cleaning 53028 clauses out of 106229 with flag 1475000/1475000
449.30/447.60	c cleaning 53959 clauses out of 108203 with flag 1530002/1530002
464.92/463.18	c cleaning 55091 clauses out of 110245 with flag 1586003/1586003
482.03/480.24	c cleaning 56068 clauses out of 112150 with flag 1643000/1643000
497.65/495.82	c cleaning 56988 clauses out of 114080 with flag 1701000/1701000
512.18/510.35	c cleaning 58003 clauses out of 116093 with flag 1760001/1760001
528.48/526.62	c cleaning 58897 clauses out of 118086 with flag 1820000/1820000
546.50/544.67	c cleaning 59946 clauses out of 120178 with flag 1881001/1881001
561.52/559.66	c cleaning 60914 clauses out of 122231 with flag 1943001/1943001
578.14/576.26	c cleaning 62059 clauses out of 124318 with flag 2006002/2006002
595.56/593.66	c cleaning 62975 clauses out of 126256 with flag 2070000/2070000
613.88/611.98	c cleaning 63944 clauses out of 128281 with flag 2135001/2135001
631.80/629.81	c cleaning 65123 clauses out of 130336 with flag 2201000/2201000
650.22/648.22	c cleaning 66033 clauses out of 132215 with flag 2268002/2268002
669.94/667.99	c cleaning 67028 clauses out of 134177 with flag 2336000/2336000
688.66/686.66	c cleaning 67941 clauses out of 136148 with flag 2405000/2405000
708.38/706.37	c cleaning 69057 clauses out of 138208 with flag 2475002/2475002
730.51/728.41	c cleaning 69930 clauses out of 140146 with flag 2546000/2546000
750.73/748.69	c cleaning 71036 clauses out of 142216 with flag 2618000/2618000
772.55/770.48	c cleaning 71983 clauses out of 144180 with flag 2691001/2691001
794.88/792.75	c cleaning 73051 clauses out of 146196 with flag 2765001/2765001
814.50/812.39	c cleaning 73962 clauses out of 148143 with flag 2840000/2840000
836.55/834.35	c cleaning 75025 clauses out of 150181 with flag 2916000/2916000
862.77/860.51	c cleaning 76015 clauses out of 152157 with flag 2993001/2993001
888.19/885.90	c cleaning 77047 clauses out of 154138 with flag 3071000/3071000
909.82/907.57	c cleaning 77953 clauses out of 156092 with flag 3150001/3150001
931.14/928.86	c cleaning 79034 clauses out of 158139 with flag 3230001/3230001
954.06/951.74	c cleaning 79914 clauses out of 160104 with flag 3311000/3311000
980.19/977.88	c cleaning 81057 clauses out of 162191 with flag 3393002/3393002
1002.32/999.98	c cleaning 82023 clauses out of 164133 with flag 3476002/3476002
1027.23/1024.89	c cleaning 83029 clauses out of 166107 with flag 3560001/3560001
1051.36/1048.90	c cleaning 83955 clauses out of 168075 with flag 3645000/3645000
1075.19/1072.74	c cleaning 85000 clauses out of 170118 with flag 3731001/3731001
1096.62/1094.11	c cleaning 86003 clauses out of 172118 with flag 3818002/3818002
1124.45/1121.97	c cleaning 86927 clauses out of 174112 with flag 3906000/3906000
1152.57/1150.08	c cleaning 88005 clauses out of 176185 with flag 3995000/3995000
1181.81/1179.22	c cleaning 89007 clauses out of 178179 with flag 4085000/4085000
1209.83/1207.25	c cleaning 89970 clauses out of 180164 with flag 4176000/4176000
1234.56/1231.94	c cleaning 90945 clauses out of 182192 with flag 4268001/4268001
1263.29/1260.66	c cleaning 92096 clauses out of 184245 with flag 4361000/4361000
1292.81/1290.20	c cleaning 93005 clauses out of 186150 with flag 4455001/4455001
1302.74/1300.01	c starts		: 2016
1302.74/1300.01	c conflicts		: 4490060
1302.74/1300.01	c decisions		: 11056252
1302.74/1300.01	c propagations		: 1704282997
1302.74/1300.01	c inspects		: 9469619640
1302.74/1300.01	c shortcuts		: 0
1302.74/1300.01	c learnt literals	: 119
1302.74/1300.01	c learnt binary clauses	: 17418
1302.74/1300.01	c learnt ternary clauses	: 60732
1302.74/1300.01	c learnt constraints	: 4489940
1302.74/1300.01	c ignored constraints	: 0
1302.74/1300.01	c root simplifications	: 2135
1302.74/1300.01	c removed literals (reason simplification)	: 70009849
1302.74/1300.01	c reason swapping (by a shorter reason)	: 0
1302.74/1300.01	c Calls to reduceDB	: 90
1302.74/1300.01	c speed (assignments/second)	: 1311550.8876509205
1302.74/1300.01	c non guided choices	3442751
1302.74/1300.05	c learnt constraints type 
1302.74/1300.05	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 17406
1302.74/1300.05	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 110852
1302.74/1300.05	c constraints type 
1302.74/1300.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 188317
1302.74/1300.05	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 376634
1302.74/1300.05	s UNKNOWN
1302.74/1300.05	c Total wall clock time (in seconds) : 1299.921

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3288293-1303780437/watcher-3288293-1303780437 -o /tmp/evaluation-result-3288293-1303780437/solver-3288293-1303780437 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3288293-1303780437.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: 2.71 3.66 3.82 4/243 30266
/proc/meminfo: memFree=13015632/32951124 swapFree=67111528/67111528
[pid=30266] ppid=30264 vsize=31604 CPUtime=0 cores=1,3
/proc/30266/stat : 30266 (java) S 30264 30266 29772 0 -1 4202496 1259 0 0 0 0 0 0 0 25 0 2 0 470459961 32362496 977 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/30266/statm: 7901 985 756 9 0 386 0
[pid=30266/tid=30267] ppid=30264 vsize=31608 CPUtime=0 cores=1,3
/proc/30266/task/30267/stat : 30267 (java) R 30264 30266 29772 0 -1 4202560 168 0 0 0 0 0 0 0 25 0 2 0 470459961 32366592 1000 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212039776928 0 0 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.014727 s]
/proc/loadavg: 2.71 3.66 3.82 4/243 30266
/proc/meminfo: memFree=13015632/32951124 swapFree=67111528/67111528
[pid=30266] ppid=30264 vsize=7540840 CPUtime=0 cores=1,3
/proc/30266/stat : 30266 (java) S 30264 30266 29772 0 -1 4202496 5747 0 1 0 0 0 0 0 25 0 2 0 470459961 7721820160 5448 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/30266/statm: 1885210 5474 919 9 0 1876366 0
[pid=30266/tid=30267] ppid=30264 vsize=7540840 CPUtime=0 cores=1,3
/proc/30266/task/30267/stat : 30267 (java) R 30264 30266 29772 0 -1 4202560 4670 0 1 0 0 0 0 0 25 0 2 0 470459961 7721820160 5486 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7540840

[startup+0.100681 s]
/proc/loadavg: 2.71 3.66 3.82 4/243 30266
/proc/meminfo: memFree=13015632/32951124 swapFree=67111528/67111528
[pid=30266] ppid=30264 vsize=7636524 CPUtime=0.1 cores=1,3
/proc/30266/stat : 30266 (java) S 30264 30266 29772 0 -1 4202496 11983 0 1 0 9 1 0 0 25 0 18 0 470459961 7819800576 11679 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30266/statm: 1909131 11680 2079 9 0 1899869 0
[pid=30266/tid=30267] ppid=30264 vsize=7636524 CPUtime=0.08 cores=1,3
/proc/30266/task/30267/stat : 30267 (java) R 30264 30266 29772 0 -1 4202560 10214 0 1 0 7 1 0 0 18 0 18 0 470459961 7819800576 11680 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 47332894832183 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636524

[startup+0.300677 s]
/proc/loadavg: 2.71 3.66 3.82 4/243 30266
/proc/meminfo: memFree=13015632/32951124 swapFree=67111528/67111528
[pid=30266] ppid=30264 vsize=7637096 CPUtime=0.41 cores=1,3
/proc/30266/stat : 30266 (java) S 30264 30266 29772 0 -1 4202496 17675 0 1 0 39 2 0 0 25 0 18 0 470459961 7820386304 17203 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30266/statm: 1909274 17204 2197 9 0 1900012 0
[pid=30266/tid=30267] ppid=30264 vsize=7637096 CPUtime=0.29 cores=1,3
/proc/30266/task/30267/stat : 30267 (java) R 30264 30266 29772 0 -1 4202560 15419 0 1 0 27 2 0 0 18 0 18 0 470459961 7820386304 17206 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 46912505520581 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 7637096

[startup+0.700576 s]
/proc/loadavg: 2.71 3.66 3.82 4/243 30266
/proc/meminfo: memFree=13015632/32951124 swapFree=67111528/67111528
[pid=30266] ppid=30264 vsize=7638948 CPUtime=0.93 cores=1,3
/proc/30266/stat : 30266 (java) S 30264 30266 29772 0 -1 4202496 31325 0 1 0 89 4 0 0 25 0 19 0 470459961 7822282752 30665 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30266/statm: 1909737 30665 2213 9 0 1900475 0
[pid=30266/tid=30267] ppid=30264 vsize=7638948 CPUtime=0.68 cores=1,3
/proc/30266/task/30267/stat : 30267 (java) R 30264 30266 29772 0 -1 4202560 28563 0 1 0 65 3 0 0 19 0 19 0 470459961 7822282752 30665 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 46912505205090 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 7638948

[startup+1.50146 s]
/proc/loadavg: 2.71 3.66 3.82 6/262 30285
/proc/meminfo: memFree=12780508/32951124 swapFree=67111528/67111528
[pid=30266] ppid=30264 vsize=7639284 CPUtime=2.01 cores=1,3
/proc/30266/stat : 30266 (java) S 30264 30266 29772 0 -1 4202496 32853 0 1 0 197 4 0 0 25 0 19 0 470459961 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30266/statm: 1909821 31250 2225 9 0 1900559 0
[pid=30266/tid=30267] ppid=30264 vsize=7639284 CPUtime=1.48 cores=1,3
/proc/30266/task/30267/stat : 30267 (java) R 30264 30266 29772 0 -1 4202560 28667 0 1 0 145 3 0 0 20 0 19 0 470459961 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 46912505631257 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30266/tid=30269] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30269/stat : 30269 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459963 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30270] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30270/stat : 30270 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459963 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30271] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30271/stat : 30271 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459963 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30272] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30272/stat : 30272 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459963 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30273] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30273/stat : 30273 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459963 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30274] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30274/stat : 30274 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459963 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30275] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30275/stat : 30275 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459963 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30276] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30276/stat : 30276 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459963 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30277] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30277/stat : 30277 (java) S 30264 30266 29772 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 470459964 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 0 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30278] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30278/stat : 30278 (java) S 30264 30266 29772 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 470459964 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30279] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30279/stat : 30279 (java) S 30264 30266 29772 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 470459964 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30280] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30280/stat : 30280 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459966 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051478961 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30281] ppid=30264 vsize=7639284 CPUtime=0.25 cores=1,3
/proc/30266/task/30281/stat : 30281 (java) S 30264 30266 29772 0 -1 4202560 1209 0 0 0 25 0 0 0 20 0 19 0 470459966 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30282] ppid=30264 vsize=7639284 CPUtime=0.26 cores=1,3
/proc/30266/task/30282/stat : 30282 (java) S 30264 30266 29772 0 -1 4202560 1816 0 0 0 26 0 0 0 17 0 19 0 470459966 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30283] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30283/stat : 30283 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459966 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30284] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30284/stat : 30284 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 470459966 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30285] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30285/stat : 30285 (java) S 30264 30266 29772 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470460024 7822626816 31250 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 7639284

[startup+3.10117 s]
/proc/loadavg: 2.71 3.66 3.82 7/262 30285
/proc/meminfo: memFree=12637060/32951124 swapFree=67111528/67111528
[pid=30266] ppid=30264 vsize=7639284 CPUtime=3.64 cores=1,3
/proc/30266/stat : 30266 (java) S 30264 30266 29772 0 -1 4202496 33093 0 1 0 360 4 0 0 25 0 19 0 470459961 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30266/statm: 1909821 31410 2226 9 0 1900559 0
[pid=30266/tid=30267] ppid=30264 vsize=7639284 CPUtime=3.08 cores=1,3
/proc/30266/task/30267/stat : 30267 (java) R 30264 30266 29772 0 -1 4202560 28822 0 1 0 305 3 0 0 25 0 19 0 470459961 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 46912505675616 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30266/tid=30269] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30269/stat : 30269 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459963 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30270] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30270/stat : 30270 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459963 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30271] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30271/stat : 30271 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459963 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30272] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30272/stat : 30272 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459963 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30273] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30273/stat : 30273 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459963 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30274] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30274/stat : 30274 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459963 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30275] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30275/stat : 30275 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459963 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30276] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30276/stat : 30276 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459963 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30277] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30277/stat : 30277 (java) S 30264 30266 29772 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 470459964 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 0 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30278] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30278/stat : 30278 (java) S 30264 30266 29772 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 470459964 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30279] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30279/stat : 30279 (java) S 30264 30266 29772 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 470459964 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30280] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30280/stat : 30280 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459966 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051478961 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30281] ppid=30264 vsize=7639284 CPUtime=0.25 cores=1,3
/proc/30266/task/30281/stat : 30281 (java) S 30264 30266 29772 0 -1 4202560 1209 0 0 0 25 0 0 0 16 0 19 0 470459966 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30282] ppid=30264 vsize=7639284 CPUtime=0.28 cores=1,3
/proc/30266/task/30282/stat : 30282 (java) S 30264 30266 29772 0 -1 4202560 1900 0 0 0 28 0 0 0 15 0 19 0 470459966 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30283] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30283/stat : 30283 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459966 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30284] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30284/stat : 30284 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 470459966 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30285] ppid=30264 vsize=7639284 CPUtime=0 cores=1,3
/proc/30266/task/30285/stat : 30285 (java) S 30264 30266 29772 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470460024 7822626816 31410 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 7639284

[startup+6.30061 s]
/proc/loadavg: 2.97 3.70 3.83 6/262 30285
/proc/meminfo: memFree=12356340/32951124 swapFree=67111528/67111528
[pid=30266] ppid=30264 vsize=7639960 CPUtime=7.37 cores=1,3
/proc/30266/stat : 30266 (java) S 30264 30266 29772 0 -1 4202496 77685 0 1 0 727 10 0 0 25 0 19 0 470459961 7823319040 71242 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30266/statm: 1909990 71242 2251 9 0 1900728 0
[pid=30266/tid=30267] ppid=30264 vsize=7639960 CPUtime=5.93 cores=1,3
/proc/30266/task/30267/stat : 30267 (java) R 30264 30266 29772 0 -1 4202560 28843 0 1 0 590 3 0 0 25 0 19 0 470459961 7823319040 71242 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 46912505693174 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30266/tid=30269] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30269/stat : 30269 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 470459963 7823319040 71242 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30270] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30270/stat : 30270 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 470459963 7823319040 71242 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30271] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30271/stat : 30271 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 470459963 7823319040 71242 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30272] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30272/stat : 30272 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 470459963 7823319040 71242 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30273] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30273/stat : 30273 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 470459963 7823319040 71242 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30274] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30274/stat : 30274 (java) S 30264 30266 29772 0 -1 4202560 90 0 0 0 0 0 0 0 18 0 19 0 470459963 7823319040 71242 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30275] ppid=30264 vsize=7639960 CPUtime=0.1 cores=1,3
/proc/30266/task/30275/stat : 30275 (java) S 30264 30266 29772 0 -1 4202560 10766 0 0 0 9 1 0 0 18 0 19 0 470459963 7823319040 71242 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30276] ppid=30264 vsize=7639960 CPUtime=0.09 cores=1,3
/proc/30266/task/30276/stat : 30276 (java) S 30264 30266 29772 0 -1 4202560 7799 0 0 0 9 0 0 0 18 0 19 0 470459963 7823319040 71242 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30277] ppid=30264 vsize=7639960 CPUtime=0.24 cores=1,3
/proc/30266/task/30277/stat : 30277 (java) S 30264 30266 29772 0 -1 4202560 18631 0 0 0 22 2 0 0 15 0 19 0 470459964 7823319040 71242 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 0 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30278] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30278/stat : 30278 (java) S 30264 30266 29772 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470459964 7823319040 71242 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30279] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30279/stat : 30279 (java) S 30264 30266 29772 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470459964 7823319040 71242 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30280] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30280/stat : 30280 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459966 7823319040 71242 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051478961 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30281] ppid=30264 vsize=7639960 CPUtime=0.66 cores=1,3
/proc/30266/task/30281/stat : 30281 (java) S 30264 30266 29772 0 -1 4202560 8378 0 0 0 65 1 0 0 15 0 19 0 470459966 7823319040 71242 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30282] ppid=30264 vsize=7639960 CPUtime=0.29 cores=1,3
/proc/30266/task/30282/stat : 30282 (java) S 30264 30266 29772 0 -1 4202560 2022 0 0 0 29 0 0 0 15 0 19 0 470459966 7823319040 71242 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0

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

[pid=30266/tid=30274] ppid=30264 vsize=7639960 CPUtime=0.45 cores=1,3
/proc/30266/task/30274/stat : 30274 (java) S 30264 30266 29772 0 -1 4202560 132 0 0 0 45 0 0 0 16 0 19 0 470459963 7823319040 88173 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30275] ppid=30264 vsize=7639960 CPUtime=0.47 cores=1,3
/proc/30266/task/30275/stat : 30275 (java) S 30264 30266 29772 0 -1 4202560 10803 0 0 0 46 1 0 0 15 0 19 0 470459963 7823319040 88173 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30276] ppid=30264 vsize=7639960 CPUtime=0.41 cores=1,3
/proc/30266/task/30276/stat : 30276 (java) S 30264 30266 29772 0 -1 4202560 7821 0 0 0 41 0 0 0 15 0 19 0 470459963 7823319040 88173 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30277] ppid=30264 vsize=7639960 CPUtime=20.14 cores=1,3
/proc/30266/task/30277/stat : 30277 (java) R 30264 30266 29772 0 -1 4202560 35120 0 0 0 2010 4 0 0 16 0 19 0 470459964 7823319040 88173 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 47332889195864 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=30266/tid=30278] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30278/stat : 30278 (java) S 30264 30266 29772 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470459964 7823319040 88173 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30279] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30279/stat : 30279 (java) S 30264 30266 29772 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470459964 7823319040 88173 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30280] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30280/stat : 30280 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459966 7823319040 88173 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051478961 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30281] ppid=30264 vsize=7639960 CPUtime=0.73 cores=1,3
/proc/30266/task/30281/stat : 30281 (java) S 30264 30266 29772 0 -1 4202560 8388 0 0 0 72 1 0 0 15 0 19 0 470459966 7823319040 88173 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30282] ppid=30264 vsize=7639960 CPUtime=0.3 cores=1,3
/proc/30266/task/30282/stat : 30282 (java) S 30264 30266 29772 0 -1 4202560 2022 0 0 0 30 0 0 0 15 0 19 0 470459966 7823319040 88173 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30283] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30283/stat : 30283 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459966 7823319040 88173 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30284] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30284/stat : 30284 (java) S 30264 30266 29772 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 470459966 7823319040 88173 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30285] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30285/stat : 30285 (java) S 30264 30266 29772 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470460024 7823319040 88173 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1124.87
Current children cumulated vsize (KiB) 7639960

[startup+1182.3 s]
/proc/loadavg: 3.61 3.92 3.90 4/238 30430
/proc/meminfo: memFree=11093764/32951124 swapFree=67111528/67111528
[pid=30266] ppid=30264 vsize=7639960 CPUtime=1184.93 cores=1,3
/proc/30266/stat : 30266 (java) S 30264 30266 29772 0 -1 4202496 95383 0 1 0 118479 14 0 0 25 0 19 0 470459961 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30266/statm: 1909990 88708 2254 9 0 1900728 0
[pid=30266/tid=30267] ppid=30264 vsize=7639960 CPUtime=1159.93 cores=1,3
/proc/30266/task/30267/stat : 30267 (java) R 30264 30266 29772 0 -1 4202560 28930 0 1 0 115989 4 0 0 25 0 19 0 470459961 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 46912505675640 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30266/tid=30269] ppid=30264 vsize=7639960 CPUtime=0.33 cores=1,3
/proc/30266/task/30269/stat : 30269 (java) S 30264 30266 29772 0 -1 4202560 161 0 0 0 33 0 0 0 16 0 19 0 470459963 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30270] ppid=30264 vsize=7639960 CPUtime=0.34 cores=1,3
/proc/30266/task/30270/stat : 30270 (java) S 30264 30266 29772 0 -1 4202560 27 0 0 0 34 0 0 0 15 0 19 0 470459963 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30271] ppid=30264 vsize=7639960 CPUtime=0.31 cores=1,3
/proc/30266/task/30271/stat : 30271 (java) S 30264 30266 29772 0 -1 4202560 141 0 0 0 31 0 0 0 15 0 19 0 470459963 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30272] ppid=30264 vsize=7639960 CPUtime=0.37 cores=1,3
/proc/30266/task/30272/stat : 30272 (java) S 30264 30266 29772 0 -1 4202560 17 0 0 0 37 0 0 0 15 0 19 0 470459963 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30273] ppid=30264 vsize=7639960 CPUtime=0.43 cores=1,3
/proc/30266/task/30273/stat : 30273 (java) S 30264 30266 29772 0 -1 4202560 70 0 0 0 43 0 0 0 15 0 19 0 470459963 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30274] ppid=30264 vsize=7639960 CPUtime=0.45 cores=1,3
/proc/30266/task/30274/stat : 30274 (java) S 30264 30266 29772 0 -1 4202560 132 0 0 0 45 0 0 0 15 0 19 0 470459963 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30275] ppid=30264 vsize=7639960 CPUtime=0.49 cores=1,3
/proc/30266/task/30275/stat : 30275 (java) S 30264 30266 29772 0 -1 4202560 10803 0 0 0 48 1 0 0 16 0 19 0 470459963 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30276] ppid=30264 vsize=7639960 CPUtime=0.44 cores=1,3
/proc/30266/task/30276/stat : 30276 (java) S 30264 30266 29772 0 -1 4202560 7822 0 0 0 44 0 0 0 16 0 19 0 470459963 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30277] ppid=30264 vsize=7639960 CPUtime=20.7 cores=1,3
/proc/30266/task/30277/stat : 30277 (java) S 30264 30266 29772 0 -1 4202560 35651 0 0 0 2066 4 0 0 15 0 19 0 470459964 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 0 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30278] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30278/stat : 30278 (java) S 30264 30266 29772 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470459964 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30279] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30279/stat : 30279 (java) S 30264 30266 29772 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470459964 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30280] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30280/stat : 30280 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459966 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051478961 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30281] ppid=30264 vsize=7639960 CPUtime=0.73 cores=1,3
/proc/30266/task/30281/stat : 30281 (java) S 30264 30266 29772 0 -1 4202560 8388 0 0 0 72 1 0 0 15 0 19 0 470459966 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30282] ppid=30264 vsize=7639960 CPUtime=0.3 cores=1,3
/proc/30266/task/30282/stat : 30282 (java) S 30264 30266 29772 0 -1 4202560 2022 0 0 0 30 0 0 0 15 0 19 0 470459966 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30283] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30283/stat : 30283 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459966 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30284] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30284/stat : 30284 (java) S 30264 30266 29772 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 470459966 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30285] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30285/stat : 30285 (java) S 30264 30266 29772 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470460024 7823319040 88708 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1184.93
Current children cumulated vsize (KiB) 7639960

[startup+1242.3 s]
/proc/loadavg: 3.22 3.75 3.84 4/238 30431
/proc/meminfo: memFree=11092924/32951124 swapFree=67111528/67111528
[pid=30266] ppid=30264 vsize=7639960 CPUtime=1244.98 cores=1,3
/proc/30266/stat : 30266 (java) S 30264 30266 29772 0 -1 4202496 95635 0 1 0 124484 14 0 0 25 0 19 0 470459961 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30266/statm: 1909990 88952 2254 9 0 1900728 0
[pid=30266/tid=30267] ppid=30264 vsize=7639960 CPUtime=1219.28 cores=1,3
/proc/30266/task/30267/stat : 30267 (java) R 30264 30266 29772 0 -1 4202560 28932 0 1 0 121924 4 0 0 25 0 19 0 470459961 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 46912505670333 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30266/tid=30269] ppid=30264 vsize=7639960 CPUtime=0.33 cores=1,3
/proc/30266/task/30269/stat : 30269 (java) S 30264 30266 29772 0 -1 4202560 161 0 0 0 33 0 0 0 15 0 19 0 470459963 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30270] ppid=30264 vsize=7639960 CPUtime=0.34 cores=1,3
/proc/30266/task/30270/stat : 30270 (java) S 30264 30266 29772 0 -1 4202560 27 0 0 0 34 0 0 0 16 0 19 0 470459963 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30271] ppid=30264 vsize=7639960 CPUtime=0.31 cores=1,3
/proc/30266/task/30271/stat : 30271 (java) S 30264 30266 29772 0 -1 4202560 141 0 0 0 31 0 0 0 15 0 19 0 470459963 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30272] ppid=30264 vsize=7639960 CPUtime=0.4 cores=1,3
/proc/30266/task/30272/stat : 30272 (java) S 30264 30266 29772 0 -1 4202560 24 0 0 0 40 0 0 0 16 0 19 0 470459963 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30273] ppid=30264 vsize=7639960 CPUtime=0.43 cores=1,3
/proc/30266/task/30273/stat : 30273 (java) S 30264 30266 29772 0 -1 4202560 70 0 0 0 43 0 0 0 16 0 19 0 470459963 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30274] ppid=30264 vsize=7639960 CPUtime=0.47 cores=1,3
/proc/30266/task/30274/stat : 30274 (java) S 30264 30266 29772 0 -1 4202560 132 0 0 0 47 0 0 0 16 0 19 0 470459963 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30275] ppid=30264 vsize=7639960 CPUtime=0.52 cores=1,3
/proc/30266/task/30275/stat : 30275 (java) S 30264 30266 29772 0 -1 4202560 10803 0 0 0 51 1 0 0 16 0 19 0 470459963 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30276] ppid=30264 vsize=7639960 CPUtime=0.46 cores=1,3
/proc/30266/task/30276/stat : 30276 (java) S 30264 30266 29772 0 -1 4202560 7824 0 0 0 46 0 0 0 15 0 19 0 470459963 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30277] ppid=30264 vsize=7639960 CPUtime=21.31 cores=1,3
/proc/30266/task/30277/stat : 30277 (java) S 30264 30266 29772 0 -1 4202560 35890 0 0 0 2127 4 0 0 15 0 19 0 470459964 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 0 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30278] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30278/stat : 30278 (java) S 30264 30266 29772 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470459964 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30279] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30279/stat : 30279 (java) S 30264 30266 29772 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470459964 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30280] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30280/stat : 30280 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459966 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051478961 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30281] ppid=30264 vsize=7639960 CPUtime=0.73 cores=1,3
/proc/30266/task/30281/stat : 30281 (java) S 30264 30266 29772 0 -1 4202560 8388 0 0 0 72 1 0 0 15 0 19 0 470459966 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30282] ppid=30264 vsize=7639960 CPUtime=0.3 cores=1,3
/proc/30266/task/30282/stat : 30282 (java) S 30264 30266 29772 0 -1 4202560 2022 0 0 0 30 0 0 0 15 0 19 0 470459966 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30283] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30283/stat : 30283 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459966 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30284] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30284/stat : 30284 (java) S 30264 30266 29772 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 470459966 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30285] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30285/stat : 30285 (java) S 30264 30266 29772 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470460024 7823319040 88952 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1244.98
Current children cumulated vsize (KiB) 7639960



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.00 3.60 3.78 3/214 30453
/proc/meminfo: memFree=11365464/32951124 swapFree=67111528/67111528
[pid=30266] ppid=30264 vsize=7639960 CPUtime=1302.74 cores=1,3
/proc/30266/stat : 30266 (java) S 30264 30266 29772 0 -1 4202496 96344 0 1 0 130260 14 0 0 25 0 19 0 470459961 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30266/statm: 1909990 89651 2254 9 0 1900728 0
[pid=30266/tid=30267] ppid=30264 vsize=7639960 CPUtime=1276.4 cores=1,3
/proc/30266/task/30267/stat : 30267 (java) R 30264 30266 29772 0 -1 4202560 28934 0 1 0 127636 4 0 0 25 0 19 0 470459961 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 46912505688183 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30266/tid=30269] ppid=30264 vsize=7639960 CPUtime=0.34 cores=1,3
/proc/30266/task/30269/stat : 30269 (java) S 30264 30266 29772 0 -1 4202560 161 0 0 0 34 0 0 0 16 0 19 0 470459963 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30270] ppid=30264 vsize=7639960 CPUtime=0.34 cores=1,3
/proc/30266/task/30270/stat : 30270 (java) S 30264 30266 29772 0 -1 4202560 27 0 0 0 34 0 0 0 15 0 19 0 470459963 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30271] ppid=30264 vsize=7639960 CPUtime=0.34 cores=1,3
/proc/30266/task/30271/stat : 30271 (java) S 30264 30266 29772 0 -1 4202560 141 0 0 0 34 0 0 0 15 0 19 0 470459963 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30272] ppid=30264 vsize=7639960 CPUtime=0.4 cores=1,3
/proc/30266/task/30272/stat : 30272 (java) S 30264 30266 29772 0 -1 4202560 24 0 0 0 40 0 0 0 15 0 19 0 470459963 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30273] ppid=30264 vsize=7639960 CPUtime=0.45 cores=1,3
/proc/30266/task/30273/stat : 30273 (java) S 30264 30266 29772 0 -1 4202560 70 0 0 0 45 0 0 0 16 0 19 0 470459963 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30274] ppid=30264 vsize=7639960 CPUtime=0.5 cores=1,3
/proc/30266/task/30274/stat : 30274 (java) S 30264 30266 29772 0 -1 4202560 132 0 0 0 50 0 0 0 15 0 19 0 470459963 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30275] ppid=30264 vsize=7639960 CPUtime=0.55 cores=1,3
/proc/30266/task/30275/stat : 30275 (java) S 30264 30266 29772 0 -1 4202560 10806 0 0 0 54 1 0 0 16 0 19 0 470459963 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30276] ppid=30264 vsize=7639960 CPUtime=0.46 cores=1,3
/proc/30266/task/30276/stat : 30276 (java) S 30264 30266 29772 0 -1 4202560 7824 0 0 0 46 0 0 0 15 0 19 0 470459963 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30277] ppid=30264 vsize=7639960 CPUtime=21.83 cores=1,3
/proc/30266/task/30277/stat : 30277 (java) S 30264 30266 29772 0 -1 4202560 36590 0 0 0 2179 4 0 0 15 0 19 0 470459964 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 0 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30278] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30278/stat : 30278 (java) S 30264 30266 29772 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470459964 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30279] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30279/stat : 30279 (java) S 30264 30266 29772 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470459964 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30280] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30280/stat : 30280 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459966 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051478961 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30281] ppid=30264 vsize=7639960 CPUtime=0.73 cores=1,3
/proc/30266/task/30281/stat : 30281 (java) S 30264 30266 29772 0 -1 4202560 8388 0 0 0 72 1 0 0 15 0 19 0 470459966 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30282] ppid=30264 vsize=7639960 CPUtime=0.3 cores=1,3
/proc/30266/task/30282/stat : 30282 (java) S 30264 30266 29772 0 -1 4202560 2022 0 0 0 30 0 0 0 15 0 19 0 470459966 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30283] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30283/stat : 30283 (java) S 30264 30266 29772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470459966 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=30266/tid=30284] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30284/stat : 30284 (java) S 30264 30266 29772 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 470459966 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=30266/tid=30285] ppid=30264 vsize=7639960 CPUtime=0 cores=1,3
/proc/30266/task/30285/stat : 30285 (java) S 30264 30266 29772 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470460024 7823319040 89651 33554432000 1073741824 1073778376 140737172281520 18446744073709551615 212051471872 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1302.74
Current children cumulated vsize (KiB) 7639960

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): 1302.84
CPU user time (s): 1302.68
CPU system time (s): 0.158975
CPU usage (%): 100.213
Max. virtual memory (cumulated for all children) (KiB): 7639960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1302.68
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96377
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= 29070
involuntary context switches= 5031

runsolver used 2.13267 second user time and 5.04923 second system time

The end

Launcher Data 

Begin job on node146 at 2011-04-26 03:13:57
IDJOB=3288293
IDBENCH=82493
IDSOLVER=1611
FILE ID=node146/3288293-1303780437
RUNJOBID= node146-1303780432-30126
PBS_JOBID= 13157206
Free space on /tmp= 72736 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.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-3288293-1303780437/watcher-3288293-1303780437 -o /tmp/evaluation-result-3288293-1303780437/solver-3288293-1303780437 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3288293-1303780437.cnf

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

MD5SUM BENCH= 7886cd26d6e0801ea382a1ffd6224023
RANDOM SEED=1238496409

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
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:      13015664 kB
Buffers:       2079376 kB
Cached:       16974608 kB
SwapCached:          0 kB
Active:       10051616 kB
Inactive:      9347848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13015664 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           29936 kB
Writeback:           0 kB
AnonPages:      344712 kB
Mapped:          23332 kB
Slab:           470400 kB
PageTables:       6280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 22013920 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= 72640 MiB
End job on node146 at 2011-04-26 03:35:39