2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	113	2520.08	2465.04

1.03/0.92	c Concrete v3.9.2.1532736233296 running
8.90/4.12	c 04:32:19.435 [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 827248723, 3 edges, 4 vertices, 1 tuples
8.90/4.15	c 04:32:19.466 [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 2036704540, 3 edges, 4 vertices, 1 tuples
9.21/4.26	c 04:32:19.468 [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 827248723, 3 edges, 4 vertices, 1 tuples
9.21/4.26	c 04:32:19.483 [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 2036704540, 3 edges, 4 vertices, 1 tuples
9.21/4.26	c 04:32:19.486 [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 1123664282, 3 edges, 4 vertices, 1 tuples
9.21/4.26	c 04:32:19.498 [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 164733543, 3 edges, 4 vertices, 1 tuples
9.21/4.26	c 04:32:19.500 [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 1123664282, 3 edges, 4 vertices, 1 tuples
9.21/4.26	c 04:32:19.513 [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 164733543, 3 edges, 4 vertices, 1 tuples
9.21/4.26	c 04:32:19.516 [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
9.21/4.26	c 04:32:19.528 [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
9.21/4.26	c 04:32:19.529 [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
9.21/4.26	c 04:32:19.535 [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
9.21/4.26	c 04:32:19.536 [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
9.21/4.26	c 04:32:19.542 [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
9.21/4.26	c 04:32:19.543 [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
9.21/4.26	c 04:32:19.549 [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
14.29/6.04	o 84
14.29/6.09	o 85
14.29/6.10	o 86
14.58/6.12	o 87
14.58/6.13	o 88
14.58/6.14	o 89
15.17/6.30	o 90
15.17/6.31	o 91
15.17/6.32	o 92
15.17/6.39	o 94
17.18/7.37	o 95
17.18/7.38	o 96
17.18/7.38	o 97
17.18/7.39	o 98
17.47/7.44	o 99
18.89/8.31	o 100
18.89/8.33	o 101
19.53/8.78	o 102
19.69/8.82	o 103
32.33/19.38	o 104
35.06/21.15	o 105
142.48/123.31	o 106
213.12/192.98	o 107
214.45/194.28	o 108
243.10/222.44	o 109
279.15/257.99	o 110
279.46/258.20	o 111
339.56/317.59	o 112
479.51/455.51	o 113
2520.03/2465.01	Exception in thread "main" java.util.concurrent.TimeoutException
2520.03/2465.01		at concrete.MAC.mac(MAC.scala:188)
2520.03/2465.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.03/2465.01		at scala.util.Try$.apply(Try.scala:209)
2520.03/2465.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/2465.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/2465.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/2465.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/2465.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.03/2465.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/2465.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/2465.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/2465.02		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/2465.02		at concrete.MAC.oneRun(MAC.scala:253)
2520.03/2465.02		at concrete.MAC.nextSolution(MAC.scala:272)
2520.03/2465.02		at concrete.MAC.nextSolution(MAC.scala:355)
2520.03/2465.02		at concrete.Solver.hasNext(Solver.scala:166)
2520.03/2465.02		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.03/2465.02		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.03/2465.02		at concrete.Solver.foreach(Solver.scala:68)
2520.03/2465.02		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.03/2465.02		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/2465.02		at scala.util.Success.map(Try.scala:209)
2520.03/2465.02		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2465.02		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.03/2465.02		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.03/2465.02		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2465.02		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.03/2465.02		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/2465.02		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/2465.02		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/2465.02		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/2465.02		at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/2465.02		at scala.App.main(App.scala:76)
2520.03/2465.02		at scala.App.main$(App.scala:74)
2520.03/2465.02		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.03/2465.02		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2465.02	v <instantiation cost="113">
2520.03/2465.02	v       <list>
2520.03/2465.02	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/2465.02	v       </list>
2520.03/2465.02	v       <values>
2520.03/2465.02	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 1 1 0 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 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 1 0 1 0 1 0 0 2 0 0 0 0 2 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 2 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 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 1 0 0 1 0 1 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 6 9 11 19 22 25 32 37 40 42 46 48 48 52 52 53 58 113
2520.03/2465.02	v       </values>
2520.03/2465.02	v     </instantiation>
2520.03/2465.02	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 (3184 MiB free)
  memory of node 1: 16384 MiB (3257 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304137-1534041135/watcher-4304137-1534041135 -o /tmp/evaluation-result-4304137-1534041135/solver-4304137-1534041135 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534041135-17408 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=993149683 HOME/instance-4304137-1534041135.xml 

running on 4 cores: 0,2,4,6

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=17438, runsolver pid=17432
Current StackSize limit: 8192 KiB


[startup+0.100104 s]*
/proc/loadavg: 1.00 1.01 1.10 4/210 17511
/proc/meminfo: memFree=6572120/32770624 swapFree=67108404/67108860
[pid=17438] ppid=17432 vsize=113256 memory=1608 CPUtime=0.01 cores=0,2,4,6
/proc/17438/stat : 17438 (bash) S 17432 17438 15321 0 -1 4202496 889 5662 0 0 0 0 0 1 20 0 1 0 221676627 115974144 402 33554432000 4194304 5098028 140736597599152 140736597593160 139894128208896 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 3 0 0 7196144 7232144 28221440 140736597607596 140736597607720 140736597607720 140736597610478 0
/proc/17438/statm: 28314 402 318 221 0 119 0
[pid=17491] ppid=17438 vsize=113256 memory=716 CPUtime=0 cores=0,2,4,6
/proc/17491/stat : 17491 (bash) S 17438 17438 15321 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 1 0 221676633 115974144 179 33554432000 4194304 5098028 140736597599152 140736597591832 139894128034428 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28221440 140736597607596 140736597607720 140736597607720 140736597610478 0
/proc/17491/statm: 28314 179 95 221 0 119 0
[pid=17494] ppid=17491 vsize=10260324 memory=17760 CPUtime=0.03 cores=0,2,4,6
/proc/17494/stat : 17494 (java) S 17491 17438 15321 0 -1 1077944320 4289 0 0 0 3 0 0 0 20 0 9 0 221676633 10506571776 4440 33554432000 4194304 4196468 140723945591696 140723945574240 140402378526455 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24805376 140723945600291 140723945600305 140723945600305 140723945603023 0
/proc/17494/statm: 2565081 4440 2160 1 0 2527622 0
[pid=17494/tid=17497] ppid=17491 vsize=10260324 memory=-7745799325366387508 CPUtime=0.03 cores=0,2,4,6
/proc/17494/task/17497/stat : 17497 (java) R 17491 17438 15321 0 -1 4202560 2953 0 0 0 3 0 0 0 20 0 9 0 221676634 10506571776 4505 33554432000 4194304 4196468 140723945591696 140402382761552 140402378548381 0 4 0 16800971 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140723945600291 140723945600305 140723945600305 140723945603023 0
[pid=17494/tid=17499] ppid=17491 vsize=10260324 memory=4210146916469654281 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17499/stat : 17499 (java) S 17491 17438 15321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 221676635 10506571776 4505 33554432000 4194304 4196468 140723945591696 140402348239248 140402378536661 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140723945600291 140723945600305 140723945600305 140723945603023 0
[pid=17494/tid=17501] ppid=17491 vsize=10260324 memory=140306122487424 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (java) S 17491 17438 15321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 221676635 10506571776 4505 33554432000 4194304 4196468 140723945591696 140401984276752 140402378536661 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140723945600291 140723945600305 140723945600305 140723945603023 0
[pid=17494/tid=17502] ppid=17491 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17502/stat : 17502 (java) S 17491 17438 15321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 221676635 10506571776 4505 33554432000 4194304 4196468 140723945591696 140401983224464 140402378536661 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140723945600291 140723945600305 140723945600305 140723945603023 0
[pid=17494/tid=17503] ppid=17491 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17503/stat : 17503 (java) S 17491 17438 15321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 221676635 10506571776 4505 33554432000 4194304 4196468 140723945591696 140401982171664 140402378536661 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140723945600291 140723945600305 140723945600305 140723945603023 0
[pid=17494/tid=17507] ppid=17491 vsize=10260324 memory=140306122487424 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17507/stat : 17507 (java) S 17491 17438 15321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 221676636 10506571776 4505 33554432000 4194304 4196468 140723945591696 140401870469744 140402378537602 0 0 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140723945600291 140723945600305 140723945600305 140723945603023 0
[pid=17494/tid=17509] ppid=17491 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17509/stat : 17509 (java) S 17491 17438 15321 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 221676636 10506571776 4505 33554432000 4194304 4196468 140723945591696 140401869415712 140402378536661 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140723945600291 140723945600305 140723945600305 140723945603023 0
[pid=17494/tid=17511] ppid=17491 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17511/stat : 17511 (java) S 17491 17438 15321 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 221676637 10506571776 4505 33554432000 4194304 4196468 140723945591696 140401868363376 140402378536661 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140723945600291 140723945600305 140723945600305 140723945603023 0
[pid=17495] ppid=17491 vsize=113488 memory=968 CPUtime=0 cores=0,2,4,6
/proc/17495/stat : 17495 (awk) D 17491 17438 15321 0 -1 4202496 385 0 0 0 0 0 0 0 20 0 1 0 221676633 116211712 242 33554432000 4194304 4609284 140728295165856 140728295165272 4475456 0 0 4096 1216 18446744071581151530 0 0 17 0 0 0 0 0 0 6708720 6711756 19075072 140728295167315 140728295167345 140728295167345 140728295170031 0
/proc/17495/statm: 28372 242 204 102 0 88 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 21052 KiB

[startup+0.210404 s]*
/proc/loadavg: 1.00 1.01 1.10 2/192 17523
/proc/meminfo: memFree=6592972/32770624 swapFree=67108404/67108860
[pid=17438] ppid=17432 vsize=113256 memory=1608 CPUtime=0.01 cores=0,2,4,6
/proc/17438/stat : 17438 (bash) S 17432 17438 15321 0 -1 4202496 889 5662 0 0 0 0 0 1 20 0 1 0 221676627 115974144 402 33554432000 4194304 5098028 140736597599152 140736597593160 139894128208896 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 3 0 0 7196144 7232144 28221440 140736597607596 140736597607720 140736597607720 140736597610478 0
/proc/17438/statm: 28314 402 318 221 0 119 0
[pid=17491] ppid=17438 vsize=113256 memory=716 CPUtime=0.06 cores=0,2,4,6
/proc/17491/stat : 17491 (bash) S 17438 17438 15321 0 -1 4202560 153 5039 0 0 0 0 5 1 20 0 1 0 221676633 115974144 179 33554432000 4194304 5098028 140736597599152 140736597591832 139894128034428 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28221440 140736597607596 140736597607720 140736597607720 140736597610478 0
/proc/17491/statm: 28314 179 95 221 0 119 0
[pid=17495] ppid=17491 vsize=113488 memory=968 CPUtime=0 cores=0,2,4,6
/proc/17495/stat : 17495 (awk) D 17491 17438 15321 0 -1 4202496 385 0 0 0 0 0 0 0 20 0 1 0 221676633 116211712 242 33554432000 4194304 4609284 140728295165856 140728295165272 4475456 0 0 4096 1216 18446744071580431491 0 0 17 4 0 0 5 0 0 6708720 6711756 19075072 140728295167315 140728295167345 140728295167345 140728295170031 0
/proc/17495/statm: 28372 242 204 102 0 88 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 340000 KiB
Current children cumulated memory: 3292 KiB

[startup+0.309862 s]*
/proc/loadavg: 1.00 1.01 1.10 4/204 17557
/proc/meminfo: memFree=6563924/32770624 swapFree=67108404/67108860
[pid=17438] ppid=17432 vsize=10453864 memory=23408 CPUtime=0.13 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17432 17438 15321 0 -1 1077944320 5011 13375 0 1 4 1 5 3 20 0 9 0 221676627 10704756736 5852 33554432000 4194304 4196468 140721562960320 140721562942864 139936033849079 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 3 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
/proc/17438/statm: 2613466 5852 2179 1 0 2576007 0
[pid=17438/tid=17543] ppid=17432 vsize=10453864 memory=-5936158148181918512 CPUtime=0.11 cores=0,2,4,6
/proc/17438/task/17543/stat : 17543 (java) R 17432 17438 15321 0 -1 4202560 2777 13375 0 1 3 0 5 3 20 0 9 0 221676654 10704756736 5852 33554432000 4194304 4196468 140721562960320 139936005685112 139936033871005 0 4 0 16800971 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17544] ppid=17432 vsize=10453864 memory=4122819170707441977 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17544/stat : 17544 (java) S 17432 17438 15321 0 -1 1077944384 1 13375 0 1 0 0 5 3 20 0 9 0 221676655 10704756736 5852 33554432000 4194304 4196468 140721562960320 139936038091152 139936033859285 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17545] ppid=17432 vsize=10453864 memory=4207744050482593722 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17545/stat : 17545 (java) S 17432 17438 15321 0 -1 1077944384 1 13375 0 1 0 0 5 3 20 0 9 0 221676655 10704756736 5852 33554432000 4194304 4196468 140721562960320 139935892810000 139936033859285 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17546] ppid=17432 vsize=10453864 memory=6452091026050737466 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17546/stat : 17546 (java) S 17432 17438 15321 0 -1 1077944384 1 13375 0 1 0 0 5 3 20 0 9 0 221676655 10704756736 5852 33554432000 4194304 4196468 140721562960320 139935891757712 139936033859285 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17548] ppid=17432 vsize=10453864 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17548/stat : 17548 (java) S 17432 17438 15321 0 -1 1077944384 2 13375 0 1 0 0 5 3 20 0 9 0 221676655 10704756736 5852 33554432000 4194304 4196468 140721562960320 139935890704912 139936033859285 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17552] ppid=17432 vsize=10453864 memory=7235542587155706084 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17552/stat : 17552 (java) S 17432 17438 15321 0 -1 1077944384 2 13375 0 1 0 0 5 3 20 0 9 0 221676656 10704756736 5852 33554432000 4194304 4196468 140721562960320 139935272122992 139936033860226 0 0 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17555] ppid=17432 vsize=10453864 memory=2983474677292557675 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17555/stat : 17555 (java) S 17432 17438 15321 0 -1 1077944384 13 13375 0 1 0 0 5 3 20 0 9 0 221676657 10704756736 5852 33554432000 4194304 4196468 140721562960320 139934866335008 139936033859285 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17557] ppid=17432 vsize=10453864 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17557/stat : 17557 (java) S 17432 17438 15321 0 -1 1077944384 21 13375 0 1 0 0 5 3 20 0 9 0 221676657 10704756736 5852 33554432000 4194304 4196468 140721562960320 139934799222384 139936033859285 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10453864 KiB
Current children cumulated memory: 23408 KiB

[startup+0.700723 s]
/proc/loadavg: 1.00 1.01 1.10 4/216 17569
/proc/meminfo: memFree=6509904/32770624 swapFree=67108404/67108860
[pid=17438] ppid=17432 vsize=10983192 memory=63192 CPUtime=0.68 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17432 17438 15321 0 -1 1077944320 11869 13375 0 1 57 3 5 3 20 0 15 0 221676627 11246788608 15798 33554432000 4194304 4196468 140721562960320 140721562942864 139936033849079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 3 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
/proc/17438/statm: 2745798 15798 3137 1 0 2708109 0
[pid=17438/tid=17543] ppid=17432 vsize=10983192 memory=150792006830367 CPUtime=0.49 cores=0,2,4,6
/proc/17438/task/17543/stat : 17543 (java) R 17432 17438 15321 0 -1 4202560 8263 13375 0 1 39 2 5 3 20 0 15 0 221676654 11246788608 15798 33554432000 4194304 4196468 140721562960320 139936005671136 139936017929566 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17544] ppid=17432 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17544/stat : 17544 (java) S 17432 17438 15321 0 -1 1077944384 1 13375 0 1 0 0 5 3 20 0 15 0 221676655 11246788608 15798 33554432000 4194304 4196468 140721562960320 139936038091152 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17545] ppid=17432 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17545/stat : 17545 (java) S 17432 17438 15321 0 -1 1077944384 1 13375 0 1 0 0 5 3 20 0 15 0 221676655 11246788608 15798 33554432000 4194304 4196468 140721562960320 139935892810000 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17546] ppid=17432 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17546/stat : 17546 (java) S 17432 17438 15321 0 -1 1077944384 1 13375 0 1 0 0 5 3 20 0 15 0 221676655 11246788608 15798 33554432000 4194304 4196468 140721562960320 139935891757712 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17548] ppid=17432 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17548/stat : 17548 (java) S 17432 17438 15321 0 -1 1077944384 2 13375 0 1 0 0 5 3 20 0 15 0 221676655 11246788608 15798 33554432000 4194304 4196468 140721562960320 139935890704912 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17552] ppid=17432 vsize=10983192 memory=3684 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17552/stat : 17552 (java) S 17432 17438 15321 0 -1 1077944384 2 13375 0 1 0 0 5 3 20 0 15 0 221676656 11246788608 15798 33554432000 4194304 4196468 140721562960320 139935272122992 139936033860226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17555] ppid=17432 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17555/stat : 17555 (java) S 17432 17438 15321 0 -1 1077944384 13 13375 0 1 0 0 5 3 20 0 15 0 221676657 11246788608 15798 33554432000 4194304 4196468 140721562960320 139934866335008 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17557] ppid=17432 vsize=10983192 memory=3690334632240487472 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17557/stat : 17557 (java) S 17432 17438 15321 0 -1 1077944384 21 13375 0 1 0 0 5 3 20 0 15 0 221676657 11246788608 15798 33554432000 4194304 4196468 140721562960320 139934799222384 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17562] ppid=17432 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17562/stat : 17562 (java) S 17432 17438 15321 0 -1 1077944384 3 13375 0 1 0 0 5 3 20 0 15 0 221676660 11246788608 15798 33554432000 4194304 4196468 140721562960320 139934491826768 139936033867675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17563] ppid=17432 vsize=10983192 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/17438/task/17563/stat : 17563 (java) S 17432 17438 15321 0 -1 1077944384 572 13375 0 1 3 0 5 3 20 0 15 0 221676660 11246788608 15798 33554432000 4194304 4196468 140721562960320 139935271069808 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17564] ppid=17432 vsize=10983192 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/17438/task/17564/stat : 17564 (java) S 17432 17438 15321 0 -1 1077944384 116 13375 0 1 2 0 5 3 20 0 15 0 221676660 11246788608 15798 33554432000 4194304 4196468 140721562960320 139934732109808 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17565] ppid=17432 vsize=10983192 memory=7809523229951467570 CPUtime=0.18 cores=0,2,4,6
/proc/17438/task/17565/stat : 17565 (java) S 17432 17438 15321 0 -1 1077944384 677 13375 0 1 10 0 5 3 20 0 15 0 221676660 11246788608 15798 33554432000 4194304 4196468 140721562960320 139934731057520 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17567] ppid=17432 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17567/stat : 17567 (java) S 17432 17438 15321 0 -1 1077944384 3 13375 0 1 0 0 5 3 20 0 15 0 221676660 11246788608 15798 33554432000 4194304 4196468 140721562960320 139934061029856 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17569] ppid=17432 vsize=10983192 memory=-2746958450906831424 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17569/stat : 17569 (java) S 17432 17438 15321 0 -1 1077944384 1 13375 0 1 0 0 5 3 20 0 15 0 221676660 11246788608 15798 33554432000 4194304 4196468 140721562960320 139934730005424 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 63192 KiB

[startup+1.50163 s]
/proc/loadavg: 1.00 1.01 1.10 2/217 17570
/proc/meminfo: memFree=6426220/32770624 swapFree=67108404/67108860
[pid=17438] ppid=17432 vsize=10993996 memory=135608 CPUtime=2.36 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17432 17438 15321 0 -1 1077944320 25135 13375 0 1 219 9 5 3 20 0 15 0 221676627 11257851904 33902 33554432000 4194304 4196468 140721562960320 140721562942864 139936033849079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 3 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
/proc/17438/statm: 2748499 33902 3441 1 0 2710157 0
[pid=17438/tid=17543] ppid=17432 vsize=10993996 memory=7882238766321331302 CPUtime=1.26 cores=0,2,4,6
/proc/17438/task/17543/stat : 17543 (java) R 17432 17438 15321 0 -1 4202560 16530 13375 0 1 113 5 5 3 20 0 15 0 221676654 11257851904 33902 33554432000 4194304 4196468 140721562960320 139936005665600 139936033871005 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17544] ppid=17432 vsize=10993996 memory=5571041044932352101 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17544/stat : 17544 (java) S 17432 17438 15321 0 -1 1077944384 1 13375 0 1 0 0 5 3 20 0 15 0 221676655 11257851904 33902 33554432000 4194304 4196468 140721562960320 139936038091152 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17545] ppid=17432 vsize=10993996 memory=8098425773316334167 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17545/stat : 17545 (java) S 17432 17438 15321 0 -1 1077944384 1 13375 0 1 0 0 5 3 20 0 15 0 221676655 11257851904 33902 33554432000 4194304 4196468 140721562960320 139935892810000 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17546] ppid=17432 vsize=10993996 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17546/stat : 17546 (java) S 17432 17438 15321 0 -1 1077944384 1 13375 0 1 0 0 5 3 20 0 15 0 221676655 11257851904 33902 33554432000 4194304 4196468 140721562960320 139935891757712 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17548] ppid=17432 vsize=10993996 memory=9258 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17548/stat : 17548 (java) S 17432 17438 15321 0 -1 1077944384 2 13375 0 1 0 0 5 3 20 0 15 0 221676655 11257851904 33902 33554432000 4194304 4196468 140721562960320 139935890704912 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17552] ppid=17432 vsize=10993996 memory=25942 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17552/stat : 17552 (java) S 17432 17438 15321 0 -1 1077944384 5 13375 0 1 0 0 5 3 20 0 15 0 221676656 11257851904 33902 33554432000 4194304 4196468 140721562960320 139935272122992 139936033860226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17555] ppid=17432 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17555/stat : 17555 (java) S 17432 17438 15321 0 -1 1077944384 13 13375 0 1 0 0 5 3 20 0 15 0 221676657 11257851904 33902 33554432000 4194304 4196468 140721562960320 139934866335008 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17557] ppid=17432 vsize=10993996 memory=-1088251628401078322 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17557/stat : 17557 (java) S 17432 17438 15321 0 -1 1077944384 21 13375 0 1 0 0 5 3 20 0 15 0 221676657 11257851904 33902 33554432000 4194304 4196468 140721562960320 139934799222384 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17562] ppid=17432 vsize=10993996 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17562/stat : 17562 (java) S 17432 17438 15321 0 -1 1077944384 3 13375 0 1 0 0 5 3 20 0 15 0 221676660 11257851904 33902 33554432000 4194304 4196468 140721562960320 139934491826768 139936033867675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17563] ppid=17432 vsize=10993996 memory=6656426216303648864 CPUtime=0.44 cores=0,2,4,6
/proc/17438/task/17563/stat : 17563 (java) R 17432 17438 15321 0 -1 4202560 2472 13375 0 1 36 0 5 3 20 0 15 0 221676660 11257851904 33902 33554432000 4194304 4196468 140721562960320 139935271055832 139936018138080 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17564] ppid=17432 vsize=10993996 memory=6944656575208382560 CPUtime=0.39 cores=0,2,4,6
/proc/17438/task/17564/stat : 17564 (java) R 17432 17438 15321 0 -1 4202560 2131 13375 0 1 30 1 5 3 20 0 15 0 221676660 11257851904 33902 33554432000 4194304 4196468 140721562960320 139934732095832 139936015394586 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17565] ppid=17432 vsize=10993996 memory=-7812193691855986592 CPUtime=0.47 cores=0,2,4,6
/proc/17438/task/17565/stat : 17565 (java) S 17432 17438 15321 0 -1 1077944384 1758 13375 0 1 38 1 5 3 20 0 15 0 221676660 11257851904 33902 33554432000 4194304 4196468 140721562960320 139934731057520 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17567] ppid=17432 vsize=10993996 memory=140305978360105 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17567/stat : 17567 (java) S 17432 17438 15321 0 -1 1077944384 3 13375 0 1 0 0 5 3 20 0 15 0 221676660 11257851904 33902 33554432000 4194304 4196468 140721562960320 139934061029856 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17569] ppid=17432 vsize=10993996 memory=320425177030861598 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17569/stat : 17569 (java) S 17432 17438 15321 0 -1 1077944384 1 13375 0 1 0 0 5 3 20 0 15 0 221676660 11257851904 33902 33554432000 4194304 4196468 140721562960320 139934730005424 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 10993996 KiB
Current children cumulated memory: 135608 KiB

[startup+3.11041 s]
/proc/loadavg: 1.16 1.05 1.11 6/217 17570
/proc/meminfo: memFree=6194996/32770624 swapFree=67108404/67108860
[pid=17438] ppid=17432 vsize=11006304 memory=229012 CPUtime=5.84 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17432 17438 15321 0 -1 1077944320 40749 13375 2 1 559 17 5 3 20 0 15 0 221676627 11270455296 57253 33554432000 4194304 4196468 140721562960320 140721562942864 139936033849079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 3 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
/proc/17438/statm: 2751576 57253 3491 1 0 2713229 0
[pid=17438/tid=17543] ppid=17432 vsize=11006304 memory=320425177030861598 CPUtime=2.81 cores=0,2,4,6
/proc/17438/task/17543/stat : 17543 (java) R 17432 17438 15321 0 -1 4202560 27445 13375 1 1 264 9 5 3 20 0 15 0 221676654 11270455296 57253 33554432000 4194304 4196468 140721562960320 139936005665392 139935554335077 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17544] ppid=17432 vsize=11006304 memory=197300 CPUtime=0.09 cores=0,2,4,6
/proc/17438/task/17544/stat : 17544 (java) S 17432 17438 15321 0 -1 1077944384 170 13375 0 1 1 0 5 3 20 0 15 0 221676655 11270455296 57253 33554432000 4194304 4196468 140721562960320 139936038091152 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17545] ppid=17432 vsize=11006304 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17438/task/17545/stat : 17545 (java) S 17432 17438 15321 0 -1 1077944384 13 13375 0 1 1 0 5 3 20 0 15 0 221676655 11270455296 57253 33554432000 4194304 4196468 140721562960320 139935892810000 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17546] ppid=17432 vsize=11006304 memory=56 CPUtime=0.09 cores=0,2,4,6
/proc/17438/task/17546/stat : 17546 (java) S 17432 17438 15321 0 -1 1077944384 57 13375 0 1 1 0 5 3 20 0 15 0 221676655 11270455296 57253 33554432000 4194304 4196468 140721562960320 139935891757712 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17548] ppid=17432 vsize=11006304 memory=9258 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17548/stat : 17548 (java) S 17432 17438 15321 0 -1 1077944384 24 13375 0 1 0 0 5 3 20 0 15 0 221676655 11270455296 57253 33554432000 4194304 4196468 140721562960320 139935890704912 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17552] ppid=17432 vsize=11006304 memory=25942 CPUtime=0.09 cores=0,2,4,6

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

/proc/17438/task/17543/stat : 17543 (java) R 17432 17438 15321 0 -1 4202560 92160 13375 1 1 229674 53 5 3 20 0 15 0 221676654 11348049920 258012 33554432000 4194304 4196468 140721562960320 139936005684368 139935572416712 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17544] ppid=17432 vsize=11082080 memory=1032048 CPUtime=11.67 cores=0,2,4,6
/proc/17438/task/17544/stat : 17544 (java) S 17432 17438 15321 0 -1 1077944384 22912 13375 0 1 1107 52 5 3 20 0 15 0 221676655 11348049920 258012 33554432000 4194304 4196468 140721562960320 139936038091152 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17545] ppid=17432 vsize=11082080 memory=1032048 CPUtime=11.67 cores=0,2,4,6
/proc/17438/task/17545/stat : 17545 (java) S 17432 17438 15321 0 -1 1077944384 15247 13375 0 1 1109 50 5 3 20 0 15 0 221676655 11348049920 258012 33554432000 4194304 4196468 140721562960320 139935892810000 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17546] ppid=17432 vsize=11082080 memory=1032048 CPUtime=11.67 cores=0,2,4,6
/proc/17438/task/17546/stat : 17546 (java) S 17432 17438 15321 0 -1 1077944384 16782 13375 0 1 1104 55 5 3 20 0 15 0 221676655 11348049920 258012 33554432000 4194304 4196468 140721562960320 139935891757712 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17548] ppid=17432 vsize=11082080 memory=1032048 CPUtime=11.66 cores=0,2,4,6
/proc/17438/task/17548/stat : 17548 (java) S 17432 17438 15321 0 -1 1077944384 10181 13375 0 1 1108 50 5 3 20 0 15 0 221676655 11348049920 258012 33554432000 4194304 4196468 140721562960320 139935890704912 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17552] ppid=17432 vsize=11082080 memory=7594020407521732201 CPUtime=11.05 cores=0,2,4,6
/proc/17438/task/17552/stat : 17552 (java) S 17432 17438 15321 0 -1 1077944384 15704 13375 0 1 1048 49 5 3 20 0 15 0 221676656 11348049920 258012 33554432000 4194304 4196468 140721562960320 139935272122992 139936033860226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17555] ppid=17432 vsize=11082080 memory=1032048 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17555/stat : 17555 (java) S 17432 17438 15321 0 -1 1077944384 15 13375 0 1 0 0 5 3 20 0 15 0 221676657 11348049920 258012 33554432000 4194304 4196468 140721562960320 139934866335136 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17557] ppid=17432 vsize=11082080 memory=1032048 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17557/stat : 17557 (java) S 17432 17438 15321 0 -1 1077944384 25 13375 0 1 0 0 5 3 20 0 15 0 221676657 11348049920 258012 33554432000 4194304 4196468 140721562960320 139934799222400 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17562] ppid=17432 vsize=11082080 memory=1032048 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17562/stat : 17562 (java) S 17432 17438 15321 0 -1 1077944384 3 13375 0 1 0 0 5 3 20 0 15 0 221676660 11348049920 258012 33554432000 4194304 4196468 140721562960320 139934491826768 139936033867675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17563] ppid=17432 vsize=11082080 memory=60464 CPUtime=7.91 cores=0,2,4,6
/proc/17438/task/17563/stat : 17563 (java) S 17432 17438 15321 0 -1 1077944384 34229 13375 1 1 778 5 5 3 20 0 15 0 221676660 11348049920 258012 33554432000 4194304 4196468 140721562960320 139935271069808 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17564] ppid=17432 vsize=11082080 memory=1032048 CPUtime=7.65 cores=0,2,4,6
/proc/17438/task/17564/stat : 17564 (java) S 17432 17438 15321 0 -1 1077944384 34164 13375 0 1 752 5 5 3 20 0 15 0 221676660 11348049920 258012 33554432000 4194304 4196468 140721562960320 139934732109808 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17565] ppid=17432 vsize=11082080 memory=1032048 CPUtime=3.73 cores=0,2,4,6
/proc/17438/task/17565/stat : 17565 (java) S 17432 17438 15321 0 -1 1077944384 28938 13375 0 1 358 7 5 3 20 0 15 0 221676660 11348049920 258012 33554432000 4194304 4196468 140721562960320 139934731057520 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17567] ppid=17432 vsize=11082080 memory=1032048 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17567/stat : 17567 (java) S 17432 17438 15321 0 -1 1077944384 3 13375 0 1 0 0 5 3 20 0 15 0 221676660 11348049920 258012 33554432000 4194304 4196468 140721562960320 139934061029856 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17569] ppid=17432 vsize=11082080 memory=3684 CPUtime=1.32 cores=0,2,4,6
/proc/17438/task/17569/stat : 17569 (java) S 17432 17438 15321 0 -1 1077944384 1272 13375 0 1 63 61 5 3 20 0 15 0 221676660 11348049920 258012 33554432000 4194304 4196468 140721562960320 139934730005424 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
Current children cumulated CPU time: 2375.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1032048 KiB

[startup+2382.3 s]
/proc/loadavg: 1.34 1.31 1.32 4/216 17664
/proc/meminfo: memFree=4624476/32770624 swapFree=67108404/67108860
[pid=17438] ppid=17432 vsize=11082080 memory=1034096 CPUtime=2436.03 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17432 17438 15321 0 -1 1077944320 275300 13375 2 1 243251 344 5 3 20 0 15 0 221676627 11348049920 258524 33554432000 4194304 4196468 140721562960320 140721562942864 139936033849079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 3 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
/proc/17438/statm: 2770520 258524 3526 1 0 2732173 0
[pid=17438/tid=17543] ppid=17432 vsize=11082080 memory=1032048 CPUtime=2356.7 cores=0,2,4,6
/proc/17438/task/17543/stat : 17543 (java) R 17432 17438 15321 0 -1 4202560 92941 13375 1 1 235608 54 5 3 20 0 15 0 221676654 11348049920 258524 33554432000 4194304 4196468 140721562960320 139936005684496 139935575767251 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17544] ppid=17432 vsize=11082080 memory=1034096 CPUtime=11.98 cores=0,2,4,6
/proc/17438/task/17544/stat : 17544 (java) S 17432 17438 15321 0 -1 1077944384 23004 13375 0 1 1137 53 5 3 20 0 15 0 221676655 11348049920 258524 33554432000 4194304 4196468 140721562960320 139936038091152 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17545] ppid=17432 vsize=11082080 memory=1034096 CPUtime=11.99 cores=0,2,4,6
/proc/17438/task/17545/stat : 17545 (java) S 17432 17438 15321 0 -1 1077944384 15287 13375 0 1 1140 51 5 3 20 0 15 0 221676655 11348049920 258524 33554432000 4194304 4196468 140721562960320 139935892810000 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17546] ppid=17432 vsize=11082080 memory=1034096 CPUtime=11.98 cores=0,2,4,6
/proc/17438/task/17546/stat : 17546 (java) S 17432 17438 15321 0 -1 1077944384 16812 13375 0 1 1133 57 5 3 20 0 15 0 221676655 11348049920 258524 33554432000 4194304 4196468 140721562960320 139935891757712 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17548] ppid=17432 vsize=11082080 memory=1034096 CPUtime=11.98 cores=0,2,4,6
/proc/17438/task/17548/stat : 17548 (java) S 17432 17438 15321 0 -1 1077944384 10270 13375 0 1 1139 51 5 3 20 0 15 0 221676655 11348049920 258524 33554432000 4194304 4196468 140721562960320 139935890704912 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17552] ppid=17432 vsize=11082080 memory=2300 CPUtime=11.33 cores=0,2,4,6
/proc/17438/task/17552/stat : 17552 (java) S 17432 17438 15321 0 -1 1077944384 15888 13375 0 1 1074 51 5 3 20 0 15 0 221676656 11348049920 258524 33554432000 4194304 4196468 140721562960320 139935272122992 139936033860226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17555] ppid=17432 vsize=11082080 memory=60464 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17555/stat : 17555 (java) S 17432 17438 15321 0 -1 1077944384 15 13375 0 1 0 0 5 3 20 0 15 0 221676657 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934866335136 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17557] ppid=17432 vsize=11082080 memory=2148 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17557/stat : 17557 (java) S 17432 17438 15321 0 -1 1077944384 25 13375 0 1 0 0 5 3 20 0 15 0 221676657 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934799222400 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17562] ppid=17432 vsize=11082080 memory=3684 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17562/stat : 17562 (java) S 17432 17438 15321 0 -1 1077944384 3 13375 0 1 0 0 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934491826768 139936033867675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17563] ppid=17432 vsize=11082080 memory=60464 CPUtime=7.91 cores=0,2,4,6
/proc/17438/task/17563/stat : 17563 (java) S 17432 17438 15321 0 -1 1077944384 34231 13375 1 1 778 5 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139935271069808 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17564] ppid=17432 vsize=11082080 memory=1032048 CPUtime=7.65 cores=0,2,4,6
/proc/17438/task/17564/stat : 17564 (java) S 17432 17438 15321 0 -1 1077944384 34166 13375 0 1 752 5 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934732109808 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17565] ppid=17432 vsize=11082080 memory=1032048 CPUtime=3.73 cores=0,2,4,6
/proc/17438/task/17565/stat : 17565 (java) S 17432 17438 15321 0 -1 1077944384 29175 13375 0 1 358 7 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934731057520 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17567] ppid=17432 vsize=11082080 memory=1034096 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17567/stat : 17567 (java) S 17432 17438 15321 0 -1 1077944384 3 13375 0 1 0 0 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934061029856 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17569] ppid=17432 vsize=11082080 memory=3684 CPUtime=1.36 cores=0,2,4,6
/proc/17438/task/17569/stat : 17569 (java) S 17432 17438 15321 0 -1 1077944384 1287 13375 0 1 65 63 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934730005424 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
Current children cumulated CPU time: 2436.03 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1034096 KiB

[startup+2442.3 s]
/proc/loadavg: 1.32 1.30 1.31 4/216 17665
/proc/meminfo: memFree=4629672/32770624 swapFree=67108404/67108860
[pid=17438] ppid=17432 vsize=11082080 memory=1034096 CPUtime=2496.97 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17432 17438 15321 0 -1 1077944320 275954 13375 2 1 249338 351 5 3 20 0 15 0 221676627 11348049920 258524 33554432000 4194304 4196468 140721562960320 140721562942864 139936033849079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 3 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
/proc/17438/statm: 2770520 258524 3526 1 0 2732173 0
[pid=17438/tid=17543] ppid=17432 vsize=11082080 memory=7523107478184158290 CPUtime=2416.04 cores=0,2,4,6
/proc/17438/task/17543/stat : 17543 (java) R 17432 17438 15321 0 -1 4202560 93446 13375 1 1 241542 54 5 3 20 0 15 0 221676654 11348049920 258524 33554432000 4194304 4196468 140721562960320 139936005684432 139935578401502 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17544] ppid=17432 vsize=11082080 memory=1034096 CPUtime=12.31 cores=0,2,4,6
/proc/17438/task/17544/stat : 17544 (java) S 17432 17438 15321 0 -1 1077944384 23005 13375 0 1 1168 55 5 3 20 0 15 0 221676655 11348049920 258524 33554432000 4194304 4196468 140721562960320 139936038091152 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17545] ppid=17432 vsize=11082080 memory=1034096 CPUtime=12.32 cores=0,2,4,6
/proc/17438/task/17545/stat : 17545 (java) S 17432 17438 15321 0 -1 1077944384 15287 13375 0 1 1171 53 5 3 20 0 15 0 221676655 11348049920 258524 33554432000 4194304 4196468 140721562960320 139935892810000 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17546] ppid=17432 vsize=11082080 memory=1034096 CPUtime=12.3 cores=0,2,4,6
/proc/17438/task/17546/stat : 17546 (java) S 17432 17438 15321 0 -1 1077944384 16878 13375 0 1 1163 59 5 3 20 0 15 0 221676655 11348049920 258524 33554432000 4194304 4196468 140721562960320 139935891757712 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17548] ppid=17432 vsize=11082080 memory=1034096 CPUtime=12.31 cores=0,2,4,6
/proc/17438/task/17548/stat : 17548 (java) S 17432 17438 15321 0 -1 1077944384 10307 13375 0 1 1170 53 5 3 20 0 15 0 221676655 11348049920 258524 33554432000 4194304 4196468 140721562960320 139935890704912 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17552] ppid=17432 vsize=11082080 memory=1034096 CPUtime=11.61 cores=0,2,4,6
/proc/17438/task/17552/stat : 17552 (java) S 17432 17438 15321 0 -1 1077944384 15928 13375 0 1 1101 52 5 3 20 0 15 0 221676656 11348049920 258524 33554432000 4194304 4196468 140721562960320 139935272122992 139936033860226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17555] ppid=17432 vsize=11082080 memory=1034096 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17555/stat : 17555 (java) S 17432 17438 15321 0 -1 1077944384 15 13375 0 1 0 0 5 3 20 0 15 0 221676657 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934866335136 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17557] ppid=17432 vsize=11082080 memory=1034096 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17557/stat : 17557 (java) S 17432 17438 15321 0 -1 1077944384 25 13375 0 1 0 0 5 3 20 0 15 0 221676657 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934799222400 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17562] ppid=17432 vsize=11082080 memory=1034096 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17562/stat : 17562 (java) S 17432 17438 15321 0 -1 1077944384 3 13375 0 1 0 0 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934491826768 139936033867675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17563] ppid=17432 vsize=11082080 memory=1034096 CPUtime=7.91 cores=0,2,4,6
/proc/17438/task/17563/stat : 17563 (java) S 17432 17438 15321 0 -1 1077944384 34231 13375 1 1 778 5 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139935271069808 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17564] ppid=17432 vsize=11082080 memory=60464 CPUtime=7.65 cores=0,2,4,6
/proc/17438/task/17564/stat : 17564 (java) S 17432 17438 15321 0 -1 1077944384 34166 13375 0 1 752 5 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934732109808 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17565] ppid=17432 vsize=11082080 memory=1034096 CPUtime=3.73 cores=0,2,4,6
/proc/17438/task/17565/stat : 17565 (java) S 17432 17438 15321 0 -1 1077944384 29175 13375 0 1 358 7 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934731057520 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17567] ppid=17432 vsize=11082080 memory=1034096 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17567/stat : 17567 (java) S 17432 17438 15321 0 -1 1077944384 3 13375 0 1 0 0 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934061029856 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17569] ppid=17432 vsize=11082080 memory=1034096 CPUtime=1.4 cores=0,2,4,6
/proc/17438/task/17569/stat : 17569 (java) S 17432 17438 15321 0 -1 1077944384 1292 13375 0 1 67 65 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934730005424 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
Current children cumulated CPU time: 2496.97 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1034096 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2465 s]*
/proc/loadavg: 1.34 1.31 1.32 3/216 17797
/proc/meminfo: memFree=5544412/32770624 swapFree=67108404/67108860
[pid=17438] ppid=17432 vsize=11082080 memory=1034096 CPUtime=2520.03 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17432 17438 15321 0 -1 1077944320 276608 13375 2 1 251641 354 5 3 20 0 15 0 221676627 11348049920 258524 33554432000 4194304 4196468 140721562960320 140721562942864 139936033849079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 3 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
/proc/17438/statm: 2770520 258524 3526 1 0 2732173 0
[pid=17438/tid=17543] ppid=17432 vsize=11082080 memory=6791534058613427641 CPUtime=2438.51 cores=0,2,4,6
/proc/17438/task/17543/stat : 17543 (java) R 17432 17438 15321 0 -1 4202560 93694 13375 1 1 243789 54 5 3 20 0 15 0 221676654 11348049920 258524 33554432000 4194304 4196468 140721562960320 139936005684384 139935574667455 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17544] ppid=17432 vsize=11082080 memory=4872558044660077418 CPUtime=12.43 cores=0,2,4,6
/proc/17438/task/17544/stat : 17544 (java) S 17432 17438 15321 0 -1 1077944384 23041 13375 0 1 1180 55 5 3 20 0 15 0 221676655 11348049920 258524 33554432000 4194304 4196468 140721562960320 139936038091152 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17545] ppid=17432 vsize=11082080 memory=4700 CPUtime=12.43 cores=0,2,4,6
/proc/17438/task/17545/stat : 17545 (java) S 17432 17438 15321 0 -1 1077944384 15293 13375 0 1 1182 53 5 3 20 0 15 0 221676655 11348049920 258524 33554432000 4194304 4196468 140721562960320 139935892810000 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17546] ppid=17432 vsize=11082080 memory=1404 CPUtime=12.42 cores=0,2,4,6
/proc/17438/task/17546/stat : 17546 (java) S 17432 17438 15321 0 -1 1077944384 16964 13375 0 1 1175 59 5 3 20 0 15 0 221676655 11348049920 258524 33554432000 4194304 4196468 140721562960320 139935891757712 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17548] ppid=17432 vsize=11082080 memory=4000 CPUtime=12.42 cores=0,2,4,6
/proc/17438/task/17548/stat : 17548 (java) S 17432 17438 15321 0 -1 1077944384 10381 13375 0 1 1181 53 5 3 20 0 15 0 221676655 11348049920 258524 33554432000 4194304 4196468 140721562960320 139935890704912 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17552] ppid=17432 vsize=11082080 memory=6791534058613427641 CPUtime=11.71 cores=0,2,4,6
/proc/17438/task/17552/stat : 17552 (java) S 17432 17438 15321 0 -1 1077944384 16116 13375 0 1 1111 52 5 3 20 0 15 0 221676656 11348049920 258524 33554432000 4194304 4196468 140721562960320 139935272122992 139936033860226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17555] ppid=17432 vsize=11082080 memory=15212 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17555/stat : 17555 (java) S 17432 17438 15321 0 -1 1077944384 15 13375 0 1 0 0 5 3 20 0 15 0 221676657 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934866335136 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17557] ppid=17432 vsize=11082080 memory=3684 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17557/stat : 17557 (java) S 17432 17438 15321 0 -1 1077944384 25 13375 0 1 0 0 5 3 20 0 15 0 221676657 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934799222400 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17562] ppid=17432 vsize=11082080 memory=1034096 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17562/stat : 17562 (java) S 17432 17438 15321 0 -1 1077944384 3 13375 0 1 0 0 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934491826768 139936033867675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17563] ppid=17432 vsize=11082080 memory=6791534058613427641 CPUtime=7.91 cores=0,2,4,6
/proc/17438/task/17563/stat : 17563 (java) S 17432 17438 15321 0 -1 1077944384 34233 13375 1 1 778 5 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139935271069808 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17564] ppid=17432 vsize=11082080 memory=4104 CPUtime=7.65 cores=0,2,4,6
/proc/17438/task/17564/stat : 17564 (java) S 17432 17438 15321 0 -1 1077944384 34168 13375 0 1 752 5 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934732109808 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17565] ppid=17432 vsize=11082080 memory=2300 CPUtime=3.73 cores=0,2,4,6
/proc/17438/task/17565/stat : 17565 (java) S 17432 17438 15321 0 -1 1077944384 29177 13375 0 1 358 7 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934731057520 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17567] ppid=17432 vsize=11082080 memory=2300 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17567/stat : 17567 (java) S 17432 17438 15321 0 -1 1077944384 3 13375 0 1 0 0 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934061029856 139936033859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
[pid=17438/tid=17569] ppid=17432 vsize=11082080 memory=1408 CPUtime=1.41 cores=0,2,4,6
/proc/17438/task/17569/stat : 17569 (java) S 17432 17438 15321 0 -1 1077944384 1302 13375 0 1 68 65 5 3 20 0 15 0 221676660 11348049920 258524 33554432000 4194304 4196468 140721562960320 139934730005424 139936033860226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140721562962541 140721562965340 140721562965340 140721562968015 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1034096 KiB

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

[startup+2465.04 s]
# the end of solver process 17438 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.49 s, system=3.58567 s

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

Child status: 143
Real time (s): 2465.04
CPU time (s): 2520.08
CPU user time (s): 2516.49
CPU system time (s): 3.58567
CPU usage (%): 102.233
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1041452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.49
system time used= 3.58567
maximum resident set size= 1042972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291272
page faults= 3
swaps= 0
block input operations= 1264
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 288207
involuntary context switches= 7592


# summary of solver processes directly reported to runsolver:
#   pid: 17438
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2516.49
#   total CPU system time (s): 3.58567

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2597 second user time and 21.522 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 4304137

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