Trace number 4116982

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 Res+CP PB16? (TO) 1800.78 897.166

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round22-8.opb
MD5SUM64fa8a1431c520e4dd0067505386153e
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 variables4128
Total number of constraints8736
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints864
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.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4116982-1466960072.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
1.03/0.50	c ... done. Wall clock time 0.377s.
1.03/0.50	c declared #vars     4128
1.03/0.50	c #constraints  10048
1.03/0.50	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.03/0.50	c constraints type 
1.03/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
1.03/0.50	c org.sat4j.specs.Constr$1 => 936
1.03/0.50	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
1.03/0.50	c org.sat4j.minisat.constraints.cnf.UnitClause => 536
1.03/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
1.03/0.50	c 10048 constraints processed.
1.03/0.50	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.03/0.50	c constraints type 
1.03/0.50	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
1.03/0.50	c org.sat4j.specs.Constr$1 => 936
1.03/0.50	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6726
1.03/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1722
1.03/0.50	c org.sat4j.pb.constraints.pb.UnitClausePB => 536
1.03/0.50	c 10048 constraints processed.
4.25/1.39	c cleaning 2493 clauses out of 4997 with flag 15724/5001
5.71/1.98	c cleaning 4247 clauses out of 8503 with flag 37638/11000
7.40/2.70	c cleaning 5618 clauses out of 11256 with flag 66499/18000
9.05/3.52	c cleaning 6781 clauses out of 13638 with flag 101845/26000
11.14/4.53	c cleaning 7924 clauses out of 15858 with flag 141480/35001
13.34/5.61	c cleaning 8961 clauses out of 17936 with flag 188760/45003
15.81/6.88	c cleaning 9978 clauses out of 19972 with flag 243103/56000
18.61/8.26	c cleaning 10967 clauses out of 21995 with flag 303460/68001
21.88/9.83	c cleaning 12003 clauses out of 24028 with flag 370156/81001
25.57/11.60	c cleaning 13000 clauses out of 26024 with flag 445823/95000
29.18/13.47	c cleaning 13991 clauses out of 28025 with flag 525566/110001
33.19/15.48	c cleaning 15000 clauses out of 30033 with flag 611472/126000
34.18/15.92	c cleaning 0 clauses out of 5002 with flag 0/5002
37.84/17.78	c cleaning 16010 clauses out of 32033 with flag 705766/143000
43.12/20.27	c cleaning 17002 clauses out of 34023 with flag 806978/161000
48.52/22.97	c cleaning 18001 clauses out of 36022 with flag 913332/180001
54.44/25.85	c cleaning 18997 clauses out of 38021 with flag 1028612/200001
60.45/28.88	c cleaning 19994 clauses out of 40023 with flag 1149573/221000
67.05/32.14	c cleaning 20992 clauses out of 42030 with flag 1275148/243001
74.61/35.84	c cleaning 22019 clauses out of 44037 with flag 1409667/266000
82.61/39.81	c cleaning 22928 clauses out of 46019 with flag 1550085/290001
90.71/43.81	c cleaning 24026 clauses out of 48090 with flag 1697947/315000
99.10/48.00	c cleaning 25013 clauses out of 50064 with flag 1848670/341000
108.44/52.61	c cleaning 25994 clauses out of 52051 with flag 2009958/368000
118.44/57.61	c cleaning 27011 clauses out of 54058 with flag 2175885/396001
128.97/62.83	c cleaning 27983 clauses out of 56046 with flag 2350175/425000
139.76/68.22	c cleaning 29024 clauses out of 58064 with flag 2526626/455001
150.85/73.77	c cleaning 29998 clauses out of 60041 with flag 2710160/486002
162.72/79.67	c cleaning 30992 clauses out of 62041 with flag 2900250/518000
175.50/86.05	c cleaning 32008 clauses out of 64049 with flag 3099580/551000
189.19/92.86	c cleaning 32971 clauses out of 66041 with flag 3303317/585000
203.87/100.20	c cleaning 34001 clauses out of 68070 with flag 3514471/620000
219.34/107.81	c cleaning 35006 clauses out of 70069 with flag 3729451/656000
236.09/116.57	c cleaning 35988 clauses out of 72064 with flag 3950782/693001
252.55/124.78	c cleaning 36997 clauses out of 74075 with flag 4179896/731000
253.55/125.29	c cleaning 0 clauses out of 11004 with flag 0/11004
268.61/132.79	c cleaning 38000 clauses out of 76078 with flag 4416371/770000
285.60/141.28	c cleaning 39040 clauses out of 78079 with flag 4655581/810001
303.65/150.20	c cleaning 39992 clauses out of 80039 with flag 4906445/851001
322.38/159.57	c cleaning 41000 clauses out of 82046 with flag 5160945/893000
341.87/169.26	c cleaning 42016 clauses out of 84046 with flag 5420223/936000
361.79/179.17	c cleaning 43011 clauses out of 86030 with flag 5688747/980000
382.33/189.32	c cleaning 43964 clauses out of 88021 with flag 5962743/1025002
404.65/200.45	c cleaning 45004 clauses out of 90055 with flag 6241502/1071000
427.59/211.88	c cleaning 46014 clauses out of 92052 with flag 6526211/1118001
452.31/224.01	c cleaning 47007 clauses out of 94040 with flag 6820231/1166003
475.83/235.79	c cleaning 47985 clauses out of 96030 with flag 7119166/1215000
502.00/248.79	c cleaning 49013 clauses out of 98045 with flag 7422506/1265000
529.20/262.28	c cleaning 50017 clauses out of 100033 with flag 7736040/1316001
556.53/275.85	c cleaning 51005 clauses out of 102017 with flag 8057673/1368002
586.39/290.61	c cleaning 51983 clauses out of 104010 with flag 8381019/1421000
615.92/305.97	c cleaning 52992 clauses out of 106029 with flag 8712614/1475002
645.67/320.76	c cleaning 54017 clauses out of 108036 with flag 9049267/1530001
676.80/336.25	c cleaning 54988 clauses out of 110018 with flag 9391964/1586000
709.80/352.63	c cleaning 55988 clauses out of 112031 with flag 9742521/1643001
742.91/369.14	c cleaning 57005 clauses out of 114042 with flag 10097571/1701000
776.63/385.85	c cleaning 57977 clauses out of 116037 with flag 10455180/1760000
812.15/403.46	c cleaning 58984 clauses out of 118060 with flag 10821777/1820000
849.13/421.81	c cleaning 60012 clauses out of 120078 with flag 11191686/1881002
885.76/440.06	c cleaning 61006 clauses out of 122064 with flag 11573884/1943000
924.55/459.38	c cleaning 62018 clauses out of 124058 with flag 11953116/2006000
937.63/465.87	c cleaning 0 clauses out of 18002 with flag 0/18002
964.11/479.09	c cleaning 63006 clauses out of 126040 with flag 12344052/2070000
1004.13/498.94	c cleaning 63998 clauses out of 128034 with flag 12743201/2135000
1045.85/519.61	c cleaning 64976 clauses out of 130036 with flag 13142305/2201000
1089.86/541.51	c cleaning 65976 clauses out of 132060 with flag 13549003/2268000
1132.46/562.78	c cleaning 67023 clauses out of 134084 with flag 13958316/2336000
1173.18/583.08	c cleaning 68005 clauses out of 136061 with flag 14379378/2405000
1210.98/601.92	c cleaning 68999 clauses out of 138056 with flag 14802691/2475000
1252.92/622.86	c cleaning 70022 clauses out of 140058 with flag 15233735/2546001
1294.24/643.46	c cleaning 70989 clauses out of 142035 with flag 15669921/2618000
1335.44/664.02	c cleaning 72008 clauses out of 144047 with flag 16113775/2691001
1377.04/684.85	c cleaning 73010 clauses out of 146042 with flag 16561879/2765004
1420.63/706.68	c cleaning 73977 clauses out of 148029 with flag 17020435/2840001
1464.42/728.55	c cleaning 74985 clauses out of 150051 with flag 17478304/2916000
1510.95/752.55	c cleaning 75990 clauses out of 152068 with flag 17948518/2993002
1555.53/774.85	c cleaning 77011 clauses out of 154076 with flag 18418349/3071000
1602.73/798.45	c cleaning 78005 clauses out of 156066 with flag 18902136/3150001
1651.13/822.62	c cleaning 78994 clauses out of 158060 with flag 19389533/3230000
1701.31/847.72	c cleaning 79995 clauses out of 160066 with flag 19887660/3311000
1751.51/872.89	c cleaning 81025 clauses out of 162074 with flag 20389934/3393003
1800.10/897.10	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.10/897.10	c starts		: 30556
1800.10/897.10	c conflicts		: 3472094
1800.10/897.10	c decisions		: 29185551
1800.10/897.10	c propagations		: 447091702
1800.10/897.10	c inspects		: 10318087384
1800.10/897.10	c shortcuts		: 0
1800.10/897.10	c learnt literals	: 4
1800.10/897.10	c learnt binary clauses	: 74
1800.10/897.10	c learnt ternary clauses	: 842
1800.10/897.10	c learnt constraints	: 3472090
1800.10/897.10	c ignored constraints	: 0
1800.10/897.10	c root simplifications	: 0
1800.10/897.10	c removed literals (reason simplification)	: 3051869
1800.10/897.10	c reason swapping (by a shorter reason)	: 0
1800.10/897.10	c Calls to reduceDB	: 78
1800.10/897.10	c Number of update (reduction) of LBD	: 749371
1800.10/897.10	c Imported unit clauses	: 0
1800.10/897.10	c number of reductions to clauses (during analyze)	: 0
1800.10/897.10	c number of learned constraints concerned by reduction	: 0
1800.10/897.10	c number of learning phase by resolution	: 0
1800.10/897.10	c number of learning phase by cutting planes	: 0
1800.10/897.10	c speed (assignments/second)	: 498656.86287631385
1800.10/897.10	c non guided choices	7401
1800.10/897.13	c learnt constraints type 
1800.10/897.13	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 74
1800.10/897.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 160066
1800.10/897.13	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.10/897.13	c starts		: 45
1800.10/897.13	c conflicts		: 19217
1800.10/897.13	c decisions		: 64494
1800.10/897.13	c propagations		: 2204663
1800.10/897.13	c inspects		: 578163712
1800.10/897.13	c shortcuts		: 0
1800.10/897.13	c learnt literals	: 0
1800.10/897.13	c learnt binary clauses	: 0
1800.10/897.13	c learnt ternary clauses	: 0
1800.10/897.13	c learnt constraints	: 19216
1800.10/897.13	c ignored constraints	: 0
1800.10/897.13	c root simplifications	: 0
1800.10/897.13	c removed literals (reason simplification)	: 0
1800.10/897.13	c reason swapping (by a shorter reason)	: 0
1800.10/897.13	c Calls to reduceDB	: 3
1800.10/897.13	c Number of update (reduction) of LBD	: 0
1800.10/897.13	c Imported unit clauses	: 0
1800.10/897.13	c number of reductions to clauses (during analyze)	: 0
1800.10/897.13	c number of learned constraints concerned by reduction	: 0
1800.10/897.13	c number of learning phase by resolution	: 0
1800.10/897.13	c number of learning phase by cutting planes	: 0
1800.10/897.13	c speed (assignments/second)	: 2458.8681677907066
1800.10/897.13	c non guided choices	353
1800.10/897.14	c learnt constraints type 
1800.10/897.14	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 6
1800.10/897.14	c org.sat4j.pb.constraints.pb.MaxWatchPb => 19210
1800.10/897.14	s UNKNOWN
1800.10/897.14	c Total wall clock time (in seconds): 897.018

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-4116982-1466960072/watcher-4116982-1466960072 -o /tmp/evaluation-result-4116982-1466960072/solver-4116982-1466960072 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18142 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116982-1466960072.opb 

pid=20857
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: 4.10 4.17 4.22 5/197 20860
/proc/meminfo: memFree=26673292/32872528 swapFree=1437460/1543748
[pid=20860] ppid=20857 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/20860/stat : 20860 (java) R 20857 20860 18126 0 -1 4202496 429 0 0 0 0 0 0 0 20 0 1 0 29046568 9445376 97 33554432000 1073741824 1073778376 140733706687856 140733706684984 266426478471 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20860/statm: 2290 87 65 9 0 38 0

[startup+0.10006 s]
/proc/loadavg: 4.10 4.17 4.22 5/197 20860
/proc/meminfo: memFree=26673292/32872528 swapFree=1437460/1543748
[pid=20860] ppid=20857 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/20860/stat : 20860 (java) S 20857 20860 18126 0 -1 4202496 4446 0 1 0 8 1 0 0 20 0 18 0 29046568 9787879424 5573 33554432000 1073741824 1073778376 140733706687856 140733706678992 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20860/statm: 2389619 5573 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200222 s]
/proc/loadavg: 4.10 4.17 4.22 5/197 20860
/proc/meminfo: memFree=26673292/32872528 swapFree=1437460/1543748
[pid=20860] ppid=20857 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/20860/stat : 20860 (java) S 20857 20860 18126 0 -1 4202496 4761 0 1 0 23 1 0 0 20 0 18 0 29046568 9787879424 6351 33554432000 1073741824 1073778376 140733706687856 140733706678992 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20860/statm: 2389619 6351 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300227 s]
/proc/loadavg: 4.10 4.17 4.22 5/197 20860
/proc/meminfo: memFree=26673292/32872528 swapFree=1437460/1543748
[pid=20860] ppid=20857 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/20860/stat : 20860 (java) S 20857 20860 18126 0 -1 4202496 5717 0 1 0 47 1 0 0 20 0 18 0 29046568 9787879424 8082 33554432000 1073741824 1073778376 140733706687856 140733706678992 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20860/statm: 2389619 8082 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700193 s]
/proc/loadavg: 4.10 4.17 4.22 5/197 20860
/proc/meminfo: memFree=26673292/32872528 swapFree=1437460/1543748
[pid=20860] ppid=20857 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/20860/stat : 20860 (java) S 20857 20860 18126 0 -1 4202496 15051 0 1 0 179 3 0 0 20 0 22 0 29046568 10060525568 23145 33554432000 1073741824 1073778376 140733706687856 140733706678992 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20860/statm: 2456183 23145 2266 9 0 2446860 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 4.10 4.17 4.22 8/219 20882
/proc/meminfo: memFree=26547208/32872528 swapFree=1437460/1543748
[pid=20860] ppid=20857 vsize=9824732 CPUtime=4.72 cores=0,2,4,6
/proc/20860/stat : 20860 (java) S 20857 20860 18126 0 -1 4202496 22229 0 1 0 465 7 0 0 20 0 22 0 29046568 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 140733706678992 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20860/statm: 2456183 47133 2292 9 0 2446860 0
[pid=20860/tid=20862] ppid=20857 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/20860/task/20862/stat : 20862 (java) S 20857 20860 18126 0 -1 4202560 2490 0 1 0 45 2 0 0 20 0 22 0 29046569 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778230608760 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20860/tid=20863] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20863/stat : 20863 (java) S 20857 20860 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29046570 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778169338408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20864] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20864/stat : 20864 (java) S 20857 20860 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29046570 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778168285608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20860/tid=20865] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20865/stat : 20865 (java) S 20857 20860 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29046570 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778072459560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20866] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20866/stat : 20866 (java) S 20857 20860 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29046570 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778071406760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20867] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20867/stat : 20867 (java) S 20857 20860 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29046570 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778070354984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20868] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20868/stat : 20868 (java) S 20857 20860 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29046570 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778069302184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20860/tid=20869] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20869/stat : 20869 (java) S 20857 20860 18126 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 29046570 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778068249384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20860/tid=20870] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20870/stat : 20870 (java) S 20857 20860 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29046570 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778067196584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20871] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20871/stat : 20871 (java) S 20857 20860 18126 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 29046571 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778054785512 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20872] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20872/stat : 20872 (java) S 20857 20860 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29046572 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778053731576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20873] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20873/stat : 20873 (java) S 20857 20860 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29046572 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778052678664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20874] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20874/stat : 20874 (java) S 20857 20860 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29046574 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778051627152 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20875] ppid=20857 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/20860/task/20875/stat : 20875 (java) S 20857 20860 18126 0 -1 4202560 9121 0 0 0 108 2 0 0 20 0 22 0 29046574 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778050575288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20876] ppid=20857 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/20860/task/20876/stat : 20876 (java) S 20857 20860 18126 0 -1 4202560 9143 0 0 0 110 1 0 0 20 0 22 0 29046574 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778049522488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20877] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20877/stat : 20877 (java) S 20857 20860 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29046574 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778048469880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20878] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20878/stat : 20878 (java) S 20857 20860 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29046574 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778047417288 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20879] ppid=20857 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/20860/task/20879/stat : 20879 (java) R 20857 20860 18126 0 -1 4202560 20 0 0 0 97 0 0 0 20 0 22 0 29046619 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778045995928 139778171035528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20880] ppid=20857 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/20860/task/20880/stat : 20880 (java) R 20857 20860 18126 0 -1 4202560 74 0 0 0 94 2 0 0 20 0 22 0 29046619 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778044944488 139778171073556 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=20860/tid=20881] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20881/stat : 20881 (java) S 20857 20860 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29046620 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778043892648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20882] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20882/stat : 20882 (java) S 20857 20860 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29046620 10060525568 47133 33554432000 1073741824 1073778376 140733706687856 139778042839848 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 9824732

[startup+3.10096 s]
/proc/loadavg: 4.10 4.17 4.22 6/219 20882
/proc/meminfo: memFree=26378340/32872528 swapFree=1437460/1543748
[pid=20860] ppid=20857 vsize=9824732 CPUtime=8.25 cores=0,2,4,6
/proc/20860/stat : 20860 (java) S 20857 20860 18126 0 -1 4202496 22936 0 1 0 811 14 0 0 20 0 22 0 29046568 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 140733706678992 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20860/statm: 2456183 89781 2292 9 0 2446860 0
[pid=20860/tid=20862] ppid=20857 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/20860/task/20862/stat : 20862 (java) S 20857 20860 18126 0 -1 4202560 2490 0 1 0 45 2 0 0 20 0 22 0 29046569 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778230608760 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20863] ppid=20857 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/20860/task/20863/stat : 20863 (java) S 20857 20860 18126 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 29046570 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778169338408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20860/tid=20864] ppid=20857 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/20860/task/20864/stat : 20864 (java) S 20857 20860 18126 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 29046570 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778168285608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20865] ppid=20857 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/20860/task/20865/stat : 20865 (java) S 20857 20860 18126 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 29046570 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778072459560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20866] ppid=20857 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/20860/task/20866/stat : 20866 (java) S 20857 20860 18126 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 29046570 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778071406760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20867] ppid=20857 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/20860/task/20867/stat : 20867 (java) S 20857 20860 18126 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 29046570 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778070354984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20868] ppid=20857 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/20860/task/20868/stat : 20868 (java) S 20857 20860 18126 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 29046570 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778069302184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20869] ppid=20857 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/20860/task/20869/stat : 20869 (java) S 20857 20860 18126 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 29046570 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778068249384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20860/tid=20870] ppid=20857 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/20860/task/20870/stat : 20870 (java) S 20857 20860 18126 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 29046570 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778067196584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20871] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20871/stat : 20871 (java) S 20857 20860 18126 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 29046571 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778054785512 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20872] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20872/stat : 20872 (java) S 20857 20860 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29046572 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778053731576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20873] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20873/stat : 20873 (java) S 20857 20860 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29046572 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778052678664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20874] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20874/stat : 20874 (java) S 20857 20860 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29046574 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778051627152 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20875] ppid=20857 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/20860/task/20875/stat : 20875 (java) S 20857 20860 18126 0 -1 4202560 9543 0 0 0 128 2 0 0 20 0 22 0 29046574 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778050575288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20876] ppid=20857 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/20860/task/20876/stat : 20876 (java) S 20857 20860 18126 0 -1 4202560 9145 0 0 0 113 2 0 0 20 0 22 0 29046574 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778049522488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20877] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20877/stat : 20877 (java) S 20857 20860 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29046574 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778048469880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20878] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20878/stat : 20878 (java) S 20857 20860 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29046574 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778047417288 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20879] ppid=20857 vsize=9824732 CPUtime=2.5 cores=0,2,4,6
/proc/20860/task/20879/stat : 20879 (java) R 20857 20860 18126 0 -1 4202560 21 0 0 0 250 0 0 0 20 0 22 0 29046619 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778045995776 139778171104725 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20880] ppid=20857 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/20860/task/20880/stat : 20880 (java) R 20857 20860 18126 0 -1 4202560 134 0 0 0 245 3 0 0 20 0 22 0 29046619 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778044943392 139778171069266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20881] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20881/stat : 20881 (java) S 20857 20860 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29046620 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778043892648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20882] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20882/stat : 20882 (java) S 20857 20860 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29046620 10060525568 89781 33554432000 1073741824 1073778376 140733706687856 139778042839848 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.25
Current children cumulated vsize (KiB) 9824732

[startup+6.30102 s]
/proc/loadavg: 4.09 4.17 4.22 5/219 20882
/proc/meminfo: memFree=26066996/32872528 swapFree=1437460/1543748
[pid=20860] ppid=20857 vsize=9824732 CPUtime=14.81 cores=0,2,4,6
/proc/20860/stat : 20860 (java) S 20857 20860 18126 0 -1 4202496 23436 0 1 0 1457 24 0 0 20 0 22 0 29046568 10060525568 160955 33554432000 1073741824 1073778376 140733706687856 140733706678992 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20860/statm: 2456183 160955 2292 9 0 2446860 0
[pid=20860/tid=20862] ppid=20857 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/20860/task/20862/stat : 20862 (java) S 20857 20860 18126 0 -1 4202560 2490 0 1 0 45 2 0 0 20 0 22 0 29046569 10060525568 160955 33554432000 1073741824 1073778376 140733706687856 139778230608760 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20863] ppid=20857 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/20860/task/20863/stat : 20863 (java) S 20857 20860 18126 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 22 0 29046570 10060525568 160955 33554432000 1073741824 1073778376 140733706687856 139778169338408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20864] ppid=20857 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/20860/task/20864/stat : 20864 (java) S 20857 20860 18126 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 22 0 29046570 10060525568 160955 33554432000 1073741824 1073778376 140733706687856 139778168285608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20865] ppid=20857 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/20860/task/20865/stat : 20865 (java) S 20857 20860 18126 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 22 0 29046570 10060525568 160955 33554432000 1073741824 1073778376 140733706687856 139778072459560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20866] ppid=20857 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/20860/task/20866/stat : 20866 (java) S 20857 20860 18126 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 22 0 29046570 10060525568 160955 33554432000 1073741824 1073778376 140733706687856 139778071406760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20867] ppid=20857 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/20860/task/20867/stat : 20867 (java) S 20857 20860 18126 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 22 0 29046570 10060525568 160955 33554432000 1073741824 1073778376 140733706687856 139778070354984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20868] ppid=20857 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/20860/task/20868/stat : 20868 (java) S 20857 20860 18126 0 -1 4202560 36 0 0 0 5 1 0 0 20 0 22 0 29046570 10060525568 160955 33554432000 1073741824 1073778376 140733706687856 139778069302184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20869] ppid=20857 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/20860/task/20869/stat : 20869 (java) S 20857 20860 18126 0 -1 4202560 32 0 0 0 4 1 0 0 20 0 22 0 29046570 10060525568 160955 33554432000 1073741824 1073778376 140733706687856 139778068249384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20860/tid=20870] ppid=20857 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/20860/task/20870/stat : 20870 (java) S 20857 20860 18126 0 -1 4202560 36 0 0 0 5 2 0 0 20 0 22 0 29046570 10060525568 160955 33554432000 1073741824 1073778376 140733706687856 139778067196584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20871] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20871/stat : 20871 (java) S 20857 20860 18126 0 -1 4202560 462 0 0 0 0 0 0 0 20 0 22 0 29046571 10060525568 160955 33554432000 1073741824 1073778376 140733706687856 139778054785512 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20872] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20872/stat : 20872 (java) S 20857 20860 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29046572 10060525568 160955 33554432000 1073741824 1073778376 140733706687856 139778053731576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20873] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20873/stat : 20873 (java) S 20857 20860 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29046572 10060525568 160955 33554432000 1073741824 1073778376 140733706687856 139778052678664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20874] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20874/stat : 20874 (java) S 20857 20860 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29046574 10060525568 160955 33554432000 1073741824 1073778376 140733706687856 139778051627152 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20875] ppid=20857 vsize=9824732 CPUtime=1.3 cores=0,2,4,6

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


[startup+882.308 s]
/proc/loadavg: 4.31 4.26 4.24 5/219 20994
/proc/meminfo: memFree=23150080/32872528 swapFree=1437460/1543748
[pid=20860] ppid=20857 vsize=9824732 CPUtime=1770.52 cores=0,2,4,6
/proc/20860/stat : 20860 (java) S 20857 20860 18126 0 -1 4202496 32706 0 1 0 176878 174 0 0 20 0 22 0 29046568 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 140733706678992 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20860/statm: 2456183 901250 2301 9 0 2446860 0
[pid=20860/tid=20862] ppid=20857 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/20860/task/20862/stat : 20862 (java) S 20857 20860 18126 0 -1 4202560 2500 0 1 0 48 3 0 0 20 0 22 0 29046569 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778230608760 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20863] ppid=20857 vsize=9824732 CPUtime=2.07 cores=0,2,4,6
/proc/20860/task/20863/stat : 20863 (java) S 20857 20860 18126 0 -1 4202560 553 0 0 0 191 16 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778169338408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20864] ppid=20857 vsize=9824732 CPUtime=1.91 cores=0,2,4,6
/proc/20860/task/20864/stat : 20864 (java) S 20857 20860 18126 0 -1 4202560 635 0 0 0 179 12 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778168285608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20865] ppid=20857 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/20860/task/20865/stat : 20865 (java) S 20857 20860 18126 0 -1 4202560 697 0 0 0 187 12 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778072459560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20866] ppid=20857 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/20860/task/20866/stat : 20866 (java) S 20857 20860 18126 0 -1 4202560 478 0 0 0 180 12 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778071406760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20860/tid=20867] ppid=20857 vsize=9824732 CPUtime=2.3 cores=0,2,4,6
/proc/20860/task/20867/stat : 20867 (java) S 20857 20860 18126 0 -1 4202560 858 0 0 0 213 17 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778070354984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20868] ppid=20857 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/20860/task/20868/stat : 20868 (java) S 20857 20860 18126 0 -1 4202560 474 0 0 0 169 13 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778069302184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20869] ppid=20857 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/20860/task/20869/stat : 20869 (java) S 20857 20860 18126 0 -1 4202560 586 0 0 0 160 14 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778068249384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20870] ppid=20857 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/20860/task/20870/stat : 20870 (java) S 20857 20860 18126 0 -1 4202560 662 0 0 0 203 16 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778067196584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20860/tid=20871] ppid=20857 vsize=9824732 CPUtime=3.67 cores=0,2,4,6
/proc/20860/task/20871/stat : 20871 (java) S 20857 20860 18126 0 -1 4202560 2659 0 0 0 361 6 0 0 20 0 22 0 29046571 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778054785512 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20872] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20872/stat : 20872 (java) S 20857 20860 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29046572 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778053731576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20873] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20873/stat : 20873 (java) S 20857 20860 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29046572 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778052678664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20874] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20874/stat : 20874 (java) S 20857 20860 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29046574 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778051627152 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20875] ppid=20857 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/20860/task/20875/stat : 20875 (java) S 20857 20860 18126 0 -1 4202560 9544 0 0 0 130 2 0 0 20 0 22 0 29046574 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778050575288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20876] ppid=20857 vsize=9824732 CPUtime=1.54 cores=0,2,4,6
/proc/20860/task/20876/stat : 20876 (java) S 20857 20860 18126 0 -1 4202560 9973 0 0 0 152 2 0 0 20 0 22 0 29046574 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778049522488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20877] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20877/stat : 20877 (java) S 20857 20860 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29046574 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778048469880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20878] ppid=20857 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/20860/task/20878/stat : 20878 (java) S 20857 20860 18126 0 -1 4202560 51 0 0 0 17 17 0 0 20 0 22 0 29046574 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778047417288 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20879] ppid=20857 vsize=9824732 CPUtime=873.75 cores=0,2,4,6
/proc/20860/task/20879/stat : 20879 (java) R 20857 20860 18126 0 -1 4202560 49 0 0 0 87362 13 0 0 20 0 22 0 29046619 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778045988976 139778171096732 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20880] ppid=20857 vsize=9824732 CPUtime=873.68 cores=0,2,4,6
/proc/20860/task/20880/stat : 20880 (java) R 20857 20860 18126 0 -1 4202560 1722 0 0 0 87315 53 0 0 20 0 22 0 29046619 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778044943000 139778171165053 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20881] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20881/stat : 20881 (java) S 20857 20860 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29046620 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778043892648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20882] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20882/stat : 20882 (java) S 20857 20860 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29046620 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778042839848 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1770.52
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+897.101 s]
/proc/loadavg: 4.24 4.25 4.24 11/219 20994
/proc/meminfo: memFree=23133204/32872528 swapFree=1437460/1543748
[pid=20860] ppid=20857 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/20860/stat : 20860 (java) S 20857 20860 18126 0 -1 4202496 32706 0 1 0 179836 174 0 0 20 0 22 0 29046568 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 140733706678992 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20860/statm: 2456183 901250 2301 9 0 2446860 0
[pid=20860/tid=20862] ppid=20857 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/20860/task/20862/stat : 20862 (java) S 20857 20860 18126 0 -1 4202560 2500 0 1 0 48 3 0 0 20 0 22 0 29046569 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778230608760 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20863] ppid=20857 vsize=9824732 CPUtime=2.07 cores=0,2,4,6
/proc/20860/task/20863/stat : 20863 (java) S 20857 20860 18126 0 -1 4202560 553 0 0 0 191 16 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778169338408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20864] ppid=20857 vsize=9824732 CPUtime=1.91 cores=0,2,4,6
/proc/20860/task/20864/stat : 20864 (java) S 20857 20860 18126 0 -1 4202560 635 0 0 0 179 12 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778168285608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20865] ppid=20857 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/20860/task/20865/stat : 20865 (java) S 20857 20860 18126 0 -1 4202560 697 0 0 0 187 12 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778072459560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20866] ppid=20857 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/20860/task/20866/stat : 20866 (java) S 20857 20860 18126 0 -1 4202560 478 0 0 0 180 12 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778071406760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20860/tid=20867] ppid=20857 vsize=9824732 CPUtime=2.3 cores=0,2,4,6
/proc/20860/task/20867/stat : 20867 (java) S 20857 20860 18126 0 -1 4202560 858 0 0 0 213 17 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778070354984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20868] ppid=20857 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/20860/task/20868/stat : 20868 (java) S 20857 20860 18126 0 -1 4202560 474 0 0 0 169 13 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778069302184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20869] ppid=20857 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/20860/task/20869/stat : 20869 (java) S 20857 20860 18126 0 -1 4202560 586 0 0 0 160 14 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778068249384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20870] ppid=20857 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/20860/task/20870/stat : 20870 (java) S 20857 20860 18126 0 -1 4202560 662 0 0 0 203 16 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778067196584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20860/tid=20871] ppid=20857 vsize=9824732 CPUtime=3.67 cores=0,2,4,6
/proc/20860/task/20871/stat : 20871 (java) S 20857 20860 18126 0 -1 4202560 2659 0 0 0 361 6 0 0 20 0 22 0 29046571 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778054785512 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20872] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20872/stat : 20872 (java) S 20857 20860 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29046572 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778053731576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20873] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20873/stat : 20873 (java) S 20857 20860 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29046572 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778052678664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20874] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20874/stat : 20874 (java) S 20857 20860 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29046574 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778051627152 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20875] ppid=20857 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/20860/task/20875/stat : 20875 (java) S 20857 20860 18126 0 -1 4202560 9544 0 0 0 130 2 0 0 20 0 22 0 29046574 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778050575288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20876] ppid=20857 vsize=9824732 CPUtime=1.54 cores=0,2,4,6
/proc/20860/task/20876/stat : 20876 (java) S 20857 20860 18126 0 -1 4202560 9973 0 0 0 152 2 0 0 20 0 22 0 29046574 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778049522488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20877] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20877/stat : 20877 (java) S 20857 20860 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29046574 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778048469880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20878] ppid=20857 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/20860/task/20878/stat : 20878 (java) S 20857 20860 18126 0 -1 4202560 51 0 0 0 17 17 0 0 20 0 22 0 29046574 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778047417288 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20879] ppid=20857 vsize=9824732 CPUtime=888.54 cores=0,2,4,6
/proc/20860/task/20879/stat : 20879 (java) R 20857 20860 18126 0 -1 4202560 49 0 0 0 88841 13 0 0 20 0 22 0 29046619 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778045988976 139778171096751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20880] ppid=20857 vsize=9824732 CPUtime=888.48 cores=0,2,4,6
/proc/20860/task/20880/stat : 20880 (java) R 20857 20860 18126 0 -1 4202560 1722 0 0 0 88795 53 0 0 20 0 22 0 29046619 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778044943000 139778171165075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20881] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20881/stat : 20881 (java) S 20857 20860 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29046620 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778043892648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20882] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20882/stat : 20882 (java) S 20857 20860 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29046620 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778042839848 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824732

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 20860 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+897.101 s]
/proc/loadavg: 4.24 4.25 4.24 11/219 20994
/proc/meminfo: memFree=23133204/32872528 swapFree=1437460/1543748
[pid=20860] ppid=20857 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/20860/stat : 20860 (java) S 20857 20860 18126 0 -1 4202496 32706 0 1 0 179836 174 0 0 20 0 22 0 29046568 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 140733706678992 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20860/statm: 2456183 901250 2301 9 0 2446860 0
[pid=20860/tid=20862] ppid=20857 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/20860/task/20862/stat : 20862 (java) S 20857 20860 18126 0 -1 4202560 2500 0 1 0 48 3 0 0 20 0 22 0 29046569 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778230608760 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20863] ppid=20857 vsize=9824732 CPUtime=2.07 cores=0,2,4,6
/proc/20860/task/20863/stat : 20863 (java) S 20857 20860 18126 0 -1 4202560 553 0 0 0 191 16 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778169338408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20864] ppid=20857 vsize=9824732 CPUtime=1.91 cores=0,2,4,6
/proc/20860/task/20864/stat : 20864 (java) S 20857 20860 18126 0 -1 4202560 635 0 0 0 179 12 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778168285608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20865] ppid=20857 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/20860/task/20865/stat : 20865 (java) S 20857 20860 18126 0 -1 4202560 697 0 0 0 187 12 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778072459560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20866] ppid=20857 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/20860/task/20866/stat : 20866 (java) S 20857 20860 18126 0 -1 4202560 478 0 0 0 180 12 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778071406760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20860/tid=20867] ppid=20857 vsize=9824732 CPUtime=2.3 cores=0,2,4,6
/proc/20860/task/20867/stat : 20867 (java) S 20857 20860 18126 0 -1 4202560 858 0 0 0 213 17 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778070354984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20868] ppid=20857 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/20860/task/20868/stat : 20868 (java) S 20857 20860 18126 0 -1 4202560 474 0 0 0 169 13 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778069302184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20869] ppid=20857 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/20860/task/20869/stat : 20869 (java) S 20857 20860 18126 0 -1 4202560 586 0 0 0 160 14 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778068249384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20870] ppid=20857 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/20860/task/20870/stat : 20870 (java) S 20857 20860 18126 0 -1 4202560 662 0 0 0 203 16 0 0 20 0 22 0 29046570 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778067196584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20860/tid=20871] ppid=20857 vsize=9824732 CPUtime=3.67 cores=0,2,4,6
/proc/20860/task/20871/stat : 20871 (java) S 20857 20860 18126 0 -1 4202560 2659 0 0 0 361 6 0 0 20 0 22 0 29046571 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778054785512 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20872] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20872/stat : 20872 (java) S 20857 20860 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29046572 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778053731576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20873] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20873/stat : 20873 (java) S 20857 20860 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29046572 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778052678664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20874] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20874/stat : 20874 (java) S 20857 20860 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29046574 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778051627152 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20875] ppid=20857 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/20860/task/20875/stat : 20875 (java) S 20857 20860 18126 0 -1 4202560 9544 0 0 0 130 2 0 0 20 0 22 0 29046574 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778050575288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20876] ppid=20857 vsize=9824732 CPUtime=1.54 cores=0,2,4,6
/proc/20860/task/20876/stat : 20876 (java) S 20857 20860 18126 0 -1 4202560 9973 0 0 0 152 2 0 0 20 0 22 0 29046574 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778049522488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20877] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20877/stat : 20877 (java) S 20857 20860 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29046574 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778048469880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20878] ppid=20857 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/20860/task/20878/stat : 20878 (java) S 20857 20860 18126 0 -1 4202560 51 0 0 0 17 17 0 0 20 0 22 0 29046574 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778047417288 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20860/tid=20879] ppid=20857 vsize=9824732 CPUtime=888.54 cores=0,2,4,6
/proc/20860/task/20879/stat : 20879 (java) R 20857 20860 18126 0 -1 4202560 49 0 0 0 88841 13 0 0 20 0 22 0 29046619 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778045988976 139778171096751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20880] ppid=20857 vsize=9824732 CPUtime=888.48 cores=0,2,4,6
/proc/20860/task/20880/stat : 20880 (java) R 20857 20860 18126 0 -1 4202560 1722 0 0 0 88795 53 0 0 20 0 22 0 29046619 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778044943000 139778171165075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20860/tid=20881] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20881/stat : 20881 (java) S 20857 20860 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29046620 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778043892648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20860/tid=20882] ppid=20857 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20860/task/20882/stat : 20882 (java) S 20857 20860 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29046620 10060525568 901250 33554432000 1073741824 1073778376 140733706687856 139778042839848 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 897.166
CPU time (s): 1800.78
CPU user time (s): 1798.52
CPU system time (s): 2.26266
CPU usage (%): 200.719
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.52
system time used= 2.26266
maximum resident set size= 3605116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32742
page faults= 1
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23156
involuntary context switches= 21202

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9161 second user time and 7.36188 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-26 18:54:32
IDJOB=4116982
IDBENCH=109538
IDSOLVER=2543
FILE ID=node116/4116982-1466960072
RUNJOBID= node116-1466946428-18142
PBS_JOBID= 19976367
Free space on /tmp= 71680 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-8.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116982-1466960072/watcher-4116982-1466960072 -o /tmp/evaluation-result-4116982-1466960072/solver-4116982-1466960072 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18142 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4116982-1466960072.opb

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

MD5SUM BENCH= 64fa8a1431c520e4dd0067505386153e
RANDOM SEED=185546900

node116.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.206
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	: 5332.41
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.206
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		: 2666.206
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.56
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.206
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.206
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.206
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.206
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.206
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:        26673672 kB
Buffers:           23468 kB
Cached:           305392 kB
SwapCached:         2076 kB
Active:          3633300 kB
Inactive:         304816 kB
Active(anon):    3609844 kB
Inactive(anon):     1656 kB
Active(file):      23456 kB
Inactive(file):   303160 kB
Unevictable:     1543748 kB
Mlocked:         1437460 kB
SwapTotal:      67108856 kB
SwapFree:       67098676 kB
Dirty:               872 kB
Writeback:             0 kB
AnonPages:       5123228 kB
Mapped:            15424 kB
Shmem:                 0 kB
Slab:             565356 kB
SReclaimable:       9372 kB
SUnreclaim:       555984 kB
KernelStack:        1808 kB
PageTables:        14476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5675204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3620864 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= 71680 MiB
End job on node116 at 2016-06-26 19:09:30