Trace number 3731857

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-23No Cert. 272.19 267.748

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
MD5SUMff2125c4e604678d0c316c16eb28ba7d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1040
Best CPU time to get the best result obtained on this benchmark1796.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1035
Optimality of the best value was proved NO
Number of variables1968
Total number of constraints4000
Number of constraints which are clauses4000
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 1968
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 1968
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 1968
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.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.01/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.01/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.06/0.10	c no version file found!!!
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version	1.6.0_24
0.06/0.10	c os.name	Linux
0.06/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.06/0.10	c os.arch	amd64
0.06/0.10	c Free memory 1599470296
0.06/0.10	c Max memory 1607860224
0.06/0.10	c Total memory 1607860224
0.06/0.10	c Number of processors 8
0.06/0.12	--- Begin Solver configuration ---
0.06/0.12	c Stops conflict analysis at the first Unique Implication Point
0.06/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.06/0.12	c Learn all clauses as in MiniSAT
0.06/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.06/0.12	c No reason simplification
0.06/0.12	c --- End Solver configuration ---
0.06/0.12	c solving HOME/instance-3731857-1338688301.opb
0.06/0.12	c reading problem ... 
0.40/0.35	c ... done. Wall clock time 0.226s.
0.40/0.35	c CPU time (experimental) 0.3s.
0.40/0.35	c #vars     1968
0.40/0.35	c #constraints  4000
0.40/0.39	c SATISFIABLE
0.40/0.39	c OPTIMIZING...
0.40/0.39	c Got one! Elapsed wall clock time (in seconds):0.266
0.40/0.39	o 1194
0.90/0.52	c Got one! Elapsed wall clock time (in seconds):0.396
0.90/0.52	o 1187
0.90/0.60	c Got one! Elapsed wall clock time (in seconds):0.474
1.17/0.60	o 1185
1.17/0.65	c Got one! Elapsed wall clock time (in seconds):0.533
1.17/0.66	o 1184
2.58/1.95	c Got one! Elapsed wall clock time (in seconds):1.825
2.58/1.95	o 1183
80.63/78.10	c cleaning 149932 clauses out of 299885 for limit 67082.40249228096
82.43/79.80	c cleaning 75220 clauses out of 150453 for limit 220504.97196125114
82.63/80.05	c cleaning 37857 clauses out of 75732 for limit 721707.4481674767
82.83/80.21	c cleaning 19178 clauses out of 38375 for limit 2348811.2159906593
83.03/80.41	c cleaning 9840 clauses out of 19698 for limit 7553787.551436255
83.13/80.55	c cleaning 5172 clauses out of 10358 for limit 2.369009922054235E7
83.23/80.67	c cleaning 2832 clauses out of 5686 for limit 7.116915640588292E7
83.33/80.77	c cleaning 1677 clauses out of 3354 for limit 1.9897178776204863E8
83.43/80.85	c cleaning 1083 clauses out of 2177 for limit 5.055359191307665E8
83.53/80.93	c cleaning 792 clauses out of 1594 for limit 1.1386179270950892E9
83.63/81.01	c cleaning 650 clauses out of 1301 for limit 2.298319559434032E9
83.73/81.10	c cleaning 569 clauses out of 1151 for limit 4.284185559316085E9
83.73/81.18	c cleaning 534 clauses out of 1082 for limit 7.515748223501369E9
83.83/81.26	c cleaning 518 clauses out of 1048 for limit 1.2796585065487446E10
83.94/81.34	c cleaning 507 clauses out of 1031 for limit 2.1472722132072266E10
84.04/81.42	c cleaning 506 clauses out of 1024 for limit 3.565346142332196E10
84.13/81.50	c cleaning 503 clauses out of 1018 for limit 5.9143873656501175E10
84.13/81.58	c cleaning 507 clauses out of 1015 for limit 9.782444400154929E10
84.23/81.67	c cleaning 495 clauses out of 1007 for limit 1.6244462097608627E11
84.33/81.75	c cleaning 500 clauses out of 1013 for limit 2.6657275421745963E11
84.43/81.83	c cleaning 506 clauses out of 1012 for limit 4.39608485952516E11
84.53/81.91	c cleaning 503 clauses out of 1007 for limit 7.293021736175936E11
84.63/82.00	c cleaning 493 clauses out of 1003 for limit 1.2063058132286433E12
84.63/82.08	c cleaning 500 clauses out of 1010 for limit 1.9755720214918235E12
84.73/82.17	c cleaning 499 clauses out of 1012 for limit 3.2580567053976963E12
84.83/82.25	c cleaning 500 clauses out of 1012 for limit 5.367598390866853E12
84.93/82.34	c cleaning 498 clauses out of 1012 for limit 8.851887811005482E12
85.04/82.42	c cleaning 506 clauses out of 1013 for limit 1.4568953038873758E13
85.04/82.50	c cleaning 503 clauses out of 1007 for limit 2.4169307392315156E13
85.14/82.58	c cleaning 498 clauses out of 1005 for limit 3.9977719162384766E13
85.23/82.66	c cleaning 498 clauses out of 1007 for limit 6.579766639272289E13
85.33/82.75	c cleaning 504 clauses out of 1008 for limit 1.08293104659393E14
85.43/82.83	c cleaning 496 clauses out of 1004 for limit 1.7930132998994025E14
85.53/82.91	c cleaning 504 clauses out of 1008 for limit 2.945184991813757E14
85.53/83.00	c cleaning 502 clauses out of 1004 for limit 4.8763546650503544E14
85.63/83.08	c cleaning 501 clauses out of 1002 for limit 8.057812609264542E14
85.73/83.16	c cleaning 495 clauses out of 1001 for limit 1.3301686083374465E15
85.83/83.25	c cleaning 495 clauses out of 1007 for limit 2.1827384563343875E15
174.16/170.77	c cleaning 149748 clauses out of 299512 for limit 609.0281613285257
179.36/175.96	c cleaning 75123 clauses out of 150264 for limit 2001.9468514010437
181.46/178.08	c cleaning 37810 clauses out of 75640 for limit 6552.052128032226
181.86/178.42	c cleaning 19154 clauses out of 38330 for limit 21322.883393648917
182.06/178.64	c cleaning 9826 clauses out of 19676 for limit 68502.09036012542
182.16/178.80	c cleaning 5162 clauses out of 10350 for limit 214761.3747836544
182.36/178.91	c cleaning 2832 clauses out of 5688 for limit 644455.3368245328
182.46/179.01	c cleaning 1668 clauses out of 3357 for limit 1802567.2227762176
182.56/179.10	c cleaning 1084 clauses out of 2188 for limit 4556347.809122777
182.56/179.18	c cleaning 792 clauses out of 1604 for limit 1.0249807505680613E7
182.66/179.27	c cleaning 648 clauses out of 1312 for limit 2.066531955001553E7
182.76/179.35	c cleaning 582 clauses out of 1164 for limit 3.84130566678645E7
182.86/179.43	c cleaning 541 clauses out of 1083 for limit 6.815438283106372E7
182.96/179.51	c cleaning 520 clauses out of 1041 for limit 1.1681346104812549E8
183.06/179.60	c cleaning 506 clauses out of 1022 for limit 1.964188320312845E8
183.06/179.68	c cleaning 502 clauses out of 1016 for limit 3.2583384934150743E8
183.16/179.77	c cleaning 499 clauses out of 1014 for limit 5.384034561598169E8
183.26/179.85	c cleaning 499 clauses out of 1015 for limit 8.870245478726765E8
183.36/179.93	c cleaning 502 clauses out of 1015 for limit 1.4613593213196099E9
183.46/180.01	c cleaning 506 clauses out of 1013 for limit 2.4147351167606964E9
183.46/180.09	c cleaning 504 clauses out of 1008 for limit 4.0059803069023767E9
183.56/180.18	c cleaning 493 clauses out of 1003 for limit 6.632691293535333E9
183.66/180.26	c cleaning 496 clauses out of 1010 for limit 1.0862385974606215E10
183.76/180.35	c cleaning 498 clauses out of 1015 for limit 1.7843126764483456E10
183.88/180.43	c cleaning 499 clauses out of 1018 for limit 2.9368355183383625E10
183.97/180.52	c cleaning 497 clauses out of 1017 for limit 4.8383057826677414E10
184.07/180.60	c cleaning 510 clauses out of 1020 for limit 7.955545805843933E10
184.07/180.69	c cleaning 505 clauses out of 1011 for limit 1.3249802219497636E11
184.17/180.78	c cleaning 501 clauses out of 1006 for limit 2.195929825749042E11
184.27/180.86	c cleaning 494 clauses out of 1005 for limit 3.6249854141193555E11
184.37/180.95	c cleaning 505 clauses out of 1010 for limit 5.942542913747671E11
184.47/181.03	c cleaning 503 clauses out of 1007 for limit 9.848932033384547E11
184.57/181.12	c cleaning 501 clauses out of 1003 for limit 1.6290674011065356E12
184.67/181.20	c cleaning 493 clauses out of 1001 for limit 2.6892258917749478E12
184.67/181.29	c cleaning 504 clauses out of 1008 for limit 4.40409538392271E12
184.77/181.38	c cleaning 502 clauses out of 1005 for limit 7.291914797471873E12
184.88/181.46	c cleaning 501 clauses out of 1003 for limit 1.2049321745683084E13
264.48/260.02	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
264.98/260.51		at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source)
264.98/260.51		at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(Unknown Source)
265.78/261.31		at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(Unknown Source)
265.88/261.48		at org.sat4j.minisat.core.Solver.analyze(Unknown Source)
266.39/261.97		at org.sat4j.minisat.core.Solver.search(Unknown Source)
266.59/262.13		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
267.19/262.79		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
267.19/262.79		at org.sat4j.tools.SolverDecorator.isSatisfiable(Unknown Source)
267.89/263.44		at org.sat4j.opt.PseudoOptDecorator.admitABetterSolution(Unknown Source)
267.89/263.44		at org.sat4j.AbstractOptimizationLauncher.solve(Unknown Source)
268.59/264.10		at org.sat4j.LanceurPseudo2005.solve(Unknown Source)
268.59/264.10		at org.sat4j.AbstractLauncher.run(Unknown Source)
269.19/264.76		at org.sat4j.LanceurPseudo2007.main(Unknown Source)
271.19/266.75	c starts		: 38
271.19/266.75	c conflicts		: 902516
271.19/266.75	c decisions		: 1169685
271.19/266.75	c propagations		: 16479520
271.19/266.75	c inspects		: 120985059
271.19/266.75	c learnt literals	: 0
271.19/266.75	c learnt binary clauses	: 0
271.19/266.75	c learnt ternary clauses	: 0
271.19/266.75	c learnt clauses	: 902515
271.19/266.75	c root simplifications	: 0
271.19/266.75	c removed literals (reason simplification)	: 0
271.19/266.75	c reason swapping (by a shorter reason)	: 0
271.19/266.75	c Calls to reduceDB	: 75
271.19/266.75	c speed (decisions/second)	: 4417.256107462642
271.19/266.75	c non guided choices	38
271.19/266.75	s SATISFIABLE
271.89/267.41	Exception in thread "Thread-0" java.lang.OutOfMemoryError: GC overhead limit exceeded
271.89/267.41		at java.lang.Integer.toString(Integer.java:308)
271.89/267.41		at java.lang.Integer.toString(Integer.java:118)
271.89/267.41		at java.lang.String.valueOf(String.java:2931)
271.89/267.41		at java.io.PrintWriter.print(PrintWriter.java:487)
271.99/267.57		at org.sat4j.reader.OPBReader2005.decode(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-3731857-1338688301/watcher-3731857-1338688301 -o /tmp/evaluation-result-3731857-1338688301/solver-3731857-1338688301 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731857-1338688301.opb 

running on 4 cores: 1,3,5,7

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.98 2.07 2.03 3/196 9187
/proc/meminfo: memFree=27498684/32873844 swapFree=7620/7620
[pid=9187] ppid=9185 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/9187/stat : 9187 (java) D 9185 9187 6422 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 334954872 2560000 46 33554432000 1073741824 1073778376 140736947932080 140736947929208 215115459879 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/9187/statm: 625 46 37 9 0 29 0

[startup+0.038785 s]
/proc/loadavg: 1.98 2.07 2.03 3/196 9187
/proc/meminfo: memFree=27498684/32873844 swapFree=7620/7620
[pid=9187] ppid=9185 vsize=2414972 CPUtime=0.01 cores=1,3,5,7
/proc/9187/stat : 9187 (java) S 9185 9187 6422 0 -1 4202496 3083 0 1 0 0 1 0 0 20 0 10 0 334954872 2472931328 3784 33554432000 1073741824 1073778376 140735696880656 140735696871792 215127982141 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9187/statm: 603743 3794 1454 9 0 594444 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2414972

[startup+0.100309 s]
/proc/loadavg: 1.98 2.07 2.03 3/196 9187
/proc/meminfo: memFree=27498684/32873844 swapFree=7620/7620
[pid=9187] ppid=9185 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/9187/stat : 9187 (java) S 9185 9187 6422 0 -1 4202496 3649 0 1 0 5 1 0 0 20 0 18 0 334954872 3028844544 5879 33554432000 1073741824 1073778376 140735696880656 140735696871792 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9187/statm: 739464 5879 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856

[startup+0.300256 s]
/proc/loadavg: 1.98 2.07 2.03 3/196 9187
/proc/meminfo: memFree=27498684/32873844 swapFree=7620/7620
[pid=9187] ppid=9185 vsize=2957856 CPUtime=0.4 cores=1,3,5,7
/proc/9187/stat : 9187 (java) S 9185 9187 6422 0 -1 4202496 5137 0 1 0 38 2 0 0 20 0 18 0 334954872 3028844544 8600 33554432000 1073741824 1073778376 140735696880656 140735696871792 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9187/statm: 739464 8600 2233 9 0 729885 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 2957856

[startup+0.700241 s]
/proc/loadavg: 1.98 2.07 2.03 3/196 9187
/proc/meminfo: memFree=27498684/32873844 swapFree=7620/7620
[pid=9187] ppid=9185 vsize=3024420 CPUtime=1.34 cores=1,3,5,7
/proc/9187/stat : 9187 (java) S 9185 9187 6422 0 -1 4202496 9157 0 1 0 131 3 0 0 20 0 19 0 334954872 3097006080 14418 33554432000 1073741824 1073778376 140735696880656 140735696871792 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9187/statm: 756105 14418 2269 9 0 746526 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 3024420

[startup+1.50074 s]
/proc/loadavg: 1.98 2.07 2.03 3/215 9210
/proc/meminfo: memFree=27440872/32873844 swapFree=7620/7620
[pid=9187] ppid=9185 vsize=3024420 CPUtime=2.17 cores=1,3,5,7
/proc/9187/stat : 9187 (java) S 9185 9187 6422 0 -1 4202496 9182 0 1 0 214 3 0 0 20 0 19 0 334954872 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140735696871792 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9187/statm: 756105 20063 2272 9 0 746526 0
[pid=9187/tid=9189] ppid=9185 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/9187/task/9189/stat : 9189 (java) R 9185 9187 6422 0 -1 4202560 2601 0 1 0 143 2 0 0 20 0 19 0 334954873 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013718495688 140013658251298 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9190] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9190/stat : 9190 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013653777064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9191] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9191/stat : 9191 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013582846760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9192] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9192/stat : 9192 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013581794216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9187/tid=9193] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9193/stat : 9193 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013580741672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9194] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9194/stat : 9194 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013579688104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9195] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9195/stat : 9195 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013578635560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9196] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9196/stat : 9196 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013577583016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9197] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9197/stat : 9197 (java) S 9185 9187 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013576530472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9198] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9198/stat : 9198 (java) S 9185 9187 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334954876 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013564332648 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9199] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9199/stat : 9199 (java) S 9185 9187 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334954877 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013563278968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9200] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9200/stat : 9200 (java) S 9185 9187 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334954877 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013562226312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9201] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9201/stat : 9201 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954880 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013561175056 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9202] ppid=9185 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/9187/task/9202/stat : 9202 (java) S 9185 9187 6422 0 -1 4202560 2864 0 0 0 31 0 0 0 20 0 19 0 334954880 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013560121400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9203] ppid=9185 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/9187/task/9203/stat : 9203 (java) S 9185 9187 6422 0 -1 4202560 2508 0 0 0 36 0 0 0 20 0 19 0 334954880 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013559068856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9204] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9204/stat : 9204 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954880 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013558016504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9205] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9205/stat : 9205 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954880 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013556964168 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9210] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9210/stat : 9210 (java) S 9185 9187 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334954938 3097006080 20063 33554432000 1073741824 1073778376 140735696880656 140013554832168 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 3024420

[startup+3.10075 s]
/proc/loadavg: 1.98 2.07 2.03 3/215 9211
/proc/meminfo: memFree=27407600/32873844 swapFree=7620/7620
[pid=9187] ppid=9185 vsize=3024420 CPUtime=3.83 cores=1,3,5,7
/proc/9187/stat : 9187 (java) S 9185 9187 6422 0 -1 4202496 9230 0 1 0 379 4 0 0 20 0 19 0 334954872 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140735696871792 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9187/statm: 756105 31860 2273 9 0 746526 0
[pid=9187/tid=9189] ppid=9185 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/9187/task/9189/stat : 9189 (java) R 9185 9187 6422 0 -1 4202560 2626 0 1 0 301 3 0 0 20 0 19 0 334954873 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013718493800 140013658879258 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9190] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9190/stat : 9190 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013653777064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9191] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9191/stat : 9191 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013582846760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9192] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9192/stat : 9192 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013581794216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9187/tid=9193] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9193/stat : 9193 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013580741672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9194] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9194/stat : 9194 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013579688104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9195] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9195/stat : 9195 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013578635560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9196] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9196/stat : 9196 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013577583016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9197] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9197/stat : 9197 (java) S 9185 9187 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013576530472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9198] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9198/stat : 9198 (java) S 9185 9187 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334954876 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013564332648 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9199] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9199/stat : 9199 (java) S 9185 9187 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334954877 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013563278968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9200] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9200/stat : 9200 (java) S 9185 9187 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334954877 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013562226312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9201] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9201/stat : 9201 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954880 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013561175056 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9202] ppid=9185 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/9187/task/9202/stat : 9202 (java) S 9185 9187 6422 0 -1 4202560 2885 0 0 0 35 0 0 0 20 0 19 0 334954880 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013560121400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9203] ppid=9185 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/9187/task/9203/stat : 9203 (java) S 9185 9187 6422 0 -1 4202560 2508 0 0 0 39 0 0 0 20 0 19 0 334954880 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013559068856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9187/tid=9204] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9204/stat : 9204 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954880 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013558016504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9205] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9205/stat : 9205 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954880 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013556964168 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9211] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9211/stat : 9211 (java) S 9185 9187 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334955068 3097006080 31860 33554432000 1073741824 1073778376 140735696880656 140013554832296 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 3024420

[startup+6.30077 s]
/proc/loadavg: 1.98 2.07 2.03 3/215 9211
/proc/meminfo: memFree=27317636/32873844 swapFree=7620/7620
[pid=9187] ppid=9185 vsize=3024420 CPUtime=7.03 cores=1,3,5,7
/proc/9187/stat : 9187 (java) S 9185 9187 6422 0 -1 4202496 9272 0 1 0 697 6 0 0 20 0 19 0 334954872 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140735696871792 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9187/statm: 756105 52054 2274 9 0 746526 0
[pid=9187/tid=9189] ppid=9185 vsize=3024420 CPUtime=6.23 cores=1,3,5,7
/proc/9187/task/9189/stat : 9189 (java) R 9185 9187 6422 0 -1 4202560 2667 0 1 0 618 5 0 0 20 0 19 0 334954873 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013718495656 140013658776265 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9190] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9190/stat : 9190 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013653777064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9191] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9191/stat : 9191 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013582846760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9192] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9192/stat : 9192 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013581794216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9187/tid=9193] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9193/stat : 9193 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013580741672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9194] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9194/stat : 9194 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013579688104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9195] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9195/stat : 9195 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013578635560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9196] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9196/stat : 9196 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013577583016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9197] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9197/stat : 9197 (java) S 9185 9187 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334954875 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013576530472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9198] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9198/stat : 9198 (java) S 9185 9187 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334954876 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013564332648 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9199] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9199/stat : 9199 (java) S 9185 9187 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334954877 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013563278968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9200] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9200/stat : 9200 (java) S 9185 9187 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334954877 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013562226312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9201] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9201/stat : 9201 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954880 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013561175056 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9202] ppid=9185 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/9187/task/9202/stat : 9202 (java) S 9185 9187 6422 0 -1 4202560 2885 0 0 0 35 0 0 0 20 0 19 0 334954880 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013560121400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9203] ppid=9185 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/9187/task/9203/stat : 9203 (java) S 9185 9187 6422 0 -1 4202560 2508 0 0 0 39 0 0 0 20 0 19 0 334954880 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013559068856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9187/tid=9204] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9204/stat : 9204 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954880 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013558016504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9205] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9205/stat : 9205 (java) S 9185 9187 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334954880 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013556964168 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9211] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9211/stat : 9211 (java) S 9185 9187 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334955068 3097006080 52054 33554432000 1073741824 1073778376 140735696880656 140013554832296 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

/proc/9187/task/9199/stat : 9199 (java) S 9185 9187 6422 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 334954877 3097006080 419023 33554432000 1073741824 1073778376 140735696880656 140013563279032 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9200] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9200/stat : 9200 (java) S 9185 9187 6422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334954877 3097006080 419023 33554432000 1073741824 1073778376 140735696880656 140013562225928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9201] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9201/stat : 9201 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954880 3097006080 419023 33554432000 1073741824 1073778376 140735696880656 140013561175056 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9202] ppid=9185 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/9187/task/9202/stat : 9202 (java) S 9185 9187 6422 0 -1 4202560 2913 0 0 0 42 0 0 0 20 0 19 0 334954880 3097006080 419023 33554432000 1073741824 1073778376 140735696880656 140013560121400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9203] ppid=9185 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/9187/task/9203/stat : 9203 (java) S 9185 9187 6422 0 -1 4202560 2512 0 0 0 45 0 0 0 20 0 19 0 334954880 3097006080 419023 33554432000 1073741824 1073778376 140735696880656 140013559068856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9187/tid=9204] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9204/stat : 9204 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334954880 3097006080 419023 33554432000 1073741824 1073778376 140735696880656 140013558016504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9205] ppid=9185 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/9187/task/9205/stat : 9205 (java) S 9185 9187 6422 0 -1 4202560 16 0 0 0 4 7 0 0 20 0 19 0 334954880 3097006080 419023 33554432000 1073741824 1073778376 140735696880656 140013556964168 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9211] ppid=9185 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9211/stat : 9211 (java) S 9185 9187 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334955068 3097006080 419023 33554432000 1073741824 1073778376 140735696880656 140013554832296 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 269.99
Current children cumulated vsize (KiB) 3024420

[startup+267.101 s]
/proc/loadavg: 2.03 2.03 2.01 3/215 9212
/proc/meminfo: memFree=25827536/32873844 swapFree=7620/7620
[pid=9187] ppid=9185 vsize=3090984 CPUtime=271.59 cores=1,3,5,7
/proc/9187/stat : 9187 (java) S 9185 9187 6422 0 -1 4202496 12271 0 1 0 26990 169 0 0 20 0 20 0 334954872 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140735696871792 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9187/statm: 772746 419037 2302 9 0 763167 0
[pid=9187/tid=9189] ppid=9185 vsize=3090984 CPUtime=254.84 cores=1,3,5,7
/proc/9187/task/9189/stat : 9189 (java) S 9185 9187 6422 0 -1 4202560 2833 0 1 0 25471 13 0 0 20 0 20 0 334954873 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013718496440 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9190] ppid=9185 vsize=3090984 CPUtime=0.51 cores=1,3,5,7
/proc/9187/task/9190/stat : 9190 (java) S 9185 9187 6422 0 -1 4202560 295 0 0 0 33 18 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013653777064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9187/tid=9191] ppid=9185 vsize=3090984 CPUtime=0.69 cores=1,3,5,7
/proc/9187/task/9191/stat : 9191 (java) S 9185 9187 6422 0 -1 4202560 348 0 0 0 51 18 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013582846760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9187/tid=9192] ppid=9185 vsize=3090984 CPUtime=0.46 cores=1,3,5,7
/proc/9187/task/9192/stat : 9192 (java) S 9185 9187 6422 0 -1 4202560 188 0 0 0 33 13 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013581794216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9193] ppid=9185 vsize=3090984 CPUtime=0.68 cores=1,3,5,7
/proc/9187/task/9193/stat : 9193 (java) S 9185 9187 6422 0 -1 4202560 416 0 0 0 43 25 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013580741672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9194] ppid=9185 vsize=3090984 CPUtime=0.76 cores=1,3,5,7
/proc/9187/task/9194/stat : 9194 (java) S 9185 9187 6422 0 -1 4202560 480 0 0 0 51 25 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013579688104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9195] ppid=9185 vsize=3090984 CPUtime=0.54 cores=1,3,5,7
/proc/9187/task/9195/stat : 9195 (java) S 9185 9187 6422 0 -1 4202560 221 0 0 0 40 14 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013578635560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9196] ppid=9185 vsize=3090984 CPUtime=0.55 cores=1,3,5,7
/proc/9187/task/9196/stat : 9196 (java) S 9185 9187 6422 0 -1 4202560 450 0 0 0 34 21 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013577583016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9197] ppid=9185 vsize=3090984 CPUtime=0.53 cores=1,3,5,7
/proc/9187/task/9197/stat : 9197 (java) S 9185 9187 6422 0 -1 4202560 163 0 0 0 41 12 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013576530472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9198] ppid=9185 vsize=3090984 CPUtime=10.27 cores=1,3,5,7
/proc/9187/task/9198/stat : 9198 (java) R 9185 9187 6422 0 -1 4202560 222 0 0 0 1019 8 0 0 20 0 20 0 334954876 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013564332648 140013722632541 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9199] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9199/stat : 9199 (java) S 9185 9187 6422 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 334954877 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013563278968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9200] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9200/stat : 9200 (java) S 9185 9187 6422 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 334954877 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013562226312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9201] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9201/stat : 9201 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334954880 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013561175056 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9202] ppid=9185 vsize=3090984 CPUtime=0.42 cores=1,3,5,7
/proc/9187/task/9202/stat : 9202 (java) S 9185 9187 6422 0 -1 4202560 2913 0 0 0 42 0 0 0 20 0 20 0 334954880 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013560121400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9203] ppid=9185 vsize=3090984 CPUtime=0.45 cores=1,3,5,7
/proc/9187/task/9203/stat : 9203 (java) S 9185 9187 6422 0 -1 4202560 2512 0 0 0 45 0 0 0 20 0 20 0 334954880 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013559068856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9187/tid=9204] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9204/stat : 9204 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334954880 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013558016504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9205] ppid=9185 vsize=3090984 CPUtime=0.11 cores=1,3,5,7
/proc/9187/task/9205/stat : 9205 (java) S 9185 9187 6422 0 -1 4202560 16 0 0 0 4 7 0 0 20 0 20 0 334954880 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013556964168 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9211] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9211/stat : 9211 (java) S 9185 9187 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 334955068 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013554832296 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 271.59
Current children cumulated vsize (KiB) 3090984

[startup+267.501 s]
/proc/loadavg: 2.03 2.03 2.01 3/216 9213
/proc/meminfo: memFree=25827280/32873844 swapFree=7620/7620
[pid=9187] ppid=9185 vsize=3090984 CPUtime=271.99 cores=1,3,5,7
/proc/9187/stat : 9187 (java) S 9185 9187 6422 0 -1 4202496 12273 0 1 0 27030 169 0 0 20 0 20 0 334954872 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140735696871792 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9187/statm: 772746 419037 2302 9 0 763167 0
[pid=9187/tid=9189] ppid=9185 vsize=3090984 CPUtime=254.84 cores=1,3,5,7
/proc/9187/task/9189/stat : 9189 (java) S 9185 9187 6422 0 -1 4202560 2833 0 1 0 25471 13 0 0 20 0 20 0 334954873 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013718496440 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9190] ppid=9185 vsize=3090984 CPUtime=0.51 cores=1,3,5,7
/proc/9187/task/9190/stat : 9190 (java) S 9185 9187 6422 0 -1 4202560 295 0 0 0 33 18 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013653777064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9187/tid=9191] ppid=9185 vsize=3090984 CPUtime=0.69 cores=1,3,5,7
/proc/9187/task/9191/stat : 9191 (java) S 9185 9187 6422 0 -1 4202560 348 0 0 0 51 18 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013582846760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9187/tid=9192] ppid=9185 vsize=3090984 CPUtime=0.46 cores=1,3,5,7
/proc/9187/task/9192/stat : 9192 (java) S 9185 9187 6422 0 -1 4202560 188 0 0 0 33 13 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013581794216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9193] ppid=9185 vsize=3090984 CPUtime=0.68 cores=1,3,5,7
/proc/9187/task/9193/stat : 9193 (java) S 9185 9187 6422 0 -1 4202560 416 0 0 0 43 25 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013580741672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9194] ppid=9185 vsize=3090984 CPUtime=0.76 cores=1,3,5,7
/proc/9187/task/9194/stat : 9194 (java) S 9185 9187 6422 0 -1 4202560 480 0 0 0 51 25 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013579688104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9195] ppid=9185 vsize=3090984 CPUtime=0.54 cores=1,3,5,7
/proc/9187/task/9195/stat : 9195 (java) S 9185 9187 6422 0 -1 4202560 221 0 0 0 40 14 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013578635560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9196] ppid=9185 vsize=3090984 CPUtime=0.55 cores=1,3,5,7
/proc/9187/task/9196/stat : 9196 (java) S 9185 9187 6422 0 -1 4202560 450 0 0 0 34 21 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013577583016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9197] ppid=9185 vsize=3090984 CPUtime=0.53 cores=1,3,5,7
/proc/9187/task/9197/stat : 9197 (java) S 9185 9187 6422 0 -1 4202560 163 0 0 0 41 12 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013576530472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9198] ppid=9185 vsize=3090984 CPUtime=10.67 cores=1,3,5,7
/proc/9187/task/9198/stat : 9198 (java) R 9185 9187 6422 0 -1 4202560 222 0 0 0 1059 8 0 0 20 0 20 0 334954876 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013564332648 140013725349891 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9199] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9199/stat : 9199 (java) S 9185 9187 6422 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 334954877 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013563278968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9200] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9200/stat : 9200 (java) S 9185 9187 6422 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 334954877 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013562226312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9201] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9201/stat : 9201 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334954880 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013561175056 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9202] ppid=9185 vsize=3090984 CPUtime=0.42 cores=1,3,5,7
/proc/9187/task/9202/stat : 9202 (java) S 9185 9187 6422 0 -1 4202560 2913 0 0 0 42 0 0 0 20 0 20 0 334954880 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013560121400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9203] ppid=9185 vsize=3090984 CPUtime=0.45 cores=1,3,5,7
/proc/9187/task/9203/stat : 9203 (java) S 9185 9187 6422 0 -1 4202560 2512 0 0 0 45 0 0 0 20 0 20 0 334954880 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013559068856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9187/tid=9204] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9204/stat : 9204 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334954880 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013558016504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9205] ppid=9185 vsize=3090984 CPUtime=0.11 cores=1,3,5,7
/proc/9187/task/9205/stat : 9205 (java) S 9185 9187 6422 0 -1 4202560 16 0 0 0 4 7 0 0 20 0 20 0 334954880 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013556964168 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9211] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9211/stat : 9211 (java) S 9185 9187 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 334955068 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013554832296 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9213] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9213/stat : 9213 (java) S 9185 9187 6422 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 334981547 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013553778088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 271.99
Current children cumulated vsize (KiB) 3090984

[startup+267.701 s]
/proc/loadavg: 2.03 2.03 2.01 3/216 9213
/proc/meminfo: memFree=25827280/32873844 swapFree=7620/7620
[pid=9187] ppid=9185 vsize=3090984 CPUtime=272.19 cores=1,3,5,7
/proc/9187/stat : 9187 (java) S 9185 9187 6422 0 -1 4202496 12274 0 1 0 27050 169 0 0 20 0 20 0 334954872 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140735696871792 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9187/statm: 772746 419037 2302 9 0 763167 0
[pid=9187/tid=9189] ppid=9185 vsize=3090984 CPUtime=254.84 cores=1,3,5,7
/proc/9187/task/9189/stat : 9189 (java) S 9185 9187 6422 0 -1 4202560 2833 0 1 0 25471 13 0 0 20 0 20 0 334954873 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013718496440 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9190] ppid=9185 vsize=3090984 CPUtime=0.51 cores=1,3,5,7
/proc/9187/task/9190/stat : 9190 (java) S 9185 9187 6422 0 -1 4202560 295 0 0 0 33 18 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013653777064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9187/tid=9191] ppid=9185 vsize=3090984 CPUtime=0.69 cores=1,3,5,7
/proc/9187/task/9191/stat : 9191 (java) S 9185 9187 6422 0 -1 4202560 348 0 0 0 51 18 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013582846760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9187/tid=9192] ppid=9185 vsize=3090984 CPUtime=0.46 cores=1,3,5,7
/proc/9187/task/9192/stat : 9192 (java) S 9185 9187 6422 0 -1 4202560 188 0 0 0 33 13 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013581794216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9193] ppid=9185 vsize=3090984 CPUtime=0.68 cores=1,3,5,7
/proc/9187/task/9193/stat : 9193 (java) S 9185 9187 6422 0 -1 4202560 416 0 0 0 43 25 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013580741672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9194] ppid=9185 vsize=3090984 CPUtime=0.76 cores=1,3,5,7
/proc/9187/task/9194/stat : 9194 (java) S 9185 9187 6422 0 -1 4202560 480 0 0 0 51 25 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013579688104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9195] ppid=9185 vsize=3090984 CPUtime=0.54 cores=1,3,5,7
/proc/9187/task/9195/stat : 9195 (java) S 9185 9187 6422 0 -1 4202560 221 0 0 0 40 14 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013578635560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9196] ppid=9185 vsize=3090984 CPUtime=0.55 cores=1,3,5,7
/proc/9187/task/9196/stat : 9196 (java) S 9185 9187 6422 0 -1 4202560 450 0 0 0 34 21 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013577583016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9197] ppid=9185 vsize=3090984 CPUtime=0.53 cores=1,3,5,7
/proc/9187/task/9197/stat : 9197 (java) S 9185 9187 6422 0 -1 4202560 163 0 0 0 41 12 0 0 20 0 20 0 334954875 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013576530472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9198] ppid=9185 vsize=3090984 CPUtime=10.87 cores=1,3,5,7
/proc/9187/task/9198/stat : 9198 (java) R 9185 9187 6422 0 -1 4202560 222 0 0 0 1079 8 0 0 20 0 20 0 334954876 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013564332648 140013725003848 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9199] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9199/stat : 9199 (java) S 9185 9187 6422 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 334954877 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013563278968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9200] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9200/stat : 9200 (java) S 9185 9187 6422 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 334954877 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013562226312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9201] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9201/stat : 9201 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334954880 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013561175056 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9202] ppid=9185 vsize=3090984 CPUtime=0.42 cores=1,3,5,7
/proc/9187/task/9202/stat : 9202 (java) S 9185 9187 6422 0 -1 4202560 2913 0 0 0 42 0 0 0 20 0 20 0 334954880 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013560121400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9187/tid=9203] ppid=9185 vsize=3090984 CPUtime=0.45 cores=1,3,5,7
/proc/9187/task/9203/stat : 9203 (java) S 9185 9187 6422 0 -1 4202560 2512 0 0 0 45 0 0 0 20 0 20 0 334954880 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013559068856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9187/tid=9204] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9204/stat : 9204 (java) S 9185 9187 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334954880 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013558016504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9205] ppid=9185 vsize=3090984 CPUtime=0.11 cores=1,3,5,7
/proc/9187/task/9205/stat : 9205 (java) S 9185 9187 6422 0 -1 4202560 16 0 0 0 4 7 0 0 20 0 20 0 334954880 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013556964168 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9187/tid=9211] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9211/stat : 9211 (java) S 9185 9187 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 334955068 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013554832296 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9187/tid=9213] ppid=9185 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/9187/task/9213/stat : 9213 (java) S 9185 9187 6422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 334981547 3165167616 419037 33554432000 1073741824 1073778376 140735696880656 140013553778184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 272.19
Current children cumulated vsize (KiB) 3090984

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9187 and gives
#  childrusage.ru_utime.tv_sec=269
#  childrusage.ru_utime.tv_usec=822980
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=872715
# CPU time returned by wait4() is 271.696
# while last known CPU time is 272.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 267.748
CPU time (s): 272.19
CPU user time (s): 270.5
CPU system time (s): 1.69
CPU usage (%): 101.659
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 269.823
system time used= 1.87271
maximum resident set size= 1676176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12285
page faults= 1
swaps= 0
block input operations= 8
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6288
involuntary context switches= 1820

runsolver used 1.74073 second user time and 2.11168 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-03 03:51:41
IDJOB=3731857
IDBENCH=1992
IDSOLVER=2319
FILE ID=node135/3731857-1338688301
RUNJOBID= node135-1338678628-6442
PBS_JOBID= 14636678
Free space on /tmp= 70960 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731857-1338688301/watcher-3731857-1338688301 -o /tmp/evaluation-result-3731857-1338688301/solver-3731857-1338688301 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731857-1338688301.opb           

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

MD5SUM BENCH= ff2125c4e604678d0c316c16eb28ba7d
RANDOM SEED=941856490

node135.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.820
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.64
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.820
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	: 5332.57
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.820
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	: 5332.55
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.820
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	: 5332.55
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.820
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	: 5332.54
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.820
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	: 5332.55
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.820
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	: 5238.35
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.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27498576 kB
Buffers:          352540 kB
Cached:          2496408 kB
SwapCached:         1672 kB
Active:          2831912 kB
Inactive:        1698040 kB
Active(anon):    1671320 kB
Inactive(anon):    12036 kB
Active(file):    1160592 kB
Inactive(file):  1686004 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              3720 kB
Writeback:            16 kB
AnonPages:       1687128 kB
Mapped:            18760 kB
Shmem:               132 kB
Slab:             701304 kB
SReclaimable:     142884 kB
SUnreclaim:       558420 kB
KernelStack:        1648 kB
PageTables:         7460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1646592 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= 70956 MiB
End job on node135 at 2012-06-03 03:56:09