Trace number 3731703

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (exit code) 278.65 274.355

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
MD5SUMa9ac890c0275c87cfec4e71469cd990a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1030
Best CPU time to get the best result obtained on this benchmark1796.82
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1028
Optimality of the best value was proved NO
Number of variables1964
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 1964
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 1964
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 1964
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

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.01/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.01/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.01/0.08	c no version file found!!!
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version	1.6.0_24
0.01/0.08	c os.name	Linux
0.01/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch	amd64
0.01/0.08	c Free memory 1599470296
0.01/0.08	c Max memory 1607860224
0.01/0.08	c Total memory 1607860224
0.01/0.08	c Number of processors 8
0.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3731703-1338687802.opb
0.09/0.10	c reading problem ... 
0.44/0.33	c ... done. Wall clock time 0.225s.
0.44/0.33	c CPU time (experimental) 0.29s.
0.44/0.33	c #vars     1964
0.44/0.33	c #constraints  4000
0.44/0.37	c SATISFIABLE
0.44/0.37	c OPTIMIZING...
0.44/0.37	c Got one! Elapsed wall clock time (in seconds):0.265
0.44/0.37	o 1175
81.08/78.65	c cleaning 150247 clauses out of 300500 for limit 123863.57652690257
82.89/80.42	c cleaning 75369 clauses out of 150753 for limit 407172.1037965169
83.09/80.69	c cleaning 37937 clauses out of 75884 for limit 1333981.0216456589
83.29/80.89	c cleaning 19218 clauses out of 38447 for limit 4342034.758132077
83.59/81.14	c cleaning 9863 clauses out of 19730 for limit 1.3967512441718424E7
83.69/81.24	c cleaning 5176 clauses out of 10367 for limit 4.383781914394163E7
83.80/81.34	c cleaning 2838 clauses out of 5690 for limit 1.3158644318314235E8
83.90/81.43	c cleaning 1670 clauses out of 3352 for limit 3.683623979268482E8
83.99/81.52	c cleaning 1091 clauses out of 2182 for limit 9.33212273921688E8
84.09/81.61	c cleaning 795 clauses out of 1591 for limit 2.1106727139133432E9
84.19/81.70	c cleaning 643 clauses out of 1296 for limit 4.2730892211308007E9
84.19/81.79	c cleaning 576 clauses out of 1153 for limit 7.920881974852113E9
84.29/81.87	c cleaning 538 clauses out of 1077 for limit 1.398437409208743E10
84.39/81.96	c cleaning 514 clauses out of 1040 for limit 2.3906488851199585E10
84.49/82.05	c cleaning 509 clauses out of 1027 for limit 3.996401289237537E10
84.59/82.14	c cleaning 503 clauses out of 1016 for limit 6.648638031450282E10
84.69/82.22	c cleaning 499 clauses out of 1013 for limit 1.099696490581302E11
84.79/82.31	c cleaning 500 clauses out of 1014 for limit 1.811758120210669E11
84.79/82.39	c cleaning 507 clauses out of 1014 for limit 2.987831512892494E11
84.90/82.48	c cleaning 504 clauses out of 1008 for limit 4.961624862843436E11
85.00/82.57	c cleaning 502 clauses out of 1004 for limit 8.214982289196193E11
85.09/82.66	c cleaning 490 clauses out of 1001 for limit 1.357461878068048E12
85.19/82.75	c cleaning 496 clauses out of 1011 for limit 2.216493443294046E12
85.29/82.84	c cleaning 500 clauses out of 1015 for limit 3.6408891048638394E12
85.39/82.92	c cleaning 497 clauses out of 1015 for limit 6.004313203350891E12
85.49/83.01	c cleaning 505 clauses out of 1018 for limit 9.872735216797637E12
85.59/83.10	c cleaning 499 clauses out of 1014 for limit 1.6362049844329947E13
85.59/83.19	c cleaning 503 clauses out of 1016 for limit 2.6957049565447344E13
85.69/83.27	c cleaning 506 clauses out of 1012 for limit 4.45868640368026E13
85.79/83.36	c cleaning 500 clauses out of 1006 for limit 7.396825046013212E13
85.89/83.44	c cleaning 497 clauses out of 1005 for limit 1.219828120443285E14
86.00/83.53	c cleaning 504 clauses out of 1008 for limit 2.0056726736893956E14
86.10/83.62	c cleaning 494 clauses out of 1005 for limit 3.32081687003202E14
86.19/83.71	c cleaning 505 clauses out of 1010 for limit 5.443910665681019E14
86.19/83.79	c cleaning 502 clauses out of 1005 for limit 9.022402319062685E14
86.29/83.88	c cleaning 502 clauses out of 1004 for limit 1.4908877165631985E15
86.39/83.97	c cleaning 501 clauses out of 1002 for limit 2.4635808235241435E15
86.49/84.05	c cleaning 492 clauses out of 1000 for limit 4.066828998738843E15
86.59/84.14	c cleaning 504 clauses out of 1008 for limit 6.653516934097561E15
183.13/179.83	c cleaning 149494 clauses out of 299004 for limit 1128.7541101084446
189.03/185.78	c cleaning 74999 clauses out of 150011 for limit 3714.0148475476085
191.23/187.96	c cleaning 37748 clauses out of 75511 for limit 12155.64183827334
191.63/188.38	c cleaning 19124 clauses out of 38264 for limit 39599.35826077595
191.93/188.60	c cleaning 9809 clauses out of 19640 for limit 127230.99375695687
192.03/188.77	c cleaning 5154 clauses out of 10330 for limit 398524.8954150746
192.13/188.87	c cleaning 2829 clauses out of 5677 for limit 1197091.3221346582
192.23/188.98	c cleaning 1665 clauses out of 3348 for limit 3347469.390418682
192.33/189.08	c cleaning 1081 clauses out of 2182 for limit 8461915.667330628
192.44/189.16	c cleaning 794 clauses out of 1601 for limit 1.90190138247679E7
192.54/189.26	c cleaning 647 clauses out of 1307 for limit 3.842020036910676E7
192.63/189.34	c cleaning 580 clauses out of 1160 for limit 7.138929790830924E7
192.73/189.43	c cleaning 540 clauses out of 1080 for limit 1.2645128050615656E8
192.83/189.52	c cleaning 515 clauses out of 1040 for limit 2.165556578237092E8
192.93/189.61	c cleaning 501 clauses out of 1025 for limit 3.6235553175693387E8
193.03/189.70	c cleaning 503 clauses out of 1025 for limit 5.9817091784081E8
193.03/189.79	c cleaning 501 clauses out of 1021 for limit 9.893382336591954E8
193.13/189.88	c cleaning 501 clauses out of 1020 for limit 1.6331506585056453E9
193.23/189.97	c cleaning 510 clauses out of 1020 for limit 2.695979894756916E9
193.33/190.06	c cleaning 505 clauses out of 1010 for limit 4.490051622134479E9
193.43/190.15	c cleaning 492 clauses out of 1005 for limit 7.441535075812892E9
193.54/190.24	c cleaning 494 clauses out of 1012 for limit 1.2175013673652472E10
193.64/190.33	c cleaning 498 clauses out of 1018 for limit 1.995988704081264E10
193.73/190.42	c cleaning 501 clauses out of 1021 for limit 3.2852658090714333E10
193.83/190.50	c cleaning 510 clauses out of 1020 for limit 5.423154424757963E10
193.83/190.59	c cleaning 491 clauses out of 1009 for limit 9.03196720378611E10
193.93/190.68	c cleaning 498 clauses out of 1018 for limit 1.4763238206036243E11
194.04/190.77	c cleaning 500 clauses out of 1020 for limit 2.429881644969674E11
194.15/190.86	c cleaning 499 clauses out of 1021 for limit 4.0072823991787616E11
194.25/190.94	c cleaning 511 clauses out of 1022 for limit 6.602078474435416E11
194.35/191.03	c cleaning 504 clauses out of 1011 for limit 1.1006172352247554E12
194.45/191.12	c cleaning 493 clauses out of 1006 for limit 1.8222621706737212E12
194.55/191.21	c cleaning 497 clauses out of 1013 for limit 2.9843879781803345E12
194.55/191.30	c cleaning 501 clauses out of 1016 for limit 4.907122574374232E12
194.66/191.39	c cleaning 495 clauses out of 1015 for limit 8.100474496225241E12
194.76/191.48	c cleaning 502 clauses out of 1020 for limit 1.3293281958785816E13
194.85/191.57	c cleaning 496 clauses out of 1018 for limit 2.1965469842192605E13
194.95/191.66	c cleaning 511 clauses out of 1022 for limit 3.60822213565549E13
195.05/191.75	c cleaning 492 clauses out of 1011 for limit 6.015183682531895E13
195.15/191.84	c cleaning 509 clauses out of 1019 for limit 9.841963550397073E13
272.15/267.89	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
272.66/268.39		at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source)
272.66/268.39		at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(Unknown Source)
273.55/269.30		at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(Unknown Source)
274.25/269.95		at org.sat4j.minisat.core.Solver.analyze(Unknown Source)
274.25/269.95		at org.sat4j.minisat.core.Solver.search(Unknown Source)
274.96/270.60		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
275.25/270.93		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
275.55/271.26		at org.sat4j.tools.SolverDecorator.isSatisfiable(Unknown Source)
276.25/271.91		at org.sat4j.opt.PseudoOptDecorator.admitABetterSolution(Unknown Source)
276.25/271.91		at org.sat4j.AbstractOptimizationLauncher.solve(Unknown Source)
276.85/272.57		at org.sat4j.LanceurPseudo2005.solve(Unknown Source)
276.85/272.57		at org.sat4j.AbstractLauncher.run(Unknown Source)
277.55/273.22		at org.sat4j.LanceurPseudo2007.main(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-3731703-1338687802/watcher-3731703-1338687802 -o /tmp/evaluation-result-3731703-1338687802/solver-3731703-1338687802 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731703-1338687802.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: 2.00 2.00 2.00 3/195 17031
/proc/meminfo: memFree=26519928/32873844 swapFree=7108/7108
[pid=17031] ppid=17029 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17031/stat : 17031 (java) D 17029 17031 15746 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 334904784 9515008 182 33554432000 1073741824 1073778376 140736606376688 140736606367720 248790204085 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/17031/statm: 2323 182 140 9 0 71 0

[startup+0.0321361 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 17031
/proc/meminfo: memFree=26519928/32873844 swapFree=7108/7108
[pid=17031] ppid=17029 vsize=2414972 CPUtime=0.01 cores=1,3,5,7
/proc/17031/stat : 17031 (java) S 17029 17031 15746 0 -1 4202496 3678 0 1 0 1 0 0 0 20 0 10 0 334904784 2472931328 4376 33554432000 1073741824 1073778376 140737199770928 140737199762064 248793563197 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17031/statm: 603743 4377 1536 9 0 594444 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2414972

[startup+0.100327 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 17031
/proc/meminfo: memFree=26519928/32873844 swapFree=7108/7108
[pid=17031] ppid=17029 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/17031/stat : 17031 (java) S 17029 17031 15746 0 -1 4202496 4895 0 1 0 8 1 0 0 20 0 18 0 334904784 3028844544 6596 33554432000 1073741824 1073778376 140737199770928 140737199762064 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17031/statm: 739464 6596 2099 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 17031
/proc/meminfo: memFree=26519928/32873844 swapFree=7108/7108
[pid=17031] ppid=17029 vsize=2957856 CPUtime=0.44 cores=1,3,5,7
/proc/17031/stat : 17031 (java) S 17029 17031 15746 0 -1 4202496 5737 0 1 0 43 1 0 0 20 0 18 0 334904784 3028844544 9073 33554432000 1073741824 1073778376 140737199770928 140737199762064 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17031/statm: 739464 9073 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856

[startup+0.700264 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 17031
/proc/meminfo: memFree=26519928/32873844 swapFree=7108/7108
[pid=17031] ppid=17029 vsize=3024420 CPUtime=1.18 cores=1,3,5,7
/proc/17031/stat : 17031 (java) S 17029 17031 15746 0 -1 4202496 9549 0 1 0 116 2 0 0 20 0 19 0 334904784 3097006080 13908 33554432000 1073741824 1073778376 140737199770928 140737199762064 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17031/statm: 756105 13908 2262 9 0 746526 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 3024420

[startup+1.50076 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 17051
/proc/meminfo: memFree=26465220/32873844 swapFree=7108/7108
[pid=17031] ppid=17029 vsize=3024420 CPUtime=2.04 cores=1,3,5,7
/proc/17031/stat : 17031 (java) S 17029 17031 15746 0 -1 4202496 9565 0 1 0 201 3 0 0 20 0 19 0 334904784 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 140737199762064 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17031/statm: 756105 19544 2265 9 0 746526 0
[pid=17031/tid=17033] ppid=17029 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (java) R 17029 17031 15746 0 -1 4202560 3065 0 1 0 144 2 0 0 20 0 19 0 334904785 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802246767208 139802075272045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802230192296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17035] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17035/stat : 17035 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802229139752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17036] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17036/stat : 17036 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802228087208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17031/tid=17037] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17037/stat : 17037 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802227034664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17038] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17038/stat : 17038 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802225982120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17039] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17039/stat : 17039 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802224929576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17040] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17040/stat : 17040 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802223877032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17041] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17041/stat : 17041 (java) S 17029 17031 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802222824488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17042] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17042/stat : 17042 (java) S 17029 17031 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334904788 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802210412648 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17043] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17043/stat : 17043 (java) S 17029 17031 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334904789 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802209358968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17044] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17044/stat : 17044 (java) S 17029 17031 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334904789 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802208306312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17045] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17045/stat : 17045 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802207255056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17046] ppid=17029 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/17031/task/17046/stat : 17046 (java) S 17029 17031 15746 0 -1 4202560 1947 0 0 0 25 0 0 0 20 0 19 0 334904791 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802206202424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17047] ppid=17029 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/17031/task/17047/stat : 17047 (java) S 17029 17031 15746 0 -1 4202560 3348 0 0 0 30 0 0 0 20 0 19 0 334904791 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802205149880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17048] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17048/stat : 17048 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802204097528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17049] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17049/stat : 17049 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802203045192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17051] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17051/stat : 17051 (java) S 17029 17031 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334904825 3097006080 19544 33554432000 1073741824 1073778376 140737199770928 139802200843176 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 3024420

[startup+3.10071 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 17051
/proc/meminfo: memFree=26434004/32873844 swapFree=7108/7108
[pid=17031] ppid=17029 vsize=3024420 CPUtime=3.69 cores=1,3,5,7
/proc/17031/stat : 17031 (java) S 17029 17031 15746 0 -1 4202496 9606 0 1 0 365 4 0 0 20 0 19 0 334904784 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 140737199762064 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17031/statm: 756105 30315 2265 9 0 746526 0
[pid=17031/tid=17033] ppid=17029 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (java) R 17029 17031 15746 0 -1 4202560 3087 0 1 0 303 2 0 0 20 0 19 0 334904785 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802246765080 139802075269292 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802230192296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17035] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17035/stat : 17035 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802229139752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17036] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17036/stat : 17036 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802228087208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17031/tid=17037] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17037/stat : 17037 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802227034664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17038] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17038/stat : 17038 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802225982120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17039] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17039/stat : 17039 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802224929576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17040] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17040/stat : 17040 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802223877032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17041] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17041/stat : 17041 (java) S 17029 17031 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802222824488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17042] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17042/stat : 17042 (java) S 17029 17031 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334904788 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802210412648 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17043] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17043/stat : 17043 (java) S 17029 17031 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334904789 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802209358968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17044] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17044/stat : 17044 (java) S 17029 17031 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334904789 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802208306312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17045] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17045/stat : 17045 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802207255056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17046] ppid=17029 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/17031/task/17046/stat : 17046 (java) S 17029 17031 15746 0 -1 4202560 1955 0 0 0 27 0 0 0 20 0 19 0 334904791 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802206202424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17047] ppid=17029 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/17031/task/17047/stat : 17047 (java) S 17029 17031 15746 0 -1 4202560 3359 0 0 0 31 0 0 0 20 0 19 0 334904791 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802205149880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17048] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17048/stat : 17048 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802204097528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17049] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17049/stat : 17049 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802203045192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17051] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17051/stat : 17051 (java) S 17029 17031 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334904825 3097006080 30315 33554432000 1073741824 1073778376 140737199770928 139802200843176 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 3024420

[startup+6.30075 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 17051
/proc/meminfo: memFree=26349168/32873844 swapFree=7108/7108
[pid=17031] ppid=17029 vsize=3024420 CPUtime=6.88 cores=1,3,5,7
/proc/17031/stat : 17031 (java) S 17029 17031 15746 0 -1 4202496 9648 0 1 0 683 5 0 0 20 0 19 0 334904784 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 140737199762064 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17031/statm: 756105 50230 2266 9 0 746526 0
[pid=17031/tid=17033] ppid=17029 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (java) R 17029 17031 15746 0 -1 4202560 3128 0 1 0 620 4 0 0 20 0 19 0 334904785 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802246765040 139802075340735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802230192296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17035] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17035/stat : 17035 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802229139752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17036] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17036/stat : 17036 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802228087208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17031/tid=17037] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17037/stat : 17037 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802227034664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17038] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17038/stat : 17038 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802225982120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17039] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17039/stat : 17039 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802224929576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17040] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17040/stat : 17040 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802223877032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17041] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17041/stat : 17041 (java) S 17029 17031 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334904787 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802222824488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17042] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17042/stat : 17042 (java) S 17029 17031 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334904788 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802210412648 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17043] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17043/stat : 17043 (java) S 17029 17031 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334904789 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802209358968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17044] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17044/stat : 17044 (java) S 17029 17031 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334904789 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802208306312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17045] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17045/stat : 17045 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802207255056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17046] ppid=17029 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/17031/task/17046/stat : 17046 (java) S 17029 17031 15746 0 -1 4202560 1955 0 0 0 27 0 0 0 20 0 19 0 334904791 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802206202424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17047] ppid=17029 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/17031/task/17047/stat : 17047 (java) S 17029 17031 15746 0 -1 4202560 3359 0 0 0 32 0 0 0 20 0 19 0 334904791 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802205149880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17048] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17048/stat : 17048 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802204097528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17049] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17049/stat : 17049 (java) S 17029 17031 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802203045192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17051] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17051/stat : 17051 (java) S 17029 17031 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334904825 3097006080 50230 33554432000 1073741824 1073778376 140737199770928 139802200843176 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

/proc/17031/task/17041/stat : 17041 (java) S 17029 17031 15746 0 -1 4202560 277 0 0 0 36 17 0 0 20 0 19 0 334904787 3097006080 418921 33554432000 1073741824 1073778376 140737199770928 139802222824488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17042] ppid=17029 vsize=3024420 CPUtime=7.13 cores=1,3,5,7
/proc/17031/task/17042/stat : 17042 (java) R 17029 17031 15746 0 -1 4202560 218 0 0 0 706 7 0 0 20 0 19 0 334904788 3097006080 418921 33554432000 1073741824 1073778376 140737199770928 139802210412808 139802250928444 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17043] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17043/stat : 17043 (java) S 17029 17031 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334904789 3097006080 418921 33554432000 1073741824 1073778376 140737199770928 139802209358968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17044] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17044/stat : 17044 (java) S 17029 17031 15746 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334904789 3097006080 418921 33554432000 1073741824 1073778376 140737199770928 139802208306312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17045] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17045/stat : 17045 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 418921 33554432000 1073741824 1073778376 140737199770928 139802207255056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17046] ppid=17029 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/17031/task/17046/stat : 17046 (java) S 17029 17031 15746 0 -1 4202560 1960 0 0 0 33 0 0 0 20 0 19 0 334904791 3097006080 418921 33554432000 1073741824 1073778376 140737199770928 139802206202424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17047] ppid=17029 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17031/task/17047/stat : 17047 (java) S 17029 17031 15746 0 -1 4202560 3367 0 0 0 39 0 0 0 20 0 19 0 334904791 3097006080 418921 33554432000 1073741824 1073778376 140737199770928 139802205149880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17048] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17048/stat : 17048 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 418921 33554432000 1073741824 1073778376 140737199770928 139802204097528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17049] ppid=17029 vsize=3024420 CPUtime=0.09 cores=1,3,5,7
/proc/17031/task/17049/stat : 17049 (java) S 17029 17031 15746 0 -1 4202560 18 0 0 0 3 6 0 0 20 0 19 0 334904791 3097006080 418921 33554432000 1073741824 1073778376 140737199770928 139802203045192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17051] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17051/stat : 17051 (java) S 17029 17031 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334904825 3097006080 418921 33554432000 1073741824 1073778376 140737199770928 139802200843176 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 276.25
Current children cumulated vsize (KiB) 3024420

[startup+273.501 s]
/proc/loadavg: 2.02 2.04 2.00 3/213 17320
/proc/meminfo: memFree=24873840/32873844 swapFree=7108/7108
[pid=17031] ppid=17029 vsize=3024420 CPUtime=277.85 cores=1,3,5,7
/proc/17031/stat : 17031 (java) S 17029 17031 15746 0 -1 4202496 12316 0 1 0 27618 167 0 0 20 0 19 0 334904784 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 140737199762064 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17031/statm: 756105 418922 2294 9 0 746526 0
[pid=17031/tid=17033] ppid=17029 vsize=3024420 CPUtime=262.73 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (java) S 17029 17031 15746 0 -1 4202560 3296 0 1 0 26261 12 0 0 20 0 19 0 334904785 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802246768744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (java) S 17029 17031 15746 0 -1 4202560 169 0 0 0 37 12 0 0 20 0 19 0 334904787 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802230192296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17035] ppid=17029 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/17031/task/17035/stat : 17035 (java) S 17029 17031 15746 0 -1 4202560 232 0 0 0 45 17 0 0 20 0 19 0 334904787 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802229139752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17031/tid=17036] ppid=17029 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/17031/task/17036/stat : 17036 (java) S 17029 17031 15746 0 -1 4202560 329 0 0 0 37 14 0 0 20 0 19 0 334904787 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802228087208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17037] ppid=17029 vsize=3024420 CPUtime=0.74 cores=1,3,5,7
/proc/17031/task/17037/stat : 17037 (java) S 17029 17031 15746 0 -1 4202560 368 0 0 0 46 28 0 0 20 0 19 0 334904787 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802227034664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17038] ppid=17029 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/17031/task/17038/stat : 17038 (java) S 17029 17031 15746 0 -1 4202560 197 0 0 0 38 15 0 0 20 0 19 0 334904787 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802225982120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17039] ppid=17029 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/17031/task/17039/stat : 17039 (java) S 17029 17031 15746 0 -1 4202560 437 0 0 0 48 25 0 0 20 0 19 0 334904787 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802224929576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17040] ppid=17029 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/17031/task/17040/stat : 17040 (java) S 17029 17031 15746 0 -1 4202560 252 0 0 0 42 17 0 0 20 0 19 0 334904787 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802223877032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17041] ppid=17029 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/17031/task/17041/stat : 17041 (java) S 17029 17031 15746 0 -1 4202560 277 0 0 0 36 17 0 0 20 0 19 0 334904787 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802222824488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17042] ppid=17029 vsize=3024420 CPUtime=8.72 cores=1,3,5,7
/proc/17031/task/17042/stat : 17042 (java) R 17029 17031 15746 0 -1 4202560 219 0 0 0 865 7 0 0 20 0 19 0 334904788 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802210412648 139802253275208 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17043] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17043/stat : 17043 (java) S 17029 17031 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334904789 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802209358968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17044] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17044/stat : 17044 (java) S 17029 17031 15746 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334904789 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802208303992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17045] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17045/stat : 17045 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802207255056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17046] ppid=17029 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/17031/task/17046/stat : 17046 (java) S 17029 17031 15746 0 -1 4202560 1960 0 0 0 33 0 0 0 20 0 19 0 334904791 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802206202424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17047] ppid=17029 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17031/task/17047/stat : 17047 (java) S 17029 17031 15746 0 -1 4202560 3367 0 0 0 39 0 0 0 20 0 19 0 334904791 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802205149880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17048] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17048/stat : 17048 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802204097528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17049] ppid=17029 vsize=3024420 CPUtime=0.09 cores=1,3,5,7
/proc/17031/task/17049/stat : 17049 (java) S 17029 17031 15746 0 -1 4202560 18 0 0 0 3 6 0 0 20 0 19 0 334904791 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802203045192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17051] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17051/stat : 17051 (java) S 17029 17031 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334904825 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802200843176 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 277.85
Current children cumulated vsize (KiB) 3024420

[startup+273.907 s]
/proc/loadavg: 2.02 2.04 2.00 3/213 17320
/proc/meminfo: memFree=24873840/32873844 swapFree=7108/7108
[pid=17031] ppid=17029 vsize=3024420 CPUtime=278.26 cores=1,3,5,7
/proc/17031/stat : 17031 (java) S 17029 17031 15746 0 -1 4202496 12318 0 1 0 27659 167 0 0 20 0 19 0 334904784 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 140737199762064 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17031/statm: 756105 418922 2294 9 0 746526 0
[pid=17031/tid=17033] ppid=17029 vsize=3024420 CPUtime=262.73 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (java) S 17029 17031 15746 0 -1 4202560 3298 0 1 0 26261 12 0 0 20 0 19 0 334904785 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802246768088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (java) S 17029 17031 15746 0 -1 4202560 169 0 0 0 37 12 0 0 20 0 19 0 334904787 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802230192296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17035] ppid=17029 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/17031/task/17035/stat : 17035 (java) S 17029 17031 15746 0 -1 4202560 232 0 0 0 45 17 0 0 20 0 19 0 334904787 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802229139752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17031/tid=17036] ppid=17029 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/17031/task/17036/stat : 17036 (java) S 17029 17031 15746 0 -1 4202560 329 0 0 0 37 14 0 0 20 0 19 0 334904787 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802228087208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17037] ppid=17029 vsize=3024420 CPUtime=0.74 cores=1,3,5,7
/proc/17031/task/17037/stat : 17037 (java) S 17029 17031 15746 0 -1 4202560 368 0 0 0 46 28 0 0 20 0 19 0 334904787 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802227034664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17038] ppid=17029 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/17031/task/17038/stat : 17038 (java) S 17029 17031 15746 0 -1 4202560 197 0 0 0 38 15 0 0 20 0 19 0 334904787 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802225982120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17039] ppid=17029 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/17031/task/17039/stat : 17039 (java) S 17029 17031 15746 0 -1 4202560 437 0 0 0 48 25 0 0 20 0 19 0 334904787 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802224929576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17040] ppid=17029 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/17031/task/17040/stat : 17040 (java) S 17029 17031 15746 0 -1 4202560 252 0 0 0 42 17 0 0 20 0 19 0 334904787 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802223877032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17041] ppid=17029 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/17031/task/17041/stat : 17041 (java) S 17029 17031 15746 0 -1 4202560 277 0 0 0 36 17 0 0 20 0 19 0 334904787 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802222824488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17042] ppid=17029 vsize=3024420 CPUtime=9.13 cores=1,3,5,7
/proc/17031/task/17042/stat : 17042 (java) R 17029 17031 15746 0 -1 4202560 219 0 0 0 906 7 0 0 20 0 19 0 334904788 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802210412464 139802250928489 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17043] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17043/stat : 17043 (java) S 17029 17031 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334904789 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802209358968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17044] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17044/stat : 17044 (java) S 17029 17031 15746 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334904789 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802208303592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17045] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17045/stat : 17045 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802207255056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17046] ppid=17029 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/17031/task/17046/stat : 17046 (java) S 17029 17031 15746 0 -1 4202560 1960 0 0 0 33 0 0 0 20 0 19 0 334904791 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802206202424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17047] ppid=17029 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17031/task/17047/stat : 17047 (java) S 17029 17031 15746 0 -1 4202560 3367 0 0 0 39 0 0 0 20 0 19 0 334904791 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802205149880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17048] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17048/stat : 17048 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802204097528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17049] ppid=17029 vsize=3024420 CPUtime=0.09 cores=1,3,5,7
/proc/17031/task/17049/stat : 17049 (java) S 17029 17031 15746 0 -1 4202560 18 0 0 0 3 6 0 0 20 0 19 0 334904791 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802203045192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17051] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17051/stat : 17051 (java) S 17029 17031 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334904825 3097006080 418922 33554432000 1073741824 1073778376 140737199770928 139802200843176 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 278.26
Current children cumulated vsize (KiB) 3024420

[startup+274.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/213 17320
/proc/meminfo: memFree=24873840/32873844 swapFree=7108/7108
[pid=17031] ppid=17029 vsize=3024420 CPUtime=278.65 cores=1,3,5,7
/proc/17031/stat : 17031 (java) S 17029 17031 15746 0 -1 4202496 12321 0 1 0 27698 167 0 0 20 0 19 0 334904784 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 140737199762064 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17031/statm: 756105 418924 2294 9 0 746526 0
[pid=17031/tid=17033] ppid=17029 vsize=3024420 CPUtime=262.73 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (java) S 17029 17031 15746 0 -1 4202560 3298 0 1 0 26261 12 0 0 20 0 19 0 334904785 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802246768024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (java) S 17029 17031 15746 0 -1 4202560 169 0 0 0 37 12 0 0 20 0 19 0 334904787 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802230192296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17035] ppid=17029 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/17031/task/17035/stat : 17035 (java) S 17029 17031 15746 0 -1 4202560 232 0 0 0 45 17 0 0 20 0 19 0 334904787 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802229139752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17031/tid=17036] ppid=17029 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/17031/task/17036/stat : 17036 (java) S 17029 17031 15746 0 -1 4202560 329 0 0 0 37 14 0 0 20 0 19 0 334904787 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802228087208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17037] ppid=17029 vsize=3024420 CPUtime=0.74 cores=1,3,5,7
/proc/17031/task/17037/stat : 17037 (java) S 17029 17031 15746 0 -1 4202560 368 0 0 0 46 28 0 0 20 0 19 0 334904787 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802227034664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17038] ppid=17029 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/17031/task/17038/stat : 17038 (java) S 17029 17031 15746 0 -1 4202560 197 0 0 0 38 15 0 0 20 0 19 0 334904787 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802225982120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17039] ppid=17029 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/17031/task/17039/stat : 17039 (java) S 17029 17031 15746 0 -1 4202560 437 0 0 0 48 25 0 0 20 0 19 0 334904787 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802224929576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17040] ppid=17029 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/17031/task/17040/stat : 17040 (java) S 17029 17031 15746 0 -1 4202560 252 0 0 0 42 17 0 0 20 0 19 0 334904787 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802223877032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17041] ppid=17029 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/17031/task/17041/stat : 17041 (java) S 17029 17031 15746 0 -1 4202560 277 0 0 0 36 17 0 0 20 0 19 0 334904787 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802222824488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17042] ppid=17029 vsize=3024420 CPUtime=9.52 cores=1,3,5,7
/proc/17031/task/17042/stat : 17042 (java) R 17029 17031 15746 0 -1 4202560 219 0 0 0 945 7 0 0 20 0 19 0 334904788 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802210412768 139802253275208 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17043] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17043/stat : 17043 (java) S 17029 17031 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334904789 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802209358968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17044] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17044/stat : 17044 (java) S 17029 17031 15746 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334904789 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802208306312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17045] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17045/stat : 17045 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802207255056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17046] ppid=17029 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/17031/task/17046/stat : 17046 (java) S 17029 17031 15746 0 -1 4202560 1960 0 0 0 33 0 0 0 20 0 19 0 334904791 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802206202424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17031/tid=17047] ppid=17029 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17031/task/17047/stat : 17047 (java) S 17029 17031 15746 0 -1 4202560 3367 0 0 0 39 0 0 0 20 0 19 0 334904791 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802205149880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17048] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17048/stat : 17048 (java) S 17029 17031 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904791 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802204097528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17031/tid=17049] ppid=17029 vsize=3024420 CPUtime=0.09 cores=1,3,5,7
/proc/17031/task/17049/stat : 17049 (java) S 17029 17031 15746 0 -1 4202560 18 0 0 0 3 6 0 0 20 0 19 0 334904791 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802203045192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17031/tid=17051] ppid=17029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17051/stat : 17051 (java) S 17029 17031 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334904825 3097006080 418924 33554432000 1073741824 1073778376 140737199770928 139802200843176 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 278.65
Current children cumulated vsize (KiB) 3024420

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17031 and gives
#  childrusage.ru_utime.tv_sec=276
#  childrusage.ru_utime.tv_usec=260002
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=842719
# CPU time returned by wait4() is 278.103
# while last known CPU time is 278.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 274.355
CPU time (s): 278.65
CPU user time (s): 276.98
CPU system time (s): 1.67
CPU usage (%): 101.566
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 276.26
system time used= 1.84272
maximum resident set size= 1675704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12324
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= 6401
involuntary context switches= 3967

runsolver used 0.569913 second user time and 1.40479 second system time

The end

Launcher Data 

Begin job on node139 at 2012-06-03 03:43:22
IDJOB=3731703
IDBENCH=1978
IDSOLVER=2319
FILE ID=node139/3731703-1338687802
RUNJOBID= node139-1338678624-15766
PBS_JOBID= 14636674
Free space on /tmp= 71080 MiB

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

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

MD5SUM BENCH= a9ac890c0275c87cfec4e71469cd990a
RANDOM SEED=1735532760

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26520680 kB
Buffers:          492912 kB
Cached:          3302832 kB
SwapCached:          828 kB
Active:          3376732 kB
Inactive:        2099180 kB
Active(anon):    1674036 kB
Inactive(anon):     7964 kB
Active(file):    1702696 kB
Inactive(file):  2091216 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:              3628 kB
Writeback:             0 kB
AnonPages:       1689696 kB
Mapped:            19924 kB
Shmem:                 8 kB
Slab:             732548 kB
SReclaimable:     174576 kB
SUnreclaim:       557972 kB
KernelStack:        1640 kB
PageTables:         7692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1826776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1650688 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= 71092 MiB
End job on node139 at 2012-06-03 03:47:57