Trace number 4080571

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.84 895.883

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K94.opb
MD5SUM08b0e704e28720f9a0455d95c872079f
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 variables6392
Total number of constraints6582
Number of constraints which are clauses6488
Number of constraints which are cardinality constraints (but not clauses)94
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint94
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 95
Number of bits of the biggest sum of numbers7
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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-4080571-1465275211.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
0.80/0.47	c ... done. Wall clock time 0.347s.
0.80/0.47	c declared #vars     6392
0.80/0.47	c #constraints  6582
0.80/0.47	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.80/0.47	c constraints type 
0.80/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5277
0.80/0.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 94
0.80/0.47	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.80/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1209
0.80/0.47	c 6582 constraints processed.
0.80/0.47	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.80/0.47	c constraints type 
0.80/0.47	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1209
0.80/0.47	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5277
0.80/0.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 94
0.80/0.47	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.80/0.47	c 6582 constraints processed.
5.98/2.11	c cleaning 2490 clauses out of 4996 with flag 25232/5000
9.56/3.59	c cleaning 4248 clauses out of 8500 with flag 60498/11000
13.29/5.31	c cleaning 5600 clauses out of 11242 with flag 107461/18000
17.20/7.24	c cleaning 6809 clauses out of 13639 with flag 159887/26001
25.30/11.17	c cleaning 7911 clauses out of 15825 with flag 220969/35001
30.98/13.90	c cleaning 8892 clauses out of 17911 with flag 281576/45000
36.79/16.83	c cleaning 9730 clauses out of 20015 with flag 345269/56000
42.59/19.75	c cleaning 10205 clauses out of 22282 with flag 412834/68000
49.19/23.06	c cleaning 11076 clauses out of 25081 with flag 482607/81006
56.96/26.89	c cleaning 11874 clauses out of 27999 with flag 567913/95000
66.13/31.38	c cleaning 12837 clauses out of 31125 with flag 657668/110000
75.62/36.07	c cleaning 13691 clauses out of 34288 with flag 754830/126002
86.61/41.57	c cleaning 14604 clauses out of 37595 with flag 859711/143002
97.55/46.99	c cleaning 15298 clauses out of 40989 with flag 966724/161000
109.72/52.93	c cleaning 16574 clauses out of 44691 with flag 1086918/180000
121.11/58.67	c cleaning 16895 clauses out of 48115 with flag 1206129/200000
134.42/65.27	c cleaning 17952 clauses out of 52219 with flag 1339041/221000
148.69/72.36	c cleaning 18940 clauses out of 56256 with flag 1476089/243001
163.08/79.59	c cleaning 19733 clauses out of 60313 with flag 1622610/266000
181.05/88.82	c cleaning 20742 clauses out of 64576 with flag 1776498/290000
197.68/97.13	c cleaning 21732 clauses out of 68832 with flag 1938553/315000
213.87/105.21	c cleaning 22801 clauses out of 73100 with flag 2103937/341000
232.35/114.45	c cleaning 23200 clauses out of 77300 with flag 2278784/368003
252.50/124.45	c cleaning 24376 clauses out of 82094 with flag 2461187/396001
272.02/134.10	c cleaning 25384 clauses out of 86717 with flag 2651476/425000
291.94/144.00	c cleaning 26173 clauses out of 91333 with flag 2848175/455000
313.74/154.85	c cleaning 27188 clauses out of 96160 with flag 3060479/486001
334.54/165.27	c cleaning 0 clauses out of 5000 with flag 0/5000
337.53/166.52	c cleaning 28172 clauses out of 100970 with flag 3283486/518000
361.31/178.21	c cleaning 28928 clauses out of 105797 with flag 3512591/551000
389.91/192.91	c cleaning 29944 clauses out of 110872 with flag 3759116/585004
415.41/205.65	c cleaning 30899 clauses out of 115925 with flag 4008106/620002
445.39/220.52	c cleaning 31860 clauses out of 121026 with flag 4265354/656002
475.19/235.38	c cleaning 32497 clauses out of 126162 with flag 4535462/693000
506.07/250.69	c cleaning 33518 clauses out of 131668 with flag 4826598/731003
536.63/265.84	c cleaning 34824 clauses out of 137145 with flag 5131405/770000
570.47/282.57	c cleaning 35623 clauses out of 142321 with flag 5436900/810000
607.54/300.84	c cleaning 36732 clauses out of 147696 with flag 5756871/851000
644.41/319.08	c cleaning 37498 clauses out of 152963 with flag 6070769/893000
684.82/338.95	c cleaning 38594 clauses out of 158465 with flag 6418099/936000
721.35/357.18	c cleaning 39630 clauses out of 163872 with flag 6774637/980001
758.34/375.62	c cleaning 40424 clauses out of 169242 with flag 7133319/1025001
796.97/394.98	c cleaning 41337 clauses out of 174816 with flag 7520127/1071000
835.55/414.27	c cleaning 42720 clauses out of 180480 with flag 7921968/1118001
875.34/434.10	c cleaning 43400 clauses out of 185759 with flag 8322306/1166000
916.73/454.81	c cleaning 44412 clauses out of 191359 with flag 8723701/1215000
960.73/476.85	c cleaning 45537 clauses out of 196946 with flag 9152976/1265000
1005.58/499.19	c cleaning 46445 clauses out of 202409 with flag 9596636/1316000
1053.17/522.97	c cleaning 47465 clauses out of 207964 with flag 10050667/1368001
1099.96/546.38	c cleaning 48442 clauses out of 213495 with flag 10509335/1421000
1151.75/572.21	c cleaning 49706 clauses out of 219055 with flag 10993803/1475002
1203.15/597.92	c cleaning 50655 clauses out of 224347 with flag 11500642/1530000
1265.86/629.88	c cleaning 51805 clauses out of 229690 with flag 12012973/1586000
1332.91/663.01	c cleaning 52549 clauses out of 234886 with flag 12554333/1643001
1402.96/697.75	c cleaning 53421 clauses out of 240338 with flag 13164707/1701002
1473.46/732.75	c cleaning 54664 clauses out of 245915 with flag 13744452/1760000
1542.70/767.25	c cleaning 55616 clauses out of 251250 with flag 14315150/1820000
1610.04/800.88	c cleaning 56892 clauses out of 256635 with flag 14902129/1881001
1676.13/833.87	c cleaning 58108 clauses out of 261742 with flag 15509916/1943000
1745.30/868.46	c cleaning 58744 clauses out of 266637 with flag 16148766/2006003
1800.10/895.80	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.10/895.80	c starts		: 14827
1800.10/895.80	c conflicts		: 2061248
1800.10/895.80	c decisions		: 31146968
1800.10/895.80	c propagations		: 759968664
1800.10/895.80	c inspects		: 5294783178
1800.10/895.80	c shortcuts		: 0
1800.10/895.80	c learnt literals	: 94
1800.10/895.80	c learnt binary clauses	: 79356
1800.10/895.80	c learnt ternary clauses	: 85421
1800.10/895.80	c learnt constraints	: 2061153
1800.10/895.80	c ignored constraints	: 0
1800.10/895.80	c root simplifications	: 0
1800.10/895.80	c removed literals (reason simplification)	: 31293829
1800.10/895.80	c reason swapping (by a shorter reason)	: 0
1800.10/895.80	c Calls to reduceDB	: 59
1800.10/895.80	c Number of update (reduction) of LBD	: 1691443
1800.10/895.80	c Imported unit clauses	: 0
1800.10/895.80	c number of reductions to clauses (during analyze)	: 0
1800.10/895.80	c number of learned constraints concerned by reduction	: 0
1800.10/895.80	c number of learning phase by resolution	: 0
1800.10/895.80	c number of learning phase by cutting planes	: 0
1800.10/895.80	c speed (assignments/second)	: 848825.405051613
1800.10/895.80	c non guided choices	7015
1800.10/895.86	c learnt constraints type 
1800.10/895.86	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 79356
1800.10/895.86	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 183782
1800.10/895.86	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.10/895.86	c starts		: 28
1800.10/895.86	c conflicts		: 7864
1800.10/895.86	c decisions		: 73892
1800.10/895.86	c propagations		: 2644111
1800.10/895.86	c inspects		: 443545826
1800.10/895.86	c shortcuts		: 0
1800.10/895.86	c learnt literals	: 0
1800.10/895.86	c learnt binary clauses	: 0
1800.10/895.86	c learnt ternary clauses	: 0
1800.10/895.86	c learnt constraints	: 7863
1800.10/895.86	c ignored constraints	: 0
1800.10/895.86	c root simplifications	: 0
1800.10/895.86	c removed literals (reason simplification)	: 0
1800.10/895.86	c reason swapping (by a shorter reason)	: 0
1800.10/895.86	c Calls to reduceDB	: 1
1800.10/895.86	c Number of update (reduction) of LBD	: 0
1800.10/895.86	c Imported unit clauses	: 0
1800.10/895.86	c number of reductions to clauses (during analyze)	: 0
1800.10/895.86	c number of learned constraints concerned by reduction	: 0
1800.10/895.86	c number of learning phase by resolution	: 0
1800.10/895.86	c number of learning phase by cutting planes	: 0
1800.10/895.86	c speed (assignments/second)	: 2953.070047588893
1800.10/895.86	c non guided choices	258
1800.10/895.86	c learnt constraints type 
1800.10/895.86	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 182
1800.10/895.86	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1020
1800.10/895.86	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6661
1800.10/895.86	s UNKNOWN
1800.10/895.86	c Total wall clock time (in seconds): 895.741

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-4080571-1465275211/watcher-4080571-1465275211 -o /tmp/evaluation-result-4080571-1465275211/solver-4080571-1465275211 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465261736-14347 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080571-1465275211.opb 

pid=18412
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 4.01 4.08 4.03 4/197 18415
/proc/meminfo: memFree=28277660/32872528 swapFree=9100/9100
[pid=18415] ppid=18412 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/18415/stat : 18415 (java) R 18412 18415 14331 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 109452276 5767168 55 33554432000 1073741824 1073778376 140734272883200 140734272880328 243756264743 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18415/statm: 2303 60 47 9 0 35 0

[startup+0.10006 s]
/proc/loadavg: 4.01 4.08 4.03 4/197 18415
/proc/meminfo: memFree=28277660/32872528 swapFree=9100/9100
[pid=18415] ppid=18412 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/18415/stat : 18415 (java) S 18412 18415 14331 0 -1 4202496 4395 0 1 0 8 1 0 0 20 0 18 0 109452276 9787879424 6035 33554432000 1073741824 1073778376 140734272883200 140734272874336 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18415/statm: 2389619 6035 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200217 s]
/proc/loadavg: 4.01 4.08 4.03 4/197 18415
/proc/meminfo: memFree=28277660/32872528 swapFree=9100/9100
[pid=18415] ppid=18412 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/18415/stat : 18415 (java) S 18412 18415 14331 0 -1 4202496 6253 0 1 0 27 1 0 0 20 0 18 0 109452276 9787879424 7879 33554432000 1073741824 1073778376 140734272883200 140734272874336 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18415/statm: 2389619 7879 2209 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300226 s]
/proc/loadavg: 4.01 4.08 4.03 4/197 18415
/proc/meminfo: memFree=28277660/32872528 swapFree=9100/9100
[pid=18415] ppid=18412 vsize=9558476 CPUtime=0.56 cores=0,2,4,6
/proc/18415/stat : 18415 (java) S 18412 18415 14331 0 -1 4202496 7120 0 1 0 55 1 0 0 20 0 18 0 109452276 9787879424 10418 33554432000 1073741824 1073778376 140734272883200 140734272874336 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18415/statm: 2389619 10418 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558476

[startup+0.700185 s]
/proc/loadavg: 4.01 4.08 4.03 4/197 18415
/proc/meminfo: memFree=28277660/32872528 swapFree=9100/9100
[pid=18415] ppid=18412 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/18415/stat : 18415 (java) S 18412 18415 14331 0 -1 4202496 19720 0 1 0 186 4 0 0 20 0 22 0 109452276 10060525568 28235 33554432000 1073741824 1073778376 140734272883200 140734272874336 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18415/statm: 2456183 28235 2256 9 0 2446860 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 9824732

[startup+1.50083 s]
/proc/loadavg: 4.01 4.08 4.03 7/219 18437
/proc/meminfo: memFree=28172888/32872528 swapFree=9100/9100
[pid=18415] ppid=18412 vsize=9824732 CPUtime=4.41 cores=0,2,4,6
/proc/18415/stat : 18415 (java) S 18412 18415 14331 0 -1 4202496 19753 0 1 0 437 4 0 0 20 0 22 0 109452276 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 140734272874336 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18415/statm: 2456183 31314 2275 9 0 2446860 0
[pid=18415/tid=18417] ppid=18412 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/18415/task/18417/stat : 18417 (java) S 18412 18415 14331 0 -1 4202560 2484 0 1 0 42 2 0 0 20 0 22 0 109452277 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703263581048 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18415/tid=18418] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18418/stat : 18418 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452278 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703225071784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18419] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18419/stat : 18419 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452278 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703224019240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18420] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18420/stat : 18420 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452278 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703222966696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18421] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18421/stat : 18421 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452278 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703221914152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18415/tid=18422] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18422/stat : 18422 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452278 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703220861608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18423] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18423/stat : 18423 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452278 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703219809064 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18415/tid=18424] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18424/stat : 18424 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452278 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703218756520 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18425] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18425/stat : 18425 (java) S 18412 18415 14331 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109452278 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703217703976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18426] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18426/stat : 18426 (java) S 18412 18415 14331 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 109452279 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703086991464 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18427] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18427/stat : 18427 (java) S 18412 18415 14331 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 109452280 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703085937784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18428] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18428/stat : 18428 (java) S 18412 18415 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109452280 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703084885128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18429] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18429/stat : 18429 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452282 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703083833872 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18430] ppid=18412 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/18415/task/18430/stat : 18430 (java) R 18412 18415 14331 0 -1 4202560 9256 0 0 0 92 2 0 0 20 0 22 0 109452282 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703082781120 139703270567495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18431] ppid=18412 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/18415/task/18431/stat : 18431 (java) S 18412 18415 14331 0 -1 4202560 6666 0 0 0 97 0 0 0 20 0 22 0 109452282 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703081728696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18432] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18432/stat : 18432 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452282 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703080676344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18433] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18433/stat : 18433 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452282 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703079624008 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18434] ppid=18412 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/18415/task/18434/stat : 18434 (java) R 18412 18415 14331 0 -1 4202560 28 0 0 0 101 0 0 0 20 0 22 0 109452324 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703078565928 139703089986100 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18435] ppid=18412 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/18415/task/18435/stat : 18435 (java) R 18412 18415 14331 0 -1 4202560 40 0 0 0 100 0 0 0 20 0 22 0 109452324 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703077513736 139703090139702 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=18415/tid=18436] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18436/stat : 18436 (java) S 18412 18415 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109452325 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703076463656 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18437] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18437/stat : 18437 (java) S 18412 18415 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109452325 10060525568 31314 33554432000 1073741824 1073778376 140734272883200 139703075411112 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 9824732

[startup+3.10086 s]
/proc/loadavg: 4.17 4.11 4.04 7/219 18437
/proc/meminfo: memFree=28077320/32872528 swapFree=9100/9100
[pid=18415] ppid=18412 vsize=9824732 CPUtime=8.63 cores=0,2,4,6
/proc/18415/stat : 18415 (java) S 18412 18415 14331 0 -1 4202496 22830 0 1 0 854 9 0 0 20 0 22 0 109452276 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 140734272874336 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18415/statm: 2456183 55514 2292 9 0 2446860 0
[pid=18415/tid=18417] ppid=18412 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/18415/task/18417/stat : 18417 (java) S 18412 18415 14331 0 -1 4202560 2484 0 1 0 42 2 0 0 20 0 22 0 109452277 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703263581048 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18415/tid=18418] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18418/stat : 18418 (java) S 18412 18415 14331 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 109452278 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703225071784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18419] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18419/stat : 18419 (java) S 18412 18415 14331 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109452278 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703224019240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18420] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18420/stat : 18420 (java) S 18412 18415 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109452278 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703222966696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18421] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18421/stat : 18421 (java) S 18412 18415 14331 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 109452278 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703221914152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18422] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18422/stat : 18422 (java) S 18412 18415 14331 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 109452278 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703220861608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18423] ppid=18412 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/18415/task/18423/stat : 18423 (java) S 18412 18415 14331 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 109452278 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703219809064 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18424] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18424/stat : 18424 (java) S 18412 18415 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109452278 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703218756520 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18425] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18425/stat : 18425 (java) S 18412 18415 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109452278 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703217703976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18426] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18426/stat : 18426 (java) S 18412 18415 14331 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 109452279 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703086991464 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18427] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18427/stat : 18427 (java) S 18412 18415 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109452280 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703085937784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18428] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18428/stat : 18428 (java) S 18412 18415 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109452280 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703084885128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18429] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18429/stat : 18429 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452282 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703083833872 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18430] ppid=18412 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/18415/task/18430/stat : 18430 (java) S 18412 18415 14331 0 -1 4202560 9280 0 0 0 124 2 0 0 20 0 22 0 109452282 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703082781240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18431] ppid=18412 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/18415/task/18431/stat : 18431 (java) S 18412 18415 14331 0 -1 4202560 9549 0 0 0 164 2 0 0 20 0 22 0 109452282 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703081728696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18432] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18432/stat : 18432 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452282 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703080676344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18433] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18433/stat : 18433 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452282 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703079624008 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18434] ppid=18412 vsize=9824732 CPUtime=2.57 cores=0,2,4,6
/proc/18415/task/18434/stat : 18434 (java) R 18412 18415 14331 0 -1 4202560 29 0 0 0 257 0 0 0 20 0 22 0 109452324 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703078566128 139703089671168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18435] ppid=18412 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/18415/task/18435/stat : 18435 (java) R 18412 18415 14331 0 -1 4202560 75 0 0 0 252 2 0 0 20 0 22 0 109452324 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703077515112 139703090253150 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=18415/tid=18436] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18436/stat : 18436 (java) S 18412 18415 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109452325 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703076463656 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18437] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18437/stat : 18437 (java) S 18412 18415 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109452325 10060525568 55514 33554432000 1073741824 1073778376 140734272883200 139703075411112 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.63
Current children cumulated vsize (KiB) 9824732

[startup+6.30098 s]
/proc/loadavg: 4.17 4.11 4.04 11/219 18437
/proc/meminfo: memFree=27882228/32872528 swapFree=9100/9100
[pid=18415] ppid=18412 vsize=9824732 CPUtime=15.4 cores=0,2,4,6
/proc/18415/stat : 18415 (java) S 18412 18415 14331 0 -1 4202496 23734 0 1 0 1519 21 0 0 20 0 22 0 109452276 10060525568 100732 33554432000 1073741824 1073778376 140734272883200 140734272874336 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18415/statm: 2456183 100732 2292 9 0 2446860 0
[pid=18415/tid=18417] ppid=18412 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/18415/task/18417/stat : 18417 (java) S 18412 18415 14331 0 -1 4202560 2485 0 1 0 42 2 0 0 20 0 22 0 109452277 10060525568 100732 33554432000 1073741824 1073778376 140734272883200 139703263581048 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18418] ppid=18412 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/18415/task/18418/stat : 18418 (java) S 18412 18415 14331 0 -1 4202560 160 0 0 0 7 2 0 0 20 0 22 0 109452278 10060525568 100732 33554432000 1073741824 1073778376 140734272883200 139703225071784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18415/tid=18419] ppid=18412 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/18415/task/18419/stat : 18419 (java) S 18412 18415 14331 0 -1 4202560 122 0 0 0 7 2 0 0 20 0 22 0 109452278 10060525568 100732 33554432000 1073741824 1073778376 140734272883200 139703224019240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18420] ppid=18412 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/18415/task/18420/stat : 18420 (java) S 18412 18415 14331 0 -1 4202560 56 0 0 0 4 0 0 0 20 0 22 0 109452278 10060525568 100732 33554432000 1073741824 1073778376 140734272883200 139703222966696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18421] ppid=18412 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/18415/task/18421/stat : 18421 (java) S 18412 18415 14331 0 -1 4202560 47 0 0 0 4 1 0 0 20 0 22 0 109452278 10060525568 100732 33554432000 1073741824 1073778376 140734272883200 139703221914152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18422] ppid=18412 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/18415/task/18422/stat : 18422 (java) S 18412 18415 14331 0 -1 4202560 174 0 0 0 9 3 0 0 20 0 22 0 109452278 10060525568 100732 33554432000 1073741824 1073778376 140734272883200 139703220861608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18423] ppid=18412 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/18415/task/18423/stat : 18423 (java) S 18412 18415 14331 0 -1 4202560 56 0 0 0 3 2 0 0 20 0 22 0 109452278 10060525568 100732 33554432000 1073741824 1073778376 140734272883200 139703219809064 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18424] ppid=18412 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/18415/task/18424/stat : 18424 (java) S 18412 18415 14331 0 -1 4202560 47 0 0 0 2 1 0 0 20 0 22 0 109452278 10060525568 100732 33554432000 1073741824 1073778376 140734272883200 139703218756520 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18425] ppid=18412 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/18415/task/18425/stat : 18425 (java) S 18412 18415 14331 0 -1 4202560 128 0 0 0 4 2 0 0 20 0 22 0 109452278 10060525568 100732 33554432000 1073741824 1073778376 140734272883200 139703217703976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18415/tid=18426] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18426/stat : 18426 (java) S 18412 18415 14331 0 -1 4202560 212 0 0 0 0 0 0 0 20 0 22 0 109452279 10060525568 100732 33554432000 1073741824 1073778376 140734272883200 139703086991464 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18415/tid=18427] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18427/stat : 18427 (java) S 18412 18415 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109452280 10060525568 100732 33554432000 1073741824 1073778376 140734272883200 139703085937784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18428] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18428/stat : 18428 (java) S 18412 18415 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109452280 10060525568 100732 33554432000 1073741824 1073778376 140734272883200 139703084885128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18429] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18429/stat : 18429 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452282 10060525568 100732 33554432000 1073741824 1073778376 140734272883200 139703083833872 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18430] ppid=18412 vsize=9824732 CPUtime=1.34 cores=0,2,4,6

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


[startup+822.301 s]
/proc/loadavg: 4.05 4.15 4.07 5/218 18546
/proc/meminfo: memFree=24341248/32872528 swapFree=9100/9100
[pid=18415] ppid=18412 vsize=9824732 CPUtime=1653.11 cores=0,2,4,6
/proc/18415/stat : 18415 (java) S 18412 18415 14331 0 -1 4202496 34498 0 1 0 165104 207 0 0 20 0 22 0 109452276 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 140734272874336 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18415/statm: 2456183 927556 2301 9 0 2446860 0
[pid=18415/tid=18417] ppid=18412 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/18415/task/18417/stat : 18417 (java) S 18412 18415 14331 0 -1 4202560 2497 0 1 0 45 2 0 0 20 0 22 0 109452277 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703263581048 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18418] ppid=18412 vsize=9824732 CPUtime=2.62 cores=0,2,4,6
/proc/18415/task/18418/stat : 18418 (java) S 18412 18415 14331 0 -1 4202560 979 0 0 0 239 23 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703225071784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18419] ppid=18412 vsize=9824732 CPUtime=2.29 cores=0,2,4,6
/proc/18415/task/18419/stat : 18419 (java) S 18412 18415 14331 0 -1 4202560 660 0 0 0 211 18 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703224019240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18420] ppid=18412 vsize=9824732 CPUtime=2.09 cores=0,2,4,6
/proc/18415/task/18420/stat : 18420 (java) S 18412 18415 14331 0 -1 4202560 545 0 0 0 190 19 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703222966696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18421] ppid=18412 vsize=9824732 CPUtime=2.23 cores=0,2,4,6
/proc/18415/task/18421/stat : 18421 (java) S 18412 18415 14331 0 -1 4202560 598 0 0 0 205 18 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703221914152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18422] ppid=18412 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/18415/task/18422/stat : 18422 (java) S 18412 18415 14331 0 -1 4202560 742 0 0 0 214 17 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703220861608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18423] ppid=18412 vsize=9824732 CPUtime=2.58 cores=0,2,4,6
/proc/18415/task/18423/stat : 18423 (java) S 18412 18415 14331 0 -1 4202560 858 0 0 0 236 22 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703219809064 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18424] ppid=18412 vsize=9824732 CPUtime=2.11 cores=0,2,4,6
/proc/18415/task/18424/stat : 18424 (java) S 18412 18415 14331 0 -1 4202560 605 0 0 0 195 16 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703218756520 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18415/tid=18425] ppid=18412 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/18415/task/18425/stat : 18425 (java) S 18412 18415 14331 0 -1 4202560 762 0 0 0 204 18 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703217703976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18426] ppid=18412 vsize=9824732 CPUtime=3.29 cores=0,2,4,6
/proc/18415/task/18426/stat : 18426 (java) S 18412 18415 14331 0 -1 4202560 2270 0 0 0 324 5 0 0 20 0 22 0 109452279 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703086991464 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18427] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18427/stat : 18427 (java) S 18412 18415 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109452280 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703085937784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18428] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18428/stat : 18428 (java) S 18412 18415 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109452280 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703084885128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18429] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18429/stat : 18429 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452282 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703083833872 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18430] ppid=18412 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/18415/task/18430/stat : 18430 (java) S 18412 18415 14331 0 -1 4202560 11250 0 0 0 192 3 0 0 20 0 22 0 109452282 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703082781240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18431] ppid=18412 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/18415/task/18431/stat : 18431 (java) S 18412 18415 14331 0 -1 4202560 9550 0 0 0 176 2 0 0 20 0 22 0 109452282 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703081728696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18415/tid=18432] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18432/stat : 18432 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452282 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703080676344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18433] ppid=18412 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/18415/task/18433/stat : 18433 (java) S 18412 18415 14331 0 -1 4202560 47 0 0 0 12 13 0 0 20 0 22 0 109452282 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703079624008 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18434] ppid=18412 vsize=9824732 CPUtime=813.56 cores=0,2,4,6
/proc/18415/task/18434/stat : 18434 (java) R 18412 18415 14331 0 -1 4202560 78 0 0 0 81341 15 0 0 20 0 22 0 109452324 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703078567072 139703089846367 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18435] ppid=18412 vsize=9824732 CPUtime=813.62 cores=0,2,4,6
/proc/18415/task/18435/stat : 18435 (java) R 18412 18415 14331 0 -1 4202560 1792 0 0 0 81314 48 0 0 20 0 22 0 109452324 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703077513216 139703090453481 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18436] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18436/stat : 18436 (java) S 18412 18415 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109452325 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703076463656 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18437] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18437/stat : 18437 (java) S 18412 18415 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109452325 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703075411112 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1653.11
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.02 4.12 4.07 5/219 18548
/proc/meminfo: memFree=24342928/32872528 swapFree=9100/9100
[pid=18415] ppid=18412 vsize=9824732 CPUtime=1773.11 cores=0,2,4,6
/proc/18415/stat : 18415 (java) S 18412 18415 14331 0 -1 4202496 34504 0 1 0 177102 209 0 0 20 0 22 0 109452276 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 140734272874336 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18415/statm: 2456183 927556 2301 9 0 2446860 0
[pid=18415/tid=18417] ppid=18412 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/18415/task/18417/stat : 18417 (java) S 18412 18415 14331 0 -1 4202560 2497 0 1 0 45 2 0 0 20 0 22 0 109452277 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703263581048 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18418] ppid=18412 vsize=9824732 CPUtime=2.62 cores=0,2,4,6
/proc/18415/task/18418/stat : 18418 (java) S 18412 18415 14331 0 -1 4202560 979 0 0 0 239 23 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703225071784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18419] ppid=18412 vsize=9824732 CPUtime=2.29 cores=0,2,4,6
/proc/18415/task/18419/stat : 18419 (java) S 18412 18415 14331 0 -1 4202560 660 0 0 0 211 18 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703224019240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18420] ppid=18412 vsize=9824732 CPUtime=2.09 cores=0,2,4,6
/proc/18415/task/18420/stat : 18420 (java) S 18412 18415 14331 0 -1 4202560 545 0 0 0 190 19 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703222966696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18421] ppid=18412 vsize=9824732 CPUtime=2.23 cores=0,2,4,6
/proc/18415/task/18421/stat : 18421 (java) S 18412 18415 14331 0 -1 4202560 598 0 0 0 205 18 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703221914152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18422] ppid=18412 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/18415/task/18422/stat : 18422 (java) S 18412 18415 14331 0 -1 4202560 742 0 0 0 214 17 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703220861608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18423] ppid=18412 vsize=9824732 CPUtime=2.58 cores=0,2,4,6
/proc/18415/task/18423/stat : 18423 (java) S 18412 18415 14331 0 -1 4202560 858 0 0 0 236 22 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703219809064 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18424] ppid=18412 vsize=9824732 CPUtime=2.11 cores=0,2,4,6
/proc/18415/task/18424/stat : 18424 (java) S 18412 18415 14331 0 -1 4202560 605 0 0 0 195 16 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703218756520 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18415/tid=18425] ppid=18412 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/18415/task/18425/stat : 18425 (java) S 18412 18415 14331 0 -1 4202560 762 0 0 0 204 18 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703217703976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18426] ppid=18412 vsize=9824732 CPUtime=3.29 cores=0,2,4,6
/proc/18415/task/18426/stat : 18426 (java) S 18412 18415 14331 0 -1 4202560 2270 0 0 0 324 5 0 0 20 0 22 0 109452279 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703086991464 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18427] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18427/stat : 18427 (java) S 18412 18415 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109452280 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703085937784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18428] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18428/stat : 18428 (java) S 18412 18415 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109452280 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703084885128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18429] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18429/stat : 18429 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452282 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703083833872 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18430] ppid=18412 vsize=9824732 CPUtime=1.96 cores=0,2,4,6
/proc/18415/task/18430/stat : 18430 (java) S 18412 18415 14331 0 -1 4202560 11252 0 0 0 193 3 0 0 20 0 22 0 109452282 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703082781240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18431] ppid=18412 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/18415/task/18431/stat : 18431 (java) S 18412 18415 14331 0 -1 4202560 9550 0 0 0 176 2 0 0 20 0 22 0 109452282 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703081728696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18415/tid=18432] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18432/stat : 18432 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452282 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703080676344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18433] ppid=18412 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/18415/task/18433/stat : 18433 (java) S 18412 18415 14331 0 -1 4202560 51 0 0 0 13 14 0 0 20 0 22 0 109452282 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703079624008 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18434] ppid=18412 vsize=9824732 CPUtime=873.55 cores=0,2,4,6
/proc/18415/task/18434/stat : 18434 (java) R 18412 18415 14331 0 -1 4202560 78 0 0 0 87339 16 0 0 20 0 22 0 109452324 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703078568600 139703089840459 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18435] ppid=18412 vsize=9824732 CPUtime=873.63 cores=0,2,4,6
/proc/18415/task/18435/stat : 18435 (java) R 18412 18415 14331 0 -1 4202560 1792 0 0 0 87314 49 0 0 20 0 22 0 109452324 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703077513216 139703090158234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18436] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18436/stat : 18436 (java) S 18412 18415 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109452325 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703076463656 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18437] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18437/stat : 18437 (java) S 18412 18415 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109452325 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703075411112 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1773.11
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.801 s]
/proc/loadavg: 4.01 4.11 4.07 5/219 18548
/proc/meminfo: memFree=24342932/32872528 swapFree=9100/9100
[pid=18415] ppid=18412 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/18415/stat : 18415 (java) S 18412 18415 14331 0 -1 4202496 34506 0 1 0 179801 209 0 0 20 0 22 0 109452276 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 140734272874336 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18415/statm: 2456183 927556 2301 9 0 2446860 0
[pid=18415/tid=18417] ppid=18412 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/18415/task/18417/stat : 18417 (java) S 18412 18415 14331 0 -1 4202560 2497 0 1 0 45 2 0 0 20 0 22 0 109452277 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703263581048 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18418] ppid=18412 vsize=9824732 CPUtime=2.62 cores=0,2,4,6
/proc/18415/task/18418/stat : 18418 (java) S 18412 18415 14331 0 -1 4202560 979 0 0 0 239 23 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703225071784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18419] ppid=18412 vsize=9824732 CPUtime=2.29 cores=0,2,4,6
/proc/18415/task/18419/stat : 18419 (java) S 18412 18415 14331 0 -1 4202560 660 0 0 0 211 18 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703224019240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18420] ppid=18412 vsize=9824732 CPUtime=2.09 cores=0,2,4,6
/proc/18415/task/18420/stat : 18420 (java) S 18412 18415 14331 0 -1 4202560 545 0 0 0 190 19 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703222966696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18421] ppid=18412 vsize=9824732 CPUtime=2.23 cores=0,2,4,6
/proc/18415/task/18421/stat : 18421 (java) S 18412 18415 14331 0 -1 4202560 598 0 0 0 205 18 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703221914152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18422] ppid=18412 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/18415/task/18422/stat : 18422 (java) S 18412 18415 14331 0 -1 4202560 742 0 0 0 214 17 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703220861608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18423] ppid=18412 vsize=9824732 CPUtime=2.58 cores=0,2,4,6
/proc/18415/task/18423/stat : 18423 (java) S 18412 18415 14331 0 -1 4202560 858 0 0 0 236 22 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703219809064 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18424] ppid=18412 vsize=9824732 CPUtime=2.11 cores=0,2,4,6
/proc/18415/task/18424/stat : 18424 (java) S 18412 18415 14331 0 -1 4202560 605 0 0 0 195 16 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703218756520 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18415/tid=18425] ppid=18412 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/18415/task/18425/stat : 18425 (java) S 18412 18415 14331 0 -1 4202560 762 0 0 0 204 18 0 0 20 0 22 0 109452278 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703217703976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18426] ppid=18412 vsize=9824732 CPUtime=3.29 cores=0,2,4,6
/proc/18415/task/18426/stat : 18426 (java) S 18412 18415 14331 0 -1 4202560 2270 0 0 0 324 5 0 0 20 0 22 0 109452279 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703086991464 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18427] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18427/stat : 18427 (java) S 18412 18415 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109452280 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703085937784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18428] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18428/stat : 18428 (java) S 18412 18415 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109452280 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703084885128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18429] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18429/stat : 18429 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452282 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703083833872 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18430] ppid=18412 vsize=9824732 CPUtime=1.96 cores=0,2,4,6
/proc/18415/task/18430/stat : 18430 (java) S 18412 18415 14331 0 -1 4202560 11252 0 0 0 193 3 0 0 20 0 22 0 109452282 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703082781240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18415/tid=18431] ppid=18412 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/18415/task/18431/stat : 18431 (java) S 18412 18415 14331 0 -1 4202560 9550 0 0 0 176 2 0 0 20 0 22 0 109452282 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703081728696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18415/tid=18432] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18432/stat : 18432 (java) S 18412 18415 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109452282 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703080676344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18433] ppid=18412 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/18415/task/18433/stat : 18433 (java) S 18412 18415 14331 0 -1 4202560 53 0 0 0 13 14 0 0 20 0 22 0 109452282 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703079624008 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18434] ppid=18412 vsize=9824732 CPUtime=887.04 cores=0,2,4,6
/proc/18415/task/18434/stat : 18434 (java) R 18412 18415 14331 0 -1 4202560 78 0 0 0 88688 16 0 0 20 0 22 0 109452324 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703078568600 139703090024279 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18415/tid=18435] ppid=18412 vsize=9824732 CPUtime=887.12 cores=0,2,4,6
/proc/18415/task/18435/stat : 18435 (java) R 18412 18415 14331 0 -1 4202560 1792 0 0 0 88663 49 0 0 20 0 22 0 109452324 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703077513216 139703090454565 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18436] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18436/stat : 18436 (java) S 18412 18415 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109452325 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703076463656 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18415/tid=18437] ppid=18412 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18415/task/18437/stat : 18437 (java) S 18412 18415 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109452325 10060525568 927556 33554432000 1073741824 1073778376 140734272883200 139703075411112 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824732

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

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

Child status: 143
Real time (s): 895.883
CPU time (s): 1800.84
CPU user time (s): 1798.25
CPU system time (s): 2.59161
CPU usage (%): 201.013
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.25
system time used= 2.59161
maximum resident set size= 3710340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34542
page faults= 1
swaps= 0
block input operations= 0
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23164
involuntary context switches= 25946

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.58415 second user time and 7.39188 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-07 06:53:31
IDJOB=4080571
IDBENCH=90120
IDSOLVER=2543
FILE ID=node151/4080571-1465275211
RUNJOBID= node151-1465261736-14347
PBS_JOBID= 19843295
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K94.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080571-1465275211/watcher-4080571-1465275211 -o /tmp/evaluation-result-4080571-1465275211/solver-4080571-1465275211 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465261736-14347 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080571-1465275211.opb

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

MD5SUM BENCH= 08b0e704e28720f9a0455d95c872079f
RANDOM SEED=1418501435

node151.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.334
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.66
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.334
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.334
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.334
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.334
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.334
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.334
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.54
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.334
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:        28278212 kB
Buffers:           82404 kB
Cached:           240548 kB
SwapCached:         2184 kB
Active:          3609044 kB
Inactive:         226412 kB
Active(anon):    3513316 kB
Inactive(anon):     1680 kB
Active(file):      95728 kB
Inactive(file):   224732 kB
Unevictable:        9100 kB
Mlocked:            9100 kB
SwapTotal:      67108856 kB
SwapFree:       67098860 kB
Dirty:              1268 kB
Writeback:             0 kB
AnonPages:       3520912 kB
Mapped:            16432 kB
Shmem:                 0 kB
Slab:             611828 kB
SReclaimable:      55348 kB
SUnreclaim:       556480 kB
KernelStack:        1616 kB
PageTables:        11264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3923428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3418112 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= 71748 MiB
End job on node151 at 2016-06-07 07:08:27