Trace number 4108968

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.03 910.18

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-173.opb
MD5SUMb029850fdc398224d6c6edaf54638c01
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 variables268241
Total number of constraints5985144
Number of constraints which are clauses5358445
Number of constraints which are cardinality constraints (but not clauses)21283
Number of constraints which are nor clauses,nor cardinality constraints605416
Minimum length of a constraint2
Maximum length of a constraint2337
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2338
Number of bits of the biggest sum of numbers12
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-4108968-1466289699.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
81.28/63.97	c ... done. Wall clock time 63.847s.
81.28/63.97	c declared #vars     268241
81.28/63.97	c #constraints  5995806
81.28/63.97	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
81.28/63.97	c constraints type 
81.28/63.97	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4184900
81.28/63.97	c org.sat4j.minisat.constraints.card.MinWatchCard => 21284
81.28/63.97	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1184206
81.28/63.97	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 605416
81.28/63.97	c 5995806 constraints processed.
81.28/63.97	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
81.28/63.97	c constraints type 
81.28/63.97	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1184206
81.28/63.97	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4184900
81.28/63.97	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 21284
81.28/63.97	c org.sat4j.pb.constraints.pb.MaxWatchPb => 605416
81.28/63.97	c 5995806 constraints processed.
112.19/78.34	c cleaning 2489 clauses out of 5000 with flag 31298/5000
140.88/92.48	c cleaning 4246 clauses out of 8513 with flag 79184/11002
207.28/124.82	c cleaning 5629 clauses out of 11265 with flag 280054/18000
251.37/146.38	c cleaning 6818 clauses out of 13636 with flag 1369816/26000
306.55/173.11	c cleaning 7892 clauses out of 15818 with flag 2669849/35000
365.80/202.35	c cleaning 0 clauses out of 5000 with flag 0/5000
371.41/205.06	c cleaning 8963 clauses out of 17926 with flag 3678439/45000
412.45/225.36	c cleaning 9962 clauses out of 19963 with flag 3853467/56000
447.29/242.52	c cleaning 10986 clauses out of 22002 with flag 3925804/68001
486.09/261.76	c cleaning 11992 clauses out of 24015 with flag 4006519/81000
533.93/285.48	c cleaning 12998 clauses out of 26025 with flag 4107345/95002
582.01/309.28	c cleaning 13999 clauses out of 28026 with flag 4215860/110001
624.01/330.06	c cleaning 15000 clauses out of 30027 with flag 4316153/126001
678.47/356.98	c cleaning 15998 clauses out of 32026 with flag 4446009/143000
702.62/368.86	c cleaning 0 clauses out of 11000 with flag 0/11000
746.89/390.71	c cleaning 16997 clauses out of 34029 with flag 4592569/161001
813.88/423.82	c cleaning 17999 clauses out of 36032 with flag 4741845/180001
872.30/452.78	c cleaning 19000 clauses out of 38036 with flag 4894249/200004
964.00/498.06	c cleaning 20005 clauses out of 40032 with flag 5262227/221000
1177.53/603.66	c cleaning 20999 clauses out of 42028 with flag 7923554/243001
1234.15/631.73	c cleaning 0 clauses out of 18000 with flag 0/18000
1319.80/674.00	c cleaning 21996 clauses out of 44028 with flag 9397125/266000
1330.87/679.44	c cleaning 0 clauses out of 26000 with flag 0/26000
1380.52/703.72	c cleaning 0 clauses out of 35001 with flag 0/35001
1443.03/734.42	c cleaning 0 clauses out of 45000 with flag 0/45000
1514.06/769.40	c cleaning 0 clauses out of 56000 with flag 0/56000
1595.76/809.63	c cleaning 0 clauses out of 68000 with flag 0/68000
1601.46/812.41	c cleaning 22997 clauses out of 46033 with flag 11393108/290001
1692.75/857.46	c cleaning 0 clauses out of 81001 with flag 0/81001
1785.41/902.99	c cleaning 0 clauses out of 95002 with flag 0/95002
1800.03/910.12	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.03/910.12	c starts		: 344
1800.03/910.12	c conflicts		: 306190
1800.03/910.12	c decisions		: 28799508
1800.03/910.12	c propagations		: 1273381278
1800.03/910.12	c inspects		: 5639411054
1800.03/910.12	c shortcuts		: 0
1800.03/910.12	c learnt literals	: 0
1800.03/910.12	c learnt binary clauses	: 418
1800.03/910.12	c learnt ternary clauses	: 1885
1800.03/910.12	c learnt constraints	: 306190
1800.03/910.12	c ignored constraints	: 0
1800.03/910.12	c root simplifications	: 0
1800.03/910.12	c removed literals (reason simplification)	: 1891746
1800.03/910.12	c reason swapping (by a shorter reason)	: 0
1800.03/910.12	c Calls to reduceDB	: 20
1800.03/910.12	c Number of update (reduction) of LBD	: 166962
1800.03/910.12	c Imported unit clauses	: 0
1800.03/910.12	c number of reductions to clauses (during analyze)	: 0
1800.03/910.12	c number of learned constraints concerned by reduction	: 0
1800.03/910.12	c number of learning phase by resolution	: 0
1800.03/910.12	c number of learning phase by cutting planes	: 0
1800.03/910.12	c speed (assignments/second)	: 1505019.1658097839
1800.03/910.12	c non guided choices	9088549
1800.03/910.13	c learnt constraints type 
1800.03/910.13	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 418
1800.03/910.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 38807
1800.03/910.13	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.03/910.13	c starts		: 90
1800.03/910.13	c conflicts		: 96990
1800.03/910.13	c decisions		: 7579582
1800.03/910.13	c propagations		: 301710056
1800.03/910.13	c inspects		: 2016025135
1800.03/910.13	c shortcuts		: 0
1800.03/910.13	c learnt literals	: 0
1800.03/910.13	c learnt binary clauses	: 38
1800.03/910.13	c learnt ternary clauses	: 911
1800.03/910.13	c learnt constraints	: 96989
1800.03/910.13	c ignored constraints	: 0
1800.03/910.13	c root simplifications	: 0
1800.03/910.13	c removed literals (reason simplification)	: 0
1800.03/910.13	c reason swapping (by a shorter reason)	: 0
1800.03/910.13	c Calls to reduceDB	: 10
1800.03/910.13	c Number of update (reduction) of LBD	: 0
1800.03/910.13	c Imported unit clauses	: 0
1800.03/910.13	c number of reductions to clauses (during analyze)	: 0
1800.03/910.13	c number of learned constraints concerned by reduction	: 0
1800.03/910.13	c number of learning phase by resolution	: 0
1800.03/910.13	c number of learning phase by cutting planes	: 0
1800.03/910.13	c speed (assignments/second)	: 356586.1717253255
1800.03/910.13	c non guided choices	387461
1800.03/910.16	c learnt constraints type 
1800.03/910.16	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 96415
1800.03/910.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.03/910.16	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 38
1800.03/910.16	c org.sat4j.pb.constraints.pb.MaxWatchPb => 535
1800.03/910.16	s UNKNOWN
1800.03/910.16	c Total wall clock time (in seconds): 910.041

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-4108968-1466289699/watcher-4108968-1466289699 -o /tmp/evaluation-result-4108968-1466289699/solver-4108968-1466289699 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466275489-17660 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4108968-1466289699.opb 

pid=26871
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 4.18 4.16 4.17 4/195 26874
/proc/meminfo: memFree=26583044/32872528 swapFree=1316768/1463936
[pid=26874] ppid=26871 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/26874/stat : 26874 (java) R 26871 26874 17643 0 -1 4202496 453 0 0 0 0 0 0 0 20 0 1 0 31017504 9379840 108 33554432000 1073741824 1073778376 140733896863920 140733896861048 1073766800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26874/statm: 2290 123 94 9 0 38 0

[startup+0.100113 s]
/proc/loadavg: 4.18 4.16 4.17 4/195 26874
/proc/meminfo: memFree=26583044/32872528 swapFree=1316768/1463936
[pid=26874] ppid=26871 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/26874/stat : 26874 (java) S 26871 26874 17643 0 -1 4202496 4461 0 1 0 8 1 0 0 20 0 18 0 31017504 9787879424 5578 33554432000 1073741824 1073778376 140733896863920 140733896855056 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26874/statm: 2389619 5578 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20028 s]
/proc/loadavg: 4.18 4.16 4.17 4/195 26874
/proc/meminfo: memFree=26583044/32872528 swapFree=1316768/1463936
[pid=26874] ppid=26871 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/26874/stat : 26874 (java) S 26871 26874 17643 0 -1 4202496 4754 0 1 0 21 2 0 0 20 0 18 0 31017504 9787879424 16039 33554432000 1073741824 1073778376 140733896863920 140733896855056 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26874/statm: 2389619 16039 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300305 s]
/proc/loadavg: 4.18 4.16 4.17 4/195 26874
/proc/meminfo: memFree=26583044/32872528 swapFree=1316768/1463936
[pid=26874] ppid=26871 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/26874/stat : 26874 (java) S 26871 26874 17643 0 -1 4202496 5607 0 1 0 43 3 0 0 20 0 18 0 31017504 9787879424 22847 33554432000 1073741824 1073778376 140733896863920 140733896855056 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26874/statm: 2389619 22847 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700213 s]
/proc/loadavg: 4.18 4.16 4.17 4/195 26874
/proc/meminfo: memFree=26583044/32872528 swapFree=1316768/1463936
[pid=26874] ppid=26871 vsize=9558476 CPUtime=1.44 cores=1,3,5,7
/proc/26874/stat : 26874 (java) S 26871 26874 17643 0 -1 4202496 12580 0 1 0 137 7 0 0 20 0 18 0 31017504 9787879424 71385 33554432000 1073741824 1073778376 140733896863920 140733896855056 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26874/statm: 2389619 71385 2263 9 0 2380296 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9558476

[startup+1.50079 s]
/proc/loadavg: 4.18 4.16 4.17 4/213 26892
/proc/meminfo: memFree=26124084/32872528 swapFree=1316768/1463936
[pid=26874] ppid=26871 vsize=9558476 CPUtime=2.55 cores=1,3,5,7
/proc/26874/stat : 26874 (java) S 26871 26874 17643 0 -1 4202496 13351 0 1 0 235 20 0 0 20 0 18 0 31017504 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 140733896855056 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26874/statm: 2389619 159943 2263 9 0 2380296 0
[pid=26874/tid=26876] ppid=26871 vsize=9558476 CPUtime=1.31 cores=1,3,5,7
/proc/26874/task/26876/stat : 26876 (java) R 26871 26874 17643 0 -1 4202560 2691 0 1 0 123 8 0 0 20 0 18 0 31017505 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775686859272 227515884813 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26874/tid=26877] ppid=26871 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/26874/task/26877/stat : 26877 (java) S 26871 26874 17643 0 -1 4202560 62 0 0 0 6 2 0 0 20 0 18 0 31017506 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775530556200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26878] ppid=26871 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/26874/task/26878/stat : 26878 (java) S 26871 26874 17643 0 -1 4202560 50 0 0 0 4 2 0 0 20 0 18 0 31017506 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775529503400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26879] ppid=26871 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/26874/task/26879/stat : 26879 (java) S 26871 26874 17643 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 18 0 31017506 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775528451112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26880] ppid=26871 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/26874/task/26880/stat : 26880 (java) S 26871 26874 17643 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 18 0 31017506 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775527398312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26881] ppid=26871 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/26874/task/26881/stat : 26881 (java) S 26871 26874 17643 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 18 0 31017506 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775526345000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26882] ppid=26871 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/26874/task/26882/stat : 26882 (java) S 26871 26874 17643 0 -1 4202560 36 0 0 0 3 2 0 0 20 0 18 0 31017506 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775525292200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26874/tid=26883] ppid=26871 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/26874/task/26883/stat : 26883 (java) S 26871 26874 17643 0 -1 4202560 37 0 0 0 3 2 0 0 20 0 18 0 31017506 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775524239912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26884] ppid=26871 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/26874/task/26884/stat : 26884 (java) S 26871 26874 17643 0 -1 4202560 46 0 0 0 4 0 0 0 20 0 18 0 31017506 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775523187112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26885] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26885/stat : 26885 (java) S 26871 26874 17643 0 -1 4202560 459 0 0 0 0 0 0 0 20 0 18 0 31017507 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775510989544 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26874/tid=26886] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26886/stat : 26886 (java) S 26871 26874 17643 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 31017507 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775509935608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26887] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26887/stat : 26887 (java) S 26871 26874 17643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 31017507 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775508883208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26888] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26888/stat : 26888 (java) S 26871 26874 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31017510 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775507831696 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26889] ppid=26871 vsize=9558476 CPUtime=0.34 cores=1,3,5,7
/proc/26874/task/26889/stat : 26889 (java) S 26871 26874 17643 0 -1 4202560 3573 0 0 0 34 0 0 0 20 0 18 0 31017510 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775506778296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26890] ppid=26871 vsize=9558476 CPUtime=0.36 cores=1,3,5,7
/proc/26874/task/26890/stat : 26890 (java) S 26871 26874 17643 0 -1 4202560 5067 0 0 0 35 1 0 0 20 0 18 0 31017510 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775505725496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26891] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26891/stat : 26891 (java) S 26871 26874 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31017510 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775504673400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26892] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26892/stat : 26892 (java) S 26871 26874 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31017510 9787879424 159943 33554432000 1073741824 1073778376 140733896863920 139775503620808 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 9558476

[startup+3.10083 s]
/proc/loadavg: 4.17 4.16 4.17 4/213 26892
/proc/meminfo: memFree=25430624/32872528 swapFree=1316768/1463936
[pid=26874] ppid=26871 vsize=9558476 CPUtime=4.64 cores=1,3,5,7
/proc/26874/stat : 26874 (java) S 26871 26874 17643 0 -1 4202496 15765 0 1 0 424 40 0 0 20 0 18 0 31017504 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 140733896855056 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26874/statm: 2389619 300327 2263 9 0 2380296 0
[pid=26874/tid=26876] ppid=26871 vsize=9558476 CPUtime=2.8 cores=1,3,5,7
/proc/26874/task/26876/stat : 26876 (java) R 26871 26874 17643 0 -1 4202560 3387 0 1 0 263 17 0 0 20 0 18 0 31017505 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775686852624 139775694625889 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26874/tid=26877] ppid=26871 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/26874/task/26877/stat : 26877 (java) S 26871 26874 17643 0 -1 4202560 278 0 0 0 13 5 0 0 20 0 18 0 31017506 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775530556200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26874/tid=26878] ppid=26871 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/26874/task/26878/stat : 26878 (java) S 26871 26874 17643 0 -1 4202560 75 0 0 0 7 3 0 0 20 0 18 0 31017506 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775529503400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26879] ppid=26871 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/26874/task/26879/stat : 26879 (java) S 26871 26874 17643 0 -1 4202560 156 0 0 0 5 2 0 0 20 0 18 0 31017506 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775528451112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26880] ppid=26871 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/26874/task/26880/stat : 26880 (java) S 26871 26874 17643 0 -1 4202560 40 0 0 0 6 2 0 0 20 0 18 0 31017506 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775527398312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26881] ppid=26871 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/26874/task/26881/stat : 26881 (java) S 26871 26874 17643 0 -1 4202560 76 0 0 0 3 3 0 0 20 0 18 0 31017506 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775526345000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26882] ppid=26871 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/26874/task/26882/stat : 26882 (java) S 26871 26874 17643 0 -1 4202560 176 0 0 0 8 3 0 0 20 0 18 0 31017506 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775525292200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26874/tid=26883] ppid=26871 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/26874/task/26883/stat : 26883 (java) S 26871 26874 17643 0 -1 4202560 176 0 0 0 6 3 0 0 20 0 18 0 31017506 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775524239912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26884] ppid=26871 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/26874/task/26884/stat : 26884 (java) S 26871 26874 17643 0 -1 4202560 61 0 0 0 7 2 0 0 20 0 18 0 31017506 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775523187112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26874/tid=26885] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26885/stat : 26885 (java) S 26871 26874 17643 0 -1 4202560 970 0 0 0 0 0 0 0 20 0 18 0 31017507 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775510989544 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26874/tid=26886] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26886/stat : 26886 (java) S 26871 26874 17643 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 31017507 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775509935608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26887] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26887/stat : 26887 (java) S 26871 26874 17643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 31017507 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775508883208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26888] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26888/stat : 26888 (java) S 26871 26874 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31017510 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775507831696 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26889] ppid=26871 vsize=9558476 CPUtime=0.42 cores=1,3,5,7
/proc/26874/task/26889/stat : 26889 (java) S 26871 26874 17643 0 -1 4202560 4023 0 0 0 42 0 0 0 20 0 18 0 31017510 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775506778296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26890] ppid=26871 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/26874/task/26890/stat : 26890 (java) S 26871 26874 17643 0 -1 4202560 5093 0 0 0 46 1 0 0 20 0 18 0 31017510 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775505725496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26891] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26891/stat : 26891 (java) S 26871 26874 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31017510 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775504673400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26892] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26892/stat : 26892 (java) S 26871 26874 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31017510 9787879424 300327 33554432000 1073741824 1073778376 140733896863920 139775503620808 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 9558476

[startup+6.30078 s]
/proc/loadavg: 4.17 4.16 4.17 4/213 26892
/proc/meminfo: memFree=24175476/32872528 swapFree=1316768/1463936
[pid=26874] ppid=26871 vsize=9558476 CPUtime=8.66 cores=1,3,5,7
/proc/26874/stat : 26874 (java) S 26871 26874 17643 0 -1 4202496 17501 0 1 0 780 86 0 0 20 0 18 0 31017504 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 140733896855056 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26874/statm: 2389619 718146 2263 9 0 2380296 0
[pid=26874/tid=26876] ppid=26871 vsize=9558476 CPUtime=5.72 cores=1,3,5,7
/proc/26874/task/26876/stat : 26876 (java) R 26871 26874 17643 0 -1 4202560 4116 0 1 0 529 43 0 0 20 0 18 0 31017505 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775686859080 227515884813 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26874/tid=26877] ppid=26871 vsize=9558476 CPUtime=0.41 cores=1,3,5,7
/proc/26874/task/26877/stat : 26877 (java) S 26871 26874 17643 0 -1 4202560 363 0 0 0 31 10 0 0 20 0 18 0 31017506 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775530556200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26874/tid=26878] ppid=26871 vsize=9558476 CPUtime=0.2 cores=1,3,5,7
/proc/26874/task/26878/stat : 26878 (java) S 26871 26874 17643 0 -1 4202560 172 0 0 0 15 5 0 0 20 0 18 0 31017506 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775529503400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26879] ppid=26871 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/26874/task/26879/stat : 26879 (java) S 26871 26874 17643 0 -1 4202560 261 0 0 0 14 4 0 0 20 0 18 0 31017506 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775528451112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26874/tid=26880] ppid=26871 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/26874/task/26880/stat : 26880 (java) S 26871 26874 17643 0 -1 4202560 134 0 0 0 17 4 0 0 20 0 18 0 31017506 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775527398312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26874/tid=26881] ppid=26871 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/26874/task/26881/stat : 26881 (java) S 26871 26874 17643 0 -1 4202560 142 0 0 0 11 5 0 0 20 0 18 0 31017506 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775526345000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26882] ppid=26871 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/26874/task/26882/stat : 26882 (java) S 26871 26874 17643 0 -1 4202560 241 0 0 0 19 4 0 0 20 0 18 0 31017506 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775525292200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26883] ppid=26871 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/26874/task/26883/stat : 26883 (java) S 26871 26874 17643 0 -1 4202560 281 0 0 0 22 6 0 0 20 0 18 0 31017506 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775524239912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26884] ppid=26871 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/26874/task/26884/stat : 26884 (java) S 26871 26874 17643 0 -1 4202560 159 0 0 0 16 3 0 0 20 0 18 0 31017506 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775523187112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26885] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26885/stat : 26885 (java) S 26871 26874 17643 0 -1 4202560 1262 0 0 0 0 0 0 0 20 0 18 0 31017507 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775510989544 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26886] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26886/stat : 26886 (java) S 26871 26874 17643 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 31017507 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775509935608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26887] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26887/stat : 26887 (java) S 26871 26874 17643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 31017507 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775508883208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26888] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26888/stat : 26888 (java) S 26871 26874 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31017510 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775507831696 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26889] ppid=26871 vsize=9558476 CPUtime=0.42 cores=1,3,5,7
/proc/26874/task/26889/stat : 26889 (java) S 26871 26874 17643 0 -1 4202560 4023 0 0 0 42 0 0 0 20 0 18 0 31017510 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775506778296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26890] ppid=26871 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/26874/task/26890/stat : 26890 (java) S 26871 26874 17643 0 -1 4202560 5093 0 0 0 46 1 0 0 20 0 18 0 31017510 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775505725496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26891] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26891/stat : 26891 (java) S 26871 26874 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31017510 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775504673400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26892] ppid=26871 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26892/stat : 26892 (java) S 26871 26874 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31017510 9787879424 718146 33554432000 1073741824 1073778376 140733896863920 139775503620808 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.66
Current children cumulated vsize (KiB) 9558476

[startup+12.7008 s]
/proc/loadavg: 4.07 4.14 4.16 4/213 26892
/proc/meminfo: memFree=23511744/32872528 swapFree=1316768/1463936
[pid=26874] ppid=26871 vsize=9558476 CPUtime=16.36 cores=1,3,5,7
/proc/26874/stat : 26874 (java) S 26871 26874 17643 0 -1 4202496 18384 0 1 0 1537 99 0 0 20 0 18 0 31017504 9787879424 767708 33554432000 1073741824 1073778376 140733896863920 140733896855056 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26874/statm: 2389619 767708 2271 9 0 2380296 0

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

/proc/26874/task/26879/stat : 26879 (java) S 26871 26874 17643 0 -1 4202560 1567 0 0 0 851 18 0 0 20 0 22 0 31017506 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775528451112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26874/tid=26880] ppid=26871 vsize=9824732 CPUtime=8.57 cores=1,3,5,7
/proc/26874/task/26880/stat : 26880 (java) S 26871 26874 17643 0 -1 4202560 1356 0 0 0 839 18 0 0 20 0 22 0 31017506 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775527398312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26874/tid=26881] ppid=26871 vsize=9824732 CPUtime=8.4 cores=1,3,5,7
/proc/26874/task/26881/stat : 26881 (java) S 26871 26874 17643 0 -1 4202560 1179 0 0 0 822 18 0 0 20 0 22 0 31017506 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775526345000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26882] ppid=26871 vsize=9824732 CPUtime=8.92 cores=1,3,5,7
/proc/26874/task/26882/stat : 26882 (java) S 26871 26874 17643 0 -1 4202560 1304 0 0 0 877 15 0 0 20 0 22 0 31017506 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775525292200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26874/tid=26883] ppid=26871 vsize=9824732 CPUtime=8.27 cores=1,3,5,7
/proc/26874/task/26883/stat : 26883 (java) S 26871 26874 17643 0 -1 4202560 1202 0 0 0 807 20 0 0 20 0 22 0 31017506 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775524239912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26874/tid=26884] ppid=26871 vsize=9824732 CPUtime=8.02 cores=1,3,5,7
/proc/26874/task/26884/stat : 26884 (java) S 26871 26874 17643 0 -1 4202560 1039 0 0 0 785 17 0 0 20 0 22 0 31017506 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775523187112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26885] ppid=26871 vsize=9824732 CPUtime=9.53 cores=1,3,5,7
/proc/26874/task/26885/stat : 26885 (java) S 26871 26874 17643 0 -1 4202560 3382 0 0 0 940 13 0 0 20 0 22 0 31017507 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775510989544 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26886] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26886/stat : 26886 (java) S 26871 26874 17643 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 31017507 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775509935608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26887] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26887/stat : 26887 (java) S 26871 26874 17643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 31017507 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775508883208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26888] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26888/stat : 26888 (java) S 26871 26874 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31017510 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775507831696 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26889] ppid=26871 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/26874/task/26889/stat : 26889 (java) S 26871 26874 17643 0 -1 4202560 10277 0 0 0 129 2 0 0 20 0 22 0 31017510 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775506778296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26890] ppid=26871 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/26874/task/26890/stat : 26890 (java) S 26871 26874 17643 0 -1 4202560 7265 0 0 0 156 2 0 0 20 0 22 0 31017510 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775505725496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26874/tid=26891] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26891/stat : 26891 (java) S 26871 26874 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31017510 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775504673400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26892] ppid=26871 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/26874/task/26892/stat : 26892 (java) S 26871 26874 17643 0 -1 4202560 47 0 0 0 16 17 0 0 20 0 22 0 31017510 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775503620808 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26894] ppid=26871 vsize=9824732 CPUtime=744.21 cores=1,3,5,7
/proc/26874/task/26894/stat : 26894 (java) R 26871 26874 17643 0 -1 4202560 62 0 0 0 74408 13 0 0 20 0 22 0 31023901 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775502564224 139775559870068 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26874/tid=26895] ppid=26871 vsize=9824732 CPUtime=744.17 cores=1,3,5,7
/proc/26874/task/26895/stat : 26895 (java) R 26871 26874 17643 0 -1 4202560 145 0 0 0 74405 12 0 0 20 0 22 0 31023901 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775501512192 139775559884570 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26896] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26896/stat : 26896 (java) S 26871 26874 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31023907 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775500461736 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26897] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26897/stat : 26897 (java) S 26871 26874 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31023907 10060525568 1145729 33554432000 1073741824 1073778376 140733896863920 139775499408936 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1621.54
Current children cumulated vsize (KiB) 9824732

[startup+882.301 s]
/proc/loadavg: 3.22 3.39 3.74 5/216 27063
/proc/meminfo: memFree=25067116/32872528 swapFree=1316768/1463936
[pid=26874] ppid=26871 vsize=9824732 CPUtime=1743.53 cores=1,3,5,7
/proc/26874/stat : 26874 (java) S 26871 26874 17643 0 -1 4202496 37053 0 1 0 174105 248 0 0 20 0 22 0 31017504 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 140733896855056 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26874/statm: 2456183 1157025 2297 9 0 2446860 0
[pid=26874/tid=26876] ppid=26871 vsize=9824732 CPUtime=48.77 cores=1,3,5,7
/proc/26874/task/26876/stat : 26876 (java) S 26871 26874 17643 0 -1 4202560 4181 0 1 0 4823 54 0 0 20 0 22 0 31017505 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775686861688 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26877] ppid=26871 vsize=9824732 CPUtime=9.11 cores=1,3,5,7
/proc/26874/task/26877/stat : 26877 (java) S 26871 26874 17643 0 -1 4202560 1448 0 0 0 888 23 0 0 20 0 22 0 31017506 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775530556200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26878] ppid=26871 vsize=9824732 CPUtime=8.51 cores=1,3,5,7
/proc/26874/task/26878/stat : 26878 (java) S 26871 26874 17643 0 -1 4202560 1273 0 0 0 831 20 0 0 20 0 22 0 31017506 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775529503400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26879] ppid=26871 vsize=9824732 CPUtime=9.23 cores=1,3,5,7
/proc/26874/task/26879/stat : 26879 (java) S 26871 26874 17643 0 -1 4202560 1575 0 0 0 904 19 0 0 20 0 22 0 31017506 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775528451112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26880] ppid=26871 vsize=9824732 CPUtime=9 cores=1,3,5,7
/proc/26874/task/26880/stat : 26880 (java) S 26871 26874 17643 0 -1 4202560 1358 0 0 0 882 18 0 0 20 0 22 0 31017506 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775527398312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26881] ppid=26871 vsize=9824732 CPUtime=8.92 cores=1,3,5,7
/proc/26874/task/26881/stat : 26881 (java) S 26871 26874 17643 0 -1 4202560 1183 0 0 0 874 18 0 0 20 0 22 0 31017506 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775526345000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26882] ppid=26871 vsize=9824732 CPUtime=9.47 cores=1,3,5,7
/proc/26874/task/26882/stat : 26882 (java) S 26871 26874 17643 0 -1 4202560 1310 0 0 0 931 16 0 0 20 0 22 0 31017506 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775525292200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26874/tid=26883] ppid=26871 vsize=9824732 CPUtime=8.79 cores=1,3,5,7
/proc/26874/task/26883/stat : 26883 (java) S 26871 26874 17643 0 -1 4202560 1208 0 0 0 859 20 0 0 20 0 22 0 31017506 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775524239912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26874/tid=26884] ppid=26871 vsize=9824732 CPUtime=8.65 cores=1,3,5,7
/proc/26874/task/26884/stat : 26884 (java) S 26871 26874 17643 0 -1 4202560 1048 0 0 0 847 18 0 0 20 0 22 0 31017506 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775523187112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26885] ppid=26871 vsize=9824732 CPUtime=9.54 cores=1,3,5,7
/proc/26874/task/26885/stat : 26885 (java) S 26871 26874 17643 0 -1 4202560 3388 0 0 0 940 14 0 0 20 0 22 0 31017507 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775510989544 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26886] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26886/stat : 26886 (java) S 26871 26874 17643 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 31017507 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775509935608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26887] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26887/stat : 26887 (java) S 26871 26874 17643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 31017507 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775508883208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26888] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26888/stat : 26888 (java) S 26871 26874 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31017510 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775507831696 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26889] ppid=26871 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/26874/task/26889/stat : 26889 (java) S 26871 26874 17643 0 -1 4202560 10277 0 0 0 129 2 0 0 20 0 22 0 31017510 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775506778296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26890] ppid=26871 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/26874/task/26890/stat : 26890 (java) S 26871 26874 17643 0 -1 4202560 7265 0 0 0 156 2 0 0 20 0 22 0 31017510 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775505725496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26874/tid=26891] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26891/stat : 26891 (java) S 26871 26874 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31017510 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775504673400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26892] ppid=26871 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/26874/task/26892/stat : 26892 (java) S 26871 26874 17643 0 -1 4202560 51 0 0 0 17 18 0 0 20 0 22 0 31017510 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775503620808 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26874/tid=26894] ppid=26871 vsize=9824732 CPUtime=802.97 cores=1,3,5,7
/proc/26874/task/26894/stat : 26894 (java) R 26871 26874 17643 0 -1 4202560 66 0 0 0 80282 15 0 0 20 0 22 0 31023901 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775502564224 139775559962477 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26874/tid=26895] ppid=26871 vsize=9824732 CPUtime=802.92 cores=1,3,5,7
/proc/26874/task/26895/stat : 26895 (java) R 26871 26874 17643 0 -1 4202560 155 0 0 0 80278 14 0 0 20 0 22 0 31023901 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775501512192 139775694625889 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26896] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26896/stat : 26896 (java) S 26871 26874 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31023907 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775500461736 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26897] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26897/stat : 26897 (java) S 26871 26874 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31023907 10060525568 1157025 33554432000 1073741824 1073778376 140733896863920 139775499408936 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1743.53
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+910.108 s]
/proc/loadavg: 3.20 3.37 3.72 4/216 27063
/proc/meminfo: memFree=25020020/32872528 swapFree=1316768/1463936
[pid=26874] ppid=26871 vsize=9824732 CPUtime=1800.03 cores=1,3,5,7
/proc/26874/stat : 26874 (java) S 26871 26874 17643 0 -1 4202496 37093 0 1 0 179753 250 0 0 20 0 22 0 31017504 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 140733896855056 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26874/statm: 2456183 1164193 2297 9 0 2446860 0
[pid=26874/tid=26876] ppid=26871 vsize=9824732 CPUtime=48.77 cores=1,3,5,7
/proc/26874/task/26876/stat : 26876 (java) S 26871 26874 17643 0 -1 4202560 4182 0 1 0 4823 54 0 0 20 0 22 0 31017505 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775686861688 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26877] ppid=26871 vsize=9824732 CPUtime=9.35 cores=1,3,5,7
/proc/26874/task/26877/stat : 26877 (java) S 26871 26874 17643 0 -1 4202560 1454 0 0 0 912 23 0 0 20 0 22 0 31017506 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775530556200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26878] ppid=26871 vsize=9824732 CPUtime=8.8 cores=1,3,5,7
/proc/26874/task/26878/stat : 26878 (java) S 26871 26874 17643 0 -1 4202560 1275 0 0 0 860 20 0 0 20 0 22 0 31017506 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775529503400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26879] ppid=26871 vsize=9824732 CPUtime=9.42 cores=1,3,5,7
/proc/26874/task/26879/stat : 26879 (java) S 26871 26874 17643 0 -1 4202560 1577 0 0 0 923 19 0 0 20 0 22 0 31017506 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775528451112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26874/tid=26880] ppid=26871 vsize=9824732 CPUtime=9.17 cores=1,3,5,7
/proc/26874/task/26880/stat : 26880 (java) S 26871 26874 17643 0 -1 4202560 1361 0 0 0 899 18 0 0 20 0 22 0 31017506 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775527398312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26881] ppid=26871 vsize=9824732 CPUtime=9.13 cores=1,3,5,7
/proc/26874/task/26881/stat : 26881 (java) S 26871 26874 17643 0 -1 4202560 1187 0 0 0 895 18 0 0 20 0 22 0 31017506 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775526345000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26882] ppid=26871 vsize=9824732 CPUtime=9.7 cores=1,3,5,7
/proc/26874/task/26882/stat : 26882 (java) S 26871 26874 17643 0 -1 4202560 1313 0 0 0 954 16 0 0 20 0 22 0 31017506 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775525292200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26883] ppid=26871 vsize=9824732 CPUtime=9.11 cores=1,3,5,7
/proc/26874/task/26883/stat : 26883 (java) S 26871 26874 17643 0 -1 4202560 1211 0 0 0 891 20 0 0 20 0 22 0 31017506 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775524239912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26884] ppid=26871 vsize=9824732 CPUtime=8.87 cores=1,3,5,7
/proc/26874/task/26884/stat : 26884 (java) S 26871 26874 17643 0 -1 4202560 1053 0 0 0 869 18 0 0 20 0 22 0 31017506 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775523187112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26885] ppid=26871 vsize=9824732 CPUtime=9.55 cores=1,3,5,7
/proc/26874/task/26885/stat : 26885 (java) S 26871 26874 17643 0 -1 4202560 3390 0 0 0 941 14 0 0 20 0 22 0 31017507 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775510989544 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26886] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26886/stat : 26886 (java) S 26871 26874 17643 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 31017507 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775509935608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26887] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26887/stat : 26887 (java) S 26871 26874 17643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 31017507 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775508883208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26888] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26888/stat : 26888 (java) S 26871 26874 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31017510 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775507831696 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26889] ppid=26871 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/26874/task/26889/stat : 26889 (java) S 26871 26874 17643 0 -1 4202560 10277 0 0 0 129 2 0 0 20 0 22 0 31017510 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775506778296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26890] ppid=26871 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/26874/task/26890/stat : 26890 (java) S 26871 26874 17643 0 -1 4202560 7265 0 0 0 156 2 0 0 20 0 22 0 31017510 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775505725496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26874/tid=26891] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26891/stat : 26891 (java) S 26871 26874 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31017510 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775504673400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26892] ppid=26871 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/26874/task/26892/stat : 26892 (java) S 26871 26874 17643 0 -1 4202560 53 0 0 0 18 19 0 0 20 0 22 0 31017510 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775503620808 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26894] ppid=26871 vsize=9824732 CPUtime=830.21 cores=1,3,5,7
/proc/26874/task/26894/stat : 26894 (java) R 26871 26874 17643 0 -1 4202560 66 0 0 0 83006 15 0 0 20 0 22 0 31023901 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775502564536 139775559870068 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26874/tid=26895] ppid=26871 vsize=9824732 CPUtime=830.17 cores=1,3,5,7
/proc/26874/task/26895/stat : 26895 (java) R 26871 26874 17643 0 -1 4202560 162 0 0 0 83003 14 0 0 20 0 22 0 31023901 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775501512312 139775559991495 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26874/tid=26896] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26896/stat : 26896 (java) S 26871 26874 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31023907 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775500461736 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26874/tid=26897] ppid=26871 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26874/task/26897/stat : 26897 (java) S 26871 26874 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31023907 10060525568 1164193 33554432000 1073741824 1073778376 140733896863920 139775499408936 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824732

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 26874 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 26874 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=39416
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=891560
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 910.18
CPU time (s): 1800.03
CPU user time (s): 1797.53
CPU system time (s): 2.5
CPU usage (%): 197.766
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.04
system time used= 2.89156
maximum resident set size= 4656904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37146
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28666
involuntary context switches= 91357

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02193 second user time and 5.84511 second system time

The end

Launcher Data

Begin job on node121 at 2016-06-19 00:41:46
IDJOB=4108968
IDBENCH=89769
IDSOLVER=2543
FILE ID=node121/4108968-1466289699
RUNJOBID= node121-1466275489-17660
PBS_JOBID= 19918247
Free space on /tmp= 71384 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-173.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108968-1466289699/watcher-4108968-1466289699 -o /tmp/evaluation-result-4108968-1466289699/solver-4108968-1466289699 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466275489-17660 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4108968-1466289699.opb

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

MD5SUM BENCH= b029850fdc398224d6c6edaf54638c01
RANDOM SEED=1180670058

node121.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.691
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.38
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.691
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.691
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.691
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.691
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.54
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.691
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.691
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.56
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.691
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:        26583308 kB
Buffers:          178796 kB
Cached:           641848 kB
SwapCached:         1900 kB
Active:          3681708 kB
Inactive:         374896 kB
Active(anon):    3235772 kB
Inactive(anon):     2792 kB
Active(file):     445936 kB
Inactive(file):   372104 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67101124 kB
Dirty:            287424 kB
Writeback:             0 kB
AnonPages:       4702968 kB
Mapped:            16916 kB
Shmem:                 0 kB
Slab:             626020 kB
SReclaimable:      69408 kB
SUnreclaim:       556612 kB
KernelStack:        1576 kB
PageTables:        13416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4980092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3334144 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= 71440 MiB
End job on node121 at 2016-06-19 00:56:56