Trace number 3739098

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
PB09: SAT4J Pseudo Resolution 2.1.1? (exit code) 1652.76 1646.8

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/
9orless/normalized-mono-gac.cudf.paranoid.opb
MD5SUM1ea3f4841cbcc12846a9d6a05204354c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark141778
Best CPU time to get the best result obtained on this benchmark461.153
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19768
Total number of constraints96403
Number of constraints which are clauses94838
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 7253
Biggest coefficient in the objective function 4295
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12717493
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4295
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12717493
Number of bits of the biggest sum of numbers24
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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.1.1.v20090612
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version	1.6.0_24
0.00/0.09	c os.name	Linux
0.00/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch	amd64
0.00/0.09	c Free memory 1299577560
0.00/0.09	c Max memory 1306394624
0.00/0.09	c Total memory 1306394624
0.00/0.09	c Number of processors 8
0.07/0.12	c Pseudo Boolean Optimization
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@6abf2d5e
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.12	c Expensive reason simplification
0.07/0.12	c MiniSAT restarts strategy
0.07/0.12	c Memory based learned constraints deletion strategy
0.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3739098-1338767437.opb
0.07/0.12	c reading problem ... 
1.38/0.92	c ... done. Wall clock time 0.798s.
1.38/0.92	c #vars     19768
1.38/0.92	c #constraints  96266
1.38/0.92	c constraints type 
1.38/0.92	c org.sat4j.minisat.constraints.card.MinWatchCard => 1565
1.38/0.92	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 36227
1.38/0.92	c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 58432
2.25/1.35	c SATISFIABLE
2.25/1.35	c OPTIMIZING...
2.25/1.35	c Got one! Elapsed wall clock time (in seconds):1.232
2.25/1.35	o 296498
3.25/2.09	c Got one! Elapsed wall clock time (in seconds):1.971
3.25/2.09	o 292395
3.56/2.37	c Got one! Elapsed wall clock time (in seconds):2.246
3.56/2.37	o 292180
3.80/2.59	c Got one! Elapsed wall clock time (in seconds):2.468
3.80/2.59	o 262181
4.01/2.73	c Got one! Elapsed wall clock time (in seconds):2.613
4.01/2.73	o 219335
4.12/2.84	c Got one! Elapsed wall clock time (in seconds):2.715
4.12/2.84	o 202186
5.12/3.82	c Got one! Elapsed wall clock time (in seconds):3.695
5.12/3.82	o 202048
5.22/3.91	c Got one! Elapsed wall clock time (in seconds):3.787
5.22/3.91	o 193542
11.08/9.76	c Got one! Elapsed wall clock time (in seconds):9.64
11.08/9.76	o 193429
12.97/11.66	c Got one! Elapsed wall clock time (in seconds):11.54
12.97/11.66	o 193428
13.38/12.01	c Got one! Elapsed wall clock time (in seconds):11.886
13.38/12.01	o 193378
13.97/12.64	c Got one! Elapsed wall clock time (in seconds):12.518
13.97/12.64	o 189196
25.98/24.63	c Got one! Elapsed wall clock time (in seconds):24.514
25.98/24.63	o 189195
28.08/26.71	c Got one! Elapsed wall clock time (in seconds):26.593
28.08/26.71	o 189164
42.68/41.20	c Got one! Elapsed wall clock time (in seconds):41.082
42.68/41.20	o 189163
43.19/41.75	c Got one! Elapsed wall clock time (in seconds):41.628
43.19/41.75	o 189141
50.19/48.77	c Got one! Elapsed wall clock time (in seconds):48.65
50.19/48.77	o 189140
50.79/49.30	c Got one! Elapsed wall clock time (in seconds):49.183
50.79/49.30	o 189101
51.49/50.02	c Got one! Elapsed wall clock time (in seconds):49.902
51.49/50.02	o 189100
52.79/51.35	c Got one! Elapsed wall clock time (in seconds):51.233
52.79/51.35	o 189099
55.69/54.22	c Got one! Elapsed wall clock time (in seconds):54.102
55.69/54.22	o 184907
59.70/58.26	c Got one! Elapsed wall clock time (in seconds):58.137
59.70/58.26	o 184850
61.19/59.77	c Got one! Elapsed wall clock time (in seconds):59.647
61.19/59.77	o 184833
62.89/61.49	c Got one! Elapsed wall clock time (in seconds):61.374
62.89/61.49	o 184832
63.69/62.30	c Got one! Elapsed wall clock time (in seconds):62.175
63.69/62.30	o 180676
65.49/64.05	c Got one! Elapsed wall clock time (in seconds):63.928
65.49/64.05	o 180643
66.69/65.24	c Got one! Elapsed wall clock time (in seconds):65.115
66.69/65.24	o 180579
69.19/67.75	c Got one! Elapsed wall clock time (in seconds):67.63
69.19/67.75	o 180578
70.59/69.19	c Got one! Elapsed wall clock time (in seconds):69.067
70.59/69.19	o 180577
75.10/73.62	c Got one! Elapsed wall clock time (in seconds):73.503
75.10/73.62	o 180560
76.30/74.87	c Got one! Elapsed wall clock time (in seconds):74.752
76.30/74.87	o 180559
78.40/76.99	c Got one! Elapsed wall clock time (in seconds):76.87
78.40/76.99	o 180558
80.39/78.98	c Got one! Elapsed wall clock time (in seconds):78.862
80.39/78.98	o 180557
83.29/81.81	c Got one! Elapsed wall clock time (in seconds):81.686
83.29/81.81	o 180556
84.09/82.45	c Got one! Elapsed wall clock time (in seconds):82.329
84.09/82.45	o 180555
93.88/92.27	c Got one! Elapsed wall clock time (in seconds):92.154
93.88/92.27	o 180554
95.98/94.35	c Got one! Elapsed wall clock time (in seconds):94.234
95.98/94.35	o 180553
97.38/95.73	c Got one! Elapsed wall clock time (in seconds):95.609
97.38/95.73	o 180552
99.58/97.98	c Got one! Elapsed wall clock time (in seconds):97.861
99.58/97.98	o 180551
100.59/98.96	c Got one! Elapsed wall clock time (in seconds):98.841
100.59/98.96	o 180525
122.69/121.08	c Got one! Elapsed wall clock time (in seconds):120.96
122.69/121.08	o 180524
127.28/125.67	c Got one! Elapsed wall clock time (in seconds):125.545
127.28/125.67	o 180523
134.09/132.43	c Got one! Elapsed wall clock time (in seconds):132.307
134.09/132.43	o 180522
134.59/132.97	c Got one! Elapsed wall clock time (in seconds):132.853
134.59/132.97	o 180521
140.89/139.20	c Got one! Elapsed wall clock time (in seconds):139.077
140.89/139.20	o 180520
154.19/152.59	c Got one! Elapsed wall clock time (in seconds):152.474
154.19/152.59	o 176917
158.59/156.99	c Got one! Elapsed wall clock time (in seconds):156.874
158.59/156.99	o 176258
159.79/158.14	c Got one! Elapsed wall clock time (in seconds):158.016
159.79/158.14	o 176225
163.07/161.14	c Got one! Elapsed wall clock time (in seconds):161.02
163.07/161.14	o 176224
163.77/161.85	c Got one! Elapsed wall clock time (in seconds):161.728
163.77/161.85	o 176223
165.17/163.29	c Got one! Elapsed wall clock time (in seconds):163.171
165.17/163.29	o 176222
166.07/164.12	c Got one! Elapsed wall clock time (in seconds):164.002
166.07/164.12	o 176221
168.57/166.67	c Got one! Elapsed wall clock time (in seconds):166.551
168.57/166.67	o 176220
169.87/167.98	c Got one! Elapsed wall clock time (in seconds):167.855
169.87/167.98	o 176219
170.67/168.71	c Got one! Elapsed wall clock time (in seconds):168.589
170.67/168.71	o 176218
171.27/169.33	c Got one! Elapsed wall clock time (in seconds):169.214
171.27/169.33	o 176217
174.97/173.10	c Got one! Elapsed wall clock time (in seconds):172.975
174.97/173.10	o 176216
202.07/200.14	c Got one! Elapsed wall clock time (in seconds):200.017
202.07/200.14	o 176215
207.87/205.96	c Got one! Elapsed wall clock time (in seconds):205.835
207.87/205.96	o 176187
209.27/207.32	c Got one! Elapsed wall clock time (in seconds):207.196
209.27/207.32	o 176186
213.67/211.77	c Got one! Elapsed wall clock time (in seconds):211.654
213.67/211.77	o 176185
214.77/212.81	c Got one! Elapsed wall clock time (in seconds):212.69
214.77/212.81	o 172000
215.19/213.24	c Got one! Elapsed wall clock time (in seconds):213.119
215.19/213.24	o 171948
215.69/213.71	c Got one! Elapsed wall clock time (in seconds):213.587
215.69/213.71	o 171947
215.99/214.06	c Got one! Elapsed wall clock time (in seconds):213.936
215.99/214.06	o 171932
247.16/244.92	c Got one! Elapsed wall clock time (in seconds):244.795
247.16/244.92	o 171931
261.66/259.45	c Got one! Elapsed wall clock time (in seconds):259.326
261.66/259.45	o 171930
262.16/259.96	c Got one! Elapsed wall clock time (in seconds):259.844
262.16/259.96	o 171929
266.97/264.75	c Got one! Elapsed wall clock time (in seconds):264.634
266.97/264.75	o 171928
273.47/271.29	c Got one! Elapsed wall clock time (in seconds):271.165
273.47/271.29	o 171927
273.57/271.39	c Got one! Elapsed wall clock time (in seconds):271.273
273.57/271.39	o 167715
273.77/271.51	c Got one! Elapsed wall clock time (in seconds):271.394
273.77/271.51	o 167714
274.87/272.61	c Got one! Elapsed wall clock time (in seconds):272.491
274.87/272.61	o 167688
280.27/278.06	c Got one! Elapsed wall clock time (in seconds):277.937
280.27/278.06	o 167676
282.07/279.83	c Got one! Elapsed wall clock time (in seconds):279.706
282.07/279.83	o 167675
302.27/300.00	c Got one! Elapsed wall clock time (in seconds):299.884
302.27/300.00	o 167674
311.17/308.90	c Got one! Elapsed wall clock time (in seconds):308.781
311.17/308.90	o 167673
317.80/315.27	c Got one! Elapsed wall clock time (in seconds):315.152
317.80/315.27	o 167672
319.50/316.90	c Got one! Elapsed wall clock time (in seconds):316.777
319.50/316.90	o 167595
323.50/320.99	c Got one! Elapsed wall clock time (in seconds):320.865
323.50/320.99	o 167594
326.80/324.23	c Got one! Elapsed wall clock time (in seconds):324.105
326.80/324.23	o 167593
423.41/420.62	c Got one! Elapsed wall clock time (in seconds):420.497
423.41/420.62	o 167592
428.34/425.39	c Got one! Elapsed wall clock time (in seconds):425.266
428.34/425.39	o 167591
443.54/440.54	c Got one! Elapsed wall clock time (in seconds):440.417
443.54/440.54	o 167590
469.04/466.02	c Got one! Elapsed wall clock time (in seconds):465.903
469.04/466.02	o 167589
506.11/502.82	c Got one! Elapsed wall clock time (in seconds):502.696
506.11/502.82	o 167588
510.91/507.69	c Got one! Elapsed wall clock time (in seconds):507.565
510.91/507.69	o 167587
532.53/528.91	c Got one! Elapsed wall clock time (in seconds):528.789
532.53/528.91	o 167586
567.53/563.95	c Got one! Elapsed wall clock time (in seconds):563.825
567.53/563.95	o 167585
930.97/925.57	c Got one! Elapsed wall clock time (in seconds):925.447
930.97/925.57	o 163904
990.99/985.51	c Got one! Elapsed wall clock time (in seconds):985.39
990.99/985.51	o 163897
1010.03/1004.36	c Got one! Elapsed wall clock time (in seconds):1004.238
1010.03/1004.36	o 163835
1026.72/1021.06	c Got one! Elapsed wall clock time (in seconds):1020.94
1026.72/1021.06	o 163834
1032.12/1026.42	c Got one! Elapsed wall clock time (in seconds):1026.298
1032.12/1026.42	o 163374
1090.39/1084.40	c Got one! Elapsed wall clock time (in seconds):1084.281
1090.39/1084.40	o 163373
1628.74/1622.74	Exception in thread "main" c starts		: 795
1642.15/1636.11	c conflicts		: 2564195
1642.15/1636.11	c decisions		: 4302478
1642.15/1636.11	c propagations		: 3808456460
1642.15/1636.11	c inspects		: 4253457555
1642.15/1636.11	c learnt literals	: 4
1642.15/1636.11	c learnt binary clauses	: 869
1642.15/1636.11	c learnt ternary clauses	: 712
1642.15/1636.11	c learnt clauses	: 2564190
1642.15/1636.11	c ignored clauses	: 0
1642.15/1636.11	c root simplifications	: 0
1642.15/1636.11	c removed literals (reason simplification)	: 78665660
1642.15/1636.11	c reason swapping (by a shorter reason)	: 0
1642.15/1636.11	c Calls to reduceDB	: 0
1642.15/1636.11	c speed (assignments/second)	: 6903079.296144309
1642.15/1636.11	c non guided choices	403758
1644.65/1638.69	Exception in thread "Thread-0" java.lang.OutOfMemoryError: Java heap space
1644.65/1638.69		at java.util.jar.Manifest$FastInputStream.<init>(Manifest.java:315)
1644.65/1638.69		at java.util.jar.Manifest$FastInputStream.<init>(Manifest.java:310)
1646.75/1640.78		at java.util.jar.Manifest.read(Manifest.java:178)
1646.75/1640.78		at java.util.jar.Manifest.<init>(Manifest.java:52)
1646.75/1640.78		at java.util.jar.JarFile.getManifestFromReference(JarFile.java:167)
1646.75/1640.78		at java.util.jar.JarFile.getManifest(JarFile.java:148)
1646.75/1640.78		at sun.misc.URLClassPath$JarLoader$2.getManifest(URLClassPath.java:696)
1649.36/1643.36		at java.net.URLClassLoader.defineClass(URLClassLoader.java:228)
1649.36/1643.36		at java.net.URLClassLoader.access$000(URLClassLoader.java:58)
1649.36/1643.36		at java.net.URLClassLoader$1.run(URLClassLoader.java:197)
1649.36/1643.36		at java.security.AccessController.doPrivileged(Native Method)
1649.36/1643.36		at java.net.URLClassLoader.findClass(URLClassLoader.java:190)
1649.36/1643.36		at java.lang.ClassLoader.loadClass(ClassLoader.java:307)
1650.25/1644.22		at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:301)
1650.25/1644.22		at java.lang.ClassLoader.loadClass(ClassLoader.java:248)
1650.25/1644.22		at org.sat4j.core.Vec.iterator(Unknown Source)
1650.25/1644.22		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Unknown Source)
1650.25/1644.22		at org.sat4j.minisat.core.Solver.printStat(Unknown Source)
1650.25/1644.22		at org.sat4j.tools.SolverDecorator.printStat(Unknown Source)
1652.76/1646.79		at org.sat4j.AbstractOptimizationLauncher.displayAnswer(Unknown Source)
1652.76/1646.79		at org.sat4j.AbstractOptimizationLauncher.displayResult(Unknown Source)
1652.76/1646.79		at org.sat4j.AbstractLauncher$1.run(Unknown Source)

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-3739098-1338767437/watcher-3739098-1338767437 -o /tmp/evaluation-result-3739098-1338767437/solver-3739098-1338767437 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3739098-1338767437.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.00 2.00 3/193 25655
/proc/meminfo: memFree=25272264/32873852 swapFree=6856/6856
[pid=25655] ppid=25653 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/25655/stat : 25655 (java6) R 25653 25655 21377 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 342869185 9515008 176 33554432000 1073741824 1073778376 140735153763360 140735153746088 229355897744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25655/statm: 2323 176 133 9 0 71 0

[startup+0.099233 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 25655
/proc/meminfo: memFree=25272264/32873852 swapFree=6856/6856
[pid=25655] ppid=25653 vsize=2648568 CPUtime=0.07 cores=0,2,4,6
/proc/25655/stat : 25655 (java) S 25653 25655 21377 0 -1 4202496 4083 0 1 0 6 1 0 0 20 0 18 0 342869185 2712133632 5801 33554432000 1073741824 1073778376 140737142141296 140737142132432 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25655/statm: 662142 5802 1934 9 0 652835 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2648568

[startup+0.100241 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 25655
/proc/meminfo: memFree=25272264/32873852 swapFree=6856/6856
[pid=25655] ppid=25653 vsize=2648568 CPUtime=0.07 cores=0,2,4,6
/proc/25655/stat : 25655 (java) S 25653 25655 21377 0 -1 4202496 4188 0 1 0 6 1 0 0 20 0 18 0 342869185 2712133632 5907 33554432000 1073741824 1073778376 140737142141296 140737142132432 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25655/statm: 662142 5916 2010 9 0 652835 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2648568

[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 25655
/proc/meminfo: memFree=25272264/32873852 swapFree=6856/6856
[pid=25655] ppid=25653 vsize=2648568 CPUtime=0.48 cores=0,2,4,6
/proc/25655/stat : 25655 (java) S 25653 25655 21377 0 -1 4202496 5595 0 1 0 46 2 0 0 20 0 18 0 342869185 2712133632 10081 33554432000 1073741824 1073778376 140737142141296 140737142132432 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25655/statm: 662142 10081 2218 9 0 652835 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2648568

[startup+0.700238 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 25655
/proc/meminfo: memFree=25272264/32873852 swapFree=6856/6856
[pid=25655] ppid=25653 vsize=2648568 CPUtime=1.11 cores=0,2,4,6
/proc/25655/stat : 25655 (java) S 25653 25655 21377 0 -1 4202496 8928 0 1 0 106 5 0 0 20 0 18 0 342869185 2712133632 50173 33554432000 1073741824 1073778376 140737142141296 140737142132432 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25655/statm: 662142 50173 2241 9 0 652835 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2648568

[startup+1.50068 s]
/proc/loadavg: 2.00 2.00 2.00 4/211 25673
/proc/meminfo: memFree=24902856/32873852 swapFree=6856/6856
[pid=25655] ppid=25653 vsize=2715132 CPUtime=2.67 cores=0,2,4,6
/proc/25655/stat : 25655 (java) S 25653 25655 21377 0 -1 4202496 12332 0 1 0 258 9 0 0 20 0 19 0 342869185 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140737142132432 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25655/statm: 678783 94756 2273 9 0 669476 0
[pid=25655/tid=25657] ppid=25653 vsize=2715132 CPUtime=1.43 cores=0,2,4,6
/proc/25655/task/25657/stat : 25657 (java) R 25653 25655 21377 0 -1 4202560 2926 0 1 0 136 7 0 0 20 0 19 0 342869186 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056979099240 140056820682807 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25658] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25658/stat : 25658 (java) S 25653 25655 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342869187 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056963549352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25659] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25659/stat : 25659 (java) S 25653 25655 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056962496808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25660] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25660/stat : 25660 (java) S 25653 25655 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056961444264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25661] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25661/stat : 25661 (java) S 25653 25655 21377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056960391720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25662] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25662/stat : 25662 (java) S 25653 25655 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056959339176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25663] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25663/stat : 25663 (java) S 25653 25655 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056958286632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25664] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25664/stat : 25664 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056957234088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25665] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25665/stat : 25665 (java) S 25653 25655 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056956181544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25666] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25666/stat : 25666 (java) S 25653 25655 21377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342869189 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056943769704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25667] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25667/stat : 25667 (java) S 25653 25655 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342869189 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056942716024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25668] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25668/stat : 25668 (java) S 25653 25655 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342869189 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056941663368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25669] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25669/stat : 25669 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342869192 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056940612112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25670] ppid=25653 vsize=2715132 CPUtime=0.62 cores=0,2,4,6
/proc/25655/task/25670/stat : 25670 (java) R 25653 25655 21377 0 -1 4202560 3759 0 0 0 62 0 0 0 20 0 19 0 342869192 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056939559360 140056984802428 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25671] ppid=25653 vsize=2715132 CPUtime=0.5 cores=0,2,4,6
/proc/25655/task/25671/stat : 25671 (java) R 25653 25655 21377 0 -1 4202560 4423 0 0 0 50 0 0 0 20 0 19 0 342869192 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056938506936 140056986086980 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25672] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25672/stat : 25672 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342869192 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056819919864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25673] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25673/stat : 25673 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342869192 2780295168 94756 33554432000 1073741824 1073778376 140737142141296 140056818867528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 2715132

[startup+3.10054 s]
/proc/loadavg: 2.00 2.00 2.00 4/212 25674
/proc/meminfo: memFree=24901236/32873852 swapFree=6856/6856
[pid=25655] ppid=25653 vsize=2715132 CPUtime=4.43 cores=0,2,4,6
/proc/25655/stat : 25655 (java) S 25653 25655 21377 0 -1 4202496 12333 0 1 0 434 9 0 0 20 0 19 0 342869185 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140737142132432 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25655/statm: 678783 94368 2273 9 0 669476 0
[pid=25655/tid=25657] ppid=25653 vsize=2715132 CPUtime=3.02 cores=0,2,4,6
/proc/25655/task/25657/stat : 25657 (java) R 25653 25655 21377 0 -1 4202560 2927 0 1 0 295 7 0 0 20 0 19 0 342869186 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056979100184 140056820518989 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25658] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25658/stat : 25658 (java) S 25653 25655 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342869187 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056963549352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25659] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25659/stat : 25659 (java) S 25653 25655 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056962496808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25660] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25660/stat : 25660 (java) S 25653 25655 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056961444264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25661] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25661/stat : 25661 (java) S 25653 25655 21377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056960391720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25662] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25662/stat : 25662 (java) S 25653 25655 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056959339176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25663] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25663/stat : 25663 (java) S 25653 25655 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056958286632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25664] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25664/stat : 25664 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056957234088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25665] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25665/stat : 25665 (java) S 25653 25655 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056956181544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25666] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25666/stat : 25666 (java) S 25653 25655 21377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342869189 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056943769704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25667] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25667/stat : 25667 (java) S 25653 25655 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342869189 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056942716024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25668] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25668/stat : 25668 (java) S 25653 25655 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342869189 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056941663368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25669] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25669/stat : 25669 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342869192 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056940612112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25670] ppid=25653 vsize=2715132 CPUtime=0.69 cores=0,2,4,6
/proc/25655/task/25670/stat : 25670 (java) S 25653 25655 21377 0 -1 4202560 3759 0 0 0 69 0 0 0 20 0 19 0 342869192 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056939559480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25671] ppid=25653 vsize=2715132 CPUtime=0.59 cores=0,2,4,6
/proc/25655/task/25671/stat : 25671 (java) S 25653 25655 21377 0 -1 4202560 4423 0 0 0 59 0 0 0 20 0 19 0 342869192 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056938506936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25672] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25672/stat : 25672 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342869192 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056819919864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25673] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25673/stat : 25673 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342869192 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056818867528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25674] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25674/stat : 25674 (java) S 25653 25655 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342869290 2780295168 94368 33554432000 1073741824 1073778376 140737142141296 140056817812264 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 2715132

[startup+6.30066 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 25674
/proc/meminfo: memFree=24900988/32873852 swapFree=6856/6856
[pid=25655] ppid=25653 vsize=2715132 CPUtime=7.63 cores=0,2,4,6
/proc/25655/stat : 25655 (java) S 25653 25655 21377 0 -1 4202496 12335 0 1 0 754 9 0 0 20 0 19 0 342869185 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140737142132432 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25655/statm: 678783 94352 2273 9 0 669476 0
[pid=25655/tid=25657] ppid=25653 vsize=2715132 CPUtime=6.21 cores=0,2,4,6
/proc/25655/task/25657/stat : 25657 (java) R 25653 25655 21377 0 -1 4202560 2929 0 1 0 614 7 0 0 20 0 19 0 342869186 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056979099800 140056820835231 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25658] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25658/stat : 25658 (java) S 25653 25655 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342869187 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056963549352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25659] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25659/stat : 25659 (java) S 25653 25655 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056962496808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25660] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25660/stat : 25660 (java) S 25653 25655 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056961444264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25661] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25661/stat : 25661 (java) S 25653 25655 21377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056960391720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25662] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25662/stat : 25662 (java) S 25653 25655 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056959339176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25663] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25663/stat : 25663 (java) S 25653 25655 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056958286632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25664] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25664/stat : 25664 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056957234088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25665] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25665/stat : 25665 (java) S 25653 25655 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342869188 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056956181544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25666] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25666/stat : 25666 (java) S 25653 25655 21377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342869189 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056943769704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25667] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25667/stat : 25667 (java) S 25653 25655 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342869189 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056942716024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25668] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25668/stat : 25668 (java) S 25653 25655 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342869189 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056941663368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25669] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25669/stat : 25669 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342869192 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056940612112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25670] ppid=25653 vsize=2715132 CPUtime=0.69 cores=0,2,4,6
/proc/25655/task/25670/stat : 25670 (java) S 25653 25655 21377 0 -1 4202560 3759 0 0 0 69 0 0 0 20 0 19 0 342869192 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056939559480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25671] ppid=25653 vsize=2715132 CPUtime=0.59 cores=0,2,4,6
/proc/25655/task/25671/stat : 25671 (java) S 25653 25655 21377 0 -1 4202560 4423 0 0 0 59 0 0 0 20 0 19 0 342869192 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056938506936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25672] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25672/stat : 25672 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342869192 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056819919864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25673] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25673/stat : 25673 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342869192 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056818867528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25674] ppid=25653 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25674/stat : 25674 (java) S 25653 25655 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342869290 2780295168 94352 33554432000 1073741824 1073778376 140737142141296 140056817812264 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 2715132

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 25674
/proc/meminfo: memFree=24898452/32873852 swapFree=6856/6856

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

/proc/25655/task/25669/stat : 25669 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056940612112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25670] ppid=25653 vsize=2781696 CPUtime=0.75 cores=0,2,4,6
/proc/25655/task/25670/stat : 25670 (java) S 25653 25655 21377 0 -1 4202560 3815 0 0 0 75 0 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056939559480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25671] ppid=25653 vsize=2781696 CPUtime=0.62 cores=0,2,4,6
/proc/25655/task/25671/stat : 25671 (java) S 25653 25655 21377 0 -1 4202560 4433 0 0 0 62 0 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056938506936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25672] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25672/stat : 25672 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056819919864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25673] ppid=25653 vsize=2781696 CPUtime=0.51 cores=0,2,4,6
/proc/25655/task/25673/stat : 25673 (java) S 25653 25655 21377 0 -1 4202560 95 0 0 0 28 23 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056818867528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25674] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25674/stat : 25674 (java) S 25653 25655 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342869290 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056817812264 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25768] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25768/stat : 25768 (java) S 25653 25655 21377 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 343032493 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056816757848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1650.75
Current children cumulated vsize (KiB) 2781696

[startup+1645.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/212 25768
/proc/meminfo: memFree=23171188/32873852 swapFree=6856/6856
[pid=25655] ppid=25653 vsize=2781696 CPUtime=1651.56 cores=0,2,4,6
/proc/25655/stat : 25655 (java) S 25653 25655 21377 0 -1 4202496 15069 0 1 0 165030 126 0 0 20 0 20 0 342869185 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140737142132432 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25655/statm: 695424 344325 2282 9 0 686117 0
[pid=25655/tid=25657] ppid=25653 vsize=2781696 CPUtime=1498.37 cores=0,2,4,6
/proc/25655/task/25657/stat : 25657 (java) S 25653 25655 21377 0 -1 4202560 3068 0 1 0 149807 30 0 0 20 0 20 0 342869186 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056979100856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25658] ppid=25653 vsize=2781696 CPUtime=0.81 cores=0,2,4,6
/proc/25655/task/25658/stat : 25658 (java) S 25653 25655 21377 0 -1 4202560 316 0 0 0 67 14 0 0 20 0 20 0 342869187 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056963549352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25659] ppid=25653 vsize=2781696 CPUtime=0.76 cores=0,2,4,6
/proc/25655/task/25659/stat : 25659 (java) S 25653 25655 21377 0 -1 4202560 267 0 0 0 64 12 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056962496808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25660] ppid=25653 vsize=2781696 CPUtime=0.76 cores=0,2,4,6
/proc/25655/task/25660/stat : 25660 (java) S 25653 25655 21377 0 -1 4202560 288 0 0 0 64 12 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056961444264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25661] ppid=25653 vsize=2781696 CPUtime=0.63 cores=0,2,4,6
/proc/25655/task/25661/stat : 25661 (java) S 25653 25655 21377 0 -1 4202560 258 0 0 0 54 9 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056960391720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25662] ppid=25653 vsize=2781696 CPUtime=0.82 cores=0,2,4,6
/proc/25655/task/25662/stat : 25662 (java) S 25653 25655 21377 0 -1 4202560 360 0 0 0 69 13 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056959339176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25663] ppid=25653 vsize=2781696 CPUtime=0.54 cores=0,2,4,6
/proc/25655/task/25663/stat : 25663 (java) S 25653 25655 21377 0 -1 4202560 247 0 0 0 45 9 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056958286632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25664] ppid=25653 vsize=2781696 CPUtime=0.83 cores=0,2,4,6
/proc/25655/task/25664/stat : 25664 (java) S 25653 25655 21377 0 -1 4202560 306 0 0 0 73 10 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056957234088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25665] ppid=25653 vsize=2781696 CPUtime=0.77 cores=0,2,4,6
/proc/25655/task/25665/stat : 25665 (java) S 25653 25655 21377 0 -1 4202560 284 0 0 0 67 10 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056956181544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25666] ppid=25653 vsize=2781696 CPUtime=141.2 cores=0,2,4,6
/proc/25655/task/25666/stat : 25666 (java) R 25653 25655 21377 0 -1 4202560 126 0 0 0 14116 4 0 0 20 0 20 0 342869189 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056943769704 140056985954307 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25667] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25667/stat : 25667 (java) S 25653 25655 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342869189 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056942716024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25668] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25668/stat : 25668 (java) S 25653 25655 21377 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 342869189 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056941663368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25669] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25669/stat : 25669 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056940612112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25670] ppid=25653 vsize=2781696 CPUtime=0.75 cores=0,2,4,6
/proc/25655/task/25670/stat : 25670 (java) S 25653 25655 21377 0 -1 4202560 3815 0 0 0 75 0 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056939559480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25671] ppid=25653 vsize=2781696 CPUtime=0.62 cores=0,2,4,6
/proc/25655/task/25671/stat : 25671 (java) S 25653 25655 21377 0 -1 4202560 4433 0 0 0 62 0 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056938506936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25672] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25672/stat : 25672 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056819919864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25673] ppid=25653 vsize=2781696 CPUtime=0.51 cores=0,2,4,6
/proc/25655/task/25673/stat : 25673 (java) S 25653 25655 21377 0 -1 4202560 95 0 0 0 28 23 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056818867528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25674] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25674/stat : 25674 (java) S 25653 25655 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342869290 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056817812264 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25768] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25768/stat : 25768 (java) S 25653 25655 21377 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 20 0 343032493 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056816758600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1651.56
Current children cumulated vsize (KiB) 2781696

[startup+1646.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/212 25768
/proc/meminfo: memFree=23171188/32873852 swapFree=6856/6856
[pid=25655] ppid=25653 vsize=2781696 CPUtime=1652.35 cores=0,2,4,6
/proc/25655/stat : 25655 (java) S 25653 25655 21377 0 -1 4202496 15069 0 1 0 165109 126 0 0 20 0 20 0 342869185 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140737142132432 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25655/statm: 695424 344325 2282 9 0 686117 0
[pid=25655/tid=25657] ppid=25653 vsize=2781696 CPUtime=1498.37 cores=0,2,4,6
/proc/25655/task/25657/stat : 25657 (java) S 25653 25655 21377 0 -1 4202560 3068 0 1 0 149807 30 0 0 20 0 20 0 342869186 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056979100856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25658] ppid=25653 vsize=2781696 CPUtime=0.81 cores=0,2,4,6
/proc/25655/task/25658/stat : 25658 (java) S 25653 25655 21377 0 -1 4202560 316 0 0 0 67 14 0 0 20 0 20 0 342869187 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056963549352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25659] ppid=25653 vsize=2781696 CPUtime=0.76 cores=0,2,4,6
/proc/25655/task/25659/stat : 25659 (java) S 25653 25655 21377 0 -1 4202560 267 0 0 0 64 12 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056962496808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25660] ppid=25653 vsize=2781696 CPUtime=0.76 cores=0,2,4,6
/proc/25655/task/25660/stat : 25660 (java) S 25653 25655 21377 0 -1 4202560 288 0 0 0 64 12 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056961444264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25661] ppid=25653 vsize=2781696 CPUtime=0.63 cores=0,2,4,6
/proc/25655/task/25661/stat : 25661 (java) S 25653 25655 21377 0 -1 4202560 258 0 0 0 54 9 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056960391720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25662] ppid=25653 vsize=2781696 CPUtime=0.82 cores=0,2,4,6
/proc/25655/task/25662/stat : 25662 (java) S 25653 25655 21377 0 -1 4202560 360 0 0 0 69 13 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056959339176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25663] ppid=25653 vsize=2781696 CPUtime=0.54 cores=0,2,4,6
/proc/25655/task/25663/stat : 25663 (java) S 25653 25655 21377 0 -1 4202560 247 0 0 0 45 9 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056958286632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25664] ppid=25653 vsize=2781696 CPUtime=0.83 cores=0,2,4,6
/proc/25655/task/25664/stat : 25664 (java) S 25653 25655 21377 0 -1 4202560 306 0 0 0 73 10 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056957234088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25665] ppid=25653 vsize=2781696 CPUtime=0.77 cores=0,2,4,6
/proc/25655/task/25665/stat : 25665 (java) S 25653 25655 21377 0 -1 4202560 284 0 0 0 67 10 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056956181544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25666] ppid=25653 vsize=2781696 CPUtime=141.99 cores=0,2,4,6
/proc/25655/task/25666/stat : 25666 (java) R 25653 25655 21377 0 -1 4202560 126 0 0 0 14195 4 0 0 20 0 20 0 342869189 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056943769864 140056985226383 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25667] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25667/stat : 25667 (java) S 25653 25655 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342869189 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056942716024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25668] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25668/stat : 25668 (java) S 25653 25655 21377 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 342869189 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056941663368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25669] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25669/stat : 25669 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056940612112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25670] ppid=25653 vsize=2781696 CPUtime=0.75 cores=0,2,4,6
/proc/25655/task/25670/stat : 25670 (java) S 25653 25655 21377 0 -1 4202560 3815 0 0 0 75 0 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056939559480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25671] ppid=25653 vsize=2781696 CPUtime=0.62 cores=0,2,4,6
/proc/25655/task/25671/stat : 25671 (java) S 25653 25655 21377 0 -1 4202560 4433 0 0 0 62 0 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056938506936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25672] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25672/stat : 25672 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056819919864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25673] ppid=25653 vsize=2781696 CPUtime=0.51 cores=0,2,4,6
/proc/25655/task/25673/stat : 25673 (java) S 25653 25655 21377 0 -1 4202560 95 0 0 0 28 23 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056818867528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25674] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25674/stat : 25674 (java) S 25653 25655 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342869290 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056817812264 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25768] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25768/stat : 25768 (java) S 25653 25655 21377 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 20 0 343032493 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056816758600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1652.35
Current children cumulated vsize (KiB) 2781696

[startup+1646.71 s]
/proc/loadavg: 2.00 2.01 2.00 3/212 25768
/proc/meminfo: memFree=23171188/32873852 swapFree=6856/6856
[pid=25655] ppid=25653 vsize=2781696 CPUtime=1652.76 cores=0,2,4,6
/proc/25655/stat : 25655 (java) S 25653 25655 21377 0 -1 4202496 15069 0 1 0 165150 126 0 0 20 0 20 0 342869185 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140737142132432 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25655/statm: 695424 344325 2282 9 0 686117 0
[pid=25655/tid=25657] ppid=25653 vsize=2781696 CPUtime=1498.37 cores=0,2,4,6
/proc/25655/task/25657/stat : 25657 (java) S 25653 25655 21377 0 -1 4202560 3068 0 1 0 149807 30 0 0 20 0 20 0 342869186 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056979100856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25658] ppid=25653 vsize=2781696 CPUtime=0.81 cores=0,2,4,6
/proc/25655/task/25658/stat : 25658 (java) S 25653 25655 21377 0 -1 4202560 316 0 0 0 67 14 0 0 20 0 20 0 342869187 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056963549352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25659] ppid=25653 vsize=2781696 CPUtime=0.76 cores=0,2,4,6
/proc/25655/task/25659/stat : 25659 (java) S 25653 25655 21377 0 -1 4202560 267 0 0 0 64 12 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056962496808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25660] ppid=25653 vsize=2781696 CPUtime=0.76 cores=0,2,4,6
/proc/25655/task/25660/stat : 25660 (java) S 25653 25655 21377 0 -1 4202560 288 0 0 0 64 12 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056961444264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25661] ppid=25653 vsize=2781696 CPUtime=0.63 cores=0,2,4,6
/proc/25655/task/25661/stat : 25661 (java) S 25653 25655 21377 0 -1 4202560 258 0 0 0 54 9 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056960391720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25662] ppid=25653 vsize=2781696 CPUtime=0.82 cores=0,2,4,6
/proc/25655/task/25662/stat : 25662 (java) S 25653 25655 21377 0 -1 4202560 360 0 0 0 69 13 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056959339176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25663] ppid=25653 vsize=2781696 CPUtime=0.54 cores=0,2,4,6
/proc/25655/task/25663/stat : 25663 (java) S 25653 25655 21377 0 -1 4202560 247 0 0 0 45 9 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056958286632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25664] ppid=25653 vsize=2781696 CPUtime=0.83 cores=0,2,4,6
/proc/25655/task/25664/stat : 25664 (java) S 25653 25655 21377 0 -1 4202560 306 0 0 0 73 10 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056957234088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25665] ppid=25653 vsize=2781696 CPUtime=0.77 cores=0,2,4,6
/proc/25655/task/25665/stat : 25665 (java) S 25653 25655 21377 0 -1 4202560 284 0 0 0 67 10 0 0 20 0 20 0 342869188 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056956181544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25666] ppid=25653 vsize=2781696 CPUtime=142.4 cores=0,2,4,6
/proc/25655/task/25666/stat : 25666 (java) R 25653 25655 21377 0 -1 4202560 126 0 0 0 14236 4 0 0 20 0 20 0 342869189 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056943769864 140056983261487 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25667] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25667/stat : 25667 (java) S 25653 25655 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342869189 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056942716024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25668] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25668/stat : 25668 (java) S 25653 25655 21377 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 342869189 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056941663368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25669] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25669/stat : 25669 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056940612112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25670] ppid=25653 vsize=2781696 CPUtime=0.75 cores=0,2,4,6
/proc/25655/task/25670/stat : 25670 (java) S 25653 25655 21377 0 -1 4202560 3815 0 0 0 75 0 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056939559480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25655/tid=25671] ppid=25653 vsize=2781696 CPUtime=0.62 cores=0,2,4,6
/proc/25655/task/25671/stat : 25671 (java) S 25653 25655 21377 0 -1 4202560 4433 0 0 0 62 0 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056938506936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25672] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25672/stat : 25672 (java) S 25653 25655 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056819919864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25655/tid=25673] ppid=25653 vsize=2781696 CPUtime=0.51 cores=0,2,4,6
/proc/25655/task/25673/stat : 25673 (java) S 25653 25655 21377 0 -1 4202560 95 0 0 0 28 23 0 0 20 0 20 0 342869192 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056818867528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25655/tid=25674] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25674/stat : 25674 (java) S 25653 25655 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342869290 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056817812264 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25655/tid=25768] ppid=25653 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/25655/task/25768/stat : 25768 (java) S 25653 25655 21377 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 20 0 343032493 2848456704 344325 33554432000 1073741824 1073778376 140737142141296 140056816758600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1652.76
Current children cumulated vsize (KiB) 2781696

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25655 and gives
#  childrusage.ru_utime.tv_sec=1647
#  childrusage.ru_utime.tv_usec=321569
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=593757
# CPU time returned by wait4() is 1648.92
# while last known CPU time is 1652.76
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1646.8
CPU time (s): 1652.76
CPU user time (s): 1651.5
CPU system time (s): 1.26
CPU usage (%): 100.362
Max. virtual memory (cumulated for all children) (KiB): 2781696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1647.32
system time used= 1.59376
maximum resident set size= 1377312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15079
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35575
involuntary context switches= 10852

runsolver used 2.52462 second user time and 6.61499 second system time

The end

Launcher Data

Begin job on node129 at 2012-06-04 01:50:37
IDJOB=3739098
IDBENCH=72259
IDSOLVER=2322
FILE ID=node129/3739098-1338767437
RUNJOBID= node129-1338737336-21393
PBS_JOBID= 14636763
Free space on /tmp= 70480 MiB

SOLVER NAME= PB09: SAT4J Pseudo Resolution 2.1.1
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-mono-gac.cudf.paranoid.opb
COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739098-1338767437/watcher-3739098-1338767437 -o /tmp/evaluation-result-3739098-1338767437/solver-3739098-1338767437 -C 1800 -W 1900 -M 15500  java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3739098-1338767437.opb

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

MD5SUM BENCH= 1ea3f4841cbcc12846a9d6a05204354c
RANDOM SEED=767114897

node129.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.957
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.91
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.957
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.957
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		: 2666.957
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		: 2666.957
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.957
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.92
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.957
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.90
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.957
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:       32873852 kB
MemFree:        25272264 kB
Buffers:          475400 kB
Cached:          5639464 kB
SwapCached:            0 kB
Active:          3168032 kB
Inactive:        3529432 kB
Active(anon):     574396 kB
Inactive(anon):    10748 kB
Active(file):    2593636 kB
Inactive(file):  3518684 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3900 kB
Writeback:             0 kB
AnonPages:        603644 kB
Mapped:            22396 kB
Shmem:               204 kB
Slab:             749692 kB
SReclaimable:     191844 kB
SUnreclaim:       557848 kB
KernelStack:        1584 kB
PageTables:         5164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    1515360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    540672 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= 70476 MiB
End job on node129 at 2012-06-04 02:18:04