Trace number 4115985

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 PB16? (TO) 1800.03 1797.45

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round23-4.opb
MD5SUMa97fe7e6bfcb027e3ebdd0fa3cefc7ea
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9472
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4115985-1466945569.opb
0.08/0.11	c reading problem ... 
0.08/0.12	c  no objective function found
0.68/0.42	c ... done. Wall clock time 0.307s.
0.68/0.42	c declared #vars     4288
0.68/0.42	c #constraints  10752
0.68/0.42	c constraints type 
0.68/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7494
0.68/0.42	c org.sat4j.specs.Constr$1 => 872
0.68/0.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.68/0.42	c org.sat4j.minisat.constraints.cnf.UnitClause => 472
0.68/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.68/0.42	c 10752 constraints processed.
1.71/1.10	c cleaning 2497 clauses out of 4998 with flag 17259/5000
2.49/1.72	c cleaning 4249 clauses out of 8502 with flag 38825/11001
3.19/2.46	c cleaning 5611 clauses out of 11252 with flag 66332/18000
4.11/3.35	c cleaning 6812 clauses out of 13641 with flag 100123/26000
5.12/4.34	c cleaning 7908 clauses out of 15830 with flag 139685/35001
6.32/5.53	c cleaning 8944 clauses out of 17922 with flag 186109/45001
7.52/6.74	c cleaning 9974 clauses out of 19977 with flag 237368/56000
8.82/8.09	c cleaning 10978 clauses out of 22003 with flag 297004/68000
10.33/9.59	c cleaning 11959 clauses out of 24026 with flag 362971/81001
12.12/11.30	c cleaning 12991 clauses out of 26066 with flag 435400/95000
13.92/13.18	c cleaning 13990 clauses out of 28075 with flag 512934/110000
15.93/15.18	c cleaning 15011 clauses out of 30085 with flag 596108/126000
18.13/17.35	c cleaning 16018 clauses out of 32074 with flag 685573/143000
20.43/19.65	c cleaning 17005 clauses out of 34056 with flag 785420/161000
22.93/22.18	c cleaning 17995 clauses out of 36053 with flag 888213/180002
25.73/24.94	c cleaning 19013 clauses out of 38056 with flag 998975/200000
28.73/27.90	c cleaning 20016 clauses out of 40043 with flag 1117243/221000
31.83/31.09	c cleaning 20994 clauses out of 42027 with flag 1241202/243000
35.13/34.38	c cleaning 21989 clauses out of 44035 with flag 1371842/266002
38.73/37.93	c cleaning 23005 clauses out of 46044 with flag 1510716/290000
42.53/41.75	c cleaning 23984 clauses out of 48039 with flag 1651740/315000
46.43/45.70	c cleaning 25006 clauses out of 50055 with flag 1801907/341000
50.73/49.94	c cleaning 26025 clauses out of 52050 with flag 1957329/368001
55.06/54.29	c cleaning 27000 clauses out of 54026 with flag 2119405/396002
59.17/58.40	c cleaning 27980 clauses out of 56024 with flag 2291577/425000
63.56/62.79	c cleaning 28998 clauses out of 58044 with flag 2470044/455000
68.16/67.34	c cleaning 29966 clauses out of 60047 with flag 2651295/486001
73.06/72.24	c cleaning 31029 clauses out of 62081 with flag 2841085/518001
78.16/77.36	c cleaning 32004 clauses out of 64051 with flag 3033728/551000
83.56/82.77	c cleaning 33014 clauses out of 66047 with flag 3234582/585000
89.47/88.62	c cleaning 33975 clauses out of 68033 with flag 3449002/620000
95.47/94.65	c cleaning 35012 clauses out of 70058 with flag 3665964/656000
101.67/100.88	c cleaning 36000 clauses out of 72046 with flag 3886078/693000
108.27/107.47	c cleaning 36961 clauses out of 74048 with flag 4118372/731002
114.87/114.09	c cleaning 38012 clauses out of 76085 with flag 4357170/770000
122.17/121.34	c cleaning 39022 clauses out of 78073 with flag 4598054/810000
129.68/128.81	c cleaning 40004 clauses out of 80051 with flag 4845121/851000
137.39/136.55	c cleaning 40977 clauses out of 82047 with flag 5098451/893000
145.22/144.31	c cleaning 41995 clauses out of 84070 with flag 5361274/936000
153.11/152.25	c cleaning 43028 clauses out of 86075 with flag 5628526/980000
161.52/160.62	c cleaning 43962 clauses out of 88047 with flag 5904705/1025000
169.91/169.03	c cleaning 45016 clauses out of 90085 with flag 6188956/1071000
178.91/178.01	c cleaning 46021 clauses out of 92069 with flag 6479702/1118000
188.11/187.27	c cleaning 47015 clauses out of 94049 with flag 6775016/1166001
197.73/196.81	c cleaning 47992 clauses out of 96034 with flag 7076882/1215001
207.62/206.73	c cleaning 48978 clauses out of 98041 with flag 7383808/1265000
217.73/216.83	c cleaning 50021 clauses out of 100064 with flag 7698771/1316001
228.24/227.30	c cleaning 50995 clauses out of 102042 with flag 8027550/1368000
239.03/238.10	c cleaning 51977 clauses out of 104047 with flag 8352682/1421000
249.75/248.83	c cleaning 52986 clauses out of 106072 with flag 8684679/1475002
260.65/259.76	c cleaning 54023 clauses out of 108088 with flag 9022581/1530004
272.36/271.48	c cleaning 55009 clauses out of 110062 with flag 9365971/1586001
284.25/283.34	c cleaning 56008 clauses out of 112053 with flag 9718181/1643001
296.05/295.14	c cleaning 56964 clauses out of 114044 with flag 10076211/1701000
308.66/307.74	c cleaning 58010 clauses out of 116080 with flag 10442045/1760000
321.46/320.53	c cleaning 59008 clauses out of 118070 with flag 10809447/1820000
334.96/334.02	c cleaning 60014 clauses out of 120063 with flag 11185757/1881001
348.74/347.77	c cleaning 61014 clauses out of 122048 with flag 11570309/1943000
362.84/361.81	c cleaning 61995 clauses out of 124034 with flag 11954321/2006000
376.94/375.91	c cleaning 63020 clauses out of 126040 with flag 12347953/2070001
391.94/390.90	c cleaning 64001 clauses out of 128020 with flag 12747458/2135001
406.87/405.87	c cleaning 65001 clauses out of 130018 with flag 13154539/2201000
422.77/421.74	c cleaning 65976 clauses out of 132017 with flag 13564027/2268000
438.47/437.48	c cleaning 66998 clauses out of 134042 with flag 13977810/2336001
455.38/454.33	c cleaning 67970 clauses out of 136044 with flag 14396322/2405001
472.58/471.46	c cleaning 69029 clauses out of 138074 with flag 14824559/2475001
489.99/488.82	c cleaning 70000 clauses out of 140044 with flag 15259298/2546000
507.99/506.81	c cleaning 71006 clauses out of 142044 with flag 15694488/2618000
526.60/525.44	c cleaning 72005 clauses out of 144040 with flag 16144162/2691002
546.10/544.95	c cleaning 73006 clauses out of 146034 with flag 16601457/2765001
565.80/564.66	c cleaning 73965 clauses out of 148027 with flag 17062549/2840000
586.30/585.11	c cleaning 74981 clauses out of 150062 with flag 17527297/2916000
606.59/605.30	c cleaning 75986 clauses out of 152081 with flag 18000525/2993000
627.09/625.89	c cleaning 77001 clauses out of 154096 with flag 18477355/3071001
648.10/646.85	c cleaning 78031 clauses out of 156094 with flag 18961479/3150000
669.40/668.18	c cleaning 79021 clauses out of 158063 with flag 19451670/3230000
691.60/690.38	c cleaning 80022 clauses out of 160043 with flag 19947060/3311001
715.01/713.71	c cleaning 80962 clauses out of 162021 with flag 20451376/3393001
738.61/737.20	c cleaning 82021 clauses out of 164060 with flag 20955794/3476002
762.12/760.70	c cleaning 82990 clauses out of 166037 with flag 21471679/3560000
786.72/785.39	c cleaning 83996 clauses out of 168047 with flag 21993270/3645000
811.43/810.05	c cleaning 85011 clauses out of 170053 with flag 22518131/3731002
836.45/835.03	c cleaning 85970 clauses out of 172040 with flag 23049608/3818000
861.88/860.35	c cleaning 86999 clauses out of 174070 with flag 23589737/3906000
888.30/886.77	c cleaning 87983 clauses out of 176071 with flag 24134122/3995000
914.80/913.20	c cleaning 89018 clauses out of 178088 with flag 24681288/4085000
942.40/940.82	c cleaning 90020 clauses out of 180070 with flag 25234328/4176000
970.51/968.99	c cleaning 90985 clauses out of 182050 with flag 25799240/4268000
998.66/996.93	c cleaning 92016 clauses out of 184065 with flag 26371713/4361000
1027.57/1025.88	c cleaning 92959 clauses out of 186050 with flag 26939331/4455001
1057.58/1055.80	c cleaning 94009 clauses out of 188090 with flag 27518151/4550000
1088.10/1086.37	c cleaning 95031 clauses out of 190081 with flag 28105821/4646000
1119.82/1117.92	c cleaning 96017 clauses out of 192050 with flag 28699728/4743000
1151.45/1149.57	c cleaning 96995 clauses out of 194033 with flag 29300974/4841000
1184.34/1182.44	c cleaning 97966 clauses out of 196038 with flag 29903761/4940000
1217.36/1215.44	c cleaning 99025 clauses out of 198072 with flag 30512706/5040000
1251.10/1249.05	c cleaning 99976 clauses out of 200049 with flag 31132736/5141002
1285.72/1283.70	c cleaning 101037 clauses out of 202074 with flag 31754504/5243003
1321.53/1319.45	c cleaning 102001 clauses out of 204034 with flag 32375425/5346000
1357.24/1355.14	c cleaning 102992 clauses out of 206033 with flag 33007045/5450000
1393.97/1391.75	c cleaning 104011 clauses out of 208042 with flag 33650290/5555001
1431.58/1429.39	c cleaning 105001 clauses out of 210032 with flag 34295152/5661002
1469.38/1467.15	c cleaning 105998 clauses out of 212030 with flag 34953302/5768001
1508.48/1506.10	c cleaning 107009 clauses out of 214031 with flag 35610697/5876000
1547.67/1545.39	c cleaning 107984 clauses out of 216023 with flag 36277638/5985001
1588.17/1585.83	c cleaning 108998 clauses out of 218038 with flag 36949081/6095000
1629.87/1627.40	c cleaning 110006 clauses out of 220041 with flag 37626224/6206001
1672.39/1669.93	c cleaning 110995 clauses out of 222035 with flag 38304702/6318001
1715.22/1712.75	c cleaning 112001 clauses out of 224040 with flag 38988977/6431001
1759.42/1756.88	c cleaning 112993 clauses out of 226038 with flag 39684288/6545000
1800.03/1797.41	c starts		: 47705
1800.03/1797.41	c conflicts		: 6652711
1800.03/1797.41	c decisions		: 62477142
1800.03/1797.41	c propagations		: 894193942
1800.03/1797.41	c inspects		: 23993257306
1800.03/1797.41	c shortcuts		: 0
1800.03/1797.41	c learnt literals	: 2
1800.03/1797.41	c learnt binary clauses	: 37
1800.03/1797.41	c learnt ternary clauses	: 660
1800.03/1797.41	c learnt constraints	: 6652709
1800.03/1797.41	c ignored constraints	: 0
1800.03/1797.41	c root simplifications	: 0
1800.03/1797.41	c removed literals (reason simplification)	: 0
1800.03/1797.41	c reason swapping (by a shorter reason)	: 0
1800.03/1797.41	c Calls to reduceDB	: 110
1800.03/1797.41	c Number of update (reduction) of LBD	: 1411069
1800.03/1797.41	c Imported unit clauses	: 0
1800.03/1797.41	c number of reductions to clauses (during analyze)	: 0
1800.03/1797.41	c number of learned constraints concerned by reduction	: 0
1800.03/1797.41	c number of learning phase by resolution	: 0
1800.03/1797.41	c number of learning phase by cutting planes	: 0
1800.03/1797.41	c speed (assignments/second)	: 497608.47041958664
1800.03/1797.41	c non guided choices	32826
1800.03/1797.41	c timeout
1800.03/1797.44	c learnt constraints type 
1800.03/1797.44	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 37
1800.03/1797.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 220720
1800.03/1797.44	s UNKNOWN
1800.03/1797.44	c Total wall clock time (in seconds): 1797.325

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

pid=19978
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.29 2.19 2.02 3/196 19981
/proc/meminfo: memFree=30196860/32872528 swapFree=1491540/1663236
[pid=19981] ppid=19978 vsize=2504 CPUtime=0 cores=1,3,5,7
/proc/19981/stat : 19981 (java) R 19978 19981 19710 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 27595165 2564096 46 33554432000 1073741824 1073778376 140736388279712 140736388276840 273896538577 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19981/statm: 892 49 38 9 0 30 0

[startup+0.100059 s]
/proc/loadavg: 2.29 2.19 2.02 3/196 19981
/proc/meminfo: memFree=30196860/32872528 swapFree=1491540/1663236
[pid=19981] ppid=19978 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/19981/stat : 19981 (java) S 19978 19981 19710 0 -1 4202496 4399 0 1 0 8 0 0 0 20 0 18 0 27595165 9787879424 6025 33554432000 1073741824 1073778376 140736388279712 140736388270848 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19981/statm: 2389619 6025 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200221 s]
/proc/loadavg: 2.29 2.19 2.02 3/196 19981
/proc/meminfo: memFree=30196860/32872528 swapFree=1491540/1663236
[pid=19981] ppid=19978 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/19981/stat : 19981 (java) S 19978 19981 19710 0 -1 4202496 4925 0 1 0 25 1 0 0 20 0 18 0 27595165 9787879424 6988 33554432000 1073741824 1073778376 140736388279712 140736388270848 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19981/statm: 2389619 6988 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300244 s]
/proc/loadavg: 2.29 2.19 2.02 3/196 19981
/proc/meminfo: memFree=30196860/32872528 swapFree=1491540/1663236
[pid=19981] ppid=19978 vsize=9558476 CPUtime=0.49 cores=1,3,5,7
/proc/19981/stat : 19981 (java) S 19978 19981 19710 0 -1 4202496 5810 0 1 0 48 1 0 0 20 0 18 0 27595165 9787879424 8991 33554432000 1073741824 1073778376 140736388279712 140736388270848 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19981/statm: 2389619 8991 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700198 s]
/proc/loadavg: 2.29 2.19 2.02 3/196 19981
/proc/meminfo: memFree=30196860/32872528 swapFree=1491540/1663236
[pid=19981] ppid=19978 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/19981/stat : 19981 (java) S 19978 19981 19710 0 -1 4202496 10302 0 1 0 139 2 0 0 20 0 19 0 27595165 9856040960 16660 33554432000 1073741824 1073778376 140736388279712 140736388270848 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19981/statm: 2406260 16660 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.29 2.19 2.02 5/215 20000
/proc/meminfo: memFree=30138828/32872528 swapFree=1491540/1663236
[pid=19981] ppid=19978 vsize=9625040 CPUtime=2.26 cores=1,3,5,7
/proc/19981/stat : 19981 (java) S 19978 19981 19710 0 -1 4202496 10313 0 1 0 224 2 0 0 20 0 19 0 27595165 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 140736388270848 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19981/statm: 2406260 17179 2270 9 0 2396937 0
[pid=19981/tid=19983] ppid=19978 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/19981/task/19983/stat : 19983 (java) R 19978 19981 19710 0 -1 4202560 2445 0 1 0 144 2 0 0 20 0 19 0 27595166 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139866169773776 139866030133401 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19981/tid=19984] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19984/stat : 19984 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139866012809640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19985] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19985/stat : 19985 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139866011757096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19986] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19986/stat : 19986 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139866010704040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19981/tid=19987] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19987/stat : 19987 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139866009651496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19981/tid=19988] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19988/stat : 19988 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139866008599464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19989] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19989/stat : 19989 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139866007546920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19981/tid=19990] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19990/stat : 19990 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139866006493864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19991] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19991/stat : 19991 (java) S 19978 19981 19710 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139866005441320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19992] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19992/stat : 19992 (java) S 19978 19981 19710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27595168 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139865993242984 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19993] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19993/stat : 19993 (java) S 19978 19981 19710 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27595169 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139865992189304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19994] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19994/stat : 19994 (java) S 19978 19981 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27595169 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139865991136136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19995] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19995/stat : 19995 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595171 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139865990084880 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19996] ppid=19978 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/19981/task/19996/stat : 19996 (java) S 19978 19981 19710 0 -1 4202560 2409 0 0 0 35 0 0 0 20 0 19 0 27595171 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139865989032760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19997] ppid=19978 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/19981/task/19997/stat : 19997 (java) S 19978 19981 19710 0 -1 4202560 4186 0 0 0 42 0 0 0 20 0 19 0 27595171 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139865987980216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19998] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19998/stat : 19998 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595171 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139865986927352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19999] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19999/stat : 19999 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595171 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139865985875016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=20000] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/20000/stat : 20000 (java) S 19978 19981 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27595208 9856040960 17179 33554432000 1073741824 1073778376 140736388279712 139865984820264 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 2.29 2.19 2.02 3/215 20000
/proc/meminfo: memFree=30134112/32872528 swapFree=1491540/1663236
[pid=19981] ppid=19978 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/19981/stat : 19981 (java) S 19978 19981 19710 0 -1 4202496 10316 0 1 0 388 2 0 0 20 0 19 0 27595165 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 140736388270848 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19981/statm: 2406260 18203 2270 9 0 2396937 0
[pid=19981/tid=19983] ppid=19978 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/19981/task/19983/stat : 19983 (java) R 19978 19981 19710 0 -1 4202560 2448 0 1 0 304 2 0 0 20 0 19 0 27595166 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139866169782600 139866030117842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19981/tid=19984] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19984/stat : 19984 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139866012809640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19985] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19985/stat : 19985 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139866011757096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19986] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19986/stat : 19986 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139866010704040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19981/tid=19987] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19987/stat : 19987 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139866009651496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19981/tid=19988] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19988/stat : 19988 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139866008599464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19989] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19989/stat : 19989 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139866007546920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19981/tid=19990] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19990/stat : 19990 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139866006493864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19991] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19991/stat : 19991 (java) S 19978 19981 19710 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139866005441320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19992] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19992/stat : 19992 (java) S 19978 19981 19710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27595168 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139865993242984 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19993] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19993/stat : 19993 (java) S 19978 19981 19710 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27595169 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139865992189304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19994] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19994/stat : 19994 (java) S 19978 19981 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27595169 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139865991136136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19995] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19995/stat : 19995 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595171 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139865990084880 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19996] ppid=19978 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/19981/task/19996/stat : 19996 (java) S 19978 19981 19710 0 -1 4202560 2409 0 0 0 37 0 0 0 20 0 19 0 27595171 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139865989032760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19997] ppid=19978 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/19981/task/19997/stat : 19997 (java) S 19978 19981 19710 0 -1 4202560 4186 0 0 0 44 0 0 0 20 0 19 0 27595171 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139865987980216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19998] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19998/stat : 19998 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595171 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139865986927352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19999] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19999/stat : 19999 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595171 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139865985875016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=20000] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/20000/stat : 20000 (java) S 19978 19981 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27595208 9856040960 18203 33554432000 1073741824 1073778376 140736388279712 139865984820264 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.27 2.18 2.02 4/215 20000
/proc/meminfo: memFree=30125584/32872528 swapFree=1491540/1663236
[pid=19981] ppid=19978 vsize=9625040 CPUtime=7.12 cores=1,3,5,7
/proc/19981/stat : 19981 (java) S 19978 19981 19710 0 -1 4202496 10322 0 1 0 710 2 0 0 20 0 19 0 27595165 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 140736388270848 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19981/statm: 2406260 20243 2271 9 0 2396937 0
[pid=19981/tid=19983] ppid=19978 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/19981/task/19983/stat : 19983 (java) R 19978 19981 19710 0 -1 4202560 2453 0 1 0 623 2 0 0 20 0 19 0 27595166 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139866169782696 139866030092399 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19981/tid=19984] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19984/stat : 19984 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139866012809640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19985] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19985/stat : 19985 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139866011757096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19986] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19986/stat : 19986 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139866010704040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19981/tid=19987] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19987/stat : 19987 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139866009651496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19981/tid=19988] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19988/stat : 19988 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139866008599464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19989] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19989/stat : 19989 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139866007546920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19981/tid=19990] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19990/stat : 19990 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139866006493864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19991] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19991/stat : 19991 (java) S 19978 19981 19710 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27595167 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139866005441320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19992] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19992/stat : 19992 (java) S 19978 19981 19710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27595168 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139865993242984 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19993] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19993/stat : 19993 (java) S 19978 19981 19710 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27595169 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139865992189304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19994] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19994/stat : 19994 (java) S 19978 19981 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27595169 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139865991136136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19995] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19995/stat : 19995 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595171 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139865990084880 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19996] ppid=19978 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/19981/task/19996/stat : 19996 (java) S 19978 19981 19710 0 -1 4202560 2409 0 0 0 37 0 0 0 20 0 19 0 27595171 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139865989032760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19997] ppid=19978 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/19981/task/19997/stat : 19997 (java) S 19978 19981 19710 0 -1 4202560 4186 0 0 0 46 0 0 0 20 0 19 0 27595171 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139865987980216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19998] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19998/stat : 19998 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595171 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139865986927352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19999] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19999/stat : 19999 (java) S 19978 19981 19710 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27595171 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139865985875016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=20000] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/20000/stat : 20000 (java) S 19978 19981 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27595208 9856040960 20243 33554432000 1073741824 1073778376 140736388279712 139865984820264 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 9625040


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

/proc/19981/task/20000/stat : 20000 (java) S 19978 19981 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27595208 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139865984820264 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1664.79
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.29 2.27 2.20 3/215 20390
/proc/meminfo: memFree=29849964/32872528 swapFree=1491540/1663236
[pid=19981] ppid=19978 vsize=9625040 CPUtime=1724.82 cores=1,3,5,7
/proc/19981/stat : 19981 (java) S 19978 19981 19710 0 -1 4202496 13114 0 1 0 172409 73 0 0 20 0 19 0 27595165 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 140736388270848 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19981/statm: 2406260 97558 2285 9 0 2396937 0
[pid=19981/tid=19983] ppid=19978 vsize=9625040 CPUtime=1717.35 cores=1,3,5,7
/proc/19981/task/19983/stat : 19983 (java) R 19978 19981 19710 0 -1 4202560 2510 0 1 0 171705 30 0 0 20 0 19 0 27595166 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139866169773856 139866030087828 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19981/tid=19984] ppid=19978 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/19981/task/19984/stat : 19984 (java) S 19978 19981 19710 0 -1 4202560 433 0 0 0 18 4 0 0 20 0 19 0 27595167 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139866012809640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19985] ppid=19978 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/19981/task/19985/stat : 19985 (java) S 19978 19981 19710 0 -1 4202560 240 0 0 0 14 2 0 0 20 0 19 0 27595167 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139866011757096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19986] ppid=19978 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/19981/task/19986/stat : 19986 (java) S 19978 19981 19710 0 -1 4202560 205 0 0 0 18 3 0 0 20 0 19 0 27595167 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139866010704040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19981/tid=19987] ppid=19978 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/19981/task/19987/stat : 19987 (java) S 19978 19981 19710 0 -1 4202560 392 0 0 0 17 4 0 0 20 0 19 0 27595167 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139866009651496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19981/tid=19988] ppid=19978 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/19981/task/19988/stat : 19988 (java) S 19978 19981 19710 0 -1 4202560 145 0 0 0 16 2 0 0 20 0 19 0 27595167 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139866008599464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19989] ppid=19978 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/19981/task/19989/stat : 19989 (java) S 19978 19981 19710 0 -1 4202560 463 0 0 0 14 3 0 0 20 0 19 0 27595167 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139866007546920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19990] ppid=19978 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/19981/task/19990/stat : 19990 (java) S 19978 19981 19710 0 -1 4202560 374 0 0 0 17 2 0 0 20 0 19 0 27595167 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139866006493864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19991] ppid=19978 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/19981/task/19991/stat : 19991 (java) S 19978 19981 19710 0 -1 4202560 320 0 0 0 20 4 0 0 20 0 19 0 27595167 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139866005441320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19992] ppid=19978 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/19981/task/19992/stat : 19992 (java) S 19978 19981 19710 0 -1 4202560 72 0 0 0 1 1 0 0 20 0 19 0 27595168 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139865993242984 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19993] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19993/stat : 19993 (java) S 19978 19981 19710 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27595169 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139865992189304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19994] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19994/stat : 19994 (java) S 19978 19981 19710 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27595169 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139865991136136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19995] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19995/stat : 19995 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595171 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139865990084880 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19996] ppid=19978 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/19981/task/19996/stat : 19996 (java) S 19978 19981 19710 0 -1 4202560 2409 0 0 0 37 0 0 0 20 0 19 0 27595171 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139865989032760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19997] ppid=19978 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/19981/task/19997/stat : 19997 (java) S 19978 19981 19710 0 -1 4202560 4191 0 0 0 49 0 0 0 20 0 19 0 27595171 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139865987980216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19998] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19998/stat : 19998 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595171 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139865986927352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19999] ppid=19978 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/19981/task/19999/stat : 19999 (java) S 19978 19981 19710 0 -1 4202560 100 0 0 0 30 45 0 0 20 0 19 0 27595171 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139865985875016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=20000] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/20000/stat : 20000 (java) S 19978 19981 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27595208 9856040960 97558 33554432000 1073741824 1073778376 140736388279712 139865984820264 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1724.82
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.19 2.25 2.19 3/215 20391
/proc/meminfo: memFree=29841344/32872528 swapFree=1491540/1663236
[pid=19981] ppid=19978 vsize=9625040 CPUtime=1784.92 cores=1,3,5,7
/proc/19981/stat : 19981 (java) S 19978 19981 19710 0 -1 4202496 13135 0 1 0 178417 75 0 0 20 0 19 0 27595165 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 140736388270848 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19981/statm: 2406260 99605 2285 9 0 2396937 0
[pid=19981/tid=19983] ppid=19978 vsize=9625040 CPUtime=1777.16 cores=1,3,5,7
/proc/19981/task/19983/stat : 19983 (java) R 19978 19981 19710 0 -1 4202560 2511 0 1 0 177685 31 0 0 20 0 19 0 27595166 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866169773856 139866030087870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19981/tid=19984] ppid=19978 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/19981/task/19984/stat : 19984 (java) S 19978 19981 19710 0 -1 4202560 435 0 0 0 19 4 0 0 20 0 19 0 27595167 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866012809640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19985] ppid=19978 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/19981/task/19985/stat : 19985 (java) S 19978 19981 19710 0 -1 4202560 241 0 0 0 15 2 0 0 20 0 19 0 27595167 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866011757096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19986] ppid=19978 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/19981/task/19986/stat : 19986 (java) S 19978 19981 19710 0 -1 4202560 207 0 0 0 20 3 0 0 20 0 19 0 27595167 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866010704040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19987] ppid=19978 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/19981/task/19987/stat : 19987 (java) S 19978 19981 19710 0 -1 4202560 394 0 0 0 18 4 0 0 20 0 19 0 27595167 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866009651496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19981/tid=19988] ppid=19978 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/19981/task/19988/stat : 19988 (java) S 19978 19981 19710 0 -1 4202560 145 0 0 0 16 3 0 0 20 0 19 0 27595167 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866008599464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19989] ppid=19978 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/19981/task/19989/stat : 19989 (java) S 19978 19981 19710 0 -1 4202560 467 0 0 0 17 3 0 0 20 0 19 0 27595167 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866007546920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19990] ppid=19978 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/19981/task/19990/stat : 19990 (java) S 19978 19981 19710 0 -1 4202560 375 0 0 0 17 2 0 0 20 0 19 0 27595167 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866006493864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19991] ppid=19978 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/19981/task/19991/stat : 19991 (java) S 19978 19981 19710 0 -1 4202560 322 0 0 0 23 4 0 0 20 0 19 0 27595167 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866005441320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19981/tid=19992] ppid=19978 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/19981/task/19992/stat : 19992 (java) S 19978 19981 19710 0 -1 4202560 74 0 0 0 1 1 0 0 20 0 19 0 27595168 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865993242984 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19993] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19993/stat : 19993 (java) S 19978 19981 19710 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27595169 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865992189304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19994] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19994/stat : 19994 (java) S 19978 19981 19710 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27595169 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865991136136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19995] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19995/stat : 19995 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595171 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865990084880 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19996] ppid=19978 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/19981/task/19996/stat : 19996 (java) S 19978 19981 19710 0 -1 4202560 2409 0 0 0 37 0 0 0 20 0 19 0 27595171 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865989032760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19997] ppid=19978 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/19981/task/19997/stat : 19997 (java) S 19978 19981 19710 0 -1 4202560 4191 0 0 0 49 0 0 0 20 0 19 0 27595171 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865987980216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19998] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19998/stat : 19998 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595171 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865986927352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19999] ppid=19978 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/19981/task/19999/stat : 19999 (java) S 19978 19981 19710 0 -1 4202560 104 0 0 0 31 47 0 0 20 0 19 0 27595171 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865985875016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=20000] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/20000/stat : 20000 (java) S 19978 19981 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27595208 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865984820264 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1784.92
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.4 s]
/proc/loadavg: 2.29 2.27 2.20 4/215 20391
/proc/meminfo: memFree=29841468/32872528 swapFree=1491540/1663236
[pid=19981] ppid=19978 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/19981/stat : 19981 (java) S 19978 19981 19710 0 -1 4202496 13135 0 1 0 179928 75 0 0 20 0 19 0 27595165 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 140736388270848 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19981/statm: 2406260 99605 2285 9 0 2396937 0
[pid=19981/tid=19983] ppid=19978 vsize=9625040 CPUtime=1792.23 cores=1,3,5,7
/proc/19981/task/19983/stat : 19983 (java) R 19978 19981 19710 0 -1 4202560 2511 0 1 0 179192 31 0 0 20 0 19 0 27595166 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866169773856 139866029692854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19981/tid=19984] ppid=19978 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/19981/task/19984/stat : 19984 (java) S 19978 19981 19710 0 -1 4202560 435 0 0 0 19 4 0 0 20 0 19 0 27595167 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866012809640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19985] ppid=19978 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/19981/task/19985/stat : 19985 (java) S 19978 19981 19710 0 -1 4202560 241 0 0 0 15 2 0 0 20 0 19 0 27595167 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866011757096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19986] ppid=19978 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/19981/task/19986/stat : 19986 (java) S 19978 19981 19710 0 -1 4202560 207 0 0 0 20 3 0 0 20 0 19 0 27595167 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866010704040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19987] ppid=19978 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/19981/task/19987/stat : 19987 (java) S 19978 19981 19710 0 -1 4202560 394 0 0 0 18 4 0 0 20 0 19 0 27595167 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866009651496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19981/tid=19988] ppid=19978 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/19981/task/19988/stat : 19988 (java) S 19978 19981 19710 0 -1 4202560 145 0 0 0 16 3 0 0 20 0 19 0 27595167 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866008599464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19989] ppid=19978 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/19981/task/19989/stat : 19989 (java) S 19978 19981 19710 0 -1 4202560 467 0 0 0 17 3 0 0 20 0 19 0 27595167 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866007546920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19990] ppid=19978 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/19981/task/19990/stat : 19990 (java) S 19978 19981 19710 0 -1 4202560 375 0 0 0 17 2 0 0 20 0 19 0 27595167 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866006493864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19991] ppid=19978 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/19981/task/19991/stat : 19991 (java) S 19978 19981 19710 0 -1 4202560 322 0 0 0 23 4 0 0 20 0 19 0 27595167 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139866005441320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19981/tid=19992] ppid=19978 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/19981/task/19992/stat : 19992 (java) S 19978 19981 19710 0 -1 4202560 74 0 0 0 1 1 0 0 20 0 19 0 27595168 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865993242984 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19993] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19993/stat : 19993 (java) S 19978 19981 19710 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27595169 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865992189304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19994] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19994/stat : 19994 (java) S 19978 19981 19710 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27595169 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865991136136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19995] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19995/stat : 19995 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595171 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865990084880 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19996] ppid=19978 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/19981/task/19996/stat : 19996 (java) S 19978 19981 19710 0 -1 4202560 2409 0 0 0 37 0 0 0 20 0 19 0 27595171 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865989032760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=19997] ppid=19978 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/19981/task/19997/stat : 19997 (java) S 19978 19981 19710 0 -1 4202560 4191 0 0 0 49 0 0 0 20 0 19 0 27595171 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865987980216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19998] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/19998/stat : 19998 (java) S 19978 19981 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27595171 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865986927352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19981/tid=19999] ppid=19978 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/19981/task/19999/stat : 19999 (java) S 19978 19981 19710 0 -1 4202560 104 0 0 0 31 48 0 0 20 0 19 0 27595171 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865985875016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19981/tid=20000] ppid=19978 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19981/task/20000/stat : 20000 (java) S 19978 19981 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27595208 9856040960 99605 33554432000 1073741824 1073778376 140736388279712 139865984820264 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19981 sig 9
??? kill -19981 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19981 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=720161
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=190818
# CPU time returned by wait4() is 1795.91
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.45
CPU time (s): 1800.03
CPU user time (s): 1799.28
CPU system time (s): 0.75
CPU usage (%): 100.144
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.72
system time used= 1.19082
maximum resident set size= 400472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13170
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38384
involuntary context switches= 5275

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4624 second user time and 14.0609 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-26 14:52:49
IDJOB=4115985
IDBENCH=109413
IDSOLVER=2546
FILE ID=node134/4115985-1466945569
RUNJOBID= node134-1466945036-19727
PBS_JOBID= 19976362
Free space on /tmp= 71692 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-4.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115985-1466945569/watcher-4115985-1466945569 -o /tmp/evaluation-result-4115985-1466945569/solver-4115985-1466945569 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466945036-19727 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4115985-1466945569.opb

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

MD5SUM BENCH= a97fe7e6bfcb027e3ebdd0fa3cefc7ea
RANDOM SEED=512385826

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		: 2667.170
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.34
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.170
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.170
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.54
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.170
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.56
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.170
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.57
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.170
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	: 5317.19
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.170
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.170
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:        30197140 kB
Buffers:            4992 kB
Cached:           105628 kB
SwapCached:         1316 kB
Active:           221280 kB
Inactive:          91332 kB
Active(anon):     202172 kB
Inactive(anon):     2484 kB
Active(file):      19108 kB
Inactive(file):    88848 kB
Unevictable:     1663236 kB
Mlocked:         1491540 kB
SwapTotal:      67108856 kB
SwapFree:       67099124 kB
Dirty:              1252 kB
Writeback:             0 kB
AnonPages:       1833056 kB
Mapped:            15396 kB
Shmem:                 0 kB
Slab:             564348 kB
SReclaimable:       8224 kB
SUnreclaim:       556124 kB
KernelStack:        1776 kB
PageTables:         7912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2363740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    323584 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= 71692 MiB
End job on node134 at 2016-06-26 15:22:46