Trace number 3731725

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. 278.731 274.945

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
MD5SUM1a62ccf42beef1991aac7e4813cc0d13
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1034
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 1031
Optimality of the best value was proved NO
Number of variables1959
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 1959
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 1959
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 1959
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.00/0.10	--- Begin Solver configuration ---
0.00/0.10	c Stops conflict analysis at the first Unique Implication Point
0.00/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.00/0.10	c Learn all clauses as in MiniSAT
0.00/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.00/0.10	c No reason simplification
0.00/0.10	c --- End Solver configuration ---
0.00/0.10	c solving HOME/instance-3731725-1338687978.opb
0.00/0.10	c reading problem ... 
0.46/0.32	c ... done. Wall clock time 0.223s.
0.46/0.32	c CPU time (experimental) 0.29s.
0.46/0.32	c #vars     1959
0.46/0.32	c #constraints  4000
0.46/0.36	c SATISFIABLE
0.46/0.36	c OPTIMIZING...
0.46/0.36	c Got one! Elapsed wall clock time (in seconds):0.261
0.46/0.36	o 1209
0.69/0.46	c Got one! Elapsed wall clock time (in seconds):0.363
0.69/0.46	o 1208
0.97/0.55	c Got one! Elapsed wall clock time (in seconds):0.457
0.97/0.56	o 1197
2.61/1.83	c Got one! Elapsed wall clock time (in seconds):1.737
2.61/1.84	o 1194
3.47/2.68	c Got one! Elapsed wall clock time (in seconds):2.587
3.47/2.69	o 1193
3.88/3.07	c Got one! Elapsed wall clock time (in seconds):2.977
3.88/3.08	o 1192
4.30/3.45	c Got one! Elapsed wall clock time (in seconds):3.357
4.30/3.46	o 1174
75.65/73.25	c cleaning 151185 clauses out of 302382 for limit 809064.8169664847
77.36/74.99	c cleaning 75845 clauses out of 151698 for limit 2662255.879082294
77.66/75.26	c cleaning 38170 clauses out of 76352 for limit 8714261.88459014
77.96/75.52	c cleaning 19331 clauses out of 38682 for limit 2.8365993004869744E7
78.16/75.75	c cleaning 9914 clauses out of 19851 for limit 9.11549820118973E7
78.26/75.89	c cleaning 5208 clauses out of 10438 for limit 2.861777766887193E8
78.36/76.00	c cleaning 2854 clauses out of 5730 for limit 8.597149181839511E8
78.56/76.10	c cleaning 1679 clauses out of 3376 for limit 2.406370716306473E9
78.56/76.18	c cleaning 1089 clauses out of 2197 for limit 6.098047486336919E9
78.66/76.27	c cleaning 796 clauses out of 1608 for limit 1.374012556188227E10
78.76/76.35	c cleaning 656 clauses out of 1312 for limit 2.7771465485999405E10
78.86/76.44	c cleaning 578 clauses out of 1156 for limit 5.197933102423611E10
78.96/76.52	c cleaning 538 clauses out of 1077 for limit 9.19166508873983E10
79.06/76.60	c cleaning 519 clauses out of 1039 for limit 1.5712678867950558E11
79.06/76.69	c cleaning 504 clauses out of 1020 for limit 2.6394989732037405E11
79.16/76.77	c cleaning 508 clauses out of 1016 for limit 4.3700242627181696E11
79.26/76.86	c cleaning 504 clauses out of 1009 for limit 7.264015943137162E11
79.36/76.94	c cleaning 502 clauses out of 1005 for limit 1.2027012994404585E12
79.46/77.03	c cleaning 492 clauses out of 1002 for limit 1.9873643528453787E12
79.56/77.11	c cleaning 497 clauses out of 1010 for limit 3.2514698436178374E12
79.56/77.20	c cleaning 502 clauses out of 1013 for limit 5.346228858281626E12
79.66/77.27	c cleaning 499 clauses out of 1011 for limit 8.834088030382412E12
79.76/77.35	c cleaning 506 clauses out of 1012 for limit 1.455419712240295E13
79.86/77.43	c cleaning 503 clauses out of 1006 for limit 2.4144970077003758E13
79.96/77.51	c cleaning 501 clauses out of 1003 for limit 3.9937383277734555E13
80.06/77.60	c cleaning 501 clauses out of 1003 for limit 6.592801576830214E13
80.06/77.68	c cleaning 500 clauses out of 1001 for limit 1.0883240734977452E14
80.16/77.76	c cleaning 493 clauses out of 1002 for limit 1.7947955765927153E14
80.26/77.84	c cleaning 497 clauses out of 1008 for limit 2.9392975670151206E14
80.36/77.92	c cleaning 495 clauses out of 1011 for limit 4.832911235809315E14
80.46/78.00	c cleaning 508 clauses out of 1017 for limit 7.931026849801955E14
80.46/78.09	c cleaning 498 clauses out of 1008 for limit 1.3182907846137592E15
80.56/78.17	c cleaning 496 clauses out of 1011 for limit 2.1697564671565738E15
80.66/78.26	c cleaning 499 clauses out of 1015 for limit 3.564117324767658E15
80.76/78.34	c cleaning 503 clauses out of 1016 for limit 5.871921123663093E15
80.86/78.43	c cleaning 507 clauses out of 1014 for limit 9.712395630251784E15
80.96/78.52	c cleaning 503 clauses out of 1006 for limit 1.6128267368599104E16
178.50/175.59	c cleaning 150492 clauses out of 301004 for limit 20083.3442369301
189.80/186.81	c cleaning 75502 clauses out of 151010 for limit 65885.44068364301
191.80/188.87	c cleaning 37996 clauses out of 76009 for limit 216082.97106753947
192.20/189.25	c cleaning 19248 clauses out of 38512 for limit 702604.3976947549
192.40/189.45	c cleaning 9875 clauses out of 19764 for limit 2257813.04787844
192.50/189.59	c cleaning 5186 clauses out of 10389 for limit 7083452.149003999
192.70/189.72	c cleaning 2838 clauses out of 5703 for limit 2.127998052393643E7
192.80/189.80	c cleaning 1675 clauses out of 3365 for limit 5.9476501698770866E7
192.80/189.89	c cleaning 1086 clauses out of 2190 for limit 1.507100649172167E8
192.90/189.97	c cleaning 794 clauses out of 1604 for limit 3.393422185223124E8
193.00/190.06	c cleaning 647 clauses out of 1310 for limit 6.852149820090946E8
193.10/190.14	c cleaning 581 clauses out of 1163 for limit 1.272841474631847E9
193.20/190.22	c cleaning 541 clauses out of 1082 for limit 2.256226308741872E9
193.20/190.30	c cleaning 520 clauses out of 1041 for limit 3.867364241071995E9
193.30/190.38	c cleaning 510 clauses out of 1021 for limit 6.502733439050419E9
193.40/190.47	c cleaning 500 clauses out of 1012 for limit 1.0830077889839855E10
193.50/190.55	c cleaning 501 clauses out of 1012 for limit 1.7860247262245533E10
193.60/190.64	c cleaning 499 clauses out of 1011 for limit 2.9483070505454235E10
193.70/190.72	c cleaning 506 clauses out of 1012 for limit 4.857348245051504E10
193.80/190.81	c cleaning 493 clauses out of 1005 for limit 8.058144799177727E10
193.80/190.90	c cleaning 506 clauses out of 1012 for limit 1.319703909786063E11
193.90/190.98	c cleaning 498 clauses out of 1007 for limit 2.1893638560074814E11
194.00/191.06	c cleaning 496 clauses out of 1009 for limit 3.6033971889176544E11
194.12/191.15	c cleaning 506 clauses out of 1013 for limit 5.91901912590549E11
194.22/191.23	c cleaning 503 clauses out of 1007 for limit 9.819414774231559E11
194.32/191.32	c cleaning 494 clauses out of 1003 for limit 1.6241850844763516E12
194.42/191.40	c cleaning 499 clauses out of 1010 for limit 2.66259723024659E12
194.42/191.49	c cleaning 498 clauses out of 1010 for limit 4.3865880495329204E12
194.52/191.57	c cleaning 506 clauses out of 1013 for limit 7.219866684196134E12
194.62/191.66	c cleaning 503 clauses out of 1007 for limit 1.1977468576929496E13
194.72/191.74	c cleaning 501 clauses out of 1003 for limit 1.9811390250551324E13
194.82/191.82	c cleaning 496 clauses out of 1003 for limit 3.270433718071141E13
194.92/191.90	c cleaning 495 clauses out of 1007 for limit 5.371959146008355E13
194.92/191.99	c cleaning 494 clauses out of 1011 for limit 8.815204492312425E13
195.02/192.07	c cleaning 508 clauses out of 1017 for limit 1.4451684809355603E14
195.12/192.16	c cleaning 497 clauses out of 1010 for limit 2.4021961078894966E14
195.22/192.24	c cleaning 495 clauses out of 1013 for limit 3.9498106311700856E14
273.08/269.49	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
273.08/269.49		at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source)
273.08/269.49		at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(Unknown Source)
273.48/269.84		at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(Unknown Source)
273.48/269.84		at org.sat4j.minisat.core.Solver.analyze(Unknown Source)
273.48/269.84		at org.sat4j.minisat.core.Solver.search(Unknown Source)
273.48/269.84		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
273.68/270.07		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
273.98/270.30		at org.sat4j.tools.SolverDecorator.isSatisfiable(Unknown Source)
273.98/270.30		at org.sat4j.opt.PseudoOptDecorator.admitABetterSolution(Unknown Source)
273.98/270.30		at org.sat4j.AbstractOptimizationLauncher.solve(Unknown Source)
273.98/270.30		at org.sat4j.LanceurPseudo2005.solve(Unknown Source)
274.58/270.98		at org.sat4j.AbstractLauncher.run(Unknown Source)
274.58/270.98		at org.sat4j.LanceurPseudo2007.main(Unknown Source)
276.49/272.84	c starts		: 58
276.49/272.84	c conflicts		: 907814
276.49/272.84	c decisions		: 1158558
276.49/272.84	c propagations		: 18873345
276.49/272.84	c inspects		: 125152041
276.49/272.84	c learnt literals	: 0
276.49/272.84	c learnt binary clauses	: 0
276.49/272.84	c learnt ternary clauses	: 0
276.49/272.84	c learnt clauses	: 907813
276.49/272.84	c root simplifications	: 0
276.49/272.84	c removed literals (reason simplification)	: 0
276.49/272.84	c reason swapping (by a shorter reason)	: 0
276.49/272.84	c Calls to reduceDB	: 74
276.49/272.84	c speed (decisions/second)	: 4300.735747217746
276.49/272.84	c non guided choices	43
276.49/272.84	s SATISFIABLE
278.59/274.93	Exception in thread "Thread-0" java.lang.OutOfMemoryError: GC overhead limit exceeded
278.59/274.93		at java.lang.Integer.toString(Integer.java:310)
278.59/274.93		at java.lang.Integer.toString(Integer.java:118)
278.59/274.93		at java.lang.String.valueOf(String.java:2931)
278.59/274.93		at java.io.PrintWriter.print(PrintWriter.java:487)
278.59/274.93		at org.sat4j.reader.OPBReader2005.decode(Unknown Source)
278.59/274.93		at org.sat4j.AbstractOptimizationLauncher.displayResult(Unknown Source)
278.59/274.93		at org.sat4j.AbstractLauncher$1.run(Unknown Source)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731725-1338687978/watcher-3731725-1338687978 -o /tmp/evaluation-result-3731725-1338687978/solver-3731725-1338687978 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731725-1338687978.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.13 2.07 2.06 3/195 3696
/proc/meminfo: memFree=28519252/32873648 swapFree=7116/7116
[pid=3696] ppid=3694 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/3696/stat : 3696 (java) D 3694 3696 1585 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 334923220 9515008 183 33554432000 1073741824 1073778376 140735243154848 140735243145880 214537420469 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/3696/statm: 2323 183 140 9 0 71 0

[startup+0.104142 s]
/proc/loadavg: 2.13 2.07 2.06 3/195 3696
/proc/meminfo: memFree=28519252/32873648 swapFree=7116/7116
[pid=3696] ppid=3694 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/3696/stat : 3696 (java) S 3694 3696 1585 0 -1 4202496 4916 0 1 0 9 1 0 0 20 0 18 0 334923220 3028844544 7135 33554432000 1073741824 1073778376 140735281667920 140735281659056 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3696/statm: 739464 7135 2130 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.200205 s]
/proc/loadavg: 2.13 2.07 2.06 3/195 3696
/proc/meminfo: memFree=28519252/32873648 swapFree=7116/7116
[pid=3696] ppid=3694 vsize=2957856 CPUtime=0.27 cores=0,2,4,6
/proc/3696/stat : 3696 (java) S 3694 3696 1585 0 -1 4202496 5372 0 1 0 26 1 0 0 20 0 18 0 334923220 3028844544 7894 33554432000 1073741824 1073778376 140735281667920 140735281659056 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3696/statm: 739464 7894 2220 9 0 729885 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 2957856

[startup+0.300221 s]
/proc/loadavg: 2.13 2.07 2.06 3/195 3696
/proc/meminfo: memFree=28519252/32873648 swapFree=7116/7116
[pid=3696] ppid=3694 vsize=2957856 CPUtime=0.46 cores=0,2,4,6
/proc/3696/stat : 3696 (java) S 3694 3696 1585 0 -1 4202496 5765 0 1 0 45 1 0 0 20 0 18 0 334923220 3028844544 9115 33554432000 1073741824 1073778376 140735281667920 140735281659056 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3696/statm: 739464 9115 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2957856

[startup+0.700179 s]
/proc/loadavg: 2.13 2.07 2.06 3/195 3696
/proc/meminfo: memFree=28519252/32873648 swapFree=7116/7116
[pid=3696] ppid=3694 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/3696/stat : 3696 (java) S 3694 3696 1585 0 -1 4202496 13552 0 1 0 145 2 0 0 20 0 19 0 334923220 3097006080 15446 33554432000 1073741824 1073778376 140735281667920 140735281659056 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3696/statm: 756105 15446 2269 9 0 746526 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 3024420

[startup+1.50062 s]
/proc/loadavg: 2.13 2.07 2.06 3/214 3718
/proc/meminfo: memFree=28456092/32873648 swapFree=7116/7116
[pid=3696] ppid=3694 vsize=3024420 CPUtime=2.31 cores=0,2,4,6
/proc/3696/stat : 3696 (java) S 3694 3696 1585 0 -1 4202496 13569 0 1 0 229 2 0 0 20 0 19 0 334923220 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 140735281659056 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3696/statm: 756105 21083 2272 9 0 746526 0
[pid=3696/tid=3698] ppid=3694 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/3696/task/3698/stat : 3698 (java) R 3694 3696 1585 0 -1 4202560 3080 0 1 0 145 1 0 0 20 0 19 0 334923221 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139654243363368 139654100234183 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3699] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3699/stat : 3699 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139654226791464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3700] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3700/stat : 3700 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139654225738664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3701] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3701/stat : 3701 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139654224685864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3702] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3702/stat : 3702 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139654223633064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3703] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3703/stat : 3703 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139654222580264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3704] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3704/stat : 3704 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139654221527464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3705] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3705/stat : 3705 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139654220474664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3706] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3706/stat : 3706 (java) S 3694 3696 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139654219421864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3707] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3707/stat : 3707 (java) S 3694 3696 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334923223 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139654088268776 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3708] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3708/stat : 3708 (java) S 3694 3696 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334923224 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139654087214840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3709] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3709/stat : 3709 (java) S 3694 3696 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334923224 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139654218368520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3710] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3710/stat : 3710 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923226 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139654086163088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3711] ppid=3694 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/3696/task/3711/stat : 3711 (java) S 3694 3696 1585 0 -1 4202560 4997 0 0 0 41 0 0 0 20 0 19 0 334923226 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139654085110200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3712] ppid=3694 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/3696/task/3712/stat : 3712 (java) S 3694 3696 1585 0 -1 4202560 4283 0 0 0 39 0 0 0 20 0 19 0 334923226 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139654084057400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3713] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3713/stat : 3713 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923226 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139653210433912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3714] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3714/stat : 3714 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923226 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139653209381320 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3718] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3718/stat : 3718 (java) S 3694 3696 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334923279 3097006080 21083 33554432000 1073741824 1073778376 140735281667920 139653207250216 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 3024420

[startup+3.10068 s]
/proc/loadavg: 2.13 2.07 2.06 3/214 3719
/proc/meminfo: memFree=28420780/32873648 swapFree=7116/7116
[pid=3696] ppid=3694 vsize=3024420 CPUtime=3.99 cores=0,2,4,6
/proc/3696/stat : 3696 (java) S 3694 3696 1585 0 -1 4202496 13650 0 1 0 396 3 0 0 20 0 19 0 334923220 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 140735281659056 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3696/statm: 756105 33888 2273 9 0 746526 0
[pid=3696/tid=3698] ppid=3694 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/3696/task/3698/stat : 3698 (java) R 3694 3696 1585 0 -1 4202560 3107 0 1 0 304 2 0 0 20 0 19 0 334923221 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139654243365480 139654100241677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3699] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3699/stat : 3699 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139654226791464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3700] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3700/stat : 3700 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139654225738664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3701] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3701/stat : 3701 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139654224685864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3702] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3702/stat : 3702 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139654223633064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3703] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3703/stat : 3703 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139654222580264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3704] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3704/stat : 3704 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139654221527464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3705] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3705/stat : 3705 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139654220474664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3706] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3706/stat : 3706 (java) S 3694 3696 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139654219421864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3707] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3707/stat : 3707 (java) S 3694 3696 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334923223 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139654088268776 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3708] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3708/stat : 3708 (java) S 3694 3696 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334923224 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139654087214840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3709] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3709/stat : 3709 (java) S 3694 3696 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334923224 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139654218368520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3710] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3710/stat : 3710 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923226 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139654086163088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3711] ppid=3694 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/3696/task/3711/stat : 3711 (java) S 3694 3696 1585 0 -1 4202560 4999 0 0 0 45 0 0 0 20 0 19 0 334923226 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139654085110200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3712] ppid=3694 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/3696/task/3712/stat : 3712 (java) S 3694 3696 1585 0 -1 4202560 4329 0 0 0 43 0 0 0 20 0 19 0 334923226 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139654084057400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3713] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3713/stat : 3713 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923226 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139653210433912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3714] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3714/stat : 3714 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923226 3097006080 33888 33554432000 1073741824 1073778376 140735281667920 139653209381320 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 3024420

[startup+6.30071 s]
/proc/loadavg: 2.12 2.07 2.06 3/214 3722
/proc/meminfo: memFree=28327576/32873648 swapFree=7116/7116
[pid=3696] ppid=3694 vsize=3024420 CPUtime=7.21 cores=0,2,4,6
/proc/3696/stat : 3696 (java) S 3694 3696 1585 0 -1 4202496 13707 0 1 0 717 4 0 0 20 0 19 0 334923220 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 140735281659056 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3696/statm: 756105 54819 2274 9 0 746526 0
[pid=3696/tid=3698] ppid=3694 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/3696/task/3698/stat : 3698 (java) R 3694 3696 1585 0 -1 4202560 3150 0 1 0 623 3 0 0 20 0 19 0 334923221 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139654243363296 139654100242791 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3699] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3699/stat : 3699 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139654226791464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3700] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3700/stat : 3700 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139654225738664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3701] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3701/stat : 3701 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139654224685864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3702] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3702/stat : 3702 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139654223633064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3703] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3703/stat : 3703 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139654222580264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3704] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3704/stat : 3704 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139654221527464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3705] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3705/stat : 3705 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139654220474664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3706] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3706/stat : 3706 (java) S 3694 3696 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334923222 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139654219421864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3707] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3707/stat : 3707 (java) S 3694 3696 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334923223 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139654088268776 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3708] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3708/stat : 3708 (java) S 3694 3696 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334923224 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139654087214840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3709] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3709/stat : 3709 (java) S 3694 3696 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334923224 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139654218368520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3710] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3710/stat : 3710 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923226 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139654086163088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3711] ppid=3694 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/3696/task/3711/stat : 3711 (java) S 3694 3696 1585 0 -1 4202560 4999 0 0 0 46 0 0 0 20 0 19 0 334923226 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139654085110200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3712] ppid=3694 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/3696/task/3712/stat : 3712 (java) S 3694 3696 1585 0 -1 4202560 4340 0 0 0 44 0 0 0 20 0 19 0 334923226 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139654084057400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3713] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3713/stat : 3713 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334923226 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139653210433912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3714] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3714/stat : 3714 (java) S 3694 3696 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334923226 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139653209381320 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3722] ppid=3694 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3722/stat : 3722 (java) S 3694 3696 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334923566 3097006080 54819 33554432000 1073741824 1073778376 140735281667920 139653207249704 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]
/proc/loadavg: 2.11 2.07 2.06 3/214 3722
/proc/meminfo: memFree=28171340/32873648 swapFree=7116/7116

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

/proc/3696/task/3703/stat : 3703 (java) S 3694 3696 1585 0 -1 4202560 358 0 0 0 31 15 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654222580264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3704] ppid=3694 vsize=3090984 CPUtime=0.43 cores=0,2,4,6
/proc/3696/task/3704/stat : 3704 (java) S 3694 3696 1585 0 -1 4202560 231 0 0 0 31 12 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654221527464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3705] ppid=3694 vsize=3090984 CPUtime=0.34 cores=0,2,4,6
/proc/3696/task/3705/stat : 3705 (java) S 3694 3696 1585 0 -1 4202560 240 0 0 0 24 10 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654220474664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3706] ppid=3694 vsize=3090984 CPUtime=0.33 cores=0,2,4,6
/proc/3696/task/3706/stat : 3706 (java) S 3694 3696 1585 0 -1 4202560 179 0 0 0 24 9 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654219421864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3707] ppid=3694 vsize=3090984 CPUtime=6.42 cores=0,2,4,6
/proc/3696/task/3707/stat : 3707 (java) R 3694 3696 1585 0 -1 4202560 228 0 0 0 636 6 0 0 20 0 20 0 334923223 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654088268776 139654250219520 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3708] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3708/stat : 3708 (java) S 3694 3696 1585 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 334923224 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654087214840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3709] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3709/stat : 3709 (java) S 3694 3696 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 334923224 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654218368520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3710] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3710/stat : 3710 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654086163088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3711] ppid=3694 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/3696/task/3711/stat : 3711 (java) S 3694 3696 1585 0 -1 4202560 5003 0 0 0 49 0 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654085110200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3712] ppid=3694 vsize=3090984 CPUtime=0.53 cores=0,2,4,6
/proc/3696/task/3712/stat : 3712 (java) S 3694 3696 1585 0 -1 4202560 4373 0 0 0 53 0 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654084057400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3713] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3713/stat : 3713 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139653210433912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3714] ppid=3694 vsize=3090984 CPUtime=0.06 cores=0,2,4,6
/proc/3696/task/3714/stat : 3714 (java) S 3694 3696 1585 0 -1 4202560 18 0 0 0 2 4 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139653209381320 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3722] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3722/stat : 3722 (java) S 3694 3696 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 334923566 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139653207249704 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3936] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3936/stat : 3936 (java) S 3694 3696 1585 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 334950456 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139653206197160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 277.29
Current children cumulated vsize (KiB) 3090984

[startup+274.401 s]
/proc/loadavg: 2.02 2.06 2.06 3/215 3936
/proc/meminfo: memFree=26385572/32873648 swapFree=7116/7116
[pid=3696] ppid=3694 vsize=3090984 CPUtime=278.09 cores=0,2,4,6
/proc/3696/stat : 3696 (java) S 3694 3696 1585 0 -1 4202496 16283 0 1 0 27681 128 0 0 20 0 20 0 334923220 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 140735281659056 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3696/statm: 772746 419134 2302 9 0 763167 0
[pid=3696/tid=3698] ppid=3694 vsize=3090984 CPUtime=266.16 cores=0,2,4,6
/proc/3696/task/3698/stat : 3698 (java) S 3694 3696 1585 0 -1 4202560 3292 0 1 0 26605 11 0 0 20 0 20 0 334923221 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654243366072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3699] ppid=3694 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/3696/task/3699/stat : 3699 (java) S 3694 3696 1585 0 -1 4202560 258 0 0 0 30 16 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654226791464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3700] ppid=3694 vsize=3090984 CPUtime=0.38 cores=0,2,4,6
/proc/3696/task/3700/stat : 3700 (java) S 3694 3696 1585 0 -1 4202560 203 0 0 0 28 10 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654225738664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3701] ppid=3694 vsize=3090984 CPUtime=0.4 cores=0,2,4,6
/proc/3696/task/3701/stat : 3701 (java) S 3694 3696 1585 0 -1 4202560 219 0 0 0 27 13 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654224685864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3702] ppid=3694 vsize=3090984 CPUtime=0.68 cores=0,2,4,6
/proc/3696/task/3702/stat : 3702 (java) S 3694 3696 1585 0 -1 4202560 444 0 0 0 40 28 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654223633064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3703] ppid=3694 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/3696/task/3703/stat : 3703 (java) S 3694 3696 1585 0 -1 4202560 358 0 0 0 31 15 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654222580264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3704] ppid=3694 vsize=3090984 CPUtime=0.43 cores=0,2,4,6
/proc/3696/task/3704/stat : 3704 (java) S 3694 3696 1585 0 -1 4202560 231 0 0 0 31 12 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654221527464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3705] ppid=3694 vsize=3090984 CPUtime=0.34 cores=0,2,4,6
/proc/3696/task/3705/stat : 3705 (java) S 3694 3696 1585 0 -1 4202560 240 0 0 0 24 10 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654220474664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3706] ppid=3694 vsize=3090984 CPUtime=0.33 cores=0,2,4,6
/proc/3696/task/3706/stat : 3706 (java) S 3694 3696 1585 0 -1 4202560 179 0 0 0 24 9 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654219421864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3707] ppid=3694 vsize=3090984 CPUtime=7.22 cores=0,2,4,6
/proc/3696/task/3707/stat : 3707 (java) R 3694 3696 1585 0 -1 4202560 228 0 0 0 716 6 0 0 20 0 20 0 334923223 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654088268776 139654249491599 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3708] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3708/stat : 3708 (java) S 3694 3696 1585 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 334923224 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654087214840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3709] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3709/stat : 3709 (java) S 3694 3696 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 334923224 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654218368520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3710] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3710/stat : 3710 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654086163088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3711] ppid=3694 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/3696/task/3711/stat : 3711 (java) S 3694 3696 1585 0 -1 4202560 5003 0 0 0 49 0 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654085110200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3712] ppid=3694 vsize=3090984 CPUtime=0.53 cores=0,2,4,6
/proc/3696/task/3712/stat : 3712 (java) S 3694 3696 1585 0 -1 4202560 4373 0 0 0 53 0 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654084057400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3713] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3713/stat : 3713 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139653210433912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3714] ppid=3694 vsize=3090984 CPUtime=0.06 cores=0,2,4,6
/proc/3696/task/3714/stat : 3714 (java) S 3694 3696 1585 0 -1 4202560 18 0 0 0 2 4 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139653209381320 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3722] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3722/stat : 3722 (java) S 3694 3696 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 334923566 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139653207249704 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3936] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3936/stat : 3936 (java) S 3694 3696 1585 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 20 0 334950456 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139653206197160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 278.09
Current children cumulated vsize (KiB) 3090984

[startup+274.801 s]
/proc/loadavg: 2.02 2.06 2.06 3/215 3936
/proc/meminfo: memFree=26385572/32873648 swapFree=7116/7116
[pid=3696] ppid=3694 vsize=3090984 CPUtime=278.49 cores=0,2,4,6
/proc/3696/stat : 3696 (java) S 3694 3696 1585 0 -1 4202496 16286 0 1 0 27721 128 0 0 20 0 20 0 334923220 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 140735281659056 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3696/statm: 772746 419134 2302 9 0 763167 0
[pid=3696/tid=3698] ppid=3694 vsize=3090984 CPUtime=266.16 cores=0,2,4,6
/proc/3696/task/3698/stat : 3698 (java) S 3694 3696 1585 0 -1 4202560 3292 0 1 0 26605 11 0 0 20 0 20 0 334923221 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654243366072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3699] ppid=3694 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/3696/task/3699/stat : 3699 (java) S 3694 3696 1585 0 -1 4202560 258 0 0 0 30 16 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654226791464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3700] ppid=3694 vsize=3090984 CPUtime=0.38 cores=0,2,4,6
/proc/3696/task/3700/stat : 3700 (java) S 3694 3696 1585 0 -1 4202560 203 0 0 0 28 10 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654225738664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3701] ppid=3694 vsize=3090984 CPUtime=0.4 cores=0,2,4,6
/proc/3696/task/3701/stat : 3701 (java) S 3694 3696 1585 0 -1 4202560 219 0 0 0 27 13 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654224685864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3702] ppid=3694 vsize=3090984 CPUtime=0.68 cores=0,2,4,6
/proc/3696/task/3702/stat : 3702 (java) S 3694 3696 1585 0 -1 4202560 444 0 0 0 40 28 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654223633064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3703] ppid=3694 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/3696/task/3703/stat : 3703 (java) S 3694 3696 1585 0 -1 4202560 358 0 0 0 31 15 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654222580264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3704] ppid=3694 vsize=3090984 CPUtime=0.43 cores=0,2,4,6
/proc/3696/task/3704/stat : 3704 (java) S 3694 3696 1585 0 -1 4202560 231 0 0 0 31 12 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654221527464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3705] ppid=3694 vsize=3090984 CPUtime=0.34 cores=0,2,4,6
/proc/3696/task/3705/stat : 3705 (java) S 3694 3696 1585 0 -1 4202560 240 0 0 0 24 10 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654220474664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3706] ppid=3694 vsize=3090984 CPUtime=0.33 cores=0,2,4,6
/proc/3696/task/3706/stat : 3706 (java) S 3694 3696 1585 0 -1 4202560 179 0 0 0 24 9 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654219421864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3707] ppid=3694 vsize=3090984 CPUtime=7.62 cores=0,2,4,6
/proc/3696/task/3707/stat : 3707 (java) R 3694 3696 1585 0 -1 4202560 228 0 0 0 756 6 0 0 20 0 20 0 334923223 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654088268776 139654251132378 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3708] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3708/stat : 3708 (java) S 3694 3696 1585 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 334923224 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654087214840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3709] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3709/stat : 3709 (java) S 3694 3696 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 334923224 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654218368520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3710] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3710/stat : 3710 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654086163088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3711] ppid=3694 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/3696/task/3711/stat : 3711 (java) S 3694 3696 1585 0 -1 4202560 5003 0 0 0 49 0 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654085110200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3712] ppid=3694 vsize=3090984 CPUtime=0.53 cores=0,2,4,6
/proc/3696/task/3712/stat : 3712 (java) S 3694 3696 1585 0 -1 4202560 4373 0 0 0 53 0 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654084057400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3713] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3713/stat : 3713 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139653210433912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3714] ppid=3694 vsize=3090984 CPUtime=0.06 cores=0,2,4,6
/proc/3696/task/3714/stat : 3714 (java) S 3694 3696 1585 0 -1 4202560 18 0 0 0 2 4 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139653209381320 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3722] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3722/stat : 3722 (java) S 3694 3696 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 334923566 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139653207249704 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3936] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3936/stat : 3936 (java) S 3694 3696 1585 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 20 0 334950456 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139653206196424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 278.49
Current children cumulated vsize (KiB) 3090984

[startup+274.901 s]
/proc/loadavg: 2.02 2.06 2.06 3/215 3936
/proc/meminfo: memFree=26385572/32873648 swapFree=7116/7116
[pid=3696] ppid=3694 vsize=3090984 CPUtime=278.59 cores=0,2,4,6
/proc/3696/stat : 3696 (java) S 3694 3696 1585 0 -1 4202496 16287 0 1 0 27731 128 0 0 20 0 20 0 334923220 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 140735281659056 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3696/statm: 772746 419134 2302 9 0 763167 0
[pid=3696/tid=3698] ppid=3694 vsize=3090984 CPUtime=266.16 cores=0,2,4,6
/proc/3696/task/3698/stat : 3698 (java) S 3694 3696 1585 0 -1 4202560 3292 0 1 0 26605 11 0 0 20 0 20 0 334923221 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654243366072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3699] ppid=3694 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/3696/task/3699/stat : 3699 (java) S 3694 3696 1585 0 -1 4202560 258 0 0 0 30 16 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654226791464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3700] ppid=3694 vsize=3090984 CPUtime=0.38 cores=0,2,4,6
/proc/3696/task/3700/stat : 3700 (java) S 3694 3696 1585 0 -1 4202560 203 0 0 0 28 10 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654225738664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3701] ppid=3694 vsize=3090984 CPUtime=0.4 cores=0,2,4,6
/proc/3696/task/3701/stat : 3701 (java) S 3694 3696 1585 0 -1 4202560 219 0 0 0 27 13 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654224685864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3702] ppid=3694 vsize=3090984 CPUtime=0.68 cores=0,2,4,6
/proc/3696/task/3702/stat : 3702 (java) S 3694 3696 1585 0 -1 4202560 444 0 0 0 40 28 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654223633064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3703] ppid=3694 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/3696/task/3703/stat : 3703 (java) S 3694 3696 1585 0 -1 4202560 358 0 0 0 31 15 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654222580264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3704] ppid=3694 vsize=3090984 CPUtime=0.43 cores=0,2,4,6
/proc/3696/task/3704/stat : 3704 (java) S 3694 3696 1585 0 -1 4202560 231 0 0 0 31 12 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654221527464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3705] ppid=3694 vsize=3090984 CPUtime=0.34 cores=0,2,4,6
/proc/3696/task/3705/stat : 3705 (java) S 3694 3696 1585 0 -1 4202560 240 0 0 0 24 10 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654220474664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3706] ppid=3694 vsize=3090984 CPUtime=0.33 cores=0,2,4,6
/proc/3696/task/3706/stat : 3706 (java) S 3694 3696 1585 0 -1 4202560 179 0 0 0 24 9 0 0 20 0 20 0 334923222 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654219421864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3707] ppid=3694 vsize=3090984 CPUtime=7.72 cores=0,2,4,6
/proc/3696/task/3707/stat : 3707 (java) R 3694 3696 1585 0 -1 4202560 228 0 0 0 766 6 0 0 20 0 20 0 334923223 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654088268776 139654247526716 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3708] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3708/stat : 3708 (java) S 3694 3696 1585 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 334923224 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654087214840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3709] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3709/stat : 3709 (java) S 3694 3696 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 334923224 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654218368520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3710] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3710/stat : 3710 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654086163088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3711] ppid=3694 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/3696/task/3711/stat : 3711 (java) S 3694 3696 1585 0 -1 4202560 5003 0 0 0 49 0 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654085110200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3696/tid=3712] ppid=3694 vsize=3090984 CPUtime=0.53 cores=0,2,4,6
/proc/3696/task/3712/stat : 3712 (java) S 3694 3696 1585 0 -1 4202560 4373 0 0 0 53 0 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139654084057400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3713] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3713/stat : 3713 (java) S 3694 3696 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139653210433912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3696/tid=3714] ppid=3694 vsize=3090984 CPUtime=0.06 cores=0,2,4,6
/proc/3696/task/3714/stat : 3714 (java) S 3694 3696 1585 0 -1 4202560 18 0 0 0 2 4 0 0 20 0 20 0 334923226 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139653209381320 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3696/tid=3722] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3722/stat : 3722 (java) S 3694 3696 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 334923566 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139653207249704 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3696/tid=3936] ppid=3694 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3696/task/3936/stat : 3936 (java) S 3694 3696 1585 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 20 0 334950456 3165167616 419134 33554432000 1073741824 1073778376 140735281667920 139653206196952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 278.59
Current children cumulated vsize (KiB) 3090984

Child status: 1
Real time (s): 274.945
CPU time (s): 278.731
CPU user time (s): 277.259
CPU system time (s): 1.47178
CPU usage (%): 101.377
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 277.259
system time used= 1.47178
maximum resident set size= 1676572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16297
page faults= 1
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6415
involuntary context switches= 5188

runsolver used 1.14582 second user time and 1.81072 second system time

The end

Launcher Data 

Begin job on node127 at 2012-06-03 03:46:18
IDJOB=3731725
IDBENCH=1980
IDSOLVER=2319
FILE ID=node127/3731725-1338687978
RUNJOBID= node127-1338678617-1606
PBS_JOBID= 14636686
Free space on /tmp= 70464 MiB

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

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

MD5SUM BENCH= 1a62ccf42beef1991aac7e4813cc0d13
RANDOM SEED=1683141809

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28519624 kB
Buffers:          385820 kB
Cached:          1870300 kB
SwapCached:         1500 kB
Active:          2209380 kB
Inactive:        1234580 kB
Active(anon):    1181612 kB
Inactive(anon):     7932 kB
Active(file):    1027768 kB
Inactive(file):  1226648 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67104404 kB
Dirty:              3568 kB
Writeback:             0 kB
AnonPages:       1275288 kB
Mapped:            19112 kB
Shmem:                92 kB
Slab:             745152 kB
SReclaimable:     189264 kB
SUnreclaim:       555888 kB
KernelStack:        1768 kB
PageTables:         6636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1825664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1239040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70460 MiB
End job on node127 at 2012-06-03 03:50:53