Trace number 3733232

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) 1751.22 1746.46

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
MD5SUM32f273c48805c1e726044ae006778010
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-48
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80035
Number of constraints which are clauses80035
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1150
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.09	c no version file found!!!
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 1599470296
0.00/0.09	c Max memory 1607860224
0.00/0.09	c Total memory 1607860224
0.00/0.09	c Number of processors 8
0.07/0.11	--- Begin Solver configuration ---
0.07/0.11	c Stops conflict analysis at the first Unique Implication Point
0.07/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.11	c Learn all clauses as in MiniSAT
0.07/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.11	c No reason simplification
0.07/0.11	c --- End Solver configuration ---
0.07/0.11	c solving HOME/instance-3733232-1338694421.opb
0.07/0.11	c reading problem ... 
1.29/0.76	c ... done. Wall clock time 0.646s.
1.29/0.76	c CPU time (experimental) 0.72s.
1.29/0.76	c #vars     1150
1.29/0.76	c #constraints  80035
1.29/0.78	c SATISFIABLE
1.29/0.78	c OPTIMIZING...
1.29/0.78	c Got one! Elapsed wall clock time (in seconds):0.672
1.29/0.79	o -34
1.39/0.86	c Got one! Elapsed wall clock time (in seconds):0.746
1.39/0.86	o -35
1.80/1.10	c Got one! Elapsed wall clock time (in seconds):0.986
1.80/1.10	o -37
1.92/1.15	c Got one! Elapsed wall clock time (in seconds):1.037
1.92/1.15	o -38
18.58/17.66	c Got one! Elapsed wall clock time (in seconds):17.552
18.58/17.66	o -39
19.59/18.67	c Got one! Elapsed wall clock time (in seconds):18.557
19.59/18.67	o -40
457.20/454.11	c cleaning 158270 clauses out of 316563 for limit 1.1217357608799875E12
462.31/459.24	c cleaning 79392 clauses out of 158795 for limit 3.6952072839462407E12
463.72/460.69	c cleaning 39940 clauses out of 79901 for limit 1.2086770547450105E13
465.02/461.92	c cleaning 20222 clauses out of 40462 for limit 3.940084586348112E13
465.82/462.75	c cleaning 10359 clauses out of 20740 for limit 1.2676519421310492E14
466.33/463.21	c cleaning 5432 clauses out of 10882 for limit 3.988324215687063E14
466.52/463.43	c cleaning 2962 clauses out of 5949 for limit 1.201922826648501E15
466.62/463.55	c cleaning 1735 clauses out of 3488 for limit 3.384032105760638E15
466.72/463.66	c cleaning 1127 clauses out of 2254 for limit 8.644650469281E15
466.82/463.74	c cleaning 803 clauses out of 1624 for limit 1.9727301246982E-4
466.92/463.83	c cleaning 649 clauses out of 1321 for limit 3.99950985130423E-4
467.02/463.92	c cleaning 575 clauses out of 1172 for limit 7.434262021447012E-4
467.12/464.02	c cleaning 539 clauses out of 1098 for limit 0.0013099464255023285
467.12/464.10	c cleaning 519 clauses out of 1058 for limit 0.0022397089310384425
467.22/464.17	c cleaning 513 clauses out of 1041 for limit 0.0037614165451543744
467.32/464.25	c cleaning 504 clauses out of 1027 for limit 0.006281351424606473
467.43/464.34	c cleaning 497 clauses out of 1022 for limit 0.010399058341413935
467.52/464.42	c cleaning 501 clauses out of 1025 for limit 0.017099244887982857
467.62/464.50	c cleaning 502 clauses out of 1025 for limit 0.028227169485825775
467.62/464.59	c cleaning 504 clauses out of 1024 for limit 0.04664248047992796
467.72/464.69	c cleaning 499 clauses out of 1018 for limit 0.07721837900994662
467.82/464.77	c cleaning 503 clauses out of 1022 for limit 0.12722632574713968
467.92/464.86	c cleaning 499 clauses out of 1017 for limit 0.210423282655997
468.02/464.95	c cleaning 497 clauses out of 1017 for limit 0.346669126879848
468.12/465.04	c cleaning 497 clauses out of 1020 for limit 0.5700222851239213
1297.67/1293.85	c cleaning 154001 clauses out of 308023 for limit 7.731777908978122E10
1309.27/1305.45	c cleaning 77260 clauses out of 154522 for limit 2.541722207200455E11
1311.57/1307.73	c cleaning 38871 clauses out of 77763 for limit 8.337499023272666E11
1312.47/1308.63	c cleaning 19687 clauses out of 39391 for limit 2.71164711940201E12
1313.17/1309.36	c cleaning 10095 clauses out of 20206 for limit 8.735237954070709E12
1313.67/1309.80	c cleaning 5293 clauses out of 10609 for limit 2.738214731848705E13
1313.87/1310.07	c cleaning 2902 clauses out of 5817 for limit 8.243910857864634E13
1314.08/1310.23	c cleaning 1698 clauses out of 3414 for limit 2.3141430911867772E14
1314.17/1310.35	c cleaning 1108 clauses out of 2216 for limit 5.879492721281706E14
1314.27/1310.45	c cleaning 795 clauses out of 1608 for limit 1.3362245779077872E15
1314.37/1310.55	c cleaning 656 clauses out of 1313 for limit 2.698712751043854E15
1314.47/1310.66	c cleaning 579 clauses out of 1158 for limit 5.051300746813131E15
1314.57/1310.76	c cleaning 539 clauses out of 1078 for limit 8.939524115761652E15
1314.67/1310.84	c cleaning 515 clauses out of 1040 for limit 1.529643482586815E16
1314.77/1310.93	c cleaning 512 clauses out of 1025 for limit 2.5595026382662776E16
1314.87/1311.02	c cleaning 506 clauses out of 1012 for limit 4.2709089176809576E16
1314.87/1311.09	c cleaning 497 clauses out of 1007 for limit 7.085357213336232E-4
1314.97/1311.17	c cleaning 494 clauses out of 1013 for limit 0.0011650409695499883
1315.08/1311.26	c cleaning 496 clauses out of 1015 for limit 0.0019098639929151168
1315.18/1311.35	c cleaning 503 clauses out of 1020 for limit 0.003137319220859328
1315.27/1311.43	c cleaning 500 clauses out of 1017 for limit 0.005189121219487387
1315.37/1311.52	c cleaning 500 clauses out of 1016 for limit 0.008557411891714573
1315.47/1311.63	c cleaning 501 clauses out of 1017 for limit 0.014112553134758524
1315.57/1311.71	c cleaning 505 clauses out of 1018 for limit 0.02329719718741943
1315.67/1311.80	c cleaning 499 clauses out of 1010 for limit 0.038608455775306055
1315.67/1311.88	c cleaning 498 clauses out of 1011 for limit 0.06360753076705405
1712.81/1708.01	c Got one! Elapsed wall clock time (in seconds):1707.902
1712.81/1708.01	o -41
1747.62/1742.80	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
1747.62/1742.80		at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source)
1747.62/1742.80		at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(Unknown Source)
1748.02/1743.20		at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(Unknown Source)
1748.02/1743.20		at org.sat4j.minisat.core.Solver.analyze(Unknown Source)
1748.02/1743.20		at org.sat4j.minisat.core.Solver.search(Unknown Source)
1748.82/1744.01		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
1748.82/1744.01		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
1748.82/1744.01		at org.sat4j.tools.SolverDecorator.isSatisfiable(Unknown Source)
1748.82/1744.01		at org.sat4j.opt.PseudoOptDecorator.admitABetterSolution(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-3733232-1338694421/watcher-3733232-1338694421 -o /tmp/evaluation-result-3733232-1338694421/solver-3733232-1338694421 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3733232-1338694421.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: 1.92 1.98 1.99 2/194 19250
/proc/meminfo: memFree=27537132/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/19250/stat : 19250 (java) D 19248 19250 7849 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 335567678 9515008 183 33554432000 1073741824 1073778376 140733726778720 140733726769752 214369648309 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/19250/statm: 2323 183 140 9 0 71 0

[startup+0.10364 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 19250
/proc/meminfo: memFree=27537132/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/19250/stat : 19250 (java) S 19248 19250 7849 0 -1 4202496 4634 0 1 0 6 1 0 0 20 0 18 0 335567678 3028844544 6346 33554432000 1073741824 1073778376 140736579980704 140736579971840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19250/statm: 739464 6350 2054 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.200246 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 19250
/proc/meminfo: memFree=27537132/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=2957856 CPUtime=0.22 cores=0,2,4,6
/proc/19250/stat : 19250 (java) S 19248 19250 7849 0 -1 4202496 5165 0 1 0 21 1 0 0 20 0 18 0 335567678 3028844544 7351 33554432000 1073741824 1073778376 140736579980704 140736579971840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19250/statm: 739464 7351 2196 9 0 729885 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 2957856

[startup+0.300259 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 19250
/proc/meminfo: memFree=27537132/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=2957856 CPUtime=0.4 cores=0,2,4,6
/proc/19250/stat : 19250 (java) S 19248 19250 7849 0 -1 4202496 5523 0 1 0 39 1 0 0 20 0 18 0 335567678 3028844544 8582 33554432000 1073741824 1073778376 140736579980704 140736579971840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19250/statm: 739464 8582 2234 9 0 729885 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 2957856

[startup+0.700245 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 19250
/proc/meminfo: memFree=27537132/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=2957856 CPUtime=1.29 cores=0,2,4,6
/proc/19250/stat : 19250 (java) S 19248 19250 7849 0 -1 4202496 9302 0 1 0 124 5 0 0 20 0 18 0 335567678 3028844544 43047 33554432000 1073741824 1073778376 140736579980704 140736579971840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19250/statm: 739464 43047 2253 9 0 729885 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 2957856

[startup+1.50067 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 19271
/proc/meminfo: memFree=27331920/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=3024420 CPUtime=2.4 cores=0,2,4,6
/proc/19250/stat : 19250 (java) S 19248 19250 7849 0 -1 4202496 10825 0 1 0 234 6 0 0 20 0 19 0 335567678 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140736579971840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19250/statm: 756105 56801 2278 9 0 746526 0
[pid=19250/tid=19252] ppid=19248 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/19250/task/19252/stat : 19252 (java) R 19248 19250 7849 0 -1 4202560 3131 0 1 0 141 5 0 0 20 0 19 0 335567679 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140208212845160 140208084078878 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19253] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19253/stat : 19253 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140208201906984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19254] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19254/stat : 19254 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140208077662888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19255] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19255/stat : 19255 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140208076610600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19250/tid=19256] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19256/stat : 19256 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140208075557800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19257] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19257/stat : 19257 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140208074504488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19258] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19258/stat : 19258 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140208073451688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19259] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19259/stat : 19259 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140208072399400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19260] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19260/stat : 19260 (java) S 19248 19250 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140208071346600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19261] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19261/stat : 19261 (java) S 19248 19250 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335567681 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140207588338408 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19262] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19262/stat : 19262 (java) S 19248 19250 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335567682 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140207587284472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19263] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19263/stat : 19263 (java) S 19248 19250 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335567682 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140207586232072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19264] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19264/stat : 19264 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567685 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140207585180560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19265] ppid=19248 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/19250/task/19265/stat : 19265 (java) S 19248 19250 7849 0 -1 4202560 3967 0 0 0 46 1 0 0 20 0 19 0 335567685 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140207584127160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19266] ppid=19248 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/19250/task/19266/stat : 19266 (java) S 19248 19250 7849 0 -1 4202560 2522 0 0 0 43 0 0 0 20 0 19 0 335567685 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140207583074360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19267] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19267/stat : 19267 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567685 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140207582022264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19268] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19268/stat : 19268 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567685 3097006080 56801 33554432000 1073741824 1073778376 140736579980704 140207580969672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 3024420

[startup+3.10073 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 19273
/proc/meminfo: memFree=27301380/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=3024420 CPUtime=4.07 cores=0,2,4,6
/proc/19250/stat : 19250 (java) S 19248 19250 7849 0 -1 4202496 10847 0 1 0 401 6 0 0 20 0 19 0 335567678 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140736579971840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19250/statm: 756105 64997 2281 9 0 746526 0
[pid=19250/tid=19252] ppid=19248 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/19250/task/19252/stat : 19252 (java) R 19248 19250 7849 0 -1 4202560 3149 0 1 0 301 5 0 0 20 0 19 0 335567679 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140208212844968 140208084078862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19253] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19253/stat : 19253 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140208201906984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19254] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19254/stat : 19254 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140208077662888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19255] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19255/stat : 19255 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140208076610600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19250/tid=19256] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19256/stat : 19256 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140208075557800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19257] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19257/stat : 19257 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140208074504488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19258] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19258/stat : 19258 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140208073451688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19259] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19259/stat : 19259 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140208072399400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19260] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19260/stat : 19260 (java) S 19248 19250 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140208071346600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19261] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19261/stat : 19261 (java) S 19248 19250 7849 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335567681 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140207588338408 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19262] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19262/stat : 19262 (java) S 19248 19250 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335567682 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140207587284472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19263] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19263/stat : 19263 (java) S 19248 19250 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335567682 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140207586232072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19264] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19264/stat : 19264 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567685 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140207585180560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19265] ppid=19248 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/19250/task/19265/stat : 19265 (java) S 19248 19250 7849 0 -1 4202560 3970 0 0 0 52 1 0 0 20 0 19 0 335567685 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140207584127160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19266] ppid=19248 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/19250/task/19266/stat : 19266 (java) S 19248 19250 7849 0 -1 4202560 2522 0 0 0 45 0 0 0 20 0 19 0 335567685 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140207583074360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19267] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19267/stat : 19267 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567685 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140207582022264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19268] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19268/stat : 19268 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567685 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140207580969672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19273] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19273/stat : 19273 (java) S 19248 19250 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335567795 3097006080 64997 33554432000 1073741824 1073778376 140736579980704 140207578837928 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 3024420

[startup+6.30073 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 19273
/proc/meminfo: memFree=27255392/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=3024420 CPUtime=7.27 cores=0,2,4,6
/proc/19250/stat : 19250 (java) S 19248 19250 7849 0 -1 4202496 10870 0 1 0 720 7 0 0 20 0 19 0 335567678 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140736579971840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19250/statm: 756105 75236 2281 9 0 746526 0
[pid=19250/tid=19252] ppid=19248 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/19250/task/19252/stat : 19252 (java) R 19248 19250 7849 0 -1 4202560 3172 0 1 0 619 5 0 0 20 0 19 0 335567679 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140208212842944 140208084078862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19253] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19253/stat : 19253 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140208201906984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19254] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19254/stat : 19254 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140208077662888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19255] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19255/stat : 19255 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140208076610600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19250/tid=19256] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19256/stat : 19256 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140208075557800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19257] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19257/stat : 19257 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140208074504488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19258] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19258/stat : 19258 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140208073451688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19259] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19259/stat : 19259 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140208072399400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19260] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19260/stat : 19260 (java) S 19248 19250 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335567680 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140208071346600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19261] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19261/stat : 19261 (java) S 19248 19250 7849 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335567681 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140207588338408 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19262] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19262/stat : 19262 (java) S 19248 19250 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335567682 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140207587284472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19263] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19263/stat : 19263 (java) S 19248 19250 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335567682 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140207586232072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19264] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19264/stat : 19264 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567685 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140207585180560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19265] ppid=19248 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/19250/task/19265/stat : 19265 (java) S 19248 19250 7849 0 -1 4202560 3970 0 0 0 52 1 0 0 20 0 19 0 335567685 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140207584127160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19266] ppid=19248 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/19250/task/19266/stat : 19266 (java) S 19248 19250 7849 0 -1 4202560 2522 0 0 0 45 0 0 0 20 0 19 0 335567685 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140207583074360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19267] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19267/stat : 19267 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567685 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140207582022264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19268] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19268/stat : 19268 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567685 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140207580969672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19273] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19273/stat : 19273 (java) S 19248 19250 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335567795 3097006080 75236 33554432000 1073741824 1073778376 140736579980704 140207578837928 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 19273
/proc/meminfo: memFree=27187468/32873844 swapFree=7632/7632

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

/proc/19250/task/19260/stat : 19260 (java) S 19248 19250 7849 0 -1 4202560 453 0 0 0 41 26 0 0 20 0 19 0 335567680 3097006080 419781 33554432000 1073741824 1073778376 140736579980704 140208071346600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19261] ppid=19248 vsize=3024420 CPUtime=10.25 cores=0,2,4,6
/proc/19250/task/19261/stat : 19261 (java) R 19248 19250 7849 0 -1 4202560 123 0 0 0 1021 4 0 0 20 0 19 0 335567681 3097006080 419781 33554432000 1073741824 1073778376 140736579980704 140207588338568 140208219176449 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19262] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19262/stat : 19262 (java) S 19248 19250 7849 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 335567682 3097006080 419781 33554432000 1073741824 1073778376 140736579980704 140207587284472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19263] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19263/stat : 19263 (java) S 19248 19250 7849 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335567682 3097006080 419781 33554432000 1073741824 1073778376 140736579980704 140207586232072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19264] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19264/stat : 19264 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567685 3097006080 419781 33554432000 1073741824 1073778376 140736579980704 140207585180560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19265] ppid=19248 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/19250/task/19265/stat : 19265 (java) S 19248 19250 7849 0 -1 4202560 3976 0 0 0 59 1 0 0 20 0 19 0 335567685 3097006080 419781 33554432000 1073741824 1073778376 140736579980704 140207584127160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19266] ppid=19248 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/19250/task/19266/stat : 19266 (java) S 19248 19250 7849 0 -1 4202560 2531 0 0 0 49 0 0 0 20 0 19 0 335567685 3097006080 419781 33554432000 1073741824 1073778376 140736579980704 140207583074360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19267] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19267/stat : 19267 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567685 3097006080 419781 33554432000 1073741824 1073778376 140736579980704 140207582022264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19268] ppid=19248 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/19250/task/19268/stat : 19268 (java) S 19248 19250 7849 0 -1 4202560 101 0 0 0 42 36 0 0 20 0 19 0 335567685 3097006080 419781 33554432000 1073741824 1073778376 140736579980704 140207580969672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19380] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19380/stat : 19380 (java) S 19248 19250 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335738480 3097006080 419781 33554432000 1073741824 1073778376 140736579980704 140207578838056 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1748.82
Current children cumulated vsize (KiB) 3024420

[startup+1745.6 s]
/proc/loadavg: 1.95 2.04 2.01 3/213 19380
/proc/meminfo: memFree=25864972/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=3024420 CPUtime=1750.42 cores=0,2,4,6
/proc/19250/stat : 19250 (java) S 19248 19250 7849 0 -1 4202496 13939 0 1 0 174870 172 0 0 20 0 19 0 335567678 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140736579971840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19250/statm: 756105 419813 2309 9 0 746526 0
[pid=19250/tid=19252] ppid=19248 vsize=3024420 CPUtime=1727.99 cores=0,2,4,6
/proc/19250/task/19252/stat : 19252 (java) S 19248 19250 7849 0 -1 4202560 3303 0 1 0 172766 33 0 0 20 0 19 0 335567679 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140208212842184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19253] ppid=19248 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/19250/task/19253/stat : 19253 (java) S 19248 19250 7849 0 -1 4202560 309 0 0 0 36 16 0 0 20 0 19 0 335567680 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140208201906984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19254] ppid=19248 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/19250/task/19254/stat : 19254 (java) S 19248 19250 7849 0 -1 4202560 365 0 0 0 40 16 0 0 20 0 19 0 335567680 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140208077662888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19255] ppid=19248 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/19250/task/19255/stat : 19255 (java) S 19248 19250 7849 0 -1 4202560 276 0 0 0 33 16 0 0 20 0 19 0 335567680 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140208076610600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19256] ppid=19248 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/19250/task/19256/stat : 19256 (java) S 19248 19250 7849 0 -1 4202560 416 0 0 0 49 23 0 0 20 0 19 0 335567680 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140208075557800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19250/tid=19257] ppid=19248 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/19250/task/19257/stat : 19257 (java) S 19248 19250 7849 0 -1 4202560 254 0 0 0 44 13 0 0 20 0 19 0 335567680 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140208074504488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19258] ppid=19248 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/19250/task/19258/stat : 19258 (java) S 19248 19250 7849 0 -1 4202560 348 0 0 0 39 15 0 0 20 0 19 0 335567680 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140208073451688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19250/tid=19259] ppid=19248 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/19250/task/19259/stat : 19259 (java) S 19248 19250 7849 0 -1 4202560 243 0 0 0 43 13 0 0 20 0 19 0 335567680 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140208072399400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19260] ppid=19248 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/19250/task/19260/stat : 19260 (java) S 19248 19250 7849 0 -1 4202560 453 0 0 0 41 26 0 0 20 0 19 0 335567680 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140208071346600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19261] ppid=19248 vsize=3024420 CPUtime=11.85 cores=0,2,4,6
/proc/19250/task/19261/stat : 19261 (java) R 19248 19250 7849 0 -1 4202560 155 0 0 0 1181 4 0 0 20 0 19 0 335567681 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140207588338528 140208219353210 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19262] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19262/stat : 19262 (java) S 19248 19250 7849 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 335567682 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140207587284472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19263] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19263/stat : 19263 (java) S 19248 19250 7849 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 335567682 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140207586229224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19264] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19264/stat : 19264 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567685 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140207585180560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19265] ppid=19248 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/19250/task/19265/stat : 19265 (java) S 19248 19250 7849 0 -1 4202560 3976 0 0 0 59 1 0 0 20 0 19 0 335567685 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140207584127160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19266] ppid=19248 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/19250/task/19266/stat : 19266 (java) S 19248 19250 7849 0 -1 4202560 2534 0 0 0 49 0 0 0 20 0 19 0 335567685 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140207583067256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19267] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19267/stat : 19267 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567685 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140207582022264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19268] ppid=19248 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/19250/task/19268/stat : 19268 (java) S 19248 19250 7849 0 -1 4202560 101 0 0 0 42 36 0 0 20 0 19 0 335567685 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140207580969672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19380] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19380/stat : 19380 (java) S 19248 19250 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335738480 3097006080 419813 33554432000 1073741824 1073778376 140736579980704 140207578838056 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1750.42
Current children cumulated vsize (KiB) 3024420

[startup+1746 s]
/proc/loadavg: 1.95 2.04 2.01 3/213 19380
/proc/meminfo: memFree=25864848/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=3024420 CPUtime=1750.82 cores=0,2,4,6
/proc/19250/stat : 19250 (java) S 19248 19250 7849 0 -1 4202496 13945 0 1 0 174910 172 0 0 20 0 19 0 335567678 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140736579971840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19250/statm: 756105 419816 2309 9 0 746526 0
[pid=19250/tid=19252] ppid=19248 vsize=3024420 CPUtime=1727.99 cores=0,2,4,6
/proc/19250/task/19252/stat : 19252 (java) S 19248 19250 7849 0 -1 4202560 3303 0 1 0 172766 33 0 0 20 0 19 0 335567679 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140208212845432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19253] ppid=19248 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/19250/task/19253/stat : 19253 (java) S 19248 19250 7849 0 -1 4202560 309 0 0 0 36 16 0 0 20 0 19 0 335567680 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140208201906984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19254] ppid=19248 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/19250/task/19254/stat : 19254 (java) S 19248 19250 7849 0 -1 4202560 365 0 0 0 40 16 0 0 20 0 19 0 335567680 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140208077662888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19255] ppid=19248 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/19250/task/19255/stat : 19255 (java) S 19248 19250 7849 0 -1 4202560 276 0 0 0 33 16 0 0 20 0 19 0 335567680 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140208076610600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19256] ppid=19248 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/19250/task/19256/stat : 19256 (java) S 19248 19250 7849 0 -1 4202560 416 0 0 0 49 23 0 0 20 0 19 0 335567680 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140208075557800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19250/tid=19257] ppid=19248 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/19250/task/19257/stat : 19257 (java) S 19248 19250 7849 0 -1 4202560 254 0 0 0 44 13 0 0 20 0 19 0 335567680 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140208074504488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19258] ppid=19248 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/19250/task/19258/stat : 19258 (java) S 19248 19250 7849 0 -1 4202560 348 0 0 0 39 15 0 0 20 0 19 0 335567680 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140208073451688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19250/tid=19259] ppid=19248 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/19250/task/19259/stat : 19259 (java) S 19248 19250 7849 0 -1 4202560 243 0 0 0 43 13 0 0 20 0 19 0 335567680 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140208072399400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19260] ppid=19248 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/19250/task/19260/stat : 19260 (java) S 19248 19250 7849 0 -1 4202560 453 0 0 0 41 26 0 0 20 0 19 0 335567680 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140208071346600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19261] ppid=19248 vsize=3024420 CPUtime=12.25 cores=0,2,4,6
/proc/19250/task/19261/stat : 19261 (java) R 19248 19250 7849 0 -1 4202560 156 0 0 0 1221 4 0 0 20 0 19 0 335567681 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140207588338568 140208219353210 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19262] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19262/stat : 19262 (java) S 19248 19250 7849 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 335567682 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140207587284472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19263] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19263/stat : 19263 (java) S 19248 19250 7849 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 335567682 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140207586232072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19264] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19264/stat : 19264 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567685 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140207585180560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19265] ppid=19248 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/19250/task/19265/stat : 19265 (java) S 19248 19250 7849 0 -1 4202560 3976 0 0 0 59 1 0 0 20 0 19 0 335567685 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140207584127160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19266] ppid=19248 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/19250/task/19266/stat : 19266 (java) S 19248 19250 7849 0 -1 4202560 2535 0 0 0 49 0 0 0 20 0 19 0 335567685 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140207583065384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19267] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19267/stat : 19267 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335567685 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140207582022264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19268] ppid=19248 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/19250/task/19268/stat : 19268 (java) S 19248 19250 7849 0 -1 4202560 101 0 0 0 42 36 0 0 20 0 19 0 335567685 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140207580969672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19380] ppid=19248 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19380/stat : 19380 (java) S 19248 19250 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335738480 3097006080 419816 33554432000 1073741824 1073778376 140736579980704 140207578838056 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1750.82
Current children cumulated vsize (KiB) 3024420

[startup+1746.4 s]
/proc/loadavg: 1.95 2.04 2.01 3/213 19380
/proc/meminfo: memFree=25864848/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=3090984 CPUtime=1751.22 cores=0,2,4,6
/proc/19250/stat : 19250 (java) S 19248 19250 7849 0 -1 4202496 13966 0 1 0 174950 172 0 0 20 0 20 0 335567678 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140736579971840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19250/statm: 772746 419835 2309 9 0 763167 0
[pid=19250/tid=19252] ppid=19248 vsize=3090984 CPUtime=1727.99 cores=0,2,4,6
/proc/19250/task/19252/stat : 19252 (java) S 19248 19250 7849 0 -1 4202560 3306 0 1 0 172766 33 0 0 20 0 20 0 335567679 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140208212845448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19253] ppid=19248 vsize=3090984 CPUtime=0.52 cores=0,2,4,6
/proc/19250/task/19253/stat : 19253 (java) S 19248 19250 7849 0 -1 4202560 309 0 0 0 36 16 0 0 20 0 20 0 335567680 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140208201906984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19254] ppid=19248 vsize=3090984 CPUtime=0.56 cores=0,2,4,6
/proc/19250/task/19254/stat : 19254 (java) S 19248 19250 7849 0 -1 4202560 365 0 0 0 40 16 0 0 20 0 20 0 335567680 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140208077662888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19255] ppid=19248 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/19250/task/19255/stat : 19255 (java) S 19248 19250 7849 0 -1 4202560 276 0 0 0 33 16 0 0 20 0 20 0 335567680 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140208076610600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19256] ppid=19248 vsize=3090984 CPUtime=0.72 cores=0,2,4,6
/proc/19250/task/19256/stat : 19256 (java) S 19248 19250 7849 0 -1 4202560 416 0 0 0 49 23 0 0 20 0 20 0 335567680 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140208075557800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19250/tid=19257] ppid=19248 vsize=3090984 CPUtime=0.57 cores=0,2,4,6
/proc/19250/task/19257/stat : 19257 (java) S 19248 19250 7849 0 -1 4202560 254 0 0 0 44 13 0 0 20 0 20 0 335567680 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140208074504488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19258] ppid=19248 vsize=3090984 CPUtime=0.54 cores=0,2,4,6
/proc/19250/task/19258/stat : 19258 (java) S 19248 19250 7849 0 -1 4202560 348 0 0 0 39 15 0 0 20 0 20 0 335567680 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140208073451688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19250/tid=19259] ppid=19248 vsize=3090984 CPUtime=0.56 cores=0,2,4,6
/proc/19250/task/19259/stat : 19259 (java) S 19248 19250 7849 0 -1 4202560 243 0 0 0 43 13 0 0 20 0 20 0 335567680 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140208072399400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19260] ppid=19248 vsize=3090984 CPUtime=0.67 cores=0,2,4,6
/proc/19250/task/19260/stat : 19260 (java) S 19248 19250 7849 0 -1 4202560 453 0 0 0 41 26 0 0 20 0 20 0 335567680 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140208071346600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19261] ppid=19248 vsize=3090984 CPUtime=12.65 cores=0,2,4,6
/proc/19250/task/19261/stat : 19261 (java) R 19248 19250 7849 0 -1 4202560 172 0 0 0 1261 4 0 0 20 0 20 0 335567681 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140207588338408 140208219353120 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19262] ppid=19248 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19262/stat : 19262 (java) S 19248 19250 7849 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 335567682 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140207587284472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19263] ppid=19248 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19263/stat : 19263 (java) S 19248 19250 7849 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 335567682 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140207586232072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19250/tid=19264] ppid=19248 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19264/stat : 19264 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335567685 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140207585180560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19265] ppid=19248 vsize=3090984 CPUtime=0.6 cores=0,2,4,6
/proc/19250/task/19265/stat : 19265 (java) S 19248 19250 7849 0 -1 4202560 3976 0 0 0 59 1 0 0 20 0 20 0 335567685 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140207584127160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19266] ppid=19248 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/19250/task/19266/stat : 19266 (java) S 19248 19250 7849 0 -1 4202560 2536 0 0 0 49 0 0 0 20 0 20 0 335567685 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140207583064776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19267] ppid=19248 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19267/stat : 19267 (java) S 19248 19250 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335567685 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140207582022264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19250/tid=19268] ppid=19248 vsize=3090984 CPUtime=0.78 cores=0,2,4,6
/proc/19250/task/19268/stat : 19268 (java) S 19248 19250 7849 0 -1 4202560 101 0 0 0 42 36 0 0 20 0 20 0 335567685 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140207580969672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19250/tid=19380] ppid=19248 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19250/task/19380/stat : 19380 (java) S 19248 19250 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 335738480 3165167616 419835 33554432000 1073741824 1073778376 140736579980704 140207578838056 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1751.22
Current children cumulated vsize (KiB) 3090984

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19250 and gives
#  childrusage.ru_utime.tv_sec=1745
#  childrusage.ru_utime.tv_usec=195689
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=254657
# CPU time returned by wait4() is 1747.45
# while last known CPU time is 1751.22
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1746.46
CPU time (s): 1751.22
CPU user time (s): 1749.5
CPU system time (s): 1.72
CPU usage (%): 100.273
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.2
system time used= 2.25466
maximum resident set size= 1679352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13970
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37359
involuntary context switches= 4553

runsolver used 7.00593 second user time and 18.9871 second system time

The end

Launcher Data 

Begin job on node130 at 2012-06-03 05:33:41
IDJOB=3733232
IDBENCH=2262
IDSOLVER=2319
FILE ID=node130/3733232-1338694421
RUNJOBID= node130-1338679215-16919
PBS_JOBID= 14636683
Free space on /tmp= 70976 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733232-1338694421/watcher-3733232-1338694421 -o /tmp/evaluation-result-3733232-1338694421/solver-3733232-1338694421 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3733232-1338694421.opb           

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

MD5SUM BENCH= 32f273c48805c1e726044ae006778010
RANDOM SEED=914025202

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27537660 kB
Buffers:          409600 kB
Cached:          2383932 kB
SwapCached:         4256 kB
Active:          2746244 kB
Inactive:        1708676 kB
Active(anon):    1653600 kB
Inactive(anon):     8128 kB
Active(file):    1092644 kB
Inactive(file):  1700548 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099280 kB
Dirty:              5492 kB
Writeback:            16 kB
AnonPages:       1682616 kB
Mapped:            17720 kB
Shmem:                 4 kB
Slab:             722132 kB
SReclaimable:     163692 kB
SUnreclaim:       558440 kB
KernelStack:        1624 kB
PageTables:         7484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1826164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1648640 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= 70972 MiB
End job on node130 at 2012-06-03 06:02:47