Trace number 4115974

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.19 895.067

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round22-3.opb
MD5SUMa60d5b9361e66998e61250a2aafb07d9
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 benchmark705.001
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8656
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)368
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	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.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4115974-1466944570.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  no objective function found
0.72/0.49	c ... done. Wall clock time 0.369s.
0.72/0.49	c declared #vars     4128
0.72/0.49	c #constraints  9888
0.72/0.49	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.72/0.49	c constraints type 
0.72/0.49	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
0.72/0.49	c org.sat4j.specs.Constr$1 => 856
0.72/0.49	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.72/0.49	c org.sat4j.minisat.constraints.cnf.UnitClause => 456
0.72/0.49	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.72/0.49	c 9888 constraints processed.
0.72/0.49	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.72/0.49	c constraints type 
0.72/0.49	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
0.72/0.49	c org.sat4j.specs.Constr$1 => 856
0.72/0.49	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6726
0.72/0.49	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1722
0.72/0.49	c org.sat4j.pb.constraints.pb.UnitClausePB => 456
0.72/0.49	c 9888 constraints processed.
4.58/1.42	c cleaning 2494 clauses out of 4998 with flag 15511/5000
6.34/2.09	c cleaning 4245 clauses out of 8505 with flag 36273/11001
8.06/2.83	c cleaning 5614 clauses out of 11259 with flag 62957/18000
9.72/3.69	c cleaning 6805 clauses out of 13645 with flag 96230/26000
12.01/4.71	c cleaning 7911 clauses out of 15840 with flag 134484/35000
14.01/5.78	c cleaning 8957 clauses out of 17930 with flag 180724/45001
16.89/7.10	c cleaning 9968 clauses out of 19972 with flag 231866/56000
19.69/8.53	c cleaning 10972 clauses out of 22004 with flag 288443/68000
22.93/10.19	c cleaning 12005 clauses out of 24032 with flag 350815/81000
26.84/12.03	c cleaning 12968 clauses out of 26027 with flag 421319/95000
30.84/14.00	c cleaning 14009 clauses out of 28059 with flag 497153/110000
35.04/16.18	c cleaning 15025 clauses out of 30051 with flag 581049/126001
40.01/18.55	c cleaning 15987 clauses out of 32026 with flag 669493/143001
43.00/20.08	c cleaning 0 clauses out of 5000 with flag 0/5000
45.11/21.00	c cleaning 16998 clauses out of 34038 with flag 768781/161000
50.69/23.79	c cleaning 18011 clauses out of 36042 with flag 872172/180002
57.03/26.83	c cleaning 18995 clauses out of 38030 with flag 980418/200001
63.23/29.94	c cleaning 20011 clauses out of 40034 with flag 1098994/221000
70.39/33.47	c cleaning 21005 clauses out of 42023 with flag 1223770/243000
77.78/37.10	c cleaning 21969 clauses out of 44018 with flag 1355809/266000
85.67/41.09	c cleaning 23011 clauses out of 46053 with flag 1492982/290004
94.26/45.32	c cleaning 24012 clauses out of 48038 with flag 1639310/315000
103.17/49.71	c cleaning 24988 clauses out of 50028 with flag 1791522/341002
112.17/54.21	c cleaning 26005 clauses out of 52041 with flag 1949694/368003
122.14/59.16	c cleaning 26964 clauses out of 54034 with flag 2114192/396001
132.34/64.25	c cleaning 28027 clauses out of 56069 with flag 2286230/425000
143.23/69.63	c cleaning 29000 clauses out of 58042 with flag 2464947/455000
154.93/75.44	c cleaning 30006 clauses out of 60042 with flag 2651654/486000
166.73/81.35	c cleaning 30998 clauses out of 62036 with flag 2843942/518000
179.83/87.89	c cleaning 31984 clauses out of 64038 with flag 3044942/551000
194.41/95.40	c cleaning 32968 clauses out of 66055 with flag 3251658/585001
208.27/102.39	c cleaning 34030 clauses out of 68086 with flag 3468137/620000
223.31/109.86	c cleaning 35029 clauses out of 70058 with flag 3690335/656002
238.95/117.64	c cleaning 36011 clauses out of 72027 with flag 3918057/693000
255.60/125.93	c cleaning 36990 clauses out of 74017 with flag 4149599/731001
272.88/134.50	c cleaning 37999 clauses out of 76026 with flag 4393751/770000
290.98/143.51	c cleaning 39007 clauses out of 78027 with flag 4639541/810000
309.32/152.66	c cleaning 40002 clauses out of 80021 with flag 4891411/851001
328.82/162.31	c cleaning 40990 clauses out of 82018 with flag 5156751/893000
345.97/170.81	c cleaning 0 clauses out of 11002 with flag 0/11002
350.11/172.85	c cleaning 42009 clauses out of 84028 with flag 5424603/936000
371.23/183.36	c cleaning 42963 clauses out of 86019 with flag 5698428/980000
392.95/194.20	c cleaning 43990 clauses out of 88056 with flag 5982393/1025000
415.89/205.54	c cleaning 45009 clauses out of 90066 with flag 6272164/1071000
440.73/217.82	c cleaning 45996 clauses out of 92057 with flag 6566506/1118000
465.05/230.00	c cleaning 47030 clauses out of 94061 with flag 6866118/1166000
491.11/242.81	c cleaning 48007 clauses out of 96031 with flag 7175835/1215000
517.62/256.02	c cleaning 48986 clauses out of 98024 with flag 7490877/1265000
546.05/270.75	c cleaning 49961 clauses out of 100038 with flag 7814008/1316000
574.30/284.83	c cleaning 51024 clauses out of 102078 with flag 8142930/1368001
602.67/298.98	c cleaning 51992 clauses out of 104053 with flag 8479220/1421000
633.49/314.22	c cleaning 53014 clauses out of 106061 with flag 8822450/1475000
664.57/329.67	c cleaning 54010 clauses out of 108047 with flag 9170671/1530000
696.48/345.53	c cleaning 55010 clauses out of 110037 with flag 9523206/1586000
729.66/362.09	c cleaning 56014 clauses out of 112027 with flag 9881212/1643000
764.24/379.26	c cleaning 56962 clauses out of 114013 with flag 10248822/1701000
799.62/396.84	c cleaning 58007 clauses out of 116051 with flag 10626735/1760000
835.86/414.89	c cleaning 58999 clauses out of 118045 with flag 11004913/1820001
874.09/433.89	c cleaning 60000 clauses out of 120046 with flag 11392228/1881001
913.33/453.33	c cleaning 61009 clauses out of 122046 with flag 11785716/1943001
951.95/472.53	c cleaning 61977 clauses out of 124039 with flag 12189034/2006003
991.44/492.17	c cleaning 62994 clauses out of 126059 with flag 12593854/2070000
1026.84/509.82	c cleaning 64023 clauses out of 128068 with flag 13005561/2135003
1066.74/529.68	c cleaning 64999 clauses out of 130042 with flag 13420315/2201000
1112.18/552.98	c cleaning 66023 clauses out of 132045 with flag 13842374/2268002
1157.66/575.57	c cleaning 66981 clauses out of 134020 with flag 14272091/2336000
1203.86/598.52	c cleaning 67977 clauses out of 136039 with flag 14702975/2405000
1252.11/622.53	c cleaning 69010 clauses out of 138062 with flag 15143003/2475000
1301.39/647.09	c cleaning 69997 clauses out of 140052 with flag 15593821/2546000
1352.99/672.71	c cleaning 71008 clauses out of 142056 with flag 16053286/2618001
1404.65/698.47	c cleaning 72005 clauses out of 144047 with flag 16511254/2691000
1406.77/699.49	c cleaning 0 clauses out of 18001 with flag 0/18001
1458.89/725.33	c cleaning 73012 clauses out of 146043 with flag 16980457/2765001
1514.03/752.77	c cleaning 74006 clauses out of 148030 with flag 17453971/2840000
1570.49/780.85	c cleaning 74984 clauses out of 150025 with flag 17933191/2916001
1629.39/810.10	c cleaning 75980 clauses out of 152040 with flag 18420165/2993000
1689.74/840.10	c cleaning 77003 clauses out of 154060 with flag 18912572/3071000
1752.52/871.31	c cleaning 78007 clauses out of 156057 with flag 19409556/3150000
1800.19/895.00	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.19/895.00	c starts		: 27431
1800.19/895.00	c conflicts		: 3214404
1800.19/895.00	c decisions		: 34670033
1800.19/895.00	c propagations		: 453400847
1800.19/895.00	c inspects		: 9196398171
1800.19/895.00	c shortcuts		: 0
1800.19/895.00	c learnt literals	: 2
1800.19/895.00	c learnt binary clauses	: 39
1800.19/895.00	c learnt ternary clauses	: 491
1800.19/895.00	c learnt constraints	: 3214402
1800.19/895.00	c ignored constraints	: 0
1800.19/895.00	c root simplifications	: 0
1800.19/895.00	c removed literals (reason simplification)	: 1874298
1800.19/895.00	c reason swapping (by a shorter reason)	: 0
1800.19/895.00	c Calls to reduceDB	: 75
1800.19/895.00	c Number of update (reduction) of LBD	: 658049
1800.19/895.00	c Imported unit clauses	: 0
1800.19/895.00	c number of reductions to clauses (during analyze)	: 0
1800.19/895.00	c number of learned constraints concerned by reduction	: 0
1800.19/895.00	c number of learning phase by resolution	: 0
1800.19/895.00	c number of learning phase by cutting planes	: 0
1800.19/895.00	c speed (assignments/second)	: 506876.296254891
1800.19/895.00	c non guided choices	7183
1800.19/895.03	c learnt constraints type 
1800.19/895.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 39
1800.19/895.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 142415
1800.19/895.03	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.19/895.03	c starts		: 45
1800.19/895.03	c conflicts		: 19658
1800.19/895.03	c decisions		: 72289
1800.19/895.03	c propagations		: 2504840
1800.19/895.03	c inspects		: 787148309
1800.19/895.03	c shortcuts		: 0
1800.19/895.03	c learnt literals	: 0
1800.19/895.03	c learnt binary clauses	: 0
1800.19/895.03	c learnt ternary clauses	: 0
1800.19/895.03	c learnt constraints	: 19658
1800.19/895.03	c ignored constraints	: 0
1800.19/895.03	c root simplifications	: 0
1800.19/895.03	c removed literals (reason simplification)	: 0
1800.19/895.03	c reason swapping (by a shorter reason)	: 0
1800.19/895.03	c Calls to reduceDB	: 3
1800.19/895.03	c Number of update (reduction) of LBD	: 0
1800.19/895.03	c Imported unit clauses	: 0
1800.19/895.03	c number of reductions to clauses (during analyze)	: 0
1800.19/895.03	c number of learned constraints concerned by reduction	: 0
1800.19/895.03	c number of learning phase by resolution	: 0
1800.19/895.03	c number of learning phase by cutting planes	: 0
1800.19/895.03	c speed (assignments/second)	: 2800.178641497369
1800.19/895.03	c non guided choices	326
1800.19/895.04	c learnt constraints type 
1800.19/895.04	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 6
1800.19/895.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 19652
1800.19/895.04	s UNKNOWN
1800.19/895.04	c Total wall clock time (in seconds): 894.92

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

pid=19627
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.17 4.13 3.32 3/197 19630
/proc/meminfo: memFree=26778972/32872528 swapFree=1541156/1696500
[pid=19630] ppid=19627 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/19630/stat : 19630 (java) R 19627 19630 19474 0 -1 4202496 401 0 0 0 0 0 0 0 20 0 1 0 27495731 9445376 72 33554432000 1073741824 1073778376 140735803816064 140735803813192 270698329448 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19630/statm: 2306 90 72 9 0 38 0

[startup+0.100112 s]
/proc/loadavg: 4.17 4.13 3.32 3/197 19630
/proc/meminfo: memFree=26778972/32872528 swapFree=1541156/1696500
[pid=19630] ppid=19627 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/19630/stat : 19630 (java) S 19627 19630 19474 0 -1 4202496 4406 0 1 0 8 0 0 0 20 0 18 0 27495731 9787879424 6036 33554432000 1073741824 1073778376 140735803816064 140735803807200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19630/statm: 2389619 6036 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200224 s]
/proc/loadavg: 4.17 4.13 3.32 3/197 19630
/proc/meminfo: memFree=26778972/32872528 swapFree=1541156/1696500
[pid=19630] ppid=19627 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/19630/stat : 19630 (java) S 19627 19630 19474 0 -1 4202496 4711 0 1 0 23 0 0 0 20 0 18 0 27495731 9787879424 6800 33554432000 1073741824 1073778376 140735803816064 140735803807200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19630/statm: 2389619 6800 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300217 s]
/proc/loadavg: 4.17 4.13 3.32 3/197 19630
/proc/meminfo: memFree=26778972/32872528 swapFree=1541156/1696500
[pid=19630] ppid=19627 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/19630/stat : 19630 (java) S 19627 19630 19474 0 -1 4202496 5763 0 1 0 46 1 0 0 20 0 18 0 27495731 9787879424 9015 33554432000 1073741824 1073778376 140735803816064 140735803807200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19630/statm: 2389619 9015 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700195 s]
/proc/loadavg: 4.17 4.13 3.32 3/197 19630
/proc/meminfo: memFree=26778972/32872528 swapFree=1541156/1696500
[pid=19630] ppid=19627 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/19630/stat : 19630 (java) S 19627 19630 19474 0 -1 4202496 14654 0 1 0 177 4 0 0 20 0 22 0 27495731 10060525568 23488 33554432000 1073741824 1073778376 140735803816064 140735803807200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19630/statm: 2456183 23488 2265 9 0 2446860 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 9824732

[startup+1.50084 s]
/proc/loadavg: 4.17 4.13 3.32 5/193 19686
/proc/meminfo: memFree=30302832/32872528 swapFree=1541156/1696500
[pid=19630] ppid=19627 vsize=9824732 CPUtime=4.92 cores=1,3,5,7
/proc/19630/stat : 19630 (java) S 19627 19630 19474 0 -1 4202496 21322 0 1 0 485 7 0 0 20 0 22 0 27495731 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140735803807200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19630/statm: 2456183 48243 2292 9 0 2446860 0
[pid=19630/tid=19632] ppid=19627 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/19630/task/19632/stat : 19632 (java) S 19627 19630 19474 0 -1 4202560 2429 0 1 0 44 2 0 0 20 0 22 0 27495732 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140244544152440 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19633] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19633/stat : 19633 (java) S 19627 19630 19474 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 27495733 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140244516604200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19634] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19634/stat : 19634 (java) S 19627 19630 19474 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 27495733 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140244515551400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19635] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19635/stat : 19635 (java) S 19627 19630 19474 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 27495733 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140244514499112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19636] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19636/stat : 19636 (java) S 19627 19630 19474 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 27495733 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140244513446312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19637] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19637/stat : 19637 (java) S 19627 19630 19474 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 27495733 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140244512394024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19638] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19638/stat : 19638 (java) S 19627 19630 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27495733 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140244511341224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19639] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19639/stat : 19639 (java) S 19627 19630 19474 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 27495733 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140244510288936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19640] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19640/stat : 19640 (java) S 19627 19630 19474 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27495733 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140244509236136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19641] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19641/stat : 19641 (java) S 19627 19630 19474 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 27495734 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140243897391336 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19642] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19642/stat : 19642 (java) S 19627 19630 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27495735 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140243896337400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19643] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19643/stat : 19643 (java) S 19627 19630 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27495735 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140243895285000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19644] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19644/stat : 19644 (java) S 19627 19630 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27495737 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140243894233488 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19645] ppid=19627 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/19630/task/19645/stat : 19645 (java) S 19627 19630 19474 0 -1 4202560 6287 0 0 0 118 2 0 0 20 0 22 0 27495737 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140243893181112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19646] ppid=19627 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/19630/task/19646/stat : 19646 (java) R 19627 19630 19474 0 -1 4202560 11129 0 0 0 119 3 0 0 20 0 22 0 27495737 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140243892106424 140244546155594 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19647] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19647/stat : 19647 (java) S 19627 19630 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27495737 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140243891076216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19648] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19648/stat : 19648 (java) S 19627 19630 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27495737 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140243890023624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19649] ppid=19627 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/19630/task/19649/stat : 19649 (java) R 19627 19630 19474 0 -1 4202560 18 0 0 0 96 0 0 0 20 0 22 0 27495781 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140243888967904 140244390002200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19650] ppid=19627 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/19630/task/19650/stat : 19650 (java) R 19627 19630 19474 0 -1 4202560 75 0 0 0 94 1 0 0 20 0 22 0 27495781 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140243887914792 140244390084281 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19651] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19651/stat : 19651 (java) S 19627 19630 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27495781 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140243886863528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19652] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19652/stat : 19652 (java) S 19627 19630 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27495781 10060525568 48243 33554432000 1073741824 1073778376 140735803816064 140243885810728 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 9824732

[startup+3.1009 s]
/proc/loadavg: 4.17 4.13 3.32 7/219 19721
/proc/meminfo: memFree=30026960/32872528 swapFree=1541156/1696500
[pid=19630] ppid=19627 vsize=9824732 CPUtime=8.67 cores=1,3,5,7
/proc/19630/stat : 19630 (java) S 19627 19630 19474 0 -1 4202496 21880 0 1 0 854 13 0 0 20 0 22 0 27495731 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140735803807200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19630/statm: 2456183 85211 2292 9 0 2446860 0
[pid=19630/tid=19632] ppid=19627 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/19630/task/19632/stat : 19632 (java) S 19627 19630 19474 0 -1 4202560 2429 0 1 0 44 2 0 0 20 0 22 0 27495732 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140244544152440 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19633] ppid=19627 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19630/task/19633/stat : 19633 (java) S 19627 19630 19474 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 27495733 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140244516604200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19634] ppid=19627 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19630/task/19634/stat : 19634 (java) S 19627 19630 19474 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 27495733 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140244515551400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19635] ppid=19627 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19630/task/19635/stat : 19635 (java) S 19627 19630 19474 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 27495733 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140244514499112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19636] ppid=19627 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19630/task/19636/stat : 19636 (java) S 19627 19630 19474 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 27495733 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140244513446312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19637] ppid=19627 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19630/task/19637/stat : 19637 (java) S 19627 19630 19474 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 22 0 27495733 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140244512394024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19638] ppid=19627 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19630/task/19638/stat : 19638 (java) S 19627 19630 19474 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 27495733 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140244511341224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19639] ppid=19627 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19630/task/19639/stat : 19639 (java) S 19627 19630 19474 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 27495733 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140244510288936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19640] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19640/stat : 19640 (java) S 19627 19630 19474 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 27495733 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140244509236136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19641] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19641/stat : 19641 (java) S 19627 19630 19474 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 27495734 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140243897391336 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19642] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19642/stat : 19642 (java) S 19627 19630 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27495735 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140243896337400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19643] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19643/stat : 19643 (java) S 19627 19630 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27495735 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140243895285000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19644] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19644/stat : 19644 (java) S 19627 19630 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27495737 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140243894233488 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19645] ppid=19627 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/19630/task/19645/stat : 19645 (java) S 19627 19630 19474 0 -1 4202560 6288 0 0 0 124 2 0 0 20 0 22 0 27495737 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140243893181112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19646] ppid=19627 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/19630/task/19646/stat : 19646 (java) S 19627 19630 19474 0 -1 4202560 11446 0 0 0 163 3 0 0 20 0 22 0 27495737 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140243892128312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19647] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19647/stat : 19647 (java) S 19627 19630 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27495737 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140243891076216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19648] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19648/stat : 19648 (java) S 19627 19630 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27495737 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140243890023624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19649] ppid=19627 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/19630/task/19649/stat : 19649 (java) R 19627 19630 19474 0 -1 4202560 19 0 0 0 250 0 0 0 20 0 22 0 27495781 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140243888968056 140244389946702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19650] ppid=19627 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/19630/task/19650/stat : 19650 (java) R 19627 19630 19474 0 -1 4202560 134 0 0 0 247 3 0 0 20 0 22 0 27495781 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140243887914360 140244390013437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19651] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19651/stat : 19651 (java) S 19627 19630 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27495781 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140243886863528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19652] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19652/stat : 19652 (java) S 19627 19630 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27495781 10060525568 85211 33554432000 1073741824 1073778376 140735803816064 140243885810728 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.67
Current children cumulated vsize (KiB) 9824732

[startup+6.30093 s]
/proc/loadavg: 4.24 4.15 3.33 5/219 19721
/proc/meminfo: memFree=29463200/32872528 swapFree=1541156/1696500
[pid=19630] ppid=19627 vsize=9824732 CPUtime=15.29 cores=1,3,5,7
/proc/19630/stat : 19630 (java) S 19627 19630 19474 0 -1 4202496 22913 0 1 0 1503 26 0 0 20 0 22 0 27495731 10060525568 162809 33554432000 1073741824 1073778376 140735803816064 140735803807200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19630/statm: 2456183 162809 2292 9 0 2446860 0
[pid=19630/tid=19632] ppid=19627 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/19630/task/19632/stat : 19632 (java) S 19627 19630 19474 0 -1 4202560 2429 0 1 0 44 2 0 0 20 0 22 0 27495732 10060525568 162809 33554432000 1073741824 1073778376 140735803816064 140244544152440 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19633] ppid=19627 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/19630/task/19633/stat : 19633 (java) S 19627 19630 19474 0 -1 4202560 133 0 0 0 6 2 0 0 20 0 22 0 27495733 10060525568 162809 33554432000 1073741824 1073778376 140735803816064 140244516604200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19634] ppid=19627 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19630/task/19634/stat : 19634 (java) S 19627 19630 19474 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 22 0 27495733 10060525568 162809 33554432000 1073741824 1073778376 140735803816064 140244515551400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19635] ppid=19627 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/19630/task/19635/stat : 19635 (java) S 19627 19630 19474 0 -1 4202560 55 0 0 0 7 2 0 0 20 0 22 0 27495733 10060525568 162809 33554432000 1073741824 1073778376 140735803816064 140244514499112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19636] ppid=19627 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/19630/task/19636/stat : 19636 (java) S 19627 19630 19474 0 -1 4202560 136 0 0 0 5 2 0 0 20 0 22 0 27495733 10060525568 162809 33554432000 1073741824 1073778376 140735803816064 140244513446312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19637] ppid=19627 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/19630/task/19637/stat : 19637 (java) S 19627 19630 19474 0 -1 4202560 68 0 0 0 3 2 0 0 20 0 22 0 27495733 10060525568 162809 33554432000 1073741824 1073778376 140735803816064 140244512394024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19638] ppid=19627 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/19630/task/19638/stat : 19638 (java) S 19627 19630 19474 0 -1 4202560 138 0 0 0 5 2 0 0 20 0 22 0 27495733 10060525568 162809 33554432000 1073741824 1073778376 140735803816064 140244511341224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19639] ppid=19627 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/19630/task/19639/stat : 19639 (java) S 19627 19630 19474 0 -1 4202560 73 0 0 0 6 3 0 0 20 0 22 0 27495733 10060525568 162809 33554432000 1073741824 1073778376 140735803816064 140244510288936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19640] ppid=19627 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19630/task/19640/stat : 19640 (java) S 19627 19630 19474 0 -1 4202560 114 0 0 0 4 0 0 0 20 0 22 0 27495733 10060525568 162809 33554432000 1073741824 1073778376 140735803816064 140244509236136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19641] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19641/stat : 19641 (java) S 19627 19630 19474 0 -1 4202560 466 0 0 0 0 0 0 0 20 0 22 0 27495734 10060525568 162809 33554432000 1073741824 1073778376 140735803816064 140243897391336 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19642] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19642/stat : 19642 (java) S 19627 19630 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27495735 10060525568 162809 33554432000 1073741824 1073778376 140735803816064 140243896337400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19643] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19643/stat : 19643 (java) S 19627 19630 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27495735 10060525568 162809 33554432000 1073741824 1073778376 140735803816064 140243895285000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19644] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19644/stat : 19644 (java) S 19627 19630 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27495737 10060525568 162809 33554432000 1073741824 1073778376 140735803816064 140243894233488 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19645] ppid=19627 vsize=9824732 CPUtime=1.27 cores=1,3,5,7

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

/proc/19630/task/19635/stat : 19635 (java) S 19627 19630 19474 0 -1 4202560 504 0 0 0 262 15 0 0 20 0 22 0 27495733 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140244514499112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19636] ppid=19627 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/19630/task/19636/stat : 19636 (java) S 19627 19630 19474 0 -1 4202560 590 0 0 0 255 15 0 0 20 0 22 0 27495733 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140244513446312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19637] ppid=19627 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/19630/task/19637/stat : 19637 (java) S 19627 19630 19474 0 -1 4202560 649 0 0 0 243 17 0 0 20 0 22 0 27495733 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140244512394024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19638] ppid=19627 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/19630/task/19638/stat : 19638 (java) S 19627 19630 19474 0 -1 4202560 836 0 0 0 257 18 0 0 20 0 22 0 27495733 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140244511341224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19639] ppid=19627 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/19630/task/19639/stat : 19639 (java) S 19627 19630 19474 0 -1 4202560 540 0 0 0 256 15 0 0 20 0 22 0 27495733 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140244510288936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19640] ppid=19627 vsize=9824732 CPUtime=3.03 cores=1,3,5,7
/proc/19630/task/19640/stat : 19640 (java) S 19627 19630 19474 0 -1 4202560 733 0 0 0 287 16 0 0 20 0 22 0 27495733 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140244509236136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19641] ppid=19627 vsize=9824732 CPUtime=3.46 cores=1,3,5,7
/proc/19630/task/19641/stat : 19641 (java) S 19627 19630 19474 0 -1 4202560 2282 0 0 0 337 9 0 0 20 0 22 0 27495734 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140243897391336 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19642] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19642/stat : 19642 (java) S 19627 19630 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27495735 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140243896337400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19643] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19643/stat : 19643 (java) S 19627 19630 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27495735 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140243895285000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19644] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19644/stat : 19644 (java) S 19627 19630 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27495737 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140243894233488 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19645] ppid=19627 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/19630/task/19645/stat : 19645 (java) S 19627 19630 19474 0 -1 4202560 8763 0 0 0 165 3 0 0 20 0 22 0 27495737 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140243893181112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19646] ppid=19627 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/19630/task/19646/stat : 19646 (java) S 19627 19630 19474 0 -1 4202560 11447 0 0 0 168 3 0 0 20 0 22 0 27495737 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140243892128312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19647] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19647/stat : 19647 (java) S 19627 19630 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27495737 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140243891076216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19648] ppid=19627 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/19630/task/19648/stat : 19648 (java) S 19627 19630 19474 0 -1 4202560 47 0 0 0 13 22 0 0 20 0 22 0 27495737 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140243890023624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19649] ppid=19627 vsize=9824732 CPUtime=809.98 cores=1,3,5,7
/proc/19630/task/19649/stat : 19649 (java) R 19627 19630 19474 0 -1 4202560 64 0 0 0 80985 13 0 0 20 0 22 0 27495781 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140243888966992 140244389934043 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19650] ppid=19627 vsize=9824732 CPUtime=810.06 cores=1,3,5,7
/proc/19630/task/19650/stat : 19650 (java) R 19627 19630 19474 0 -1 4202560 1878 0 0 0 80956 50 0 0 20 0 22 0 27495781 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140243887915464 140244389959023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19651] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19651/stat : 19651 (java) S 19627 19630 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27495781 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140243886863528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19652] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19652/stat : 19652 (java) S 19627 19630 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27495781 10060525568 939589 33554432000 1073741824 1073778376 140735803816064 140243885810728 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1653.94
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.21 4.25 3.87 5/220 19744
/proc/meminfo: memFree=22970224/32872528 swapFree=1541156/1696500
[pid=19630] ppid=19627 vsize=9824732 CPUtime=1774.63 cores=1,3,5,7
/proc/19630/stat : 19630 (java) S 19627 19630 19474 0 -1 4202496 33596 0 1 0 177261 202 0 0 20 0 22 0 27495731 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140735803807200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19630/statm: 2456183 948806 2301 9 0 2446860 0
[pid=19630/tid=19632] ppid=19627 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/19630/task/19632/stat : 19632 (java) S 19627 19630 19474 0 -1 4202560 2440 0 1 0 46 4 0 0 20 0 22 0 27495732 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140244544152440 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19633] ppid=19627 vsize=9824732 CPUtime=3.18 cores=1,3,5,7
/proc/19630/task/19633/stat : 19633 (java) S 19627 19630 19474 0 -1 4202560 887 0 0 0 296 22 0 0 20 0 22 0 27495733 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140244516604200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19634] ppid=19627 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/19630/task/19634/stat : 19634 (java) S 19627 19630 19474 0 -1 4202560 617 0 0 0 257 14 0 0 20 0 22 0 27495733 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140244515551400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19635] ppid=19627 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/19630/task/19635/stat : 19635 (java) S 19627 19630 19474 0 -1 4202560 507 0 0 0 278 15 0 0 20 0 22 0 27495733 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140244514499112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19636] ppid=19627 vsize=9824732 CPUtime=2.95 cores=1,3,5,7
/proc/19630/task/19636/stat : 19636 (java) S 19627 19630 19474 0 -1 4202560 600 0 0 0 279 16 0 0 20 0 22 0 27495733 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140244513446312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19637] ppid=19627 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/19630/task/19637/stat : 19637 (java) S 19627 19630 19474 0 -1 4202560 654 0 0 0 259 18 0 0 20 0 22 0 27495733 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140244512394024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19638] ppid=19627 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/19630/task/19638/stat : 19638 (java) S 19627 19630 19474 0 -1 4202560 843 0 0 0 276 18 0 0 20 0 22 0 27495733 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140244511341224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19639] ppid=19627 vsize=9824732 CPUtime=2.91 cores=1,3,5,7
/proc/19630/task/19639/stat : 19639 (java) S 19627 19630 19474 0 -1 4202560 546 0 0 0 276 15 0 0 20 0 22 0 27495733 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140244510288936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19640] ppid=19627 vsize=9824732 CPUtime=3.21 cores=1,3,5,7
/proc/19630/task/19640/stat : 19640 (java) S 19627 19630 19474 0 -1 4202560 738 0 0 0 305 16 0 0 20 0 22 0 27495733 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140244509236136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19641] ppid=19627 vsize=9824732 CPUtime=3.46 cores=1,3,5,7
/proc/19630/task/19641/stat : 19641 (java) S 19627 19630 19474 0 -1 4202560 2288 0 0 0 337 9 0 0 20 0 22 0 27495734 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140243897391336 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19642] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19642/stat : 19642 (java) S 19627 19630 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27495735 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140243896337400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19643] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19643/stat : 19643 (java) S 19627 19630 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27495735 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140243895285000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19644] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19644/stat : 19644 (java) S 19627 19630 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27495737 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140243894233488 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19645] ppid=19627 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/19630/task/19645/stat : 19645 (java) S 19627 19630 19474 0 -1 4202560 8763 0 0 0 165 3 0 0 20 0 22 0 27495737 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140243893181112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19646] ppid=19627 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/19630/task/19646/stat : 19646 (java) S 19627 19630 19474 0 -1 4202560 11447 0 0 0 168 3 0 0 20 0 22 0 27495737 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140243892128312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19647] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19647/stat : 19647 (java) S 19627 19630 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27495737 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140243891076216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19648] ppid=19627 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/19630/task/19648/stat : 19648 (java) S 19627 19630 19474 0 -1 4202560 51 0 0 0 14 22 0 0 20 0 22 0 27495737 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140243890023624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19649] ppid=19627 vsize=9824732 CPUtime=869.42 cores=1,3,5,7
/proc/19630/task/19649/stat : 19649 (java) R 19627 19630 19474 0 -1 4202560 66 0 0 0 86928 14 0 0 20 0 22 0 27495781 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140243888966992 140244389934043 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19650] ppid=19627 vsize=9824732 CPUtime=869.51 cores=1,3,5,7
/proc/19630/task/19650/stat : 19650 (java) R 19627 19630 19474 0 -1 4202560 1882 0 0 0 86900 51 0 0 20 0 22 0 27495781 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140243887913232 140244390013391 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19651] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19651/stat : 19651 (java) S 19627 19630 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27495781 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140243886863528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19652] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19652/stat : 19652 (java) S 19627 19630 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27495781 10060525568 948806 33554432000 1073741824 1073778376 140735803816064 140243885810728 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1774.63
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.001 s]
/proc/loadavg: 4.65 4.35 3.91 5/219 19744
/proc/meminfo: memFree=22947832/32872528 swapFree=1541156/1696500
[pid=19630] ppid=19627 vsize=9824732 CPUtime=1800.19 cores=1,3,5,7
/proc/19630/stat : 19630 (java) S 19627 19630 19474 0 -1 4202496 33631 0 1 0 179814 205 0 0 20 0 22 0 27495731 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140735803807200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19630/statm: 2456183 953927 2301 9 0 2446860 0
[pid=19630/tid=19632] ppid=19627 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/19630/task/19632/stat : 19632 (java) S 19627 19630 19474 0 -1 4202560 2440 0 1 0 46 4 0 0 20 0 22 0 27495732 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140244544152440 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19633] ppid=19627 vsize=9824732 CPUtime=3.22 cores=1,3,5,7
/proc/19630/task/19633/stat : 19633 (java) S 19627 19630 19474 0 -1 4202560 890 0 0 0 300 22 0 0 20 0 22 0 27495733 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140244516604200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19634] ppid=19627 vsize=9824732 CPUtime=2.78 cores=1,3,5,7
/proc/19630/task/19634/stat : 19634 (java) S 19627 19630 19474 0 -1 4202560 620 0 0 0 264 14 0 0 20 0 22 0 27495733 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140244515551400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19635] ppid=19627 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/19630/task/19635/stat : 19635 (java) S 19627 19630 19474 0 -1 4202560 513 0 0 0 285 15 0 0 20 0 22 0 27495733 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140244514499112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19636] ppid=19627 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/19630/task/19636/stat : 19636 (java) S 19627 19630 19474 0 -1 4202560 604 0 0 0 283 16 0 0 20 0 22 0 27495733 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140244513446312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19637] ppid=19627 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/19630/task/19637/stat : 19637 (java) S 19627 19630 19474 0 -1 4202560 655 0 0 0 262 18 0 0 20 0 22 0 27495733 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140244512394024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19638] ppid=19627 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/19630/task/19638/stat : 19638 (java) S 19627 19630 19474 0 -1 4202560 844 0 0 0 281 18 0 0 20 0 22 0 27495733 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140244511341224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19639] ppid=19627 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/19630/task/19639/stat : 19639 (java) S 19627 19630 19474 0 -1 4202560 552 0 0 0 283 16 0 0 20 0 22 0 27495733 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140244510288936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19640] ppid=19627 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/19630/task/19640/stat : 19640 (java) S 19627 19630 19474 0 -1 4202560 742 0 0 0 307 17 0 0 20 0 22 0 27495733 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140244509236136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19641] ppid=19627 vsize=9824732 CPUtime=3.47 cores=1,3,5,7
/proc/19630/task/19641/stat : 19641 (java) S 19627 19630 19474 0 -1 4202560 2290 0 0 0 337 10 0 0 20 0 22 0 27495734 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140243897391336 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19642] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19642/stat : 19642 (java) S 19627 19630 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27495735 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140243896337400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19643] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19643/stat : 19643 (java) S 19627 19630 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27495735 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140243895285000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19644] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19644/stat : 19644 (java) S 19627 19630 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27495737 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140243894233488 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19645] ppid=19627 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/19630/task/19645/stat : 19645 (java) S 19627 19630 19474 0 -1 4202560 8763 0 0 0 165 3 0 0 20 0 22 0 27495737 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140243893181112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19646] ppid=19627 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/19630/task/19646/stat : 19646 (java) S 19627 19630 19474 0 -1 4202560 11447 0 0 0 168 3 0 0 20 0 22 0 27495737 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140243892128312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19630/tid=19647] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19647/stat : 19647 (java) S 19627 19630 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27495737 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140243891076216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19630/tid=19648] ppid=19627 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/19630/task/19648/stat : 19648 (java) S 19627 19630 19474 0 -1 4202560 53 0 0 0 14 23 0 0 20 0 22 0 27495737 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140243890023624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19649] ppid=19627 vsize=9824732 CPUtime=881.95 cores=1,3,5,7
/proc/19630/task/19649/stat : 19649 (java) R 19627 19630 19474 0 -1 4202560 67 0 0 0 88181 14 0 0 20 0 22 0 27495781 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140243888966272 140244389914721 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19630/tid=19650] ppid=19627 vsize=9824732 CPUtime=882.06 cores=1,3,5,7
/proc/19630/task/19650/stat : 19650 (java) R 19627 19630 19474 0 -1 4202560 1884 0 0 0 88155 51 0 0 20 0 22 0 27495781 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140243887914144 140244390147661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19651] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19651/stat : 19651 (java) S 19627 19630 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27495781 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140243886863528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19630/tid=19652] ppid=19627 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19630/task/19652/stat : 19652 (java) S 19627 19630 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27495781 10060525568 953927 33554432000 1073741824 1073778376 140735803816064 140243885810728 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
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 19630 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 19630 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=560337
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=610603
# CPU time returned by wait4() is 1796.17
# while last known CPU time is 1800.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 895.067
CPU time (s): 1800.19
CPU user time (s): 1798.14
CPU system time (s): 2.05
CPU usage (%): 201.123
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.56
system time used= 2.6106
maximum resident set size= 3815824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33668
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24234
involuntary context switches= 31653

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.44317 second user time and 7.40487 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 14:36:10
IDJOB=4115974
IDBENCH=109412
IDSOLVER=2543
FILE ID=node125/4115974-1466944570
RUNJOBID= node125-1466943674-19491
PBS_JOBID= 19976354
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-3.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115974-1466944570/watcher-4115974-1466944570 -o /tmp/evaluation-result-4115974-1466944570/solver-4115974-1466944570 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466943674-19491 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4115974-1466944570.opb

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

MD5SUM BENCH= a60d5b9361e66998e61250a2aafb07d9
RANDOM SEED=232559828

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
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		: 2667.021
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:        26779608 kB
Buffers:            2096 kB
Cached:            34368 kB
SwapCached:         1640 kB
Active:          3667152 kB
Inactive:          24816 kB
Active(anon):    3657304 kB
Inactive(anon):      284 kB
Active(file):       9848 kB
Inactive(file):    24532 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67097764 kB
Dirty:              1288 kB
Writeback:             0 kB
AnonPages:       5351484 kB
Mapped:            14580 kB
Shmem:                 0 kB
Slab:             564936 kB
SReclaimable:       8628 kB
SUnreclaim:       556308 kB
KernelStack:        1600 kB
PageTables:        14800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5749476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3749888 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= 71740 MiB
End job on node125 at 2016-06-26 14:51:05