Trace number 3688881

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 NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 Snapshot? (TO) 1800.09 1772.85

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx75.opb
MD5SUM899c8865b8ac9a45eaa204f923cbd9e8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4977
Total number of constraints5494
Number of constraints which are clauses4970
Number of constraints which are cardinality constraints (but not clauses)76
Number of constraints which are nor clauses,nor cardinality constraints448
Minimum length of a constraint2
Maximum length of a constraint448
Number of terms in the objective function 7
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 947
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.07/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.08	c See www.sat4j.org for details.
0.07/0.09	c version 2.3.2.v20120418
0.07/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.09	c java.vm.version	19.1-b02
0.07/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.09	c sun.arch.data.model	64
0.07/0.09	c java.version		1.6.0_24
0.07/0.09	c os.name		Linux
0.07/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.09	c os.arch		amd64
0.07/0.09	c Free memory 		501472288
0.07/0.09	c Max memory 		7480803328
0.07/0.09	c Total memory 		504102912
0.07/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3688881-1337888379.opb
0.10/0.11	c reading problem ... 
0.79/0.44	c ... done. Wall clock time 0.325s.
0.79/0.44	c declared #vars     4977
0.79/0.44	c #constraints  5569
0.79/0.44	c constraints type 
0.79/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75
0.79/0.44	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1
0.79/0.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 75
0.79/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4970
0.79/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 448
0.79/0.44	c 5569 constraints processed.
0.79/0.44	c objective function length is 7 literals
1.99/1.23	c cleaning 2482 clauses out of 5000 with flag 5000/5000
2.75/1.98	c cleaning 4174 clauses out of 8518 with flag 11000/11000
3.67/2.81	c cleaning 5661 clauses out of 11344 with flag 18000/18000
4.59/3.79	c cleaning 6820 clauses out of 13684 with flag 26001/26001
5.84/4.94	c cleaning 7891 clauses out of 15865 with flag 35002/35002
7.55/6.68	c cleaning 8818 clauses out of 17973 with flag 45001/45001
10.27/9.34	c cleaning 10009 clauses out of 20155 with flag 56001/56001
12.44/11.41	c cleaning 10981 clauses out of 22146 with flag 68001/68001
14.65/13.68	c cleaning 12069 clauses out of 24165 with flag 81001/81001
16.66/15.65	c cleaning 13028 clauses out of 26099 with flag 95004/95004
19.09/18.09	c cleaning 13967 clauses out of 28068 with flag 110001/110001
21.94/20.86	c cleaning 14905 clauses out of 30102 with flag 126002/126002
24.56/23.48	c cleaning 15959 clauses out of 32195 with flag 143000/143000
27.18/26.08	c cleaning 17083 clauses out of 34240 with flag 161004/161004
30.82/29.69	c cleaning 18029 clauses out of 36155 with flag 180002/180002
34.65/33.44	c cleaning 19012 clauses out of 38124 with flag 200000/200000
37.93/36.67	c cleaning 20039 clauses out of 40112 with flag 221000/221000
41.35/40.03	c cleaning 21024 clauses out of 42075 with flag 243002/243002
44.88/43.50	c cleaning 21984 clauses out of 44049 with flag 266000/266000
48.63/47.29	c cleaning 22959 clauses out of 46065 with flag 290000/290000
53.05/51.68	c cleaning 24035 clauses out of 48107 with flag 315001/315001
59.89/58.42	c cleaning 25009 clauses out of 50072 with flag 341001/341001
64.77/63.23	c cleaning 26004 clauses out of 52064 with flag 368002/368002
70.59/69.03	c cleaning 26961 clauses out of 54058 with flag 396000/396000
74.94/73.37	c cleaning 28021 clauses out of 56097 with flag 425000/425000
79.96/78.35	c cleaning 28985 clauses out of 58076 with flag 455000/455000
86.12/84.41	c cleaning 29947 clauses out of 60093 with flag 486002/486002
92.46/90.76	c cleaning 30981 clauses out of 62147 with flag 518003/518003
98.62/96.86	c cleaning 32057 clauses out of 64166 with flag 551003/551003
107.84/106.01	c cleaning 33044 clauses out of 66109 with flag 585003/585003
113.92/112.06	c cleaning 33943 clauses out of 68062 with flag 620000/620000
121.37/119.43	c cleaning 34887 clauses out of 70120 with flag 656001/656001
129.67/127.64	c cleaning 36064 clauses out of 72232 with flag 693000/693000
138.53/136.43	c cleaning 37064 clauses out of 74170 with flag 731002/731002
148.54/146.35	c cleaning 37994 clauses out of 76104 with flag 770000/770000
164.04/161.67	c cleaning 39015 clauses out of 78110 with flag 810000/810000
182.26/179.75	c cleaning 40037 clauses out of 80095 with flag 851000/851000
196.62/193.94	c cleaning 41011 clauses out of 82058 with flag 893000/893000
204.35/201.62	c cleaning 41988 clauses out of 84047 with flag 936000/936000
215.02/212.30	c cleaning 43017 clauses out of 86061 with flag 980002/980002
225.60/222.72	c cleaning 43999 clauses out of 88046 with flag 1025004/1025004
244.00/240.90	c cleaning 44710 clauses out of 90043 with flag 1071000/1071000
256.37/253.26	c cleaning 46145 clauses out of 92333 with flag 1118000/1118000
272.02/268.87	c cleaning 47080 clauses out of 94192 with flag 1166004/1166004
282.27/279.01	c cleaning 47961 clauses out of 96109 with flag 1215001/1215001
292.23/288.96	c cleaning 48987 clauses out of 98149 with flag 1265002/1265002
301.09/297.70	c cleaning 49959 clauses out of 100160 with flag 1316000/1316000
314.55/310.65	c cleaning 50798 clauses out of 102204 with flag 1368003/1368003
327.81/323.56	c cleaning 52076 clauses out of 104404 with flag 1421001/1421001
340.96/336.37	c cleaning 53146 clauses out of 106329 with flag 1475002/1475002
352.60/347.80	c cleaning 54064 clauses out of 108181 with flag 1530000/1530000
371.67/366.75	c cleaning 55037 clauses out of 110117 with flag 1586000/1586000
387.97/382.81	c cleaning 55998 clauses out of 112080 with flag 1643000/1643000
401.12/395.73	c cleaning 56996 clauses out of 114082 with flag 1701000/1701000
419.04/413.33	c cleaning 58015 clauses out of 116087 with flag 1760001/1760001
435.35/429.36	c cleaning 58984 clauses out of 118071 with flag 1820000/1820000
458.41/452.02	c cleaning 59977 clauses out of 120088 with flag 1881001/1881001
482.18/475.30	c cleaning 60987 clauses out of 122111 with flag 1943001/1943001
499.00/491.88	c cleaning 62027 clauses out of 124123 with flag 2006000/2006000
513.97/506.59	c cleaning 62993 clauses out of 126098 with flag 2070002/2070002
534.73/527.00	c cleaning 64029 clauses out of 128104 with flag 2135001/2135001
548.05/540.11	c cleaning 65005 clauses out of 130074 with flag 2201000/2201000
573.98/565.84	c cleaning 65947 clauses out of 132069 with flag 2268000/2268000
592.63/584.08	c cleaning 66953 clauses out of 134123 with flag 2336001/2336001
611.50/602.54	c cleaning 67993 clauses out of 136169 with flag 2405000/2405000
628.01/618.87	c cleaning 69057 clauses out of 138179 with flag 2475003/2475003
649.55/640.26	c cleaning 70024 clauses out of 140120 with flag 2546001/2546001
670.53/661.02	c cleaning 71011 clauses out of 142095 with flag 2618000/2618000
688.73/678.95	c cleaning 72020 clauses out of 144085 with flag 2691001/2691001
720.73/710.36	c cleaning 73019 clauses out of 146064 with flag 2765000/2765000
746.32/735.40	c cleaning 74012 clauses out of 148048 with flag 2840003/2840003
775.88/764.53	c cleaning 74999 clauses out of 150035 with flag 2916002/2916002
799.89/788.27	c cleaning 75986 clauses out of 152035 with flag 2993001/2993001
824.29/812.14	c cleaning 76559 clauses out of 154048 with flag 3071000/3071000
856.59/843.78	c cleaning 78013 clauses out of 156490 with flag 3150001/3150001
888.14/874.74	c cleaning 79086 clauses out of 158478 with flag 3230002/3230002
920.27/906.38	c cleaning 79937 clauses out of 160391 with flag 3311001/3311001
961.76/947.52	c cleaning 81149 clauses out of 162456 with flag 3393003/3393003
987.06/972.50	c cleaning 82126 clauses out of 164306 with flag 3476002/3476002
1016.81/1001.65	c cleaning 83052 clauses out of 166178 with flag 3560000/3560000
1061.92/1046.12	c cleaning 84028 clauses out of 168128 with flag 3645002/3645002
1087.53/1071.31	c cleaning 85025 clauses out of 170099 with flag 3731001/3731001
1112.73/1096.20	c cleaning 86014 clauses out of 172073 with flag 3818000/3818000
1142.69/1125.95	c cleaning 87007 clauses out of 174061 with flag 3906002/3906002
1166.64/1149.51	c cleaning 87944 clauses out of 176053 with flag 3995001/3995001
1223.60/1204.49	c cleaning 89030 clauses out of 178116 with flag 4085008/4085008
1282.41/1262.32	c cleaning 90007 clauses out of 180080 with flag 4176002/4176002
1328.23/1307.62	c cleaning 91006 clauses out of 182072 with flag 4268001/4268001
1369.19/1348.05	c cleaning 92007 clauses out of 184065 with flag 4361000/4361000
1413.45/1391.76	c cleaning 92972 clauses out of 186059 with flag 4455001/4455001
1436.23/1413.84	c cleaning 93964 clauses out of 188088 with flag 4550002/4550002
1463.88/1441.10	c cleaning 94985 clauses out of 190122 with flag 4646000/4646000
1505.09/1481.96	c cleaning 96029 clauses out of 192137 with flag 4743000/4743000
1552.46/1528.76	c cleaning 97033 clauses out of 194110 with flag 4841002/4841002
1598.48/1573.94	c cleaning 97972 clauses out of 196075 with flag 4940000/4940000
1652.73/1627.51	c cleaning 98969 clauses out of 198103 with flag 5040000/5040000
1690.25/1664.22	c cleaning 99963 clauses out of 200138 with flag 5141004/5141004
1725.10/1698.74	c cleaning 101042 clauses out of 202172 with flag 5243001/5243001
1767.41/1740.68	c cleaning 102030 clauses out of 204129 with flag 5346000/5346000
1800.09/1772.81	c starts		: 274
1800.09/1772.81	c conflicts		: 5429872
1800.09/1772.81	c decisions		: 12122169
1800.09/1772.81	c propagations		: 705531509
1800.09/1772.81	c inspects		: 14273999688
1800.09/1772.81	c shortcuts		: 0
1800.09/1772.81	c learnt literals	: 0
1800.09/1772.81	c learnt binary clauses	: 0
1800.09/1772.81	c learnt ternary clauses	: 0
1800.09/1772.81	c learnt constraints	: 5429874
1800.09/1772.81	c ignored constraints	: 0
1800.09/1772.81	c root simplifications	: 0
1800.09/1772.81	c removed literals (reason simplification)	: 0
1800.09/1772.81	c reason swapping (by a shorter reason)	: 0
1800.09/1772.81	c Calls to reduceDB	: 99
1800.09/1772.81	c number of reductions to clauses (during analyze)	: 0
1800.09/1772.81	c number of learned constraints concerned by reduction	: 0
1800.09/1772.81	c number of learning phase by resolution	: 0
1800.09/1772.81	c number of learning phase by cutting planes	: 0
1800.09/1772.81	c speed (assignments/second)	: 398074.6180234264
1800.09/1772.81	c non guided choices	60245
1800.09/1772.84	c learnt constraints type 
1800.09/1772.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 186047
1800.09/1772.84	c constraints type 
1800.09/1772.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75
1800.09/1772.84	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1
1800.09/1772.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 75
1800.09/1772.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4970
1800.09/1772.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 448
1800.09/1772.84	c 5569 constraints processed.
1800.09/1772.84	s UNKNOWN
1800.09/1772.84	c Total wall clock time (in seconds): 1772.728

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3688881-1337888379/watcher-3688881-1337888379 -o /tmp/evaluation-result-3688881-1337888379/solver-3688881-1337888379 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688881-1337888379.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 29583
/proc/meminfo: memFree=29470264/32873844 swapFree=7116/7116
[pid=29583] ppid=29581 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/29583/stat : 29583 (java) R 29581 29583 27542 0 -1 4202496 987 0 0 0 0 0 0 0 20 0 1 0 254962867 23793664 715 33554432000 1073741824 1073778376 140735190017600 140735190006664 240555963752 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29583/statm: 5809 716 531 9 0 128 0

[startup+0.077272 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 29583
/proc/meminfo: memFree=29470264/32873844 swapFree=7116/7116
[pid=29583] ppid=29581 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/29583/stat : 29583 (java) S 29581 29583 27542 0 -1 4202496 3333 0 1 0 6 1 0 0 20 0 18 0 254962867 9787813888 4542 33554432000 1073741824 1073778376 140735190017600 140735190008736 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29583/statm: 2389603 4542 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.100253 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 29583
/proc/meminfo: memFree=29470264/32873844 swapFree=7116/7116
[pid=29583] ppid=29581 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/29583/stat : 29583 (java) S 29581 29583 27542 0 -1 4202496 4281 0 1 0 9 1 0 0 20 0 18 0 254962867 9787813888 5480 33554432000 1073741824 1073778376 140735190017600 140735190008736 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29583/statm: 2389603 5480 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300226 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 29583
/proc/meminfo: memFree=29470264/32873844 swapFree=7116/7116
[pid=29583] ppid=29581 vsize=9558412 CPUtime=0.5 cores=0,2,4,6
/proc/29583/stat : 29583 (java) S 29581 29583 27542 0 -1 4202496 6460 0 1 0 48 2 0 0 20 0 18 0 254962867 9787813888 9331 33554432000 1073741824 1073778376 140735190017600 140735190008736 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29583/statm: 2389603 9331 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558412

[startup+0.70023 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 29583
/proc/meminfo: memFree=29470264/32873844 swapFree=7116/7116
[pid=29583] ppid=29581 vsize=9624976 CPUtime=1.48 cores=0,2,4,6
/proc/29583/stat : 29583 (java) S 29581 29583 27542 0 -1 4202496 11660 0 1 0 145 3 0 0 20 0 19 0 254962867 9855975424 19245 33554432000 1073741824 1073778376 140735190017600 140735190008736 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29583/statm: 2406244 19245 2246 9 0 2396937 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9624976

[startup+1.50066 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 29602
/proc/meminfo: memFree=29400872/32873844 swapFree=7116/7116
[pid=29583] ppid=29581 vsize=9624976 CPUtime=2.33 cores=0,2,4,6
/proc/29583/stat : 29583 (java) S 29581 29583 27542 0 -1 4202496 11725 0 1 0 229 4 0 0 20 0 19 0 254962867 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140735190008736 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29583/statm: 2406244 23388 2274 9 0 2396937 0
[pid=29583/tid=29585] ppid=29581 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 27542 0 -1 4202560 2478 0 1 0 144 1 0 0 20 0 19 0 254962868 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140025642103192 140025480784026 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29586] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140025603594408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140025602541864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29588] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140025601489320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29583/tid=29589] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 27542 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140025600436776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140025599384232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29591] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140025480080168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140025479027624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29593] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29593/stat : 29593 (java) S 29581 29583 27542 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140025477975080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29594] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29594/stat : 29594 (java) S 29581 29583 27542 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 254962870 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140025465776232 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29595] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29595/stat : 29595 (java) S 29581 29583 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254962871 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140025464722552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29596] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29596/stat : 29596 (java) S 29581 29583 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254962871 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140024859321480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29597] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29597/stat : 29597 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962873 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140024858270224 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29598] ppid=29581 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/29583/task/29598/stat : 29598 (java) S 29581 29583 27542 0 -1 4202560 2854 0 0 0 41 0 0 0 20 0 19 0 254962873 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140024857217592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29599] ppid=29581 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/29583/task/29599/stat : 29599 (java) S 29581 29583 27542 0 -1 4202560 5148 0 0 0 38 1 0 0 20 0 19 0 254962873 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140024856165048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29600] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29600/stat : 29600 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962873 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140024855112696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29601] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29601/stat : 29601 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962873 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140024854060360 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29602] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29602/stat : 29602 (java) S 29581 29583 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254962913 9855975424 23388 33554432000 1073741824 1073778376 140735190017600 140024853005096 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 9624976

[startup+3.10071 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 29602
/proc/meminfo: memFree=29377228/32873844 swapFree=7116/7116
[pid=29583] ppid=29581 vsize=9624976 CPUtime=3.99 cores=0,2,4,6
/proc/29583/stat : 29583 (java) S 29581 29583 27542 0 -1 4202496 11753 0 1 0 395 4 0 0 20 0 19 0 254962867 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140735190008736 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29583/statm: 2406244 26470 2275 9 0 2396937 0
[pid=29583/tid=29585] ppid=29581 vsize=9624976 CPUtime=3.01 cores=0,2,4,6
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 27542 0 -1 4202560 2479 0 1 0 300 1 0 0 20 0 19 0 254962868 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140025642103288 140025480345004 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29586] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 27542 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140025603594408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 27542 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140025602541864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29588] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 27542 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140025601489320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29583/tid=29589] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 27542 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140025600436776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 27542 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140025599384232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29591] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140025480080168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 27542 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140025479027624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29593] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29593/stat : 29593 (java) S 29581 29583 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140025477975080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29594] ppid=29581 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/29583/task/29594/stat : 29594 (java) S 29581 29583 27542 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 19 0 254962870 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140025465776232 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29595] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29595/stat : 29595 (java) S 29581 29583 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254962871 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140025464722552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29596] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29596/stat : 29596 (java) S 29581 29583 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254962871 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140024859321480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29597] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29597/stat : 29597 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962873 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140024858270224 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29598] ppid=29581 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/29583/task/29598/stat : 29598 (java) S 29581 29583 27542 0 -1 4202560 2856 0 0 0 43 0 0 0 20 0 19 0 254962873 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140024857217592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29583/tid=29599] ppid=29581 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/29583/task/29599/stat : 29599 (java) S 29581 29583 27542 0 -1 4202560 5148 0 0 0 39 1 0 0 20 0 19 0 254962873 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140024856165048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29600] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29600/stat : 29600 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962873 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140024855112696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29601] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29601/stat : 29601 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962873 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140024854060360 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29602] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29602/stat : 29602 (java) S 29581 29583 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254962913 9855975424 26470 33554432000 1073741824 1073778376 140735190017600 140024853005096 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 9624976

[startup+6.30071 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 29602
/proc/meminfo: memFree=29366748/32873844 swapFree=7116/7116
[pid=29583] ppid=29581 vsize=9624976 CPUtime=7.24 cores=0,2,4,6
/proc/29583/stat : 29583 (java) S 29581 29583 27542 0 -1 4202496 11768 0 1 0 720 4 0 0 20 0 19 0 254962867 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140735190008736 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29583/statm: 2406244 28009 2275 9 0 2396937 0
[pid=29583/tid=29585] ppid=29581 vsize=9624976 CPUtime=6.15 cores=0,2,4,6
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 27542 0 -1 4202560 2482 0 1 0 614 1 0 0 20 0 19 0 254962868 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140025642103072 140025480817549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29586] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 27542 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140025603594408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 27542 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140025602541864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29588] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 27542 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140025601489320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29583/tid=29589] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 27542 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140025600436776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 27542 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140025599384232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29583/tid=29591] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140025480080168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140025479027624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29593] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29593/stat : 29593 (java) S 29581 29583 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254962869 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140025477975080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29594] ppid=29581 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/29583/task/29594/stat : 29594 (java) S 29581 29583 27542 0 -1 4202560 34 0 0 0 6 0 0 0 20 0 19 0 254962870 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140025465776232 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29595] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29595/stat : 29595 (java) S 29581 29583 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254962871 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140025464722552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29596] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29596/stat : 29596 (java) S 29581 29583 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254962871 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140024859321480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29597] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29597/stat : 29597 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962873 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140024858270224 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29598] ppid=29581 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/29583/task/29598/stat : 29598 (java) S 29581 29583 27542 0 -1 4202560 2856 0 0 0 43 0 0 0 20 0 19 0 254962873 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140024857217592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29583/tid=29599] ppid=29581 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/29583/task/29599/stat : 29599 (java) S 29581 29583 27542 0 -1 4202560 5148 0 0 0 43 1 0 0 20 0 19 0 254962873 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140024856165048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29600] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29600/stat : 29600 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962873 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140024855112696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29601] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29601/stat : 29601 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962873 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140024854060360 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29602] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29602/stat : 29602 (java) S 29581 29583 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254962913 9855975424 28009 33554432000 1073741824 1073778376 140735190017600 140024853005096 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=29583/tid=29598] ppid=29581 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/29583/task/29598/stat : 29598 (java) S 29581 29583 27542 0 -1 4202560 2856 0 0 0 43 0 0 0 20 0 19 0 254962873 9855975424 160780 33554432000 1073741824 1073778376 140735190017600 140024857217592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29583/tid=29599] ppid=29581 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/29583/task/29599/stat : 29599 (java) S 29581 29583 27542 0 -1 4202560 5154 0 0 0 45 1 0 0 20 0 19 0 254962873 9855975424 160780 33554432000 1073741824 1073778376 140735190017600 140024856165048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29600] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29600/stat : 29600 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962873 9855975424 160780 33554432000 1073741824 1073778376 140735190017600 140024855112696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29601] ppid=29581 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/29583/task/29601/stat : 29601 (java) S 29581 29583 27542 0 -1 4202560 89 0 0 0 30 25 0 0 20 0 19 0 254962873 9855975424 160780 33554432000 1073741824 1073778376 140735190017600 140024854060360 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29602] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29602/stat : 29602 (java) S 29581 29583 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254962913 9855975424 160780 33554432000 1073741824 1073778376 140735190017600 140024853005096 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1627.24
Current children cumulated vsize (KiB) 9624976

[startup+1662.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/213 29698
/proc/meminfo: memFree=28908200/32873844 swapFree=7116/7116
[pid=29583] ppid=29581 vsize=9624976 CPUtime=1688.34 cores=0,2,4,6
/proc/29583/stat : 29583 (java) S 29581 29583 27542 0 -1 4202496 35072 0 1 0 168663 171 0 0 20 0 19 0 254962867 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140735190008736 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29583/statm: 2406244 170573 2276 9 0 2396937 0
[pid=29583/tid=29585] ppid=29581 vsize=9624976 CPUtime=1642.29 cores=0,2,4,6
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 27542 0 -1 4202560 3039 0 1 0 164201 28 0 0 20 0 19 0 254962868 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140025642102112 140025480705452 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29586] ppid=29581 vsize=9624976 CPUtime=4.48 cores=0,2,4,6
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 27542 0 -1 4202560 2255 0 0 0 430 18 0 0 20 0 19 0 254962869 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140025603594408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=9624976 CPUtime=4.44 cores=0,2,4,6
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 27542 0 -1 4202560 3414 0 0 0 425 19 0 0 20 0 19 0 254962869 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140025602541864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29583/tid=29588] ppid=29581 vsize=9624976 CPUtime=4.59 cores=0,2,4,6
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 27542 0 -1 4202560 2988 0 0 0 441 18 0 0 20 0 19 0 254962869 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140025601489320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29589] ppid=29581 vsize=9624976 CPUtime=4.34 cores=0,2,4,6
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 27542 0 -1 4202560 2529 0 0 0 415 19 0 0 20 0 19 0 254962869 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140025600436776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=9624976 CPUtime=4.25 cores=0,2,4,6
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 27542 0 -1 4202560 4009 0 0 0 409 16 0 0 20 0 19 0 254962869 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140025599384232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29591] ppid=29581 vsize=9624976 CPUtime=4.14 cores=0,2,4,6
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 27542 0 -1 4202560 1920 0 0 0 400 14 0 0 20 0 19 0 254962869 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140025480080168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=9624976 CPUtime=4.49 cores=0,2,4,6
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 27542 0 -1 4202560 2323 0 0 0 428 21 0 0 20 0 19 0 254962869 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140025479027624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29593] ppid=29581 vsize=9624976 CPUtime=4.32 cores=0,2,4,6
/proc/29583/task/29593/stat : 29593 (java) S 29581 29583 27542 0 -1 4202560 2234 0 0 0 414 18 0 0 20 0 19 0 254962869 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140025477975080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29583/tid=29594] ppid=29581 vsize=9624976 CPUtime=5.69 cores=0,2,4,6
/proc/29583/task/29594/stat : 29594 (java) S 29581 29583 27542 0 -1 4202560 1080 0 0 0 563 6 0 0 20 0 19 0 254962870 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140025465776232 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29595] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29595/stat : 29595 (java) S 29581 29583 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254962871 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140025464722552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29596] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29596/stat : 29596 (java) S 29581 29583 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254962871 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140024859321480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29597] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29597/stat : 29597 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962873 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140024858270224 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29598] ppid=29581 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/29583/task/29598/stat : 29598 (java) S 29581 29583 27542 0 -1 4202560 2856 0 0 0 43 0 0 0 20 0 19 0 254962873 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140024857217592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29583/tid=29599] ppid=29581 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/29583/task/29599/stat : 29599 (java) S 29581 29583 27542 0 -1 4202560 5154 0 0 0 45 1 0 0 20 0 19 0 254962873 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140024856165048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29600] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29600/stat : 29600 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962873 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140024855112696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29601] ppid=29581 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/29583/task/29601/stat : 29601 (java) S 29581 29583 27542 0 -1 4202560 91 0 0 0 31 26 0 0 20 0 19 0 254962873 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140024854060360 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29602] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29602/stat : 29602 (java) S 29581 29583 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254962913 9855975424 170573 33554432000 1073741824 1073778376 140735190017600 140024853005096 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1688.34
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/213 29698
/proc/meminfo: memFree=28877356/32873844 swapFree=7116/7116
[pid=29583] ppid=29581 vsize=9624976 CPUtime=1748.99 cores=0,2,4,6
/proc/29583/stat : 29583 (java) S 29581 29583 27542 0 -1 4202496 35153 0 1 0 174723 176 0 0 20 0 19 0 254962867 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140735190008736 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29583/statm: 2406244 178262 2276 9 0 2396937 0
[pid=29583/tid=29585] ppid=29581 vsize=9624976 CPUtime=1701.69 cores=0,2,4,6
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 27542 0 -1 4202560 3046 0 1 0 170139 30 0 0 20 0 19 0 254962868 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140025642102112 140025480767906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29586] ppid=29581 vsize=9624976 CPUtime=4.58 cores=0,2,4,6
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 27542 0 -1 4202560 2269 0 0 0 439 19 0 0 20 0 19 0 254962869 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140025603594408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=9624976 CPUtime=4.55 cores=0,2,4,6
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 27542 0 -1 4202560 3421 0 0 0 436 19 0 0 20 0 19 0 254962869 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140025602541864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29583/tid=29588] ppid=29581 vsize=9624976 CPUtime=4.69 cores=0,2,4,6
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 27542 0 -1 4202560 2994 0 0 0 451 18 0 0 20 0 19 0 254962869 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140025601489320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29583/tid=29589] ppid=29581 vsize=9624976 CPUtime=4.44 cores=0,2,4,6
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 27542 0 -1 4202560 2536 0 0 0 424 20 0 0 20 0 19 0 254962869 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140025600436776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=9624976 CPUtime=4.36 cores=0,2,4,6
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 27542 0 -1 4202560 4012 0 0 0 419 17 0 0 20 0 19 0 254962869 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140025599384232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29591] ppid=29581 vsize=9624976 CPUtime=4.29 cores=0,2,4,6
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 27542 0 -1 4202560 1925 0 0 0 415 14 0 0 20 0 19 0 254962869 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140025480080168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=9624976 CPUtime=4.59 cores=0,2,4,6
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 27542 0 -1 4202560 2332 0 0 0 438 21 0 0 20 0 19 0 254962869 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140025479027624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29593] ppid=29581 vsize=9624976 CPUtime=4.44 cores=0,2,4,6
/proc/29583/task/29593/stat : 29593 (java) S 29581 29583 27542 0 -1 4202560 2242 0 0 0 426 18 0 0 20 0 19 0 254962869 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140025477975080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29594] ppid=29581 vsize=9624976 CPUtime=5.89 cores=0,2,4,6
/proc/29583/task/29594/stat : 29594 (java) S 29581 29583 27542 0 -1 4202560 1091 0 0 0 583 6 0 0 20 0 19 0 254962870 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140025465776232 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29595] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29595/stat : 29595 (java) S 29581 29583 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254962871 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140025464722552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29596] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29596/stat : 29596 (java) S 29581 29583 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254962871 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140024859321480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29597] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29597/stat : 29597 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962873 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140024858270224 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29598] ppid=29581 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/29583/task/29598/stat : 29598 (java) S 29581 29583 27542 0 -1 4202560 2856 0 0 0 43 0 0 0 20 0 19 0 254962873 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140024857217592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29583/tid=29599] ppid=29581 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/29583/task/29599/stat : 29599 (java) S 29581 29583 27542 0 -1 4202560 5154 0 0 0 45 1 0 0 20 0 19 0 254962873 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140024856165048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29600] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29600/stat : 29600 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962873 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140024855112696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29601] ppid=29581 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/29583/task/29601/stat : 29601 (java) S 29581 29583 27542 0 -1 4202560 95 0 0 0 32 26 0 0 20 0 19 0 254962873 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140024854060360 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29602] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29602/stat : 29602 (java) S 29581 29583 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254962913 9855975424 178262 33554432000 1073741824 1073778376 140735190017600 140024853005096 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1748.99
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1772.8 s]
/proc/loadavg: 2.00 2.04 2.00 3/213 29698
/proc/meminfo: memFree=28826408/32873844 swapFree=7116/7116
[pid=29583] ppid=29581 vsize=9624976 CPUtime=1800.09 cores=0,2,4,6
/proc/29583/stat : 29583 (java) S 29581 29583 27542 0 -1 4202496 36126 0 1 0 179825 184 0 0 20 0 19 0 254962867 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140735190008736 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29583/statm: 2406244 190887 2276 9 0 2396937 0
[pid=29583/tid=29585] ppid=29581 vsize=9624976 CPUtime=1751.67 cores=0,2,4,6
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 27542 0 -1 4202560 3053 0 1 0 175136 31 0 0 20 0 19 0 254962868 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140025642102112 140025480816923 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29586] ppid=29581 vsize=9624976 CPUtime=4.64 cores=0,2,4,6
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 27542 0 -1 4202560 2402 0 0 0 444 20 0 0 20 0 19 0 254962869 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140025603594408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=9624976 CPUtime=4.63 cores=0,2,4,6
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 27542 0 -1 4202560 3557 0 0 0 443 20 0 0 20 0 19 0 254962869 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140025602541864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29588] ppid=29581 vsize=9624976 CPUtime=4.84 cores=0,2,4,6
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 27542 0 -1 4202560 3223 0 0 0 465 19 0 0 20 0 19 0 254962869 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140025601489320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29589] ppid=29581 vsize=9624976 CPUtime=4.56 cores=0,2,4,6
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 27542 0 -1 4202560 2547 0 0 0 436 20 0 0 20 0 19 0 254962869 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140025600436776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=9624976 CPUtime=4.49 cores=0,2,4,6
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 27542 0 -1 4202560 4032 0 0 0 432 17 0 0 20 0 19 0 254962869 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140025599384232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29591] ppid=29581 vsize=9624976 CPUtime=4.4 cores=0,2,4,6
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 27542 0 -1 4202560 2124 0 0 0 425 15 0 0 20 0 19 0 254962869 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140025480080168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=9624976 CPUtime=4.69 cores=0,2,4,6
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 27542 0 -1 4202560 2442 0 0 0 447 22 0 0 20 0 19 0 254962869 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140025479027624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29593] ppid=29581 vsize=9624976 CPUtime=4.53 cores=0,2,4,6
/proc/29583/task/29593/stat : 29593 (java) S 29581 29583 27542 0 -1 4202560 2324 0 0 0 434 19 0 0 20 0 19 0 254962869 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140025477975080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29594] ppid=29581 vsize=9624976 CPUtime=6.03 cores=0,2,4,6
/proc/29583/task/29594/stat : 29594 (java) S 29581 29583 27542 0 -1 4202560 1135 0 0 0 597 6 0 0 20 0 19 0 254962870 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140025465776232 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29595] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29595/stat : 29595 (java) S 29581 29583 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254962871 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140025464722552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29596] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29596/stat : 29596 (java) S 29581 29583 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254962871 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140024859321480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29597] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29597/stat : 29597 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962873 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140024858270224 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29583/tid=29598] ppid=29581 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/29583/task/29598/stat : 29598 (java) S 29581 29583 27542 0 -1 4202560 2856 0 0 0 43 0 0 0 20 0 19 0 254962873 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140024857217592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29583/tid=29599] ppid=29581 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/29583/task/29599/stat : 29599 (java) S 29581 29583 27542 0 -1 4202560 5154 0 0 0 45 1 0 0 20 0 19 0 254962873 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140024856165048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29600] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29600/stat : 29600 (java) S 29581 29583 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254962873 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140024855112696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29583/tid=29601] ppid=29581 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/29583/task/29601/stat : 29601 (java) S 29581 29583 27542 0 -1 4202560 97 0 0 0 33 27 0 0 20 0 19 0 254962873 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140024854060360 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29583/tid=29602] ppid=29581 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29583/task/29602/stat : 29602 (java) S 29581 29583 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254962913 9855975424 190887 33554432000 1073741824 1073778376 140735190017600 140024853005096 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29583 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=7269
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=312648
# CPU time returned by wait4() is 1796.32
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1772.85
CPU time (s): 1800.09
CPU user time (s): 1798.25
CPU system time (s): 1.84
CPU usage (%): 101.536
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.01
system time used= 2.31265
maximum resident set size= 933504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36162
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53947
involuntary context switches= 64472

runsolver used 6.24905 second user time and 14.3348 second system time

The end

Launcher Data 

Begin job on node146 at 2012-05-24 21:39:39
IDJOB=3688881
IDBENCH=71843
IDSOLVER=2269
FILE ID=node146/3688881-1337888379
RUNJOBID= node146-1337871880-27558
PBS_JOBID= 14620058
Free space on /tmp= 71716 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688881-1337888379/watcher-3688881-1337888379 -o /tmp/evaluation-result-3688881-1337888379/solver-3688881-1337888379 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688881-1337888379.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 899c8865b8ac9a45eaa204f923cbd9e8
RANDOM SEED=774408885

node146.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29470528 kB
Buffers:          219108 kB
Cached:          2001340 kB
SwapCached:         2348 kB
Active:           754504 kB
Inactive:        1884616 kB
Active(anon):     417572 kB
Inactive(anon):     3064 kB
Active(file):     336932 kB
Inactive(file):  1881552 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100340 kB
Dirty:               864 kB
Writeback:             0 kB
AnonPages:        519868 kB
Mapped:            16300 kB
Shmem:                 0 kB
Slab:             622792 kB
SReclaimable:      63932 kB
SUnreclaim:       558860 kB
KernelStack:        1760 kB
PageTables:         5132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     825168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    477184 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node146 at 2012-05-24 22:09:14