Trace number 4106689

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)-27 1800.09 899.857

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_4.opb
MD5SUM85583812489e95a26f37a10baffcd23f
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-29
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint25
Maximum length of a constraint50
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6260
Sum of products size (including duplicates)12520
Number of different products3130
Sum of products size6260

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4106689-1466275776.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.71/0.45	c ... done. Wall clock time 0.335s.
0.71/0.45	c declared #vars     200
0.71/0.45	c internal #vars     3330
0.71/0.45	c #constraints  6660
0.71/0.45	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.71/0.45	c constraints type 
0.71/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3130
0.71/0.45	c org.sat4j.minisat.constraints.cnf.UnitClauses => 184
0.71/0.45	c org.sat4j.specs.Constr$1 => 212
0.71/0.45	c org.sat4j.minisat.constraints.cnf.UnitClause => 4
0.71/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3130
0.71/0.45	c 6660 constraints processed.
0.71/0.45	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.71/0.45	c constraints type 
0.71/0.45	c org.sat4j.specs.Constr$1 => 212
0.71/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3130
0.71/0.45	c org.sat4j.pb.constraints.pb.UnitClausesPB => 184
0.71/0.45	c org.sat4j.pb.constraints.pb.UnitClausePB => 4
0.71/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3130
0.71/0.45	c 6660 constraints processed.
0.71/0.45	c objective function length is 200 literals
0.71/0.49	c And the winner is solver0
1.52/0.96	c SATISFIABLE
1.52/0.96	c OPTIMIZING...
1.52/0.96	c Got one! Elapsed wall clock time (in seconds):0.839
1.52/0.96	o -21
1.52/0.97	c And the winner is solver0
1.67/1.46	c Got one! Elapsed wall clock time (in seconds):1.341
1.67/1.46	o -22
1.67/1.47	c And the winner is solver0
1.79/1.96	c Got one! Elapsed wall clock time (in seconds):1.842
1.79/1.96	o -23
1.91/2.03	c And the winner is solver1
2.36/2.46	c Got one! Elapsed wall clock time (in seconds):2.344
2.36/2.46	o -24
3.52/2.88	c cleaning 2598 clauses out of 5196 with flag 10650/5196
4.92/3.31	c And the winner is solver1
4.96/3.46	c Got one! Elapsed wall clock time (in seconds):3.345
4.96/3.46	o -25
5.74/3.89	c And the winner is solver1
5.96/3.96	c Got one! Elapsed wall clock time (in seconds):3.846
5.96/3.96	o -26
6.49/4.27	c cleaning 6881 clauses out of 13763 with flag 4727/16361
7.97/4.97	c cleaning 6442 clauses out of 12886 with flag 18970/22365
9.66/5.78	c cleaning 6720 clauses out of 13440 with flag 35229/29361
11.75/6.77	c cleaning 7358 clauses out of 14722 with flag 53792/37363
14.20/7.95	c cleaning 8178 clauses out of 16363 with flag 75474/46362
16.69/9.13	c cleaning 9093 clauses out of 18186 with flag 96255/56363
19.11/10.31	c cleaning 10046 clauses out of 20092 with flag 119124/67362
20.11/10.80	c And the winner is solver1
20.11/10.97	c Got one! Elapsed wall clock time (in seconds):10.849
20.11/10.97	o -27
21.76/11.76	c cleaning 10032 clauses out of 20073 with flag 11699/77389
23.36/12.54	c cleaning 8011 clauses out of 16040 with flag 25827/83388
24.77/13.26	c cleaning 7510 clauses out of 15030 with flag 41719/90389
26.57/14.18	c cleaning 7753 clauses out of 15520 with flag 60427/98389
29.06/15.33	c cleaning 8377 clauses out of 16766 with flag 82429/107388
31.51/16.60	c cleaning 9193 clauses out of 18392 with flag 107363/117391
34.29/17.97	c cleaning 10100 clauses out of 20199 with flag 135040/128391
37.49/19.54	c cleaning 11040 clauses out of 22096 with flag 163326/140388
40.89/21.25	c cleaning 12025 clauses out of 24057 with flag 193460/153389
45.29/23.42	c cleaning 13015 clauses out of 26034 with flag 227874/167391
50.01/25.78	c cleaning 14003 clauses out of 28017 with flag 263586/182389
55.41/28.46	c cleaning 15004 clauses out of 30016 with flag 302225/198391
61.01/31.21	c cleaning 16003 clauses out of 32009 with flag 343399/215388
66.83/34.19	c cleaning 17003 clauses out of 34006 with flag 382364/233388
73.43/37.45	c cleaning 18002 clauses out of 36004 with flag 421584/252389
79.61/40.55	c cleaning 18998 clauses out of 38002 with flag 462899/272389
86.41/43.92	c cleaning 20002 clauses out of 40003 with flag 506325/293388
94.76/48.02	c cleaning 21001 clauses out of 42002 with flag 551600/315389
102.96/52.12	c cleaning 22002 clauses out of 44003 with flag 599158/338391
110.99/56.16	c cleaning 23000 clauses out of 45999 with flag 648792/362389
119.38/60.38	c cleaning 23999 clauses out of 47998 with flag 700435/387388
128.59/64.95	c cleaning 25000 clauses out of 49999 with flag 754122/413388
137.60/69.48	c cleaning 26000 clauses out of 51999 with flag 809948/440388
146.40/73.85	c cleaning 27001 clauses out of 54001 with flag 867917/468390
155.20/78.26	c cleaning 27999 clauses out of 55999 with flag 928044/497389
164.39/82.87	c cleaning 28991 clauses out of 58000 with flag 990061/527389
174.39/87.82	c cleaning 29997 clauses out of 60008 with flag 1054316/558388
184.79/93.07	c cleaning 30999 clauses out of 62011 with flag 1120473/590388
195.99/98.64	c cleaning 32007 clauses out of 64013 with flag 1188983/623389
206.99/104.19	c cleaning 33003 clauses out of 66005 with flag 1259211/657388
219.01/110.13	c cleaning 34001 clauses out of 68004 with flag 1331662/692390
232.01/116.67	c cleaning 34998 clauses out of 70001 with flag 1405995/728388
246.19/123.72	c cleaning 35999 clauses out of 72005 with flag 1482063/765390
259.39/130.39	c cleaning 37000 clauses out of 74005 with flag 1560494/803389
273.54/137.50	c cleaning 37994 clauses out of 76004 with flag 1641112/842388
288.34/144.81	c cleaning 39003 clauses out of 78011 with flag 1723736/882389
305.54/153.40	c cleaning 39998 clauses out of 80009 with flag 1808142/923390
321.55/161.44	c cleaning 41003 clauses out of 82009 with flag 1894762/965388
338.95/170.10	c cleaning 41997 clauses out of 84007 with flag 1983398/1008389
358.74/180.02	c cleaning 43002 clauses out of 86012 with flag 2073817/1052391
381.14/191.23	c cleaning 44001 clauses out of 88008 with flag 2166382/1097389
402.35/201.86	c cleaning 45004 clauses out of 90010 with flag 2261651/1143392
425.76/213.52	c cleaning 46002 clauses out of 92004 with flag 2358893/1190390
446.95/224.15	c cleaning 46995 clauses out of 94000 with flag 2458173/1238388
468.94/235.19	c cleaning 47994 clauses out of 96005 with flag 2559684/1287388
491.15/246.22	c cleaning 49000 clauses out of 98011 with flag 2663118/1337388
514.95/258.14	c cleaning 50004 clauses out of 100013 with flag 2768611/1388390
538.56/269.96	c cleaning 50998 clauses out of 102007 with flag 2876167/1440388
563.96/282.68	c cleaning 52005 clauses out of 104012 with flag 2985879/1493391
593.11/297.21	c cleaning 52996 clauses out of 106006 with flag 3097682/1547390
622.70/312.09	c cleaning 53996 clauses out of 108009 with flag 3211374/1602389
655.50/328.45	c cleaning 55005 clauses out of 110013 with flag 3327223/1658389
687.32/344.33	c cleaning 55997 clauses out of 112007 with flag 3446144/1715388
722.90/362.12	c cleaning 56996 clauses out of 114012 with flag 3565960/1773390
753.70/377.53	c cleaning 58005 clauses out of 116014 with flag 3687744/1832388
781.92/391.70	c cleaning 59005 clauses out of 118010 with flag 3811230/1892389
811.91/406.65	c cleaning 59997 clauses out of 120004 with flag 3936829/1953388
844.90/423.12	c cleaning 61000 clauses out of 122009 with flag 4064503/2015390
880.92/441.13	c cleaning 62003 clauses out of 124008 with flag 4194465/2078389
919.92/460.63	c cleaning 62992 clauses out of 126006 with flag 4326548/2142390
957.51/479.42	c cleaning 64001 clauses out of 128013 with flag 4460949/2207389
995.91/498.66	c cleaning 65001 clauses out of 130011 with flag 4597138/2273388
1037.88/519.51	c cleaning 65998 clauses out of 132010 with flag 4735491/2340388
1081.49/541.38	c cleaning 66995 clauses out of 134012 with flag 4876228/2408388
1131.89/566.53	c cleaning 68000 clauses out of 136019 with flag 5018809/2477390
1178.88/590.03	c cleaning 69010 clauses out of 138019 with flag 5163584/2547390
1226.28/613.71	c cleaning 70004 clauses out of 140007 with flag 5310724/2618388
1292.27/646.75	c cleaning 70993 clauses out of 142003 with flag 5459775/2690388
1353.02/677.15	c cleaning 72000 clauses out of 144011 with flag 5610475/2763389
1413.83/707.50	c cleaning 73007 clauses out of 146013 with flag 5763249/2837391
1471.53/736.30	c cleaning 73991 clauses out of 148003 with flag 5918753/2912388
1535.25/768.03	c cleaning 75003 clauses out of 150012 with flag 6075671/2988388
1607.52/803.90	c cleaning 76002 clauses out of 152011 with flag 6235238/3065390
1684.08/841.92	c cleaning 77000 clauses out of 154008 with flag 6396737/3143389
1758.75/879.46	c cleaning 77996 clauses out of 156007 with flag 6560455/3222388
1761.02/880.53	c cleaning 0 clauses out of 6094 with flag 0/6095
1800.09/899.81	c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<<
1800.09/899.81	c starts		: 3642
1800.09/899.81	c conflicts		: 3274091
1800.09/899.81	c decisions		: 3799513
1800.09/899.81	c propagations		: 18456527
1800.09/899.81	c inspects		: 13027714290
1800.09/899.81	c shortcuts		: 0
1800.09/899.81	c learnt literals	: 0
1800.09/899.81	c learnt binary clauses	: 0
1800.09/899.81	c learnt ternary clauses	: 0
1800.09/899.81	c learnt constraints	: 3274091
1800.09/899.81	c ignored constraints	: 0
1800.09/899.81	c root simplifications	: 0
1800.09/899.81	c removed literals (reason simplification)	: 87592926
1800.09/899.81	c reason swapping (by a shorter reason)	: 0
1800.09/899.81	c Calls to reduceDB	: 83
1800.09/899.81	c Number of update (reduction) of LBD	: 46599
1800.09/899.81	c Imported unit clauses	: 0
1800.09/899.81	c number of reductions to clauses (during analyze)	: 0
1800.09/899.81	c number of learned constraints concerned by reduction	: 0
1800.09/899.81	c number of learning phase by resolution	: 0
1800.09/899.81	c number of learning phase by cutting planes	: 0
1800.09/899.81	c speed (assignments/second)	: 20764.71157383604
1800.09/899.81	c non guided choices	0
1800.09/899.84	c learnt constraints type 
1800.09/899.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 129714
1800.09/899.84	c >>>>>>>>>> Solver number 1 (4 answers) <<<<<<<<<<<<<<<<<<
1800.09/899.84	c starts		: 34
1800.09/899.84	c conflicts		: 6437
1800.09/899.84	c decisions		: 7368
1800.09/899.84	c propagations		: 82066
1800.09/899.84	c inspects		: 119047927
1800.09/899.84	c shortcuts		: 0
1800.09/899.84	c learnt literals	: 0
1800.09/899.84	c learnt binary clauses	: 0
1800.09/899.84	c learnt ternary clauses	: 0
1800.09/899.84	c learnt constraints	: 6436
1800.09/899.84	c ignored constraints	: 0
1800.09/899.84	c root simplifications	: 0
1800.09/899.84	c removed literals (reason simplification)	: 0
1800.09/899.84	c reason swapping (by a shorter reason)	: 0
1800.09/899.84	c Calls to reduceDB	: 1
1800.09/899.84	c Number of update (reduction) of LBD	: 0
1800.09/899.84	c Imported unit clauses	: 0
1800.09/899.84	c number of reductions to clauses (during analyze)	: 0
1800.09/899.84	c number of learned constraints concerned by reduction	: 0
1800.09/899.84	c number of learning phase by resolution	: 0
1800.09/899.84	c number of learning phase by cutting planes	: 0
1800.09/899.84	c speed (assignments/second)	: 91.40035238797425
1800.09/899.84	c non guided choices	0
1800.09/899.84	c learnt constraints type 
1800.09/899.84	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 172
1800.09/899.84	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6264
1800.09/899.84	s SATISFIABLE
1800.09/899.84	c Found 7 solution(s)
1800.09/899.84	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 x134 -x135 -x136 x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 x147 x148 x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 
1800.09/899.84	c objective function=-27
1800.09/899.84	c Total wall clock time (in seconds): 899.722

Verifier Data 

OK	-27

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

pid=3769
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.19 4.20 4.18 5/197 3772
/proc/meminfo: memFree=25872212/32872528 swapFree=1556504/1720024
[pid=3772] ppid=3769 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3772/stat : 3772 (java) R 3769 3772 30091 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 29626192 9515008 169 33554432000 1073741824 1073778376 140735604522800 140735604519928 270330054192 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3772/statm: 2323 175 133 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 4.19 4.20 4.18 5/197 3772
/proc/meminfo: memFree=25872212/32872528 swapFree=1556504/1720024
[pid=3772] ppid=3769 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/3772/stat : 3772 (java) S 3769 3772 30091 0 -1 4202496 4389 0 1 0 8 1 0 0 20 0 18 0 29626192 9787879424 6029 33554432000 1073741824 1073778376 140735604522800 140735604513936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3772/statm: 2389619 6029 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20022 s]
/proc/loadavg: 4.19 4.20 4.18 5/197 3772
/proc/meminfo: memFree=25872212/32872528 swapFree=1556504/1720024
[pid=3772] ppid=3769 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/3772/stat : 3772 (java) S 3769 3772 30091 0 -1 4202496 4551 0 1 0 20 1 0 0 20 0 18 0 29626192 9787879424 7181 33554432000 1073741824 1073778376 140735604522800 140735604513936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3772/statm: 2389619 7181 2208 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476

[startup+0.300238 s]
/proc/loadavg: 4.19 4.20 4.18 5/197 3772
/proc/meminfo: memFree=25872212/32872528 swapFree=1556504/1720024
[pid=3772] ppid=3769 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/3772/stat : 3772 (java) S 3769 3772 30091 0 -1 4202496 6274 0 1 0 45 1 0 0 20 0 18 0 29626192 9787879424 9156 33554432000 1073741824 1073778376 140735604522800 140735604513936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3772/statm: 2389619 9156 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700252 s]
/proc/loadavg: 4.19 4.20 4.18 5/197 3772
/proc/meminfo: memFree=25872212/32872528 swapFree=1556504/1720024
[pid=3772] ppid=3769 vsize=9759196 CPUtime=1.32 cores=1,3,5,7
/proc/3772/stat : 3772 (java) S 3769 3772 30091 0 -1 4202496 21313 0 1 0 125 7 0 0 20 0 19 0 29626192 9993416704 23287 33554432000 1073741824 1073778376 140735604522800 140735604513936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3772/statm: 2439799 23288 2263 9 0 2430476 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9759196

[startup+1.50076 s]
/proc/loadavg: 4.19 4.20 4.18 3/216 3797
/proc/meminfo: memFree=25778884/32872528 swapFree=1556504/1720024
[pid=3772] ppid=3769 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/3772/stat : 3772 (java) S 3769 3772 30091 0 -1 4202496 23006 0 1 0 166 9 0 0 20 0 19 0 29626192 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140735604513936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3772/statm: 2456183 26504 2265 9 0 2446860 0
[pid=3772/tid=3774] ppid=3769 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/3772/task/3774/stat : 3774 (java) S 3769 3772 30091 0 -1 4202560 2423 0 1 0 41 2 0 0 20 0 19 0 29626193 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140037583688568 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3775] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3775/stat : 3775 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29626195 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140037545179688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3776] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3776/stat : 3776 (java) S 3769 3772 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29626195 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140037544126888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3777] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3777/stat : 3777 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29626195 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140037425457448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3772/tid=3778] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3778/stat : 3778 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29626195 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140037424404648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3772/tid=3779] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3779/stat : 3779 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29626195 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140037423352872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3780] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3780/stat : 3780 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29626195 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140037422300072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3772/tid=3781] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3781/stat : 3781 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29626195 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140037421247272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3782] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3782/stat : 3782 (java) S 3769 3772 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29626195 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140037420194472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3783] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3783/stat : 3783 (java) S 3769 3772 30091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 29626196 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140036937865704 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3784] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3784/stat : 3784 (java) S 3769 3772 30091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29626196 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140036936811768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3785] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3785/stat : 3785 (java) S 3769 3772 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29626196 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140036935758856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3786] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3786/stat : 3786 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29626198 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140036934707344 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3787] ppid=3769 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/3772/task/3787/stat : 3787 (java) R 3769 3772 30091 0 -1 4202560 4812 0 0 0 39 0 0 0 20 0 19 0 29626198 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140036933655656 140037587537115 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3788] ppid=3769 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/3772/task/3788/stat : 3788 (java) R 3769 3772 30091 0 -1 4202560 14422 0 0 0 73 3 0 0 20 0 19 0 29626198 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140036932602680 140037587075076 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3789] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3789/stat : 3789 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29626198 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140036931550072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3790] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3790/stat : 3790 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29626198 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140036930497480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3793] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3793/stat : 3793 (java) S 3769 3772 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29626241 10060525568 26504 33554432000 1073741824 1073778376 140735604522800 140036927337384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 9824732

[startup+3.10077 s]
/proc/loadavg: 4.19 4.20 4.18 4/216 3803
/proc/meminfo: memFree=25760440/32872528 swapFree=1556504/1720024
[pid=3772] ppid=3769 vsize=9824732 CPUtime=4.37 cores=1,3,5,7
/proc/3772/stat : 3772 (java) S 3769 3772 30091 0 -1 4202496 27294 0 1 0 421 16 0 0 20 0 22 0 29626192 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140735604513936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3772/statm: 2456183 54933 2293 9 0 2446860 0
[pid=3772/tid=3774] ppid=3769 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/3772/task/3774/stat : 3774 (java) S 3769 3772 30091 0 -1 4202560 2423 0 1 0 42 2 0 0 20 0 22 0 29626193 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140037583688568 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3775] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3775/stat : 3775 (java) S 3769 3772 30091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29626195 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140037545179688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3772/tid=3776] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3776/stat : 3776 (java) S 3769 3772 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29626195 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140037544126888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3777] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3777/stat : 3777 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29626195 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140037425457448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3778] ppid=3769 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/3772/task/3778/stat : 3778 (java) S 3769 3772 30091 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 29626195 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140037424404648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3779] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3779/stat : 3779 (java) S 3769 3772 30091 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 29626195 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140037423352872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3780] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3780/stat : 3780 (java) S 3769 3772 30091 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 29626195 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140037422300072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3781] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3781/stat : 3781 (java) S 3769 3772 30091 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 29626195 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140037421247272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3772/tid=3782] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3782/stat : 3782 (java) S 3769 3772 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29626195 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140037420194472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3783] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3783/stat : 3783 (java) S 3769 3772 30091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29626196 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140036937865704 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3784] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3784/stat : 3784 (java) S 3769 3772 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29626196 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140036936811768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3785] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3785/stat : 3785 (java) S 3769 3772 30091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29626196 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140036935758856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3786] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3786/stat : 3786 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29626198 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140036934707344 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3787] ppid=3769 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/3772/task/3787/stat : 3787 (java) S 3769 3772 30091 0 -1 4202560 8847 0 0 0 105 2 0 0 20 0 22 0 29626198 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140036933655480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3788] ppid=3769 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/3772/task/3788/stat : 3788 (java) S 3769 3772 30091 0 -1 4202560 14561 0 0 0 123 3 0 0 20 0 22 0 29626198 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140036932602680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3789] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3789/stat : 3789 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29626198 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140036931550072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3790] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3790/stat : 3790 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29626198 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140036930497480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3803] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3803/stat : 3803 (java) S 3769 3772 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29626389 10060525568 54933 33554432000 1073741824 1073778376 140735604522800 140036928390824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 9824732

[startup+6.30095 s]
/proc/loadavg: 4.10 4.18 4.17 5/219 3812
/proc/meminfo: memFree=25451048/32872528 swapFree=1556504/1720024
[pid=3772] ppid=3769 vsize=9824732 CPUtime=10.88 cores=1,3,5,7
/proc/3772/stat : 3772 (java) S 3769 3772 30091 0 -1 4202496 28871 0 1 0 1052 36 0 0 20 0 22 0 29626192 10060525568 111404 33554432000 1073741824 1073778376 140735604522800 140735604513936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3772/statm: 2456183 111404 2294 9 0 2446860 0
[pid=3772/tid=3774] ppid=3769 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/3772/task/3774/stat : 3774 (java) S 3769 3772 30091 0 -1 4202560 2423 0 1 0 42 2 0 0 20 0 22 0 29626193 10060525568 111404 33554432000 1073741824 1073778376 140735604522800 140037583688568 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3775] ppid=3769 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/3772/task/3775/stat : 3775 (java) S 3769 3772 30091 0 -1 4202560 278 0 0 0 4 2 0 0 20 0 22 0 29626195 10060525568 111404 33554432000 1073741824 1073778376 140735604522800 140037545179688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3772/tid=3776] ppid=3769 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/3772/task/3776/stat : 3776 (java) S 3769 3772 30091 0 -1 4202560 41 0 0 0 6 2 0 0 20 0 22 0 29626195 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140037544126888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3777] ppid=3769 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/3772/task/3777/stat : 3777 (java) S 3769 3772 30091 0 -1 4202560 143 0 0 0 3 2 0 0 20 0 22 0 29626195 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140037425457448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3778] ppid=3769 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/3772/task/3778/stat : 3778 (java) S 3769 3772 30091 0 -1 4202560 134 0 0 0 7 3 0 0 20 0 22 0 29626195 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140037424404648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3772/tid=3779] ppid=3769 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/3772/task/3779/stat : 3779 (java) S 3769 3772 30091 0 -1 4202560 44 0 0 0 4 2 0 0 20 0 22 0 29626195 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140037423352872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3780] ppid=3769 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/3772/task/3780/stat : 3780 (java) S 3769 3772 30091 0 -1 4202560 156 0 0 0 6 2 0 0 20 0 22 0 29626195 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140037422300072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3781] ppid=3769 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/3772/task/3781/stat : 3781 (java) S 3769 3772 30091 0 -1 4202560 125 0 0 0 5 3 0 0 20 0 22 0 29626195 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140037421247272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3782] ppid=3769 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/3772/task/3782/stat : 3782 (java) S 3769 3772 30091 0 -1 4202560 210 0 0 0 6 1 0 0 20 0 22 0 29626195 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140037420194472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3772/tid=3783] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3783/stat : 3783 (java) S 3769 3772 30091 0 -1 4202560 212 0 0 0 0 0 0 0 20 0 22 0 29626196 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140036937865704 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3772/tid=3784] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3784/stat : 3784 (java) S 3769 3772 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29626196 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140036936811768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3785] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3785/stat : 3785 (java) S 3769 3772 30091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29626196 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140036935758856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3786] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3786/stat : 3786 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29626198 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140036934707344 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3787] ppid=3769 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/3772/task/3787/stat : 3787 (java) S 3769 3772 30091 0 -1 4202560 8847 0 0 0 114 2 0 0 20 0 22 0 29626198 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140036933655480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3788] ppid=3769 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/3772/task/3788/stat : 3788 (java) S 3769 3772 30091 0 -1 4202560 14566 0 0 0 143 3 0 0 20 0 22 0 29626198 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140036932602680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3789] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3789/stat : 3789 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29626198 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140036931550072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3790] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3790/stat : 3790 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29626198 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140036930497480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3803] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3803/stat : 3803 (java) S 3769 3772 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29626389 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140036928390824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3772/tid=3810] ppid=3769 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/3772/task/3810/stat : 3810 (java) R 3769 3772 30091 0 -1 4202560 3 0 0 0 219 0 0 0 20 0 22 0 29626589 10060525568 111916 33554432000 1073741824 1073778376 140735604522800 140036929441992 140037426086837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3811] ppid=3769 vsize=9824732 CPUtime=2.2 cores=1,3,5,7

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

/proc/3772/task/3782/stat : 3782 (java) S 3769 3772 30091 0 -1 4202560 651 0 0 0 68 16 0 0 20 0 22 0 29626195 10060525568 685917 33554432000 1073741824 1073778376 140735604522800 140037420194472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3783] ppid=3769 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/3772/task/3783/stat : 3783 (java) S 3769 3772 30091 0 -1 4202560 2553 0 0 0 100 6 0 0 20 0 22 0 29626196 10060525568 685917 33554432000 1073741824 1073778376 140735604522800 140036937865704 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3784] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3784/stat : 3784 (java) S 3769 3772 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29626196 10060525568 685917 33554432000 1073741824 1073778376 140735604522800 140036936811768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3785] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3785/stat : 3785 (java) S 3769 3772 30091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29626196 10060525568 685917 33554432000 1073741824 1073778376 140735604522800 140036935758856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3786] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3786/stat : 3786 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29626198 10060525568 685917 33554432000 1073741824 1073778376 140735604522800 140036934707344 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3787] ppid=3769 vsize=9824732 CPUtime=1.43 cores=1,3,5,7
/proc/3772/task/3787/stat : 3787 (java) S 3769 3772 30091 0 -1 4202560 9502 0 0 0 141 2 0 0 20 0 22 0 29626198 10060525568 685917 33554432000 1073741824 1073778376 140735604522800 140036933655480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3788] ppid=3769 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/3772/task/3788/stat : 3788 (java) S 3769 3772 30091 0 -1 4202560 14568 0 0 0 152 3 0 0 20 0 22 0 29626198 10060525568 685917 33554432000 1073741824 1073778376 140735604522800 140036932602680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3772/tid=3789] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3789/stat : 3789 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29626198 10060525568 685917 33554432000 1073741824 1073778376 140735604522800 140036931550072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3790] ppid=3769 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/3772/task/3790/stat : 3790 (java) S 3769 3772 30091 0 -1 4202560 47 0 0 0 10 23 0 0 20 0 22 0 29626198 10060525568 685917 33554432000 1073741824 1073778376 140735604522800 140036930497480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3803] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3803/stat : 3803 (java) S 3769 3772 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29626389 10060525568 685917 33554432000 1073741824 1073778376 140735604522800 140036928390824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3772/tid=3813] ppid=3769 vsize=9824732 CPUtime=806.66 cores=1,3,5,7
/proc/3772/task/3813/stat : 3813 (java) R 3769 3772 30091 0 -1 4202560 124 0 0 0 80651 15 0 0 20 0 22 0 29627290 10060525568 685917 33554432000 1073741824 1073778376 140735604522800 140036929440800 140037425971418 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3814] ppid=3769 vsize=9824732 CPUtime=806.67 cores=1,3,5,7
/proc/3772/task/3814/stat : 3814 (java) R 3769 3772 30091 0 -1 4202560 1195 0 0 0 80632 35 0 0 20 0 22 0 29627290 10060525568 685917 33554432000 1073741824 1073778376 140735604522800 140036926283384 140037426326640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3815] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3815/stat : 3815 (java) S 3769 3772 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29627290 10060525568 685917 33554432000 1073741824 1073778376 140735604522800 140036927337640 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1644.66
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.19 4.26 4.21 6/219 4043
/proc/meminfo: memFree=22694208/32872528 swapFree=1556504/1720024
[pid=3772] ppid=3769 vsize=9824732 CPUtime=1764.84 cores=1,3,5,7
/proc/3772/stat : 3772 (java) S 3769 3772 30091 0 -1 4202496 39216 0 1 0 176274 210 0 0 20 0 22 0 29626192 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140735604513936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3772/statm: 2456183 685339 2303 9 0 2446860 0
[pid=3772/tid=3774] ppid=3769 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/3772/task/3774/stat : 3774 (java) S 3769 3772 30091 0 -1 4202560 2431 0 1 0 45 2 0 0 20 0 22 0 29626193 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140037583688568 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3775] ppid=3769 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/3772/task/3775/stat : 3775 (java) S 3769 3772 30091 0 -1 4202560 605 0 0 0 82 14 0 0 20 0 22 0 29626195 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140037545179688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3772/tid=3776] ppid=3769 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/3772/task/3776/stat : 3776 (java) S 3769 3772 30091 0 -1 4202560 499 0 0 0 87 18 0 0 20 0 22 0 29626195 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140037544126888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3772/tid=3777] ppid=3769 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/3772/task/3777/stat : 3777 (java) S 3769 3772 30091 0 -1 4202560 538 0 0 0 91 18 0 0 20 0 22 0 29626195 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140037425457448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3778] ppid=3769 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/3772/task/3778/stat : 3778 (java) S 3769 3772 30091 0 -1 4202560 475 0 0 0 82 14 0 0 20 0 22 0 29626195 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140037424404648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3779] ppid=3769 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/3772/task/3779/stat : 3779 (java) S 3769 3772 30091 0 -1 4202560 437 0 0 0 77 13 0 0 20 0 22 0 29626195 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140037423352872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3780] ppid=3769 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/3772/task/3780/stat : 3780 (java) S 3769 3772 30091 0 -1 4202560 545 0 0 0 92 16 0 0 20 0 22 0 29626195 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140037422300072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3781] ppid=3769 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/3772/task/3781/stat : 3781 (java) S 3769 3772 30091 0 -1 4202560 515 0 0 0 86 16 0 0 20 0 22 0 29626195 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140037421247272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3772/tid=3782] ppid=3769 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/3772/task/3782/stat : 3782 (java) S 3769 3772 30091 0 -1 4202560 703 0 0 0 88 17 0 0 20 0 22 0 29626195 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140037420194472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3772/tid=3783] ppid=3769 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/3772/task/3783/stat : 3783 (java) S 3769 3772 30091 0 -1 4202560 2673 0 0 0 176 7 0 0 20 0 22 0 29626196 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140036937865704 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3784] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3784/stat : 3784 (java) S 3769 3772 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29626196 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140036936811768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3785] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3785/stat : 3785 (java) S 3769 3772 30091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29626196 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140036935758856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3786] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3786/stat : 3786 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29626198 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140036934707344 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3787] ppid=3769 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/3772/task/3787/stat : 3787 (java) S 3769 3772 30091 0 -1 4202560 11660 0 0 0 167 2 0 0 20 0 22 0 29626198 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140036933655480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3788] ppid=3769 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/3772/task/3788/stat : 3788 (java) S 3769 3772 30091 0 -1 4202560 14568 0 0 0 155 3 0 0 20 0 22 0 29626198 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140036932602680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3772/tid=3789] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3789/stat : 3789 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29626198 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140036931550072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3790] ppid=3769 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/3772/task/3790/stat : 3790 (java) S 3769 3772 30091 0 -1 4202560 51 0 0 0 11 24 0 0 20 0 22 0 29626198 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140036930497480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3803] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3803/stat : 3803 (java) S 3769 3772 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29626389 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140036928390824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3772/tid=3813] ppid=3769 vsize=9824732 CPUtime=865.32 cores=1,3,5,7
/proc/3772/task/3813/stat : 3813 (java) R 3769 3772 30091 0 -1 4202560 129 0 0 0 86515 17 0 0 20 0 22 0 29627290 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140036929441000 140037426428561 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3814] ppid=3769 vsize=9824732 CPUtime=865.34 cores=1,3,5,7
/proc/3772/task/3814/stat : 3814 (java) R 3769 3772 30091 0 -1 4202560 1452 0 0 0 86496 38 0 0 20 0 22 0 29627290 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140036926282480 140037426328129 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3772/tid=3815] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3815/stat : 3815 (java) S 3769 3772 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29627290 10060525568 685339 33554432000 1073741824 1073778376 140735604522800 140036927337640 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1764.84
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.801 s]
/proc/loadavg: 4.20 4.26 4.21 5/219 4043
/proc/meminfo: memFree=22753848/32872528 swapFree=1556504/1720024
[pid=3772] ppid=3769 vsize=9824732 CPUtime=1800.08 cores=1,3,5,7
/proc/3772/stat : 3772 (java) S 3769 3772 30091 0 -1 4202496 39293 0 1 0 179797 211 0 0 20 0 22 0 29626192 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140735604513936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3772/statm: 2456183 670533 2303 9 0 2446860 0
[pid=3772/tid=3774] ppid=3769 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/3772/task/3774/stat : 3774 (java) S 3769 3772 30091 0 -1 4202560 2432 0 1 0 45 2 0 0 20 0 22 0 29626193 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140037583688568 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3775] ppid=3769 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/3772/task/3775/stat : 3775 (java) S 3769 3772 30091 0 -1 4202560 605 0 0 0 90 14 0 0 20 0 22 0 29626195 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140037545179688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3776] ppid=3769 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/3772/task/3776/stat : 3776 (java) S 3769 3772 30091 0 -1 4202560 499 0 0 0 94 18 0 0 20 0 22 0 29626195 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140037544126888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3777] ppid=3769 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/3772/task/3777/stat : 3777 (java) S 3769 3772 30091 0 -1 4202560 538 0 0 0 96 18 0 0 20 0 22 0 29626195 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140037425457448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3778] ppid=3769 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/3772/task/3778/stat : 3778 (java) S 3769 3772 30091 0 -1 4202560 475 0 0 0 87 14 0 0 20 0 22 0 29626195 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140037424404648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3779] ppid=3769 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/3772/task/3779/stat : 3779 (java) S 3769 3772 30091 0 -1 4202560 438 0 0 0 83 13 0 0 20 0 22 0 29626195 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140037423352872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3772/tid=3780] ppid=3769 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/3772/task/3780/stat : 3780 (java) S 3769 3772 30091 0 -1 4202560 546 0 0 0 101 16 0 0 20 0 22 0 29626195 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140037422300072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3781] ppid=3769 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/3772/task/3781/stat : 3781 (java) S 3769 3772 30091 0 -1 4202560 515 0 0 0 93 16 0 0 20 0 22 0 29626195 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140037421247272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3772/tid=3782] ppid=3769 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/3772/task/3782/stat : 3782 (java) S 3769 3772 30091 0 -1 4202560 703 0 0 0 94 17 0 0 20 0 22 0 29626195 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140037420194472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3783] ppid=3769 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/3772/task/3783/stat : 3783 (java) S 3769 3772 30091 0 -1 4202560 2742 0 0 0 176 7 0 0 20 0 22 0 29626196 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140036937865704 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3784] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3784/stat : 3784 (java) S 3769 3772 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29626196 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140036936811768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3785] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3785/stat : 3785 (java) S 3769 3772 30091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29626196 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140036935758856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3786] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3786/stat : 3786 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29626198 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140036934707344 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3787] ppid=3769 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/3772/task/3787/stat : 3787 (java) S 3769 3772 30091 0 -1 4202560 11660 0 0 0 167 2 0 0 20 0 22 0 29626198 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140036933655480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3788] ppid=3769 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/3772/task/3788/stat : 3788 (java) S 3769 3772 30091 0 -1 4202560 14568 0 0 0 155 3 0 0 20 0 22 0 29626198 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140036932602680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3772/tid=3789] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3789/stat : 3789 (java) S 3769 3772 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29626198 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140036931550072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3790] ppid=3769 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/3772/task/3790/stat : 3790 (java) S 3769 3772 30091 0 -1 4202560 51 0 0 0 11 25 0 0 20 0 22 0 29626198 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140036930497480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3772/tid=3803] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3803/stat : 3803 (java) S 3769 3772 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29626389 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140036928390824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3772/tid=3813] ppid=3769 vsize=9824732 CPUtime=882.63 cores=1,3,5,7
/proc/3772/task/3813/stat : 3813 (java) R 3769 3772 30091 0 -1 4202560 130 0 0 0 88246 17 0 0 20 0 22 0 29627290 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140036929440688 140037426086874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3772/tid=3814] ppid=3769 vsize=9824732 CPUtime=882.64 cores=1,3,5,7
/proc/3772/task/3814/stat : 3814 (java) R 3769 3772 30091 0 -1 4202560 1456 0 0 0 88226 38 0 0 20 0 22 0 29627290 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140036926283440 140037426506380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3772/tid=3815] ppid=3769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3772/task/3815/stat : 3815 (java) S 3769 3772 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29627290 10060525568 670533 33554432000 1073741824 1073778376 140735604522800 140036927337640 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824732

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

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


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.0100002
#  lost CPU user time (s): 0.0200005
#  lost CPU system time (s): -0.00999999

Real time (s): 899.857
CPU time (s): 1800.09
CPU user time (s): 1797.99
CPU system time (s): 2.1
CPU usage (%): 200.042
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.49
system time used= 2.5996
maximum resident set size= 3374132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39328
page faults= 1
swaps= 0
block input operations= 0
block output operations= 680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23222
involuntary context switches= 15222

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.83211 second user time and 7.28489 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-18 20:49:36
IDJOB=4106689
IDBENCH=48189
IDSOLVER=2543
FILE ID=node117/4106689-1466275776
RUNJOBID= node117-1466265252-30108
PBS_JOBID= 19918233
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_4.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106689-1466275776/watcher-4106689-1466275776 -o /tmp/evaluation-result-4106689-1466275776/solver-4106689-1466275776 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466265252-30108 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4106689-1466275776.opb

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

MD5SUM BENCH= 85583812489e95a26f37a10baffcd23f
RANDOM SEED=1952835170

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.912
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.912
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.54
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.912
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.912
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:        25872360 kB
Buffers:          141092 kB
Cached:           320508 kB
SwapCached:            0 kB
Active:          4157760 kB
Inactive:         359284 kB
Active(anon):    4047372 kB
Inactive(anon):    10636 kB
Active(file):     110388 kB
Inactive(file):   348648 kB
Unevictable:     1720024 kB
Mlocked:         1556504 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               852 kB
Writeback:             0 kB
AnonPages:       5775240 kB
Mapped:            21112 kB
Shmem:               204 kB
Slab:             621524 kB
SReclaimable:      65392 kB
SUnreclaim:       556132 kB
KernelStack:        1600 kB
PageTables:        15560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6318856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4118528 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 node117 at 2016-06-18 21:04:36