Trace number 3492378

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08OPTIMUM 24.2233 23.4206

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-33-100-0.wbo
MD5SUMb83b3eb7b2e3cdfc14afc5fb58fdd674
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1.44278
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints64
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 2925
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 2924
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1200
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
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.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3492378-1307909738.wbo
0.09/0.11	c reading problem ... 
0.09/0.16	c ... done. Wall clock time 0.054s.
0.09/0.16	c #vars     233
0.09/0.16	c #constraints  101
0.09/0.16	c constraints type 
0.09/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29
0.09/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
0.09/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
0.09/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 47
0.27/0.25	c SATISFIABLE
0.27/0.25	c OPTIMIZING...
0.27/0.25	c Got one! Elapsed wall clock time (in seconds):0.145
0.27/0.25	o 419
0.27/0.28	c Got one! Elapsed wall clock time (in seconds):0.169
0.27/0.28	o 378
0.54/0.30	c Got one! Elapsed wall clock time (in seconds):0.19
0.54/0.30	o 352
0.54/0.33	c Got one! Elapsed wall clock time (in seconds):0.224
0.54/0.33	o 330
0.54/0.36	c Got one! Elapsed wall clock time (in seconds):0.246
0.54/0.36	o 320
0.67/0.47	c Got one! Elapsed wall clock time (in seconds):0.357
0.67/0.47	o 267
0.78/0.57	c cleaning 4153 clauses out of 8319 with flag 2001/8319
1.03/0.76	c cleaning 5082 clauses out of 10165 with flag 8000/14318
1.24/0.92	c Got one! Elapsed wall clock time (in seconds):0.811
1.24/0.92	o 264
1.34/1.03	c Got one! Elapsed wall clock time (in seconds):0.922
1.34/1.03	o 251
1.44/1.11	c cleaning 7785 clauses out of 15583 with flag 2000/24818
1.44/1.16	c Got one! Elapsed wall clock time (in seconds):1.055
1.44/1.16	o 249
1.60/1.29	c Got one! Elapsed wall clock time (in seconds):1.176
1.60/1.29	o 221
1.70/1.33	c cleaning 7035 clauses out of 14074 with flag 1001/31094
1.82/1.46	c Got one! Elapsed wall clock time (in seconds):1.355
1.82/1.46	o 152
1.92/1.51	c cleaning 6097 clauses out of 12200 with flag 1003/36255
2.02/1.69	c Got one! Elapsed wall clock time (in seconds):1.577
2.02/1.69	o 140
2.22/1.85	c cleaning 8442 clauses out of 16889 with flag 5000/47041
2.43/2.07	c cleaning 7220 clauses out of 14447 with flag 11000/53041
2.73/2.31	c cleaning 7109 clauses out of 14230 with flag 18003/60044
2.93/2.59	c cleaning 7555 clauses out of 15119 with flag 26001/68042
3.03/2.62	c Got one! Elapsed wall clock time (in seconds):2.51
3.03/2.62	o 99
3.13/2.78	c cleaning 6640 clauses out of 13285 with flag 5000/73763
3.43/3.02	c cleaning 6315 clauses out of 12645 with flag 11000/79763
3.64/3.26	c cleaning 6661 clauses out of 13330 with flag 18000/86763
3.93/3.54	c cleaning 7331 clauses out of 14669 with flag 26000/94763
4.23/3.86	c cleaning 8165 clauses out of 16338 with flag 35000/103763
4.64/4.23	c cleaning 9084 clauses out of 18175 with flag 45002/113765
5.04/4.60	c cleaning 9538 clauses out of 19090 with flag 55001/123764
5.34/4.97	c cleaning 9768 clauses out of 19551 with flag 65000/133763
5.74/5.35	c cleaning 9889 clauses out of 19783 with flag 75000/143763
5.95/5.55	c Got one! Elapsed wall clock time (in seconds):5.445
5.95/5.55	o 96
6.14/5.76	c cleaning 10315 clauses out of 20637 with flag 5002/154506
6.34/5.97	c cleaning 8157 clauses out of 16321 with flag 11001/160505
6.64/6.23	c cleaning 7579 clauses out of 15164 with flag 18001/167505
6.95/6.55	c cleaning 7786 clauses out of 15584 with flag 26000/175504
7.24/6.86	c cleaning 8393 clauses out of 16799 with flag 35001/184505
7.65/7.24	c cleaning 9200 clauses out of 18408 with flag 45003/194507
7.75/7.33	c Got one! Elapsed wall clock time (in seconds):7.217
7.75/7.33	o 94
7.85/7.43	c cleaning 7348 clauses out of 14702 with flag 3000/200001
8.05/7.63	c cleaning 6673 clauses out of 13355 with flag 9001/206002
8.25/7.89	c cleaning 6837 clauses out of 13681 with flag 16000/213001
8.55/8.17	c Got one! Elapsed wall clock time (in seconds):8.063
8.55/8.17	o 72
8.75/8.36	c cleaning 9660 clauses out of 19325 with flag 5000/225482
8.95/8.57	c cleaning 7826 clauses out of 15666 with flag 11001/231483
9.26/8.83	c cleaning 7417 clauses out of 14843 with flag 18004/238486
9.45/9.09	c cleaning 7700 clauses out of 15422 with flag 26000/246482
9.75/9.30	c Got one! Elapsed wall clock time (in seconds):9.191
9.75/9.30	o 69
9.95/9.50	c cleaning 9565 clauses out of 19140 with flag 5000/257900
10.15/9.71	c cleaning 7785 clauses out of 15575 with flag 11000/263900
10.36/9.93	c cleaning 7392 clauses out of 14792 with flag 18002/270902
10.66/10.23	c cleaning 7693 clauses out of 15398 with flag 26000/278900
10.96/10.54	c cleaning 8343 clauses out of 16705 with flag 35000/287900
11.26/10.87	c cleaning 9173 clauses out of 18362 with flag 45000/297900
11.56/11.13	c Got one! Elapsed wall clock time (in seconds):11.02
11.56/11.13	o 60
11.77/11.36	c cleaning 11089 clauses out of 22189 with flag 5001/310900
11.98/11.57	c cleaning 8539 clauses out of 17099 with flag 11000/316899
11.98/11.59	c Got one! Elapsed wall clock time (in seconds):11.476
11.98/11.59	o 26
12.18/11.74	c cleaning 6876 clauses out of 13759 with flag 5001/322098
12.38/11.94	c cleaning 6433 clauses out of 12882 with flag 11000/328097
12.59/12.15	c cleaning 6723 clauses out of 13449 with flag 18000/335097
12.78/12.39	c cleaning 7360 clauses out of 14728 with flag 26002/343099
13.08/12.69	c cleaning 8178 clauses out of 16366 with flag 35000/352097
13.19/12.75	c Got one! Elapsed wall clock time (in seconds):12.64
13.19/12.75	o 15
13.29/12.88	c cleaning 7016 clauses out of 14043 with flag 4000/357952
13.49/13.06	c cleaning 6509 clauses out of 13027 with flag 10000/363952
13.69/13.27	c cleaning 6753 clauses out of 13518 with flag 17000/370952
13.99/13.53	c cleaning 7380 clauses out of 14765 with flag 25000/378952
14.29/13.82	c cleaning 8191 clauses out of 16388 with flag 34003/387955
14.61/14.13	c cleaning 9093 clauses out of 18194 with flag 44000/397952
14.91/14.45	c cleaning 9544 clauses out of 19101 with flag 54000/407952
15.21/14.77	c cleaning 9777 clauses out of 19560 with flag 64003/417955
15.31/14.86	c Got one! Elapsed wall clock time (in seconds):14.747
15.31/14.86	o 8
15.43/14.97	c cleaning 7780 clauses out of 15569 with flag 3002/423741
15.63/15.16	c cleaning 6889 clauses out of 13787 with flag 9000/429739
15.83/15.39	c cleaning 6943 clauses out of 13898 with flag 16000/436739
16.13/15.64	c cleaning 7472 clauses out of 14956 with flag 24001/444740
16.43/15.94	c cleaning 8235 clauses out of 16483 with flag 33000/453739
16.73/16.28	c cleaning 9117 clauses out of 18249 with flag 43001/463740
17.13/16.65	c cleaning 9562 clauses out of 19132 with flag 53001/473740
17.44/16.98	c cleaning 9779 clauses out of 19569 with flag 63000/483739
17.64/17.13	c Got one! Elapsed wall clock time (in seconds):17.018
17.64/17.13	o 2
17.64/17.17	c cleaning 7764 clauses out of 15537 with flag 1001/489486
17.84/17.37	c cleaning 6882 clauses out of 13773 with flag 7001/495486
18.04/17.60	c cleaning 6942 clauses out of 13892 with flag 14002/502487
18.34/17.85	c cleaning 7473 clauses out of 14949 with flag 22001/510486
18.64/18.16	c cleaning 8235 clauses out of 16475 with flag 31000/519485
18.94/18.49	c cleaning 9116 clauses out of 18245 with flag 41005/529490
19.34/18.84	c cleaning 9556 clauses out of 19126 with flag 51002/539487
19.64/19.19	c cleaning 9777 clauses out of 19568 with flag 61000/549485
20.04/19.53	c cleaning 9892 clauses out of 19792 with flag 71001/559486
20.35/19.88	c cleaning 9946 clauses out of 19899 with flag 81000/569485
20.74/20.23	c cleaning 9971 clauses out of 19953 with flag 91000/579485
21.04/20.58	c cleaning 9982 clauses out of 19982 with flag 101000/589485
21.45/20.95	c cleaning 9991 clauses out of 20000 with flag 111000/599485
21.85/21.32	c cleaning 10003 clauses out of 20011 with flag 121002/609487
22.15/21.68	c cleaning 9994 clauses out of 20006 with flag 131000/619485
22.55/22.06	c cleaning 10002 clauses out of 20013 with flag 141001/629486
22.95/22.41	c cleaning 10001 clauses out of 20010 with flag 151000/639485
23.25/22.77	c cleaning 10001 clauses out of 20010 with flag 161001/649486
23.67/23.18	c cleaning 9997 clauses out of 20007 with flag 171000/659485
24.07/23.33	c starts		: 175
24.07/23.33	c conflicts		: 663430
24.07/23.33	c decisions		: 1017814
24.07/23.33	c propagations		: 15928742
24.07/23.33	c inspects		: 144733471
24.07/23.33	c shortcuts		: 0
24.07/23.33	c learnt literals	: 7
24.07/23.33	c learnt binary clauses	: 22
24.07/23.33	c learnt ternary clauses	: 427
24.07/23.33	c learnt constraints	: 663422
24.07/23.33	c ignored constraints	: 0
24.07/23.33	c root simplifications	: 0
24.07/23.33	c removed literals (reason simplification)	: 5388510
24.07/23.33	c reason swapping (by a shorter reason)	: 0
24.07/23.33	c Calls to reduceDB	: 79
24.07/23.33	c number of reductions to clauses (during analyze)	: 0
24.07/23.33	c number of learned constraints concerned by reduction	: 0
24.07/23.33	c number of learning phase by resolution	: 0
24.07/23.33	c number of learning phase by cutting planes	: 0
24.07/23.33	c speed (assignments/second)	: 2569151.935483871
24.07/23.33	c non guided choices	1263
24.07/23.33	c learnt constraints type 
24.07/23.33	c constraints type 
24.07/23.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29
24.07/23.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
24.07/23.33	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
24.07/23.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 47
24.07/23.33	s OPTIMUM FOUND
24.07/23.33	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 
24.07/23.33	c objective function=2
24.07/23.33	c Total wall clock time (in seconds): 23.22

Verifier Data 

OK	2

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 /var/tmp/evaluation-result-3492378-1307909738/watcher-3492378-1307909738 -o /var/tmp/evaluation-result-3492378-1307909738/solver-3492378-1307909738 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492378-1307909738.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.09 1.99 1.76 2/195 5256
/proc/meminfo: memFree=1032528/32951124 swapFree=67055716/67111528
[pid=5256] ppid=5254 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/5256/stat : 5256 (java) R 5254 5256 2916 0 -1 4202496 835 0 0 0 0 0 0 0 25 0 1 0 635165113 23580672 576 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268655699712 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5256/statm: 5757 588 437 9 0 124 0

[startup+0.0175421 s]
/proc/loadavg: 2.09 1.99 1.76 2/195 5256
/proc/meminfo: memFree=1032528/32951124 swapFree=67055716/67111528
[pid=5256] ppid=5254 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/5256/stat : 5256 (java) S 5254 5256 2916 0 -1 4202496 5133 0 1 0 0 0 0 0 25 0 2 0 635165113 10694979584 4832 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/5256/statm: 2611079 4851 917 9 0 2602235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316

[startup+0.100531 s]
/proc/loadavg: 2.09 1.99 1.76 2/195 5256
/proc/meminfo: memFree=1032528/32951124 swapFree=67055716/67111528
[pid=5256] ppid=5254 vsize=10539964 CPUtime=0.09 cores=1,3,5,7
/proc/5256/stat : 5256 (java) S 5254 5256 2916 0 -1 4202496 13028 0 1 0 8 1 0 0 25 0 18 0 635165113 10792923136 12694 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5256/statm: 2634991 12694 2092 9 0 2625725 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539964

[startup+0.300495 s]
/proc/loadavg: 2.09 1.99 1.76 2/195 5256
/proc/meminfo: memFree=1032528/32951124 swapFree=67055716/67111528
[pid=5256] ppid=5254 vsize=10544476 CPUtime=0.54 cores=1,3,5,7
/proc/5256/stat : 5256 (java) S 5254 5256 2916 0 -1 4202496 16038 0 1 0 52 2 0 0 25 0 19 0 635165113 10797543424 14866 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5256/statm: 2636119 14866 2214 9 0 2626853 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10544476

[startup+0.700423 s]
/proc/loadavg: 2.09 1.99 1.76 2/195 5256
/proc/meminfo: memFree=1032528/32951124 swapFree=67055716/67111528
[pid=5256] ppid=5254 vsize=10544476 CPUtime=1.03 cores=1,3,5,7
/proc/5256/stat : 5256 (java) S 5254 5256 2916 0 -1 4202496 17095 0 1 0 101 2 0 0 25 0 19 0 635165113 10797543424 15827 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5256/statm: 2636119 15827 2246 9 0 2626853 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 10544476

[startup+1.50128 s]
/proc/loadavg: 2.09 1.99 1.76 3/214 5275
/proc/meminfo: memFree=976664/32951124 swapFree=67055716/67111528
[pid=5256] ppid=5254 vsize=10545636 CPUtime=1.92 cores=1,3,5,7
/proc/5256/stat : 5256 (java) S 5254 5256 2916 0 -1 4202496 18274 0 1 0 190 2 0 0 25 0 19 0 635165113 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5256/statm: 2636409 16829 2248 9 0 2627143 0
[pid=5256/tid=5258] ppid=5254 vsize=10545636 CPUtime=1.42 cores=1,3,5,7
/proc/5256/task/5258/stat : 5258 (java) R 5254 5256 2916 0 -1 4202560 12231 0 1 0 141 1 0 0 25 0 19 0 635165114 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 46912505599917 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5256/tid=5259] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5259/stat : 5259 (java) S 5254 5256 2916 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 635165116 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5260] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5260/stat : 5260 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635165116 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5261] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5261/stat : 5261 (java) S 5254 5256 2916 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 635165116 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5262] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5262/stat : 5262 (java) S 5254 5256 2916 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 635165116 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5263] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5263/stat : 5263 (java) S 5254 5256 2916 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 635165116 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5264] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5264/stat : 5264 (java) S 5254 5256 2916 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 635165116 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5265] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5265/stat : 5265 (java) S 5254 5256 2916 0 -1 4202560 155 0 0 0 0 0 0 0 15 0 19 0 635165116 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5266] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5266/stat : 5266 (java) S 5254 5256 2916 0 -1 4202560 131 0 0 0 0 0 0 0 15 0 19 0 635165116 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5267] ppid=5254 vsize=10545636 CPUtime=0.04 cores=1,3,5,7
/proc/5256/task/5267/stat : 5267 (java) S 5254 5256 2916 0 -1 4202560 539 0 0 0 4 0 0 0 16 0 19 0 635165117 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 0 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5268] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5268/stat : 5268 (java) S 5254 5256 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 635165117 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5269] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5269/stat : 5269 (java) S 5254 5256 2916 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 635165117 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5270] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5270/stat : 5270 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635165119 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672485809 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5271] ppid=5254 vsize=10545636 CPUtime=0.26 cores=1,3,5,7
/proc/5256/task/5271/stat : 5271 (java) S 5254 5256 2916 0 -1 4202560 2258 0 0 0 26 0 0 0 17 0 19 0 635165119 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5272] ppid=5254 vsize=10545636 CPUtime=0.15 cores=1,3,5,7
/proc/5256/task/5272/stat : 5272 (java) S 5254 5256 2916 0 -1 4202560 1417 0 0 0 15 0 0 0 15 0 19 0 635165119 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5273] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5273/stat : 5273 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635165119 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5274] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5274/stat : 5274 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635165119 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5275] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5275/stat : 5275 (java) S 5254 5256 2916 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 635165130 10798731264 16829 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 10545636

[startup+3.101 s]
/proc/loadavg: 2.09 1.99 1.76 3/214 5275
/proc/meminfo: memFree=972940/32951124 swapFree=67055716/67111528
[pid=5256] ppid=5254 vsize=10545636 CPUtime=3.53 cores=1,3,5,7
/proc/5256/stat : 5256 (java) S 5254 5256 2916 0 -1 4202496 18474 0 1 0 351 2 0 0 25 0 19 0 635165113 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5256/statm: 2636409 17022 2248 9 0 2627143 0
[pid=5256/tid=5258] ppid=5254 vsize=10545636 CPUtime=2.92 cores=1,3,5,7
/proc/5256/task/5258/stat : 5258 (java) R 5254 5256 2916 0 -1 4202560 12239 0 1 0 291 1 0 0 25 0 19 0 635165114 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 46912505550405 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5256/tid=5259] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5259/stat : 5259 (java) S 5254 5256 2916 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 635165116 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5260] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5260/stat : 5260 (java) S 5254 5256 2916 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 635165116 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5261] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5261/stat : 5261 (java) S 5254 5256 2916 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 635165116 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5262] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5262/stat : 5262 (java) S 5254 5256 2916 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 635165116 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5263] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5263/stat : 5263 (java) S 5254 5256 2916 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 635165116 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5264] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5264/stat : 5264 (java) S 5254 5256 2916 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 635165116 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5265] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5265/stat : 5265 (java) S 5254 5256 2916 0 -1 4202560 155 0 0 0 0 0 0 0 15 0 19 0 635165116 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5266] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5266/stat : 5266 (java) S 5254 5256 2916 0 -1 4202560 169 0 0 0 0 0 0 0 15 0 19 0 635165116 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5267] ppid=5254 vsize=10545636 CPUtime=0.13 cores=1,3,5,7
/proc/5256/task/5267/stat : 5267 (java) S 5254 5256 2916 0 -1 4202560 582 0 0 0 13 0 0 0 16 0 19 0 635165117 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 0 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5268] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5268/stat : 5268 (java) S 5254 5256 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 635165117 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5269] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5269/stat : 5269 (java) S 5254 5256 2916 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 635165117 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5270] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5270/stat : 5270 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635165119 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672485809 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5271] ppid=5254 vsize=10545636 CPUtime=0.27 cores=1,3,5,7
/proc/5256/task/5271/stat : 5271 (java) S 5254 5256 2916 0 -1 4202560 2258 0 0 0 27 0 0 0 15 0 19 0 635165119 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5272] ppid=5254 vsize=10545636 CPUtime=0.15 cores=1,3,5,7
/proc/5256/task/5272/stat : 5272 (java) S 5254 5256 2916 0 -1 4202560 1417 0 0 0 15 0 0 0 15 0 19 0 635165119 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5273] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5273/stat : 5273 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635165119 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5274] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5274/stat : 5274 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635165119 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5275] ppid=5254 vsize=10545636 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5275/stat : 5275 (java) S 5254 5256 2916 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 635165130 10798731264 17022 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 10545636

[startup+6.30144 s]
/proc/loadavg: 2.09 1.99 1.76 3/214 5275
/proc/meminfo: memFree=973148/32951124 swapFree=67055716/67111528
[pid=5256] ppid=5254 vsize=10544028 CPUtime=6.74 cores=1,3,5,7
/proc/5256/stat : 5256 (java) S 5254 5256 2916 0 -1 4202496 18584 0 1 0 672 2 0 0 25 0 19 0 635165113 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5256/statm: 2636007 16743 2248 9 0 2626741 0
[pid=5256/tid=5258] ppid=5254 vsize=10544028 CPUtime=5.99 cores=1,3,5,7
/proc/5256/task/5258/stat : 5258 (java) R 5254 5256 2916 0 -1 4202560 12250 0 1 0 598 1 0 0 25 0 19 0 635165114 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 46912505527484 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5256/tid=5259] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5259/stat : 5259 (java) S 5254 5256 2916 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 19 0 635165116 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5260] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5260/stat : 5260 (java) S 5254 5256 2916 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 635165116 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5261] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5261/stat : 5261 (java) S 5254 5256 2916 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 635165116 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5262] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5262/stat : 5262 (java) S 5254 5256 2916 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 635165116 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5263] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5263/stat : 5263 (java) S 5254 5256 2916 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 635165116 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5264] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5264/stat : 5264 (java) S 5254 5256 2916 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 19 0 635165116 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5265] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5265/stat : 5265 (java) S 5254 5256 2916 0 -1 4202560 155 0 0 0 0 0 0 0 15 0 19 0 635165116 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5266] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5266/stat : 5266 (java) S 5254 5256 2916 0 -1 4202560 170 0 0 0 0 0 0 0 16 0 19 0 635165116 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5267] ppid=5254 vsize=10544028 CPUtime=0.26 cores=1,3,5,7
/proc/5256/task/5267/stat : 5267 (java) S 5254 5256 2916 0 -1 4202560 669 0 0 0 26 0 0 0 16 0 19 0 635165117 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 0 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5268] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5268/stat : 5268 (java) S 5254 5256 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 635165117 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5269] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5269/stat : 5269 (java) S 5254 5256 2916 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 635165117 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5270] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5270/stat : 5270 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635165119 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672485809 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5271] ppid=5254 vsize=10544028 CPUtime=0.27 cores=1,3,5,7
/proc/5256/task/5271/stat : 5271 (java) S 5254 5256 2916 0 -1 4202560 2258 0 0 0 27 0 0 0 15 0 19 0 635165119 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5272] ppid=5254 vsize=10544028 CPUtime=0.15 cores=1,3,5,7
/proc/5256/task/5272/stat : 5272 (java) S 5254 5256 2916 0 -1 4202560 1417 0 0 0 15 0 0 0 15 0 19 0 635165119 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5273] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5273/stat : 5273 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635165119 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5274] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5274/stat : 5274 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635165119 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5275] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5275/stat : 5275 (java) S 5254 5256 2916 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 635165130 10797084672 16743 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 10544028

[startup+12.7013 s]

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

/proc/5256/task/5258/stat : 5258 (java) R 5254 5256 2916 0 -1 4202560 12305 0 1 0 2120 1 0 0 18 0 19 0 635165114 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 46912505550405 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5256/tid=5259] ppid=5254 vsize=10544028 CPUtime=0.01 cores=1,3,5,7
/proc/5256/task/5259/stat : 5259 (java) S 5254 5256 2916 0 -1 4202560 63 0 0 0 1 0 0 0 16 0 19 0 635165116 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5260] ppid=5254 vsize=10544028 CPUtime=0.01 cores=1,3,5,7
/proc/5256/task/5260/stat : 5260 (java) S 5254 5256 2916 0 -1 4202560 11 0 0 0 1 0 0 0 15 0 19 0 635165116 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5261] ppid=5254 vsize=10544028 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5261/stat : 5261 (java) S 5254 5256 2916 0 -1 4202560 108 0 0 0 2 0 0 0 15 0 19 0 635165116 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5262] ppid=5254 vsize=10544028 CPUtime=0.01 cores=1,3,5,7
/proc/5256/task/5262/stat : 5262 (java) S 5254 5256 2916 0 -1 4202560 109 0 0 0 1 0 0 0 15 0 19 0 635165116 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5263] ppid=5254 vsize=10544028 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5263/stat : 5263 (java) S 5254 5256 2916 0 -1 4202560 106 0 0 0 2 0 0 0 15 0 19 0 635165116 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5264] ppid=5254 vsize=10544028 CPUtime=0.01 cores=1,3,5,7
/proc/5256/task/5264/stat : 5264 (java) S 5254 5256 2916 0 -1 4202560 130 0 0 0 1 0 0 0 15 0 19 0 635165116 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5265] ppid=5254 vsize=10544028 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5265/stat : 5265 (java) S 5254 5256 2916 0 -1 4202560 157 0 0 0 2 0 0 0 15 0 19 0 635165116 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5266] ppid=5254 vsize=10544028 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5266/stat : 5266 (java) S 5254 5256 2916 0 -1 4202560 172 0 0 0 2 0 0 0 16 0 19 0 635165116 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5267] ppid=5254 vsize=10544028 CPUtime=0.96 cores=1,3,5,7
/proc/5256/task/5267/stat : 5267 (java) S 5254 5256 2916 0 -1 4202560 839 0 0 0 96 0 0 0 16 0 19 0 635165117 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 0 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5268] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5268/stat : 5268 (java) S 5254 5256 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 635165117 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5269] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5269/stat : 5269 (java) S 5254 5256 2916 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 635165117 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5270] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5270/stat : 5270 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635165119 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672485809 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5271] ppid=5254 vsize=10544028 CPUtime=0.3 cores=1,3,5,7
/proc/5256/task/5271/stat : 5271 (java) S 5254 5256 2916 0 -1 4202560 2261 0 0 0 30 0 0 0 15 0 19 0 635165119 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5272] ppid=5254 vsize=10544028 CPUtime=0.16 cores=1,3,5,7
/proc/5256/task/5272/stat : 5272 (java) S 5254 5256 2916 0 -1 4202560 1418 0 0 0 16 0 0 0 15 0 19 0 635165119 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5273] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5273/stat : 5273 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635165119 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5274] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5274/stat : 5274 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635165119 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5275] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5275/stat : 5275 (java) S 5254 5256 2916 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 635165130 10797084672 16936 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.85
Current children cumulated vsize (KiB) 10544028

[startup+23.1065 s]
/proc/loadavg: 2.07 1.99 1.77 3/214 5276
/proc/meminfo: memFree=972460/32951124 swapFree=67055716/67111528
[pid=5256] ppid=5254 vsize=10544028 CPUtime=23.67 cores=1,3,5,7
/proc/5256/stat : 5256 (java) S 5254 5256 2916 0 -1 4202496 18852 0 1 0 2364 3 0 0 25 0 19 0 635165113 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5256/statm: 2636007 16954 2249 9 0 2626741 0
[pid=5256/tid=5258] ppid=5254 vsize=10544028 CPUtime=21.99 cores=1,3,5,7
/proc/5256/task/5258/stat : 5258 (java) R 5254 5256 2916 0 -1 4202560 12309 0 1 0 2198 1 0 0 18 0 19 0 635165114 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 46912505526771 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5256/tid=5259] ppid=5254 vsize=10544028 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5259/stat : 5259 (java) S 5254 5256 2916 0 -1 4202560 63 0 0 0 2 0 0 0 15 0 19 0 635165116 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5260] ppid=5254 vsize=10544028 CPUtime=0.01 cores=1,3,5,7
/proc/5256/task/5260/stat : 5260 (java) S 5254 5256 2916 0 -1 4202560 11 0 0 0 1 0 0 0 15 0 19 0 635165116 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5261] ppid=5254 vsize=10544028 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5261/stat : 5261 (java) S 5254 5256 2916 0 -1 4202560 110 0 0 0 2 0 0 0 16 0 19 0 635165116 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5262] ppid=5254 vsize=10544028 CPUtime=0.01 cores=1,3,5,7
/proc/5256/task/5262/stat : 5262 (java) S 5254 5256 2916 0 -1 4202560 109 0 0 0 1 0 0 0 15 0 19 0 635165116 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5263] ppid=5254 vsize=10544028 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5263/stat : 5263 (java) S 5254 5256 2916 0 -1 4202560 106 0 0 0 2 0 0 0 16 0 19 0 635165116 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5264] ppid=5254 vsize=10544028 CPUtime=0.01 cores=1,3,5,7
/proc/5256/task/5264/stat : 5264 (java) S 5254 5256 2916 0 -1 4202560 131 0 0 0 1 0 0 0 15 0 19 0 635165116 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5265] ppid=5254 vsize=10544028 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5265/stat : 5265 (java) S 5254 5256 2916 0 -1 4202560 157 0 0 0 2 0 0 0 15 0 19 0 635165116 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5266] ppid=5254 vsize=10544028 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5266/stat : 5266 (java) S 5254 5256 2916 0 -1 4202560 172 0 0 0 2 0 0 0 16 0 19 0 635165116 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5267] ppid=5254 vsize=10544028 CPUtime=0.99 cores=1,3,5,7
/proc/5256/task/5267/stat : 5267 (java) S 5254 5256 2916 0 -1 4202560 850 0 0 0 99 0 0 0 16 0 19 0 635165117 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 0 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5268] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5268/stat : 5268 (java) S 5254 5256 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 635165117 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5269] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5269/stat : 5269 (java) S 5254 5256 2916 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 635165117 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5270] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5270/stat : 5270 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635165119 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672485809 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5271] ppid=5254 vsize=10544028 CPUtime=0.31 cores=1,3,5,7
/proc/5256/task/5271/stat : 5271 (java) S 5254 5256 2916 0 -1 4202560 2261 0 0 0 31 0 0 0 15 0 19 0 635165119 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5272] ppid=5254 vsize=10544028 CPUtime=0.17 cores=1,3,5,7
/proc/5256/task/5272/stat : 5272 (java) S 5254 5256 2916 0 -1 4202560 1420 0 0 0 17 0 0 0 15 0 19 0 635165119 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5273] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5273/stat : 5273 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635165119 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5274] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5274/stat : 5274 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635165119 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5275] ppid=5254 vsize=10544028 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5275/stat : 5275 (java) S 5254 5256 2916 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 635165130 10797084672 16954 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.67
Current children cumulated vsize (KiB) 10544028

[startup+23.3014 s]
/proc/loadavg: 2.07 1.99 1.77 3/214 5276
/proc/meminfo: memFree=972460/32951124 swapFree=67055716/67111528
[pid=5256] ppid=5254 vsize=10563324 CPUtime=24.07 cores=1,3,5,7
/proc/5256/stat : 5256 (java) S 5254 5256 2916 0 -1 4202496 24208 0 1 0 2403 4 0 0 25 0 19 0 635165113 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5256/statm: 2640831 20636 2249 9 0 2631565 0
[pid=5256/tid=5258] ppid=5254 vsize=10563324 CPUtime=22.16 cores=1,3,5,7
/proc/5256/task/5258/stat : 5258 (java) R 5254 5256 2916 0 -1 4202560 12310 0 1 0 2215 1 0 0 18 0 19 0 635165114 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 46912505329449 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5256/tid=5259] ppid=5254 vsize=10563324 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5259/stat : 5259 (java) S 5254 5256 2916 0 -1 4202560 63 0 0 0 2 0 0 0 15 0 19 0 635165116 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5260] ppid=5254 vsize=10563324 CPUtime=0.01 cores=1,3,5,7
/proc/5256/task/5260/stat : 5260 (java) S 5254 5256 2916 0 -1 4202560 11 0 0 0 1 0 0 0 15 0 19 0 635165116 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5261] ppid=5254 vsize=10563324 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5261/stat : 5261 (java) S 5254 5256 2916 0 -1 4202560 110 0 0 0 2 0 0 0 16 0 19 0 635165116 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5262] ppid=5254 vsize=10563324 CPUtime=0.01 cores=1,3,5,7
/proc/5256/task/5262/stat : 5262 (java) S 5254 5256 2916 0 -1 4202560 109 0 0 0 1 0 0 0 15 0 19 0 635165116 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5263] ppid=5254 vsize=10563324 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5263/stat : 5263 (java) S 5254 5256 2916 0 -1 4202560 106 0 0 0 2 0 0 0 15 0 19 0 635165116 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5264] ppid=5254 vsize=10563324 CPUtime=0.01 cores=1,3,5,7
/proc/5256/task/5264/stat : 5264 (java) S 5254 5256 2916 0 -1 4202560 131 0 0 0 1 0 0 0 15 0 19 0 635165116 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5265] ppid=5254 vsize=10563324 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5265/stat : 5265 (java) S 5254 5256 2916 0 -1 4202560 157 0 0 0 2 0 0 0 16 0 19 0 635165116 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5266] ppid=5254 vsize=10563324 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5266/stat : 5266 (java) S 5254 5256 2916 0 -1 4202560 172 0 0 0 2 0 0 0 16 0 19 0 635165116 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5267] ppid=5254 vsize=10563324 CPUtime=1 cores=1,3,5,7
/proc/5256/task/5267/stat : 5267 (java) S 5254 5256 2916 0 -1 4202560 883 0 0 0 100 0 0 0 16 0 19 0 635165117 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 0 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5268] ppid=5254 vsize=10563324 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5268/stat : 5268 (java) S 5254 5256 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 635165117 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5269] ppid=5254 vsize=10563324 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5269/stat : 5269 (java) S 5254 5256 2916 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 635165117 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5270] ppid=5254 vsize=10563324 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5270/stat : 5270 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635165119 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672485809 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5271] ppid=5254 vsize=10563324 CPUtime=0.46 cores=1,3,5,7
/proc/5256/task/5271/stat : 5271 (java) R 5254 5256 2916 0 -1 4202560 7570 0 0 0 45 1 0 0 15 0 19 0 635165119 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 47872022743132 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5256/tid=5272] ppid=5254 vsize=10563324 CPUtime=0.21 cores=1,3,5,7
/proc/5256/task/5272/stat : 5272 (java) S 5254 5256 2916 0 -1 4202560 1433 0 0 0 21 0 0 0 16 0 19 0 635165119 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5273] ppid=5254 vsize=10563324 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5273/stat : 5273 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635165119 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5274] ppid=5254 vsize=10563324 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5274/stat : 5274 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635165119 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5275] ppid=5254 vsize=10563324 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5275/stat : 5275 (java) S 5254 5256 2916 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 635165130 10816843776 20636 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.07
Current children cumulated vsize (KiB) 10563324

[startup+23.4014 s]
/proc/loadavg: 2.07 1.99 1.77 3/214 5276
/proc/meminfo: memFree=972460/32951124 swapFree=67055716/67111528
[pid=5256] ppid=5254 vsize=10564732 CPUtime=24.2 cores=1,3,5,7
/proc/5256/stat : 5256 (java) S 5254 5256 2916 0 -1 4202496 24637 0 1 0 2416 4 0 0 25 0 19 0 635165113 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5256/statm: 2641183 21064 2251 9 0 2631917 0
[pid=5256/tid=5258] ppid=5254 vsize=10564732 CPUtime=22.19 cores=1,3,5,7
/proc/5256/task/5258/stat : 5258 (java) S 5254 5256 2916 0 -1 4202560 12315 0 1 0 2218 1 0 0 18 0 19 0 635165114 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5259] ppid=5254 vsize=10564732 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5259/stat : 5259 (java) S 5254 5256 2916 0 -1 4202560 63 0 0 0 2 0 0 0 15 0 19 0 635165116 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5260] ppid=5254 vsize=10564732 CPUtime=0.01 cores=1,3,5,7
/proc/5256/task/5260/stat : 5260 (java) S 5254 5256 2916 0 -1 4202560 11 0 0 0 1 0 0 0 15 0 19 0 635165116 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5261] ppid=5254 vsize=10564732 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5261/stat : 5261 (java) S 5254 5256 2916 0 -1 4202560 110 0 0 0 2 0 0 0 16 0 19 0 635165116 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5262] ppid=5254 vsize=10564732 CPUtime=0.01 cores=1,3,5,7
/proc/5256/task/5262/stat : 5262 (java) S 5254 5256 2916 0 -1 4202560 109 0 0 0 1 0 0 0 15 0 19 0 635165116 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5263] ppid=5254 vsize=10564732 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5263/stat : 5263 (java) S 5254 5256 2916 0 -1 4202560 106 0 0 0 2 0 0 0 15 0 19 0 635165116 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5264] ppid=5254 vsize=10564732 CPUtime=0.01 cores=1,3,5,7
/proc/5256/task/5264/stat : 5264 (java) S 5254 5256 2916 0 -1 4202560 131 0 0 0 1 0 0 0 15 0 19 0 635165116 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
[pid=5256/tid=5265] ppid=5254 vsize=10564732 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5265/stat : 5265 (java) S 5254 5256 2916 0 -1 4202560 157 0 0 0 2 0 0 0 16 0 19 0 635165116 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5266] ppid=5254 vsize=10564732 CPUtime=0.02 cores=1,3,5,7
/proc/5256/task/5266/stat : 5266 (java) S 5254 5256 2916 0 -1 4202560 172 0 0 0 2 0 0 0 16 0 19 0 635165116 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 7 0 0 0
[pid=5256/tid=5267] ppid=5254 vsize=10564732 CPUtime=1 cores=1,3,5,7
/proc/5256/task/5267/stat : 5267 (java) S 5254 5256 2916 0 -1 4202560 884 0 0 0 100 0 0 0 15 0 19 0 635165117 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 0 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5268] ppid=5254 vsize=10564732 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5268/stat : 5268 (java) S 5254 5256 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 635165117 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5269] ppid=5254 vsize=10564732 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5269/stat : 5269 (java) S 5254 5256 2916 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 635165117 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5270] ppid=5254 vsize=10564732 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5270/stat : 5270 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 635165119 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5271] ppid=5254 vsize=10564732 CPUtime=0.56 cores=1,3,5,7
/proc/5256/task/5271/stat : 5271 (java) R 5254 5256 2916 0 -1 4202560 7978 0 0 0 55 1 0 0 16 0 19 0 635165119 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 47872023926765 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5256/tid=5272] ppid=5254 vsize=10564732 CPUtime=0.21 cores=1,3,5,7
/proc/5256/task/5272/stat : 5272 (java) S 5254 5256 2916 0 -1 4202560 1433 0 0 0 21 0 0 0 15 0 19 0 635165119 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 1 0 0 0
[pid=5256/tid=5273] ppid=5254 vsize=10564732 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5273/stat : 5273 (java) S 5254 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635165119 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478105 0 4 0 16800975 18446604471110374656 0 0 -1 5 0 0 0
[pid=5256/tid=5275] ppid=5254 vsize=10564732 CPUtime=0 cores=1,3,5,7
/proc/5256/task/5275/stat : 5275 (java) S 5254 5256 2916 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 635165130 10818285568 21064 33554432000 1073741824 1073778376 140734697184880 18446744073709551615 268672478720 0 4 0 16800975 18446604471110374656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.2
Current children cumulated vsize (KiB) 10564732

Child status: 30
Real time (s): 23.4206
CPU time (s): 24.2233
CPU user time (s): 24.1773
CPU system time (s): 0.045993
CPU usage (%): 103.427
Max. virtual memory (cumulated for all children) (KiB): 10564732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.1773
system time used= 0.045993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24637
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= 3040
involuntary context switches= 1300

runsolver used 0.037994 second user time and 0.100984 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-12 22:15:38
IDJOB=3492378
IDBENCH=78789
IDSOLVER=1982
FILE ID=node107/3492378-1307909738
RUNJOBID= node107-1307908886-4789
PBS_JOBID= 13559596
Free space on /var/tmp= 2892 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216411--soft-33-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492378-1307909738/watcher-3492378-1307909738 -o /var/tmp/evaluation-result-3492378-1307909738/solver-3492378-1307909738 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492378-1307909738.wbo

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

MD5SUM BENCH= b83b3eb7b2e3cdfc14afc5fb58fdd674
RANDOM SEED=2084530984

node107.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.829
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.65
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.829
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.75
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.829
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.829
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.82
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.829
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	: 5332.74
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.829
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	: 5359.47
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.829
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.829
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1032824 kB
Buffers:         60204 kB
Cached:       30723340 kB
SwapCached:      20072 kB
Active:       15773436 kB
Inactive:     15184608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1032824 kB
SwapTotal:    67111528 kB
SwapFree:     67055716 kB
Dirty:             132 kB
Writeback:           8 kB
AnonPages:      172384 kB
Mapped:          21068 kB
Slab:           896584 kB
PageTables:       4464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10535652 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 /var/tmp at the end= 2892 MiB
End job on node107 at 2011-06-12 22:16:02