Trace number 4115870

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.16 895.289

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round23-0.opb
MD5SUM80aaf8924f6ff1db370b1fb6930c6ef9
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9536
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.10	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4115870-1466940668.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  no objective function found
1.03/0.50	c ... done. Wall clock time 0.392s.
1.03/0.50	c declared #vars     4288
1.03/0.50	c #constraints  10880
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 => 7494
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 => 1786
1.03/0.50	c 10880 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 => 7494
1.03/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1786
1.03/0.50	c org.sat4j.pb.constraints.pb.UnitClausePB => 536
1.03/0.50	c 10880 constraints processed.
4.17/1.39	c cleaning 2499 clauses out of 4997 with flag 16337/5000
6.25/2.05	c cleaning 4224 clauses out of 8500 with flag 39205/11002
7.72/2.79	c cleaning 5637 clauses out of 11274 with flag 68273/18000
10.07/3.76	c cleaning 6793 clauses out of 13637 with flag 102321/26000
12.08/4.73	c cleaning 7907 clauses out of 15844 with flag 142216/35000
14.57/5.94	c cleaning 8969 clauses out of 17938 with flag 192089/45001
17.53/7.29	c cleaning 9968 clauses out of 19969 with flag 244993/56001
20.53/8.76	c cleaning 11000 clauses out of 22000 with flag 306962/68000
23.82/10.38	c cleaning 11979 clauses out of 24002 with flag 373762/81002
27.43/12.15	c cleaning 12998 clauses out of 26021 with flag 449845/95000
31.52/14.17	c cleaning 13999 clauses out of 28023 with flag 529398/110000
35.91/16.31	c cleaning 15006 clauses out of 30024 with flag 615763/126000
39.22/17.97	c cleaning 0 clauses out of 5000 with flag 0/5000
40.96/18.69	c cleaning 15979 clauses out of 32018 with flag 708540/143000
46.16/21.21	c cleaning 17001 clauses out of 34039 with flag 806364/161000
51.65/23.94	c cleaning 17959 clauses out of 36038 with flag 913483/180000
57.53/26.81	c cleaning 18991 clauses out of 38080 with flag 1028274/200001
63.73/29.91	c cleaning 20038 clauses out of 40089 with flag 1148593/221001
70.61/33.30	c cleaning 20996 clauses out of 42050 with flag 1273889/243000
77.60/36.89	c cleaning 21960 clauses out of 44055 with flag 1402516/266001
85.52/40.72	c cleaning 23012 clauses out of 46096 with flag 1538035/290002
93.31/44.67	c cleaning 24017 clauses out of 48082 with flag 1680581/315000
102.41/49.12	c cleaning 24986 clauses out of 50065 with flag 1827430/341000
111.41/53.69	c cleaning 26015 clauses out of 52079 with flag 1983681/368000
121.51/58.63	c cleaning 27014 clauses out of 54065 with flag 2144325/396001
131.92/63.81	c cleaning 27990 clauses out of 56050 with flag 2310129/425000
142.77/69.26	c cleaning 29018 clauses out of 58060 with flag 2483789/455000
153.98/74.90	c cleaning 30010 clauses out of 60042 with flag 2663013/486000
166.07/80.86	c cleaning 30998 clauses out of 62032 with flag 2850292/518000
178.75/87.18	c cleaning 31974 clauses out of 64034 with flag 3043847/551000
192.20/93.81	c cleaning 33004 clauses out of 66060 with flag 3240736/585000
205.65/100.59	c cleaning 33972 clauses out of 68056 with flag 3445636/620000
219.65/107.53	c cleaning 35018 clauses out of 70086 with flag 3658334/656002
232.90/114.11	c cleaning 35985 clauses out of 72066 with flag 3877375/693000
246.50/120.99	c cleaning 36975 clauses out of 74083 with flag 4102471/731002
263.46/129.79	c cleaning 38028 clauses out of 76106 with flag 4330281/770000
280.32/138.17	c cleaning 39030 clauses out of 78078 with flag 4566273/810000
298.00/146.95	c cleaning 39972 clauses out of 80050 with flag 4810366/851002
312.50/154.13	c cleaning 0 clauses out of 11001 with flag 0/11001
316.48/156.15	c cleaning 41004 clauses out of 82077 with flag 5053049/893001
336.06/165.85	c cleaning 41970 clauses out of 84073 with flag 5305019/936001
356.16/175.87	c cleaning 43040 clauses out of 86103 with flag 5564927/980001
377.06/186.22	c cleaning 43960 clauses out of 88062 with flag 5824115/1025000
399.24/197.26	c cleaning 45032 clauses out of 90103 with flag 6094807/1071001
421.85/208.51	c cleaning 46009 clauses out of 92071 with flag 6371396/1118001
444.72/219.93	c cleaning 47007 clauses out of 94061 with flag 6654887/1166000
468.48/231.72	c cleaning 48005 clauses out of 96057 with flag 6949243/1215003
494.37/244.62	c cleaning 49025 clauses out of 98049 with flag 7242613/1265000
520.75/258.36	c cleaning 49999 clauses out of 100025 with flag 7546274/1316001
547.25/271.54	c cleaning 50955 clauses out of 102026 with flag 7853928/1368001
575.11/285.44	c cleaning 52018 clauses out of 104070 with flag 8168306/1421000
603.45/299.56	c cleaning 53001 clauses out of 106052 with flag 8487432/1475000
632.99/314.26	c cleaning 54005 clauses out of 108051 with flag 8811072/1530000
663.70/329.51	c cleaning 55010 clauses out of 110047 with flag 9135874/1586001
695.08/345.10	c cleaning 55985 clauses out of 112037 with flag 9466844/1643001
727.29/361.18	c cleaning 57012 clauses out of 114051 with flag 9805810/1701000
761.15/377.94	c cleaning 57981 clauses out of 116039 with flag 10152483/1760000
795.50/395.04	c cleaning 59016 clauses out of 118060 with flag 10504653/1820002
830.71/412.58	c cleaning 59982 clauses out of 120043 with flag 10862115/1881001
867.08/430.68	c cleaning 61009 clauses out of 122060 with flag 11221740/1943000
905.27/449.69	c cleaning 62014 clauses out of 124052 with flag 11588387/2006001
944.69/469.27	c cleaning 63013 clauses out of 126037 with flag 11960827/2070000
984.57/489.01	c cleaning 64007 clauses out of 128025 with flag 12341289/2135001
1025.01/509.15	c cleaning 64965 clauses out of 130017 with flag 12727756/2201000
1029.18/511.15	c cleaning 0 clauses out of 18001 with flag 0/18001
1067.51/530.19	c cleaning 66003 clauses out of 132052 with flag 13117139/2268000
1111.26/551.89	c cleaning 67020 clauses out of 134049 with flag 13515788/2336000
1155.10/573.64	c cleaning 67986 clauses out of 136029 with flag 13919889/2405000
1200.65/596.26	c cleaning 68989 clauses out of 138043 with flag 14328376/2475000
1248.55/620.92	c cleaning 70004 clauses out of 140054 with flag 14737855/2546000
1296.45/644.85	c cleaning 71005 clauses out of 142050 with flag 15156683/2618000
1345.14/669.02	c cleaning 72004 clauses out of 144045 with flag 15576588/2691000
1395.85/694.23	c cleaning 73003 clauses out of 146041 with flag 16004764/2765000
1446.75/719.44	c cleaning 74004 clauses out of 148038 with flag 16443728/2840000
1498.99/745.47	c cleaning 74966 clauses out of 150035 with flag 16885258/2916001
1552.12/771.82	c cleaning 76012 clauses out of 152068 with flag 17329869/2993000
1607.24/799.23	c cleaning 76986 clauses out of 154056 with flag 17780578/3071000
1664.71/827.85	c cleaning 78006 clauses out of 156071 with flag 18238576/3150001
1724.16/857.45	c cleaning 79010 clauses out of 158065 with flag 18699217/3230001
1783.97/887.16	c cleaning 80021 clauses out of 160055 with flag 19173012/3311001
1800.16/895.20	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.16/895.20	c starts		: 26409
1800.16/895.20	c conflicts		: 3338044
1800.16/895.20	c decisions		: 26706699
1800.16/895.20	c propagations		: 420907617
1800.16/895.20	c inspects		: 9091381270
1800.16/895.20	c shortcuts		: 0
1800.16/895.20	c learnt literals	: 3
1800.16/895.20	c learnt binary clauses	: 78
1800.16/895.20	c learnt ternary clauses	: 986
1800.16/895.20	c learnt constraints	: 3338041
1800.16/895.20	c ignored constraints	: 0
1800.16/895.20	c root simplifications	: 0
1800.16/895.20	c removed literals (reason simplification)	: 2909750
1800.16/895.20	c reason swapping (by a shorter reason)	: 0
1800.16/895.20	c Calls to reduceDB	: 77
1800.16/895.20	c Number of update (reduction) of LBD	: 736234
1800.16/895.20	c Imported unit clauses	: 0
1800.16/895.20	c number of reductions to clauses (during analyze)	: 0
1800.16/895.20	c number of learned constraints concerned by reduction	: 0
1800.16/895.20	c number of learning phase by resolution	: 0
1800.16/895.20	c number of learning phase by cutting planes	: 0
1800.16/895.20	c speed (assignments/second)	: 470450.789658988
1800.16/895.20	c non guided choices	15064
1800.16/895.25	c learnt constraints type 
1800.16/895.25	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 78
1800.16/895.25	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 106999
1800.16/895.25	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.16/895.25	c starts		: 50
1800.16/895.25	c conflicts		: 22206
1800.16/895.25	c decisions		: 74753
1800.16/895.25	c propagations		: 2618400
1800.16/895.25	c inspects		: 842185195
1800.16/895.25	c shortcuts		: 0
1800.16/895.25	c learnt literals	: 0
1800.16/895.25	c learnt binary clauses	: 0
1800.16/895.25	c learnt ternary clauses	: 0
1800.16/895.25	c learnt constraints	: 22206
1800.16/895.25	c ignored constraints	: 0
1800.16/895.25	c root simplifications	: 0
1800.16/895.25	c removed literals (reason simplification)	: 0
1800.16/895.25	c reason swapping (by a shorter reason)	: 0
1800.16/895.25	c Calls to reduceDB	: 3
1800.16/895.25	c Number of update (reduction) of LBD	: 0
1800.16/895.25	c Imported unit clauses	: 0
1800.16/895.25	c number of reductions to clauses (during analyze)	: 0
1800.16/895.25	c number of learned constraints concerned by reduction	: 0
1800.16/895.25	c number of learning phase by resolution	: 0
1800.16/895.25	c number of learning phase by cutting planes	: 0
1800.16/895.25	c speed (assignments/second)	: 2926.45962538545
1800.16/895.25	c non guided choices	398
1800.16/895.27	c learnt constraints type 
1800.16/895.27	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 43
1800.16/895.27	c org.sat4j.pb.constraints.pb.MaxWatchPb => 22163
1800.16/895.27	s UNKNOWN
1800.16/895.27	c Total wall clock time (in seconds): 895.164

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-4115870-1466940668/watcher-4115870-1466940668 -o /tmp/evaluation-result-4115870-1466940668/solver-4115870-1466940668 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466939767-20070 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4115870-1466940668.opb 

pid=20276
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.24 4.07 3.33 6/197 20279
/proc/meminfo: memFree=31201528/32872528 swapFree=681168/738400
[pid=20279] ppid=20276 vsize=96272 CPUtime=0 cores=1,3,5,7
/proc/20279/stat : 20279 (java) S 20276 20279 20053 0 -1 4202496 1361 0 0 0 0 0 0 0 20 0 2 0 27106271 98582528 984 33554432000 1073741824 1073778376 140733483858528 140733483849664 213869690941 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20279/statm: 24068 984 749 9 0 16774 0
[pid=20279/tid=20280] ppid=20276 vsize=96272 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20280/stat : 20280 (java) R 20276 20279 20053 0 -1 4202560 137 0 0 0 0 0 0 0 20 0 2 0 27106272 98582528 985 33554432000 1073741824 1073778376 140733483858528 139941449768488 213866333597 0 0 0 16784584 0 0 0 -1 1 0 0 0 0 0

[startup+0.100115 s]
/proc/loadavg: 4.24 4.07 3.33 6/197 20279
/proc/meminfo: memFree=31201528/32872528 swapFree=681168/738400
[pid=20279] ppid=20276 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/20279/stat : 20279 (java) S 20276 20279 20053 0 -1 4202496 4558 0 1 0 10 1 0 0 20 0 18 0 27106271 9787879424 5676 33554432000 1073741824 1073778376 140733483858528 140733483849664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20279/statm: 2389619 5676 2158 9 0 2380296 0
[pid=20279/tid=20280] ppid=20276 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/20279/task/20280/stat : 20280 (java) R 20276 20279 20053 0 -1 4202560 2437 0 1 0 6 2 0 0 20 0 18 0 27106272 9787879424 5676 33554432000 1073741824 1073778376 140733483858528 139941449763352 213869716749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.20029 s]
/proc/loadavg: 4.24 4.07 3.33 6/197 20279
/proc/meminfo: memFree=31201528/32872528 swapFree=681168/738400
[pid=20279] ppid=20276 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/20279/stat : 20279 (java) S 20276 20279 20053 0 -1 4202496 4785 0 1 0 25 2 0 0 20 0 18 0 27106271 9787879424 6350 33554432000 1073741824 1073778376 140733483858528 140733483849664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20279/statm: 2389619 6350 2215 9 0 2380296 0
[pid=20279/tid=20280] ppid=20276 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/20279/task/20280/stat : 20280 (java) R 20276 20279 20053 0 -1 4202560 2453 0 1 0 16 2 0 0 20 0 18 0 27106272 9787879424 6350 33554432000 1073741824 1073778376 140733483858528 139941449763352 139941322399323 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300273 s]
/proc/loadavg: 4.24 4.07 3.33 6/197 20279
/proc/meminfo: memFree=31201528/32872528 swapFree=681168/738400
[pid=20279] ppid=20276 vsize=9558476 CPUtime=0.51 cores=1,3,5,7
/proc/20279/stat : 20279 (java) S 20276 20279 20053 0 -1 4202496 6040 0 1 0 49 2 0 0 20 0 18 0 27106271 9787879424 8648 33554432000 1073741824 1073778376 140733483858528 140733483849664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20279/statm: 2389619 8648 2234 9 0 2380296 0
[pid=20279/tid=20280] ppid=20276 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/20279/task/20280/stat : 20280 (java) R 20276 20279 20053 0 -1 4202560 2456 0 1 0 26 2 0 0 20 0 18 0 27106272 9787879424 8648 33554432000 1073741824 1073778376 140733483858528 139941449763352 139941322376935 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476

[startup+0.700244 s]
/proc/loadavg: 4.24 4.07 3.33 6/197 20279
/proc/meminfo: memFree=31201528/32872528 swapFree=681168/738400
[pid=20279] ppid=20276 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/20279/stat : 20279 (java) S 20276 20279 20053 0 -1 4202496 14469 0 1 0 175 4 0 0 20 0 22 0 27106271 10060525568 24726 33554432000 1073741824 1073778376 140733483858528 140733483849664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20279/statm: 2456183 24726 2265 9 0 2446860 0
[pid=20279/tid=20280] ppid=20276 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/20279/task/20280/stat : 20280 (java) S 20276 20279 20053 0 -1 4202560 2536 0 1 0 46 2 0 0 20 0 22 0 27106272 10060525568 24726 33554432000 1073741824 1073778376 140733483858528 139941449773944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 9824732

[startup+1.50088 s]
/proc/loadavg: 4.24 4.07 3.33 7/219 20301
/proc/meminfo: memFree=30955256/32872528 swapFree=681168/738400
[pid=20279] ppid=20276 vsize=9824732 CPUtime=4.84 cores=1,3,5,7
/proc/20279/stat : 20279 (java) S 20276 20279 20053 0 -1 4202496 23537 0 1 0 477 7 0 0 20 0 22 0 27106271 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 140733483849664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20279/statm: 2456183 47624 2292 9 0 2446860 0
[pid=20279/tid=20280] ppid=20276 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/20279/task/20280/stat : 20280 (java) S 20276 20279 20053 0 -1 4202560 2536 0 1 0 46 2 0 0 20 0 22 0 27106272 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941449773944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20282] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20282/stat : 20282 (java) S 20276 20279 20053 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 27106273 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941293766824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20283] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20283/stat : 20283 (java) S 20276 20279 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27106273 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941292714280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20284] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20284/stat : 20284 (java) S 20276 20279 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27106273 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941291661736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20285] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20285/stat : 20285 (java) S 20276 20279 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27106273 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941290609192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20286] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20286/stat : 20286 (java) S 20276 20279 20053 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 27106273 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941289556648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20287] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20287/stat : 20287 (java) S 20276 20279 20053 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 27106273 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941288504104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20288] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20288/stat : 20288 (java) S 20276 20279 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27106273 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941287451560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20289] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20289/stat : 20289 (java) S 20276 20279 20053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27106273 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941286399016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20290] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20290/stat : 20290 (java) S 20276 20279 20053 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27106274 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941273987176 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20291] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20291/stat : 20291 (java) S 20276 20279 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27106274 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941272933496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20292] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20292/stat : 20292 (java) S 20276 20279 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27106274 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941271880840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20293] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20293/stat : 20293 (java) S 20276 20279 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27106276 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941270829584 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20294] ppid=20276 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/20279/task/20294/stat : 20294 (java) S 20276 20279 20053 0 -1 4202560 7337 0 0 0 111 2 0 0 20 0 22 0 27106276 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941269776952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20295] ppid=20276 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/20279/task/20295/stat : 20295 (java) R 20276 20279 20053 0 -1 4202560 12258 0 0 0 120 1 0 0 20 0 22 0 27106276 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941268701656 139941452389271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20296] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20296/stat : 20296 (java) S 20276 20279 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27106276 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941267672056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20297] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20297/stat : 20297 (java) S 20276 20279 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27106276 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941266619720 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20298] ppid=20276 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/20279/task/20298/stat : 20298 (java) R 20276 20279 20053 0 -1 4202560 17 0 0 0 95 0 0 0 20 0 22 0 27106322 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941265562040 139941323006526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20299] ppid=20276 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/20279/task/20299/stat : 20299 (java) R 20276 20279 20053 0 -1 4202560 75 0 0 0 96 0 0 0 20 0 22 0 27106322 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941264511096 139941323281149 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20300] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20300/stat : 20300 (java) S 20276 20279 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27106323 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941263459368 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20301] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20301/stat : 20301 (java) S 20276 20279 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27106323 10060525568 47624 33554432000 1073741824 1073778376 140733483858528 139941262406824 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 9824732

[startup+3.10089 s]
/proc/loadavg: 4.30 4.09 3.34 7/219 20301
/proc/meminfo: memFree=30734264/32872528 swapFree=681168/738400
[pid=20279] ppid=20276 vsize=9824732 CPUtime=8.57 cores=1,3,5,7
/proc/20279/stat : 20279 (java) S 20276 20279 20053 0 -1 4202496 25241 0 1 0 840 17 0 0 20 0 22 0 27106271 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 140733483849664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20279/statm: 2456183 87735 2292 9 0 2446860 0
[pid=20279/tid=20280] ppid=20276 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/20279/task/20280/stat : 20280 (java) S 20276 20279 20053 0 -1 4202560 2537 0 1 0 46 2 0 0 20 0 22 0 27106272 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941449773944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20282] ppid=20276 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/20279/task/20282/stat : 20282 (java) S 20276 20279 20053 0 -1 4202560 36 0 0 0 3 2 0 0 20 0 22 0 27106273 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941293766824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20283] ppid=20276 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20279/task/20283/stat : 20283 (java) S 20276 20279 20053 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 27106273 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941292714280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20284] ppid=20276 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/20279/task/20284/stat : 20284 (java) S 20276 20279 20053 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 22 0 27106273 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941291661736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20285] ppid=20276 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/20279/task/20285/stat : 20285 (java) S 20276 20279 20053 0 -1 4202560 22 0 0 0 4 2 0 0 20 0 22 0 27106273 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941290609192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20286] ppid=20276 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20279/task/20286/stat : 20286 (java) S 20276 20279 20053 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 22 0 27106273 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941289556648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20287] ppid=20276 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/20279/task/20287/stat : 20287 (java) S 20276 20279 20053 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 22 0 27106273 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941288504104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20288] ppid=20276 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20279/task/20288/stat : 20288 (java) S 20276 20279 20053 0 -1 4202560 18 0 0 0 2 1 0 0 20 0 22 0 27106273 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941287451560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20289] ppid=20276 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/20279/task/20289/stat : 20289 (java) S 20276 20279 20053 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 27106273 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941286399016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20290] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20290/stat : 20290 (java) S 20276 20279 20053 0 -1 4202560 202 0 0 0 0 0 0 0 20 0 22 0 27106274 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941273987176 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20291] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20291/stat : 20291 (java) S 20276 20279 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27106274 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941272933496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20292] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20292/stat : 20292 (java) S 20276 20279 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27106274 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941271880840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20293] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20293/stat : 20293 (java) S 20276 20279 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27106276 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941270829584 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20294] ppid=20276 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/20279/task/20294/stat : 20294 (java) S 20276 20279 20053 0 -1 4202560 7340 0 0 0 116 2 0 0 20 0 22 0 27106276 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941269776952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20295] ppid=20276 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/20279/task/20295/stat : 20295 (java) S 20276 20279 20053 0 -1 4202560 13598 0 0 0 154 2 0 0 20 0 22 0 27106276 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941268724408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20296] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20296/stat : 20296 (java) S 20276 20279 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27106276 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941267672056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20297] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20297/stat : 20297 (java) S 20276 20279 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27106276 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941266619720 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20298] ppid=20276 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/20279/task/20298/stat : 20298 (java) R 20276 20279 20053 0 -1 4202560 20 0 0 0 242 0 0 0 20 0 22 0 27106322 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941265564064 139941323109530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20299] ppid=20276 vsize=9824732 CPUtime=2.43 cores=1,3,5,7
/proc/20279/task/20299/stat : 20299 (java) R 20276 20279 20053 0 -1 4202560 126 0 0 0 241 2 0 0 20 0 22 0 27106322 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941264510240 139941323092344 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20300] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20300/stat : 20300 (java) S 20276 20279 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27106323 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941263459368 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20301] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20301/stat : 20301 (java) S 20276 20279 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27106323 10060525568 87735 33554432000 1073741824 1073778376 140733483858528 139941262406824 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.57
Current children cumulated vsize (KiB) 9824732

[startup+6.30102 s]
/proc/loadavg: 4.30 4.09 3.34 5/219 20301
/proc/meminfo: memFree=30026916/32872528 swapFree=681168/738400
[pid=20279] ppid=20276 vsize=9824732 CPUtime=15.37 cores=1,3,5,7
/proc/20279/stat : 20279 (java) S 20276 20279 20053 0 -1 4202496 29985 0 1 0 1510 27 0 0 20 0 22 0 27106271 10060525568 156791 33554432000 1073741824 1073778376 140733483858528 140733483849664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20279/statm: 2456183 156791 2292 9 0 2446860 0
[pid=20279/tid=20280] ppid=20276 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/20279/task/20280/stat : 20280 (java) S 20276 20279 20053 0 -1 4202560 2537 0 1 0 46 2 0 0 20 0 22 0 27106272 10060525568 156791 33554432000 1073741824 1073778376 140733483858528 139941449773944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20282] ppid=20276 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/20279/task/20282/stat : 20282 (java) S 20276 20279 20053 0 -1 4202560 51 0 0 0 6 2 0 0 20 0 22 0 27106273 10060525568 156791 33554432000 1073741824 1073778376 140733483858528 139941293766824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20283] ppid=20276 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/20279/task/20283/stat : 20283 (java) S 20276 20279 20053 0 -1 4202560 81 0 0 0 4 2 0 0 20 0 22 0 27106273 10060525568 156791 33554432000 1073741824 1073778376 140733483858528 139941292714280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20284] ppid=20276 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/20279/task/20284/stat : 20284 (java) S 20276 20279 20053 0 -1 4202560 48 0 0 0 7 2 0 0 20 0 22 0 27106273 10060525568 156791 33554432000 1073741824 1073778376 140733483858528 139941291661736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20285] ppid=20276 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/20279/task/20285/stat : 20285 (java) S 20276 20279 20053 0 -1 4202560 34 0 0 0 5 2 0 0 20 0 22 0 27106273 10060525568 156791 33554432000 1073741824 1073778376 140733483858528 139941290609192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20286] ppid=20276 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/20279/task/20286/stat : 20286 (java) S 20276 20279 20053 0 -1 4202560 63 0 0 0 6 2 0 0 20 0 22 0 27106273 10060525568 156791 33554432000 1073741824 1073778376 140733483858528 139941289556648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20287] ppid=20276 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/20279/task/20287/stat : 20287 (java) S 20276 20279 20053 0 -1 4202560 76 0 0 0 5 2 0 0 20 0 22 0 27106273 10060525568 156791 33554432000 1073741824 1073778376 140733483858528 139941288504104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20288] ppid=20276 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/20279/task/20288/stat : 20288 (java) S 20276 20279 20053 0 -1 4202560 104 0 0 0 8 3 0 0 20 0 22 0 27106273 10060525568 156791 33554432000 1073741824 1073778376 140733483858528 139941287451560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20289] ppid=20276 vsize=9824732 CPUtime=0.04 cores=1,3,5,7

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

/proc/20279/task/20284/stat : 20284 (java) S 20276 20279 20053 0 -1 4202560 811 0 0 0 237 17 0 0 20 0 22 0 27106273 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941291661736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20285] ppid=20276 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/20279/task/20285/stat : 20285 (java) S 20276 20279 20053 0 -1 4202560 540 0 0 0 230 17 0 0 20 0 22 0 27106273 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941290609192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20286] ppid=20276 vsize=9824732 CPUtime=2.78 cores=1,3,5,7
/proc/20279/task/20286/stat : 20286 (java) S 20276 20279 20053 0 -1 4202560 784 0 0 0 260 18 0 0 20 0 22 0 27106273 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941289556648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20287] ppid=20276 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/20279/task/20287/stat : 20287 (java) S 20276 20279 20053 0 -1 4202560 670 0 0 0 226 16 0 0 20 0 22 0 27106273 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941288504104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20288] ppid=20276 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/20279/task/20288/stat : 20288 (java) S 20276 20279 20053 0 -1 4202560 734 0 0 0 231 16 0 0 20 0 22 0 27106273 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941287451560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20289] ppid=20276 vsize=9824732 CPUtime=2.59 cores=1,3,5,7
/proc/20279/task/20289/stat : 20289 (java) S 20276 20279 20053 0 -1 4202560 496 0 0 0 243 16 0 0 20 0 22 0 27106273 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941286399016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20290] ppid=20276 vsize=9824732 CPUtime=3.57 cores=1,3,5,7
/proc/20279/task/20290/stat : 20290 (java) S 20276 20279 20053 0 -1 4202560 2233 0 0 0 345 12 0 0 20 0 22 0 27106274 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941273987176 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20291] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20291/stat : 20291 (java) S 20276 20279 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27106274 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941272933496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20292] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20292/stat : 20292 (java) S 20276 20279 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27106274 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941271880840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20293] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20293/stat : 20293 (java) S 20276 20279 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27106276 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941270829584 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20294] ppid=20276 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/20279/task/20294/stat : 20294 (java) S 20276 20279 20053 0 -1 4202560 16288 0 0 0 197 3 0 0 20 0 22 0 27106276 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941269776952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20295] ppid=20276 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/20279/task/20295/stat : 20295 (java) S 20276 20279 20053 0 -1 4202560 13622 0 0 0 183 2 0 0 20 0 22 0 27106276 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941268724408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20296] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20296/stat : 20296 (java) S 20276 20279 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27106276 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941267672056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20297] ppid=20276 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/20279/task/20297/stat : 20297 (java) S 20276 20279 20053 0 -1 4202560 47 0 0 0 16 20 0 0 20 0 22 0 27106276 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941266619720 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20298] ppid=20276 vsize=9824732 CPUtime=810.57 cores=1,3,5,7
/proc/20279/task/20298/stat : 20298 (java) R 20276 20279 20053 0 -1 4202560 76 0 0 0 81042 15 0 0 20 0 22 0 27106322 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941265562848 139941323049149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20299] ppid=20276 vsize=9824732 CPUtime=810.42 cores=1,3,5,7
/proc/20279/task/20299/stat : 20299 (java) R 20276 20279 20053 0 -1 4202560 1803 0 0 0 80995 47 0 0 20 0 22 0 27106322 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941264509488 139941323089289 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20300] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20300/stat : 20300 (java) S 20276 20279 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27106323 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941263459368 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20301] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20301/stat : 20301 (java) S 20276 20279 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27106323 10060525568 925852 33554432000 1073741824 1073778376 140733483858528 139941262406824 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1653.62
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.16 4.22 3.85 5/219 20320
/proc/meminfo: memFree=23854700/32872528 swapFree=681168/738400
[pid=20279] ppid=20276 vsize=9824732 CPUtime=1774.27 cores=1,3,5,7
/proc/20279/stat : 20279 (java) S 20276 20279 20053 0 -1 4202496 43146 0 1 0 177216 211 0 0 20 0 22 0 27106271 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 140733483849664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20279/statm: 2456183 932513 2301 9 0 2446860 0
[pid=20279/tid=20280] ppid=20276 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/20279/task/20280/stat : 20280 (java) S 20276 20279 20053 0 -1 4202560 2545 0 1 0 49 4 0 0 20 0 22 0 27106272 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941449773944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20282] ppid=20276 vsize=9824732 CPUtime=2.97 cores=1,3,5,7
/proc/20279/task/20282/stat : 20282 (java) S 20276 20279 20053 0 -1 4202560 579 0 0 0 281 16 0 0 20 0 22 0 27106273 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941293766824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20283] ppid=20276 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/20279/task/20283/stat : 20283 (java) S 20276 20279 20053 0 -1 4202560 594 0 0 0 224 15 0 0 20 0 22 0 27106273 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941292714280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20284] ppid=20276 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/20279/task/20284/stat : 20284 (java) S 20276 20279 20053 0 -1 4202560 815 0 0 0 251 17 0 0 20 0 22 0 27106273 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941291661736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20285] ppid=20276 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/20279/task/20285/stat : 20285 (java) S 20276 20279 20053 0 -1 4202560 546 0 0 0 249 17 0 0 20 0 22 0 27106273 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941290609192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20286] ppid=20276 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/20279/task/20286/stat : 20286 (java) S 20276 20279 20053 0 -1 4202560 796 0 0 0 270 18 0 0 20 0 22 0 27106273 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941289556648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20287] ppid=20276 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/20279/task/20287/stat : 20287 (java) S 20276 20279 20053 0 -1 4202560 676 0 0 0 245 16 0 0 20 0 22 0 27106273 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941288504104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20288] ppid=20276 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/20279/task/20288/stat : 20288 (java) S 20276 20279 20053 0 -1 4202560 742 0 0 0 248 17 0 0 20 0 22 0 27106273 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941287451560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20289] ppid=20276 vsize=9824732 CPUtime=2.78 cores=1,3,5,7
/proc/20279/task/20289/stat : 20289 (java) S 20276 20279 20053 0 -1 4202560 498 0 0 0 262 16 0 0 20 0 22 0 27106273 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941286399016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20290] ppid=20276 vsize=9824732 CPUtime=3.58 cores=1,3,5,7
/proc/20279/task/20290/stat : 20290 (java) S 20276 20279 20053 0 -1 4202560 2241 0 0 0 345 13 0 0 20 0 22 0 27106274 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941273987176 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20291] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20291/stat : 20291 (java) S 20276 20279 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27106274 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941272933496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20292] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20292/stat : 20292 (java) S 20276 20279 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27106274 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941271880840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20293] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20293/stat : 20293 (java) S 20276 20279 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27106276 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941270829584 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20294] ppid=20276 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/20279/task/20294/stat : 20294 (java) S 20276 20279 20053 0 -1 4202560 16288 0 0 0 197 3 0 0 20 0 22 0 27106276 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941269776952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20295] ppid=20276 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/20279/task/20295/stat : 20295 (java) S 20276 20279 20053 0 -1 4202560 13622 0 0 0 183 2 0 0 20 0 22 0 27106276 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941268724408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20296] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20296/stat : 20296 (java) S 20276 20279 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27106276 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941267672056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20297] ppid=20276 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/20279/task/20297/stat : 20297 (java) S 20276 20279 20053 0 -1 4202560 51 0 0 0 17 22 0 0 20 0 22 0 27106276 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941266619720 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20298] ppid=20276 vsize=9824732 CPUtime=870.05 cores=1,3,5,7
/proc/20279/task/20298/stat : 20298 (java) R 20276 20279 20053 0 -1 4202560 78 0 0 0 86989 16 0 0 20 0 22 0 27106322 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941265562128 139941323065614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20299] ppid=20276 vsize=9824732 CPUtime=869.9 cores=1,3,5,7
/proc/20279/task/20299/stat : 20299 (java) R 20276 20279 20053 0 -1 4202560 1809 0 0 0 86942 48 0 0 20 0 22 0 27106322 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941264510256 139941322852432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20300] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20300/stat : 20300 (java) S 20276 20279 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27106323 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941263459368 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20301] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20301/stat : 20301 (java) S 20276 20279 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27106323 10060525568 932513 33554432000 1073741824 1073778376 140733483858528 139941262406824 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1774.27
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.201 s]
/proc/loadavg: 4.13 4.21 3.86 5/219 20320
/proc/meminfo: memFree=23838196/32872528 swapFree=681168/738400
[pid=20279] ppid=20276 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7
/proc/20279/stat : 20279 (java) S 20276 20279 20053 0 -1 4202496 43156 0 1 0 179804 212 0 0 20 0 22 0 27106271 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 140733483849664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20279/statm: 2456183 933541 2301 9 0 2446860 0
[pid=20279/tid=20280] ppid=20276 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/20279/task/20280/stat : 20280 (java) S 20276 20279 20053 0 -1 4202560 2545 0 1 0 49 4 0 0 20 0 22 0 27106272 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941449773944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20282] ppid=20276 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/20279/task/20282/stat : 20282 (java) S 20276 20279 20053 0 -1 4202560 579 0 0 0 283 16 0 0 20 0 22 0 27106273 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941293766824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20283] ppid=20276 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/20279/task/20283/stat : 20283 (java) S 20276 20279 20053 0 -1 4202560 596 0 0 0 227 15 0 0 20 0 22 0 27106273 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941292714280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20284] ppid=20276 vsize=9824732 CPUtime=2.74 cores=1,3,5,7
/proc/20279/task/20284/stat : 20284 (java) S 20276 20279 20053 0 -1 4202560 815 0 0 0 256 18 0 0 20 0 22 0 27106273 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941291661736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20285] ppid=20276 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/20279/task/20285/stat : 20285 (java) S 20276 20279 20053 0 -1 4202560 546 0 0 0 251 17 0 0 20 0 22 0 27106273 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941290609192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20286] ppid=20276 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/20279/task/20286/stat : 20286 (java) S 20276 20279 20053 0 -1 4202560 796 0 0 0 271 18 0 0 20 0 22 0 27106273 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941289556648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20287] ppid=20276 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/20279/task/20287/stat : 20287 (java) S 20276 20279 20053 0 -1 4202560 676 0 0 0 249 16 0 0 20 0 22 0 27106273 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941288504104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20288] ppid=20276 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/20279/task/20288/stat : 20288 (java) S 20276 20279 20053 0 -1 4202560 743 0 0 0 250 17 0 0 20 0 22 0 27106273 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941287451560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20289] ppid=20276 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/20279/task/20289/stat : 20289 (java) S 20276 20279 20053 0 -1 4202560 500 0 0 0 264 16 0 0 20 0 22 0 27106273 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941286399016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20290] ppid=20276 vsize=9824732 CPUtime=3.58 cores=1,3,5,7
/proc/20279/task/20290/stat : 20290 (java) S 20276 20279 20053 0 -1 4202560 2245 0 0 0 345 13 0 0 20 0 22 0 27106274 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941273987176 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20291] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20291/stat : 20291 (java) S 20276 20279 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27106274 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941272933496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20292] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20292/stat : 20292 (java) S 20276 20279 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27106274 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941271880840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20293] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20293/stat : 20293 (java) S 20276 20279 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27106276 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941270829584 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20294] ppid=20276 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/20279/task/20294/stat : 20294 (java) S 20276 20279 20053 0 -1 4202560 16288 0 0 0 197 3 0 0 20 0 22 0 27106276 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941269776952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20279/tid=20295] ppid=20276 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/20279/task/20295/stat : 20295 (java) S 20276 20279 20053 0 -1 4202560 13622 0 0 0 183 2 0 0 20 0 22 0 27106276 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941268724408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20296] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20296/stat : 20296 (java) S 20276 20279 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27106276 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941267672056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20279/tid=20297] ppid=20276 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/20279/task/20297/stat : 20297 (java) S 20276 20279 20053 0 -1 4202560 51 0 0 0 18 22 0 0 20 0 22 0 27106276 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941266619720 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20298] ppid=20276 vsize=9824732 CPUtime=882.86 cores=1,3,5,7
/proc/20279/task/20298/stat : 20298 (java) R 20276 20279 20053 0 -1 4202560 78 0 0 0 88270 16 0 0 20 0 22 0 27106322 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941265555184 139941323049149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20279/tid=20299] ppid=20276 vsize=9824732 CPUtime=882.7 cores=1,3,5,7
/proc/20279/task/20299/stat : 20299 (java) R 20276 20279 20053 0 -1 4202560 1810 0 0 0 88222 48 0 0 20 0 22 0 27106322 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941264510176 139941323091035 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20300] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20300/stat : 20300 (java) S 20276 20279 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27106323 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941263459368 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20279/tid=20301] ppid=20276 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20279/task/20301/stat : 20301 (java) S 20276 20279 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27106323 10060525568 933541 33554432000 1073741824 1073778376 140733483858528 139941262406824 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
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 20279 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20279 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=618328
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=585606
# CPU time returned by wait4() is 1796.2
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 895.289
CPU time (s): 1800.16
CPU user time (s): 1798.04
CPU system time (s): 2.12
CPU usage (%): 201.07
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.62
system time used= 2.58561
maximum resident set size= 3734280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43190
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24025
involuntary context switches= 29488

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.71213 second user time and 7.66483 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-26 13:31:08
IDJOB=4115870
IDBENCH=109399
IDSOLVER=2543
FILE ID=node112/4115870-1466940668
RUNJOBID= node112-1466939767-20070
PBS_JOBID= 19976335
Free space on /tmp= 71688 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-0.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115870-1466940668/watcher-4115870-1466940668 -o /tmp/evaluation-result-4115870-1466940668/solver-4115870-1466940668 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466939767-20070 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4115870-1466940668.opb

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

MD5SUM BENCH= 80aaf8924f6ff1db370b1fb6930c6ef9
RANDOM SEED=1558529853

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
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.959
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.56
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.959
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.959
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:        31202048 kB
Buffers:            3888 kB
Cached:           145028 kB
SwapCached:         1712 kB
Active:           104116 kB
Inactive:         129624 kB
Active(anon):      84276 kB
Inactive(anon):     2540 kB
Active(file):      19840 kB
Inactive(file):   127084 kB
Unevictable:      738400 kB
Mlocked:          681168 kB
SwapTotal:      67108856 kB
SwapFree:       67098656 kB
Dirty:              2200 kB
Writeback:             0 kB
AnonPages:        808072 kB
Mapped:            15228 kB
Shmem:                 0 kB
Slab:             565576 kB
SReclaimable:       8788 kB
SUnreclaim:       556788 kB
KernelStack:        1440 kB
PageTables:         5844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1430248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 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= 71688 MiB
End job on node112 at 2016-06-26 13:46:03