Trace number 4103554

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16? (TO) 1800.08 893.89

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sierra.opb
MD5SUM0561d3f4e5e0de350a6eb18bc6dcbee9
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.20781
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables38715
Total number of constraints3263
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3263
Minimum length of a constraint10
Maximum length of a constraint498
Number of terms in the objective function 36989
Biggest coefficient in the objective function 40063152947200
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 712861332680300
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 40063152947200
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 712861332680300
Number of bits of the biggest sum of numbers50
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.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.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4103554-1466243142.opb
0.10/0.11	c reading problem ... 
0.10/0.12	c  objective function found
1.98/1.02	c ... done. Wall clock time 0.91s.
1.98/1.02	c declared #vars     38715
1.98/1.02	c #constraints  3791
1.98/1.03	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.98/1.03	c constraints type 
1.98/1.03	c org.sat4j.specs.Constr$1 => 10
1.98/1.03	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3781
1.98/1.03	c 3791 constraints processed.
1.98/1.03	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.98/1.03	c constraints type 
1.98/1.03	c org.sat4j.specs.Constr$1 => 10
1.98/1.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3781
1.98/1.03	c 3791 constraints processed.
1.98/1.03	c objective function length is 36989 literals
5.03/2.01	c cleaning 2491 clauses out of 5001 with flag 14483/5001
6.50/2.62	c cleaning 4248 clauses out of 8508 with flag 27423/11000
8.50/3.47	c cleaning 5621 clauses out of 11260 with flag 42350/18000
11.74/4.84	c cleaning 6817 clauses out of 13642 with flag 59887/26003
15.05/6.44	c cleaning 7912 clauses out of 15826 with flag 79418/35004
18.94/8.33	c cleaning 8952 clauses out of 17910 with flag 99679/45000
23.59/10.62	c cleaning 9980 clauses out of 19960 with flag 121683/56002
28.75/13.13	c cleaning 10988 clauses out of 21981 with flag 145685/68003
34.65/16.02	c cleaning 11991 clauses out of 23991 with flag 171681/81001
41.05/19.20	c cleaning 13001 clauses out of 26002 with flag 199685/95003
48.05/22.80	c cleaning 13994 clauses out of 28000 with flag 229683/110002
56.44/26.81	c cleaning 14999 clauses out of 30004 with flag 261679/126000
64.04/30.65	c cleaning 16004 clauses out of 32008 with flag 295685/143003
74.66/35.84	c cleaning 16996 clauses out of 34004 with flag 331685/161003
85.26/41.17	c cleaning 17998 clauses out of 36007 with flag 369683/180002
97.50/47.47	c cleaning 19001 clauses out of 38007 with flag 409679/200000
99.88/48.66	c cleaning 0 clauses out of 5000 with flag 0/5000
110.06/53.61	c cleaning 19995 clauses out of 40008 with flag 451683/221002
123.35/60.29	c cleaning 21007 clauses out of 42013 with flag 495683/243002
141.04/69.02	c cleaning 22002 clauses out of 44004 with flag 541679/266000
157.55/77.29	c cleaning 23003 clauses out of 46006 with flag 589687/290004
176.09/86.66	c cleaning 0 clauses out of 11001 with flag 0/11001
176.29/86.72	c cleaning 24003 clauses out of 48006 with flag 639693/315007
195.19/96.11	c cleaning 24985 clauses out of 49997 with flag 691681/341001
219.34/108.20	c cleaning 26004 clauses out of 52014 with flag 745685/368003
238.44/117.67	c cleaning 0 clauses out of 18001 with flag 0/18001
244.73/120.80	c cleaning 27002 clauses out of 54009 with flag 801683/396002
272.58/134.57	c cleaning 28004 clauses out of 56007 with flag 859683/425002
303.04/149.67	c cleaning 28999 clauses out of 58001 with flag 919679/455000
336.45/166.18	c cleaning 30001 clauses out of 60002 with flag 981679/486000
368.30/181.99	c cleaning 30997 clauses out of 62001 with flag 1045679/518000
368.50/182.00	c cleaning 0 clauses out of 26000 with flag 0/26000
400.78/198.07	c cleaning 32001 clauses out of 64005 with flag 1111681/551001
441.66/218.39	c cleaning 32998 clauses out of 66005 with flag 1179683/585002
483.15/238.99	c cleaning 34002 clauses out of 68006 with flag 1249681/620001
520.84/257.65	c cleaning 35002 clauses out of 70009 with flag 1321691/656006
563.63/278.95	c cleaning 35999 clauses out of 72001 with flag 1395679/693000
605.59/299.72	c cleaning 0 clauses out of 35001 with flag 0/35001
627.36/310.51	c cleaning 36995 clauses out of 74002 with flag 1471679/731000
677.82/335.55	c cleaning 38002 clauses out of 76008 with flag 1549681/770001
730.32/361.91	c cleaning 38996 clauses out of 78005 with flag 1629679/810000
790.58/391.97	c cleaning 40007 clauses out of 80013 with flag 1711687/851004
853.67/423.30	c cleaning 40998 clauses out of 82005 with flag 1795685/893003
922.98/457.71	c cleaning 41999 clauses out of 84006 with flag 1881683/936002
954.13/473.23	c cleaning 0 clauses out of 45000 with flag 0/45000
978.80/485.45	c cleaning 43004 clauses out of 86008 with flag 1969685/980003
1052.60/522.07	c cleaning 43999 clauses out of 88004 with flag 2059685/1025003
1126.80/558.81	c cleaning 44994 clauses out of 90004 with flag 2151683/1071002
1198.08/594.23	c cleaning 46007 clauses out of 92013 with flag 2245689/1118005
1281.04/635.46	c cleaning 46989 clauses out of 94002 with flag 2341681/1166001
1368.77/678.91	c cleaning 48004 clauses out of 96013 with flag 2439681/1215001
1445.70/717.73	c cleaning 49003 clauses out of 98008 with flag 2539679/1265000
1468.36/729.06	c cleaning 0 clauses out of 56002 with flag 0/56002
1534.90/762.18	c cleaning 50001 clauses out of 100006 with flag 2641681/1316001
1622.17/805.41	c cleaning 50997 clauses out of 102006 with flag 2745683/1368002
1707.99/848.03	c cleaning 51999 clauses out of 104007 with flag 2851679/1421000
1800.08/893.80	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.08/893.80	c starts		: 480
1800.08/893.80	c conflicts		: 1473504
1800.08/893.80	c decisions		: 1766932
1800.08/893.80	c propagations		: 9735135
1800.08/893.80	c inspects		: 9733795827
1800.08/893.80	c shortcuts		: 0
1800.08/893.81	c learnt literals	: 1
1800.08/893.81	c learnt binary clauses	: 1
1800.08/893.81	c learnt ternary clauses	: 0
1800.08/893.81	c learnt constraints	: 1473503
1800.08/893.81	c ignored constraints	: 0
1800.08/893.81	c root simplifications	: 0
1800.08/893.81	c removed literals (reason simplification)	: 26854190
1800.08/893.81	c reason swapping (by a shorter reason)	: 0
1800.08/893.81	c Calls to reduceDB	: 49
1800.08/893.81	c Number of update (reduction) of LBD	: 2259
1800.08/893.81	c Imported unit clauses	: 0
1800.08/893.81	c number of reductions to clauses (during analyze)	: 0
1800.08/893.81	c number of learned constraints concerned by reduction	: 0
1800.08/893.81	c number of learning phase by resolution	: 0
1800.08/893.81	c number of learning phase by cutting planes	: 0
1800.08/893.81	c speed (assignments/second)	: 10905.88136447656
1800.08/893.81	c non guided choices	12865
1800.08/893.83	c learnt constraints type 
1800.08/893.83	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.08/893.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 104511
1800.08/893.83	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.08/893.83	c starts		: 77
1800.08/893.83	c conflicts		: 62542
1800.08/893.83	c decisions		: 274562
1800.08/893.83	c propagations		: 709741
1800.08/893.83	c inspects		: 1207262129
1800.08/893.83	c shortcuts		: 0
1800.08/893.83	c learnt literals	: 0
1800.08/893.83	c learnt binary clauses	: 0
1800.08/893.83	c learnt ternary clauses	: 0
1800.08/893.83	c learnt constraints	: 62541
1800.08/893.83	c ignored constraints	: 0
1800.08/893.83	c root simplifications	: 0
1800.08/893.83	c removed literals (reason simplification)	: 0
1800.08/893.83	c reason swapping (by a shorter reason)	: 0
1800.08/893.83	c Calls to reduceDB	: 7
1800.08/893.83	c Number of update (reduction) of LBD	: 0
1800.08/893.83	c Imported unit clauses	: 0
1800.08/893.83	c number of reductions to clauses (during analyze)	: 0
1800.08/893.83	c number of learned constraints concerned by reduction	: 0
1800.08/893.83	c number of learning phase by resolution	: 0
1800.08/893.83	c number of learning phase by cutting planes	: 0
1800.08/893.83	c speed (assignments/second)	: 795.06944273299
1800.08/893.83	c non guided choices	20
1800.08/893.86	c learnt constraints type 
1800.08/893.86	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 20908
1800.08/893.86	c org.sat4j.pb.constraints.pb.MaxWatchPb => 41633
1800.08/893.86	s UNKNOWN
1800.08/893.86	c Total wall clock time (in seconds): 893.745

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

pid=7452
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.43 4.22 3.72 4/197 7455
/proc/meminfo: memFree=28554960/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 1328 0 0 0 0 0 0 0 20 0 2 0 26363459 98635776 959 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 24081 961 729 9 0 16771 0
[pid=7455/tid=7456] ppid=7452 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) R 7452 7455 6358 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 26363460 98570240 977 33554432000 1073741824 1073778376 140736318356608 140360412741160 213866333568 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100062 s]
/proc/loadavg: 4.43 4.22 3.72 4/197 7455
/proc/meminfo: memFree=28554960/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 4478 0 1 0 9 1 0 0 20 0 18 0 26363459 9787879424 5595 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2389619 5595 2126 9 0 2380296 0
[pid=7455/tid=7456] ppid=7452 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) R 7452 7455 6358 0 -1 4202560 2441 0 1 0 6 1 0 0 20 0 18 0 26363460 9787879424 5595 33554432000 1073741824 1073778376 140736318356608 140360412744608 140360285201104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200325 s]
/proc/loadavg: 4.43 4.22 3.72 4/197 7455
/proc/meminfo: memFree=28554960/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9558476 CPUtime=0.31 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 5147 0 1 0 29 2 0 0 20 0 18 0 26363459 9787879424 6963 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2389619 6963 2221 9 0 2380296 0
[pid=7455/tid=7456] ppid=7452 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) R 7452 7455 6358 0 -1 4202560 2457 0 1 0 16 1 0 0 20 0 18 0 26363460 9787879424 6963 33554432000 1073741824 1073778376 140736318356608 140360412737264 140360285190623 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476

[startup+0.300338 s]
/proc/loadavg: 4.43 4.22 3.72 4/197 7455
/proc/meminfo: memFree=28554960/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 5869 0 1 0 46 2 0 0 20 0 18 0 26363459 9787879424 11371 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2389619 11371 2232 9 0 2380296 0
[pid=7455/tid=7456] ppid=7452 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) R 7452 7455 6358 0 -1 4202560 2465 0 1 0 26 1 0 0 20 0 18 0 26363460 9787879424 11371 33554432000 1073741824 1073778376 140736318356608 140360412737264 140360285154640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700309 s]
/proc/loadavg: 4.43 4.22 3.72 4/197 7455
/proc/meminfo: memFree=28554960/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9558476 CPUtime=1.53 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 18659 0 1 0 147 6 0 0 20 0 18 0 26363459 9787879424 41562 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2389619 41562 2249 9 0 2380296 0
[pid=7455/tid=7456] ppid=7452 vsize=9558476 CPUtime=0.67 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) R 7452 7455 6358 0 -1 4202560 2518 0 1 0 64 3 0 0 20 0 18 0 26363460 9787879424 41562 33554432000 1073741824 1073778376 140736318356608 140360412737264 140360416031635 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 9558476

[startup+1.5008 s]
/proc/loadavg: 4.43 4.22 3.72 11/217 7475
/proc/meminfo: memFree=28305084/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9824732 CPUtime=3.79 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 19918 0 1 0 364 15 0 0 20 0 22 0 26363459 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2456183 64349 2284 9 0 2446860 0
[pid=7455/tid=7456] ppid=7452 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) S 7452 7455 6358 0 -1 4202560 2537 0 1 0 92 3 0 0 20 0 22 0 26363460 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360412746616 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7458] ppid=7452 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7455/task/7458/stat : 7458 (java) S 7452 7455 6358 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 26363461 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360256714920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7459] ppid=7452 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7455/task/7459/stat : 7459 (java) S 7452 7455 6358 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 26363461 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360255662376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7460] ppid=7452 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/7455/task/7460/stat : 7460 (java) S 7452 7455 6358 0 -1 4202560 141 0 0 0 5 2 0 0 20 0 22 0 26363461 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360254609832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7461] ppid=7452 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/7455/task/7461/stat : 7461 (java) S 7452 7455 6358 0 -1 4202560 121 0 0 0 6 2 0 0 20 0 22 0 26363461 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360253557288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7462] ppid=7452 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7455/task/7462/stat : 7462 (java) S 7452 7455 6358 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 26363461 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360252504744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7463] ppid=7452 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/7455/task/7463/stat : 7463 (java) S 7452 7455 6358 0 -1 4202560 121 0 0 0 5 3 0 0 20 0 22 0 26363461 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360251452200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7464] ppid=7452 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7455/task/7464/stat : 7464 (java) S 7452 7455 6358 0 -1 4202560 85 0 0 0 2 0 0 0 20 0 22 0 26363461 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360250399656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7465] ppid=7452 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7455/task/7465/stat : 7465 (java) S 7452 7455 6358 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 26363461 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360249347112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7466] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7466/stat : 7466 (java) S 7452 7455 6358 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360236935272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7467] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7467/stat : 7467 (java) S 7452 7455 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360235881592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7468] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7468/stat : 7468 (java) S 7452 7455 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360234828936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7469] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7469/stat : 7469 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360233777680 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7470] ppid=7452 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/7455/task/7470/stat : 7470 (java) R 7452 7455 6358 0 -1 4202560 6484 0 0 0 69 1 0 0 20 0 22 0 26363465 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360232725048 140360418589399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7471] ppid=7452 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/7455/task/7471/stat : 7471 (java) R 7452 7455 6358 0 -1 4202560 8968 0 0 0 84 1 0 0 20 0 22 0 26363465 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360231672504 140360419542128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7472] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7472/stat : 7472 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360230620152 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7473] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7473/stat : 7473 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360229567816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7474] ppid=7452 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/7455/task/7474/stat : 7474 (java) R 7452 7455 6358 0 -1 4202560 18 0 0 0 38 0 0 0 20 0 22 0 26363563 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360228510912 140360285928248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7475] ppid=7452 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/7455/task/7475/stat : 7475 (java) R 7452 7455 6358 0 -1 4202560 24 0 0 0 38 0 0 0 20 0 22 0 26363563 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360227459064 140360285971552 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 9824732

[startup+3.10087 s]
/proc/loadavg: 4.43 4.22 3.72 5/219 7477
/proc/meminfo: memFree=28106128/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9824732 CPUtime=7.89 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 24574 0 1 0 765 24 0 0 20 0 22 0 26363459 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2456183 107720 2290 9 0 2446860 0
[pid=7455/tid=7456] ppid=7452 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) S 7452 7455 6358 0 -1 4202560 2537 0 1 0 92 3 0 0 20 0 22 0 26363460 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360412746616 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7458] ppid=7452 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/7455/task/7458/stat : 7458 (java) S 7452 7455 6358 0 -1 4202560 31 0 0 0 4 1 0 0 20 0 22 0 26363461 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360256714920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7459] ppid=7452 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/7455/task/7459/stat : 7459 (java) S 7452 7455 6358 0 -1 4202560 58 0 0 0 6 2 0 0 20 0 22 0 26363461 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360255662376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7460] ppid=7452 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/7455/task/7460/stat : 7460 (java) S 7452 7455 6358 0 -1 4202560 176 0 0 0 11 3 0 0 20 0 22 0 26363461 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360254609832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7461] ppid=7452 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/7455/task/7461/stat : 7461 (java) S 7452 7455 6358 0 -1 4202560 140 0 0 0 9 2 0 0 20 0 22 0 26363461 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360253557288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7462] ppid=7452 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/7455/task/7462/stat : 7462 (java) S 7452 7455 6358 0 -1 4202560 43 0 0 0 4 2 0 0 20 0 22 0 26363461 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360252504744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7463] ppid=7452 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/7455/task/7463/stat : 7463 (java) S 7452 7455 6358 0 -1 4202560 136 0 0 0 9 3 0 0 20 0 22 0 26363461 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360251452200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7464] ppid=7452 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/7455/task/7464/stat : 7464 (java) S 7452 7455 6358 0 -1 4202560 96 0 0 0 4 1 0 0 20 0 22 0 26363461 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360250399656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7465] ppid=7452 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/7455/task/7465/stat : 7465 (java) S 7452 7455 6358 0 -1 4202560 36 0 0 0 3 1 0 0 20 0 22 0 26363461 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360249347112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7466] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7466/stat : 7466 (java) S 7452 7455 6358 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360236935272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7467] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7467/stat : 7467 (java) S 7452 7455 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360235881592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7468] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7468/stat : 7468 (java) S 7452 7455 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360234828936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7469] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7469/stat : 7469 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360233777680 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7470] ppid=7452 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/7455/task/7470/stat : 7470 (java) S 7452 7455 6358 0 -1 4202560 6517 0 0 0 92 1 0 0 20 0 22 0 26363465 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360232725048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7471] ppid=7452 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/7455/task/7471/stat : 7471 (java) S 7452 7455 6358 0 -1 4202560 13238 0 0 0 140 2 0 0 20 0 22 0 26363465 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360231672504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7472] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7472/stat : 7472 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360230620152 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7473] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7473/stat : 7473 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360229567816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7474] ppid=7452 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/7455/task/7474/stat : 7474 (java) R 7452 7455 6358 0 -1 4202560 24 0 0 0 187 0 0 0 20 0 22 0 26363563 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360228510032 140360286011443 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7475] ppid=7452 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/7455/task/7475/stat : 7475 (java) R 7452 7455 6358 0 -1 4202560 74 0 0 0 185 2 0 0 20 0 22 0 26363563 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360227459152 140360285606896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7476] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7476/stat : 7476 (java) S 7452 7455 6358 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 26363575 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360226407464 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7477] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7477/stat : 7477 (java) S 7452 7455 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26363575 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360225354920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 9824732

[startup+6.30099 s]
/proc/loadavg: 4.40 4.22 3.73 5/219 7477
/proc/meminfo: memFree=27804016/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9824732 CPUtime=14.85 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 26571 0 1 0 1450 35 0 0 20 0 22 0 26363459 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2456183 173345 2290 9 0 2446860 0
[pid=7455/tid=7456] ppid=7452 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) S 7452 7455 6358 0 -1 4202560 2537 0 1 0 92 3 0 0 20 0 22 0 26363460 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360412746616 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7458] ppid=7452 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/7455/task/7458/stat : 7458 (java) S 7452 7455 6358 0 -1 4202560 64 0 0 0 7 3 0 0 20 0 22 0 26363461 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360256714920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7459] ppid=7452 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/7455/task/7459/stat : 7459 (java) S 7452 7455 6358 0 -1 4202560 61 0 0 0 7 3 0 0 20 0 22 0 26363461 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360255662376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7460] ppid=7452 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/7455/task/7460/stat : 7460 (java) S 7452 7455 6358 0 -1 4202560 181 0 0 0 12 3 0 0 20 0 22 0 26363461 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360254609832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7461] ppid=7452 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/7455/task/7461/stat : 7461 (java) S 7452 7455 6358 0 -1 4202560 155 0 0 0 10 4 0 0 20 0 22 0 26363461 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360253557288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7462] ppid=7452 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/7455/task/7462/stat : 7462 (java) S 7452 7455 6358 0 -1 4202560 66 0 0 0 8 4 0 0 20 0 22 0 26363461 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360252504744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7463] ppid=7452 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/7455/task/7463/stat : 7463 (java) S 7452 7455 6358 0 -1 4202560 144 0 0 0 11 4 0 0 20 0 22 0 26363461 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360251452200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7464] ppid=7452 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/7455/task/7464/stat : 7464 (java) S 7452 7455 6358 0 -1 4202560 104 0 0 0 5 1 0 0 20 0 22 0 26363461 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360250399656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7465] ppid=7452 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/7455/task/7465/stat : 7465 (java) S 7452 7455 6358 0 -1 4202560 41 0 0 0 4 1 0 0 20 0 22 0 26363461 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360249347112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7466] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7466/stat : 7466 (java) S 7452 7455 6358 0 -1 4202560 484 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360236935272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7467] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

/proc/7455/task/7460/stat : 7460 (java) S 7452 7455 6358 0 -1 4202560 840 0 0 0 333 21 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360254609832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7461] ppid=7452 vsize=9824732 CPUtime=3.23 cores=0,2,4,6
/proc/7455/task/7461/stat : 7461 (java) S 7452 7455 6358 0 -1 4202560 608 0 0 0 306 17 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360253557288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7462] ppid=7452 vsize=9824732 CPUtime=3.38 cores=0,2,4,6
/proc/7455/task/7462/stat : 7462 (java) S 7452 7455 6358 0 -1 4202560 546 0 0 0 321 17 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360252504744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7463] ppid=7452 vsize=9824732 CPUtime=3.43 cores=0,2,4,6
/proc/7455/task/7463/stat : 7463 (java) S 7452 7455 6358 0 -1 4202560 796 0 0 0 321 22 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360251452200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7464] ppid=7452 vsize=9824732 CPUtime=3.05 cores=0,2,4,6
/proc/7455/task/7464/stat : 7464 (java) S 7452 7455 6358 0 -1 4202560 557 0 0 0 291 14 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360250399656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7465] ppid=7452 vsize=9824732 CPUtime=3.13 cores=0,2,4,6
/proc/7455/task/7465/stat : 7465 (java) S 7452 7455 6358 0 -1 4202560 592 0 0 0 297 16 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360249347112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7466] ppid=7452 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/7455/task/7466/stat : 7466 (java) S 7452 7455 6358 0 -1 4202560 2007 0 0 0 292 9 0 0 20 0 22 0 26363462 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360236935272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7467] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7467/stat : 7467 (java) S 7452 7455 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360235881592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7468] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7468/stat : 7468 (java) S 7452 7455 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360234828936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7469] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7469/stat : 7469 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360233777680 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7470] ppid=7452 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/7455/task/7470/stat : 7470 (java) S 7452 7455 6358 0 -1 4202560 9323 0 0 0 126 2 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360232725048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7471] ppid=7452 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/7455/task/7471/stat : 7471 (java) S 7452 7455 6358 0 -1 4202560 14665 0 0 0 213 3 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360231672504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7472] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7472/stat : 7472 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360230620152 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7473] ppid=7452 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/7455/task/7473/stat : 7473 (java) S 7452 7455 6358 0 -1 4202560 47 0 0 0 18 15 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360229567816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7474] ppid=7452 vsize=9824732 CPUtime=808.87 cores=0,2,4,6
/proc/7455/task/7474/stat : 7474 (java) R 7452 7455 6358 0 -1 4202560 163 0 0 0 80871 16 0 0 20 0 22 0 26363563 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360228510112 140360285993856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7475] ppid=7452 vsize=9824732 CPUtime=808.86 cores=0,2,4,6
/proc/7455/task/7475/stat : 7475 (java) R 7452 7455 6358 0 -1 4202560 1629 0 0 0 80847 39 0 0 20 0 22 0 26363563 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360227458336 140360285617812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7476] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7476/stat : 7476 (java) S 7452 7455 6358 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 26363575 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360226407464 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7477] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7477/stat : 7477 (java) S 7452 7455 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26363575 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360225354920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1656.21
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.21 4.21 4.02 5/220 7651
/proc/meminfo: memFree=25273020/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9824732 CPUtime=1777.01 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 36766 0 1 0 177494 207 0 0 20 0 22 0 26363459 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2456183 886839 2299 9 0 2446860 0
[pid=7455/tid=7456] ppid=7452 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) S 7452 7455 6358 0 -1 4202560 2551 0 1 0 95 5 0 0 20 0 22 0 26363460 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360412746616 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7458] ppid=7452 vsize=9824732 CPUtime=3.84 cores=0,2,4,6
/proc/7455/task/7458/stat : 7458 (java) S 7452 7455 6358 0 -1 4202560 610 0 0 0 363 21 0 0 20 0 22 0 26363461 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360256714920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7459] ppid=7452 vsize=9824732 CPUtime=3.57 cores=0,2,4,6
/proc/7455/task/7459/stat : 7459 (java) S 7452 7455 6358 0 -1 4202560 528 0 0 0 341 16 0 0 20 0 22 0 26363461 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360255662376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7460] ppid=7452 vsize=9824732 CPUtime=3.72 cores=0,2,4,6
/proc/7455/task/7460/stat : 7460 (java) S 7452 7455 6358 0 -1 4202560 840 0 0 0 350 22 0 0 20 0 22 0 26363461 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360254609832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7461] ppid=7452 vsize=9824732 CPUtime=3.46 cores=0,2,4,6
/proc/7455/task/7461/stat : 7461 (java) S 7452 7455 6358 0 -1 4202560 608 0 0 0 329 17 0 0 20 0 22 0 26363461 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360253557288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7462] ppid=7452 vsize=9824732 CPUtime=3.64 cores=0,2,4,6
/proc/7455/task/7462/stat : 7462 (java) S 7452 7455 6358 0 -1 4202560 546 0 0 0 347 17 0 0 20 0 22 0 26363461 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360252504744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7463] ppid=7452 vsize=9824732 CPUtime=3.67 cores=0,2,4,6
/proc/7455/task/7463/stat : 7463 (java) S 7452 7455 6358 0 -1 4202560 796 0 0 0 345 22 0 0 20 0 22 0 26363461 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360251452200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7464] ppid=7452 vsize=9824732 CPUtime=3.2 cores=0,2,4,6
/proc/7455/task/7464/stat : 7464 (java) S 7452 7455 6358 0 -1 4202560 557 0 0 0 306 14 0 0 20 0 22 0 26363461 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360250399656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7465] ppid=7452 vsize=9824732 CPUtime=3.36 cores=0,2,4,6
/proc/7455/task/7465/stat : 7465 (java) S 7452 7455 6358 0 -1 4202560 592 0 0 0 320 16 0 0 20 0 22 0 26363461 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360249347112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7466] ppid=7452 vsize=9824732 CPUtime=3.02 cores=0,2,4,6
/proc/7455/task/7466/stat : 7466 (java) S 7452 7455 6358 0 -1 4202560 2027 0 0 0 292 10 0 0 20 0 22 0 26363462 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360236935272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7467] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7467/stat : 7467 (java) S 7452 7455 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360235881592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7468] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7468/stat : 7468 (java) S 7452 7455 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360234828936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7469] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7469/stat : 7469 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360233777680 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7470] ppid=7452 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/7455/task/7470/stat : 7470 (java) S 7452 7455 6358 0 -1 4202560 9323 0 0 0 126 2 0 0 20 0 22 0 26363465 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360232725048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7471] ppid=7452 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/7455/task/7471/stat : 7471 (java) S 7452 7455 6358 0 -1 4202560 14665 0 0 0 213 3 0 0 20 0 22 0 26363465 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360231672504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7472] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7472/stat : 7472 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360230620152 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7473] ppid=7452 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/7455/task/7473/stat : 7473 (java) S 7452 7455 6358 0 -1 4202560 51 0 0 0 20 15 0 0 20 0 22 0 26363465 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360229567816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7474] ppid=7452 vsize=9824732 CPUtime=868.24 cores=0,2,4,6
/proc/7455/task/7474/stat : 7474 (java) R 7452 7455 6358 0 -1 4202560 168 0 0 0 86806 18 0 0 20 0 22 0 26363563 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360228510800 140360286138727 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7475] ppid=7452 vsize=9824732 CPUtime=868.22 cores=0,2,4,6
/proc/7455/task/7475/stat : 7475 (java) R 7452 7455 6358 0 -1 4202560 1634 0 0 0 86782 40 0 0 20 0 22 0 26363563 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360227457568 140360285937576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7476] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7476/stat : 7476 (java) S 7452 7455 6358 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 26363575 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360226407464 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7477] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7477/stat : 7477 (java) S 7452 7455 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26363575 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360225354920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1777.01
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+893.801 s]
/proc/loadavg: 4.25 4.22 4.03 6/220 7654
/proc/meminfo: memFree=25272772/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9824732 CPUtime=1800.08 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 36776 0 1 0 179801 207 0 0 20 0 22 0 26363459 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2456183 886847 2299 9 0 2446860 0
[pid=7455/tid=7456] ppid=7452 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) S 7452 7455 6358 0 -1 4202560 2551 0 1 0 95 5 0 0 20 0 22 0 26363460 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360412746616 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7458] ppid=7452 vsize=9824732 CPUtime=3.89 cores=0,2,4,6
/proc/7455/task/7458/stat : 7458 (java) S 7452 7455 6358 0 -1 4202560 610 0 0 0 368 21 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360256714920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7459] ppid=7452 vsize=9824732 CPUtime=3.6 cores=0,2,4,6
/proc/7455/task/7459/stat : 7459 (java) S 7452 7455 6358 0 -1 4202560 528 0 0 0 344 16 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360255662376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7460] ppid=7452 vsize=9824732 CPUtime=3.74 cores=0,2,4,6
/proc/7455/task/7460/stat : 7460 (java) S 7452 7455 6358 0 -1 4202560 840 0 0 0 352 22 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360254609832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7461] ppid=7452 vsize=9824732 CPUtime=3.52 cores=0,2,4,6
/proc/7455/task/7461/stat : 7461 (java) S 7452 7455 6358 0 -1 4202560 608 0 0 0 335 17 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360253557288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7462] ppid=7452 vsize=9824732 CPUtime=3.68 cores=0,2,4,6
/proc/7455/task/7462/stat : 7462 (java) S 7452 7455 6358 0 -1 4202560 546 0 0 0 351 17 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360252504744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7463] ppid=7452 vsize=9824732 CPUtime=3.7 cores=0,2,4,6
/proc/7455/task/7463/stat : 7463 (java) S 7452 7455 6358 0 -1 4202560 796 0 0 0 348 22 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360251452200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7464] ppid=7452 vsize=9824732 CPUtime=3.23 cores=0,2,4,6
/proc/7455/task/7464/stat : 7464 (java) S 7452 7455 6358 0 -1 4202560 557 0 0 0 309 14 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360250399656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7465] ppid=7452 vsize=9824732 CPUtime=3.39 cores=0,2,4,6
/proc/7455/task/7465/stat : 7465 (java) S 7452 7455 6358 0 -1 4202560 592 0 0 0 323 16 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360249347112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7466] ppid=7452 vsize=9824732 CPUtime=3.02 cores=0,2,4,6
/proc/7455/task/7466/stat : 7466 (java) S 7452 7455 6358 0 -1 4202560 2035 0 0 0 292 10 0 0 20 0 22 0 26363462 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360236935272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7467] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7467/stat : 7467 (java) S 7452 7455 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360235881592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7468] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7468/stat : 7468 (java) S 7452 7455 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360234828936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7469] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7469/stat : 7469 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360233777680 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7470] ppid=7452 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/7455/task/7470/stat : 7470 (java) S 7452 7455 6358 0 -1 4202560 9323 0 0 0 126 2 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360232725048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7471] ppid=7452 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/7455/task/7471/stat : 7471 (java) S 7452 7455 6358 0 -1 4202560 14665 0 0 0 213 3 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360231672504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7472] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7472/stat : 7472 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360230620152 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7473] ppid=7452 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/7455/task/7473/stat : 7473 (java) S 7452 7455 6358 0 -1 4202560 51 0 0 0 20 15 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360229567816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7474] ppid=7452 vsize=9824732 CPUtime=879.61 cores=0,2,4,6
/proc/7455/task/7474/stat : 7474 (java) R 7452 7455 6358 0 -1 4202560 170 0 0 0 87943 18 0 0 20 0 22 0 26363563 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360228510920 140360286077443 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7475] ppid=7452 vsize=9824732 CPUtime=879.58 cores=0,2,4,6
/proc/7455/task/7475/stat : 7475 (java) R 7452 7455 6358 0 -1 4202560 1634 0 0 0 87918 40 0 0 20 0 22 0 26363563 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360227457688 140360285934513 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7476] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7476/stat : 7476 (java) S 7452 7455 6358 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 26363575 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360226407464 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7477] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7477/stat : 7477 (java) S 7452 7455 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26363575 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360225354920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 7455 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 7455 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=669320
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=557611
# CPU time returned by wait4() is 1796.23
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 893.89
CPU time (s): 1800.08
CPU user time (s): 1798.01
CPU system time (s): 2.07
CPU usage (%): 201.376
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.67
system time used= 2.55761
maximum resident set size= 3563448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36811
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= 25788
involuntary context switches= 31595

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.67314 second user time and 7.52286 second system time

The end

Launcher Data

Begin job on node112 at 2016-06-18 11:45:42
IDJOB=4103554
IDBENCH=2393
IDSOLVER=2543
FILE ID=node112/4103554-1466243142
RUNJOBID= node112-1466241279-6374
PBS_JOBID= 19918204
Free space on /tmp= 71684 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sierra.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103554-1466243142/watcher-4103554-1466243142 -o /tmp/evaluation-result-4103554-1466243142/solver-4103554-1466243142 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466241279-6374 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4103554-1466243142.opb

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

MD5SUM BENCH= 0561d3f4e5e0de350a6eb18bc6dcbee9
RANDOM SEED=511551527

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.734
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.46
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.734
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.734
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	: 5321.48
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.734
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.734
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.734
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.734
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.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28555116 kB
Buffers:           30712 kB
Cached:           116868 kB
SwapCached:         2048 kB
Active:          2757080 kB
Inactive:          65656 kB
Active(anon):    2675484 kB
Inactive(anon):     2160 kB
Active(file):      81596 kB
Inactive(file):    63496 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096724 kB
Dirty:              3596 kB
Writeback:             0 kB
AnonPages:       3466468 kB
Mapped:            15396 kB
Shmem:                 0 kB
Slab:             601600 kB
SReclaimable:      44804 kB
SUnreclaim:       556796 kB
KernelStack:        1776 kB
PageTables:        10392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4030412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2689024 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= 71704 MiB
End job on node112 at 2016-06-18 12:00:36