Trace number 4080547

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.71 894.085

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K100.opb
MD5SUM96708928b3148fdbe0ae701534d6c3d7
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1709.75
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6800
Total number of constraints7002
Number of constraints which are clauses6902
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint100
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 101
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.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.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.11/0.12	c Pseudo Boolean Optimization by upper bound
0.11/0.12	c ManyCore solver with 2 solvers running in parallel
0.11/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.12	c --- Begin Solver configuration ---
0.11/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.11/0.12	c Learn all clauses as in MiniSAT
0.11/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.12	c Expensive reason simplification
0.11/0.12	c Glucose 2.1 dynamic restart strategy
0.11/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.11/0.12	c timeout=2147483s
0.11/0.12	c DB Simplification allowed=false
0.11/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.12	c --- End Solver configuration ---
0.11/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.12	c --- Begin Solver configuration ---
0.11/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.11/0.12	c Learn all clauses as in MiniSAT
0.11/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.12	c No reason simplification
0.11/0.12	c Armin Biere (Picosat) restarts strategy
0.11/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.11/0.12	c timeout=2147483s
0.11/0.12	c DB Simplification allowed=false
0.11/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.12	c --- End Solver configuration ---
0.11/0.12	c solving HOME/instance-4080547-1465277942.opb
0.11/0.12	c reading problem ... 
0.11/0.12	c  no objective function found
0.78/0.49	c ... done. Wall clock time 0.379s.
0.78/0.49	c declared #vars     6800
0.78/0.49	c #constraints  7002
1.08/0.50	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.08/0.50	c constraints type 
1.08/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5613
1.08/0.50	c org.sat4j.minisat.constraints.card.MinWatchCard => 100
1.08/0.50	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
1.08/0.50	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1287
1.08/0.50	c 7002 constraints processed.
1.08/0.50	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.08/0.50	c constraints type 
1.08/0.50	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1287
1.08/0.50	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5613
1.08/0.50	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 100
1.08/0.50	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1.08/0.50	c 7002 constraints processed.
6.14/2.20	c cleaning 2483 clauses out of 4999 with flag 24244/5005
9.41/3.67	c cleaning 4240 clauses out of 8503 with flag 61203/11002
12.92/5.35	c cleaning 5613 clauses out of 11257 with flag 107948/18000
16.54/7.16	c cleaning 6812 clauses out of 13640 with flag 161995/26000
21.52/9.52	c cleaning 7895 clauses out of 15827 with flag 218939/35001
26.35/11.95	c cleaning 8914 clauses out of 17924 with flag 276584/45001
32.81/15.12	c cleaning 9437 clauses out of 20006 with flag 340935/56000
38.41/17.99	c cleaning 10228 clauses out of 22562 with flag 405382/68001
45.57/21.43	c cleaning 10888 clauses out of 25335 with flag 476842/81002
53.12/25.12	c cleaning 11889 clauses out of 28438 with flag 555786/95000
60.92/29.03	c cleaning 12665 clauses out of 31544 with flag 637318/110000
69.72/33.38	c cleaning 13643 clauses out of 34874 with flag 731410/126000
79.52/38.27	c cleaning 14334 clauses out of 38225 with flag 832102/143000
90.25/43.57	c cleaning 15435 clauses out of 41889 with flag 936386/161001
101.25/49.02	c cleaning 16097 clauses out of 45457 with flag 1042802/180005
114.13/55.44	c cleaning 16950 clauses out of 49352 with flag 1166913/200000
127.44/62.00	c cleaning 18051 clauses out of 53400 with flag 1290108/221000
141.75/69.16	c cleaning 18833 clauses out of 57347 with flag 1423431/243001
156.86/76.62	c cleaning 19709 clauses out of 61516 with flag 1566529/266004
173.28/85.19	c cleaning 20540 clauses out of 65804 with flag 1715643/290002
190.36/93.67	c cleaning 21558 clauses out of 70259 with flag 1874650/315000
207.86/102.35	c cleaning 22163 clauses out of 74697 with flag 2042186/341000
225.73/111.30	c cleaning 23200 clauses out of 79533 with flag 2213897/368000
245.20/120.91	c cleaning 24195 clauses out of 84332 with flag 2396335/396000
254.10/125.39	c cleaning 0 clauses out of 5001 with flag 0/5001
265.97/131.19	c cleaning 24833 clauses out of 89137 with flag 2588898/425000
288.58/142.39	c cleaning 26110 clauses out of 94305 with flag 2785375/455001
310.88/153.43	c cleaning 26754 clauses out of 99194 with flag 2992982/486000
334.65/165.23	c cleaning 27820 clauses out of 104439 with flag 3210773/518000
359.95/177.78	c cleaning 28565 clauses out of 109618 with flag 3431348/551000
386.70/191.02	c cleaning 29582 clauses out of 115051 with flag 3664394/585000
415.07/205.63	c cleaning 30678 clauses out of 120473 with flag 3912209/620004
443.32/219.73	c cleaning 31505 clauses out of 125791 with flag 4166374/656000
473.26/234.67	c cleaning 32600 clauses out of 131285 with flag 4427514/693001
504.14/249.97	c cleaning 33477 clauses out of 136685 with flag 4704145/731001
534.55/265.19	c cleaning 34366 clauses out of 142209 with flag 4986710/770002
568.58/281.96	c cleaning 35348 clauses out of 147841 with flag 5287977/810000
605.94/300.37	c cleaning 36191 clauses out of 153492 with flag 5603978/851000
646.52/320.24	c cleaning 37353 clauses out of 159301 with flag 5913758/893000
687.39/341.27	c cleaning 38615 clauses out of 164947 with flag 6236027/936000
727.14/361.10	c cleaning 39068 clauses out of 170333 with flag 6565871/980001
771.42/383.07	c cleaning 40428 clauses out of 176265 with flag 6906657/1025001
811.13/402.85	c cleaning 41316 clauses out of 181836 with flag 7270349/1071000
854.40/424.39	c cleaning 41677 clauses out of 187521 with flag 7644409/1118001
901.75/447.76	c cleaning 43213 clauses out of 193844 with flag 8021843/1166001
950.75/472.08	c cleaning 44250 clauses out of 199630 with flag 8414460/1215001
1002.36/497.54	c cleaning 45215 clauses out of 205379 with flag 8832087/1265001
1056.03/524.04	c cleaning 46230 clauses out of 211163 with flag 9254701/1316000
1112.13/551.91	c cleaning 47369 clauses out of 216935 with flag 9692377/1368002
1170.04/580.74	c cleaning 48369 clauses out of 222563 with flag 10140882/1421000
1231.32/611.19	c cleaning 49259 clauses out of 228194 with flag 10628424/1475000
1293.08/641.75	c cleaning 50343 clauses out of 233935 with flag 11110773/1530000
1360.98/676.57	c cleaning 51225 clauses out of 239591 with flag 11620420/1586000
1424.08/707.91	c cleaning 52144 clauses out of 245368 with flag 12149028/1643002
1491.30/741.39	c cleaning 53240 clauses out of 251223 with flag 12669590/1701001
1558.95/774.92	c cleaning 54057 clauses out of 256982 with flag 13209410/1760000
1627.76/809.11	c cleaning 55483 clauses out of 262925 with flag 13789852/1820000
1700.38/844.98	c cleaning 56286 clauses out of 268446 with flag 14354887/1881004
1726.30/857.66	c cleaning 0 clauses out of 11000 with flag 0/11000
1777.40/882.91	c cleaning 57616 clauses out of 274156 with flag 14924303/1943000
1800.00/894.00	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.00/894.00	c starts		: 13879
1800.00/894.00	c conflicts		: 1965955
1800.00/894.00	c decisions		: 34127261
1800.00/894.00	c propagations		: 751832039
1800.00/894.00	c inspects		: 4924406361
1800.00/894.00	c shortcuts		: 0
1800.00/894.00	c learnt literals	: 103
1800.00/894.00	c learnt binary clauses	: 84032
1800.00/894.00	c learnt ternary clauses	: 89506
1800.00/894.00	c learnt constraints	: 1965852
1800.00/894.00	c ignored constraints	: 0
1800.00/894.00	c root simplifications	: 0
1800.00/894.00	c removed literals (reason simplification)	: 25057743
1800.00/894.00	c reason swapping (by a shorter reason)	: 0
1800.00/894.00	c Calls to reduceDB	: 58
1800.00/894.00	c Number of update (reduction) of LBD	: 1556553
1800.00/894.00	c Imported unit clauses	: 0
1800.00/894.00	c number of reductions to clauses (during analyze)	: 0
1800.00/894.00	c number of learned constraints concerned by reduction	: 0
1800.00/894.00	c number of learning phase by resolution	: 0
1800.00/894.00	c number of learning phase by cutting planes	: 0
1800.00/894.00	c speed (assignments/second)	: 841458.2853471847
1800.00/894.00	c non guided choices	6778
1800.00/894.05	c learnt constraints type 
1800.00/894.05	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 84032
1800.00/894.05	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 155463
1800.00/894.05	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.00/894.05	c starts		: 35
1800.00/894.05	c conflicts		: 11213
1800.00/894.05	c decisions		: 106085
1800.00/894.05	c propagations		: 4023737
1800.00/894.05	c inspects		: 950556394
1800.00/894.05	c shortcuts		: 0
1800.00/894.05	c learnt literals	: 0
1800.00/894.05	c learnt binary clauses	: 0
1800.00/894.05	c learnt ternary clauses	: 0
1800.00/894.05	c learnt constraints	: 11212
1800.00/894.05	c ignored constraints	: 0
1800.00/894.05	c root simplifications	: 0
1800.00/894.05	c removed literals (reason simplification)	: 0
1800.00/894.05	c reason swapping (by a shorter reason)	: 0
1800.00/894.05	c Calls to reduceDB	: 2
1800.00/894.05	c Number of update (reduction) of LBD	: 0
1800.00/894.05	c Imported unit clauses	: 0
1800.00/894.05	c number of reductions to clauses (during analyze)	: 0
1800.00/894.05	c number of learned constraints concerned by reduction	: 0
1800.00/894.05	c number of learning phase by resolution	: 0
1800.00/894.05	c number of learning phase by cutting planes	: 0
1800.00/894.05	c speed (assignments/second)	: 4503.136397770219
1800.00/894.05	c non guided choices	2544
1800.00/894.05	c learnt constraints type 
1800.00/894.05	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 255
1800.00/894.05	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1325
1800.00/894.05	c org.sat4j.pb.constraints.pb.MaxWatchPb => 9632
1800.00/894.05	s UNKNOWN
1800.00/894.05	c Total wall clock time (in seconds): 893.939

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

pid=23759
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: 1.06 1.45 1.83 2/177 23762
/proc/meminfo: memFree=30381024/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 109727428 98570240 978 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 24065 978 744 9 0 16771 0
[pid=23762/tid=23771] ppid=23759 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) R 23759 23762 23715 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 109727429 98570240 978 33554432000 1073741824 1073778376 140733356532960 140613095484968 214369650048 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 1.06 1.45 1.83 2/177 23762
/proc/meminfo: memFree=30381024/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 4400 0 1 0 10 1 0 0 20 0 18 0 109727428 9787879424 6039 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2389619 6039 2126 9 0 2380296 0
[pid=23762/tid=23771] ppid=23759 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) R 23759 23762 23715 0 -1 4202560 2387 0 1 0 7 0 0 0 20 0 18 0 109727429 9787879424 6039 33554432000 1073741824 1073778376 140733356532960 140613095487768 214373033229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200325 s]
/proc/loadavg: 1.06 1.45 1.83 2/177 23762
/proc/meminfo: memFree=30381024/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 6370 0 1 0 28 1 0 0 20 0 18 0 109727428 9787879424 8001 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2389619 8002 2209 9 0 2380296 0
[pid=23762/tid=23771] ppid=23759 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) R 23759 23762 23715 0 -1 4202560 2399 0 1 0 18 0 0 0 20 0 18 0 109727429 9787879424 8002 33554432000 1073741824 1073778376 140733356532960 140613095487768 140612951166474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300352 s]
/proc/loadavg: 1.06 1.45 1.83 2/177 23762
/proc/meminfo: memFree=30381024/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 7072 0 1 0 54 1 0 0 20 0 18 0 109727428 9787879424 10453 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2389619 10453 2234 9 0 2380296 0
[pid=23762/tid=23771] ppid=23759 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) R 23759 23762 23715 0 -1 4202560 2403 0 1 0 28 0 0 0 20 0 18 0 109727429 9787879424 10453 33554432000 1073741824 1073778376 140733356532960 140613095487768 140612951542526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.700247 s]
/proc/loadavg: 1.06 1.45 1.83 2/177 23762
/proc/meminfo: memFree=30381024/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 20778 0 1 0 180 5 0 0 20 0 22 0 109727428 10060525568 30901 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2456183 30901 2256 9 0 2446860 0
[pid=23762/tid=23771] ppid=23759 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) S 23759 23762 23715 0 -1 4202560 2436 0 1 0 46 2 0 0 20 0 22 0 109727429 10060525568 30901 33554432000 1073741824 1073778376 140733356532960 140613095490424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9824732

[startup+1.50086 s]
/proc/loadavg: 1.14 1.46 1.83 9/219 23804
/proc/meminfo: memFree=30139972/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9824732 CPUtime=4.78 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 23626 0 1 0 472 6 0 0 20 0 22 0 109727428 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2456183 40297 2275 9 0 2446860 0
[pid=23762/tid=23771] ppid=23759 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) S 23759 23762 23715 0 -1 4202560 2436 0 1 0 46 2 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140613095490424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23773] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23773/stat : 23773 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140613073591080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23774] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23774/stat : 23774 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140613072538280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23775] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23775/stat : 23775 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140613071485992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23776] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23776/stat : 23776 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140613070433192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23777] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23777/stat : 23777 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612732971304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23778] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23778/stat : 23778 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612731918504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23779] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23779/stat : 23779 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612730866216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23780] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23780/stat : 23780 (java) S 23759 23762 23715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612729813416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23784] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23784/stat : 23784 (java) S 23759 23762 23715 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 109727430 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612717615848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23785] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23785/stat : 23785 (java) S 23759 23762 23715 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612716561912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23786] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23786/stat : 23786 (java) S 23759 23762 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612715509512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23792] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23792/stat : 23792 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612714458000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23793] ppid=23759 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/23762/task/23793/stat : 23793 (java) S 23759 23762 23715 0 -1 4202560 12775 0 0 0 111 3 0 0 20 0 22 0 109727433 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612713404600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23794] ppid=23759 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/23762/task/23794/stat : 23794 (java) S 23759 23762 23715 0 -1 4202560 7055 0 0 0 120 2 0 0 20 0 22 0 109727433 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612712351800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23795] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23795/stat : 23795 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612711299704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23796] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23796/stat : 23796 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612710247112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23801] ppid=23759 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/23762/task/23801/stat : 23801 (java) R 23759 23762 23715 0 -1 4202560 20 0 0 0 96 0 0 0 20 0 22 0 109727478 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612709192536 140612951953920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23802] ppid=23759 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/23762/task/23802/stat : 23802 (java) R 23759 23762 23715 0 -1 4202560 60 0 0 0 92 0 0 0 20 0 22 0 109727478 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612708139512 140612952087557 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23803] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23803/stat : 23803 (java) S 23759 23762 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612707088040 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23804] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23804/stat : 23804 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612706035240 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 9824732

[startup+3.10088 s]
/proc/loadavg: 1.14 1.46 1.83 8/219 23804
/proc/meminfo: memFree=29985048/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9824732 CPUtime=8.34 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 23783 0 1 0 823 11 0 0 20 0 22 0 109727428 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2456183 55233 2292 9 0 2446860 0
[pid=23762/tid=23771] ppid=23759 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) S 23759 23762 23715 0 -1 4202560 2436 0 1 0 46 2 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140613095490424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23773] ppid=23759 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/23762/task/23773/stat : 23773 (java) S 23759 23762 23715 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140613073591080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23774] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23774/stat : 23774 (java) S 23759 23762 23715 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140613072538280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23775] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23775/stat : 23775 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140613071485992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23776] ppid=23759 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23762/task/23776/stat : 23776 (java) S 23759 23762 23715 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140613070433192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23777] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23777/stat : 23777 (java) S 23759 23762 23715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612732971304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23778] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23778/stat : 23778 (java) S 23759 23762 23715 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612731918504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23779] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23779/stat : 23779 (java) S 23759 23762 23715 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612730866216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23780] ppid=23759 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/23762/task/23780/stat : 23780 (java) S 23759 23762 23715 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612729813416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23784] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23784/stat : 23784 (java) S 23759 23762 23715 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 109727430 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612717615848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23785] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23785/stat : 23785 (java) S 23759 23762 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612716561912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23786] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23786/stat : 23786 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612715509512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23792] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23792/stat : 23792 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612714458000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23793] ppid=23759 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/23762/task/23793/stat : 23793 (java) S 23759 23762 23715 0 -1 4202560 12777 0 0 0 131 3 0 0 20 0 22 0 109727433 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612713404600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23794] ppid=23759 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/23762/task/23794/stat : 23794 (java) S 23759 23762 23715 0 -1 4202560 7059 0 0 0 135 2 0 0 20 0 22 0 109727433 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612712351800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23795] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23795/stat : 23795 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612711299704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23796] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23796/stat : 23796 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612710247112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23801] ppid=23759 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/23762/task/23801/stat : 23801 (java) R 23759 23762 23715 0 -1 4202560 21 0 0 0 252 0 0 0 20 0 22 0 109727478 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612709190544 140612951852944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23802] ppid=23759 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/23762/task/23802/stat : 23802 (java) R 23759 23762 23715 0 -1 4202560 78 0 0 0 242 2 0 0 20 0 22 0 109727478 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612708139320 140612951901006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23803] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23803/stat : 23803 (java) S 23759 23762 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612707088040 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23804] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23804/stat : 23804 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612706035240 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.34
Current children cumulated vsize (KiB) 9824732

[startup+6.30096 s]
/proc/loadavg: 1.37 1.50 1.84 5/219 23804
/proc/meminfo: memFree=29498760/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9824732 CPUtime=14.93 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 24143 0 1 0 1475 18 0 0 20 0 22 0 109727428 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2456183 97747 2292 9 0 2446860 0
[pid=23762/tid=23771] ppid=23759 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) S 23759 23762 23715 0 -1 4202560 2436 0 1 0 46 2 0 0 20 0 22 0 109727429 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140613095490424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23773] ppid=23759 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/23762/task/23773/stat : 23773 (java) S 23759 23762 23715 0 -1 4202560 47 0 0 0 3 2 0 0 20 0 22 0 109727429 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140613073591080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23774] ppid=23759 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23762/task/23774/stat : 23774 (java) S 23759 23762 23715 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 109727429 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140613072538280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23775] ppid=23759 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23762/task/23775/stat : 23775 (java) S 23759 23762 23715 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 109727429 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140613071485992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23776] ppid=23759 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/23762/task/23776/stat : 23776 (java) S 23759 23762 23715 0 -1 4202560 63 0 0 0 3 3 0 0 20 0 22 0 109727429 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140613070433192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23777] ppid=23759 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23762/task/23777/stat : 23777 (java) S 23759 23762 23715 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 22 0 109727429 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140612732971304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23778] ppid=23759 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23762/task/23778/stat : 23778 (java) S 23759 23762 23715 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 109727429 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140612731918504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23779] ppid=23759 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/23762/task/23779/stat : 23779 (java) S 23759 23762 23715 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 22 0 109727429 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140612730866216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23780] ppid=23759 vsize=9824732 CPUtime=0.03 cores=1,3,5,7

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


[startup+822.301 s]
/proc/loadavg: 4.22 4.05 3.23 6/219 23826
/proc/meminfo: memFree=22793584/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9824732 CPUtime=1654.39 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 34983 0 1 0 165233 206 0 0 20 0 22 0 109727428 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2456183 942945 2301 9 0 2446860 0
[pid=23762/tid=23771] ppid=23759 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) S 23759 23762 23715 0 -1 4202560 2448 0 1 0 49 3 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140613095490424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23773] ppid=23759 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/23762/task/23773/stat : 23773 (java) S 23759 23762 23715 0 -1 4202560 819 0 0 0 315 20 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140613073591080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23774] ppid=23759 vsize=9824732 CPUtime=3.25 cores=1,3,5,7
/proc/23762/task/23774/stat : 23774 (java) S 23759 23762 23715 0 -1 4202560 619 0 0 0 309 16 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140613072538280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23775] ppid=23759 vsize=9824732 CPUtime=3.75 cores=1,3,5,7
/proc/23762/task/23775/stat : 23775 (java) S 23759 23762 23715 0 -1 4202560 689 0 0 0 355 20 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140613071485992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23776] ppid=23759 vsize=9824732 CPUtime=3.5 cores=1,3,5,7
/proc/23762/task/23776/stat : 23776 (java) S 23759 23762 23715 0 -1 4202560 817 0 0 0 333 17 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140613070433192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23777] ppid=23759 vsize=9824732 CPUtime=3.6 cores=1,3,5,7
/proc/23762/task/23777/stat : 23777 (java) S 23759 23762 23715 0 -1 4202560 760 0 0 0 340 20 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612732971304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23778] ppid=23759 vsize=9824732 CPUtime=3.54 cores=1,3,5,7
/proc/23762/task/23778/stat : 23778 (java) S 23759 23762 23715 0 -1 4202560 757 0 0 0 333 21 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612731918504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23779] ppid=23759 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/23762/task/23779/stat : 23779 (java) S 23759 23762 23715 0 -1 4202560 722 0 0 0 303 16 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612730866216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23780] ppid=23759 vsize=9824732 CPUtime=3.23 cores=1,3,5,7
/proc/23762/task/23780/stat : 23780 (java) S 23759 23762 23715 0 -1 4202560 569 0 0 0 307 16 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612729813416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23784] ppid=23759 vsize=9824732 CPUtime=5.65 cores=1,3,5,7
/proc/23762/task/23784/stat : 23784 (java) S 23759 23762 23715 0 -1 4202560 2404 0 0 0 556 9 0 0 20 0 22 0 109727430 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612717615848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23785] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23785/stat : 23785 (java) S 23759 23762 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612716561912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23786] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23786/stat : 23786 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612715509512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23792] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23792/stat : 23792 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612714458000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23793] ppid=23759 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/23762/task/23793/stat : 23793 (java) S 23759 23762 23715 0 -1 4202560 12783 0 0 0 142 3 0 0 20 0 22 0 109727433 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612713404600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23794] ppid=23759 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/23762/task/23794/stat : 23794 (java) S 23759 23762 23715 0 -1 4202560 8314 0 0 0 177 2 0 0 20 0 22 0 109727433 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612712351800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23795] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23795/stat : 23795 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612711299704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23796] ppid=23759 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/23762/task/23796/stat : 23796 (java) S 23759 23762 23715 0 -1 4202560 47 0 0 0 17 18 0 0 20 0 22 0 109727433 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612710247112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23801] ppid=23759 vsize=9824732 CPUtime=808.78 cores=1,3,5,7
/proc/23762/task/23801/stat : 23801 (java) R 23759 23762 23715 0 -1 4202560 72 0 0 0 80863 15 0 0 20 0 22 0 109727478 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612709190688 140612951871899 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23802] ppid=23759 vsize=9824732 CPUtime=808.67 cores=1,3,5,7
/proc/23762/task/23802/stat : 23802 (java) R 23759 23762 23715 0 -1 4202560 1897 0 0 0 80822 45 0 0 20 0 22 0 109727478 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612708139368 140612952332908 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23803] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23803/stat : 23803 (java) S 23759 23762 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612707088040 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23804] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23804/stat : 23804 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612706035240 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1654.39
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.30 4.10 3.30 5/219 23827
/proc/meminfo: memFree=22785520/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9824732 CPUtime=1776.21 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 35014 0 1 0 177412 209 0 0 20 0 22 0 109727428 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2456183 944993 2301 9 0 2446860 0
[pid=23762/tid=23771] ppid=23759 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) S 23759 23762 23715 0 -1 4202560 2451 0 1 0 49 3 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140613095490424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23773] ppid=23759 vsize=9824732 CPUtime=3.81 cores=1,3,5,7
/proc/23762/task/23773/stat : 23773 (java) S 23759 23762 23715 0 -1 4202560 823 0 0 0 360 21 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140613073591080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23774] ppid=23759 vsize=9824732 CPUtime=3.76 cores=1,3,5,7
/proc/23762/task/23774/stat : 23774 (java) S 23759 23762 23715 0 -1 4202560 620 0 0 0 360 16 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140613072538280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23775] ppid=23759 vsize=9824732 CPUtime=4.15 cores=1,3,5,7
/proc/23762/task/23775/stat : 23775 (java) S 23759 23762 23715 0 -1 4202560 689 0 0 0 395 20 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140613071485992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23776] ppid=23759 vsize=9824732 CPUtime=3.86 cores=1,3,5,7
/proc/23762/task/23776/stat : 23776 (java) S 23759 23762 23715 0 -1 4202560 817 0 0 0 369 17 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140613070433192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23777] ppid=23759 vsize=9824732 CPUtime=4.16 cores=1,3,5,7
/proc/23762/task/23777/stat : 23777 (java) S 23759 23762 23715 0 -1 4202560 761 0 0 0 396 20 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612732971304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23778] ppid=23759 vsize=9824732 CPUtime=4.02 cores=1,3,5,7
/proc/23762/task/23778/stat : 23778 (java) S 23759 23762 23715 0 -1 4202560 761 0 0 0 381 21 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612731918504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23779] ppid=23759 vsize=9824732 CPUtime=3.52 cores=1,3,5,7
/proc/23762/task/23779/stat : 23779 (java) S 23759 23762 23715 0 -1 4202560 723 0 0 0 336 16 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612730866216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23780] ppid=23759 vsize=9824732 CPUtime=3.8 cores=1,3,5,7
/proc/23762/task/23780/stat : 23780 (java) S 23759 23762 23715 0 -1 4202560 572 0 0 0 364 16 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612729813416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23784] ppid=23759 vsize=9824732 CPUtime=5.65 cores=1,3,5,7
/proc/23762/task/23784/stat : 23784 (java) S 23759 23762 23715 0 -1 4202560 2408 0 0 0 556 9 0 0 20 0 22 0 109727430 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612717615848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23785] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23785/stat : 23785 (java) S 23759 23762 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612716561912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23786] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23786/stat : 23786 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612715509512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23792] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23792/stat : 23792 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612714458000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23793] ppid=23759 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/23762/task/23793/stat : 23793 (java) S 23759 23762 23715 0 -1 4202560 12783 0 0 0 142 3 0 0 20 0 22 0 109727433 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612713404600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23794] ppid=23759 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/23762/task/23794/stat : 23794 (java) S 23759 23762 23715 0 -1 4202560 8315 0 0 0 178 2 0 0 20 0 22 0 109727433 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612712351800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23795] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23795/stat : 23795 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612711299704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23796] ppid=23759 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/23762/task/23796/stat : 23796 (java) S 23759 23762 23715 0 -1 4202560 51 0 0 0 18 20 0 0 20 0 22 0 109727433 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612710247112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23801] ppid=23759 vsize=9824732 CPUtime=867.84 cores=1,3,5,7
/proc/23762/task/23801/stat : 23801 (java) R 23759 23762 23715 0 -1 4202560 74 0 0 0 86768 16 0 0 20 0 22 0 109727478 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612709190512 140612951857166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23802] ppid=23759 vsize=9824732 CPUtime=867.72 cores=1,3,5,7
/proc/23762/task/23802/stat : 23802 (java) R 23759 23762 23715 0 -1 4202560 1900 0 0 0 86726 46 0 0 20 0 22 0 109727478 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612708138592 140612952457572 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23803] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23803/stat : 23803 (java) S 23759 23762 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612707088040 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23804] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23804/stat : 23804 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612706035240 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1776.21
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+894.001 s]
/proc/loadavg: 4.25 4.10 3.30 11/219 23827
/proc/meminfo: memFree=22786516/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9824732 CPUtime=1800 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 35050 0 1 0 179790 210 0 0 20 0 22 0 109727428 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2456183 944625 2301 9 0 2446860 0
[pid=23762/tid=23771] ppid=23759 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) S 23759 23762 23715 0 -1 4202560 2451 0 1 0 49 3 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140613095490424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23773] ppid=23759 vsize=9824732 CPUtime=3.9 cores=1,3,5,7
/proc/23762/task/23773/stat : 23773 (java) S 23759 23762 23715 0 -1 4202560 824 0 0 0 369 21 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140613073591080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23774] ppid=23759 vsize=9824732 CPUtime=3.84 cores=1,3,5,7
/proc/23762/task/23774/stat : 23774 (java) S 23759 23762 23715 0 -1 4202560 621 0 0 0 368 16 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140613072538280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23775] ppid=23759 vsize=9824732 CPUtime=4.25 cores=1,3,5,7
/proc/23762/task/23775/stat : 23775 (java) S 23759 23762 23715 0 -1 4202560 693 0 0 0 405 20 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140613071485992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23776] ppid=23759 vsize=9824732 CPUtime=4.02 cores=1,3,5,7
/proc/23762/task/23776/stat : 23776 (java) S 23759 23762 23715 0 -1 4202560 822 0 0 0 384 18 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140613070433192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23777] ppid=23759 vsize=9824732 CPUtime=4.24 cores=1,3,5,7
/proc/23762/task/23777/stat : 23777 (java) S 23759 23762 23715 0 -1 4202560 763 0 0 0 404 20 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612732971304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23778] ppid=23759 vsize=9824732 CPUtime=4.19 cores=1,3,5,7
/proc/23762/task/23778/stat : 23778 (java) S 23759 23762 23715 0 -1 4202560 767 0 0 0 398 21 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612731918504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23779] ppid=23759 vsize=9824732 CPUtime=3.62 cores=1,3,5,7
/proc/23762/task/23779/stat : 23779 (java) S 23759 23762 23715 0 -1 4202560 725 0 0 0 346 16 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612730866216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23780] ppid=23759 vsize=9824732 CPUtime=3.88 cores=1,3,5,7
/proc/23762/task/23780/stat : 23780 (java) S 23759 23762 23715 0 -1 4202560 574 0 0 0 372 16 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612729813416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23784] ppid=23759 vsize=9824732 CPUtime=5.66 cores=1,3,5,7
/proc/23762/task/23784/stat : 23784 (java) S 23759 23762 23715 0 -1 4202560 2418 0 0 0 556 10 0 0 20 0 22 0 109727430 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612717615848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23785] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23785/stat : 23785 (java) S 23759 23762 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612716561912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23786] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23786/stat : 23786 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612715509512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23792] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23792/stat : 23792 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612714458000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23793] ppid=23759 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/23762/task/23793/stat : 23793 (java) S 23759 23762 23715 0 -1 4202560 12783 0 0 0 142 3 0 0 20 0 22 0 109727433 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612713404600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23794] ppid=23759 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/23762/task/23794/stat : 23794 (java) S 23759 23762 23715 0 -1 4202560 8315 0 0 0 178 2 0 0 20 0 22 0 109727433 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612712351800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23795] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23795/stat : 23795 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612711299704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23796] ppid=23759 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/23762/task/23796/stat : 23796 (java) S 23759 23762 23715 0 -1 4202560 51 0 0 0 18 20 0 0 20 0 22 0 109727433 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612710247112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23801] ppid=23759 vsize=9824732 CPUtime=879.31 cores=1,3,5,7
/proc/23762/task/23801/stat : 23801 (java) R 23759 23762 23715 0 -1 4202560 75 0 0 0 87915 16 0 0 20 0 22 0 109727478 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612709191456 140612952105704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23802] ppid=23759 vsize=9824732 CPUtime=879.19 cores=1,3,5,7
/proc/23762/task/23802/stat : 23802 (java) R 23759 23762 23715 0 -1 4202560 1902 0 0 0 87873 46 0 0 20 0 22 0 109727478 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612708137408 140612952110053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23803] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23803/stat : 23803 (java) S 23759 23762 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612707088040 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23804] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23804/stat : 23804 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612706035240 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 23762 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 894.085
CPU time (s): 1800.71
CPU user time (s): 1798.05
CPU system time (s): 2.66059
CPU usage (%): 201.402
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.05
system time used= 2.66059
maximum resident set size= 3779972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35083
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24004
involuntary context switches= 31177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03208 second user time and 7.2459 second system time

The end

Launcher Data

Begin job on node130 at 2016-06-07 07:39:02
IDJOB=4080547
IDBENCH=90133
IDSOLVER=2543
FILE ID=node130/4080547-1465277942
RUNJOBID= node130-1465277942-23732
PBS_JOBID= 19843313
Free space on /tmp= 71748 MiB

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

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

MD5SUM BENCH= 96708928b3148fdbe0ae701534d6c3d7
RANDOM SEED=1481601375

node130.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.261
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.52
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.261
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.261
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.261
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.61
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.261
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.261
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.261
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.261
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:        30382840 kB
Buffers:          111960 kB
Cached:           205484 kB
SwapCached:         1724 kB
Active:            90544 kB
Inactive:         230000 kB
Active(anon):       4448 kB
Inactive(anon):     1252 kB
Active(file):      86096 kB
Inactive(file):   228748 kB
Unevictable:     1434320 kB
Mlocked:           15784 kB
SwapTotal:      67108856 kB
SwapFree:       67098432 kB
Dirty:              2392 kB
Writeback:             0 kB
AnonPages:       1437144 kB
Mapped:             6796 kB
Shmem:                 0 kB
Slab:             601328 kB
SReclaimable:      45232 kB
SUnreclaim:       556096 kB
KernelStack:        1336 kB
PageTables:         6712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1553732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1421312 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= 71744 MiB
End job on node130 at 2016-06-07 07:53:56