Trace number 3731036

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
PB07: SAT4JPseudoResolution 2007-03-23? (exit code) 323.87 318.612

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-3.opb
MD5SUMf687933a5408753eb50bdd526af25aa5
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3052
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3052
Optimality of the best value was proved NO
Number of variables3300
Total number of constraints1985
Number of constraints which are clauses1364
Number of constraints which are cardinality constraints (but not clauses)621
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint220
Number of terms in the objective function 2792
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 1385986
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1385986
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.06/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.06/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.06/0.09	c no version file found!!!
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version	1.6.0_24
0.06/0.09	c os.name	Linux
0.06/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.06/0.09	c os.arch	amd64
0.06/0.09	c Free memory 1599470296
0.06/0.09	c Max memory 1607860224
0.06/0.09	c Total memory 1607860224
0.06/0.09	c Number of processors 8
0.08/0.11	--- Begin Solver configuration ---
0.08/0.11	c Stops conflict analysis at the first Unique Implication Point
0.08/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.11	c No reason simplification
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3731036-1338683194.opb
0.08/0.11	c reading problem ... 
0.48/0.35	c ... done. Wall clock time 0.244s.
0.48/0.35	c CPU time (experimental) 0.32s.
0.48/0.35	c #vars     3300
0.48/0.35	c #constraints  2572
1.07/0.50	c SATISFIABLE
1.07/0.50	c OPTIMIZING...
1.07/0.50	c Got one! Elapsed wall clock time (in seconds):0.385
1.07/0.50	o 99164
1.65/0.77	c Got one! Elapsed wall clock time (in seconds):0.657
1.65/0.77	o 30077
1.84/0.86	c Got one! Elapsed wall clock time (in seconds):0.75
1.84/0.86	o 11063
90.93/87.81	c cleaning 179843 clauses out of 359698 for limit 5.458559738354804E10
92.54/89.42	c cleaning 90171 clauses out of 180355 for limit 1.79532794467281E11
92.84/89.76	c cleaning 45333 clauses out of 90684 for limit 5.888398540465385E11
93.04/89.99	c cleaning 22918 clauses out of 45851 for limit 1.9205912223456162E12
93.35/90.25	c cleaning 11707 clauses out of 23434 for limit 6.203370563080943E12
93.54/90.42	c cleaning 6107 clauses out of 12226 for limit 1.9588948940080117E13
93.64/90.55	c cleaning 3301 clauses out of 6620 for limit 5.9721118789974E13
93.74/90.66	c cleaning 1901 clauses out of 3819 for limit 1.707230469291658E14
93.84/90.77	c cleaning 1209 clauses out of 2418 for limit 4.4467365686050394E14
93.94/90.87	c cleaning 844 clauses out of 1709 for limit 1.0375559440333314E15
94.04/90.98	c cleaning 682 clauses out of 1364 for limit 2.141709634683656E15
94.14/91.09	c cleaning 581 clauses out of 1183 for limit 4.0764358740156405E15
94.24/91.19	c cleaning 550 clauses out of 1101 for limit 7.216048039260214E15
94.35/91.29	c cleaning 526 clauses out of 1052 for limit 1.2466983758640818E16
94.45/91.39	c cleaning 512 clauses out of 1025 for limit 2.1080195942129028E16
94.54/91.50	c cleaning 507 clauses out of 1015 for limit 3.517688484492256E16
94.74/91.60	c cleaning 499 clauses out of 1006 for limit 5.841337533348325E-4
94.84/91.70	c cleaning 490 clauses out of 1008 for limit 9.623657302979534E-4
94.94/91.81	c cleaning 503 clauses out of 1018 for limit 0.0015714797553078419
95.04/91.91	c cleaning 502 clauses out of 1015 for limit 0.00259924018868828
95.14/92.02	c cleaning 500 clauses out of 1012 for limit 0.004294902589856209
95.24/92.12	c cleaning 501 clauses out of 1012 for limit 0.007082868932462037
95.34/92.22	c cleaning 498 clauses out of 1011 for limit 0.01169215190867489
95.45/92.33	c cleaning 501 clauses out of 1013 for limit 0.019243853696548862
95.55/92.44	c cleaning 498 clauses out of 1013 for limit 0.031767456598897674
95.64/92.54	c cleaning 501 clauses out of 1014 for limit 0.052284783116519885
95.74/92.65	c cleaning 498 clauses out of 1013 for limit 0.08630971995931025
95.84/92.75	c cleaning 500 clauses out of 1015 for limit 0.14205580895510891
95.94/92.86	c cleaning 502 clauses out of 1016 for limit 0.2342727258221805
96.04/92.96	c cleaning 498 clauses out of 1013 for limit 0.3871037411176383
96.14/93.06	c cleaning 497 clauses out of 1015 for limit 0.6371279517525935
96.24/93.16	c cleaning 504 clauses out of 1019 for limit 1.0476323863420967
96.34/93.26	c cleaning 496 clauses out of 1014 for limit 1.7344689112280163
96.44/93.37	c cleaning 505 clauses out of 1018 for limit 2.8491320878808577
96.55/93.47	c cleaning 499 clauses out of 1014 for limit 4.7218567308146175
96.64/93.59	c cleaning 501 clauses out of 1015 for limit 7.779301532802814
215.35/211.43	c cleaning 151253 clauses out of 302514 for limit 4.357294590536707E9
217.15/213.29	c cleaning 75878 clauses out of 151760 for limit 1.4309565879308681E10
217.65/213.76	c cleaning 38186 clauses out of 76382 for limit 4.688658884047177E10
217.85/213.95	c cleaning 19345 clauses out of 38696 for limit 1.5262633509170123E11
217.95/214.08	c cleaning 9918 clauses out of 19852 for limit 4.9111328531762714E11
218.15/214.20	c cleaning 5211 clauses out of 10433 for limit 1.5395653103253943E12
218.25/214.30	c cleaning 2854 clauses out of 5724 for limit 4.636952101891243E12
218.25/214.39	c cleaning 1676 clauses out of 3369 for limit 1.2979339701625686E13
218.36/214.49	c cleaning 1093 clauses out of 2193 for limit 3.288295706850663E13
218.46/214.58	c cleaning 794 clauses out of 1600 for limit 7.432679418369583E13
218.55/214.67	c cleaning 653 clauses out of 1306 for limit 1.5016824118780794E14
218.65/214.76	c cleaning 576 clauses out of 1152 for limit 2.8047242359386228E14
218.75/214.85	c cleaning 538 clauses out of 1077 for limit 4.952418552685247E14
218.85/214.94	c cleaning 509 clauses out of 1039 for limit 8.46590488086335E14
218.95/215.04	c cleaning 507 clauses out of 1030 for limit 1.4083402597301902E15
219.05/215.13	c cleaning 502 clauses out of 1023 for limit 2.338433760962727E15
219.15/215.22	c cleaning 510 clauses out of 1021 for limit 3.8639442450960005E15
219.25/215.31	c cleaning 505 clauses out of 1011 for limit 6.435189267787793E15
219.35/215.40	c cleaning 495 clauses out of 1006 for limit 1.06652339509496E16
219.35/215.49	c cleaning 505 clauses out of 1011 for limit 1.750141240347722E16
219.46/215.58	c cleaning 503 clauses out of 1006 for limit 2.900562050124474E16
219.56/215.67	c cleaning 501 clauses out of 1003 for limit 4.797722173489144E16
219.65/215.76	c cleaning 496 clauses out of 1002 for limit 7.91998198497887E-4
219.75/215.85	c cleaning 495 clauses out of 1005 for limit 0.0013009099300551681
219.85/215.94	c cleaning 499 clauses out of 1011 for limit 0.002134777091447765
219.95/216.03	c cleaning 498 clauses out of 1012 for limit 0.0035170542216088575
220.05/216.13	c cleaning 500 clauses out of 1013 for limit 0.005788572887930877
220.15/216.22	c cleaning 501 clauses out of 1013 for limit 0.009546131073624724
220.27/216.31	c cleaning 499 clauses out of 1012 for limit 0.015758403372096254
220.37/216.41	c cleaning 500 clauses out of 1014 for limit 0.025962419880885754
220.47/216.50	c cleaning 500 clauses out of 1013 for limit 0.04281491184934457
220.47/216.59	c cleaning 503 clauses out of 1013 for limit 0.0706075173160042
220.58/216.68	c cleaning 498 clauses out of 1010 for limit 0.1167871068332981
220.68/216.78	c cleaning 499 clauses out of 1013 for limit 0.19221940429513673
220.77/216.87	c cleaning 500 clauses out of 1014 for limit 0.31668289348607714
316.97/311.76	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
317.27/312.09		at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source)
317.27/312.09		at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(Unknown Source)
318.27/313.00		at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(Unknown Source)
318.57/313.33		at org.sat4j.minisat.core.Solver.analyze(Unknown Source)
318.87/313.66		at org.sat4j.minisat.core.Solver.search(Unknown Source)
319.37/314.16		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
319.57/314.32		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
320.17/314.98		at org.sat4j.tools.SolverDecorator.isSatisfiable(Unknown Source)
320.17/314.98		at org.sat4j.opt.PseudoOptDecorator.admitABetterSolution(Unknown Source)
322.87/317.66	c starts		: 30
322.87/317.66	c conflicts		: 1034945
322.87/317.66	c decisions		: 1177630
322.87/317.66	c propagations		: 35583654
322.87/317.66	c inspects		: 243655482
322.87/317.66	c learnt literals	: 0
322.87/317.66	c learnt binary clauses	: 0
322.87/317.66	c learnt ternary clauses	: 0
322.87/317.66	c learnt clauses	: 1034944
322.87/317.66	c root simplifications	: 0
322.87/317.66	c removed literals (reason simplification)	: 0
322.87/317.66	c reason swapping (by a shorter reason)	: 0
322.87/317.66	c Calls to reduceDB	: 71
322.87/317.66	c speed (decisions/second)	: 3717.4893696275976
322.87/317.66	c non guided choices	454
323.47/318.28	Exception in thread "Thread-0" java.lang.OutOfMemoryError: GC overhead limit exceeded
323.47/318.28		at java.util.Arrays.copyOfRange(Arrays.java:3209)
323.47/318.28		at java.lang.String.<init>(String.java:215)
323.47/318.28		at java.lang.StringBuilder.toString(StringBuilder.java:430)

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-3731036-1338683194/watcher-3731036-1338683194 -o /tmp/evaluation-result-3731036-1338683194/solver-3731036-1338683194 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731036-1338683194.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.03 2.05 1.98 3/194 17136
/proc/meminfo: memFree=28190996/32873844 swapFree=7120/7120
[pid=17136] ppid=17134 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/17136/stat : 17136 (java) R 17134 17136 15565 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 1 0 334444296 278528 33 33554432000 1073741824 1073778376 140735742346480 140737445886856 233211784373 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17136/statm: 68 33 25 9 0 25 0

[startup+0.08634 s]
/proc/loadavg: 2.03 2.05 1.98 3/194 17136
/proc/meminfo: memFree=28190996/32873844 swapFree=7120/7120
[pid=17136] ppid=17134 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/17136/stat : 17136 (java) S 17134 17136 15565 0 -1 4202496 3662 0 1 0 5 1 0 0 20 0 18 0 334444296 3028844544 5380 33554432000 1073741824 1073778376 140735742346480 140735742337616 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17136/statm: 739464 5385 1788 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856

[startup+0.101677 s]
/proc/loadavg: 2.03 2.05 1.98 3/194 17136
/proc/meminfo: memFree=28190996/32873844 swapFree=7120/7120
[pid=17136] ppid=17134 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/17136/stat : 17136 (java) S 17134 17136 15565 0 -1 4202496 3992 0 1 0 7 1 0 0 20 0 18 0 334444296 3028844544 5710 33554432000 1073741824 1073778376 140735742346480 140735742337616 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17136/statm: 739464 5714 1975 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300231 s]
/proc/loadavg: 2.03 2.05 1.98 3/194 17136
/proc/meminfo: memFree=28190996/32873844 swapFree=7120/7120
[pid=17136] ppid=17134 vsize=2957856 CPUtime=0.48 cores=0,2,4,6
/proc/17136/stat : 17136 (java) S 17134 17136 15565 0 -1 4202496 6065 0 1 0 46 2 0 0 20 0 18 0 334444296 3028844544 9652 33554432000 1073741824 1073778376 140735742346480 140735742337616 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17136/statm: 739464 9652 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856

[startup+0.700241 s]
/proc/loadavg: 2.03 2.05 1.98 3/194 17136
/proc/meminfo: memFree=28190996/32873844 swapFree=7120/7120
[pid=17136] ppid=17134 vsize=3024420 CPUtime=1.65 cores=0,2,4,6
/proc/17136/stat : 17136 (java) S 17134 17136 15565 0 -1 4202496 16128 0 1 0 162 3 0 0 20 0 19 0 334444296 3097006080 17607 33554432000 1073741824 1073778376 140735742346480 140735742337616 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17136/statm: 756105 17607 2276 9 0 746526 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 3024420

[startup+1.50067 s]
/proc/loadavg: 2.02 2.05 1.98 3/213 17158
/proc/meminfo: memFree=28116868/32873844 swapFree=7120/7120
[pid=17136] ppid=17134 vsize=3024420 CPUtime=2.6 cores=0,2,4,6
/proc/17136/stat : 17136 (java) S 17134 17136 15565 0 -1 4202496 16190 0 1 0 256 4 0 0 20 0 19 0 334444296 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140735742337616 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17136/statm: 756105 23285 2280 9 0 746526 0
[pid=17136/tid=17138] ppid=17134 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/17136/task/17138/stat : 17138 (java) R 17134 17136 15565 0 -1 4202560 2616 0 1 0 144 2 0 0 20 0 19 0 334444297 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137197204104 140137137585366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17139] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17139/stat : 17139 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137063156776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17140] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17140/stat : 17140 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137062103976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17141] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17141/stat : 17141 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137061051176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17142] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17142/stat : 17142 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137059998376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17143] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17143/stat : 17143 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137058945576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17144] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17144/stat : 17144 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137057892776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17145] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17145/stat : 17145 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137056839976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17146] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17146/stat : 17146 (java) S 17134 17136 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137055787176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17147] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17147/stat : 17147 (java) S 17134 17136 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334444299 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137043377128 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17148] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17148/stat : 17148 (java) S 17134 17136 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334444300 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137042323192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17149] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17149/stat : 17149 (java) S 17134 17136 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334444300 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137041270280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17150] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17150/stat : 17150 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444302 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137040218768 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17151] ppid=17134 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/17136/task/17151/stat : 17151 (java) S 17134 17136 15565 0 -1 4202560 4420 0 0 0 52 1 0 0 20 0 19 0 334444302 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137039165880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17152] ppid=17134 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/17136/task/17152/stat : 17152 (java) S 17134 17136 15565 0 -1 4202560 7952 0 0 0 56 0 0 0 20 0 19 0 334444303 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137038113080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17153] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17153/stat : 17153 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444303 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137037060472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17154] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17154/stat : 17154 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444303 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137036007880 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17158] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17158/stat : 17158 (java) S 17134 17136 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334444383 3097006080 23285 33554432000 1073741824 1073778376 140735742346480 140137033807144 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 3024420

[startup+3.10067 s]
/proc/loadavg: 2.02 2.05 1.98 3/213 17158
/proc/meminfo: memFree=28093860/32873844 swapFree=7120/7120
[pid=17136] ppid=17134 vsize=3024420 CPUtime=4.2 cores=0,2,4,6
/proc/17136/stat : 17136 (java) S 17134 17136 15565 0 -1 4202496 16209 0 1 0 416 4 0 0 20 0 19 0 334444296 3097006080 32502 33554432000 1073741824 1073778376 140735742346480 140735742337616 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17136/statm: 756105 32502 2280 9 0 746526 0
[pid=17136/tid=17138] ppid=17134 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/17136/task/17138/stat : 17138 (java) R 17134 17136 15565 0 -1 4202560 2634 0 1 0 303 2 0 0 20 0 19 0 334444297 3097006080 32502 33554432000 1073741824 1073778376 140735742346480 140137197203656 140137137780731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17139] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17139/stat : 17139 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 32502 33554432000 1073741824 1073778376 140735742346480 140137063156776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17140] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17140/stat : 17140 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 32502 33554432000 1073741824 1073778376 140735742346480 140137062103976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17141] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17141/stat : 17141 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 32502 33554432000 1073741824 1073778376 140735742346480 140137061051176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17142] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17142/stat : 17142 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 32502 33554432000 1073741824 1073778376 140735742346480 140137059998376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17143] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17143/stat : 17143 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 32502 33554432000 1073741824 1073778376 140735742346480 140137058945576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17144] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17144/stat : 17144 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 32502 33554432000 1073741824 1073778376 140735742346480 140137057892776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17145] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17145/stat : 17145 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 32502 33554432000 1073741824 1073778376 140735742346480 140137056839976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17146] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17146/stat : 17146 (java) S 17134 17136 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 32502 33554432000 1073741824 1073778376 140735742346480 140137055787176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17147] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17147/stat : 17147 (java) S 17134 17136 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334444299 3097006080 32502 33554432000 1073741824 1073778376 140735742346480 140137043377128 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17148] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17148/stat : 17148 (java) S 17134 17136 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334444300 3097006080 33014 33554432000 1073741824 1073778376 140735742346480 140137042323192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17149] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17149/stat : 17149 (java) S 17134 17136 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334444300 3097006080 33014 33554432000 1073741824 1073778376 140735742346480 140137041270280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17150] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17150/stat : 17150 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444302 3097006080 33014 33554432000 1073741824 1073778376 140735742346480 140137040218768 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17151] ppid=17134 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/17136/task/17151/stat : 17151 (java) S 17134 17136 15565 0 -1 4202560 4421 0 0 0 53 1 0 0 20 0 19 0 334444302 3097006080 33014 33554432000 1073741824 1073778376 140735742346480 140137039165880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17152] ppid=17134 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/17136/task/17152/stat : 17152 (java) S 17134 17136 15565 0 -1 4202560 7952 0 0 0 56 0 0 0 20 0 19 0 334444303 3097006080 33014 33554432000 1073741824 1073778376 140735742346480 140137038113080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17153] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17153/stat : 17153 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444303 3097006080 33014 33554432000 1073741824 1073778376 140735742346480 140137037060472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17154] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17154/stat : 17154 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444303 3097006080 33014 33554432000 1073741824 1073778376 140735742346480 140137036007880 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17158] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17158/stat : 17158 (java) S 17134 17136 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334444383 3097006080 33014 33554432000 1073741824 1073778376 140735742346480 140137033807144 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 3024420

[startup+6.3008 s]
/proc/loadavg: 2.02 2.05 1.98 3/213 17158
/proc/meminfo: memFree=28012680/32873844 swapFree=7120/7120
[pid=17136] ppid=17134 vsize=3024420 CPUtime=7.45 cores=0,2,4,6
/proc/17136/stat : 17136 (java) S 17134 17136 15565 0 -1 4202496 16256 0 1 0 739 6 0 0 20 0 19 0 334444296 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140735742337616 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17136/statm: 756105 50996 2281 9 0 746526 0
[pid=17136/tid=17138] ppid=17134 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/17136/task/17138/stat : 17138 (java) R 17134 17136 15565 0 -1 4202560 2675 0 1 0 621 3 0 0 20 0 19 0 334444297 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137197203880 140137136959381 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17139] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17139/stat : 17139 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137063156776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17140] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17140/stat : 17140 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137062103976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17141] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17141/stat : 17141 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137061051176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17142] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17142/stat : 17142 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137059998376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17143] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17143/stat : 17143 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137058945576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17144] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17144/stat : 17144 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137057892776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17145] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17145/stat : 17145 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137056839976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17146] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17146/stat : 17146 (java) S 17134 17136 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334444298 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137055787176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17147] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17147/stat : 17147 (java) S 17134 17136 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334444299 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137043377128 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17148] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17148/stat : 17148 (java) S 17134 17136 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334444300 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137042323192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17149] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17149/stat : 17149 (java) S 17134 17136 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334444300 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137041270280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17150] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17150/stat : 17150 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444302 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137040218768 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17151] ppid=17134 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/17136/task/17151/stat : 17151 (java) S 17134 17136 15565 0 -1 4202560 4425 0 0 0 55 2 0 0 20 0 19 0 334444302 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137039165880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17152] ppid=17134 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/17136/task/17152/stat : 17152 (java) S 17134 17136 15565 0 -1 4202560 7953 0 0 0 58 0 0 0 20 0 19 0 334444303 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137038113080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17153] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17153/stat : 17153 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334444303 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137037060472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17154] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17154/stat : 17154 (java) S 17134 17136 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334444303 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137036007880 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17158] ppid=17134 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17158/stat : 17158 (java) S 17134 17136 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334444383 3097006080 50996 33554432000 1073741824 1073778376 140735742346480 140137033807144 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

/proc/17136/task/17149/stat : 17149 (java) S 17134 17136 15565 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 334444300 3165167616 420810 33554432000 1073741824 1073778376 140735742346480 140137041270280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17150] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17150/stat : 17150 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334444302 3165167616 420810 33554432000 1073741824 1073778376 140735742346480 140137040218768 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17151] ppid=17134 vsize=3090984 CPUtime=0.64 cores=0,2,4,6
/proc/17136/task/17151/stat : 17151 (java) S 17134 17136 15565 0 -1 4202560 4439 0 0 0 62 2 0 0 20 0 20 0 334444302 3165167616 420810 33554432000 1073741824 1073778376 140735742346480 140137039165880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17152] ppid=17134 vsize=3090984 CPUtime=0.64 cores=0,2,4,6
/proc/17136/task/17152/stat : 17152 (java) S 17134 17136 15565 0 -1 4202560 7972 0 0 0 64 0 0 0 20 0 20 0 334444303 3165167616 420810 33554432000 1073741824 1073778376 140735742346480 140137038113080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17153] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17153/stat : 17153 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334444303 3165167616 420810 33554432000 1073741824 1073778376 140735742346480 140137037060472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17154] ppid=17134 vsize=3090984 CPUtime=0.1 cores=0,2,4,6
/proc/17136/task/17154/stat : 17154 (java) S 17134 17136 15565 0 -1 4202560 19 0 0 0 5 5 0 0 20 0 20 0 334444303 3165167616 420810 33554432000 1073741824 1073778376 140735742346480 140137036007880 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17158] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17158/stat : 17158 (java) S 17134 17136 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 334444383 3165167616 420810 33554432000 1073741824 1073778376 140735742346480 140137033807144 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 322.77
Current children cumulated vsize (KiB) 3090984

[startup+318.301 s]
/proc/loadavg: 2.01 2.06 2.00 3/214 17163
/proc/meminfo: memFree=26512084/32873844 swapFree=7120/7120
[pid=17136] ppid=17134 vsize=3090984 CPUtime=323.57 cores=0,2,4,6
/proc/17136/stat : 17136 (java) S 17134 17136 15565 0 -1 4202496 19411 0 1 0 32208 149 0 0 20 0 20 0 334444296 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140735742337616 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17136/statm: 772746 420811 2309 9 0 763167 0
[pid=17136/tid=17138] ppid=17134 vsize=3090984 CPUtime=302.79 cores=0,2,4,6
/proc/17136/task/17138/stat : 17138 (java) S 17134 17136 15565 0 -1 4202560 2862 0 1 0 30269 10 0 0 20 0 20 0 334444297 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137197204664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17139] ppid=17134 vsize=3090984 CPUtime=0.63 cores=0,2,4,6
/proc/17136/task/17139/stat : 17139 (java) S 17134 17136 15565 0 -1 4202560 193 0 0 0 52 11 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137063156776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17140] ppid=17134 vsize=3090984 CPUtime=0.66 cores=0,2,4,6
/proc/17136/task/17140/stat : 17140 (java) S 17134 17136 15565 0 -1 4202560 424 0 0 0 48 18 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137062103976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17141] ppid=17134 vsize=3090984 CPUtime=0.79 cores=0,2,4,6
/proc/17136/task/17141/stat : 17141 (java) S 17134 17136 15565 0 -1 4202560 467 0 0 0 54 25 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137061051176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17142] ppid=17134 vsize=3090984 CPUtime=0.74 cores=0,2,4,6
/proc/17136/task/17142/stat : 17142 (java) S 17134 17136 15565 0 -1 4202560 379 0 0 0 55 19 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137059998376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17143] ppid=17134 vsize=3090984 CPUtime=0.6 cores=0,2,4,6
/proc/17136/task/17143/stat : 17143 (java) S 17134 17136 15565 0 -1 4202560 334 0 0 0 43 17 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137058945576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17144] ppid=17134 vsize=3090984 CPUtime=0.62 cores=0,2,4,6
/proc/17136/task/17144/stat : 17144 (java) S 17134 17136 15565 0 -1 4202560 288 0 0 0 46 16 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137057892776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17145] ppid=17134 vsize=3090984 CPUtime=0.59 cores=0,2,4,6
/proc/17136/task/17145/stat : 17145 (java) S 17134 17136 15565 0 -1 4202560 230 0 0 0 47 12 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137056839976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17146] ppid=17134 vsize=3090984 CPUtime=0.59 cores=0,2,4,6
/proc/17136/task/17146/stat : 17146 (java) S 17134 17136 15565 0 -1 4202560 463 0 0 0 42 17 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137055787176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17147] ppid=17134 vsize=3090984 CPUtime=13.22 cores=0,2,4,6
/proc/17136/task/17147/stat : 17147 (java) R 17134 17136 15565 0 -1 4202560 133 0 0 0 1319 3 0 0 20 0 20 0 334444299 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137043377128 140137199399480 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17148] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17148/stat : 17148 (java) S 17134 17136 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 334444300 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137042323192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17149] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17149/stat : 17149 (java) S 17134 17136 15565 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 334444300 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137041270280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17150] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17150/stat : 17150 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334444302 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137040218768 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17151] ppid=17134 vsize=3090984 CPUtime=0.64 cores=0,2,4,6
/proc/17136/task/17151/stat : 17151 (java) S 17134 17136 15565 0 -1 4202560 4439 0 0 0 62 2 0 0 20 0 20 0 334444302 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137039165880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17152] ppid=17134 vsize=3090984 CPUtime=0.64 cores=0,2,4,6
/proc/17136/task/17152/stat : 17152 (java) S 17134 17136 15565 0 -1 4202560 7972 0 0 0 64 0 0 0 20 0 20 0 334444303 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137038113080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17153] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17153/stat : 17153 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334444303 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137037060472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17154] ppid=17134 vsize=3090984 CPUtime=0.1 cores=0,2,4,6
/proc/17136/task/17154/stat : 17154 (java) S 17134 17136 15565 0 -1 4202560 19 0 0 0 5 5 0 0 20 0 20 0 334444303 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137036007880 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17158] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17158/stat : 17158 (java) S 17134 17136 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 334444383 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137033807144 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17163] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17163/stat : 17163 (java) S 17134 17136 15565 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 334476005 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137032752648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 323.57
Current children cumulated vsize (KiB) 3090984

[startup+318.501 s]
/proc/loadavg: 2.01 2.06 2.00 3/214 17163
/proc/meminfo: memFree=26512084/32873844 swapFree=7120/7120
[pid=17136] ppid=17134 vsize=3090984 CPUtime=323.77 cores=0,2,4,6
/proc/17136/stat : 17136 (java) S 17134 17136 15565 0 -1 4202496 19412 0 1 0 32228 149 0 0 20 0 20 0 334444296 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140735742337616 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17136/statm: 772746 420811 2309 9 0 763167 0
[pid=17136/tid=17138] ppid=17134 vsize=3090984 CPUtime=302.79 cores=0,2,4,6
/proc/17136/task/17138/stat : 17138 (java) S 17134 17136 15565 0 -1 4202560 2862 0 1 0 30269 10 0 0 20 0 20 0 334444297 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137197204664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17139] ppid=17134 vsize=3090984 CPUtime=0.63 cores=0,2,4,6
/proc/17136/task/17139/stat : 17139 (java) S 17134 17136 15565 0 -1 4202560 193 0 0 0 52 11 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137063156776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17140] ppid=17134 vsize=3090984 CPUtime=0.66 cores=0,2,4,6
/proc/17136/task/17140/stat : 17140 (java) S 17134 17136 15565 0 -1 4202560 424 0 0 0 48 18 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137062103976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17141] ppid=17134 vsize=3090984 CPUtime=0.79 cores=0,2,4,6
/proc/17136/task/17141/stat : 17141 (java) S 17134 17136 15565 0 -1 4202560 467 0 0 0 54 25 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137061051176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17142] ppid=17134 vsize=3090984 CPUtime=0.74 cores=0,2,4,6
/proc/17136/task/17142/stat : 17142 (java) S 17134 17136 15565 0 -1 4202560 379 0 0 0 55 19 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137059998376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17143] ppid=17134 vsize=3090984 CPUtime=0.6 cores=0,2,4,6
/proc/17136/task/17143/stat : 17143 (java) S 17134 17136 15565 0 -1 4202560 334 0 0 0 43 17 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137058945576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17144] ppid=17134 vsize=3090984 CPUtime=0.62 cores=0,2,4,6
/proc/17136/task/17144/stat : 17144 (java) S 17134 17136 15565 0 -1 4202560 288 0 0 0 46 16 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137057892776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17145] ppid=17134 vsize=3090984 CPUtime=0.59 cores=0,2,4,6
/proc/17136/task/17145/stat : 17145 (java) S 17134 17136 15565 0 -1 4202560 230 0 0 0 47 12 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137056839976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17146] ppid=17134 vsize=3090984 CPUtime=0.59 cores=0,2,4,6
/proc/17136/task/17146/stat : 17146 (java) S 17134 17136 15565 0 -1 4202560 463 0 0 0 42 17 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137055787176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17147] ppid=17134 vsize=3090984 CPUtime=13.42 cores=0,2,4,6
/proc/17136/task/17147/stat : 17147 (java) R 17134 17136 15565 0 -1 4202560 133 0 0 0 1339 3 0 0 20 0 20 0 334444299 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137043377128 140137203330191 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17148] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17148/stat : 17148 (java) S 17134 17136 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 334444300 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137042323192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17149] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17149/stat : 17149 (java) S 17134 17136 15565 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 334444300 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137041270280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17150] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17150/stat : 17150 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334444302 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137040218768 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17151] ppid=17134 vsize=3090984 CPUtime=0.64 cores=0,2,4,6
/proc/17136/task/17151/stat : 17151 (java) S 17134 17136 15565 0 -1 4202560 4439 0 0 0 62 2 0 0 20 0 20 0 334444302 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137039165880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17152] ppid=17134 vsize=3090984 CPUtime=0.64 cores=0,2,4,6
/proc/17136/task/17152/stat : 17152 (java) S 17134 17136 15565 0 -1 4202560 7972 0 0 0 64 0 0 0 20 0 20 0 334444303 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137038113080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17153] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17153/stat : 17153 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334444303 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137037060472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17154] ppid=17134 vsize=3090984 CPUtime=0.1 cores=0,2,4,6
/proc/17136/task/17154/stat : 17154 (java) S 17134 17136 15565 0 -1 4202560 19 0 0 0 5 5 0 0 20 0 20 0 334444303 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137036007880 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17158] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17158/stat : 17158 (java) S 17134 17136 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 334444383 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137033807144 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17163] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17163/stat : 17163 (java) S 17134 17136 15565 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 334476005 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137032752680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 323.77
Current children cumulated vsize (KiB) 3090984

[startup+318.601 s]
/proc/loadavg: 2.01 2.06 2.00 3/214 17163
/proc/meminfo: memFree=26512084/32873844 swapFree=7120/7120
[pid=17136] ppid=17134 vsize=3090984 CPUtime=323.87 cores=0,2,4,6
/proc/17136/stat : 17136 (java) S 17134 17136 15565 0 -1 4202496 19412 0 1 0 32238 149 0 0 20 0 20 0 334444296 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140735742337616 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17136/statm: 772746 420811 2309 9 0 763167 0
[pid=17136/tid=17138] ppid=17134 vsize=3090984 CPUtime=302.79 cores=0,2,4,6
/proc/17136/task/17138/stat : 17138 (java) S 17134 17136 15565 0 -1 4202560 2862 0 1 0 30269 10 0 0 20 0 20 0 334444297 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137197204664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17139] ppid=17134 vsize=3090984 CPUtime=0.63 cores=0,2,4,6
/proc/17136/task/17139/stat : 17139 (java) S 17134 17136 15565 0 -1 4202560 193 0 0 0 52 11 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137063156776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17140] ppid=17134 vsize=3090984 CPUtime=0.66 cores=0,2,4,6
/proc/17136/task/17140/stat : 17140 (java) S 17134 17136 15565 0 -1 4202560 424 0 0 0 48 18 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137062103976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17141] ppid=17134 vsize=3090984 CPUtime=0.79 cores=0,2,4,6
/proc/17136/task/17141/stat : 17141 (java) S 17134 17136 15565 0 -1 4202560 467 0 0 0 54 25 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137061051176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17142] ppid=17134 vsize=3090984 CPUtime=0.74 cores=0,2,4,6
/proc/17136/task/17142/stat : 17142 (java) S 17134 17136 15565 0 -1 4202560 379 0 0 0 55 19 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137059998376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17143] ppid=17134 vsize=3090984 CPUtime=0.6 cores=0,2,4,6
/proc/17136/task/17143/stat : 17143 (java) S 17134 17136 15565 0 -1 4202560 334 0 0 0 43 17 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137058945576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17144] ppid=17134 vsize=3090984 CPUtime=0.62 cores=0,2,4,6
/proc/17136/task/17144/stat : 17144 (java) S 17134 17136 15565 0 -1 4202560 288 0 0 0 46 16 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137057892776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17145] ppid=17134 vsize=3090984 CPUtime=0.59 cores=0,2,4,6
/proc/17136/task/17145/stat : 17145 (java) S 17134 17136 15565 0 -1 4202560 230 0 0 0 47 12 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137056839976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17146] ppid=17134 vsize=3090984 CPUtime=0.59 cores=0,2,4,6
/proc/17136/task/17146/stat : 17146 (java) S 17134 17136 15565 0 -1 4202560 463 0 0 0 42 17 0 0 20 0 20 0 334444298 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137055787176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17147] ppid=17134 vsize=3090984 CPUtime=13.52 cores=0,2,4,6
/proc/17136/task/17147/stat : 17147 (java) R 17134 17136 15565 0 -1 4202560 133 0 0 0 1349 3 0 0 20 0 20 0 334444299 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137043377128 140137202889072 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17148] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17148/stat : 17148 (java) S 17134 17136 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 334444300 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137042323192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17149] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17149/stat : 17149 (java) S 17134 17136 15565 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 334444300 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137041270280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17136/tid=17150] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17150/stat : 17150 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334444302 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137040218768 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17151] ppid=17134 vsize=3090984 CPUtime=0.64 cores=0,2,4,6
/proc/17136/task/17151/stat : 17151 (java) S 17134 17136 15565 0 -1 4202560 4439 0 0 0 62 2 0 0 20 0 20 0 334444302 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137039165880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17136/tid=17152] ppid=17134 vsize=3090984 CPUtime=0.64 cores=0,2,4,6
/proc/17136/task/17152/stat : 17152 (java) S 17134 17136 15565 0 -1 4202560 7972 0 0 0 64 0 0 0 20 0 20 0 334444303 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137038113080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17153] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17153/stat : 17153 (java) S 17134 17136 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334444303 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137037060472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17154] ppid=17134 vsize=3090984 CPUtime=0.1 cores=0,2,4,6
/proc/17136/task/17154/stat : 17154 (java) S 17134 17136 15565 0 -1 4202560 19 0 0 0 5 5 0 0 20 0 20 0 334444303 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137036007880 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17136/tid=17158] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17158/stat : 17158 (java) S 17134 17136 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 334444383 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137033807144 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17136/tid=17163] ppid=17134 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17136/task/17163/stat : 17163 (java) S 17134 17136 15565 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 334476005 3165167616 420811 33554432000 1073741824 1073778376 140735742346480 140137032752680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 323.87
Current children cumulated vsize (KiB) 3090984

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17136 and gives
#  childrusage.ru_utime.tv_sec=321
#  childrusage.ru_utime.tv_usec=483127
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=683744
# CPU time returned by wait4() is 323.167
# while last known CPU time is 323.87
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 318.612
CPU time (s): 323.87
CPU user time (s): 322.38
CPU system time (s): 1.49
CPU usage (%): 101.65
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 321.483
system time used= 1.68374
maximum resident set size= 1683248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19417
page faults= 1
swaps= 0
block input operations= 8
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7516
involuntary context switches= 4088

runsolver used 0.581911 second user time and 1.74473 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 02:26:34
IDJOB=3731036
IDBENCH=1536
IDSOLVER=2319
FILE ID=node142/3731036-1338683194
RUNJOBID= node142-1338678627-15585
PBS_JOBID= 14636671
Free space on /tmp= 71188 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731036-1338683194/watcher-3731036-1338683194 -o /tmp/evaluation-result-3731036-1338683194/solver-3731036-1338683194 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731036-1338683194.opb           

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

MD5SUM BENCH= f687933a5408753eb50bdd526af25aa5
RANDOM SEED=1569050098

node142.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		: 2666.776
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	: 5333.55
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		: 2666.776
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.91
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		: 2666.776
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	: 5391.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		: 2666.776
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.92
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		: 2666.776
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.90
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		: 2666.776
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		: 2666.776
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		: 2666.776
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28191532 kB
Buffers:          239980 kB
Cached:          2745852 kB
SwapCached:            0 kB
Active:          1974744 kB
Inactive:        1874828 kB
Active(anon):     854928 kB
Inactive(anon):    11232 kB
Active(file):    1119816 kB
Inactive(file):  1863596 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3516 kB
Writeback:             0 kB
AnonPages:        889132 kB
Mapped:            18560 kB
Shmem:               200 kB
Slab:             674344 kB
SReclaimable:     116268 kB
SUnreclaim:       558076 kB
KernelStack:        1576 kB
PageTables:         5820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    851968 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= 71184 MiB
End job on node142 at 2012-06-03 02:31:53