Trace number 3453868

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
Sat4j Res//CP 2.3.0OPT3 27.3418 14.8743

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=83-P1=113-P2=127-P3=71-P4=61-P5=43-P6=71-P7=41-P8=13-P9=71-B.opb
MD5SUMbd15d72e061a78dfd7cc65e865014c03
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.161975
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables189
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)441
Sum of products size (including duplicates)882
Number of different products441
Sum of products size882

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.1.v20110525
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		9996466904
0.00/0.08	c Max memory 		10048897024
0.00/0.08	c Total memory 		10048897024
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3453868-1307194349.opb
0.11/0.11	c reading problem ... 
0.24/0.20	c ... done. Wall clock time 0.096s.
0.24/0.20	c #vars     630
0.24/0.20	c #constraints  910
0.24/0.20	c constraints type 
0.24/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 441
0.24/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 469
0.24/0.20	c constraints type 
0.24/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 441
0.24/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPb => 469
2.23/0.74	c cleaning 2497 clauses out of 5000 with flag 5000/5000
3.81/1.13	c cleaning 4251 clauses out of 8503 with flag 11000/11000
4.84/1.52	c cleaning 5622 clauses out of 11251 with flag 18000/18000
6.11/2.02	c cleaning 6812 clauses out of 13629 with flag 26000/26000
7.68/2.63	c cleaning 7906 clauses out of 15817 with flag 35000/35000
9.08/3.33	c cleaning 8955 clauses out of 17912 with flag 45003/45003
10.23/3.95	c cleaning 9473 clauses out of 18954 with flag 55001/55001
11.60/4.65	c cleaning 9741 clauses out of 19481 with flag 65001/65001
12.75/5.20	c cleaning 9851 clauses out of 19738 with flag 75000/75000
12.75/5.25	c  And the winner is Resolution
12.82/5.75	c SATISFIABLE
12.82/5.75	c OPTIMIZING...
12.82/5.75	c Got one! Elapsed wall clock time (in seconds):5.641
12.82/5.75	o 97
13.12/5.96	c cleaning 7447 clauses out of 14907 with flag 5000/80020
13.88/6.30	c cleaning 6726 clauses out of 13460 with flag 11000/86020
14.48/6.67	c cleaning 6859 clauses out of 13735 with flag 18001/93021
15.42/7.14	c cleaning 7432 clauses out of 14875 with flag 26000/101020
16.38/7.69	c cleaning 8217 clauses out of 16444 with flag 35001/110021
17.74/8.34	c  And the winner is Resolution
17.85/8.76	c Got one! Elapsed wall clock time (in seconds):8.657
17.85/8.76	o 33
18.30/9.04	c cleaning 10879 clauses out of 21780 with flag 5000/123575
18.86/9.39	c cleaning 8429 clauses out of 16902 with flag 11001/129576
19.20/9.59	c  And the winner is Resolution
19.39/9.77	c Got one! Elapsed wall clock time (in seconds):9.662
19.39/9.77	o 11
19.44/9.88	c cleaning 6754 clauses out of 13520 with flag 2000/134623
20.19/10.22	c  And the winner is Resolution
20.19/10.28	c Got one! Elapsed wall clock time (in seconds):10.166
20.19/10.28	o 9
20.54/10.43	c  And the winner is Resolution
20.63/10.78	c Got one! Elapsed wall clock time (in seconds):10.67
20.63/10.78	o 5
20.67/10.83	c cleaning 8701 clauses out of 17419 with flag 1001/145277
21.24/11.14	c cleaning 7356 clauses out of 14718 with flag 7001/151277
21.97/11.55	c cleaning 7173 clauses out of 14362 with flag 14001/158277
22.70/11.95	c  And the winner is Resolution
22.83/12.28	c Got one! Elapsed wall clock time (in seconds):12.178
22.83/12.28	o 3
23.25/12.53	c cleaning 9247 clauses out of 18515 with flag 5001/169603
23.80/12.86	c cleaning 7633 clauses out of 15267 with flag 11001/175603
24.57/13.29	c cleaning 7312 clauses out of 14632 with flag 18001/182603
25.70/13.87	c cleaning 7655 clauses out of 15320 with flag 26001/190603
27.03/14.56	c cleaning 8329 clauses out of 16662 with flag 35000/199602
27.20/14.63	c  And the winner is Resolution
27.26/14.84	c starts		: 111
27.26/14.84	c conflicts		: 199862
27.26/14.84	c decisions		: 214403
27.26/14.84	c propagations		: 3591151
27.26/14.84	c inspects		: 90730563
27.26/14.84	c shortcuts		: 0
27.26/14.84	c learnt literals	: 21
27.26/14.84	c learnt binary clauses	: 84
27.26/14.84	c learnt ternary clauses	: 244
27.26/14.84	c learnt constraints	: 199840
27.26/14.84	c ignored constraints	: 0
27.26/14.84	c root simplifications	: 0
27.26/14.84	c removed literals (reason simplification)	: 4712787
27.26/14.84	c reason swapping (by a shorter reason)	: 0
27.26/14.84	c Calls to reduceDB	: 25
27.26/14.84	c number of reductions to clauses (during analyze)	: 0
27.26/14.84	c number of learned constraints concerned by reduction	: 0
27.26/14.84	c number of learning phase by resolution	: 0
27.26/14.84	c number of learning phase by cutting planes	: 0
27.26/14.84	c speed (assignments/second)	: 1404439.1865467345
27.26/14.84	c non guided choices	4421
27.26/14.84	c learnt constraints type 
27.26/14.84	c constraints type 
27.26/14.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 441
27.26/14.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 469
27.26/14.84	c constraints type 
27.26/14.84	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 441
27.26/14.84	c org.sat4j.pb.constraints.pb.MaxWatchPb => 469
27.26/14.84	s OPTIMUM FOUND
27.26/14.84	v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 x10 -x11 x12 -x13 x14 x15 -x16 x17 x18 -x19 -x20 x21 x22 x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 x34 x35 x36 -x37 -x38 -x39 -x40 x41 -x42 x43 x44 -x45 x46 -x47 x48 -x49 x50 -x51 -x52 -x53 -x54 x55 -x56 x57 -x58 x59 x60 -x61 -x62 -x63 x64 -x65 x66 x67 -x68 -x69 -x70 x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 x86 -x87 -x88 -x89 -x90 -x91 x92 x93 -x94 -x95 -x96 x97 -x98 x99 x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 x118 -x119 x120 -x121 x122 x123 -x124 x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 
27.26/14.84	c objective function=3
27.26/14.84	c Total wall clock time (in seconds): 14.736

Verifier Data

OK	3

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3453868-1307194349/watcher-3453868-1307194349 -o /tmp/evaluation-result-3453868-1307194349/solver-3453868-1307194349 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453868-1307194349.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: 3.57 3.79 3.68 3/394 23246
/proc/meminfo: memFree=21960816/32951124 swapFree=37148216/67111528
[pid=23246] ppid=23244 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23246 19222 0 -1 4202496 3316 0 1 0 0 0 0 0 24 0 2 0 831035344 10694979584 3017 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/23246/statm: 2611079 3030 917 9 0 2602235 0
[pid=23246/tid=23247] ppid=23244 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) R 23244 23246 19222 0 -1 4202560 3884 0 1 0 0 0 0 0 25 0 2 0 831035344 10694979584 4701 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.108379 s]
/proc/loadavg: 3.57 3.79 3.68 3/394 23246
/proc/meminfo: memFree=21960816/32951124 swapFree=37148216/67111528
[pid=23246] ppid=23244 vsize=10539516 CPUtime=0.11 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23246 19222 0 -1 4202496 13212 0 1 0 10 1 0 0 24 0 18 0 831035344 10792464384 12890 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23246/statm: 2634879 12890 2120 9 0 2625613 0
[pid=23246/tid=23247] ppid=23244 vsize=10539516 CPUtime=0.09 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) R 23244 23246 19222 0 -1 4202560 11217 0 1 0 8 1 0 0 18 0 18 0 831035344 10792464384 12891 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 47698577236785 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539516

[startup+0.200364 s]
/proc/loadavg: 3.57 3.79 3.68 3/394 23246
/proc/meminfo: memFree=21960816/32951124 swapFree=37148216/67111528
[pid=23246] ppid=23244 vsize=10540564 CPUtime=0.24 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23246 19222 0 -1 4202496 14384 0 1 0 23 1 0 0 24 0 18 0 831035344 10793537536 13957 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23246/statm: 2635141 13960 2185 9 0 2625875 0
[pid=23246/tid=23247] ppid=23244 vsize=10540564 CPUtime=0.19 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) R 23244 23246 19222 0 -1 4202560 11892 0 1 0 18 1 0 0 18 0 18 0 831035344 10793537536 13960 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 46912505176688 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10540564

[startup+0.30031 s]
/proc/loadavg: 3.57 3.79 3.68 3/394 23246
/proc/meminfo: memFree=21960816/32951124 swapFree=37148216/67111528
[pid=23246] ppid=23244 vsize=10550416 CPUtime=0.63 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23246 19222 0 -1 4202496 18964 0 1 0 61 2 0 0 24 0 22 0 831035344 10803625984 16596 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23246/statm: 2637604 16596 2206 9 0 2628338 0
[pid=23246/tid=23247] ppid=23244 vsize=10550416 CPUtime=0.19 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) S 23244 23246 19222 0 -1 4202560 11967 0 1 0 18 1 0 0 19 0 22 0 831035344 10803625984 16597 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 10550416

[startup+0.70024 s]
/proc/loadavg: 3.57 3.79 3.68 3/394 23246
/proc/meminfo: memFree=21960816/32951124 swapFree=37148216/67111528
[pid=23246] ppid=23244 vsize=10556136 CPUtime=2.23 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23246 19222 0 -1 4202496 39199 0 1 0 218 5 0 0 24 0 22 0 831035344 10809483264 31702 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23246/statm: 2639034 31702 2227 9 0 2629768 0
[pid=23246/tid=23247] ppid=23244 vsize=10556136 CPUtime=0.19 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) S 23244 23246 19222 0 -1 4202560 11967 0 1 0 18 1 0 0 19 0 22 0 831035344 10809483264 31702 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 10556136

[startup+1.50109 s]
/proc/loadavg: 3.57 3.79 3.68 7/416 23268
/proc/meminfo: memFree=21759608/32951124 swapFree=37148216/67111528
[pid=23246] ppid=23244 vsize=10557752 CPUtime=4.84 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23246 19222 0 -1 4202496 79022 0 1 0 474 10 0 0 24 0 22 0 831035344 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23246/statm: 2639438 68106 2257 9 0 2630172 0
[pid=23246/tid=23247] ppid=23244 vsize=10557752 CPUtime=0.19 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) S 23244 23246 19222 0 -1 4202560 11967 0 1 0 18 1 0 0 15 0 22 0 831035344 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23249] ppid=23244 vsize=10557752 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23249/stat : 23249 (java) S 23244 23246 19222 0 -1 4202560 229 0 0 0 0 0 0 0 15 0 22 0 831035346 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 3 0 0 0
[pid=23246/tid=23250] ppid=23244 vsize=10557752 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23250/stat : 23250 (java) S 23244 23246 19222 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831035346 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 3 0 0 0
[pid=23246/tid=23251] ppid=23244 vsize=10557752 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23251/stat : 23251 (java) S 23244 23246 19222 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 22 0 831035346 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23252] ppid=23244 vsize=10557752 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23252/stat : 23252 (java) S 23244 23246 19222 0 -1 4202560 177 0 0 0 0 0 0 0 16 0 22 0 831035346 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23253] ppid=23244 vsize=10557752 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23253/stat : 23253 (java) S 23244 23246 19222 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 22 0 831035346 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23254] ppid=23244 vsize=10557752 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23254/stat : 23254 (java) S 23244 23246 19222 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 22 0 831035346 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23255] ppid=23244 vsize=10557752 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23255/stat : 23255 (java) S 23244 23246 19222 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 22 0 831035346 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23256] ppid=23244 vsize=10557752 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23256/stat : 23256 (java) S 23244 23246 19222 0 -1 4202560 387 0 0 0 0 0 0 0 16 0 22 0 831035346 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23257] ppid=23244 vsize=10557752 CPUtime=0.03 cores=1,3,5,7
/proc/23246/task/23257/stat : 23257 (java) S 23244 23246 19222 0 -1 4202560 1140 0 0 0 3 0 0 0 16 0 22 0 831035347 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 0 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23258] ppid=23244 vsize=10557752 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23258/stat : 23258 (java) S 23244 23246 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831035347 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23259] ppid=23244 vsize=10557752 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23259/stat : 23259 (java) S 23244 23246 19222 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831035347 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23260] ppid=23244 vsize=10557752 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23260/stat : 23260 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831035349 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820989361 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23261] ppid=23244 vsize=10557752 CPUtime=1.03 cores=1,3,5,7
/proc/23246/task/23261/stat : 23261 (java) R 23244 23246 19222 0 -1 4202560 14454 0 0 0 102 1 0 0 23 0 22 0 831035349 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 47698573298192 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23246/tid=23262] ppid=23244 vsize=10557752 CPUtime=1.05 cores=1,3,5,7
/proc/23246/task/23262/stat : 23262 (java) R 23244 23246 19222 0 -1 4202560 7015 0 0 0 105 0 0 0 15 0 22 0 831035349 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 47698576229688 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23246/tid=23263] ppid=23244 vsize=10557752 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23263/stat : 23263 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831035349 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23264] ppid=23244 vsize=10557752 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23264/stat : 23264 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831035349 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23265] ppid=23244 vsize=10557752 CPUtime=1.24 cores=1,3,5,7
/proc/23246/task/23265/stat : 23265 (java) R 23244 23246 19222 0 -1 4202560 526 0 0 0 124 0 0 0 24 0 22 0 831035365 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 46912505195079 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23246/tid=23266] ppid=23244 vsize=10557752 CPUtime=1.23 cores=1,3,5,7
/proc/23246/task/23266/stat : 23266 (java) R 23244 23246 19222 0 -1 4202560 41473 0 0 0 118 5 0 0 25 0 22 0 831035365 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 46912505652670 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23246/tid=23267] ppid=23244 vsize=10557752 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23267/stat : 23267 (java) S 23244 23246 19222 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831035365 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23268] ppid=23244 vsize=10557752 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23268/stat : 23268 (java) S 23244 23246 19222 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831035365 10811138048 68106 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 10557752

[startup+3.10085 s]
/proc/loadavg: 3.57 3.79 3.68 6/416 23268
/proc/meminfo: memFree=21604980/32951124 swapFree=37148216/67111528
[pid=23246] ppid=23244 vsize=10562280 CPUtime=8.66 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23246 19222 0 -1 4202496 116704 0 1 0 852 14 0 0 24 0 22 0 831035344 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23246/statm: 2640570 104904 2258 9 0 2631304 0
[pid=23246/tid=23247] ppid=23244 vsize=10562280 CPUtime=0.19 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) S 23244 23246 19222 0 -1 4202560 11967 0 1 0 18 1 0 0 15 0 22 0 831035344 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23249] ppid=23244 vsize=10562280 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23249/stat : 23249 (java) S 23244 23246 19222 0 -1 4202560 385 0 0 0 0 0 0 0 15 0 22 0 831035346 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 3 0 0 0
[pid=23246/tid=23250] ppid=23244 vsize=10562280 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23250/stat : 23250 (java) S 23244 23246 19222 0 -1 4202560 164 0 0 0 0 0 0 0 16 0 22 0 831035346 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23251] ppid=23244 vsize=10562280 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23251/stat : 23251 (java) S 23244 23246 19222 0 -1 4202560 194 0 0 0 0 0 0 0 15 0 22 0 831035346 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23252] ppid=23244 vsize=10562280 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23252/stat : 23252 (java) S 23244 23246 19222 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 22 0 831035346 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23253] ppid=23244 vsize=10562280 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23253/stat : 23253 (java) S 23244 23246 19222 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 831035346 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23254] ppid=23244 vsize=10562280 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23254/stat : 23254 (java) S 23244 23246 19222 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 22 0 831035346 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23255] ppid=23244 vsize=10562280 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23255/stat : 23255 (java) S 23244 23246 19222 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 22 0 831035346 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23256] ppid=23244 vsize=10562280 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23256/stat : 23256 (java) S 23244 23246 19222 0 -1 4202560 442 0 0 0 0 0 0 0 16 0 22 0 831035346 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23257] ppid=23244 vsize=10562280 CPUtime=0.11 cores=1,3,5,7
/proc/23246/task/23257/stat : 23257 (java) S 23244 23246 19222 0 -1 4202560 2802 0 0 0 11 0 0 0 15 0 22 0 831035347 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 0 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23258] ppid=23244 vsize=10562280 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23258/stat : 23258 (java) S 23244 23246 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831035347 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23259] ppid=23244 vsize=10562280 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23259/stat : 23259 (java) S 23244 23246 19222 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831035347 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23260] ppid=23244 vsize=10562280 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23260/stat : 23260 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831035349 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820989361 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23261] ppid=23244 vsize=10562280 CPUtime=1.32 cores=1,3,5,7
/proc/23246/task/23261/stat : 23261 (java) S 23244 23246 19222 0 -1 4202560 14484 0 0 0 131 1 0 0 22 0 22 0 831035349 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23262] ppid=23244 vsize=10562280 CPUtime=1.47 cores=1,3,5,7
/proc/23246/task/23262/stat : 23262 (java) S 23244 23246 19222 0 -1 4202560 8657 0 0 0 146 1 0 0 16 0 22 0 831035349 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23263] ppid=23244 vsize=10562280 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23263/stat : 23263 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831035349 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23264] ppid=23244 vsize=10562280 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23264/stat : 23264 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831035349 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23265] ppid=23244 vsize=10562280 CPUtime=2.75 cores=1,3,5,7
/proc/23246/task/23265/stat : 23265 (java) R 23244 23246 19222 0 -1 4202560 576 0 0 0 275 0 0 0 25 0 22 0 831035365 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 46912505671998 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23246/tid=23266] ppid=23244 vsize=10562280 CPUtime=2.72 cores=1,3,5,7
/proc/23246/task/23266/stat : 23266 (java) R 23244 23246 19222 0 -1 4202560 75167 0 0 0 263 9 0 0 25 0 22 0 831035365 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 46912505616441 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23246/tid=23267] ppid=23244 vsize=10562280 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23267/stat : 23267 (java) S 23244 23246 19222 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831035365 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23268] ppid=23244 vsize=10562280 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23268/stat : 23268 (java) S 23244 23246 19222 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831035365 10815774720 104904 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 8.66
Current children cumulated vsize (KiB) 10562280

[startup+6.30122 s]
/proc/loadavg: 3.52 3.78 3.68 3/413 23268
/proc/meminfo: memFree=21476592/32951124 swapFree=37148216/67111528
[pid=23246] ppid=23244 vsize=10557432 CPUtime=13.88 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23246 19222 0 -1 4202496 146645 0 1 0 1370 18 0 0 24 0 22 0 831035344 10810810368 133724 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23246/statm: 2639358 133724 2259 9 0 2630092 0
[pid=23246/tid=23247] ppid=23244 vsize=10557432 CPUtime=0.19 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) S 23244 23246 19222 0 -1 4202560 11968 0 1 0 18 1 0 0 15 0 22 0 831035344 10810810368 133724 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23249] ppid=23244 vsize=10557432 CPUtime=0.01 cores=1,3,5,7
/proc/23246/task/23249/stat : 23249 (java) S 23244 23246 19222 0 -1 4202560 385 0 0 0 1 0 0 0 15 0 22 0 831035346 10810810368 133724 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23250] ppid=23244 vsize=10557432 CPUtime=0.01 cores=1,3,5,7
/proc/23246/task/23250/stat : 23250 (java) S 23244 23246 19222 0 -1 4202560 168 0 0 0 1 0 0 0 15 0 22 0 831035346 10810810368 133724 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 3 0 0 0
[pid=23246/tid=23251] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23251/stat : 23251 (java) S 23244 23246 19222 0 -1 4202560 223 0 0 0 0 0 0 0 15 0 22 0 831035346 10810810368 133724 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 3 0 0 0
[pid=23246/tid=23252] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23252/stat : 23252 (java) S 23244 23246 19222 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 22 0 831035346 10810810368 133724 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23253] ppid=23244 vsize=10557432 CPUtime=0.01 cores=1,3,5,7
/proc/23246/task/23253/stat : 23253 (java) S 23244 23246 19222 0 -1 4202560 95 0 0 0 1 0 0 0 15 0 22 0 831035346 10810810368 133724 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23254] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23254/stat : 23254 (java) S 23244 23246 19222 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 22 0 831035346 10810810368 133724 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 3 0 0 0
[pid=23246/tid=23255] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23255/stat : 23255 (java) S 23244 23246 19222 0 -1 4202560 225 0 0 0 0 0 0 0 15 0 22 0 831035346 10810810368 133724 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23256] ppid=23244 vsize=10557432 CPUtime=0.01 cores=1,3,5,7
/proc/23246/task/23256/stat : 23256 (java) S 23244 23246 19222 0 -1 4202560 445 0 0 0 1 0 0 0 15 0 22 0 831035346 10810810368 133724 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0

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

/proc/23246/task/23255/stat : 23255 (java) S 23244 23246 19222 0 -1 4202560 274 0 0 0 4 0 0 0 16 0 22 0 831035346 10810810368 166357 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23256] ppid=23244 vsize=10557432 CPUtime=0.03 cores=1,3,5,7
/proc/23246/task/23256/stat : 23256 (java) S 23244 23246 19222 0 -1 4202560 477 0 0 0 3 0 0 0 15 0 22 0 831035346 10810810368 166357 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23257] ppid=23244 vsize=10557432 CPUtime=0.89 cores=1,3,5,7
/proc/23246/task/23257/stat : 23257 (java) S 23244 23246 19222 0 -1 4202560 6367 0 0 0 89 0 0 0 16 0 22 0 831035347 10810810368 166357 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 0 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23258] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23258/stat : 23258 (java) S 23244 23246 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831035347 10810810368 166357 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23259] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23259/stat : 23259 (java) S 23244 23246 19222 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 831035347 10810810368 166357 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23260] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23260/stat : 23260 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831035349 10810810368 166357 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820989361 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23261] ppid=23244 vsize=10557432 CPUtime=1.33 cores=1,3,5,7
/proc/23246/task/23261/stat : 23261 (java) S 23244 23246 19222 0 -1 4202560 14484 0 0 0 132 1 0 0 17 0 22 0 831035349 10810810368 166357 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23262] ppid=23244 vsize=10557432 CPUtime=1.53 cores=1,3,5,7
/proc/23246/task/23262/stat : 23262 (java) S 23244 23246 19222 0 -1 4202560 8657 0 0 0 152 1 0 0 15 0 22 0 831035349 10810810368 166357 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23263] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23263/stat : 23263 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831035349 10810810368 166357 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23264] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23264/stat : 23264 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831035349 10810810368 166357 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23268] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23268/stat : 23268 (java) S 23244 23246 19222 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831035365 10810810368 166357 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.8
Current children cumulated vsize (KiB) 10557432

[startup+13.6009 s]
/proc/loadavg: 3.40 3.75 3.67 5/416 23289
/proc/meminfo: memFree=21292688/32951124 swapFree=37148216/67111528
[pid=23246] ppid=23244 vsize=10557432 CPUtime=25.3 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23246 19222 0 -1 4202496 179663 0 1 0 2508 22 0 0 24 0 22 0 831035344 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23246/statm: 2639358 166716 2259 9 0 2630092 0
[pid=23246/tid=23247] ppid=23244 vsize=10557432 CPUtime=0.19 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) S 23244 23246 19222 0 -1 4202560 11969 0 1 0 18 1 0 0 15 0 22 0 831035344 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23249] ppid=23244 vsize=10557432 CPUtime=0.03 cores=1,3,5,7
/proc/23246/task/23249/stat : 23249 (java) S 23244 23246 19222 0 -1 4202560 386 0 0 0 3 0 0 0 15 0 22 0 831035346 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 3 0 0 0
[pid=23246/tid=23250] ppid=23244 vsize=10557432 CPUtime=0.03 cores=1,3,5,7
/proc/23246/task/23250/stat : 23250 (java) S 23244 23246 19222 0 -1 4202560 174 0 0 0 3 0 0 0 15 0 22 0 831035346 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23251] ppid=23244 vsize=10557432 CPUtime=0.02 cores=1,3,5,7
/proc/23246/task/23251/stat : 23251 (java) S 23244 23246 19222 0 -1 4202560 226 0 0 0 2 0 0 0 16 0 22 0 831035346 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23252] ppid=23244 vsize=10557432 CPUtime=0.01 cores=1,3,5,7
/proc/23246/task/23252/stat : 23252 (java) S 23244 23246 19222 0 -1 4202560 317 0 0 0 1 0 0 0 16 0 22 0 831035346 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23253] ppid=23244 vsize=10557432 CPUtime=0.02 cores=1,3,5,7
/proc/23246/task/23253/stat : 23253 (java) S 23244 23246 19222 0 -1 4202560 159 0 0 0 2 0 0 0 15 0 22 0 831035346 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 3 0 0 0
[pid=23246/tid=23254] ppid=23244 vsize=10557432 CPUtime=0.02 cores=1,3,5,7
/proc/23246/task/23254/stat : 23254 (java) S 23244 23246 19222 0 -1 4202560 228 0 0 0 2 0 0 0 15 0 22 0 831035346 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23255] ppid=23244 vsize=10557432 CPUtime=0.04 cores=1,3,5,7
/proc/23246/task/23255/stat : 23255 (java) S 23244 23246 19222 0 -1 4202560 274 0 0 0 4 0 0 0 16 0 22 0 831035346 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23256] ppid=23244 vsize=10557432 CPUtime=0.03 cores=1,3,5,7
/proc/23246/task/23256/stat : 23256 (java) S 23244 23246 19222 0 -1 4202560 477 0 0 0 3 0 0 0 16 0 22 0 831035346 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 3 0 0 0
[pid=23246/tid=23257] ppid=23244 vsize=10557432 CPUtime=1 cores=1,3,5,7
/proc/23246/task/23257/stat : 23257 (java) S 23244 23246 19222 0 -1 4202560 6723 0 0 0 100 0 0 0 15 0 22 0 831035347 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 0 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23258] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23258/stat : 23258 (java) S 23244 23246 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831035347 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23259] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23259/stat : 23259 (java) S 23244 23246 19222 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 831035347 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23260] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23260/stat : 23260 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831035349 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820989361 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23261] ppid=23244 vsize=10557432 CPUtime=1.33 cores=1,3,5,7
/proc/23246/task/23261/stat : 23261 (java) S 23244 23246 19222 0 -1 4202560 14484 0 0 0 132 1 0 0 17 0 22 0 831035349 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23262] ppid=23244 vsize=10557432 CPUtime=1.53 cores=1,3,5,7
/proc/23246/task/23262/stat : 23262 (java) S 23244 23246 19222 0 -1 4202560 8657 0 0 0 152 1 0 0 15 0 22 0 831035349 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23263] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23263/stat : 23263 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831035349 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23264] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23264/stat : 23264 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831035349 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23268] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23268/stat : 23268 (java) S 23244 23246 19222 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831035365 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23287] ppid=23244 vsize=10557432 CPUtime=1.13 cores=1,3,5,7
/proc/23246/task/23287/stat : 23287 (java) R 23244 23246 19222 0 -1 4202560 5 0 0 0 113 0 0 0 16 0 22 0 831036573 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 46912505572747 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23246/tid=23288] ppid=23244 vsize=10557432 CPUtime=1.13 cores=1,3,5,7
/proc/23246/task/23288/stat : 23288 (java) R 23244 23246 19222 0 -1 4202560 0 0 0 0 113 0 0 0 17 0 22 0 831036573 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 46912505652932 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23246/tid=23289] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23289/stat : 23289 (java) S 23244 23246 19222 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831036573 10810810368 166716 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 10557432

[startup+14.4148 s]
/proc/loadavg: 3.40 3.75 3.67 5/416 23289
/proc/meminfo: memFree=21292068/32951124 swapFree=37148216/67111528
[pid=23246] ppid=23244 vsize=10557432 CPUtime=26.85 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23246 19222 0 -1 4202496 179666 0 1 0 2663 22 0 0 24 0 22 0 831035344 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23246/statm: 2639358 166718 2259 9 0 2630092 0
[pid=23246/tid=23247] ppid=23244 vsize=10557432 CPUtime=0.19 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) S 23244 23246 19222 0 -1 4202560 11969 0 1 0 18 1 0 0 15 0 22 0 831035344 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23249] ppid=23244 vsize=10557432 CPUtime=0.03 cores=1,3,5,7
/proc/23246/task/23249/stat : 23249 (java) S 23244 23246 19222 0 -1 4202560 386 0 0 0 3 0 0 0 16 0 22 0 831035346 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23250] ppid=23244 vsize=10557432 CPUtime=0.03 cores=1,3,5,7
/proc/23246/task/23250/stat : 23250 (java) S 23244 23246 19222 0 -1 4202560 174 0 0 0 3 0 0 0 16 0 22 0 831035346 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23251] ppid=23244 vsize=10557432 CPUtime=0.02 cores=1,3,5,7
/proc/23246/task/23251/stat : 23251 (java) S 23244 23246 19222 0 -1 4202560 226 0 0 0 2 0 0 0 15 0 22 0 831035346 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23252] ppid=23244 vsize=10557432 CPUtime=0.01 cores=1,3,5,7
/proc/23246/task/23252/stat : 23252 (java) S 23244 23246 19222 0 -1 4202560 317 0 0 0 1 0 0 0 15 0 22 0 831035346 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23253] ppid=23244 vsize=10557432 CPUtime=0.02 cores=1,3,5,7
/proc/23246/task/23253/stat : 23253 (java) S 23244 23246 19222 0 -1 4202560 159 0 0 0 2 0 0 0 15 0 22 0 831035346 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 3 0 0 0
[pid=23246/tid=23254] ppid=23244 vsize=10557432 CPUtime=0.02 cores=1,3,5,7
/proc/23246/task/23254/stat : 23254 (java) S 23244 23246 19222 0 -1 4202560 230 0 0 0 2 0 0 0 15 0 22 0 831035346 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23255] ppid=23244 vsize=10557432 CPUtime=0.04 cores=1,3,5,7
/proc/23246/task/23255/stat : 23255 (java) S 23244 23246 19222 0 -1 4202560 274 0 0 0 4 0 0 0 15 0 22 0 831035346 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23256] ppid=23244 vsize=10557432 CPUtime=0.03 cores=1,3,5,7
/proc/23246/task/23256/stat : 23256 (java) S 23244 23246 19222 0 -1 4202560 477 0 0 0 3 0 0 0 16 0 22 0 831035346 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 3 0 0 0
[pid=23246/tid=23257] ppid=23244 vsize=10557432 CPUtime=1.08 cores=1,3,5,7
/proc/23246/task/23257/stat : 23257 (java) S 23244 23246 19222 0 -1 4202560 6723 0 0 0 108 0 0 0 15 0 22 0 831035347 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 0 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23258] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23258/stat : 23258 (java) S 23244 23246 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831035347 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23259] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23259/stat : 23259 (java) S 23244 23246 19222 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 831035347 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23260] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23260/stat : 23260 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831035349 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820989361 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23261] ppid=23244 vsize=10557432 CPUtime=1.33 cores=1,3,5,7
/proc/23246/task/23261/stat : 23261 (java) S 23244 23246 19222 0 -1 4202560 14484 0 0 0 132 1 0 0 17 0 22 0 831035349 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23262] ppid=23244 vsize=10557432 CPUtime=1.53 cores=1,3,5,7
/proc/23246/task/23262/stat : 23262 (java) S 23244 23246 19222 0 -1 4202560 8657 0 0 0 152 1 0 0 15 0 22 0 831035349 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23263] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23263/stat : 23263 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831035349 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23264] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23264/stat : 23264 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831035349 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23268] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23268/stat : 23268 (java) S 23244 23246 19222 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831035365 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23287] ppid=23244 vsize=10557432 CPUtime=1.87 cores=1,3,5,7
/proc/23246/task/23287/stat : 23287 (java) R 23244 23246 19222 0 -1 4202560 6 0 0 0 187 0 0 0 16 0 22 0 831036573 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 46912505689964 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23246/tid=23288] ppid=23244 vsize=10557432 CPUtime=1.87 cores=1,3,5,7
/proc/23246/task/23288/stat : 23288 (java) R 23244 23246 19222 0 -1 4202560 0 0 0 0 187 0 0 0 17 0 22 0 831036573 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 46912505652532 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23246/tid=23289] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23289/stat : 23289 (java) S 23244 23246 19222 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831036573 10810810368 166718 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 26.85
Current children cumulated vsize (KiB) 10557432

[startup+14.8007 s]
/proc/loadavg: 3.40 3.75 3.67 5/416 23289
/proc/meminfo: memFree=21292068/32951124 swapFree=37148216/67111528
[pid=23246] ppid=23244 vsize=10557432 CPUtime=27.26 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23246 19222 0 -1 4202496 179676 0 1 0 2704 22 0 0 24 0 19 0 831035344 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23246/statm: 2639358 166727 2259 9 0 2630092 0
[pid=23246/tid=23247] ppid=23244 vsize=10557432 CPUtime=0.2 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) R 23244 23246 19222 0 -1 4202560 11969 0 1 0 19 1 0 0 15 0 19 0 831035344 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 46912505220473 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23246/tid=23249] ppid=23244 vsize=10557432 CPUtime=0.03 cores=1,3,5,7
/proc/23246/task/23249/stat : 23249 (java) S 23244 23246 19222 0 -1 4202560 386 0 0 0 3 0 0 0 16 0 19 0 831035346 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23250] ppid=23244 vsize=10557432 CPUtime=0.03 cores=1,3,5,7
/proc/23246/task/23250/stat : 23250 (java) S 23244 23246 19222 0 -1 4202560 175 0 0 0 3 0 0 0 16 0 19 0 831035346 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23251] ppid=23244 vsize=10557432 CPUtime=0.02 cores=1,3,5,7
/proc/23246/task/23251/stat : 23251 (java) S 23244 23246 19222 0 -1 4202560 228 0 0 0 2 0 0 0 16 0 19 0 831035346 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23252] ppid=23244 vsize=10557432 CPUtime=0.02 cores=1,3,5,7
/proc/23246/task/23252/stat : 23252 (java) S 23244 23246 19222 0 -1 4202560 317 0 0 0 2 0 0 0 15 0 19 0 831035346 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23253] ppid=23244 vsize=10557432 CPUtime=0.02 cores=1,3,5,7
/proc/23246/task/23253/stat : 23253 (java) S 23244 23246 19222 0 -1 4202560 159 0 0 0 2 0 0 0 15 0 19 0 831035346 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 3 0 0 0
[pid=23246/tid=23254] ppid=23244 vsize=10557432 CPUtime=0.02 cores=1,3,5,7
/proc/23246/task/23254/stat : 23254 (java) S 23244 23246 19222 0 -1 4202560 230 0 0 0 2 0 0 0 15 0 19 0 831035346 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23255] ppid=23244 vsize=10557432 CPUtime=0.04 cores=1,3,5,7
/proc/23246/task/23255/stat : 23255 (java) S 23244 23246 19222 0 -1 4202560 274 0 0 0 4 0 0 0 15 0 19 0 831035346 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23256] ppid=23244 vsize=10557432 CPUtime=0.03 cores=1,3,5,7
/proc/23246/task/23256/stat : 23256 (java) S 23244 23246 19222 0 -1 4202560 483 0 0 0 3 0 0 0 16 0 19 0 831035346 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 3 0 0 0
[pid=23246/tid=23257] ppid=23244 vsize=10557432 CPUtime=1.13 cores=1,3,5,7
/proc/23246/task/23257/stat : 23257 (java) S 23244 23246 19222 0 -1 4202560 6723 0 0 0 113 0 0 0 15 0 19 0 831035347 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 0 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23258] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23258/stat : 23258 (java) S 23244 23246 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831035347 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23259] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23259/stat : 23259 (java) S 23244 23246 19222 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 831035347 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23260] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23260/stat : 23260 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831035349 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820989361 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23261] ppid=23244 vsize=10557432 CPUtime=1.33 cores=1,3,5,7
/proc/23246/task/23261/stat : 23261 (java) S 23244 23246 19222 0 -1 4202560 14484 0 0 0 132 1 0 0 17 0 19 0 831035349 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23262] ppid=23244 vsize=10557432 CPUtime=1.53 cores=1,3,5,7
/proc/23246/task/23262/stat : 23262 (java) S 23244 23246 19222 0 -1 4202560 8657 0 0 0 152 1 0 0 15 0 19 0 831035349 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 1 0 0 0
[pid=23246/tid=23263] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23263/stat : 23263 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831035349 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820981657 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
[pid=23246/tid=23264] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23264/stat : 23264 (java) S 23244 23246 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831035349 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 7 0 0 0
[pid=23246/tid=23268] ppid=23244 vsize=10557432 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23268/stat : 23268 (java) S 23244 23246 19222 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831035365 10810810368 166727 33554432000 1073741824 1073778376 140735336168688 18446744073709551615 230820982272 0 4 0 16800975 18446604468134451072 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 27.26
Current children cumulated vsize (KiB) 10557432

Child status: 30
Real time (s): 14.8743
CPU time (s): 27.3418
CPU user time (s): 27.0949
CPU system time (s): 0.246962
CPU usage (%): 183.819
Max. virtual memory (cumulated for all children) (KiB): 10562280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.0949
system time used= 0.246962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179681
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1537
involuntary context switches= 947

runsolver used 0.066989 second user time and 0.12698 second system time

The end

Launcher Data

Begin job on node104 at 2011-06-04 15:32:29
IDJOB=3453868
IDBENCH=48072
IDSOLVER=1950
FILE ID=node104/3453868-1307194349
RUNJOBID= node104-1307194304-22873
PBS_JOBID= 13508864
Free space on /tmp= 73956 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=83-P1=113-P2=127-P3=71-P4=61-P5=43-P6=71-P7=41-P8=13-P9=71-B.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453868-1307194349/watcher-3453868-1307194349 -o /tmp/evaluation-result-3453868-1307194349/solver-3453868-1307194349 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453868-1307194349.opb

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

MD5SUM BENCH= bd15d72e061a78dfd7cc65e865014c03
RANDOM SEED=1544738229

node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5293.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21961096 kB
Buffers:        420988 kB
Cached:        7648080 kB
SwapCached:     163904 kB
Active:        4577868 kB
Inactive:      6071500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21961096 kB
SwapTotal:    67111528 kB
SwapFree:     37148216 kB
Dirty:             396 kB
Writeback:          88 kB
AnonPages:     2438932 kB
Mapped:          19288 kB
Slab:           182856 kB
PageTables:      90956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 98095764 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73956 MiB
End job on node104 at 2011-06-04 15:32:44