Trace number 4090622

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 PB 2.3.6 Resolution PB16OPTIMUM 978.21 977.344

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo
MD5SUMf8d5ed276152247cc0d8dd0253710bfc
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 benchmark0.723889
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables150
Total number of constraints25
Number of soft constraints21
Number of constraints which are clauses15
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Top cost 877
Min constraint cost 1
Max constraint cost 83
Sum of constraints costs 876
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 16
Number of bits of the biggest sum of numbers5
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
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 PB16.v20160501
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.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4090622-1466063935.wbo
0.10/0.11	c reading problem ... 
0.10/0.13	c ... done. Wall clock time 0.022s.
0.10/0.13	c declared #vars     150
0.10/0.13	c internal #vars     171
0.10/0.13	c #constraints  25
0.10/0.13	c constraints type 
0.10/0.13	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15
0.10/0.13	c org.sat4j.minisat.constraints.card.MinWatchCard => 4
0.10/0.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6
0.10/0.13	c 25 constraints processed.
0.10/0.13	c objective function length is 21 literals
0.31/0.20	c SATISFIABLE
0.31/0.20	c OPTIMIZING...
0.31/0.20	c Got one! Elapsed wall clock time (in seconds):0.093
0.31/0.20	o 85
0.31/0.22	c Got one! Elapsed wall clock time (in seconds):0.109
0.31/0.22	o 83
0.31/0.22	c Got one! Elapsed wall clock time (in seconds):0.118
0.31/0.22	o 18
0.31/0.23	c Got one! Elapsed wall clock time (in seconds):0.124
0.31/0.23	o 2
0.89/0.66	c cleaning 2716 clauses out of 5448 with flag 39780/5448
1.45/1.20	c cleaning 4365 clauses out of 8730 with flag 84177/11446
2.24/1.93	c cleaning 5681 clauses out of 11365 with flag 136571/18446
3.05/2.77	c cleaning 6838 clauses out of 13684 with flag 198739/26446
4.08/3.80	c cleaning 7919 clauses out of 15846 with flag 267699/35446
5.38/5.09	c cleaning 8962 clauses out of 17927 with flag 343888/45446
7.08/6.79	c cleaning 9978 clauses out of 19965 with flag 445748/56446
8.78/8.48	c cleaning 10988 clauses out of 21987 with flag 558975/68446
10.98/10.62	c cleaning 11990 clauses out of 24001 with flag 680714/81448
13.59/13.22	c cleaning 13002 clauses out of 26009 with flag 792810/95446
16.58/16.21	c cleaning 13996 clauses out of 28008 with flag 929205/110447
19.58/19.22	c cleaning 14994 clauses out of 30011 with flag 1075911/126446
22.98/22.63	c cleaning 16001 clauses out of 32018 with flag 1220344/143447
27.08/26.75	c cleaning 17006 clauses out of 34018 with flag 1377270/161448
31.38/31.03	c cleaning 18000 clauses out of 36010 with flag 1584137/180446
35.87/35.54	c cleaning 19000 clauses out of 38010 with flag 1787994/200446
40.48/40.10	c cleaning 19998 clauses out of 40011 with flag 2011160/221447
45.28/44.93	c cleaning 21002 clauses out of 42013 with flag 2286989/243447
51.88/51.52	c cleaning 22004 clauses out of 44011 with flag 2543642/266447
58.48/58.15	c cleaning 22996 clauses out of 46008 with flag 2810078/290448
65.39/65.06	c cleaning 23996 clauses out of 48010 with flag 3083238/315446
72.77/72.40	c cleaning 25001 clauses out of 50014 with flag 3406712/341446
80.47/80.14	c cleaning 26004 clauses out of 52016 with flag 3732329/368449
88.67/88.33	c cleaning 27002 clauses out of 54012 with flag 4077633/396449
97.08/96.79	c cleaning 28001 clauses out of 56007 with flag 4443790/425446
106.80/106.45	c cleaning 28990 clauses out of 58006 with flag 4699340/455446
113.60/113.29	c cleaning 30002 clauses out of 60018 with flag 4946441/486448
124.00/123.67	c cleaning 31005 clauses out of 62014 with flag 5247202/518446
137.70/137.30	c cleaning 32003 clauses out of 64010 with flag 5560268/551447
149.90/149.52	c cleaning 32999 clauses out of 66006 with flag 5904399/585446
163.10/162.80	c cleaning 33991 clauses out of 68007 with flag 6219855/620446
177.20/176.81	c cleaning 35000 clauses out of 70016 with flag 6555110/656446
192.80/192.48	c cleaning 35991 clauses out of 72016 with flag 6929898/693446
208.60/208.25	c cleaning 37008 clauses out of 74025 with flag 7341657/731446
228.91/228.59	c cleaning 38003 clauses out of 76019 with flag 7781490/770448
248.81/248.48	c cleaning 39000 clauses out of 78014 with flag 8227772/810446
267.82/267.48	c cleaning 40002 clauses out of 80016 with flag 8647562/851448
285.71/285.39	c cleaning 40996 clauses out of 82011 with flag 9013698/893446
307.39/306.91	c cleaning 41999 clauses out of 84015 with flag 9421273/936446
330.98/330.53	c cleaning 42994 clauses out of 86016 with flag 9845668/980446
356.09/355.60	c cleaning 44007 clauses out of 88025 with flag 10341113/1025449
379.19/378.71	c cleaning 45005 clauses out of 90015 with flag 10811754/1071446
400.90/400.43	c cleaning 46000 clauses out of 92011 with flag 11276024/1118447
429.61/429.15	c cleaning 47001 clauses out of 94010 with flag 11796280/1166446
457.50/457.03	c cleaning 48000 clauses out of 96010 with flag 12326051/1215447
482.60/482.16	c cleaning 48998 clauses out of 98009 with flag 12820901/1265446
510.72/510.28	c cleaning 49990 clauses out of 100011 with flag 13418229/1316446
539.81/539.23	c cleaning 51005 clauses out of 102024 with flag 14011121/1368449
574.21/573.69	c cleaning 51993 clauses out of 104017 with flag 14542100/1421447
603.93/603.35	c cleaning 53002 clauses out of 106024 with flag 15188722/1475447
632.73/632.16	c cleaning 53997 clauses out of 108021 with flag 15738585/1530446
669.43/668.87	c cleaning 55007 clauses out of 110024 with flag 16349825/1586446
709.83/709.29	c cleaning 56002 clauses out of 112017 with flag 16995861/1643446
747.17/746.55	c cleaning 57000 clauses out of 114016 with flag 17591173/1701447
785.39/784.72	c cleaning 58003 clauses out of 116016 with flag 18199939/1760447
819.12/818.45	c cleaning 58997 clauses out of 118013 with flag 18893883/1820447
855.96/855.19	c cleaning 60004 clauses out of 120015 with flag 19561297/1881446
896.57/895.75	c cleaning 60996 clauses out of 122011 with flag 20167493/1943446
934.89/934.03	c cleaning 62002 clauses out of 124015 with flag 20823387/2006446
978.21/977.34	c starts		: 5517
978.21/977.34	c conflicts		: 2069499
978.21/977.34	c decisions		: 2661845
978.21/977.34	c propagations		: 36283200
978.21/977.34	c inspects		: 17679834993
978.21/977.34	c shortcuts		: 0
978.21/977.34	c learnt literals	: 9
978.21/977.34	c learnt binary clauses	: 5
978.21/977.34	c learnt ternary clauses	: 5
978.21/977.34	c learnt constraints	: 2069489
978.21/977.34	c ignored constraints	: 0
978.21/977.34	c root simplifications	: 0
978.21/977.34	c removed literals (reason simplification)	: 0
978.21/977.34	c reason swapping (by a shorter reason)	: 0
978.21/977.34	c Calls to reduceDB	: 59
978.21/977.34	c Number of update (reduction) of LBD	: 1082550
978.21/977.34	c Imported unit clauses	: 0
978.21/977.34	c number of reductions to clauses (during analyze)	: 0
978.21/977.34	c number of learned constraints concerned by reduction	: 0
978.21/977.34	c number of learning phase by resolution	: 0
978.21/977.34	c number of learning phase by cutting planes	: 0
978.21/977.34	c speed (assignments/second)	: 37129.568514283084
978.21/977.34	c non guided choices	248
978.21/977.34	c learnt constraints type 
978.21/977.34	s OPTIMUM FOUND
978.21/977.34	c Found 4 solution(s)
978.21/977.34	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 
978.21/977.34	c objective function=2
978.21/977.34	c Total wall clock time (in seconds): 977.231

Verifier Data 

OK	2

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4090622-1466063935/watcher-4090622-1466063935 -o /tmp/evaluation-result-4090622-1466063935/solver-4090622-1466063935 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466062136-15697 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090622-1466063935.wbo 

pid=15984
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.23 2.20 1.85 3/192 15987
/proc/meminfo: memFree=31605128/32872528 swapFree=446836/479540
[pid=15987] ppid=15984 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/15987/stat : 15987 (java) S 15984 15987 15681 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 8443640 98570240 977 33554432000 1073741824 1073778376 140733629362176 140733629353312 235378081853 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15987/statm: 24065 977 743 9 0 16771 0
[pid=15987/tid=15988] ppid=15984 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15988/stat : 15988 (java) R 15984 15987 15681 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 8443640 98570240 977 33554432000 1073741824 1073778376 140733629362176 139785402175016 235374724480 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100112 s]
/proc/loadavg: 2.23 2.20 1.85 3/192 15987
/proc/meminfo: memFree=31605128/32872528 swapFree=446836/479540
[pid=15987] ppid=15984 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/15987/stat : 15987 (java) S 15984 15987 15681 0 -1 4202496 4405 0 1 0 9 1 0 0 20 0 18 0 8443640 9787879424 6037 33554432000 1073741824 1073778376 140733629362176 140733629353312 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15987/statm: 2389619 6037 2140 9 0 2380296 0
[pid=15987/tid=15988] ppid=15984 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/15987/task/15988/stat : 15988 (java) R 15984 15987 15681 0 -1 4202560 2382 0 1 0 6 1 0 0 20 0 18 0 8443640 9787879424 6037 33554432000 1073741824 1073778376 140733629362176 139785402178464 139785392242176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.20032 s]
/proc/loadavg: 2.23 2.20 1.85 3/192 15987
/proc/meminfo: memFree=31605128/32872528 swapFree=446836/479540
[pid=15987] ppid=15984 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/15987/stat : 15987 (java) S 15984 15987 15681 0 -1 4202496 6548 0 1 0 29 2 0 0 20 0 19 0 8443640 9856040960 7367 33554432000 1073741824 1073778376 140733629362176 140733629353312 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15987/statm: 2406260 7367 2219 9 0 2396937 0
[pid=15987/tid=15988] ppid=15984 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/15987/task/15988/stat : 15988 (java) R 15984 15987 15681 0 -1 4202560 2405 0 1 0 16 1 0 0 20 0 19 0 8443640 9856040960 7367 33554432000 1073741824 1073778376 140733629362176 139785402180224 139785230376800 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9625040

[startup+0.300315 s]
/proc/loadavg: 2.23 2.20 1.85 3/192 15987
/proc/meminfo: memFree=31605128/32872528 swapFree=446836/479540
[pid=15987] ppid=15984 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/15987/stat : 15987 (java) S 15984 15987 15681 0 -1 4202496 7121 0 1 0 48 2 0 0 20 0 19 0 8443640 9856040960 8466 33554432000 1073741824 1073778376 140733629362176 140733629353312 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15987/statm: 2406260 8466 2226 9 0 2396937 0
[pid=15987/tid=15988] ppid=15984 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/15987/task/15988/stat : 15988 (java) R 15984 15987 15681 0 -1 4202560 2407 0 1 0 26 1 0 0 20 0 19 0 8443640 9856040960 8466 33554432000 1073741824 1073778376 140733629362176 139785402179688 139785230784487 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040

[startup+0.700232 s]
/proc/loadavg: 2.23 2.20 1.85 3/192 15987
/proc/meminfo: memFree=31605128/32872528 swapFree=446836/479540
[pid=15987] ppid=15984 vsize=9625040 CPUtime=1.01 cores=0,2,4,6
/proc/15987/stat : 15987 (java) S 15984 15987 15681 0 -1 4202496 7963 0 1 0 99 2 0 0 20 0 19 0 8443640 9856040960 8509 33554432000 1073741824 1073778376 140733629362176 140733629353312 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15987/statm: 2406260 8509 2237 9 0 2396937 0
[pid=15987/tid=15988] ppid=15984 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/15987/task/15988/stat : 15988 (java) R 15984 15987 15681 0 -1 4202560 2407 0 1 0 66 1 0 0 20 0 19 0 8443640 9856040960 8509 33554432000 1073741824 1073778376 140733629362176 139785402179688 139785230795319 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 9625040

[startup+1.50069 s]
/proc/loadavg: 2.21 2.19 1.85 3/211 16006
/proc/meminfo: memFree=31574028/32872528 swapFree=446836/479540
[pid=15987] ppid=15984 vsize=9625040 CPUtime=1.84 cores=0,2,4,6
/proc/15987/stat : 15987 (java) S 15984 15987 15681 0 -1 4202496 7969 0 1 0 182 2 0 0 20 0 19 0 8443640 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 140733629353312 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15987/statm: 2406260 9536 2240 9 0 2396937 0
[pid=15987/tid=15988] ppid=15984 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/15987/task/15988/stat : 15988 (java) R 15984 15987 15681 0 -1 4202560 2410 0 1 0 146 1 0 0 20 0 19 0 8443640 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785402179912 139785230784514 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15987/tid=15990] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15990/stat : 15990 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785363671720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15991] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15991/stat : 15991 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785362619176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=15992] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15992/stat : 15992 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785361566632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15987/tid=15993] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15993/stat : 15993 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785360514088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15987/tid=15994] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15994/stat : 15994 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785359460520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15995] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15995/stat : 15995 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785358407976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15987/tid=15996] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15996/stat : 15996 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785357355432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15997] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15997/stat : 15997 (java) S 15984 15987 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785356302888 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15998] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15998/stat : 15998 (java) S 15984 15987 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8443642 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785226136168 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15999] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15999/stat : 15999 (java) S 15984 15987 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8443643 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785225082488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16000] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16000/stat : 16000 (java) S 15984 15987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8443643 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785224029832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16001] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16001/stat : 16001 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443645 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785222978576 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16002] ppid=15984 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/15987/task/16002/stat : 16002 (java) S 15984 15987 15681 0 -1 4202560 1397 0 0 0 14 0 0 0 20 0 19 0 8443645 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785221924920 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16003] ppid=15984 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/15987/task/16003/stat : 16003 (java) S 15984 15987 15681 0 -1 4202560 2893 0 0 0 19 0 0 0 20 0 19 0 8443645 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785220872376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=16004] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16004/stat : 16004 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443645 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785219820024 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=16005] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16005/stat : 16005 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443645 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785218767688 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16006] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16006/stat : 16006 (java) S 15984 15987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8443653 9856040960 9536 33554432000 1073741824 1073778376 140733629362176 139785217713448 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9625040

[startup+3.10071 s]
/proc/loadavg: 2.21 2.19 1.85 3/211 16006
/proc/meminfo: memFree=31567884/32872528 swapFree=446836/479540
[pid=15987] ppid=15984 vsize=9625040 CPUtime=3.48 cores=0,2,4,6
/proc/15987/stat : 15987 (java) S 15984 15987 15681 0 -1 4202496 7973 0 1 0 346 2 0 0 20 0 19 0 8443640 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 140733629353312 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15987/statm: 2406260 10561 2241 9 0 2396937 0
[pid=15987/tid=15988] ppid=15984 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/15987/task/15988/stat : 15988 (java) R 15984 15987 15681 0 -1 4202560 2413 0 1 0 306 1 0 0 20 0 19 0 8443640 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785402177920 139785230769546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15987/tid=15990] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15990/stat : 15990 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785363671720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15991] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15991/stat : 15991 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785362619176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=15992] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15992/stat : 15992 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785361566632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15987/tid=15993] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15993/stat : 15993 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785360514088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15987/tid=15994] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15994/stat : 15994 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785359460520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15995] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15995/stat : 15995 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785358407976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15987/tid=15996] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15996/stat : 15996 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785357355432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15997] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15997/stat : 15997 (java) S 15984 15987 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785356302888 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15998] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15998/stat : 15998 (java) S 15984 15987 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8443642 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785226136168 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15999] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15999/stat : 15999 (java) S 15984 15987 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8443643 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785225082488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16000] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16000/stat : 16000 (java) S 15984 15987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8443643 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785224029832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16001] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16001/stat : 16001 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443645 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785222978576 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16002] ppid=15984 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/15987/task/16002/stat : 16002 (java) S 15984 15987 15681 0 -1 4202560 1397 0 0 0 14 0 0 0 20 0 19 0 8443645 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785221924920 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16003] ppid=15984 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/15987/task/16003/stat : 16003 (java) S 15984 15987 15681 0 -1 4202560 2894 0 0 0 22 0 0 0 20 0 19 0 8443645 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785220872376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=16004] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16004/stat : 16004 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443645 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785219820024 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=16005] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16005/stat : 16005 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443645 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785218767688 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16006] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16006/stat : 16006 (java) S 15984 15987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8443653 9856040960 10561 33554432000 1073741824 1073778376 140733629362176 139785217713448 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 9625040

[startup+6.30071 s]
/proc/loadavg: 2.20 2.19 1.85 3/211 16006
/proc/meminfo: memFree=31553500/32872528 swapFree=446836/479540
[pid=15987] ppid=15984 vsize=9625040 CPUtime=6.67 cores=0,2,4,6
/proc/15987/stat : 15987 (java) S 15984 15987 15681 0 -1 4202496 7979 0 1 0 665 2 0 0 20 0 19 0 8443640 9856040960 12594 33554432000 1073741824 1073778376 140733629362176 140733629353312 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15987/statm: 2406260 12594 2242 9 0 2396937 0
[pid=15987/tid=15988] ppid=15984 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/15987/task/15988/stat : 15988 (java) R 15984 15987 15681 0 -1 4202560 2418 0 1 0 625 1 0 0 20 0 19 0 8443640 9856040960 12594 33554432000 1073741824 1073778376 140733629362176 139785402180008 139785230815004 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15987/tid=15990] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15990/stat : 15990 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 12594 33554432000 1073741824 1073778376 140733629362176 139785363671720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15991] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15991/stat : 15991 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 12594 33554432000 1073741824 1073778376 140733629362176 139785362619176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=15992] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15992/stat : 15992 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 12594 33554432000 1073741824 1073778376 140733629362176 139785361566632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15987/tid=15993] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15993/stat : 15993 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 12594 33554432000 1073741824 1073778376 140733629362176 139785360514088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15987/tid=15994] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15994/stat : 15994 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 12594 33554432000 1073741824 1073778376 140733629362176 139785359460520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15995] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15995/stat : 15995 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 12594 33554432000 1073741824 1073778376 140733629362176 139785358407976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15987/tid=15996] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15996/stat : 15996 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 12594 33554432000 1073741824 1073778376 140733629362176 139785357355432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15997] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15997/stat : 15997 (java) S 15984 15987 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8443641 9856040960 12594 33554432000 1073741824 1073778376 140733629362176 139785356302888 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15998] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15998/stat : 15998 (java) S 15984 15987 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8443642 9856040960 12594 33554432000 1073741824 1073778376 140733629362176 139785226136168 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15999] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15999/stat : 15999 (java) S 15984 15987 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8443643 9856040960 12594 33554432000 1073741824 1073778376 140733629362176 139785225082488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16000] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16000/stat : 16000 (java) S 15984 15987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8443643 9856040960 12594 33554432000 1073741824 1073778376 140733629362176 139785224029832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16001] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16001/stat : 16001 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443645 9856040960 12594 33554432000 1073741824 1073778376 140733629362176 139785222978576 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16002] ppid=15984 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/15987/task/16002/stat : 16002 (java) S 15984 15987 15681 0 -1 4202560 1397 0 0 0 14 0 0 0 20 0 19 0 8443645 9856040960 12594 33554432000 1073741824 1073778376 140733629362176 139785221924920 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16003] ppid=15984 vsize=9625040 CPUtime=0.22 cores=0,2,4,6

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

[pid=15987/tid=15999] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15999/stat : 15999 (java) S 15984 15987 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8443643 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785225082488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16000] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16000/stat : 16000 (java) S 15984 15987 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8443643 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785224029832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16001] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16001/stat : 16001 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785222978576 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16002] ppid=15984 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/15987/task/16002/stat : 16002 (java) S 15984 15987 15681 0 -1 4202560 1397 0 0 0 14 0 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785221924920 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16003] ppid=15984 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/15987/task/16003/stat : 16003 (java) S 15984 15987 15681 0 -1 4202560 3025 0 0 0 26 0 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785220872376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=16004] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16004/stat : 16004 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785219820024 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=16005] ppid=15984 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/15987/task/16005/stat : 16005 (java) S 15984 15987 15681 0 -1 4202560 58 0 0 0 15 15 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785218767688 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16006] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16006/stat : 16006 (java) S 15984 15987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8443653 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785217713448 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 976.9
Current children cumulated vsize (KiB) 9625040

[startup+976.801 s]
/proc/loadavg: 2.20 2.23 2.06 3/211 16118
/proc/meminfo: memFree=29358284/32872528 swapFree=446836/479540
[pid=15987] ppid=15984 vsize=9625040 CPUtime=977.71 cores=0,2,4,6
/proc/15987/stat : 15987 (java) S 15984 15987 15681 0 -1 4202496 8957 0 1 0 97742 29 0 0 20 0 19 0 8443640 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 140733629353312 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15987/statm: 2406260 62982 2263 9 0 2396937 0
[pid=15987/tid=15988] ppid=15984 vsize=9625040 CPUtime=974.18 cores=0,2,4,6
/proc/15987/task/15988/stat : 15988 (java) R 15984 15987 15681 0 -1 4202560 2488 0 1 0 97401 17 0 0 20 0 19 0 8443640 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785402177920 139785230969409 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15987/tid=15990] ppid=15984 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/15987/task/15990/stat : 15990 (java) S 15984 15987 15681 0 -1 4202560 53 0 0 0 2 2 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785363671720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15987/tid=15991] ppid=15984 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/15987/task/15991/stat : 15991 (java) S 15984 15987 15681 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785362619176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=15992] ppid=15984 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/15987/task/15992/stat : 15992 (java) S 15984 15987 15681 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785361566632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=15993] ppid=15984 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15987/task/15993/stat : 15993 (java) S 15984 15987 15681 0 -1 4202560 201 0 0 0 4 1 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785360514088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15987/tid=15994] ppid=15984 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15987/task/15994/stat : 15994 (java) S 15984 15987 15681 0 -1 4202560 156 0 0 0 3 2 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785359460520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15995] ppid=15984 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15987/task/15995/stat : 15995 (java) S 15984 15987 15681 0 -1 4202560 93 0 0 0 3 2 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785358407976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15996] ppid=15984 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15987/task/15996/stat : 15996 (java) S 15984 15987 15681 0 -1 4202560 163 0 0 0 2 0 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785357355432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=15997] ppid=15984 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15987/task/15997/stat : 15997 (java) S 15984 15987 15681 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785356302888 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15998] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15998/stat : 15998 (java) S 15984 15987 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8443642 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785226136168 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15999] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15999/stat : 15999 (java) S 15984 15987 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8443643 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785225082488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16000] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16000/stat : 16000 (java) S 15984 15987 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8443643 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785224029832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16001] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16001/stat : 16001 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785222978576 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16002] ppid=15984 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/15987/task/16002/stat : 16002 (java) S 15984 15987 15681 0 -1 4202560 1397 0 0 0 14 0 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785221924920 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16003] ppid=15984 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/15987/task/16003/stat : 16003 (java) S 15984 15987 15681 0 -1 4202560 3025 0 0 0 26 0 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785220872376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=16004] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16004/stat : 16004 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785219820024 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=16005] ppid=15984 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/15987/task/16005/stat : 16005 (java) S 15984 15987 15681 0 -1 4202560 58 0 0 0 15 15 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785218767688 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16006] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16006/stat : 16006 (java) S 15984 15987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8443653 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785217713448 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 977.71
Current children cumulated vsize (KiB) 9625040

[startup+977.201 s]
/proc/loadavg: 2.20 2.23 2.06 3/211 16118
/proc/meminfo: memFree=29358284/32872528 swapFree=446836/479540
[pid=15987] ppid=15984 vsize=9625040 CPUtime=978.11 cores=0,2,4,6
/proc/15987/stat : 15987 (java) S 15984 15987 15681 0 -1 4202496 8958 0 1 0 97782 29 0 0 20 0 19 0 8443640 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 140733629353312 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15987/statm: 2406260 62982 2263 9 0 2396937 0
[pid=15987/tid=15988] ppid=15984 vsize=9625040 CPUtime=974.58 cores=0,2,4,6
/proc/15987/task/15988/stat : 15988 (java) R 15984 15987 15681 0 -1 4202560 2488 0 1 0 97441 17 0 0 20 0 19 0 8443640 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785402177920 139785230969040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15987/tid=15990] ppid=15984 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/15987/task/15990/stat : 15990 (java) S 15984 15987 15681 0 -1 4202560 53 0 0 0 2 2 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785363671720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15987/tid=15991] ppid=15984 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/15987/task/15991/stat : 15991 (java) S 15984 15987 15681 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785362619176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=15992] ppid=15984 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/15987/task/15992/stat : 15992 (java) S 15984 15987 15681 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785361566632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=15993] ppid=15984 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15987/task/15993/stat : 15993 (java) S 15984 15987 15681 0 -1 4202560 201 0 0 0 4 1 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785360514088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15987/tid=15994] ppid=15984 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15987/task/15994/stat : 15994 (java) S 15984 15987 15681 0 -1 4202560 156 0 0 0 3 2 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785359460520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15995] ppid=15984 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15987/task/15995/stat : 15995 (java) S 15984 15987 15681 0 -1 4202560 93 0 0 0 3 2 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785358407976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15996] ppid=15984 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15987/task/15996/stat : 15996 (java) S 15984 15987 15681 0 -1 4202560 163 0 0 0 2 0 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785357355432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=15997] ppid=15984 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15987/task/15997/stat : 15997 (java) S 15984 15987 15681 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785356302888 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15998] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15998/stat : 15998 (java) S 15984 15987 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8443642 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785226136168 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15999] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15999/stat : 15999 (java) S 15984 15987 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8443643 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785225082488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16000] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16000/stat : 16000 (java) S 15984 15987 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8443643 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785224029832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16001] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16001/stat : 16001 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785222978576 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16002] ppid=15984 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/15987/task/16002/stat : 16002 (java) S 15984 15987 15681 0 -1 4202560 1398 0 0 0 14 0 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785221924920 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16003] ppid=15984 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/15987/task/16003/stat : 16003 (java) S 15984 15987 15681 0 -1 4202560 3025 0 0 0 26 0 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785220872376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=16004] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16004/stat : 16004 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785219820024 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=16005] ppid=15984 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/15987/task/16005/stat : 16005 (java) S 15984 15987 15681 0 -1 4202560 58 0 0 0 15 15 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785218767688 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16006] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16006/stat : 16006 (java) S 15984 15987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8443653 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785217713448 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 978.11
Current children cumulated vsize (KiB) 9625040

[startup+977.301 s]
/proc/loadavg: 2.20 2.23 2.06 3/211 16118
/proc/meminfo: memFree=29358284/32872528 swapFree=446836/479540
[pid=15987] ppid=15984 vsize=9625040 CPUtime=978.21 cores=0,2,4,6
/proc/15987/stat : 15987 (java) S 15984 15987 15681 0 -1 4202496 8958 0 1 0 97792 29 0 0 20 0 19 0 8443640 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 140733629353312 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15987/statm: 2406260 62982 2263 9 0 2396937 0
[pid=15987/tid=15988] ppid=15984 vsize=9625040 CPUtime=974.68 cores=0,2,4,6
/proc/15987/task/15988/stat : 15988 (java) R 15984 15987 15681 0 -1 4202560 2488 0 1 0 97451 17 0 0 20 0 19 0 8443640 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785402177920 139785230969058 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15987/tid=15990] ppid=15984 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/15987/task/15990/stat : 15990 (java) S 15984 15987 15681 0 -1 4202560 53 0 0 0 2 2 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785363671720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15987/tid=15991] ppid=15984 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/15987/task/15991/stat : 15991 (java) S 15984 15987 15681 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785362619176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=15992] ppid=15984 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/15987/task/15992/stat : 15992 (java) S 15984 15987 15681 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785361566632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=15993] ppid=15984 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15987/task/15993/stat : 15993 (java) S 15984 15987 15681 0 -1 4202560 201 0 0 0 4 1 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785360514088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15987/tid=15994] ppid=15984 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15987/task/15994/stat : 15994 (java) S 15984 15987 15681 0 -1 4202560 156 0 0 0 3 2 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785359460520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15995] ppid=15984 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15987/task/15995/stat : 15995 (java) S 15984 15987 15681 0 -1 4202560 93 0 0 0 3 2 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785358407976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15996] ppid=15984 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15987/task/15996/stat : 15996 (java) S 15984 15987 15681 0 -1 4202560 163 0 0 0 2 0 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785357355432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=15997] ppid=15984 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15987/task/15997/stat : 15997 (java) S 15984 15987 15681 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 8443641 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785356302888 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15998] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15998/stat : 15998 (java) S 15984 15987 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8443642 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785226136168 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=15999] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/15999/stat : 15999 (java) S 15984 15987 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8443643 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785225082488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16000] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16000/stat : 16000 (java) S 15984 15987 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8443643 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785224029832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16001] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16001/stat : 16001 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785222978576 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16002] ppid=15984 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/15987/task/16002/stat : 16002 (java) S 15984 15987 15681 0 -1 4202560 1398 0 0 0 14 0 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785221924920 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16003] ppid=15984 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/15987/task/16003/stat : 16003 (java) S 15984 15987 15681 0 -1 4202560 3025 0 0 0 26 0 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785220872376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=16004] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16004/stat : 16004 (java) S 15984 15987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785219820024 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15987/tid=16005] ppid=15984 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/15987/task/16005/stat : 16005 (java) S 15984 15987 15681 0 -1 4202560 58 0 0 0 15 15 0 0 20 0 19 0 8443645 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785218767688 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15987/tid=16006] ppid=15984 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15987/task/16006/stat : 16006 (java) S 15984 15987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8443653 9856040960 62982 33554432000 1073741824 1073778376 140733629362176 139785217713448 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 978.21
Current children cumulated vsize (KiB) 9625040

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15987 and gives
#  childrusage.ru_utime.tv_sec=975
#  childrusage.ru_utime.tv_usec=432711
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=532918
# CPU time returned by wait4() is 975.966
# while last known CPU time is 978.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 977.344
CPU time (s): 978.21
CPU user time (s): 977.92
CPU system time (s): 0.29
CPU usage (%): 100.089
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 975.433
system time used= 0.532918
maximum resident set size= 253972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8979
page faults= 1
swaps= 0
block input operations= 0
block output operations= 640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20834
involuntary context switches= 1749

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.32249 second user time and 3.51747 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-16 09:58:55
IDJOB=4090622
IDBENCH=78712
IDSOLVER=2551
FILE ID=node104/4090622-1466063935
RUNJOBID= node104-1466062136-15697
PBS_JOBID= 19904028
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090622-1466063935/watcher-4090622-1466063935 -o /tmp/evaluation-result-4090622-1466063935/solver-4090622-1466063935 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466062136-15697 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090622-1466063935.wbo

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

MD5SUM BENCH= f8d5ed276152247cc0d8dd0253710bfc
RANDOM SEED=618081759

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31605764 kB
Buffers:            4020 kB
Cached:            41320 kB
SwapCached:          512 kB
Active:            60620 kB
Inactive:          25796 kB
Active(anon):      42700 kB
Inactive(anon):     1160 kB
Active(file):      17920 kB
Inactive(file):    24636 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67100312 kB
Dirty:              1664 kB
Writeback:             0 kB
AnonPages:        475556 kB
Mapped:            15380 kB
Shmem:                 0 kB
Slab:             565356 kB
SReclaimable:       9340 kB
SUnreclaim:       556016 kB
KernelStack:        1752 kB
PageTables:         4904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1157492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node104 at 2016-06-16 10:15:13