Trace number 3732913

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) 370.24 366.828

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
MD5SUMf9ec307a3c8f55679d3b9ab693efbd4c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.182971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables934
Total number of constraints1063
Number of constraints which are clauses879
Number of constraints which are cardinality constraints (but not clauses)184
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Number of terms in the objective function 934
Biggest coefficient in the objective function 546
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2594
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 546
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2594
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.09	c no version file found!!!
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version	1.6.0_24
0.00/0.09	c os.name	Linux
0.00/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch	amd64
0.00/0.09	c Free memory 1599470296
0.00/0.09	c Max memory 1607860224
0.00/0.09	c Total memory 1607860224
0.00/0.09	c Number of processors 8
0.08/0.11	--- Begin Solver configuration ---
0.08/0.11	c Stops conflict analysis at the first Unique Implication Point
0.08/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.11	c No reason simplification
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3732913-1338692240.opb
0.08/0.11	c reading problem ... 
0.25/0.24	c ... done. Wall clock time 0.132s.
0.25/0.24	c CPU time (experimental) 0.21s.
0.25/0.24	c #vars     934
0.25/0.24	c #constraints  1062
0.25/0.27	c SATISFIABLE
0.25/0.27	c OPTIMIZING...
0.25/0.27	c Got one! Elapsed wall clock time (in seconds):0.159
0.25/0.27	o 17
184.59/182.26	c cleaning 496742 clauses out of 993501 for limit 490584.3500312386
195.21/192.90	c cleaning 248624 clauses out of 497260 for limit 1618038.576112447
198.12/195.76	c cleaning 124561 clauses out of 249134 for limit 5315281.374775512
199.91/197.53	c cleaning 62529 clauses out of 125073 for limit 1.746029514644123E7
200.32/197.99	c cleaning 31513 clauses out of 63045 for limit 5.718141490025423E7
200.51/198.15	c cleaning 16007 clauses out of 32032 for limit 1.8559974604193518E8
200.61/198.22	c cleaning 8255 clauses out of 16524 for limit 5.927446220947105E8
200.61/198.27	c cleaning 4375 clauses out of 8769 for limit 1.841995757534439E9
200.71/198.31	c cleaning 2445 clauses out of 4896 for limit 5.451577583726915E9
200.71/198.35	c cleaning 1464 clauses out of 2949 for limit 1.4896206946487617E10
200.71/198.38	c cleaning 989 clauses out of 1985 for limit 3.649604854473363E10
200.81/198.41	c cleaning 741 clauses out of 1497 for limit 7.988678712949292E10
200.81/198.45	c cleaning 622 clauses out of 1255 for limit 1.569908731441382E11
200.81/198.48	c cleaning 567 clauses out of 1135 for limit 2.868449310840503E11
200.91/198.53	c cleaning 533 clauses out of 1066 for limit 5.026581170542405E11
200.91/198.56	c cleaning 506 clauses out of 1033 for limit 8.554319564996743E11
200.91/198.59	c cleaning 505 clauses out of 1027 for limit 1.4189635356637666E12
201.01/198.62	c cleaning 512 clauses out of 1024 for limit 2.3516172252584175E12
201.01/198.66	c cleaning 502 clauses out of 1010 for limit 3.924027831519322E12
201.01/198.69	c cleaning 502 clauses out of 1008 for limit 6.484086616705601E12
201.11/198.72	c cleaning 497 clauses out of 1007 for limit 1.071445951074064E13
201.11/198.75	c cleaning 498 clauses out of 1010 for limit 1.761709319562042E13
201.11/198.78	c cleaning 495 clauses out of 1012 for limit 2.8995526567848715E13
201.21/198.82	c cleaning 508 clauses out of 1017 for limit 4.758241129762042E13
201.21/198.85	c cleaning 504 clauses out of 1008 for limit 7.909121417855361E13
201.21/198.88	c cleaning 495 clauses out of 1004 for limit 1.3095164218753278E14
201.31/198.91	c cleaning 499 clauses out of 1009 for limit 2.148866238552777E14
201.31/198.94	c cleaning 499 clauses out of 1012 for limit 3.540339796005059E14
201.31/198.98	c cleaning 501 clauses out of 1012 for limit 5.832655447855085E14
201.42/199.01	c cleaning 497 clauses out of 1010 for limit 9.628238422261351E14
201.42/199.04	c cleaning 507 clauses out of 1014 for limit 1.583144854224155E15
201.42/199.08	c cleaning 503 clauses out of 1007 for limit 2.6289663367431965E15
201.52/199.11	c cleaning 502 clauses out of 1005 for limit 4.3484935745862825E15
201.52/199.15	c cleaning 498 clauses out of 1005 for limit 7.185611673290513E15
201.52/199.18	c cleaning 499 clauses out of 1005 for limit 1.1826346703376388E16
201.61/199.21	c cleaning 498 clauses out of 1004 for limit 1.948362755590958E16
201.61/199.24	c cleaning 498 clauses out of 1007 for limit 3.2067452503157244E16
201.61/199.28	c cleaning 504 clauses out of 1008 for limit 5.277822422086068E16
201.71/199.31	c cleaning 501 clauses out of 1004 for limit 8.7385118628481104E16
201.71/199.34	c cleaning 497 clauses out of 1004 for limit 0.0014425400479518514
201.71/199.38	c cleaning 495 clauses out of 1006 for limit 0.0023718378006138035
201.81/199.41	c cleaning 497 clauses out of 1012 for limit 0.003892179431396222
201.81/199.44	c cleaning 502 clauses out of 1015 for limit 0.006399752969110446
201.81/199.48	c cleaning 498 clauses out of 1012 for limit 0.010574750160101037
201.91/199.51	c cleaning 499 clauses out of 1016 for limit 0.017405312719061407
201.91/199.54	c cleaning 494 clauses out of 1015 for limit 0.028674533406220826
201.91/199.58	c cleaning 504 clauses out of 1022 for limit 0.047011261477982694
202.01/199.61	c cleaning 500 clauses out of 1017 for limit 0.07783110979566495
202.01/199.65	c cleaning 497 clauses out of 1017 for limit 0.12835391211264077
202.01/199.69	c cleaning 497 clauses out of 1020 for limit 0.2110502049765756
202.11/199.72	c cleaning 505 clauses out of 1024 for limit 0.3470374888889134
202.11/199.76	c cleaning 493 clauses out of 1018 for limit 0.5751087113832277
202.11/199.79	c cleaning 502 clauses out of 1027 for limit 0.9420027942275129
202.21/199.82	c cleaning 503 clauses out of 1023 for limit 1.5564453072056772
202.21/199.85	c cleaning 501 clauses out of 1020 for limit 2.5743359012546385
202.21/199.88	c cleaning 501 clauses out of 1019 for limit 4.249590554914323
202.31/199.91	c cleaning 497 clauses out of 1018 for limit 7.015027552342171
202.31/199.95	c cleaning 496 clauses out of 1021 for limit 11.534726569424047
202.31/199.98	c cleaning 504 clauses out of 1027 for limit 18.94905311269
202.41/200.01	c cleaning 490 clauses out of 1021 for limit 31.37032933333337
202.41/200.04	c cleaning 507 clauses out of 1031 for limit 51.23208630681567
202.41/200.07	c cleaning 498 clauses out of 1024 for limit 85.0661225689728
202.52/200.11	c cleaning 496 clauses out of 1026 for limit 140.01195520850158
202.52/200.14	c cleaning 504 clauses out of 1030 for limit 230.0017516143357
202.52/200.17	c cleaning 499 clauses out of 1026 for limit 380.7824241917801
202.62/200.20	c cleaning 502 clauses out of 1027 for limit 627.3497056987258
202.62/200.24	c cleaning 505 clauses out of 1026 for limit 1036.6285846962035
202.62/200.27	c cleaning 499 clauses out of 1020 for limit 1717.8757315508562
202.73/200.30	c cleaning 503 clauses out of 1021 for limit 2830.2321572221676
202.73/200.33	c cleaning 502 clauses out of 1020 for limit 4681.365411586537
202.73/200.36	c cleaning 496 clauses out of 1016 for limit 7735.098871176813
202.73/200.39	c cleaning 499 clauses out of 1020 for limit 12706.188457578342
202.83/200.43	c cleaning 499 clauses out of 1021 for limit 20933.681353015065
202.83/200.46	c cleaning 498 clauses out of 1022 for limit 34488.661712424815
202.83/200.49	c cleaning 490 clauses out of 1024 for limit 56765.330222504876
202.93/200.52	c cleaning 508 clauses out of 1034 for limit 92708.26927479006
202.93/200.56	c cleaning 508 clauses out of 1026 for limit 154080.45012430788
202.93/200.59	c cleaning 498 clauses out of 1018 for limit 256096.12565109855
203.03/200.62	c cleaning 497 clauses out of 1020 for limit 421508.65980948525
203.03/200.66	c cleaning 503 clauses out of 1024 for limit 693101.9416041337
203.03/200.69	c cleaning 494 clauses out of 1020 for limit 1146352.7458142228
203.13/200.72	c cleaning 499 clauses out of 1026 for limit 1879433.5427464144
203.13/200.75	c cleaning 505 clauses out of 1027 for limit 3096419.38549256
203.13/200.79	c cleaning 511 clauses out of 1022 for limit 5131392.233663913
203.23/200.82	c cleaning 483 clauses out of 1011 for limit 8554425.329747263
203.23/200.85	c cleaning 508 clauses out of 1029 for limit 1.3874489716784023E7
203.23/200.88	c cleaning 499 clauses out of 1021 for limit 2.306017183010325E7
203.33/200.92	c cleaning 503 clauses out of 1023 for limit 3.79929526362796E7
203.33/200.95	c cleaning 509 clauses out of 1018 for limit 6.2837336090745315E7
203.33/200.98	c cleaning 493 clauses out of 1010 for limit 1.0455253527193049E8
203.43/201.02	c cleaning 503 clauses out of 1016 for limit 1.7123147962326425E8
203.43/201.05	c cleaning 506 clauses out of 1013 for limit 2.832198960569258E8
203.43/201.08	c cleaning 503 clauses out of 1007 for limit 4.698504215886028E8
203.53/201.11	c cleaning 498 clauses out of 1004 for limit 7.771614781565018E8
203.53/201.15	c cleaning 503 clauses out of 1006 for limit 1.2790952457849958E9
203.53/201.18	c cleaning 493 clauses out of 1003 for limit 2.1157084443147378E9
203.64/201.21	c cleaning 501 clauses out of 1013 for limit 3.4650278487532682E9
203.64/201.24	c cleaning 496 clauses out of 1012 for limit 5.719941001759952E9
365.43/362.05	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space

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-3732913-1338692240/watcher-3732913-1338692240 -o /tmp/evaluation-result-3732913-1338692240/solver-3732913-1338692240 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732913-1338692240.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 2/196 10149
/proc/meminfo: memFree=28413296/32873844 swapFree=7620/7620
[pid=10149] ppid=10147 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/10149/stat : 10149 (java) D 10147 10149 6422 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 335348777 9515008 182 33554432000 1073741824 1073778376 140733572273728 140733572264760 215124623029 0 0 4096 0 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/10149/statm: 2323 182 140 9 0 71 0

[startup+0.0963091 s]
/proc/loadavg: 1.92 1.98 1.99 2/196 10149
/proc/meminfo: memFree=28413296/32873844 swapFree=7620/7620
[pid=10149] ppid=10147 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/10149/stat : 10149 (java) S 10147 10149 6422 0 -1 4202496 4154 0 1 0 6 1 0 0 20 0 18 0 335348777 3028844544 5872 33554432000 1073741824 1073778376 140733404179424 140733404170560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10149/statm: 739464 5872 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.100545 s]
/proc/loadavg: 1.92 1.98 1.99 2/196 10149
/proc/meminfo: memFree=28413296/32873844 swapFree=7620/7620
[pid=10149] ppid=10147 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/10149/stat : 10149 (java) S 10147 10149 6422 0 -1 4202496 4600 0 1 0 7 1 0 0 20 0 18 0 335348777 3028844544 6315 33554432000 1073741824 1073778376 140733404179424 140733404170560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10149/statm: 739464 6316 2048 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300264 s]
/proc/loadavg: 1.92 1.98 1.99 2/196 10149
/proc/meminfo: memFree=28413296/32873844 swapFree=7620/7620
[pid=10149] ppid=10147 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/10149/stat : 10149 (java) S 10147 10149 6422 0 -1 4202496 5518 0 1 0 40 2 0 0 20 0 19 0 335348777 3097006080 8642 33554432000 1073741824 1073778376 140733404179424 140733404170560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10149/statm: 756105 8642 2251 9 0 746526 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 3024420

[startup+0.700294 s]
/proc/loadavg: 1.92 1.98 1.99 2/196 10149
/proc/meminfo: memFree=28413296/32873844 swapFree=7620/7620
[pid=10149] ppid=10147 vsize=3024420 CPUtime=1.09 cores=0,2,4,6
/proc/10149/stat : 10149 (java) S 10147 10149 6422 0 -1 4202496 7715 0 1 0 107 2 0 0 20 0 19 0 335348777 3097006080 11695 33554432000 1073741824 1073778376 140733404179424 140733404170560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10149/statm: 756105 11695 2260 9 0 746526 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 3024420

[startup+1.50067 s]
/proc/loadavg: 1.92 1.98 1.99 3/215 10169
/proc/meminfo: memFree=28364496/32873844 swapFree=7620/7620
[pid=10149] ppid=10147 vsize=3024420 CPUtime=1.97 cores=0,2,4,6
/proc/10149/stat : 10149 (java) S 10147 10149 6422 0 -1 4202496 8244 0 1 0 194 3 0 0 20 0 19 0 335348777 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140733404170560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10149/statm: 756105 17367 2264 9 0 746526 0
[pid=10149/tid=10151] ppid=10147 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/10149/task/10151/stat : 10151 (java) R 10147 10149 6422 0 -1 4202560 3063 0 1 0 144 2 0 0 20 0 19 0 335348779 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702297647704 140702139275796 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10149/tid=10152] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10152/stat : 10152 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702281075112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10153] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10153/stat : 10153 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702280022568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10154] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10154/stat : 10154 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702278969512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10155] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10155/stat : 10155 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702277916968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10149/tid=10156] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10156/stat : 10156 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702276864936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10157] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10157/stat : 10157 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702275812392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10149/tid=10158] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10158/stat : 10158 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702274759336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10159] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10159/stat : 10159 (java) S 10147 10149 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702273706792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10160] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10160/stat : 10160 (java) S 10147 10149 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335348781 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702261295464 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10161] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10161/stat : 10161 (java) S 10147 10149 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335348782 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702260241784 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10162] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10162/stat : 10162 (java) S 10147 10149 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335348782 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702259188616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10163] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10163/stat : 10163 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702258137360 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10164] ppid=10147 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/10149/task/10164/stat : 10164 (java) S 10147 10149 6422 0 -1 4202560 1924 0 0 0 26 0 0 0 20 0 19 0 335348784 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702138755896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10165] ppid=10147 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/10149/task/10165/stat : 10165 (java) S 10147 10149 6422 0 -1 4202560 2059 0 0 0 21 0 0 0 20 0 19 0 335348784 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702137703352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10166] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10166/stat : 10166 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702136650488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10167] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10167/stat : 10167 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702135598152 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10169] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10169/stat : 10169 (java) S 10147 10149 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335348807 3097006080 17367 33554432000 1073741824 1073778376 140733404179424 140702133466280 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 3024420

[startup+3.1007 s]
/proc/loadavg: 1.92 1.98 1.99 3/215 10169
/proc/meminfo: memFree=28335568/32873844 swapFree=7620/7620
[pid=10149] ppid=10147 vsize=3024420 CPUtime=3.57 cores=0,2,4,6
/proc/10149/stat : 10149 (java) S 10147 10149 6422 0 -1 4202496 8266 0 1 0 354 3 0 0 20 0 19 0 335348777 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140733404170560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10149/statm: 756105 28119 2264 9 0 746526 0
[pid=10149/tid=10151] ppid=10147 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/10149/task/10151/stat : 10151 (java) R 10147 10149 6422 0 -1 4202560 3085 0 1 0 303 2 0 0 20 0 19 0 335348779 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702297647664 140702139289572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10149/tid=10152] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10152/stat : 10152 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702281075112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10153] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10153/stat : 10153 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702280022568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10154] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10154/stat : 10154 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702278969512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10155] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10155/stat : 10155 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702277916968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10149/tid=10156] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10156/stat : 10156 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702276864936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10157] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10157/stat : 10157 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702275812392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10149/tid=10158] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10158/stat : 10158 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702274759336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10159] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10159/stat : 10159 (java) S 10147 10149 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702273706792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10160] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10160/stat : 10160 (java) S 10147 10149 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335348781 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702261295464 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10161] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10161/stat : 10161 (java) S 10147 10149 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335348782 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702260241784 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10162] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10162/stat : 10162 (java) S 10147 10149 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335348782 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702259188616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10163] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10163/stat : 10163 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702258137360 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10164] ppid=10147 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/10149/task/10164/stat : 10164 (java) S 10147 10149 6422 0 -1 4202560 1924 0 0 0 26 0 0 0 20 0 19 0 335348784 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702138755896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10165] ppid=10147 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/10149/task/10165/stat : 10165 (java) S 10147 10149 6422 0 -1 4202560 2059 0 0 0 21 0 0 0 20 0 19 0 335348784 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702137703352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10166] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10166/stat : 10166 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702136650488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10167] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10167/stat : 10167 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702135598152 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10169] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10169/stat : 10169 (java) S 10147 10149 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335348807 3097006080 28119 33554432000 1073741824 1073778376 140733404179424 140702133466280 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 3024420

[startup+6.30076 s]
/proc/loadavg: 1.93 1.98 1.99 3/215 10169
/proc/meminfo: memFree=28249180/32873844 swapFree=7620/7620
[pid=10149] ppid=10147 vsize=3024420 CPUtime=6.78 cores=0,2,4,6
/proc/10149/stat : 10149 (java) S 10147 10149 6422 0 -1 4202496 8307 0 1 0 673 5 0 0 20 0 19 0 335348777 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140733404170560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10149/statm: 756105 47989 2265 9 0 746526 0
[pid=10149/tid=10151] ppid=10147 vsize=3024420 CPUtime=6.25 cores=0,2,4,6
/proc/10149/task/10151/stat : 10151 (java) R 10147 10149 6422 0 -1 4202560 3125 0 1 0 622 3 0 0 20 0 19 0 335348779 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702297649576 140702139242983 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10149/tid=10152] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10152/stat : 10152 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702281075112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10153] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10153/stat : 10153 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702280022568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10154] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10154/stat : 10154 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702278969512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10155] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10155/stat : 10155 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702277916968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10149/tid=10156] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10156/stat : 10156 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702276864936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10157] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10157/stat : 10157 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702275812392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10149/tid=10158] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10158/stat : 10158 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702274759336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10159] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10159/stat : 10159 (java) S 10147 10149 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335348780 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702273706792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10160] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10160/stat : 10160 (java) S 10147 10149 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335348781 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702261295464 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10161] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10161/stat : 10161 (java) S 10147 10149 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335348782 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702260241784 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10162] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10162/stat : 10162 (java) S 10147 10149 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335348782 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702259188616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10163] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10163/stat : 10163 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702258137360 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10164] ppid=10147 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/10149/task/10164/stat : 10164 (java) S 10147 10149 6422 0 -1 4202560 1924 0 0 0 27 0 0 0 20 0 19 0 335348784 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702138755896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10165] ppid=10147 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/10149/task/10165/stat : 10165 (java) S 10147 10149 6422 0 -1 4202560 2059 0 0 0 21 0 0 0 20 0 19 0 335348784 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702137703352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10166] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10166/stat : 10166 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702136650488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10167] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10167/stat : 10167 (java) S 10147 10149 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702135598152 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10169] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10169/stat : 10169 (java) S 10147 10149 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335348807 3097006080 47989 33554432000 1073741824 1073778376 140733404179424 140702133466280 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.78
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

/proc/10149/task/10159/stat : 10159 (java) S 10147 10149 6422 0 -1 4202560 520 0 0 0 43 14 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702273706792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10160] ppid=10147 vsize=3024420 CPUtime=20.68 cores=0,2,4,6
/proc/10149/task/10160/stat : 10160 (java) R 10147 10149 6422 0 -1 4202560 178 0 0 0 2063 5 0 0 20 0 19 0 335348781 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702261295464 140702304157768 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10161] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10161/stat : 10161 (java) S 10147 10149 6422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335348782 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702260241784 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10162] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10162/stat : 10162 (java) S 10147 10149 6422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335348782 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702259188616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10163] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10163/stat : 10163 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702258137360 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10164] ppid=10147 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/10149/task/10164/stat : 10164 (java) S 10147 10149 6422 0 -1 4202560 1934 0 0 0 32 0 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702138755896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10165] ppid=10147 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/10149/task/10165/stat : 10165 (java) S 10147 10149 6422 0 -1 4202560 2489 0 0 0 28 0 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702137703352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10166] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10166/stat : 10166 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702136650488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10167] ppid=10147 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/10149/task/10167/stat : 10167 (java) S 10147 10149 6422 0 -1 4202560 22 0 0 0 5 6 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702135598152 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10169] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10169/stat : 10169 (java) S 10147 10149 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335348807 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702133466280 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 368.93
Current children cumulated vsize (KiB) 3024420

[startup+366.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 10196
/proc/meminfo: memFree=26294676/32873844 swapFree=7620/7620
[pid=10149] ppid=10147 vsize=3024420 CPUtime=369.74 cores=0,2,4,6
/proc/10149/stat : 10149 (java) S 10147 10149 6422 0 -1 4202496 11709 0 1 0 36847 127 0 0 20 0 19 0 335348777 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140733404170560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10149/statm: 756105 417928 2295 9 0 746526 0
[pid=10149/tid=10151] ppid=10147 vsize=3024420 CPUtime=342.86 cores=0,2,4,6
/proc/10149/task/10151/stat : 10151 (java) S 10147 10149 6422 0 -1 4202560 3292 0 1 0 34273 13 0 0 20 0 19 0 335348779 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702297651432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10152] ppid=10147 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/10149/task/10152/stat : 10152 (java) S 10147 10149 6422 0 -1 4202560 330 0 0 0 44 19 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702281075112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10153] ppid=10147 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/10149/task/10153/stat : 10153 (java) S 10147 10149 6422 0 -1 4202560 338 0 0 0 23 10 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702280022568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10154] ppid=10147 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/10149/task/10154/stat : 10154 (java) S 10147 10149 6422 0 -1 4202560 318 0 0 0 35 12 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702278969512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10149/tid=10155] ppid=10147 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/10149/task/10155/stat : 10155 (java) S 10147 10149 6422 0 -1 4202560 259 0 0 0 26 13 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702277916968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10156] ppid=10147 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/10149/task/10156/stat : 10156 (java) S 10147 10149 6422 0 -1 4202560 331 0 0 0 33 16 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702276864936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10157] ppid=10147 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/10149/task/10157/stat : 10157 (java) S 10147 10149 6422 0 -1 4202560 310 0 0 0 31 16 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702275812392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10158] ppid=10147 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/10149/task/10158/stat : 10158 (java) S 10147 10149 6422 0 -1 4202560 200 0 0 0 20 9 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702274759336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10159] ppid=10147 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/10149/task/10159/stat : 10159 (java) S 10147 10149 6422 0 -1 4202560 520 0 0 0 43 14 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702273706792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10160] ppid=10147 vsize=3024420 CPUtime=21.49 cores=0,2,4,6
/proc/10149/task/10160/stat : 10160 (java) R 10147 10149 6422 0 -1 4202560 178 0 0 0 2144 5 0 0 20 0 19 0 335348781 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702261295464 140702304505224 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10161] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10161/stat : 10161 (java) S 10147 10149 6422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335348782 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702260241784 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10162] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10162/stat : 10162 (java) S 10147 10149 6422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335348782 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702259188616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10163] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10163/stat : 10163 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702258137360 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10164] ppid=10147 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/10149/task/10164/stat : 10164 (java) S 10147 10149 6422 0 -1 4202560 1934 0 0 0 32 0 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702138755896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10165] ppid=10147 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/10149/task/10165/stat : 10165 (java) S 10147 10149 6422 0 -1 4202560 2489 0 0 0 28 0 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702137703352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10166] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10166/stat : 10166 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702136650488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10167] ppid=10147 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/10149/task/10167/stat : 10167 (java) S 10147 10149 6422 0 -1 4202560 22 0 0 0 5 6 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702135598152 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10169] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10169/stat : 10169 (java) S 10147 10149 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335348807 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702133466280 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 369.74
Current children cumulated vsize (KiB) 3024420

[startup+366.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 10196
/proc/meminfo: memFree=26294676/32873844 swapFree=7620/7620
[pid=10149] ppid=10147 vsize=3024420 CPUtime=370.14 cores=0,2,4,6
/proc/10149/stat : 10149 (java) S 10147 10149 6422 0 -1 4202496 11709 0 1 0 36887 127 0 0 20 0 19 0 335348777 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140733404170560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10149/statm: 756105 417928 2295 9 0 746526 0
[pid=10149/tid=10151] ppid=10147 vsize=3024420 CPUtime=342.86 cores=0,2,4,6
/proc/10149/task/10151/stat : 10151 (java) S 10147 10149 6422 0 -1 4202560 3292 0 1 0 34273 13 0 0 20 0 19 0 335348779 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702297651432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10152] ppid=10147 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/10149/task/10152/stat : 10152 (java) S 10147 10149 6422 0 -1 4202560 330 0 0 0 44 19 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702281075112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10153] ppid=10147 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/10149/task/10153/stat : 10153 (java) S 10147 10149 6422 0 -1 4202560 338 0 0 0 23 10 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702280022568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10154] ppid=10147 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/10149/task/10154/stat : 10154 (java) S 10147 10149 6422 0 -1 4202560 318 0 0 0 35 12 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702278969512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10149/tid=10155] ppid=10147 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/10149/task/10155/stat : 10155 (java) S 10147 10149 6422 0 -1 4202560 259 0 0 0 26 13 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702277916968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10156] ppid=10147 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/10149/task/10156/stat : 10156 (java) S 10147 10149 6422 0 -1 4202560 331 0 0 0 33 16 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702276864936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10157] ppid=10147 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/10149/task/10157/stat : 10157 (java) S 10147 10149 6422 0 -1 4202560 310 0 0 0 31 16 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702275812392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10158] ppid=10147 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/10149/task/10158/stat : 10158 (java) S 10147 10149 6422 0 -1 4202560 200 0 0 0 20 9 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702274759336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10159] ppid=10147 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/10149/task/10159/stat : 10159 (java) S 10147 10149 6422 0 -1 4202560 520 0 0 0 43 14 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702273706792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10160] ppid=10147 vsize=3024420 CPUtime=21.88 cores=0,2,4,6
/proc/10149/task/10160/stat : 10160 (java) R 10147 10149 6422 0 -1 4202560 178 0 0 0 2183 5 0 0 20 0 19 0 335348781 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702261295464 140702304505651 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10161] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10161/stat : 10161 (java) S 10147 10149 6422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335348782 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702260241784 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10162] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10162/stat : 10162 (java) S 10147 10149 6422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335348782 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702259188616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10163] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10163/stat : 10163 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702258137360 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10164] ppid=10147 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/10149/task/10164/stat : 10164 (java) S 10147 10149 6422 0 -1 4202560 1934 0 0 0 32 0 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702138755896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10165] ppid=10147 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/10149/task/10165/stat : 10165 (java) S 10147 10149 6422 0 -1 4202560 2489 0 0 0 28 0 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702137703352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10166] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10166/stat : 10166 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702136650488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10167] ppid=10147 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/10149/task/10167/stat : 10167 (java) S 10147 10149 6422 0 -1 4202560 22 0 0 0 5 6 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702135598152 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10169] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10169/stat : 10169 (java) S 10147 10149 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335348807 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702133466280 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 370.14
Current children cumulated vsize (KiB) 3024420

[startup+366.801 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 10196
/proc/meminfo: memFree=26294676/32873844 swapFree=7620/7620
[pid=10149] ppid=10147 vsize=3024420 CPUtime=370.24 cores=0,2,4,6
/proc/10149/stat : 10149 (java) S 10147 10149 6422 0 -1 4202496 11709 0 1 0 36897 127 0 0 20 0 19 0 335348777 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140733404170560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10149/statm: 756105 417928 2295 9 0 746526 0
[pid=10149/tid=10151] ppid=10147 vsize=3024420 CPUtime=342.86 cores=0,2,4,6
/proc/10149/task/10151/stat : 10151 (java) S 10147 10149 6422 0 -1 4202560 3292 0 1 0 34273 13 0 0 20 0 19 0 335348779 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702297651432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10152] ppid=10147 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/10149/task/10152/stat : 10152 (java) S 10147 10149 6422 0 -1 4202560 330 0 0 0 44 19 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702281075112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10153] ppid=10147 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/10149/task/10153/stat : 10153 (java) S 10147 10149 6422 0 -1 4202560 338 0 0 0 23 10 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702280022568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10154] ppid=10147 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/10149/task/10154/stat : 10154 (java) S 10147 10149 6422 0 -1 4202560 318 0 0 0 35 12 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702278969512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10149/tid=10155] ppid=10147 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/10149/task/10155/stat : 10155 (java) S 10147 10149 6422 0 -1 4202560 259 0 0 0 26 13 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702277916968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10156] ppid=10147 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/10149/task/10156/stat : 10156 (java) S 10147 10149 6422 0 -1 4202560 331 0 0 0 33 16 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702276864936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10157] ppid=10147 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/10149/task/10157/stat : 10157 (java) S 10147 10149 6422 0 -1 4202560 310 0 0 0 31 16 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702275812392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10158] ppid=10147 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/10149/task/10158/stat : 10158 (java) S 10147 10149 6422 0 -1 4202560 200 0 0 0 20 9 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702274759336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10159] ppid=10147 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/10149/task/10159/stat : 10159 (java) S 10147 10149 6422 0 -1 4202560 520 0 0 0 43 14 0 0 20 0 19 0 335348780 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702273706792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10160] ppid=10147 vsize=3024420 CPUtime=21.98 cores=0,2,4,6
/proc/10149/task/10160/stat : 10160 (java) R 10147 10149 6422 0 -1 4202560 178 0 0 0 2193 5 0 0 20 0 19 0 335348781 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702261295464 215124296028 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10161] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10161/stat : 10161 (java) S 10147 10149 6422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335348782 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702260241784 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10162] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10162/stat : 10162 (java) S 10147 10149 6422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335348782 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702259188616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10163] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10163/stat : 10163 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702258137360 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10149/tid=10164] ppid=10147 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/10149/task/10164/stat : 10164 (java) S 10147 10149 6422 0 -1 4202560 1934 0 0 0 32 0 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702138755896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10149/tid=10165] ppid=10147 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/10149/task/10165/stat : 10165 (java) S 10147 10149 6422 0 -1 4202560 2489 0 0 0 28 0 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702137703352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10166] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10166/stat : 10166 (java) S 10147 10149 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702136650488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10167] ppid=10147 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/10149/task/10167/stat : 10167 (java) S 10147 10149 6422 0 -1 4202560 22 0 0 0 5 6 0 0 20 0 19 0 335348784 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702135598152 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10149/tid=10169] ppid=10147 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10149/task/10169/stat : 10169 (java) S 10147 10149 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335348807 3097006080 417928 33554432000 1073741824 1073778376 140733404179424 140702133466280 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 370.24
Current children cumulated vsize (KiB) 3024420

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10149 and gives
#  childrusage.ru_utime.tv_sec=368
#  childrusage.ru_utime.tv_usec=6054
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=464777
# CPU time returned by wait4() is 369.471
# while last known CPU time is 370.24
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 366.828
CPU time (s): 370.24
CPU user time (s): 368.97
CPU system time (s): 1.27
CPU usage (%): 100.93
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 368.006
system time used= 1.46478
maximum resident set size= 1671720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11712
page faults= 1
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8208
involuntary context switches= 3271

runsolver used 1.53277 second user time and 3.65944 second system time

The end

Launcher Data

Begin job on node135 at 2012-06-03 04:57:20
IDJOB=3732913
IDBENCH=2227
IDSOLVER=2319
FILE ID=node135/3732913-1338692240
RUNJOBID= node135-1338678628-6441
PBS_JOBID= 14636678
Free space on /tmp= 70976 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732913-1338692240/watcher-3732913-1338692240 -o /tmp/evaluation-result-3732913-1338692240/solver-3732913-1338692240 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732913-1338692240.opb           

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

MD5SUM BENCH= f9ec307a3c8f55679d3b9ab693efbd4c
RANDOM SEED=41734769

node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28413560 kB
Buffers:          354352 kB
Cached:          2480512 kB
SwapCached:         1672 kB
Active:          1888736 kB
Inactive:        1698752 kB
Active(anon):     743036 kB
Inactive(anon):    12036 kB
Active(file):    1145700 kB
Inactive(file):  1686716 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              3504 kB
Writeback:             0 kB
AnonPages:        787404 kB
Mapped:            18684 kB
Shmem:               132 kB
Slab:             701336 kB
SReclaimable:     142920 kB
SUnreclaim:       558416 kB
KernelStack:        1616 kB
PageTables:         5664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    745472 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70972 MiB
End job on node135 at 2012-06-03 05:03:27