2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8 2018-06-13	SAT (TO)	112	2520.09	2464.23

0.94/0.78	c Concrete v3.8.1528841891564 running
8.43/3.90	c 00:04:11.928 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1936. 'extension(false, x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: MDD 804872134, 3 edges, 4 vertices, 1 tuples
8.43/3.93	c 00:04:11.956 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1978. 'extension(false, x[1][15]=[0‥1], x[2][15]=[0‥1]) :: init: true :: relation: MDD 1420599919, 3 edges, 4 vertices, 1 tuples
8.43/3.93	c 00:04:11.959 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1985. 'extension(x[14][1]=[0‥1], x[15][1]=[0‥1], false) :: init: true :: relation: MDD 804872134, 3 edges, 4 vertices, 1 tuples
8.43/3.95	c 00:04:11.976 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2027. 'extension(x[14][15]=[0‥1], x[15][15]=[0‥1], false) :: init: true :: relation: MDD 1420599919, 3 edges, 4 vertices, 1 tuples
8.43/3.95	c 00:04:11.978 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2032. 'extension(false, x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: MDD 1516759394, 3 edges, 4 vertices, 1 tuples
8.43/3.96	c 00:04:11.992 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2074. 'extension(false, x[15][1]=[0‥1], x[15][2]=[0‥1]) :: init: true :: relation: MDD 2075899560, 3 edges, 4 vertices, 1 tuples
8.43/3.97	c 00:04:11.994 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2077. 'extension(x[1][14]=[0‥1], x[1][15]=[0‥1], false) :: init: true :: relation: MDD 1516759394, 3 edges, 4 vertices, 1 tuples
8.43/3.98	c 00:04:12.009 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2119. 'extension(x[15][14]=[0‥1], x[15][15]=[0‥1], false) :: init: true :: relation: MDD 2075899560, 3 edges, 4 vertices, 1 tuples
8.43/3.98	c 00:04:12.011 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2123. 'extension(x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
8.43/3.99	c 00:04:12.021 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2149. 'extension(x[1][15]=[0‥1], x[2][15]=[0‥1]) :: init: true :: relation: Empty MDD
8.43/4.00	c 00:04:12.022 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2153. 'extension(x[14][1]=[0‥1], x[15][1]=[0‥1]) :: init: true :: relation: Empty MDD
8.43/4.00	c 00:04:12.027 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2179. 'extension(x[14][15]=[0‥1], x[15][15]=[0‥1]) :: init: true :: relation: Empty MDD
8.43/4.00	c 00:04:12.028 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2183. 'extension(x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
8.80/4.01	c 00:04:12.037 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2211. 'extension(x[15][1]=[0‥1], x[15][2]=[0‥1]) :: init: true :: relation: Empty MDD
8.80/4.01	c 00:04:12.038 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2217. 'extension(x[1][14]=[0‥1], x[1][15]=[0‥1]) :: init: true :: relation: Empty MDD
8.80/4.02	c 00:04:12.043 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2245. 'extension(x[15][14]=[0‥1], x[15][15]=[0‥1]) :: init: true :: relation: Empty MDD
13.33/5.60	o 73
13.33/5.65	o 74
13.67/5.74	o 75
13.98/5.84	o 77
13.98/5.85	o 78
13.98/5.87	o 81
13.98/5.89	o 82
14.28/5.96	o 86
14.28/5.97	o 87
14.62/6.10	o 88
14.90/6.12	o 89
15.45/6.39	o 93
15.45/6.40	o 94
15.70/6.40	o 95
17.02/7.12	o 96
22.18/11.22	o 97
25.20/13.72	o 100
25.20/13.73	o 101
25.20/13.75	o 102
32.52/19.56	o 103
48.05/32.74	o 104
50.72/34.88	o 105
50.72/34.88	o 106
93.76/75.52	o 107
93.76/75.53	o 108
135.79/117.04	o 109
515.50/491.23	o 110
516.21/491.91	o 111
524.94/500.49	o 112
2520.03/2464.21	Exception in thread "main" java.util.concurrent.TimeoutException
2520.03/2464.21		at concrete.MAC.mac(MAC.scala:188)
2520.03/2464.21		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.03/2464.21		at scala.util.Try$.apply(Try.scala:209)
2520.03/2464.21		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/2464.21		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/2464.21		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/2464.21		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/2464.21		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.03/2464.21		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/2464.21		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/2464.21		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/2464.21		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/2464.21		at concrete.MAC.oneRun(MAC.scala:253)
2520.03/2464.21		at concrete.MAC.nextSolution(MAC.scala:272)
2520.03/2464.21		at concrete.MAC.nextSolution(MAC.scala:355)
2520.03/2464.21		at concrete.Solver.hasNext(Solver.scala:166)
2520.03/2464.21		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.03/2464.21		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.03/2464.21		at concrete.Solver.foreach(Solver.scala:68)
2520.03/2464.21		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.03/2464.21		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/2464.21		at scala.util.Success.map(Try.scala:209)
2520.03/2464.21		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2464.21		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.03/2464.21		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.03/2464.21		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2464.21		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.03/2464.21		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/2464.21		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/2464.21		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/2464.21		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/2464.21		at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/2464.21		at scala.App.main(App.scala:76)
2520.03/2464.21		at scala.App.main$(App.scala:74)
2520.03/2464.21		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.03/2464.21		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2464.22	v <instantiation cost="112">
2520.03/2464.22	v       <list>
2520.03/2464.22	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] z
2520.03/2464.22	v       </list>
2520.03/2464.22	v       <values>
2520.03/2464.22	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 0 0 2 0 0 1 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 5 7 8 9 11 15 18 19 21 23 28 28 32 43 48 55 62 112
2520.03/2464.22	v       </values>
2520.03/2464.22	v     </instantiation>
2520.03/2464.22	s SATISFIABLE

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (7519 MiB free)
  memory of node 1: 16384 MiB (10412 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292897-1532297047/watcher-4292897-1532297047 -o /tmp/evaluation-result-4292897-1532297047/solver-4292897-1532297047 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532297047-7325 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=450594948 HOME/instance-4292897-1532297047.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7356, runsolver pid=7350
Current StackSize limit: 8192 KiB


[startup+0.100106 s]*
/proc/loadavg: 1.69 1.70 1.62 4/213 7430
/proc/meminfo: memFree=18336284/32770624 swapFree=67108860/67108860
[pid=7356] ppid=7350 vsize=113256 memory=1608 CPUtime=0.01 cores=1,3,5,7
/proc/7356/stat : 7356 (bash) S 7350 7356 7293 0 -1 4202496 889 5664 0 1 0 0 0 1 20 0 1 0 47267917 115974144 402 33554432000 4194304 5098028 140736134001536 140736133995544 139836405980160 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 1 0 0 7196144 7232144 38121472 140736134005932 140736134006056 140736134006056 140736134008814 0
/proc/7356/statm: 28314 402 318 221 0 119 0
[pid=7409] ppid=7356 vsize=113256 memory=716 CPUtime=0 cores=1,3,5,7
/proc/7409/stat : 7409 (bash) S 7356 7356 7293 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 1 0 47267923 115974144 179 33554432000 4194304 5098028 140736134001536 140736133994216 139836405805692 0 65536 4096 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38121472 140736134005932 140736134006056 140736134006056 140736134008814 0
/proc/7409/statm: 28314 179 95 221 0 119 0
[pid=7411] ppid=7409 vsize=10260324 memory=20400 CPUtime=0.04 cores=1,3,5,7
/proc/7411/stat : 7411 (java) S 7409 7356 7293 0 -1 1077944320 3874 0 0 0 4 0 0 0 20 0 9 0 47267923 10506571776 5100 33554432000 4194304 4196468 140734942561744 140734942544288 140444828880631 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20078592 140734942569763 140734942569777 140734942569777 140734942572495 0
/proc/7411/statm: 2565081 5100 2192 1 0 2527622 0
[pid=7411/tid=7415] ppid=7409 vsize=10260324 memory=-8412654372658052764 CPUtime=0.03 cores=1,3,5,7
/proc/7411/task/7415/stat : 7415 (java) R 7409 7356 7293 0 -1 4202560 2533 0 0 0 3 0 0 0 20 0 9 0 47267923 10506571776 5100 33554432000 4194304 4196468 140734942561744 140444833115672 140444828902557 0 4 0 16800971 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20078592 140734942569763 140734942569777 140734942569777 140734942572495 0
[pid=7411/tid=7419] ppid=7409 vsize=10260324 memory=4210146916469654281 CPUtime=0 cores=1,3,5,7
/proc/7411/task/7419/stat : 7419 (java) S 7409 7356 7293 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 47267924 10506571776 5100 33554432000 4194304 4196468 140734942561744 140444765571856 140444828890837 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20078592 140734942569763 140734942569777 140734942569777 140734942572495 0
[pid=7411/tid=7422] ppid=7409 vsize=10260324 memory=140667158562432 CPUtime=0 cores=1,3,5,7
/proc/7411/task/7422/stat : 7422 (java) S 7409 7356 7293 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 47267924 10506571776 5100 33554432000 4194304 4196468 140734942561744 140444764519312 140444828890837 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20078592 140734942569763 140734942569777 140734942569777 140734942572495 0
[pid=7411/tid=7423] ppid=7409 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7411/task/7423/stat : 7423 (java) S 7409 7356 7293 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 47267924 10506571776 5100 33554432000 4194304 4196468 140734942561744 140444763466768 140444828890837 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20078592 140734942569763 140734942569777 140734942569777 140734942572495 0
[pid=7411/tid=7424] ppid=7409 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7411/task/7424/stat : 7424 (java) S 7409 7356 7293 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 47267924 10506571776 5100 33554432000 4194304 4196468 140734942561744 140444762414224 140444828890837 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20078592 140734942569763 140734942569777 140734942569777 140734942572495 0
[pid=7411/tid=7426] ppid=7409 vsize=10260324 memory=140667158562432 CPUtime=0 cores=1,3,5,7
/proc/7411/task/7426/stat : 7426 (java) S 7409 7356 7293 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 47267925 10506571776 5100 33554432000 4194304 4196468 140734942561744 140443931052016 140444828891778 0 0 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20078592 140734942569763 140734942569777 140734942569777 140734942572495 0
[pid=7411/tid=7428] ppid=7409 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7411/task/7428/stat : 7428 (java) S 7409 7356 7293 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 47267926 10506571776 5100 33554432000 4194304 4196468 140734942561744 140443929998240 140444828890837 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20078592 140734942569763 140734942569777 140734942569777 140734942572495 0
[pid=7411/tid=7430] ppid=7409 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7411/task/7430/stat : 7430 (java) S 7409 7356 7293 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 47267926 10506571776 5100 33554432000 4194304 4196468 140734942561744 140443928945648 140444828890837 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20078592 140734942569763 140734942569777 140734942569777 140734942572495 0
[pid=7412] ppid=7409 vsize=113488 memory=968 CPUtime=0 cores=1,3,5,7
/proc/7412/stat : 7412 (awk) S 7409 7356 7293 0 -1 4202496 422 0 0 0 0 0 0 0 20 0 1 0 47267923 116211712 242 33554432000 4194304 4609284 140721935434704 140721935433880 139968460352512 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 15536128 140721935439187 140721935439217 140721935439217 140721935441903 0
/proc/7412/statm: 28372 242 203 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 23692 KiB

[startup+0.211135 s]*
/proc/loadavg: 1.69 1.70 1.62 8/219 7488
/proc/meminfo: memFree=18312968/32770624 swapFree=67108860/67108860
[pid=7356] ppid=7350 vsize=10818856 memory=38220 CPUtime=0.19 cores=1,3,5,7
/proc/7356/stat : 7356 (java) S 7350 7356 7293 0 -1 1077944320 6363 12825 0 1 11 1 5 2 20 0 15 0 47267917 11078508544 9555 33554432000 4194304 4196468 140724539568432 140724539550976 140460415643383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
/proc/7356/statm: 2704714 9555 2863 1 0 2667149 0
[pid=7356/tid=7461] ppid=7350 vsize=10818856 memory=7022364594140610616 CPUtime=0.14 cores=1,3,5,7
/proc/7356/task/7461/stat : 7461 (java) R 7350 7356 7293 0 -1 4202560 2990 12825 0 1 7 0 5 2 20 0 15 0 47267930 11078508544 9555 33554432000 4194304 4196468 140724539568432 140460387466856 140460010072789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7463] ppid=7350 vsize=10818856 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7463/stat : 7463 (java) S 7350 7356 7293 0 -1 1077944384 1 12825 0 1 0 0 5 2 20 0 15 0 47267931 11078508544 9555 33554432000 4194304 4196468 140724539568432 140460419885712 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7464] ppid=7350 vsize=10818856 memory=140667158570039 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7464/stat : 7464 (java) S 7350 7356 7293 0 -1 1077944384 1 12825 0 1 0 0 5 2 20 0 15 0 47267931 11078508544 9555 33554432000 4194304 4196468 140724539568432 140460334705168 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7465] ppid=7350 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7465/stat : 7465 (java) S 7350 7356 7293 0 -1 1077944384 1 12825 0 1 0 0 5 2 20 0 15 0 47267931 11078508544 9555 33554432000 4194304 4196468 140724539568432 140460333652368 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7466] ppid=7350 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7466/stat : 7466 (java) S 7350 7356 7293 0 -1 1077944384 2 12825 0 1 0 0 5 2 20 0 15 0 47267931 11078508544 9555 33554432000 4194304 4196468 140724539568432 140460332599568 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7472] ppid=7350 vsize=10818856 memory=140667158562432 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7472/stat : 7472 (java) S 7350 7356 7293 0 -1 1077944384 2 12825 0 1 0 0 5 2 20 0 15 0 47267932 11078508544 9555 33554432000 4194304 4196468 140724539568432 140459942325104 140460415654530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7474] ppid=7350 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7474/stat : 7474 (java) S 7350 7356 7293 0 -1 1077944384 13 12825 0 1 0 0 5 2 20 0 15 0 47267933 11078508544 9555 33554432000 4194304 4196468 140724539568432 140459858978336 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7476] ppid=7350 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7476/stat : 7476 (java) S 7350 7356 7293 0 -1 1077944384 1 12825 0 1 0 0 5 2 20 0 15 0 47267933 11078508544 9555 33554432000 4194304 4196468 140724539568432 140459724760432 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7479] ppid=7350 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7479/stat : 7479 (java) S 7350 7356 7293 0 -1 1077944384 2 12825 0 1 0 0 5 2 20 0 15 0 47267936 11078508544 9555 33554432000 4194304 4196468 140724539568432 140459120781648 140460415661979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7482] ppid=7350 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7482/stat : 7482 (java) S 7350 7356 7293 0 -1 1077944384 387 12825 0 1 0 0 5 2 20 0 15 0 47267936 11078508544 9555 33554432000 4194304 4196468 140724539568432 140459941271920 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7483] ppid=7350 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7356/task/7483/stat : 7483 (java) R 7350 7356 7293 0 -1 4202560 190 12825 0 1 1 0 5 2 20 0 15 0 47267936 11078508544 9555 33554432000 4194304 4196468 140724539568432 140459940219120 140460397167814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7484] ppid=7350 vsize=10818856 memory=140667158562432 CPUtime=0.08 cores=1,3,5,7
/proc/7356/task/7484/stat : 7484 (java) R 7350 7356 7293 0 -1 1077944384 576 12825 0 1 1 0 5 2 20 0 15 0 47267936 11078508544 9555 33554432000 4194304 4196468 140724539568432 140459939164112 140460415653589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7486] ppid=7350 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7486/stat : 7486 (java) S 7350 7356 7293 0 -1 1077944384 3 12825 0 1 0 0 5 2 20 0 15 0 47267936 11078508544 9555 33554432000 4194304 4196468 140724539568432 140458651019488 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7488] ppid=7350 vsize=10818856 memory=140667158562432 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7488/stat : 7488 (java) S 7350 7356 7293 0 -1 1077944384 1 12825 0 1 0 0 5 2 20 0 15 0 47267936 11078508544 9555 33554432000 4194304 4196468 140724539568432 140459938114736 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 38220 KiB

[startup+0.310695 s]*
/proc/loadavg: 1.69 1.70 1.62 4/219 7488
/proc/meminfo: memFree=18282700/32770624 swapFree=67108860/67108860
[pid=7356] ppid=7350 vsize=10819352 memory=54600 CPUtime=0.33 cores=1,3,5,7
/proc/7356/stat : 7356 (java) S 7350 7356 7293 0 -1 1077944320 9525 12825 0 1 24 2 5 2 20 0 15 0 47267917 11079016448 13650 33554432000 4194304 4196468 140724539568432 140724539550976 140460415643383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
/proc/7356/statm: 2704838 13650 3065 1 0 2667149 0
[pid=7356/tid=7461] ppid=7350 vsize=10819352 memory=7311146985107750967 CPUtime=0.24 cores=1,3,5,7
/proc/7356/task/7461/stat : 7461 (java) R 7350 7356 7293 0 -1 4202560 6112 12825 0 1 16 1 5 2 20 0 15 0 47267930 11079016448 13650 33554432000 4194304 4196468 140724539568432 140460387464496 140460408740219 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7463] ppid=7350 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7463/stat : 7463 (java) S 7350 7356 7293 0 -1 1077944384 1 12825 0 1 0 0 5 2 20 0 15 0 47267931 11079016448 13650 33554432000 4194304 4196468 140724539568432 140460419885712 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7464] ppid=7350 vsize=10819352 memory=274783 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7464/stat : 7464 (java) S 7350 7356 7293 0 -1 1077944384 1 12825 0 1 0 0 5 2 20 0 15 0 47267931 11079016448 13650 33554432000 4194304 4196468 140724539568432 140460334705168 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7465] ppid=7350 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7465/stat : 7465 (java) S 7350 7356 7293 0 -1 1077944384 1 12825 0 1 0 0 5 2 20 0 15 0 47267931 11079016448 13650 33554432000 4194304 4196468 140724539568432 140460333652368 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7466] ppid=7350 vsize=10819352 memory=3833465093739720755 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7466/stat : 7466 (java) S 7350 7356 7293 0 -1 1077944384 2 12825 0 1 0 0 5 2 20 0 15 0 47267931 11079016448 13650 33554432000 4194304 4196468 140724539568432 140460332599568 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7472] ppid=7350 vsize=10819352 memory=140667158562432 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7472/stat : 7472 (java) S 7350 7356 7293 0 -1 1077944384 2 12825 0 1 0 0 5 2 20 0 15 0 47267932 11079016448 13650 33554432000 4194304 4196468 140724539568432 140459942325104 140460415654530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7474] ppid=7350 vsize=10819352 memory=2528 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7474/stat : 7474 (java) S 7350 7356 7293 0 -1 1077944384 13 12825 0 1 0 0 5 2 20 0 15 0 47267933 11079016448 13650 33554432000 4194304 4196468 140724539568432 140459858978336 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7476] ppid=7350 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7476/stat : 7476 (java) S 7350 7356 7293 0 -1 1077944384 1 12825 0 1 0 0 5 2 20 0 15 0 47267933 11079016448 13650 33554432000 4194304 4196468 140724539568432 140459724760432 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7479] ppid=7350 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7479/stat : 7479 (java) S 7350 7356 7293 0 -1 1077944384 2 12825 0 1 0 0 5 2 20 0 15 0 47267936 11079016448 13650 33554432000 4194304 4196468 140724539568432 140459120781648 140460415661979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7482] ppid=7350 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7482/stat : 7482 (java) S 7350 7356 7293 0 -1 1077944384 387 12825 0 1 0 0 5 2 20 0 15 0 47267936 11079016448 13650 33554432000 4194304 4196468 140724539568432 140459941271920 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7483] ppid=7350 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7356/task/7483/stat : 7483 (java) S 7350 7356 7293 0 -1 1077944384 200 12825 0 1 1 0 5 2 20 0 15 0 47267936 11079016448 13650 33554432000 4194304 4196468 140724539568432 140459940219120 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7484] ppid=7350 vsize=10819352 memory=140667158562432 CPUtime=0.11 cores=1,3,5,7
/proc/7356/task/7484/stat : 7484 (java) R 7350 7356 7293 0 -1 4202560 611 12825 0 1 4 0 5 2 20 0 15 0 47267936 11079016448 13650 33554432000 4194304 4196468 140724539568432 140459939166320 140460397543120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7486] ppid=7350 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7486/stat : 7486 (java) S 7350 7356 7293 0 -1 1077944384 3 12825 0 1 0 0 5 2 20 0 15 0 47267936 11079016448 13650 33554432000 4194304 4196468 140724539568432 140458651019488 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7488] ppid=7350 vsize=10819352 memory=140667158562432 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7488/stat : 7488 (java) S 7350 7356 7293 0 -1 1077944384 1 12825 0 1 0 0 5 2 20 0 15 0 47267936 11079016448 13650 33554432000 4194304 4196468 140724539568432 140459938114736 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54600 KiB

[startup+0.700797 s]
/proc/loadavg: 1.72 1.70 1.62 6/219 7488
/proc/meminfo: memFree=18258628/32770624 swapFree=67108860/67108860
[pid=7356] ppid=7350 vsize=10819352 memory=89848 CPUtime=0.94 cores=1,3,5,7
/proc/7356/stat : 7356 (java) S 7350 7356 7293 0 -1 1077944320 16616 12825 0 1 83 4 5 2 20 0 15 0 47267917 11079016448 22462 33554432000 4194304 4196468 140724539568432 140724539550976 140460415643383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
/proc/7356/statm: 2704838 22462 3238 1 0 2667149 0
[pid=7356/tid=7461] ppid=7350 vsize=10819352 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/7356/task/7461/stat : 7461 (java) R 7350 7356 7293 0 -1 4202560 12059 12825 0 1 52 3 5 2 20 0 15 0 47267930 11079016448 22462 33554432000 4194304 4196468 140724539568432 140460387466384 140460399723870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7463] ppid=7350 vsize=10819352 memory=14835868452002856 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7463/stat : 7463 (java) S 7350 7356 7293 0 -1 1077944384 1 12825 0 1 0 0 5 2 20 0 15 0 47267931 11079016448 22462 33554432000 4194304 4196468 140724539568432 140460419885712 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7464] ppid=7350 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7464/stat : 7464 (java) S 7350 7356 7293 0 -1 1077944384 1 12825 0 1 0 0 5 2 20 0 15 0 47267931 11079016448 22462 33554432000 4194304 4196468 140724539568432 140460334705168 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7465] ppid=7350 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7465/stat : 7465 (java) S 7350 7356 7293 0 -1 1077944384 1 12825 0 1 0 0 5 2 20 0 15 0 47267931 11079016448 22462 33554432000 4194304 4196468 140724539568432 140460333652368 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7466] ppid=7350 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7466/stat : 7466 (java) S 7350 7356 7293 0 -1 1077944384 2 12825 0 1 0 0 5 2 20 0 15 0 47267931 11079016448 22462 33554432000 4194304 4196468 140724539568432 140460332599568 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7472] ppid=7350 vsize=10819352 memory=7809523229951467570 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7472/stat : 7472 (java) S 7350 7356 7293 0 -1 1077944384 5 12825 0 1 0 0 5 2 20 0 15 0 47267932 11079016448 22462 33554432000 4194304 4196468 140724539568432 140459942325104 140460415654530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7474] ppid=7350 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7474/stat : 7474 (java) S 7350 7356 7293 0 -1 1077944384 13 12825 0 1 0 0 5 2 20 0 15 0 47267933 11079016448 22462 33554432000 4194304 4196468 140724539568432 140459858978336 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7476] ppid=7350 vsize=10819352 memory=-2746958450906831424 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7476/stat : 7476 (java) S 7350 7356 7293 0 -1 1077944384 1 12825 0 1 0 0 5 2 20 0 15 0 47267933 11079016448 22462 33554432000 4194304 4196468 140724539568432 140459724760432 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7479] ppid=7350 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7479/stat : 7479 (java) S 7350 7356 7293 0 -1 1077944384 2 12825 0 1 0 0 5 2 20 0 15 0 47267936 11079016448 22462 33554432000 4194304 4196468 140724539568432 140459120781648 140460415661979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7482] ppid=7350 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/7356/task/7482/stat : 7482 (java) S 7350 7356 7293 0 -1 1077944384 788 12825 0 1 6 0 5 2 20 0 15 0 47267936 11079016448 22462 33554432000 4194304 4196468 140724539568432 140459941271920 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7483] ppid=7350 vsize=10819352 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/7356/task/7483/stat : 7483 (java) R 7350 7356 7293 0 -1 4202560 856 12825 0 1 9 0 5 2 20 0 15 0 47267936 11079016448 22462 33554432000 4194304 4196468 140724539568432 140459940206672 140460401670188 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7484] ppid=7350 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/7356/task/7484/stat : 7484 (java) S 7350 7356 7293 0 -1 1077944384 699 12825 0 1 13 0 5 2 20 0 15 0 47267936 11079016448 22462 33554432000 4194304 4196468 140724539568432 140459939166320 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7486] ppid=7350 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7486/stat : 7486 (java) S 7350 7356 7293 0 -1 1077944384 3 12825 0 1 0 0 5 2 20 0 15 0 47267936 11079016448 22462 33554432000 4194304 4196468 140724539568432 140458651019488 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7488] ppid=7350 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7488/stat : 7488 (java) S 7350 7356 7293 0 -1 1077944384 1 12825 0 1 0 0 5 2 20 0 15 0 47267936 11079016448 22462 33554432000 4194304 4196468 140724539568432 140459938114736 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 89848 KiB

[startup+1.50068 s]
/proc/loadavg: 1.72 1.70 1.62 4/219 7488
/proc/meminfo: memFree=18171400/32770624 swapFree=67108860/67108860
[pid=7356] ppid=7350 vsize=10834252 memory=185556 CPUtime=2.37 cores=1,3,5,7
/proc/7356/stat : 7356 (java) S 7350 7356 7293 0 -1 1077944320 23532 12825 0 1 220 10 5 2 20 0 15 0 47267917 11094274048 46389 33554432000 4194304 4196468 140724539568432 140724539550976 140460415643383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
/proc/7356/statm: 2708563 46389 3469 1 0 2670221 0
[pid=7356/tid=7461] ppid=7350 vsize=10834252 memory=288230621803970871 CPUtime=1.36 cores=1,3,5,7
/proc/7356/task/7461/stat : 7461 (java) R 7350 7356 7293 0 -1 4202560 17031 12825 0 1 123 6 5 2 20 0 15 0 47267930 11094274048 46389 33554432000 4194304 4196468 140724539568432 140460387440224 140460399723870 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7463] ppid=7350 vsize=10834252 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/7356/task/7463/stat : 7463 (java) S 7350 7356 7293 0 -1 1077944384 14 12825 0 1 1 0 5 2 20 0 15 0 47267931 11094274048 46389 33554432000 4194304 4196468 140724539568432 140460419885712 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7464] ppid=7350 vsize=10834252 memory=15744 CPUtime=0.08 cores=1,3,5,7
/proc/7356/task/7464/stat : 7464 (java) S 7350 7356 7293 0 -1 1077944384 52 12825 0 1 1 0 5 2 20 0 15 0 47267931 11094274048 46389 33554432000 4194304 4196468 140724539568432 140460334705168 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7465] ppid=7350 vsize=10834252 memory=1292 CPUtime=0.08 cores=1,3,5,7
/proc/7356/task/7465/stat : 7465 (java) S 7350 7356 7293 0 -1 1077944384 184 12825 0 1 1 0 5 2 20 0 15 0 47267931 11094274048 46389 33554432000 4194304 4196468 140724539568432 140460333652368 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7466] ppid=7350 vsize=10834252 memory=2416 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7466/stat : 7466 (java) S 7350 7356 7293 0 -1 1077944384 29 12825 0 1 0 0 5 2 20 0 15 0 47267931 11094274048 46389 33554432000 4194304 4196468 140724539568432 140460332599568 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7472] ppid=7350 vsize=10834252 memory=1728 CPUtime=0.08 cores=1,3,5,7
/proc/7356/task/7472/stat : 7472 (java) S 7350 7356 7293 0 -1 1077944384 54 12825 0 1 1 0 5 2 20 0 15 0 47267932 11094274048 46389 33554432000 4194304 4196468 140724539568432 140459942325104 140460415654530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7474] ppid=7350 vsize=10834252 memory=1700 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7474/stat : 7474 (java) S 7350 7356 7293 0 -1 1077944384 13 12825 0 1 0 0 5 2 20 0 15 0 47267933 11094274048 46389 33554432000 4194304 4196468 140724539568432 140459858978400 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7476] ppid=7350 vsize=10834252 memory=796 CPUtime=0.07 cores=1,3,5,7

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

/proc/7356/task/7461/stat : 7461 (java) R 7350 7356 7293 0 -1 4202560 82318 12825 1 1 229667 53 5 2 20 0 15 0 47267930 11180277760 254975 33554432000 4194304 4196468 140724539568432 140460387478704 140460029938304 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7463] ppid=7350 vsize=10918240 memory=1019900 CPUtime=12.04 cores=1,3,5,7
/proc/7356/task/7463/stat : 7463 (java) S 7350 7356 7293 0 -1 1077944384 12128 12825 0 1 1143 54 5 2 20 0 15 0 47267931 11180277760 254975 33554432000 4194304 4196468 140724539568432 140460419885712 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7464] ppid=7350 vsize=10918240 memory=1019900 CPUtime=12.1 cores=1,3,5,7
/proc/7356/task/7464/stat : 7464 (java) S 7350 7356 7293 0 -1 1077944384 9074 12825 0 1 1147 56 5 2 20 0 15 0 47267931 11180277760 254975 33554432000 4194304 4196468 140724539568432 140460334705168 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7465] ppid=7350 vsize=10918240 memory=1019900 CPUtime=12.08 cores=1,3,5,7
/proc/7356/task/7465/stat : 7465 (java) S 7350 7356 7293 0 -1 1077944384 9912 12825 0 1 1148 53 5 2 20 0 15 0 47267931 11180277760 254975 33554432000 4194304 4196468 140724539568432 140460333652368 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7466] ppid=7350 vsize=10918240 memory=1019900 CPUtime=12.14 cores=1,3,5,7
/proc/7356/task/7466/stat : 7466 (java) S 7350 7356 7293 0 -1 1077944384 7308 12825 0 1 1159 48 5 2 20 0 15 0 47267931 11180277760 254975 33554432000 4194304 4196468 140724539568432 140460332599568 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7472] ppid=7350 vsize=10918240 memory=1019900 CPUtime=10.53 cores=1,3,5,7
/proc/7356/task/7472/stat : 7472 (java) S 7350 7356 7293 0 -1 1077944384 13523 12825 0 1 995 51 5 2 20 0 15 0 47267932 11180277760 254975 33554432000 4194304 4196468 140724539568432 140459942325104 140460415654530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7474] ppid=7350 vsize=10918240 memory=1019900 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7474/stat : 7474 (java) S 7350 7356 7293 0 -1 1077944384 21 12825 0 1 0 0 5 2 20 0 15 0 47267933 11180277760 254975 33554432000 4194304 4196468 140724539568432 140459858978400 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7476] ppid=7350 vsize=10918240 memory=1019900 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7476/stat : 7476 (java) S 7350 7356 7293 0 -1 1077944384 2 12825 0 1 0 0 5 2 20 0 15 0 47267933 11180277760 254975 33554432000 4194304 4196468 140724539568432 140459724760448 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7479] ppid=7350 vsize=10918240 memory=1019900 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7479/stat : 7479 (java) S 7350 7356 7293 0 -1 1077944384 2 12825 0 1 0 0 5 2 20 0 15 0 47267936 11180277760 254975 33554432000 4194304 4196468 140724539568432 140459120781648 140460415661979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7482] ppid=7350 vsize=10918240 memory=1019900 CPUtime=7.16 cores=1,3,5,7
/proc/7356/task/7482/stat : 7482 (java) S 7350 7356 7293 0 -1 1077944384 37462 12825 0 1 703 6 5 2 20 0 15 0 47267936 11180277760 254975 33554432000 4194304 4196468 140724539568432 140459941271920 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7483] ppid=7350 vsize=10918240 memory=1019900 CPUtime=7.82 cores=1,3,5,7
/proc/7356/task/7483/stat : 7483 (java) S 7350 7356 7293 0 -1 1077944384 41659 12825 0 1 768 7 5 2 20 0 15 0 47267936 11180277760 254975 33554432000 4194304 4196468 140724539568432 140459940219120 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7484] ppid=7350 vsize=10918240 memory=1228 CPUtime=3.81 cores=1,3,5,7
/proc/7356/task/7484/stat : 7484 (java) S 7350 7356 7293 0 -1 1077944384 40035 12825 0 1 368 6 5 2 20 0 15 0 47267936 11180277760 254975 33554432000 4194304 4196468 140724539568432 140459939166320 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7486] ppid=7350 vsize=10918240 memory=1019900 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7486/stat : 7486 (java) S 7350 7356 7293 0 -1 1077944384 3 12825 0 1 0 0 5 2 20 0 15 0 47267936 11180277760 254975 33554432000 4194304 4196468 140724539568432 140458651019488 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7488] ppid=7350 vsize=10918240 memory=1019900 CPUtime=1.39 cores=1,3,5,7
/proc/7356/task/7488/stat : 7488 (java) S 7350 7356 7293 0 -1 1077944384 1050 12825 0 1 55 77 5 2 20 0 15 0 47267936 11180277760 254975 33554432000 4194304 4196468 140724539568432 140459938114736 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
Current children cumulated CPU time: 2375.83 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1019900 KiB

[startup+2382.3 s]
/proc/loadavg: 1.59 1.39 1.38 4/215 7563
/proc/meminfo: memFree=16465020/32770624 swapFree=67108860/67108860
[pid=7356] ppid=7350 vsize=10918240 memory=1019900 CPUtime=2436.77 cores=1,3,5,7
/proc/7356/stat : 7356 (java) S 7350 7356 7293 0 -1 1077944320 257753 12825 1 1 243304 366 5 2 20 0 15 0 47267917 11180277760 254975 33554432000 4194304 4196468 140724539568432 140724539550976 140460415643383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
/proc/7356/statm: 2729560 254975 3527 1 0 2691213 0
[pid=7356/tid=7461] ppid=7350 vsize=10918240 memory=1019900 CPUtime=2356.64 cores=1,3,5,7
/proc/7356/task/7461/stat : 7461 (java) R 7350 7356 7293 0 -1 4202560 82897 12825 1 1 235603 54 5 2 20 0 15 0 47267930 11180277760 254975 33554432000 4194304 4196468 140724539568432 140460387478656 140460032177124 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7463] ppid=7350 vsize=10918240 memory=1019900 CPUtime=12.36 cores=1,3,5,7
/proc/7356/task/7463/stat : 7463 (java) S 7350 7356 7293 0 -1 1077944384 12224 12825 0 1 1173 56 5 2 20 0 15 0 47267931 11180277760 254975 33554432000 4194304 4196468 140724539568432 140460419885712 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7464] ppid=7350 vsize=10918240 memory=1019900 CPUtime=12.42 cores=1,3,5,7
/proc/7356/task/7464/stat : 7464 (java) S 7350 7356 7293 0 -1 1077944384 9159 12825 0 1 1177 58 5 2 20 0 15 0 47267931 11180277760 254975 33554432000 4194304 4196468 140724539568432 140460334705168 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7465] ppid=7350 vsize=10918240 memory=1019900 CPUtime=12.4 cores=1,3,5,7
/proc/7356/task/7465/stat : 7465 (java) S 7350 7356 7293 0 -1 1077944384 9934 12825 0 1 1179 54 5 2 20 0 15 0 47267931 11180277760 254975 33554432000 4194304 4196468 140724539568432 140460333652368 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7466] ppid=7350 vsize=10918240 memory=1019900 CPUtime=12.46 cores=1,3,5,7
/proc/7356/task/7466/stat : 7466 (java) S 7350 7356 7293 0 -1 1077944384 7364 12825 0 1 1190 49 5 2 20 0 15 0 47267931 11180277760 254975 33554432000 4194304 4196468 140724539568432 140460332599568 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7472] ppid=7350 vsize=10918240 memory=1019900 CPUtime=10.8 cores=1,3,5,7
/proc/7356/task/7472/stat : 7472 (java) S 7350 7356 7293 0 -1 1077944384 13722 12825 0 1 1020 53 5 2 20 0 15 0 47267932 11180277760 254975 33554432000 4194304 4196468 140724539568432 140459942325104 140460415654530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7474] ppid=7350 vsize=10918240 memory=1019900 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7474/stat : 7474 (java) S 7350 7356 7293 0 -1 1077944384 21 12825 0 1 0 0 5 2 20 0 15 0 47267933 11180277760 254975 33554432000 4194304 4196468 140724539568432 140459858978400 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7476] ppid=7350 vsize=10918240 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7476/stat : 7476 (java) S 7350 7356 7293 0 -1 1077944384 2 12825 0 1 0 0 5 2 20 0 15 0 47267933 11180277760 254975 33554432000 4194304 4196468 140724539568432 140459724760448 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7479] ppid=7350 vsize=10918240 memory=796 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7479/stat : 7479 (java) S 7350 7356 7293 0 -1 1077944384 2 12825 0 1 0 0 5 2 20 0 15 0 47267936 11180277760 254975 33554432000 4194304 4196468 140724539568432 140459120781648 140460415661979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7482] ppid=7350 vsize=10918240 memory=1019900 CPUtime=7.16 cores=1,3,5,7
/proc/7356/task/7482/stat : 7482 (java) S 7350 7356 7293 0 -1 1077944384 37464 12825 0 1 703 6 5 2 20 0 15 0 47267936 11180277760 254975 33554432000 4194304 4196468 140724539568432 140459941271920 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7483] ppid=7350 vsize=10918240 memory=1019900 CPUtime=7.82 cores=1,3,5,7
/proc/7356/task/7483/stat : 7483 (java) S 7350 7356 7293 0 -1 1077944384 41661 12825 0 1 768 7 5 2 20 0 15 0 47267936 11180277760 254975 33554432000 4194304 4196468 140724539568432 140459940219120 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7484] ppid=7350 vsize=10918240 memory=4128 CPUtime=3.81 cores=1,3,5,7
/proc/7356/task/7484/stat : 7484 (java) S 7350 7356 7293 0 -1 1077944384 40037 12825 0 1 368 6 5 2 20 0 15 0 47267936 11180277760 254975 33554432000 4194304 4196468 140724539568432 140459939166320 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7486] ppid=7350 vsize=10918240 memory=15776 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7486/stat : 7486 (java) S 7350 7356 7293 0 -1 1077944384 3 12825 0 1 0 0 5 2 20 0 15 0 47267936 11180277760 254975 33554432000 4194304 4196468 140724539568432 140458651019488 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7488] ppid=7350 vsize=10918240 memory=2416 CPUtime=1.43 cores=1,3,5,7
/proc/7356/task/7488/stat : 7488 (java) S 7350 7356 7293 0 -1 1077944384 1070 12825 0 1 57 79 5 2 20 0 15 0 47267936 11180277760 254975 33554432000 4194304 4196468 140724539568432 140459938114736 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
Current children cumulated CPU time: 2436.77 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1019900 KiB

[startup+2442.3 s]
/proc/loadavg: 1.37 1.36 1.37 4/215 7564
/proc/meminfo: memFree=16462624/32770624 swapFree=67108860/67108860
[pid=7356] ppid=7350 vsize=10918240 memory=1021948 CPUtime=2497.75 cores=1,3,5,7
/proc/7356/stat : 7356 (java) S 7350 7356 7293 0 -1 1077944320 258827 12825 1 1 249395 373 5 2 20 0 15 0 47267917 11180277760 255487 33554432000 4194304 4196468 140724539568432 140724539550976 140460415643383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
/proc/7356/statm: 2729560 255487 3527 1 0 2691213 0
[pid=7356/tid=7461] ppid=7350 vsize=10918240 memory=1021948 CPUtime=2415.98 cores=1,3,5,7
/proc/7356/task/7461/stat : 7461 (java) R 7350 7356 7293 0 -1 4202560 83504 12825 1 1 241536 55 5 2 20 0 15 0 47267930 11180277760 255487 33554432000 4194304 4196468 140724539568432 140460387478704 140460020766372 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7463] ppid=7350 vsize=10918240 memory=1021948 CPUtime=12.69 cores=1,3,5,7
/proc/7356/task/7463/stat : 7463 (java) S 7350 7356 7293 0 -1 1077944384 12272 12825 0 1 1205 57 5 2 20 0 15 0 47267931 11180277760 255487 33554432000 4194304 4196468 140724539568432 140460419885712 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7464] ppid=7350 vsize=10918240 memory=1021948 CPUtime=12.76 cores=1,3,5,7
/proc/7356/task/7464/stat : 7464 (java) S 7350 7356 7293 0 -1 1077944384 9163 12825 0 1 1209 60 5 2 20 0 15 0 47267931 11180277760 255487 33554432000 4194304 4196468 140724539568432 140460334705168 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7465] ppid=7350 vsize=10918240 memory=1021948 CPUtime=12.74 cores=1,3,5,7
/proc/7356/task/7465/stat : 7465 (java) S 7350 7356 7293 0 -1 1077944384 10046 12825 0 1 1212 55 5 2 20 0 15 0 47267931 11180277760 255487 33554432000 4194304 4196468 140724539568432 140460333652368 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7466] ppid=7350 vsize=10918240 memory=1021948 CPUtime=12.8 cores=1,3,5,7
/proc/7356/task/7466/stat : 7466 (java) S 7350 7356 7293 0 -1 1077944384 7442 12825 0 1 1222 51 5 2 20 0 15 0 47267931 11180277760 255487 33554432000 4194304 4196468 140724539568432 140460332599568 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7472] ppid=7350 vsize=10918240 memory=1021948 CPUtime=11.06 cores=1,3,5,7
/proc/7356/task/7472/stat : 7472 (java) S 7350 7356 7293 0 -1 1077944384 13924 12825 0 1 1046 53 5 2 20 0 15 0 47267932 11180277760 255487 33554432000 4194304 4196468 140724539568432 140459942325104 140460415654530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7474] ppid=7350 vsize=10918240 memory=1021948 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7474/stat : 7474 (java) S 7350 7356 7293 0 -1 1077944384 21 12825 0 1 0 0 5 2 20 0 15 0 47267933 11180277760 255487 33554432000 4194304 4196468 140724539568432 140459858978400 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7476] ppid=7350 vsize=10918240 memory=1021948 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7476/stat : 7476 (java) S 7350 7356 7293 0 -1 1077944384 2 12825 0 1 0 0 5 2 20 0 15 0 47267933 11180277760 255487 33554432000 4194304 4196468 140724539568432 140459724760448 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7479] ppid=7350 vsize=10918240 memory=1021948 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7479/stat : 7479 (java) S 7350 7356 7293 0 -1 1077944384 2 12825 0 1 0 0 5 2 20 0 15 0 47267936 11180277760 255487 33554432000 4194304 4196468 140724539568432 140459120781648 140460415661979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7482] ppid=7350 vsize=10918240 memory=9916 CPUtime=7.16 cores=1,3,5,7
/proc/7356/task/7482/stat : 7482 (java) S 7350 7356 7293 0 -1 1077944384 37466 12825 0 1 703 6 5 2 20 0 15 0 47267936 11180277760 255487 33554432000 4194304 4196468 140724539568432 140459941271920 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7483] ppid=7350 vsize=10918240 memory=1021948 CPUtime=7.82 cores=1,3,5,7
/proc/7356/task/7483/stat : 7483 (java) S 7350 7356 7293 0 -1 1077944384 41663 12825 0 1 768 7 5 2 20 0 15 0 47267936 11180277760 255487 33554432000 4194304 4196468 140724539568432 140459940219120 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7484] ppid=7350 vsize=10918240 memory=1021948 CPUtime=3.81 cores=1,3,5,7
/proc/7356/task/7484/stat : 7484 (java) S 7350 7356 7293 0 -1 1077944384 40039 12825 0 1 368 6 5 2 20 0 15 0 47267936 11180277760 255487 33554432000 4194304 4196468 140724539568432 140459939166320 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7486] ppid=7350 vsize=10918240 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7486/stat : 7486 (java) S 7350 7356 7293 0 -1 1077944384 3 12825 0 1 0 0 5 2 20 0 15 0 47267936 11180277760 255487 33554432000 4194304 4196468 140724539568432 140458651019488 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7488] ppid=7350 vsize=10918240 memory=-8253362762722141311 CPUtime=1.47 cores=1,3,5,7
/proc/7356/task/7488/stat : 7488 (java) S 7350 7356 7293 0 -1 1077944384 1087 12825 0 1 59 81 5 2 20 0 15 0 47267936 11180277760 255487 33554432000 4194304 4196468 140724539568432 140459938114736 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
Current children cumulated CPU time: 2497.75 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1021948 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2464.2 s]
/proc/loadavg: 1.27 1.34 1.36 10/217 7599
/proc/meminfo: memFree=17281076/32770624 swapFree=67108860/67108860
[pid=7356] ppid=7350 vsize=10918240 memory=1021948 CPUtime=2520.03 cores=1,3,5,7
/proc/7356/stat : 7356 (java) S 7350 7356 7293 0 -1 1077944320 259081 12825 1 1 251620 376 5 2 20 0 15 0 47267917 11180277760 255487 33554432000 4194304 4196468 140724539568432 140724539550976 140460415643383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
/proc/7356/statm: 2729560 255487 3527 1 0 2691213 0
[pid=7356/tid=7461] ppid=7350 vsize=10918240 memory=3060 CPUtime=2437.63 cores=1,3,5,7
/proc/7356/task/7461/stat : 7461 (java) R 7350 7356 7293 0 -1 4202560 83678 12825 1 1 243701 55 5 2 20 0 15 0 47267930 11180277760 255487 33554432000 4194304 4196468 140724539568432 140460387478928 140460029577088 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7463] ppid=7350 vsize=10918240 memory=3200 CPUtime=12.81 cores=1,3,5,7
/proc/7356/task/7463/stat : 7463 (java) S 7350 7356 7293 0 -1 1077944384 12272 12825 0 1 1217 57 5 2 20 0 15 0 47267931 11180277760 255487 33554432000 4194304 4196468 140724539568432 140460419885712 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7464] ppid=7350 vsize=10918240 memory=8112282956445269571 CPUtime=12.88 cores=1,3,5,7
/proc/7356/task/7464/stat : 7464 (java) S 7350 7356 7293 0 -1 1077944384 9193 12825 0 1 1221 60 5 2 20 0 15 0 47267931 11180277760 255487 33554432000 4194304 4196468 140724539568432 140460334705168 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7465] ppid=7350 vsize=10918240 memory=1228 CPUtime=12.87 cores=1,3,5,7
/proc/7356/task/7465/stat : 7465 (java) S 7350 7356 7293 0 -1 1077944384 10047 12825 0 1 1224 56 5 2 20 0 15 0 47267931 11180277760 255487 33554432000 4194304 4196468 140724539568432 140460333652368 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7466] ppid=7350 vsize=10918240 memory=1952 CPUtime=12.93 cores=1,3,5,7
/proc/7356/task/7466/stat : 7466 (java) S 7350 7356 7293 0 -1 1077944384 7474 12825 0 1 1235 51 5 2 20 0 15 0 47267931 11180277760 255487 33554432000 4194304 4196468 140724539568432 140460332599568 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7472] ppid=7350 vsize=10918240 memory=1200 CPUtime=11.17 cores=1,3,5,7
/proc/7356/task/7472/stat : 7472 (java) S 7350 7356 7293 0 -1 1077944384 13940 12825 0 1 1056 54 5 2 20 0 15 0 47267932 11180277760 255487 33554432000 4194304 4196468 140724539568432 140459942325104 140460415654530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7474] ppid=7350 vsize=10918240 memory=1021948 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7474/stat : 7474 (java) S 7350 7356 7293 0 -1 1077944384 21 12825 0 1 0 0 5 2 20 0 15 0 47267933 11180277760 255487 33554432000 4194304 4196468 140724539568432 140459858978400 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7476] ppid=7350 vsize=10918240 memory=1021948 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7476/stat : 7476 (java) S 7350 7356 7293 0 -1 1077944384 2 12825 0 1 0 0 5 2 20 0 15 0 47267933 11180277760 255487 33554432000 4194304 4196468 140724539568432 140459724760448 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7479] ppid=7350 vsize=10918240 memory=796 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7479/stat : 7479 (java) S 7350 7356 7293 0 -1 1077944384 2 12825 0 1 0 0 5 2 20 0 15 0 47267936 11180277760 255487 33554432000 4194304 4196468 140724539568432 140459120781648 140460415661979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7482] ppid=7350 vsize=10918240 memory=5408 CPUtime=7.16 cores=1,3,5,7
/proc/7356/task/7482/stat : 7482 (java) S 7350 7356 7293 0 -1 1077944384 37466 12825 0 1 703 6 5 2 20 0 15 0 47267936 11180277760 255487 33554432000 4194304 4196468 140724539568432 140459941271920 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7483] ppid=7350 vsize=10918240 memory=1008 CPUtime=7.82 cores=1,3,5,7
/proc/7356/task/7483/stat : 7483 (java) S 7350 7356 7293 0 -1 1077944384 41663 12825 0 1 768 7 5 2 20 0 15 0 47267936 11180277760 255487 33554432000 4194304 4196468 140724539568432 140459940219120 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7484] ppid=7350 vsize=10918240 memory=9916 CPUtime=3.81 cores=1,3,5,7
/proc/7356/task/7484/stat : 7484 (java) S 7350 7356 7293 0 -1 1077944384 40040 12825 0 1 368 6 5 2 20 0 15 0 47267936 11180277760 255487 33554432000 4194304 4196468 140724539568432 140459939166320 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7486] ppid=7350 vsize=10918240 memory=1692 CPUtime=0.07 cores=1,3,5,7
/proc/7356/task/7486/stat : 7486 (java) S 7350 7356 7293 0 -1 1077944384 3 12825 0 1 0 0 5 2 20 0 15 0 47267936 11180277760 255487 33554432000 4194304 4196468 140724539568432 140458651019488 140460415653589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
[pid=7356/tid=7488] ppid=7350 vsize=10918240 memory=916 CPUtime=1.48 cores=1,3,5,7
/proc/7356/task/7488/stat : 7488 (java) S 7350 7356 7293 0 -1 1077944384 1087 12825 0 1 59 82 5 2 20 0 15 0 47267936 11180277760 255487 33554432000 4194304 4196468 140724539568432 140459938114736 140460415654530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22376448 140724539570799 140724539573596 140724539573596 140724539576271 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1021948 KiB

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

[startup+2464.23 s]
# the end of solver process 7356 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.28 s, system=3.8105 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2464.23
CPU time (s): 2520.09
CPU user time (s): 2516.28
CPU system time (s): 3.8105
CPU usage (%): 102.267
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 1032180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.28
system time used= 3.8105
maximum resident set size= 1034748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273174
page faults= 2
swaps= 0
block input operations= 3416
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 287821
involuntary context switches= 5954


# summary of solver processes directly reported to runsolver:
#   pid: 7356
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2516.28
#   total CPU system time (s): 3.8105

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3249 second user time and 20.343 second system time

The end

Name	StillLife/ StillLife-wastage-15_c18.xml
MD5SUM	e301970dbbdacc0ad69519f2afe54420
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	119
Best CPU time to get the best result obtained on this benchmark	66.0119
Satisfiable
(Un)Satisfiability was proved
Number of variables	596
Number of constraints	383
Number of domains	4
Minimum domain size	2
Maximum domain size	579
Distribution of domain sizes	[{"size":2,"count":289},{"size":3,"count":289},{"size":226,"count":1},{"size":579,"count":17}]
Minimum variable degree	1
Maximum variable degree	18
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":286},{"degree":3,"count":20},{"degree":4,"count":60},{"degree":8,"count":56},{"degree":9,"count":169},{"degree":18,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	19
Distribution of constraint arities	[{"arity":2,"count":77},{"arity":3,"count":60},{"arity":10,"count":225},{"arity":17,"count":4},{"arity":18,"count":1},{"arity":19,"count":16}]
Number of extensional constraints	285
Number of intensional constraints	76
Distribution of constraint types	[{"type":"extension","count":285},{"type":"intension","count":76},{"type":"sum","count":18},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4292897

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data