Trace number 4117126

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.88 895.168

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round21-6.opb
MD5SUM7765f6d31497d47a350f27e7c2e46727
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark48.3576
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3968
Total number of constraints7920
Number of constraints which are clauses6656
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints832
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-4117126-1466950394.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
0.71/0.47	c ... done. Wall clock time 0.354s.
0.71/0.47	c declared #vars     3968
0.71/0.47	c #constraints  9184
0.71/0.48	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.71/0.48	c constraints type 
0.71/0.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5958
0.71/0.48	c org.sat4j.specs.Constr$1 => 920
0.71/0.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.71/0.48	c org.sat4j.minisat.constraints.cnf.UnitClause => 520
0.71/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1658
0.71/0.48	c 9184 constraints processed.
0.71/0.48	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.71/0.48	c constraints type 
0.71/0.48	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
0.71/0.48	c org.sat4j.specs.Constr$1 => 920
0.71/0.48	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5958
0.71/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1658
0.71/0.48	c org.sat4j.pb.constraints.pb.UnitClausePB => 520
0.71/0.48	c 9184 constraints processed.
4.17/1.44	c cleaning 2495 clauses out of 4998 with flag 15503/5000
5.58/2.07	c cleaning 4249 clauses out of 8503 with flag 39061/11000
7.70/2.87	c cleaning 5617 clauses out of 11255 with flag 68620/18001
9.93/3.80	c cleaning 6807 clauses out of 13640 with flag 105882/26003
11.99/4.83	c cleaning 7908 clauses out of 15830 with flag 149758/35000
14.47/6.02	c cleaning 8951 clauses out of 17922 with flag 198794/45000
17.45/7.41	c cleaning 9968 clauses out of 19970 with flag 256375/56000
20.46/8.91	c cleaning 10995 clauses out of 22002 with flag 322636/68000
23.73/10.57	c cleaning 11993 clauses out of 24008 with flag 394664/81001
27.53/12.43	c cleaning 12978 clauses out of 26014 with flag 474443/95000
31.82/14.56	c cleaning 13973 clauses out of 28036 with flag 562613/110000
36.42/16.85	c cleaning 14992 clauses out of 30063 with flag 655440/126000
41.34/19.29	c cleaning 16014 clauses out of 32071 with flag 755128/143000
45.13/21.15	c cleaning 0 clauses out of 5000 with flag 0/5000
47.02/22.04	c cleaning 17002 clauses out of 34057 with flag 862131/161000
53.35/25.00	c cleaning 18008 clauses out of 36055 with flag 978444/180000
59.35/28.01	c cleaning 19024 clauses out of 38048 with flag 1102137/200001
65.95/31.32	c cleaning 20005 clauses out of 40023 with flag 1233781/221000
73.27/34.92	c cleaning 21000 clauses out of 42018 with flag 1368035/243000
80.87/38.77	c cleaning 21990 clauses out of 44021 with flag 1512227/266003
89.39/42.93	c cleaning 22982 clauses out of 46028 with flag 1663360/290000
98.18/47.34	c cleaning 23974 clauses out of 48046 with flag 1820514/315000
107.43/51.98	c cleaning 25016 clauses out of 50074 with flag 1984829/341002
117.55/56.98	c cleaning 26004 clauses out of 52057 with flag 2154076/368001
127.96/62.19	c cleaning 27013 clauses out of 54052 with flag 2332002/396000
139.04/67.65	c cleaning 27996 clauses out of 56040 with flag 2518400/425001
151.32/73.71	c cleaning 28987 clauses out of 58043 with flag 2710681/455000
163.70/79.93	c cleaning 30006 clauses out of 60056 with flag 2912480/486000
176.77/86.45	c cleaning 31013 clauses out of 62050 with flag 3122748/518000
190.44/93.20	c cleaning 32008 clauses out of 64038 with flag 3336177/551001
205.11/100.57	c cleaning 33015 clauses out of 66030 with flag 3556278/585001
221.07/108.84	c cleaning 34001 clauses out of 68015 with flag 3784708/620001
236.70/116.62	c cleaning 35007 clauses out of 70014 with flag 4018562/656001
252.96/124.79	c cleaning 35998 clauses out of 72006 with flag 4259432/693000
270.43/133.48	c cleaning 37000 clauses out of 74008 with flag 4509299/731000
288.50/142.47	c cleaning 37977 clauses out of 76009 with flag 4764865/770001
307.19/151.76	c cleaning 38989 clauses out of 78032 with flag 5023620/810001
326.89/161.58	c cleaning 40013 clauses out of 80044 with flag 5290666/851002
345.41/170.76	c cleaning 0 clauses out of 11001 with flag 0/11001
347.61/171.85	c cleaning 40997 clauses out of 82029 with flag 5566395/893000
369.79/182.85	c cleaning 41989 clauses out of 84033 with flag 5846590/936001
392.50/194.17	c cleaning 43011 clauses out of 86044 with flag 6134051/980001
415.85/205.78	c cleaning 44011 clauses out of 88032 with flag 6430681/1025000
440.57/218.00	c cleaning 44985 clauses out of 90022 with flag 6731925/1071001
465.71/230.55	c cleaning 45985 clauses out of 92037 with flag 7038590/1118001
491.43/243.37	c cleaning 46994 clauses out of 94051 with flag 7360257/1166000
518.35/256.72	c cleaning 47999 clauses out of 96057 with flag 7680943/1215000
546.39/270.70	c cleaning 49000 clauses out of 98058 with flag 8009270/1265000
576.46/286.23	c cleaning 50015 clauses out of 100058 with flag 8345341/1316000
606.59/301.21	c cleaning 51000 clauses out of 102043 with flag 8691497/1368000
637.71/316.72	c cleaning 52010 clauses out of 104043 with flag 9042799/1421000
670.14/332.86	c cleaning 52976 clauses out of 106033 with flag 9398468/1475000
703.77/349.56	c cleaning 54004 clauses out of 108059 with flag 9763361/1530002
738.21/366.61	c cleaning 55003 clauses out of 110053 with flag 10138350/1586000
773.63/384.23	c cleaning 56014 clauses out of 112050 with flag 10515924/1643000
810.51/402.51	c cleaning 56989 clauses out of 114037 with flag 10899554/1701001
845.68/420.07	c cleaning 57988 clauses out of 116047 with flag 11290429/1760000
883.38/438.74	c cleaning 59024 clauses out of 118060 with flag 11692306/1820001
924.48/459.12	c cleaning 60010 clauses out of 120035 with flag 12096795/1881000
966.24/479.80	c cleaning 60997 clauses out of 122025 with flag 12509506/1943000
1009.11/501.11	c cleaning 62007 clauses out of 124028 with flag 12927214/2006000
1054.15/524.32	c cleaning 62999 clauses out of 126022 with flag 13349041/2070001
1099.18/546.72	c cleaning 64005 clauses out of 128022 with flag 13781191/2135000
1146.03/570.05	c cleaning 65004 clauses out of 130017 with flag 14220160/2201000
1193.22/593.53	c cleaning 65995 clauses out of 132015 with flag 14666950/2268002
1242.11/617.89	c cleaning 66994 clauses out of 134019 with flag 15116084/2336001
1293.68/643.44	c cleaning 67984 clauses out of 136024 with flag 15574091/2405000
1297.48/645.35	c cleaning 0 clauses out of 18002 with flag 0/18002
1346.85/669.81	c cleaning 68988 clauses out of 138040 with flag 16037385/2475000
1401.24/696.86	c cleaning 69988 clauses out of 140052 with flag 16506014/2546000
1456.84/724.49	c cleaning 71023 clauses out of 142064 with flag 16977319/2618000
1513.17/752.45	c cleaning 71992 clauses out of 144041 with flag 17455588/2691000
1571.40/781.44	c cleaning 73001 clauses out of 146049 with flag 17946686/2765000
1631.87/811.50	c cleaning 73996 clauses out of 148048 with flag 18436617/2840000
1693.66/842.20	c cleaning 75002 clauses out of 150053 with flag 18937301/2916001
1756.06/873.26	c cleaning 75998 clauses out of 152051 with flag 19442458/2993001
1800.03/895.10	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.03/895.10	c starts		: 30156
1800.03/895.10	c conflicts		: 3050825
1800.03/895.10	c decisions		: 27889520
1800.03/895.10	c propagations		: 417600725
1800.03/895.10	c inspects		: 9383550811
1800.03/895.10	c shortcuts		: 0
1800.03/895.10	c learnt literals	: 3
1800.03/895.10	c learnt binary clauses	: 78
1800.03/895.10	c learnt ternary clauses	: 818
1800.03/895.10	c learnt constraints	: 3050822
1800.03/895.10	c ignored constraints	: 0
1800.03/895.10	c root simplifications	: 0
1800.03/895.10	c removed literals (reason simplification)	: 2922863
1800.03/895.10	c reason swapping (by a shorter reason)	: 0
1800.03/895.10	c Calls to reduceDB	: 73
1800.03/895.10	c Number of update (reduction) of LBD	: 658810
1800.03/895.10	c Imported unit clauses	: 0
1800.03/895.10	c number of reductions to clauses (during analyze)	: 0
1800.03/895.10	c number of learned constraints concerned by reduction	: 0
1800.03/895.10	c number of learning phase by resolution	: 0
1800.03/895.10	c number of learning phase by cutting planes	: 0
1800.03/895.10	c speed (assignments/second)	: 466797.9626808196
1800.03/895.10	c non guided choices	4451
1800.03/895.13	c learnt constraints type 
1800.03/895.13	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 78
1800.03/895.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 133799
1800.03/895.13	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.03/895.13	c starts		: 46
1800.03/895.13	c conflicts		: 20898
1800.03/895.13	c decisions		: 67725
1800.03/895.13	c propagations		: 2485977
1800.03/895.13	c inspects		: 836937954
1800.03/895.13	c shortcuts		: 0
1800.03/895.13	c learnt literals	: 0
1800.03/895.13	c learnt binary clauses	: 0
1800.03/895.13	c learnt ternary clauses	: 0
1800.03/895.13	c learnt constraints	: 20898
1800.03/895.13	c ignored constraints	: 0
1800.03/895.13	c root simplifications	: 0
1800.03/895.13	c removed literals (reason simplification)	: 0
1800.03/895.13	c reason swapping (by a shorter reason)	: 0
1800.03/895.13	c Calls to reduceDB	: 3
1800.03/895.13	c Number of update (reduction) of LBD	: 0
1800.03/895.13	c Imported unit clauses	: 0
1800.03/895.13	c number of reductions to clauses (during analyze)	: 0
1800.03/895.13	c number of learned constraints concerned by reduction	: 0
1800.03/895.13	c number of learning phase by resolution	: 0
1800.03/895.13	c number of learning phase by cutting planes	: 0
1800.03/895.13	c speed (assignments/second)	: 2778.8357174235507
1800.03/895.13	c non guided choices	294
1800.03/895.14	c learnt constraints type 
1800.03/895.14	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 6
1800.03/895.14	c org.sat4j.pb.constraints.pb.MaxWatchPb => 20892
1800.03/895.14	s UNKNOWN
1800.03/895.14	c Total wall clock time (in seconds): 895.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-4117126-1466950394/watcher-4117126-1466950394 -o /tmp/evaluation-result-4117126-1466950394/solver-4117126-1466950394 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18143 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4117126-1466950394.opb 

pid=19131
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: 4.28 4.26 4.19 5/197 19134
/proc/meminfo: memFree=27196752/32872528 swapFree=1437460/1543748
[pid=19134] ppid=19131 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/19134/stat : 19134 (java) R 19131 19134 18126 0 -1 4202496 467 0 0 0 0 0 0 0 20 0 1 0 28078745 9379840 123 33554432000 1073741824 1073778376 140736678112672 140736678109800 266439004640 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19134/statm: 2372 131 100 9 0 120 0

[startup+0.100058 s]
/proc/loadavg: 4.28 4.26 4.19 5/197 19134
/proc/meminfo: memFree=27196752/32872528 swapFree=1437460/1543748
[pid=19134] ppid=19131 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 18126 0 -1 4202496 4399 0 1 0 8 1 0 0 20 0 18 0 28078745 9787879424 6036 33554432000 1073741824 1073778376 140736678112672 140736678103808 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19134/statm: 2389619 6036 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200218 s]
/proc/loadavg: 4.28 4.26 4.19 5/197 19134
/proc/meminfo: memFree=27196752/32872528 swapFree=1437460/1543748
[pid=19134] ppid=19131 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 18126 0 -1 4202496 4677 0 1 0 22 1 0 0 20 0 18 0 28078745 9787879424 6777 33554432000 1073741824 1073778376 140736678112672 140736678103808 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19134/statm: 2389619 6778 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300235 s]
/proc/loadavg: 4.28 4.26 4.19 5/197 19134
/proc/meminfo: memFree=27196752/32872528 swapFree=1437460/1543748
[pid=19134] ppid=19131 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 18126 0 -1 4202496 5764 0 1 0 46 1 0 0 20 0 18 0 28078745 9787879424 8494 33554432000 1073741824 1073778376 140736678112672 140736678103808 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19134/statm: 2389619 8494 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700188 s]
/proc/loadavg: 4.28 4.26 4.19 5/197 19134
/proc/meminfo: memFree=27196752/32872528 swapFree=1437460/1543748
[pid=19134] ppid=19131 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 18126 0 -1 4202496 15458 0 1 0 156 4 0 0 20 0 22 0 28078745 10060525568 23399 33554432000 1073741824 1073778376 140736678112672 140736678103808 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19134/statm: 2456183 23399 2264 9 0 2446860 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 9824732

[startup+1.50087 s]
/proc/loadavg: 4.28 4.26 4.19 8/219 19156
/proc/meminfo: memFree=27069876/32872528 swapFree=1437460/1543748
[pid=19134] ppid=19131 vsize=9824732 CPUtime=4.43 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 18126 0 -1 4202496 20445 0 1 0 436 7 0 0 20 0 22 0 28078745 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140736678103808 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19134/statm: 2456183 47249 2292 9 0 2446860 0
[pid=19134/tid=19136] ppid=19131 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (java) S 19131 19134 18126 0 -1 4202560 2435 0 1 0 43 1 0 0 20 0 22 0 28078746 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140625581577080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19137] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (java) S 19131 19134 18126 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 28078748 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140625554028840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19138] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19138/stat : 19138 (java) S 19131 19134 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28078748 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140625552976040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19139] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19139/stat : 19139 (java) S 19131 19134 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28078748 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140625551923752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19140] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19140/stat : 19140 (java) S 19131 19134 18126 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 28078748 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140625422363048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19141] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19141/stat : 19141 (java) S 19131 19134 18126 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28078748 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140625421310760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19142] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19142/stat : 19142 (java) S 19131 19134 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28078748 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140625420257960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19143] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19143/stat : 19143 (java) S 19131 19134 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28078748 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140625419205672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19144] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19144/stat : 19144 (java) S 19131 19134 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28078748 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140625418152872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19145] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19145/stat : 19145 (java) S 19131 19134 18126 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 28078749 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140624935639272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19146] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19146/stat : 19146 (java) S 19131 19134 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28078749 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140624934585336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19147] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19147/stat : 19147 (java) S 19131 19134 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28078749 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140624933532936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19148] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19148/stat : 19148 (java) S 19131 19134 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28078752 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140624932481424 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19149] ppid=19131 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/19134/task/19149/stat : 19149 (java) R 19131 19134 18126 0 -1 4202560 9627 0 0 0 100 2 0 0 20 0 22 0 28078752 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140624931429048 140625588938288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19150] ppid=19131 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/19134/task/19150/stat : 19150 (java) S 19131 19134 18126 0 -1 4202560 6976 0 0 0 104 2 0 0 20 0 22 0 28078752 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140624930376248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19151] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19151/stat : 19151 (java) S 19131 19134 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28078752 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140624929324152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19152] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19152/stat : 19152 (java) S 19131 19134 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28078752 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140624928271560 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19153] ppid=19131 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/19134/task/19153/stat : 19153 (java) R 19131 19134 18126 0 -1 4202560 18 0 0 0 91 0 0 0 20 0 22 0 28078794 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140624926838560 140625434055664 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19154] ppid=19131 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/19134/task/19154/stat : 19154 (java) R 19131 19134 18126 0 -1 4202560 70 0 0 0 87 2 0 0 20 0 22 0 28078794 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140624925794328 140625434145354 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19155] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19155/stat : 19155 (java) S 19131 19134 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28078795 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140624924742824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19156] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19156/stat : 19156 (java) S 19131 19134 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28078796 10060525568 47249 33554432000 1073741824 1073778376 140736678112672 140624923690024 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 9824732

[startup+3.101 s]
/proc/loadavg: 4.28 4.26 4.19 6/219 19156
/proc/meminfo: memFree=26994908/32872528 swapFree=1437460/1543748
[pid=19134] ppid=19131 vsize=9824732 CPUtime=8.32 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 18126 0 -1 4202496 23619 0 1 0 818 14 0 0 20 0 22 0 28078745 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140736678103808 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19134/statm: 2456183 86891 2292 9 0 2446860 0
[pid=19134/tid=19136] ppid=19131 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (java) S 19131 19134 18126 0 -1 4202560 2435 0 1 0 43 1 0 0 20 0 22 0 28078746 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140625581577080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19137] ppid=19131 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (java) S 19131 19134 18126 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 22 0 28078748 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140625554028840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19138] ppid=19131 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19134/task/19138/stat : 19138 (java) S 19131 19134 18126 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 28078748 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140625552976040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19139] ppid=19131 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19134/task/19139/stat : 19139 (java) S 19131 19134 18126 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 22 0 28078748 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140625551923752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19140] ppid=19131 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19134/task/19140/stat : 19140 (java) S 19131 19134 18126 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 28078748 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140625422363048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19141] ppid=19131 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19134/task/19141/stat : 19141 (java) S 19131 19134 18126 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 28078748 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140625421310760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19142] ppid=19131 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19134/task/19142/stat : 19142 (java) S 19131 19134 18126 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 28078748 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140625420257960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19143] ppid=19131 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19134/task/19143/stat : 19143 (java) S 19131 19134 18126 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 28078748 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140625419205672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19144] ppid=19131 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19134/task/19144/stat : 19144 (java) S 19131 19134 18126 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 28078748 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140625418152872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19145] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19145/stat : 19145 (java) S 19131 19134 18126 0 -1 4202560 200 0 0 0 0 0 0 0 20 0 22 0 28078749 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140624935639272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19146] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19146/stat : 19146 (java) S 19131 19134 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28078749 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140624934585336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19147] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19147/stat : 19147 (java) S 19131 19134 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28078749 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140624933532936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19148] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19148/stat : 19148 (java) S 19131 19134 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28078752 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140624932481424 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19149] ppid=19131 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/19134/task/19149/stat : 19149 (java) S 19131 19134 18126 0 -1 4202560 9627 0 0 0 130 2 0 0 20 0 22 0 28078752 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140624931429048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19150] ppid=19131 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/19134/task/19150/stat : 19150 (java) S 19131 19134 18126 0 -1 4202560 9805 0 0 0 137 2 0 0 20 0 22 0 28078752 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140624930376248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19151] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19151/stat : 19151 (java) S 19131 19134 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28078752 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140624929324152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19152] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19152/stat : 19152 (java) S 19131 19134 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28078752 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140624928271560 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19153] ppid=19131 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/19134/task/19153/stat : 19153 (java) R 19131 19134 18126 0 -1 4202560 20 0 0 0 241 0 0 0 20 0 22 0 28078794 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140624926845344 140625434056219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19154] ppid=19131 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/19134/task/19154/stat : 19154 (java) R 19131 19134 18126 0 -1 4202560 121 0 0 0 235 4 0 0 20 0 22 0 28078794 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140624925793424 140625434172330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19155] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19155/stat : 19155 (java) S 19131 19134 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28078795 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140624924742824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19156] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19156/stat : 19156 (java) S 19131 19134 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28078796 10060525568 86891 33554432000 1073741824 1073778376 140736678112672 140624923690024 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.32
Current children cumulated vsize (KiB) 9824732

[startup+6.30096 s]
/proc/loadavg: 4.26 4.25 4.19 5/219 19156
/proc/meminfo: memFree=26577992/32872528 swapFree=1437460/1543748
[pid=19134] ppid=19131 vsize=9824732 CPUtime=15.15 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 18126 0 -1 4202496 25934 0 1 0 1491 24 0 0 20 0 22 0 28078745 10060525568 156111 33554432000 1073741824 1073778376 140736678112672 140736678103808 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19134/statm: 2456183 156111 2292 9 0 2446860 0
[pid=19134/tid=19136] ppid=19131 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (java) S 19131 19134 18126 0 -1 4202560 2436 0 1 0 43 1 0 0 20 0 22 0 28078746 10060525568 156111 33554432000 1073741824 1073778376 140736678112672 140625581577080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19137] ppid=19131 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (java) S 19131 19134 18126 0 -1 4202560 67 0 0 0 4 2 0 0 20 0 22 0 28078748 10060525568 156111 33554432000 1073741824 1073778376 140736678112672 140625554028840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19138] ppid=19131 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19134/task/19138/stat : 19138 (java) S 19131 19134 18126 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 22 0 28078748 10060525568 156111 33554432000 1073741824 1073778376 140736678112672 140625552976040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19139] ppid=19131 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/19134/task/19139/stat : 19139 (java) S 19131 19134 18126 0 -1 4202560 123 0 0 0 5 1 0 0 20 0 22 0 28078748 10060525568 156111 33554432000 1073741824 1073778376 140736678112672 140625551923752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19140] ppid=19131 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/19134/task/19140/stat : 19140 (java) S 19131 19134 18126 0 -1 4202560 44 0 0 0 6 2 0 0 20 0 22 0 28078748 10060525568 156111 33554432000 1073741824 1073778376 140736678112672 140625422363048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19141] ppid=19131 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/19134/task/19141/stat : 19141 (java) S 19131 19134 18126 0 -1 4202560 125 0 0 0 7 3 0 0 20 0 22 0 28078748 10060525568 156111 33554432000 1073741824 1073778376 140736678112672 140625421310760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19142] ppid=19131 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19134/task/19142/stat : 19142 (java) S 19131 19134 18126 0 -1 4202560 108 0 0 0 3 1 0 0 20 0 22 0 28078748 10060525568 156111 33554432000 1073741824 1073778376 140736678112672 140625420257960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19143] ppid=19131 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/19134/task/19143/stat : 19143 (java) S 19131 19134 18126 0 -1 4202560 34 0 0 0 3 2 0 0 20 0 22 0 28078748 10060525568 156111 33554432000 1073741824 1073778376 140736678112672 140625419205672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19144] ppid=19131 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/19134/task/19144/stat : 19144 (java) S 19131 19134 18126 0 -1 4202560 116 0 0 0 5 0 0 0 20 0 22 0 28078748 10060525568 156111 33554432000 1073741824 1073778376 140736678112672 140625418152872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19145] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19145/stat : 19145 (java) S 19131 19134 18126 0 -1 4202560 453 0 0 0 0 0 0 0 20 0 22 0 28078749 10060525568 156111 33554432000 1073741824 1073778376 140736678112672 140624935639272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19146] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19146/stat : 19146 (java) S 19131 19134 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28078749 10060525568 156111 33554432000 1073741824 1073778376 140736678112672 140624934585336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19147] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19147/stat : 19147 (java) S 19131 19134 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28078749 10060525568 156111 33554432000 1073741824 1073778376 140736678112672 140624933532936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19148] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19148/stat : 19148 (java) S 19131 19134 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28078752 10060525568 156111 33554432000 1073741824 1073778376 140736678112672 140624932481424 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19149] ppid=19131 vsize=9824732 CPUtime=1.59 cores=1,3,5,7

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


[startup+882.308 s]
/proc/loadavg: 4.30 4.21 4.18 5/219 19243
/proc/meminfo: memFree=23449316/32872528 swapFree=1437460/1543748
[pid=19134] ppid=19131 vsize=9824732 CPUtime=1774.33 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 18126 0 -1 4202496 35688 0 1 0 177240 193 0 0 20 0 22 0 28078745 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140736678103808 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19134/statm: 2456183 936643 2301 9 0 2446860 0
[pid=19134/tid=19136] ppid=19131 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (java) S 19131 19134 18126 0 -1 4202560 2439 0 1 0 45 4 0 0 20 0 22 0 28078746 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140625581577080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19137] ppid=19131 vsize=9824732 CPUtime=2.63 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (java) S 19131 19134 18126 0 -1 4202560 644 0 0 0 247 16 0 0 20 0 22 0 28078748 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140625554028840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19138] ppid=19131 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/19134/task/19138/stat : 19138 (java) S 19131 19134 18126 0 -1 4202560 525 0 0 0 304 15 0 0 20 0 22 0 28078748 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140625552976040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19139] ppid=19131 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/19134/task/19139/stat : 19139 (java) S 19131 19134 18126 0 -1 4202560 692 0 0 0 282 17 0 0 20 0 22 0 28078748 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140625551923752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19140] ppid=19131 vsize=9824732 CPUtime=2.91 cores=1,3,5,7
/proc/19134/task/19140/stat : 19140 (java) S 19131 19134 18126 0 -1 4202560 578 0 0 0 275 16 0 0 20 0 22 0 28078748 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140625422363048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19141] ppid=19131 vsize=9824732 CPUtime=2.72 cores=1,3,5,7
/proc/19134/task/19141/stat : 19141 (java) S 19131 19134 18126 0 -1 4202560 728 0 0 0 256 16 0 0 20 0 22 0 28078748 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140625421310760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19142] ppid=19131 vsize=9824732 CPUtime=2.72 cores=1,3,5,7
/proc/19134/task/19142/stat : 19142 (java) S 19131 19134 18126 0 -1 4202560 610 0 0 0 258 14 0 0 20 0 22 0 28078748 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140625420257960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19143] ppid=19131 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/19134/task/19143/stat : 19143 (java) S 19131 19134 18126 0 -1 4202560 543 0 0 0 263 16 0 0 20 0 22 0 28078748 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140625419205672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19144] ppid=19131 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/19134/task/19144/stat : 19144 (java) S 19131 19134 18126 0 -1 4202560 761 0 0 0 294 15 0 0 20 0 22 0 28078748 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140625418152872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19145] ppid=19131 vsize=9824732 CPUtime=3.51 cores=1,3,5,7
/proc/19134/task/19145/stat : 19145 (java) S 19131 19134 18126 0 -1 4202560 2277 0 0 0 344 7 0 0 20 0 22 0 28078749 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140624935639272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19146] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19146/stat : 19146 (java) S 19131 19134 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28078749 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140624934585336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19147] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19147/stat : 19147 (java) S 19131 19134 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28078749 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140624933532936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19148] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19148/stat : 19148 (java) S 19131 19134 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28078752 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140624932481424 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19149] ppid=19131 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/19134/task/19149/stat : 19149 (java) S 19131 19134 18126 0 -1 4202560 11075 0 0 0 168 3 0 0 20 0 22 0 28078752 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140624931429048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19150] ppid=19131 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/19134/task/19150/stat : 19150 (java) S 19131 19134 18126 0 -1 4202560 11657 0 0 0 177 2 0 0 20 0 22 0 28078752 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140624930376248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19151] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19151/stat : 19151 (java) S 19131 19134 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28078752 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140624929324152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19152] ppid=19131 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/19134/task/19152/stat : 19152 (java) S 19131 19134 18126 0 -1 4202560 51 0 0 0 14 23 0 0 20 0 22 0 28078752 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140624928271560 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19153] ppid=19131 vsize=9824732 CPUtime=871.95 cores=1,3,5,7
/proc/19134/task/19153/stat : 19153 (java) R 19131 19134 18126 0 -1 4202560 64 0 0 0 87179 16 0 0 20 0 22 0 28078794 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140624926846288 140625434090440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19154] ppid=19131 vsize=9824732 CPUtime=871.91 cores=1,3,5,7
/proc/19134/task/19154/stat : 19154 (java) R 19131 19134 18126 0 -1 4202560 1773 0 0 0 87141 50 0 0 20 0 22 0 28078794 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140624925794560 140625434145874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19155] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19155/stat : 19155 (java) S 19131 19134 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28078795 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140624924742824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19156] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19156/stat : 19156 (java) S 19131 19134 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28078796 10060525568 936643 33554432000 1073741824 1073778376 140736678112672 140624923690024 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1774.33
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.101 s]
/proc/loadavg: 4.30 4.22 4.18 5/219 19243
/proc/meminfo: memFree=23447024/32872528 swapFree=1437460/1543748
[pid=19134] ppid=19131 vsize=9824732 CPUtime=1800.03 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 18126 0 -1 4202496 35698 0 1 0 179810 193 0 0 20 0 22 0 28078745 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140736678103808 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19134/statm: 2456183 937089 2301 9 0 2446860 0
[pid=19134/tid=19136] ppid=19131 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (java) S 19131 19134 18126 0 -1 4202560 2439 0 1 0 45 4 0 0 20 0 22 0 28078746 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625581577080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19137] ppid=19131 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (java) S 19131 19134 18126 0 -1 4202560 645 0 0 0 249 16 0 0 20 0 22 0 28078748 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625554028840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19138] ppid=19131 vsize=9824732 CPUtime=3.22 cores=1,3,5,7
/proc/19134/task/19138/stat : 19138 (java) S 19131 19134 18126 0 -1 4202560 525 0 0 0 307 15 0 0 20 0 22 0 28078748 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625552976040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19139] ppid=19131 vsize=9824732 CPUtime=3.06 cores=1,3,5,7
/proc/19134/task/19139/stat : 19139 (java) S 19131 19134 18126 0 -1 4202560 693 0 0 0 289 17 0 0 20 0 22 0 28078748 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625551923752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19140] ppid=19131 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/19134/task/19140/stat : 19140 (java) S 19131 19134 18126 0 -1 4202560 579 0 0 0 278 16 0 0 20 0 22 0 28078748 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625422363048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19141] ppid=19131 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/19134/task/19141/stat : 19141 (java) S 19131 19134 18126 0 -1 4202560 730 0 0 0 259 16 0 0 20 0 22 0 28078748 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625421310760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19142] ppid=19131 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/19134/task/19142/stat : 19142 (java) S 19131 19134 18126 0 -1 4202560 612 0 0 0 261 14 0 0 20 0 22 0 28078748 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625420257960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19143] ppid=19131 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/19134/task/19143/stat : 19143 (java) S 19131 19134 18126 0 -1 4202560 543 0 0 0 265 16 0 0 20 0 22 0 28078748 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625419205672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19144] ppid=19131 vsize=9824732 CPUtime=3.11 cores=1,3,5,7
/proc/19134/task/19144/stat : 19144 (java) S 19131 19134 18126 0 -1 4202560 761 0 0 0 296 15 0 0 20 0 22 0 28078748 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625418152872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19145] ppid=19131 vsize=9824732 CPUtime=3.51 cores=1,3,5,7
/proc/19134/task/19145/stat : 19145 (java) S 19131 19134 18126 0 -1 4202560 2277 0 0 0 344 7 0 0 20 0 22 0 28078749 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624935639272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19146] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19146/stat : 19146 (java) S 19131 19134 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28078749 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624934585336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19147] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19147/stat : 19147 (java) S 19131 19134 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28078749 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624933532936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19148] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19148/stat : 19148 (java) S 19131 19134 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28078752 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624932481424 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19149] ppid=19131 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/19134/task/19149/stat : 19149 (java) S 19131 19134 18126 0 -1 4202560 11075 0 0 0 168 3 0 0 20 0 22 0 28078752 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624931429048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19150] ppid=19131 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/19134/task/19150/stat : 19150 (java) S 19131 19134 18126 0 -1 4202560 11657 0 0 0 177 2 0 0 20 0 22 0 28078752 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624930376248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19151] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19151/stat : 19151 (java) S 19131 19134 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28078752 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624929324152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19152] ppid=19131 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/19134/task/19152/stat : 19152 (java) S 19131 19134 18126 0 -1 4202560 53 0 0 0 14 23 0 0 20 0 22 0 28078752 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624928271560 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19153] ppid=19131 vsize=9824732 CPUtime=884.68 cores=1,3,5,7
/proc/19134/task/19153/stat : 19153 (java) R 19131 19134 18126 0 -1 4202560 64 0 0 0 88452 16 0 0 20 0 22 0 28078794 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624926846288 140625434090440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19154] ppid=19131 vsize=9824732 CPUtime=884.63 cores=1,3,5,7
/proc/19134/task/19154/stat : 19154 (java) R 19131 19134 18126 0 -1 4202560 1774 0 0 0 88413 50 0 0 20 0 22 0 28078794 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624925794416 140625434144908 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19155] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19155/stat : 19155 (java) S 19131 19134 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28078795 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624924742824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19156] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19156/stat : 19156 (java) S 19131 19134 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28078796 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624923690024 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 19134 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+895.101 s]
/proc/loadavg: 4.30 4.22 4.18 5/219 19243
/proc/meminfo: memFree=23447024/32872528 swapFree=1437460/1543748
[pid=19134] ppid=19131 vsize=9824732 CPUtime=1800.03 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 18126 0 -1 4202496 35698 0 1 0 179810 193 0 0 20 0 22 0 28078745 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140736678103808 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19134/statm: 2456183 937089 2301 9 0 2446860 0
[pid=19134/tid=19136] ppid=19131 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (java) S 19131 19134 18126 0 -1 4202560 2439 0 1 0 45 4 0 0 20 0 22 0 28078746 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625581577080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19137] ppid=19131 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (java) S 19131 19134 18126 0 -1 4202560 645 0 0 0 249 16 0 0 20 0 22 0 28078748 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625554028840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19138] ppid=19131 vsize=9824732 CPUtime=3.22 cores=1,3,5,7
/proc/19134/task/19138/stat : 19138 (java) S 19131 19134 18126 0 -1 4202560 525 0 0 0 307 15 0 0 20 0 22 0 28078748 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625552976040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19139] ppid=19131 vsize=9824732 CPUtime=3.06 cores=1,3,5,7
/proc/19134/task/19139/stat : 19139 (java) S 19131 19134 18126 0 -1 4202560 693 0 0 0 289 17 0 0 20 0 22 0 28078748 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625551923752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19140] ppid=19131 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/19134/task/19140/stat : 19140 (java) S 19131 19134 18126 0 -1 4202560 579 0 0 0 278 16 0 0 20 0 22 0 28078748 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625422363048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19141] ppid=19131 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/19134/task/19141/stat : 19141 (java) S 19131 19134 18126 0 -1 4202560 730 0 0 0 259 16 0 0 20 0 22 0 28078748 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625421310760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19142] ppid=19131 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/19134/task/19142/stat : 19142 (java) S 19131 19134 18126 0 -1 4202560 612 0 0 0 261 14 0 0 20 0 22 0 28078748 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625420257960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19143] ppid=19131 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/19134/task/19143/stat : 19143 (java) S 19131 19134 18126 0 -1 4202560 543 0 0 0 265 16 0 0 20 0 22 0 28078748 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625419205672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19144] ppid=19131 vsize=9824732 CPUtime=3.11 cores=1,3,5,7
/proc/19134/task/19144/stat : 19144 (java) S 19131 19134 18126 0 -1 4202560 761 0 0 0 296 15 0 0 20 0 22 0 28078748 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140625418152872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19145] ppid=19131 vsize=9824732 CPUtime=3.51 cores=1,3,5,7
/proc/19134/task/19145/stat : 19145 (java) S 19131 19134 18126 0 -1 4202560 2277 0 0 0 344 7 0 0 20 0 22 0 28078749 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624935639272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19146] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19146/stat : 19146 (java) S 19131 19134 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28078749 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624934585336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19147] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19147/stat : 19147 (java) S 19131 19134 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28078749 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624933532936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19148] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19148/stat : 19148 (java) S 19131 19134 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28078752 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624932481424 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19149] ppid=19131 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/19134/task/19149/stat : 19149 (java) S 19131 19134 18126 0 -1 4202560 11075 0 0 0 168 3 0 0 20 0 22 0 28078752 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624931429048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19150] ppid=19131 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/19134/task/19150/stat : 19150 (java) S 19131 19134 18126 0 -1 4202560 11657 0 0 0 177 2 0 0 20 0 22 0 28078752 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624930376248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19134/tid=19151] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19151/stat : 19151 (java) S 19131 19134 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28078752 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624929324152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19152] ppid=19131 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/19134/task/19152/stat : 19152 (java) S 19131 19134 18126 0 -1 4202560 53 0 0 0 14 23 0 0 20 0 22 0 28078752 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624928271560 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19153] ppid=19131 vsize=9824732 CPUtime=884.68 cores=1,3,5,7
/proc/19134/task/19153/stat : 19153 (java) R 19131 19134 18126 0 -1 4202560 64 0 0 0 88452 16 0 0 20 0 22 0 28078794 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624926846288 140625434090440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19134/tid=19154] ppid=19131 vsize=9824732 CPUtime=884.63 cores=1,3,5,7
/proc/19134/task/19154/stat : 19154 (java) R 19131 19134 18126 0 -1 4202560 1774 0 0 0 88413 50 0 0 20 0 22 0 28078794 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624925794416 140625434144908 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19134/tid=19155] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19155/stat : 19155 (java) S 19131 19134 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28078795 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624924742824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19134/tid=19156] ppid=19131 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19156/stat : 19156 (java) S 19131 19134 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28078796 10060525568 937089 33554432000 1073741824 1073778376 140736678112672 140624923690024 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 895.168
CPU time (s): 1800.88
CPU user time (s): 1798.41
CPU system time (s): 2.47062
CPU usage (%): 201.178
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.41
system time used= 2.47062
maximum resident set size= 3752716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35734
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24202
involuntary context switches= 24926

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.47286 second user time and 5.87611 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-26 16:13:14
IDJOB=4117126
IDBENCH=109556
IDSOLVER=2543
FILE ID=node116/4117126-1466950394
RUNJOBID= node116-1466946428-18143
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-size144-round21-6.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117126-1466950394/watcher-4117126-1466950394 -o /tmp/evaluation-result-4117126-1466950394/solver-4117126-1466950394 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18143 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4117126-1466950394.opb

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

MD5SUM BENCH= 7765f6d31497d47a350f27e7c2e46727
RANDOM SEED=846541696

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:        27197016 kB
Buffers:           10848 kB
Cached:           301124 kB
SwapCached:         2084 kB
Active:          3135104 kB
Inactive:         289852 kB
Active(anon):    3113556 kB
Inactive(anon):     1656 kB
Active(file):      21548 kB
Inactive(file):   288196 kB
Unevictable:     1543748 kB
Mlocked:         1437460 kB
SwapTotal:      67108856 kB
SwapFree:       67098668 kB
Dirty:              1244 kB
Writeback:             0 kB
AnonPages:       4676448 kB
Mapped:            15424 kB
Shmem:                 0 kB
Slab:             564720 kB
SReclaimable:       8736 kB
SUnreclaim:       555984 kB
KernelStack:        1808 kB
PageTables:        13592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4959600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3184640 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 16:28:09