Trace number 4122534

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 PB16UNSAT 1221.46 1220.31

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-92.cnf.gz-extracted.pb.metafix.opb
MD5SUM62cc0024098140ef1e3152906c1b4757
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.010997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables369
Total number of constraints368
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)368
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.11	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Glucose 2.1 dynamic restart strategy
0.07/0.13	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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4122534-1467317008.opb
0.07/0.13	c reading problem ... 
0.07/0.13	c  no objective function found
0.07/0.19	c ... done. Wall clock time 0.064s.
0.07/0.19	c declared #vars     369
0.07/0.19	c #constraints  368
0.07/0.19	c constraints type 
0.07/0.19	c org.sat4j.minisat.constraints.card.MinWatchCard => 368
0.07/0.19	c 368 constraints processed.
0.62/0.49	c cleaning 2499 clauses out of 5002 with flag 24581/5002
1.02/0.66	c cleaning 4240 clauses out of 8503 with flag 54032/11002
1.30/0.86	c cleaning 5615 clauses out of 11263 with flag 93482/18002
1.62/1.11	c cleaning 6813 clauses out of 13646 with flag 136326/26000
1.92/1.40	c cleaning 7896 clauses out of 15835 with flag 181173/35002
2.22/1.78	c cleaning 8958 clauses out of 17937 with flag 235832/45000
2.62/2.20	c cleaning 9974 clauses out of 19979 with flag 294055/56000
3.12/2.66	c cleaning 10991 clauses out of 22007 with flag 364088/68002
3.72/3.23	c cleaning 11986 clauses out of 24014 with flag 446515/81000
4.33/3.86	c cleaning 13001 clauses out of 26030 with flag 529611/95002
5.04/4.57	c cleaning 13998 clauses out of 28027 with flag 611099/110000
5.83/5.38	c cleaning 14992 clauses out of 30029 with flag 701207/126000
6.73/6.28	c cleaning 16003 clauses out of 32037 with flag 801955/143000
7.73/7.20	c cleaning 16994 clauses out of 34034 with flag 913272/161000
8.73/8.27	c cleaning 18005 clauses out of 36040 with flag 1027069/180000
10.03/9.56	c cleaning 19002 clauses out of 38036 with flag 1148479/200001
11.32/10.81	c cleaning 19994 clauses out of 40035 with flag 1273545/221002
12.63/12.17	c cleaning 20997 clauses out of 42039 with flag 1416630/243000
14.12/13.68	c cleaning 21997 clauses out of 44042 with flag 1555353/266000
15.72/15.28	c cleaning 23005 clauses out of 46046 with flag 1712912/290001
17.42/16.97	c cleaning 24008 clauses out of 48041 with flag 1872294/315001
19.12/18.68	c cleaning 25009 clauses out of 50032 with flag 2038206/341000
21.12/20.68	c cleaning 25998 clauses out of 52023 with flag 2214301/368000
23.22/22.77	c cleaning 26995 clauses out of 54026 with flag 2383122/396001
25.42/24.91	c cleaning 27999 clauses out of 56030 with flag 2562433/425000
27.92/27.47	c cleaning 29001 clauses out of 58031 with flag 2754431/455000
30.42/29.99	c cleaning 30001 clauses out of 60031 with flag 2968327/486001
33.02/32.59	c cleaning 31000 clauses out of 62031 with flag 3173652/518002
35.72/35.27	c cleaning 32004 clauses out of 64029 with flag 3380454/551000
38.72/38.23	c cleaning 32993 clauses out of 66026 with flag 3587245/585001
41.71/41.22	c cleaning 34002 clauses out of 68032 with flag 3807141/620000
44.82/44.32	c cleaning 35004 clauses out of 70031 with flag 4025781/656001
48.12/47.64	c cleaning 35996 clauses out of 72026 with flag 4250627/693000
51.52/51.04	c cleaning 36991 clauses out of 74030 with flag 4482614/731000
55.02/54.58	c cleaning 38004 clauses out of 76041 with flag 4727636/770002
58.93/58.49	c cleaning 39001 clauses out of 78036 with flag 4976595/810001
63.02/62.52	c cleaning 39998 clauses out of 80034 with flag 5233000/851000
67.02/66.54	c cleaning 41014 clauses out of 82037 with flag 5501140/893001
71.32/70.89	c cleaning 41995 clauses out of 84022 with flag 5757429/936000
76.20/75.61	c cleaning 43013 clauses out of 86027 with flag 6030482/980000
80.70/80.19	c cleaning 43995 clauses out of 88014 with flag 6299724/1025000
85.50/84.95	c cleaning 45007 clauses out of 90020 with flag 6577506/1071001
90.19/89.60	c cleaning 45991 clauses out of 92012 with flag 6868614/1118000
95.09/94.53	c cleaning 46987 clauses out of 94021 with flag 7160587/1166000
100.29/99.72	c cleaning 48012 clauses out of 96038 with flag 7453978/1215004
105.79/105.21	c cleaning 48999 clauses out of 98022 with flag 7753445/1265000
111.49/110.94	c cleaning 49988 clauses out of 100024 with flag 8054039/1316001
117.20/116.70	c cleaning 50993 clauses out of 102036 with flag 8356781/1368001
123.69/123.16	c cleaning 52014 clauses out of 104043 with flag 8675255/1421001
129.89/129.31	c cleaning 53002 clauses out of 106028 with flag 8997163/1475000
136.19/135.63	c cleaning 53996 clauses out of 108027 with flag 9331061/1530001
143.39/142.84	c cleaning 55001 clauses out of 110031 with flag 9655805/1586001
150.40/149.83	c cleaning 56004 clauses out of 112029 with flag 9990137/1643000
157.81/157.22	c cleaning 56999 clauses out of 114025 with flag 10323899/1701000
165.21/164.63	c cleaning 57988 clauses out of 116028 with flag 10672500/1760002
173.11/172.52	c cleaning 59020 clauses out of 118039 with flag 11015019/1820001
181.71/181.11	c cleaning 59994 clauses out of 120018 with flag 11363846/1881000
190.11/189.54	c cleaning 60993 clauses out of 122024 with flag 11724998/1943000
198.69/198.10	c cleaning 62002 clauses out of 124032 with flag 12090036/2006001
207.38/206.79	c cleaning 63003 clauses out of 126030 with flag 12456336/2070001
216.08/215.46	c cleaning 63991 clauses out of 128026 with flag 12831610/2135000
224.78/224.13	c cleaning 65013 clauses out of 130035 with flag 13218400/2201000
234.28/233.68	c cleaning 65992 clauses out of 132022 with flag 13600450/2268000
243.99/243.33	c cleaning 67003 clauses out of 134032 with flag 13985054/2336002
254.81/254.15	c cleaning 67995 clauses out of 136028 with flag 14382205/2405001
265.11/264.45	c cleaning 69002 clauses out of 138032 with flag 14782398/2475000
276.21/275.51	c cleaning 70002 clauses out of 140033 with flag 15177316/2546003
287.30/286.67	c cleaning 71002 clauses out of 142030 with flag 15570799/2618002
298.20/297.57	c cleaning 72002 clauses out of 144027 with flag 15982911/2691001
310.10/309.40	c cleaning 72994 clauses out of 146024 with flag 16389738/2765000
322.01/321.38	c cleaning 73996 clauses out of 148030 with flag 16805031/2840000
334.40/333.76	c cleaning 75007 clauses out of 150034 with flag 17226685/2916000
346.81/346.12	c cleaning 75997 clauses out of 152027 with flag 17649661/2993000
359.47/358.71	c cleaning 76994 clauses out of 154030 with flag 18085193/3071000
372.06/371.39	c cleaning 78004 clauses out of 156037 with flag 18527038/3150001
385.16/384.41	c cleaning 79003 clauses out of 158032 with flag 18972801/3230000
398.97/398.27	c cleaning 80007 clauses out of 160030 with flag 19428887/3311001
412.86/412.16	c cleaning 81009 clauses out of 162022 with flag 19885645/3393000
427.07/426.34	c cleaning 81999 clauses out of 164015 with flag 20338949/3476002
441.67/440.98	c cleaning 82995 clauses out of 166014 with flag 20808648/3560000
456.07/455.40	c cleaning 83998 clauses out of 168020 with flag 21279155/3645001
470.96/470.26	c cleaning 84992 clauses out of 170021 with flag 21746289/3731000
486.86/486.15	c cleaning 85998 clauses out of 172030 with flag 22224025/3818001
503.36/502.61	c cleaning 87001 clauses out of 174033 with flag 22699472/3906002
519.56/518.87	c cleaning 88007 clauses out of 176031 with flag 23174304/3995001
535.70/534.99	c cleaning 88989 clauses out of 178023 with flag 23665809/4085000
552.21/551.48	c cleaning 90003 clauses out of 180035 with flag 24157459/4176001
569.31/568.52	c cleaning 90998 clauses out of 182032 with flag 24660201/4268001
587.22/586.42	c cleaning 92004 clauses out of 184033 with flag 25162421/4361000
605.61/604.87	c cleaning 92993 clauses out of 186030 with flag 25653536/4455001
624.31/623.51	c cleaning 93997 clauses out of 188036 with flag 26167412/4550000
642.91/642.11	c cleaning 95014 clauses out of 190041 with flag 26685399/4646002
662.52/661.75	c cleaning 95998 clauses out of 192025 with flag 27206646/4743000
681.62/680.86	c cleaning 96999 clauses out of 194028 with flag 27738246/4841001
701.92/701.16	c cleaning 98004 clauses out of 196029 with flag 28267179/4940001
722.92/722.14	c cleaning 98990 clauses out of 198025 with flag 28787805/5040001
743.68/742.90	c cleaning 100004 clauses out of 200034 with flag 29345220/5141000
763.98/763.10	c cleaning 101000 clauses out of 202032 with flag 29902016/5243002
785.49/784.70	c cleaning 102002 clauses out of 204031 with flag 30459075/5346001
807.69/806.83	c cleaning 103005 clauses out of 206029 with flag 31005700/5450001
830.50/829.64	c cleaning 104010 clauses out of 208026 with flag 31547222/5555003
852.30/851.46	c cleaning 104987 clauses out of 210013 with flag 32104509/5661000
875.19/874.30	c cleaning 105998 clauses out of 212026 with flag 32661014/5768000
897.00/896.17	c cleaning 107002 clauses out of 214028 with flag 33253629/5876000
920.99/920.10	c cleaning 108002 clauses out of 216027 with flag 33821066/5985001
944.00/943.00	c cleaning 109004 clauses out of 218027 with flag 34406185/6095003
967.91/966.95	c cleaning 109989 clauses out of 220022 with flag 34996838/6206002
992.90/991.92	c cleaning 111006 clauses out of 222033 with flag 35592936/6318002
1018.11/1017.11	c cleaning 112002 clauses out of 224026 with flag 36186585/6431001
1041.51/1040.60	c cleaning 112996 clauses out of 226023 with flag 36801848/6545000
1067.91/1066.92	c cleaning 114004 clauses out of 228028 with flag 37431745/6660001
1093.01/1092.07	c cleaning 115000 clauses out of 230023 with flag 38062892/6776000
1120.31/1119.39	c cleaning 115993 clauses out of 232023 with flag 38694735/6893000
1145.61/1144.70	c cleaning 116997 clauses out of 234030 with flag 39322802/7011000
1175.70/1174.61	c cleaning 118009 clauses out of 236033 with flag 40018351/7130000
1203.00/1201.96	c cleaning 119000 clauses out of 238026 with flag 40699260/7250002
1221.34/1220.27	c starts		: 15537
1221.34/1220.27	c conflicts		: 7335753
1221.34/1220.27	c decisions		: 10893737
1221.34/1220.27	c propagations		: 131714618
1221.34/1220.27	c inspects		: 26439870250
1221.34/1220.27	c shortcuts		: 0
1221.34/1220.27	c learnt literals	: 14
1221.34/1220.27	c learnt binary clauses	: 10
1221.34/1220.27	c learnt ternary clauses	: 33
1221.34/1220.27	c learnt constraints	: 7335738
1221.34/1220.27	c ignored constraints	: 0
1221.34/1220.27	c root simplifications	: 0
1221.34/1220.27	c removed literals (reason simplification)	: 0
1221.34/1220.27	c reason swapping (by a shorter reason)	: 0
1221.34/1220.27	c Calls to reduceDB	: 116
1221.34/1220.27	c Number of update (reduction) of LBD	: 2264459
1221.34/1220.27	c Imported unit clauses	: 0
1221.34/1220.27	c number of reductions to clauses (during analyze)	: 0
1221.34/1220.27	c number of learned constraints concerned by reduction	: 0
1221.34/1220.27	c number of learning phase by resolution	: 0
1221.34/1220.27	c number of learning phase by cutting planes	: 0
1221.34/1220.27	c speed (assignments/second)	: 107956.16498985718
1221.34/1220.27	c non guided choices	90600
1221.46/1220.30	c learnt constraints type 
1221.46/1220.30	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 10
1221.46/1220.30	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 204752
1221.46/1220.30	s UNSATISFIABLE
1221.46/1220.30	c Total wall clock time (in seconds): 1220.174

Verifier Data 

ERROR: no interpretation found !

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-4122534-1467317008/watcher-4122534-1467317008 -o /tmp/evaluation-result-4122534-1467317008/solver-4122534-1467317008 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467310932-25492 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4122534-1467317008.opb 

pid=27679
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.21 2.24 2.19 3/196 27682
/proc/meminfo: memFree=29817904/32872528 swapFree=1484672/1662500
[pid=27682] ppid=27679 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/27682/stat : 27682 (java) R 27679 27682 21085 0 -1 4202496 167 0 0 0 0 0 0 0 20 0 1 0 12653350 2560000 43 33554432000 1073741824 1073778376 140734157708144 140734157705320 273896533802 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27682/statm: 625 46 37 9 0 29 0

[startup+0.100115 s]
/proc/loadavg: 2.21 2.24 2.19 3/196 27682
/proc/meminfo: memFree=29817904/32872528 swapFree=1484672/1662500
[pid=27682] ppid=27679 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/27682/stat : 27682 (java) S 27679 27682 21085 0 -1 4202496 3813 0 1 0 6 1 0 0 20 0 18 0 12653350 9787879424 4945 33554432000 1073741824 1073778376 140733437270016 140733437261152 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27682/statm: 2389619 4945 1950 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200294 s]
/proc/loadavg: 2.21 2.24 2.19 3/196 27682
/proc/meminfo: memFree=29817904/32872528 swapFree=1484672/1662500
[pid=27682] ppid=27679 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/27682/stat : 27682 (java) S 27679 27682 21085 0 -1 4202496 4658 0 1 0 21 1 0 0 20 0 19 0 12653350 9856040960 6759 33554432000 1073741824 1073778376 140733437270016 140733437261152 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27682/statm: 2406260 6759 2203 9 0 2396937 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9625040

[startup+0.300262 s]
/proc/loadavg: 2.21 2.24 2.19 3/196 27682
/proc/meminfo: memFree=29817904/32872528 swapFree=1484672/1662500
[pid=27682] ppid=27679 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/27682/stat : 27682 (java) S 27679 27682 21085 0 -1 4202496 6784 0 1 0 47 1 0 0 20 0 19 0 12653350 9856040960 7906 33554432000 1073741824 1073778376 140733437270016 140733437261152 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27682/statm: 2406260 7906 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625040

[startup+0.700236 s]
/proc/loadavg: 2.21 2.24 2.19 3/196 27682
/proc/meminfo: memFree=29817904/32872528 swapFree=1484672/1662500
[pid=27682] ppid=27679 vsize=9625040 CPUtime=1.2 cores=0,2,4,6
/proc/27682/stat : 27682 (java) S 27679 27682 21085 0 -1 4202496 14575 0 1 0 118 2 0 0 20 0 19 0 12653350 9856040960 13685 33554432000 1073741824 1073778376 140733437270016 140733437261152 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27682/statm: 2406260 13685 2255 9 0 2396937 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 2.21 2.24 2.19 3/215 27701
/proc/meminfo: memFree=29768212/32872528 swapFree=1484672/1662500
[pid=27682] ppid=27679 vsize=9625040 CPUtime=2.02 cores=0,2,4,6
/proc/27682/stat : 27682 (java) S 27679 27682 21085 0 -1 4202496 14586 0 1 0 200 2 0 0 20 0 19 0 12653350 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 140733437261152 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27682/statm: 2406260 14717 2257 9 0 2396937 0
[pid=27682/tid=27684] ppid=27679 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/27682/task/27684/stat : 27684 (java) R 27679 27682 21085 0 -1 4202560 2413 0 1 0 144 1 0 0 20 0 19 0 12653352 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139853293141320 139853144999709 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27685] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27685/stat : 27685 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139853265595176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27686] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27686/stat : 27686 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139853264542376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27687] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27687/stat : 27687 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139853263490088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27682/tid=27688] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27688/stat : 27688 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139853133556648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27689] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27689/stat : 27689 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139853132503336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27690] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27690/stat : 27690 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139853131450536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27691] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27691/stat : 27691 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139853130398248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27692] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27692/stat : 27692 (java) S 27679 27682 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139853129345448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27693] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27693/stat : 27693 (java) S 27679 27682 21085 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 12653354 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139852646832872 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27694] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27694/stat : 27694 (java) S 27679 27682 21085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12653355 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139852645778936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27695] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27695/stat : 27695 (java) S 27679 27682 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12653355 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139852644726536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27696] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27696/stat : 27696 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653357 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139852643675024 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27697] ppid=27679 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/27682/task/27697/stat : 27697 (java) S 27679 27682 21085 0 -1 4202560 8510 0 0 0 31 0 0 0 20 0 19 0 12653357 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139852642621624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27698] ppid=27679 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/27682/task/27698/stat : 27698 (java) S 27679 27682 21085 0 -1 4202560 2392 0 0 0 22 0 0 0 20 0 19 0 12653357 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139852641568824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27699] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27699/stat : 27699 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653357 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139852640516728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27700] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27700/stat : 27700 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653357 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139852639464136 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27701] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27701/stat : 27701 (java) S 27679 27682 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12653370 9856040960 14717 33554432000 1073741824 1073778376 140733437270016 139852638410152 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9625040

[startup+3.10071 s]
/proc/loadavg: 2.20 2.24 2.18 3/215 27701
/proc/meminfo: memFree=29761200/32872528 swapFree=1484672/1662500
[pid=27682] ppid=27679 vsize=9625040 CPUtime=3.62 cores=0,2,4,6
/proc/27682/stat : 27682 (java) S 27679 27682 21085 0 -1 4202496 14589 0 1 0 360 2 0 0 20 0 19 0 12653350 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 140733437261152 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27682/statm: 2406260 15741 2257 9 0 2396937 0
[pid=27682/tid=27684] ppid=27679 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/27682/task/27684/stat : 27684 (java) R 27679 27682 21085 0 -1 4202560 2416 0 1 0 304 1 0 0 20 0 19 0 12653352 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139853293142400 139853144999566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27685] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27685/stat : 27685 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139853265595176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27686] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27686/stat : 27686 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139853264542376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27687] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27687/stat : 27687 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139853263490088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27682/tid=27688] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27688/stat : 27688 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139853133556648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27689] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27689/stat : 27689 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139853132503336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27690] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27690/stat : 27690 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139853131450536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27691] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27691/stat : 27691 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139853130398248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27692] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27692/stat : 27692 (java) S 27679 27682 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139853129345448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27693] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27693/stat : 27693 (java) S 27679 27682 21085 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 12653354 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139852646832872 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27694] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27694/stat : 27694 (java) S 27679 27682 21085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12653355 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139852645778936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27695] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27695/stat : 27695 (java) S 27679 27682 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12653355 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139852644726536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27696] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27696/stat : 27696 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653357 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139852643675024 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27697] ppid=27679 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/27682/task/27697/stat : 27697 (java) S 27679 27682 21085 0 -1 4202560 8510 0 0 0 31 0 0 0 20 0 19 0 12653357 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139852642621624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27698] ppid=27679 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/27682/task/27698/stat : 27698 (java) S 27679 27682 21085 0 -1 4202560 2392 0 0 0 22 0 0 0 20 0 19 0 12653357 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139852641568824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27699] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27699/stat : 27699 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653357 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139852640516728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27700] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27700/stat : 27700 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653357 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139852639464136 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27701] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27701/stat : 27701 (java) S 27679 27682 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12653370 9856040960 15741 33554432000 1073741824 1073778376 140733437270016 139852638410152 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 9625040

[startup+6.30073 s]
/proc/loadavg: 2.20 2.24 2.18 3/215 27701
/proc/meminfo: memFree=29753560/32872528 swapFree=1484672/1662500
[pid=27682] ppid=27679 vsize=9625040 CPUtime=6.83 cores=0,2,4,6
/proc/27682/stat : 27682 (java) S 27679 27682 21085 0 -1 4202496 14595 0 1 0 680 3 0 0 20 0 19 0 12653350 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 140733437261152 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27682/statm: 2406260 16365 2258 9 0 2396937 0
[pid=27682/tid=27684] ppid=27679 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/27682/task/27684/stat : 27684 (java) R 27679 27682 21085 0 -1 4202560 2421 0 1 0 623 1 0 0 20 0 19 0 12653352 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139853293142360 139853144961922 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27685] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27685/stat : 27685 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139853265595176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27686] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27686/stat : 27686 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139853264542376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27687] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27687/stat : 27687 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139853263490088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27682/tid=27688] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27688/stat : 27688 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139853133556648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27689] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27689/stat : 27689 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139853132503336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27690] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27690/stat : 27690 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139853131450536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27691] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27691/stat : 27691 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139853130398248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27692] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27692/stat : 27692 (java) S 27679 27682 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12653353 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139853129345448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27693] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27693/stat : 27693 (java) S 27679 27682 21085 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 12653354 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139852646832872 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27694] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27694/stat : 27694 (java) S 27679 27682 21085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12653355 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139852645778936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27695] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27695/stat : 27695 (java) S 27679 27682 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12653355 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139852644726536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27696] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27696/stat : 27696 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653357 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139852643675024 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27697] ppid=27679 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/27682/task/27697/stat : 27697 (java) S 27679 27682 21085 0 -1 4202560 8510 0 0 0 31 0 0 0 20 0 19 0 12653357 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139852642621624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27698] ppid=27679 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/27682/task/27698/stat : 27698 (java) S 27679 27682 21085 0 -1 4202560 2392 0 0 0 22 0 0 0 20 0 19 0 12653357 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139852641568824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27699] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27699/stat : 27699 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653357 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139852640516728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27700] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27700/stat : 27700 (java) S 27679 27682 21085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12653357 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139852639464136 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27701] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27701/stat : 27701 (java) S 27679 27682 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12653370 9856040960 16365 33554432000 1073741824 1073778376 140733437270016 139852638410152 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 9625040


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

[pid=27682/tid=27693] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27693/stat : 27693 (java) S 27679 27682 21085 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 19 0 12653354 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852646832872 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27694] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27694/stat : 27694 (java) S 27679 27682 21085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12653355 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852645778936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27695] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27695/stat : 27695 (java) S 27679 27682 21085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12653355 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852644726536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27696] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27696/stat : 27696 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653357 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852643675024 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27697] ppid=27679 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/27682/task/27697/stat : 27697 (java) S 27679 27682 21085 0 -1 4202560 8510 0 0 0 31 0 0 0 20 0 19 0 12653357 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852642621624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27698] ppid=27679 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/27682/task/27698/stat : 27698 (java) S 27679 27682 21085 0 -1 4202560 2405 0 0 0 25 0 0 0 20 0 19 0 12653357 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852641568824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27699] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27699/stat : 27699 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653357 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852640516728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27700] ppid=27679 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/27682/task/27700/stat : 27700 (java) S 27679 27682 21085 0 -1 4202560 72 0 0 0 14 15 0 0 20 0 19 0 12653357 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852639464136 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27701] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27701/stat : 27701 (java) S 27679 27682 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12653370 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852638410152 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1220.3
Current children cumulated vsize (KiB) 9625040

[startup+1220.01 s]
/proc/loadavg: 2.21 2.23 2.18 3/215 27731
/proc/meminfo: memFree=29407192/32872528 swapFree=1484672/1662500
[pid=27682] ppid=27679 vsize=9625040 CPUtime=1221.13 cores=0,2,4,6
/proc/27682/stat : 27682 (java) S 27679 27682 21085 0 -1 4202496 15642 0 1 0 122089 24 0 0 20 0 19 0 12653350 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 140733437261152 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27682/statm: 2406260 60150 2272 9 0 2396937 0
[pid=27682/tid=27684] ppid=27679 vsize=9625040 CPUtime=1216.64 cores=0,2,4,6
/proc/27682/task/27684/stat : 27684 (java) R 27679 27682 21085 0 -1 4202560 2486 0 1 0 121642 22 0 0 20 0 19 0 12653352 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853293142400 139853145258775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27685] ppid=27679 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/27682/task/27685/stat : 27685 (java) S 27679 27682 21085 0 -1 4202560 110 0 0 0 6 1 0 0 20 0 19 0 12653353 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853265595176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27686] ppid=27679 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/27682/task/27686/stat : 27686 (java) S 27679 27682 21085 0 -1 4202560 162 0 0 0 7 2 0 0 20 0 19 0 12653353 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853264542376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27687] ppid=27679 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/27682/task/27687/stat : 27687 (java) S 27679 27682 21085 0 -1 4202560 190 0 0 0 8 0 0 0 20 0 19 0 12653353 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853263490088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27688] ppid=27679 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/27682/task/27688/stat : 27688 (java) S 27679 27682 21085 0 -1 4202560 77 0 0 0 7 1 0 0 20 0 19 0 12653353 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853133556648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27689] ppid=27679 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/27682/task/27689/stat : 27689 (java) S 27679 27682 21085 0 -1 4202560 62 0 0 0 5 0 0 0 20 0 19 0 12653353 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853132503336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27690] ppid=27679 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/27682/task/27690/stat : 27690 (java) S 27679 27682 21085 0 -1 4202560 189 0 0 0 9 0 0 0 20 0 19 0 12653353 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853131450536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27682/tid=27691] ppid=27679 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/27682/task/27691/stat : 27691 (java) S 27679 27682 21085 0 -1 4202560 47 0 0 0 7 0 0 0 20 0 19 0 12653353 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853130398248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27692] ppid=27679 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/27682/task/27692/stat : 27692 (java) S 27679 27682 21085 0 -1 4202560 38 0 0 0 4 0 0 0 20 0 19 0 12653353 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853129345448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27693] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27693/stat : 27693 (java) S 27679 27682 21085 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 19 0 12653354 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852646832872 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27694] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27694/stat : 27694 (java) S 27679 27682 21085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12653355 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852645778936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27695] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27695/stat : 27695 (java) S 27679 27682 21085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12653355 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852644726536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27696] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27696/stat : 27696 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653357 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852643675024 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27697] ppid=27679 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/27682/task/27697/stat : 27697 (java) S 27679 27682 21085 0 -1 4202560 8510 0 0 0 31 0 0 0 20 0 19 0 12653357 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852642621624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27698] ppid=27679 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/27682/task/27698/stat : 27698 (java) S 27679 27682 21085 0 -1 4202560 2406 0 0 0 28 0 0 0 20 0 19 0 12653357 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852641568824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27699] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27699/stat : 27699 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653357 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852640516728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27700] ppid=27679 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/27682/task/27700/stat : 27700 (java) S 27679 27682 21085 0 -1 4202560 72 0 0 0 14 15 0 0 20 0 19 0 12653357 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852639464136 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27701] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27701/stat : 27701 (java) S 27679 27682 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12653370 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852638410152 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1221.13
Current children cumulated vsize (KiB) 9625040

[startup+1220.2 s]
/proc/loadavg: 2.21 2.23 2.18 3/215 27731
/proc/meminfo: memFree=29407192/32872528 swapFree=1484672/1662500
[pid=27682] ppid=27679 vsize=9625040 CPUtime=1221.34 cores=0,2,4,6
/proc/27682/stat : 27682 (java) S 27679 27682 21085 0 -1 4202496 15642 0 1 0 122110 24 0 0 20 0 19 0 12653350 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 140733437261152 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27682/statm: 2406260 60150 2272 9 0 2396937 0
[pid=27682/tid=27684] ppid=27679 vsize=9625040 CPUtime=1216.83 cores=0,2,4,6
/proc/27682/task/27684/stat : 27684 (java) R 27679 27682 21085 0 -1 4202560 2486 0 1 0 121661 22 0 0 20 0 19 0 12653352 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853293142248 139853145018052 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27685] ppid=27679 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/27682/task/27685/stat : 27685 (java) S 27679 27682 21085 0 -1 4202560 110 0 0 0 6 1 0 0 20 0 19 0 12653353 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853265595176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27686] ppid=27679 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/27682/task/27686/stat : 27686 (java) S 27679 27682 21085 0 -1 4202560 162 0 0 0 7 2 0 0 20 0 19 0 12653353 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853264542376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27687] ppid=27679 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/27682/task/27687/stat : 27687 (java) S 27679 27682 21085 0 -1 4202560 190 0 0 0 8 0 0 0 20 0 19 0 12653353 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853263490088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27688] ppid=27679 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/27682/task/27688/stat : 27688 (java) S 27679 27682 21085 0 -1 4202560 77 0 0 0 7 1 0 0 20 0 19 0 12653353 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853133556648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27689] ppid=27679 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/27682/task/27689/stat : 27689 (java) S 27679 27682 21085 0 -1 4202560 62 0 0 0 5 0 0 0 20 0 19 0 12653353 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853132503336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27690] ppid=27679 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/27682/task/27690/stat : 27690 (java) S 27679 27682 21085 0 -1 4202560 189 0 0 0 9 0 0 0 20 0 19 0 12653353 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853131450536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27682/tid=27691] ppid=27679 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/27682/task/27691/stat : 27691 (java) S 27679 27682 21085 0 -1 4202560 47 0 0 0 7 0 0 0 20 0 19 0 12653353 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853130398248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27692] ppid=27679 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/27682/task/27692/stat : 27692 (java) S 27679 27682 21085 0 -1 4202560 38 0 0 0 4 0 0 0 20 0 19 0 12653353 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139853129345448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27693] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27693/stat : 27693 (java) S 27679 27682 21085 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 19 0 12653354 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852646832872 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27694] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27694/stat : 27694 (java) S 27679 27682 21085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12653355 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852645778936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27695] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27695/stat : 27695 (java) S 27679 27682 21085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12653355 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852644726536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27696] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27696/stat : 27696 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653357 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852643675024 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27697] ppid=27679 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/27682/task/27697/stat : 27697 (java) S 27679 27682 21085 0 -1 4202560 8510 0 0 0 31 0 0 0 20 0 19 0 12653357 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852642621624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27698] ppid=27679 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/27682/task/27698/stat : 27698 (java) S 27679 27682 21085 0 -1 4202560 2406 0 0 0 29 0 0 0 20 0 19 0 12653357 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852641568824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27699] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27699/stat : 27699 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653357 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852640516728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27700] ppid=27679 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/27682/task/27700/stat : 27700 (java) S 27679 27682 21085 0 -1 4202560 72 0 0 0 14 15 0 0 20 0 19 0 12653357 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852639464136 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27701] ppid=27679 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27701/stat : 27701 (java) S 27679 27682 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12653370 9856040960 60150 33554432000 1073741824 1073778376 140733437270016 139852638410152 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1221.34
Current children cumulated vsize (KiB) 9625040

[startup+1220.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/215 27731
/proc/meminfo: memFree=29407192/32872528 swapFree=1484672/1662500
[pid=27682] ppid=27679 vsize=9691604 CPUtime=1221.46 cores=0,2,4,6
/proc/27682/stat : 27682 (java) S 27679 27682 21085 0 -1 4202496 15663 0 1 0 122122 24 0 0 20 0 19 0 12653350 9924202496 60168 33554432000 1073741824 1073778376 140733437270016 140733437261152 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27682/statm: 2422901 60168 2281 9 0 2413578 0
[pid=27682/tid=27684] ppid=27679 vsize=9691604 CPUtime=1216.9 cores=0,2,4,6
/proc/27682/task/27684/stat : 27684 (java) S 27679 27682 21085 0 -1 4202560 2488 0 1 0 121668 22 0 0 20 0 19 0 12653352 9924202496 60168 33554432000 1073741824 1073778376 140733437270016 139853293142744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27685] ppid=27679 vsize=9691604 CPUtime=0.07 cores=0,2,4,6
/proc/27682/task/27685/stat : 27685 (java) S 27679 27682 21085 0 -1 4202560 110 0 0 0 6 1 0 0 20 0 19 0 12653353 9924202496 60168 33554432000 1073741824 1073778376 140733437270016 139853265595176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27686] ppid=27679 vsize=9691604 CPUtime=0.09 cores=0,2,4,6
/proc/27682/task/27686/stat : 27686 (java) S 27679 27682 21085 0 -1 4202560 162 0 0 0 7 2 0 0 20 0 19 0 12653353 9924202496 60168 33554432000 1073741824 1073778376 140733437270016 139853264542376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27687] ppid=27679 vsize=9691604 CPUtime=0.08 cores=0,2,4,6
/proc/27682/task/27687/stat : 27687 (java) S 27679 27682 21085 0 -1 4202560 190 0 0 0 8 0 0 0 20 0 19 0 12653353 9924202496 60168 33554432000 1073741824 1073778376 140733437270016 139853263490088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27688] ppid=27679 vsize=9691604 CPUtime=0.08 cores=0,2,4,6
/proc/27682/task/27688/stat : 27688 (java) S 27679 27682 21085 0 -1 4202560 77 0 0 0 7 1 0 0 20 0 19 0 12653353 9924202496 60168 33554432000 1073741824 1073778376 140733437270016 139853133556648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27689] ppid=27679 vsize=9691604 CPUtime=0.05 cores=0,2,4,6
/proc/27682/task/27689/stat : 27689 (java) S 27679 27682 21085 0 -1 4202560 62 0 0 0 5 0 0 0 20 0 19 0 12653353 9924202496 60168 33554432000 1073741824 1073778376 140733437270016 139853132503336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27690] ppid=27679 vsize=9691604 CPUtime=0.09 cores=0,2,4,6
/proc/27682/task/27690/stat : 27690 (java) S 27679 27682 21085 0 -1 4202560 189 0 0 0 9 0 0 0 20 0 19 0 12653353 9924202496 60168 33554432000 1073741824 1073778376 140733437270016 139853131450536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27682/tid=27691] ppid=27679 vsize=9691604 CPUtime=0.07 cores=0,2,4,6
/proc/27682/task/27691/stat : 27691 (java) S 27679 27682 21085 0 -1 4202560 47 0 0 0 7 0 0 0 20 0 19 0 12653353 9924202496 60168 33554432000 1073741824 1073778376 140733437270016 139853130398248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27692] ppid=27679 vsize=9691604 CPUtime=0.04 cores=0,2,4,6
/proc/27682/task/27692/stat : 27692 (java) S 27679 27682 21085 0 -1 4202560 38 0 0 0 4 0 0 0 20 0 19 0 12653353 9924202496 60168 33554432000 1073741824 1073778376 140733437270016 139853129345448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27693] ppid=27679 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27693/stat : 27693 (java) S 27679 27682 21085 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 19 0 12653354 9924202496 60168 33554432000 1073741824 1073778376 140733437270016 139852646832872 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27682/tid=27694] ppid=27679 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27694/stat : 27694 (java) S 27679 27682 21085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12653355 9924202496 60168 33554432000 1073741824 1073778376 140733437270016 139852645778936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27695] ppid=27679 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27695/stat : 27695 (java) S 27679 27682 21085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12653355 9924202496 60169 33554432000 1073741824 1073778376 140733437270016 139852644726536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27696] ppid=27679 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27696/stat : 27696 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653357 9924202496 60170 33554432000 1073741824 1073778376 140733437270016 139852643675024 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27697] ppid=27679 vsize=9691604 CPUtime=0.33 cores=0,2,4,6
/proc/27682/task/27697/stat : 27697 (java) R 27679 27682 21085 0 -1 4202560 8522 0 0 0 33 0 0 0 20 0 19 0 12653357 9924202496 60170 33554432000 1073741824 1073778376 140733437270016 139852642621464 139853295548064 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27682/tid=27698] ppid=27679 vsize=9691604 CPUtime=0.3 cores=0,2,4,6
/proc/27682/task/27698/stat : 27698 (java) S 27679 27682 21085 0 -1 4202560 2406 0 0 0 30 0 0 0 20 0 19 0 12653357 9924202496 60170 33554432000 1073741824 1073778376 140733437270016 139852641568824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27699] ppid=27679 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/27682/task/27699/stat : 27699 (java) S 27679 27682 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12653357 9924202496 60170 33554432000 1073741824 1073778376 140733437270016 139852640516728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27682/tid=27700] ppid=27679 vsize=9691604 CPUtime=0.29 cores=0,2,4,6
/proc/27682/task/27700/stat : 27700 (java) S 27679 27682 21085 0 -1 4202560 72 0 0 0 14 15 0 0 20 0 19 0 12653357 9924202496 60170 33554432000 1073741824 1073778376 140733437270016 139852639464136 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1221.46
Current children cumulated vsize (KiB) 9691604

Child status: 20

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27682 and gives
#  childrusage.ru_utime.tv_sec=1218
#  childrusage.ru_utime.tv_usec=126816
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=550916
# CPU time returned by wait4() is 1218.68
# while last known CPU time is 1221.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1220.31
CPU time (s): 1221.46
CPU user time (s): 1221.22
CPU system time (s): 0.24
CPU usage (%): 100.094
Max. virtual memory (cumulated for all children) (KiB): 9691604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1218.13
system time used= 0.550916
maximum resident set size= 240688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15668
page faults= 1
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26096
involuntary context switches= 2711

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.24305 second user time and 5.96009 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-30 22:03:28
IDJOB=4122534
IDBENCH=111160
IDSOLVER=2546
FILE ID=node134/4122534-1467317008
RUNJOBID= node134-1467310932-25492
PBS_JOBID= 20005262
Free space on /tmp= 71708 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-92.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122534-1467317008/watcher-4122534-1467317008 -o /tmp/evaluation-result-4122534-1467317008/solver-4122534-1467317008 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467310932-25492 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4122534-1467317008.opb

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

MD5SUM BENCH= 62cc0024098140ef1e3152906c1b4757
RANDOM SEED=685171779

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.738
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	: 7358.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.738
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		: 2666.738
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29818432 kB
Buffers:          167892 kB
Cached:           385856 kB
SwapCached:            0 kB
Active:           306856 kB
Inactive:         322292 kB
Active(anon):      72284 kB
Inactive(anon):     5960 kB
Active(file):     234572 kB
Inactive(file):   316332 kB
Unevictable:     1662500 kB
Mlocked:         1484672 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1672 kB
Writeback:             0 kB
AnonPages:       1795856 kB
Mapped:            21516 kB
Shmem:               216 kB
Slab:             610972 kB
SReclaimable:      54720 kB
SUnreclaim:       556252 kB
KernelStack:        1776 kB
PageTables:         7516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2355336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 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= 71708 MiB
End job on node134 at 2016-06-30 22:23:49