2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT (TO)	107	252.053	228.049

0.97/0.76	c Concrete v3.9.2.1532736233296 running
8.86/3.91	c 21:42:15.414 [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 1055800875, 3 edges, 4 vertices, 1 tuples
8.86/3.94	c 21:42:15.440 [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 231351829, 3 edges, 4 vertices, 1 tuples
8.86/3.94	c 21:42:15.442 [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 1055800875, 3 edges, 4 vertices, 1 tuples
8.86/3.95	c 21:42:15.457 [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 231351829, 3 edges, 4 vertices, 1 tuples
8.86/3.95	c 21:42:15.459 [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 700631078, 3 edges, 4 vertices, 1 tuples
8.86/3.97	c 21:42:15.471 [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 889753223, 3 edges, 4 vertices, 1 tuples
8.86/3.97	c 21:42:15.474 [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 700631078, 3 edges, 4 vertices, 1 tuples
8.86/3.98	c 21:42:15.487 [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 889753223, 3 edges, 4 vertices, 1 tuples
8.86/3.98	c 21:42:15.489 [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.86/4.00	c 21:42:15.501 [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.24/4.01	c 21:42:15.502 [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.24/4.01	c 21:42:15.507 [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.24/4.01	c 21:42:15.508 [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.24/4.01	c 21:42:15.514 [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.24/4.01	c 21:42:15.515 [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.24/4.02	c 21:42:15.521 [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
12.90/5.37	o 83
14.85/5.92	o 84
16.03/6.31	o 85
16.03/6.33	o 86
16.03/6.35	o 87
16.03/6.36	o 88
16.03/6.37	o 89
16.03/6.39	o 90
16.03/6.40	o 91
16.84/6.62	o 92
21.00/9.03	o 93
21.00/9.07	o 94
21.22/9.11	o 95
21.22/9.12	o 96
25.19/12.26	o 97
25.19/12.27	o 98
25.19/12.28	o 99
25.37/12.32	o 100
47.99/31.66	o 101
47.99/31.66	o 102
48.68/32.24	o 103
48.68/32.25	o 104
50.73/33.50	o 105
50.73/33.51	o 106
111.59/89.28	o 107
252.00/228.01	Exception in thread "main" java.util.concurrent.TimeoutException
252.00/228.01		at concrete.MAC.mac(MAC.scala:188)
252.00/228.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.00/228.01		at scala.util.Try$.apply(Try.scala:209)
252.00/228.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.00/228.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.00/228.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.00/228.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.00/228.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.00/228.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.00/228.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.00/228.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.00/228.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.00/228.01		at concrete.MAC.oneRun(MAC.scala:253)
252.00/228.01		at concrete.MAC.nextSolution(MAC.scala:272)
252.00/228.01		at concrete.MAC.nextSolution(MAC.scala:355)
252.00/228.01		at concrete.Solver.hasNext(Solver.scala:166)
252.00/228.01		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.00/228.01		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.00/228.01		at concrete.Solver.foreach(Solver.scala:68)
252.00/228.01		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.00/228.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.00/228.01		at scala.util.Success.map(Try.scala:209)
252.00/228.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.00/228.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.00/228.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.00/228.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.00/228.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.00/228.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.00/228.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.00/228.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.00/228.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.00/228.01		at scala.collection.immutable.List.foreach(List.scala:389)
252.00/228.01		at scala.App.main(App.scala:76)
252.00/228.01		at scala.App.main$(App.scala:74)
252.00/228.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.00/228.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.00/228.02	v <instantiation cost="107">
252.00/228.02	v       <list>
252.00/228.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
252.00/228.02	v       </list>
252.00/228.02	v       <values>
252.00/228.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 1 1 0 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 1 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 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 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 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 1 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 2 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 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 2 1 2 2 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 0 1 0 0 6 10 12 16 19 22 27 35 39 41 44 48 50 54 61 73 82 107
252.00/228.02	v       </values>
252.00/228.02	v     </instantiation>
252.00/228.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 (13382 MiB free)
  memory of node 1: 16384 MiB (14283 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302614-1532893331/watcher-4302614-1532893331 -o /tmp/evaluation-result-4302614-1532893331/solver-4302614-1532893331 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28700 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1717111583 -superng HOME/instance-4302614-1532893331.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB

solver pid=28730, runsolver pid=28724

[startup+0.100057 s]*
/proc/loadavg: 0.64 0.73 0.84 4/201 28816
/proc/meminfo: memFree=28324888/32770624 swapFree=67108744/67108860
[pid=28730] ppid=28724 vsize=165356 memory=4796 CPUtime=0.08 cores=0,2,4,6
/proc/28730/stat : 28730 (java) S 28724 28730 19273 0 -1 1077944320 2292 12893 0 1 0 0 5 3 20 0 2 0 106896304 169324544 1177 33554432000 4194304 4196468 140721250962672 140721250945216 140624877752055 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
/proc/28730/statm: 41339 1177 874 1 0 32937 0
[pid=28730/tid=28836] ppid=28724 vsize=167548 memory=-6517102902069810590 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28836/stat : 28836 (java) R 28724 28730 19273 0 -1 4202560 105 12893 0 1 0 0 5 3 20 0 2 0 106896314 171569152 1199 33554432000 4194304 4196468 140721250962672 140624849587576 140624880032250 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 165356 KiB
Current children cumulated memory: 4796 KiB

[startup+0.210618 s]*
/proc/loadavg: 0.64 0.73 0.84 5/221 28862
/proc/meminfo: memFree=28274396/32770624 swapFree=67108744/67108860
[pid=28730] ppid=28724 vsize=10982744 memory=39496 CPUtime=0.24 cores=0,2,4,6
/proc/28730/stat : 28730 (java) S 28724 28730 19273 0 -1 1077944320 6616 12893 0 1 15 1 5 3 20 0 15 0 106896304 11246329856 9874 33554432000 4194304 4196468 140721250962672 140721250945216 140624877752055 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
/proc/28730/statm: 2745686 9874 2947 1 0 2708109 0
[pid=28730/tid=28836] ppid=28724 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/28730/task/28836/stat : 28836 (java) R 28724 28730 19273 0 -1 4202560 3163 12893 0 1 9 1 5 3 20 0 15 0 106896314 11246329856 9874 33554432000 4194304 4196468 140721250962672 140624849530016 140624859317025 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28841] ppid=28724 vsize=10982744 memory=364 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28841/stat : 28841 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896315 11246329856 9874 33554432000 4194304 4196468 140721250962672 140624881994640 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28842] ppid=28724 vsize=10982744 memory=140210876574628 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28842/stat : 28842 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896315 11246329856 9874 33554432000 4194304 4196468 140721250962672 140624747330320 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28843] ppid=28724 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28843/stat : 28843 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896315 11246329856 9874 33554432000 4194304 4196468 140721250962672 140624416074896 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28844] ppid=28724 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28844/stat : 28844 (java) S 28724 28730 19273 0 -1 1077944384 2 12893 0 1 0 0 5 3 20 0 15 0 106896315 11246329856 9874 33554432000 4194304 4196468 140721250962672 140624415022096 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28846] ppid=28724 vsize=10982744 memory=140210876548736 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28846/stat : 28846 (java) S 28724 28730 19273 0 -1 1077944384 2 12893 0 1 0 0 5 3 20 0 15 0 106896317 11246329856 9874 33554432000 4194304 4196468 140721250962672 140623847487600 140624877763202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28848] ppid=28724 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28848/stat : 28848 (java) S 28724 28730 19273 0 -1 1077944384 13 12893 0 1 0 0 5 3 20 0 15 0 106896317 11246329856 9874 33554432000 4194304 4196468 140721250962672 140623738823456 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28850] ppid=28724 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28850/stat : 28850 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896317 11246329856 9874 33554432000 4194304 4196468 140721250962672 140623537497200 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28855] ppid=28724 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28855/stat : 28855 (java) S 28724 28730 19273 0 -1 1077944384 3 12893 0 1 0 0 5 3 20 0 15 0 106896320 11246329856 9874 33554432000 4194304 4196468 140721250962672 140623230097488 140624877770651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28856] ppid=28724 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28730/task/28856/stat : 28856 (java) S 28724 28730 19273 0 -1 1077944384 363 12893 0 1 1 0 5 3 20 0 15 0 106896320 11246329856 9874 33554432000 4194304 4196468 140721250962672 140623846435440 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28857] ppid=28724 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28857/stat : 28857 (java) S 28724 28730 19273 0 -1 1077944384 246 12893 0 1 0 0 5 3 20 0 15 0 106896320 11246329856 9874 33554432000 4194304 4196468 140721250962672 140623845382640 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28858] ppid=28724 vsize=10982744 memory=140210876548736 CPUtime=0.11 cores=0,2,4,6
/proc/28730/task/28858/stat : 28858 (java) S 28724 28730 19273 0 -1 1077944384 624 12893 0 1 3 0 5 3 20 0 15 0 106896320 11246329856 9874 33554432000 4194304 4196468 140721250962672 140623844330352 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28860] ppid=28724 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28860/stat : 28860 (java) S 28724 28730 19273 0 -1 1077944384 3 12893 0 1 0 0 5 3 20 0 15 0 106896320 11246329856 9874 33554432000 4194304 4196468 140721250962672 140622799301600 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28862] ppid=28724 vsize=10982744 memory=140210876548736 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28862/stat : 28862 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896320 11246329856 9874 33554432000 4194304 4196468 140721250962672 140623843277232 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 39496 KiB

[startup+0.310602 s]*
/proc/loadavg: 0.64 0.73 0.84 3/221 28862
/proc/meminfo: memFree=28252420/32770624 swapFree=67108744/67108860
[pid=28730] ppid=28724 vsize=10983192 memory=53032 CPUtime=0.37 cores=0,2,4,6
/proc/28730/stat : 28730 (java) S 28724 28730 19273 0 -1 1077944320 9831 12893 0 1 27 2 5 3 20 0 15 0 106896304 11246788608 13258 33554432000 4194304 4196468 140721250962672 140721250945216 140624877752055 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
/proc/28730/statm: 2745798 13258 3066 1 0 2708109 0
[pid=28730/tid=28836] ppid=28724 vsize=10983192 memory=7721456961189917235 CPUtime=0.27 cores=0,2,4,6
/proc/28730/task/28836/stat : 28836 (java) R 28724 28730 19273 0 -1 4202560 6354 12893 0 1 18 1 5 3 20 0 15 0 106896314 11246788608 13258 33554432000 4194304 4196468 140721250962672 140624849564064 140624859315584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28841] ppid=28724 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28841/stat : 28841 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896315 11246788608 13258 33554432000 4194304 4196468 140721250962672 140624881994640 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28842] ppid=28724 vsize=10983192 memory=140210876548736 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28842/stat : 28842 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896315 11246788608 13258 33554432000 4194304 4196468 140721250962672 140624747330320 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28843] ppid=28724 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28843/stat : 28843 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896315 11246788608 13258 33554432000 4194304 4196468 140721250962672 140624416074896 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28844] ppid=28724 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28844/stat : 28844 (java) S 28724 28730 19273 0 -1 1077944384 2 12893 0 1 0 0 5 3 20 0 15 0 106896315 11246788608 13258 33554432000 4194304 4196468 140721250962672 140624415022096 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28846] ppid=28724 vsize=10983192 memory=140210876548736 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28846/stat : 28846 (java) S 28724 28730 19273 0 -1 1077944384 2 12893 0 1 0 0 5 3 20 0 15 0 106896317 11246788608 13258 33554432000 4194304 4196468 140721250962672 140623847487600 140624877763202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28848] ppid=28724 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28848/stat : 28848 (java) S 28724 28730 19273 0 -1 1077944384 13 12893 0 1 0 0 5 3 20 0 15 0 106896317 11246788608 13258 33554432000 4194304 4196468 140721250962672 140623738823456 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28850] ppid=28724 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28850/stat : 28850 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896317 11246788608 13258 33554432000 4194304 4196468 140721250962672 140623537497200 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28855] ppid=28724 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28855/stat : 28855 (java) S 28724 28730 19273 0 -1 1077944384 3 12893 0 1 0 0 5 3 20 0 15 0 106896320 11246788608 13258 33554432000 4194304 4196468 140721250962672 140623230097488 140624877770651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28856] ppid=28724 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28730/task/28856/stat : 28856 (java) S 28724 28730 19273 0 -1 1077944384 364 12893 0 1 1 0 5 3 20 0 15 0 106896320 11246788608 13258 33554432000 4194304 4196468 140721250962672 140623846435440 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28857] ppid=28724 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/28730/task/28857/stat : 28857 (java) S 28724 28730 19273 0 -1 1077944384 246 12893 0 1 1 0 5 3 20 0 15 0 106896320 11246788608 13258 33554432000 4194304 4196468 140721250962672 140623845382640 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28858] ppid=28724 vsize=10983192 memory=140210876548736 CPUtime=0.12 cores=0,2,4,6
/proc/28730/task/28858/stat : 28858 (java) S 28724 28730 19273 0 -1 1077944384 647 12893 0 1 4 0 5 3 20 0 15 0 106896320 11246788608 13258 33554432000 4194304 4196468 140721250962672 140623844330352 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28860] ppid=28724 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28860/stat : 28860 (java) S 28724 28730 19273 0 -1 1077944384 3 12893 0 1 0 0 5 3 20 0 15 0 106896320 11246788608 13258 33554432000 4194304 4196468 140721250962672 140622799301600 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28862] ppid=28724 vsize=10983192 memory=140210876548736 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28862/stat : 28862 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896320 11246788608 13258 33554432000 4194304 4196468 140721250962672 140623843277232 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53032 KiB

[startup+0.700709 s]
/proc/loadavg: 0.64 0.73 0.84 3/221 28862
/proc/meminfo: memFree=28224520/32770624 swapFree=67108744/67108860
[pid=28730] ppid=28724 vsize=10983192 memory=88456 CPUtime=0.97 cores=0,2,4,6
/proc/28730/stat : 28730 (java) S 28724 28730 19273 0 -1 1077944320 16688 12893 0 1 86 3 5 3 20 0 15 0 106896304 11246788608 22114 33554432000 4194304 4196468 140721250962672 140721250945216 140624877752055 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
/proc/28730/statm: 2745798 22114 3239 1 0 2708109 0
[pid=28730/tid=28836] ppid=28724 vsize=10983192 memory=140213502345792 CPUtime=0.65 cores=0,2,4,6
/proc/28730/task/28836/stat : 28836 (java) R 28724 28730 19273 0 -1 4202560 12138 12893 0 1 54 3 5 3 20 0 15 0 106896314 11246788608 22114 33554432000 4194304 4196468 140721250962672 140624849573776 140624860938823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28841] ppid=28724 vsize=10983192 memory=140213502345796 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28841/stat : 28841 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896315 11246788608 22114 33554432000 4194304 4196468 140721250962672 140624881994640 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28842] ppid=28724 vsize=10983192 memory=140213502345803 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28842/stat : 28842 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896315 11246788608 22114 33554432000 4194304 4196468 140721250962672 140624747330320 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28843] ppid=28724 vsize=10983192 memory=140213502345809 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28843/stat : 28843 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896315 11246788608 22114 33554432000 4194304 4196468 140721250962672 140624416074896 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28844] ppid=28724 vsize=10983192 memory=140213502345812 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28844/stat : 28844 (java) S 28724 28730 19273 0 -1 1077944384 2 12893 0 1 0 0 5 3 20 0 15 0 106896315 11246788608 22114 33554432000 4194304 4196468 140721250962672 140624415022096 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28846] ppid=28724 vsize=10983192 memory=140213502345814 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28846/stat : 28846 (java) S 28724 28730 19273 0 -1 1077944384 5 12893 0 1 0 0 5 3 20 0 15 0 106896317 11246788608 22114 33554432000 4194304 4196468 140721250962672 140623847487600 140624877763202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28848] ppid=28724 vsize=10983192 memory=140213502345828 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28848/stat : 28848 (java) S 28724 28730 19273 0 -1 1077944384 13 12893 0 1 0 0 5 3 20 0 15 0 106896317 11246788608 22114 33554432000 4194304 4196468 140721250962672 140623738823456 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28850] ppid=28724 vsize=10983192 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28850/stat : 28850 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896317 11246788608 22114 33554432000 4194304 4196468 140721250962672 140623537497200 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28855] ppid=28724 vsize=10983192 memory=7306622352963561024 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28855/stat : 28855 (java) S 28724 28730 19273 0 -1 1077944384 3 12893 0 1 0 0 5 3 20 0 15 0 106896320 11246788608 22114 33554432000 4194304 4196468 140721250962672 140623230097488 140624877770651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28856] ppid=28724 vsize=10983192 memory=7453282923545848404 CPUtime=0.18 cores=0,2,4,6
/proc/28730/task/28856/stat : 28856 (java) S 28724 28730 19273 0 -1 1077944384 942 12893 0 1 10 0 5 3 20 0 15 0 106896320 11246788608 22114 33554432000 4194304 4196468 140721250962672 140623846435440 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28857] ppid=28724 vsize=10983192 memory=7236547281622689387 CPUtime=0.15 cores=0,2,4,6
/proc/28730/task/28857/stat : 28857 (java) S 28724 28730 19273 0 -1 1077944384 646 12893 0 1 7 0 5 3 20 0 15 0 106896320 11246788608 22114 33554432000 4194304 4196468 140721250962672 140623845382640 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28858] ppid=28724 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/28730/task/28858/stat : 28858 (java) S 28724 28730 19273 0 -1 1077944384 738 12893 0 1 13 0 5 3 20 0 15 0 106896320 11246788608 22114 33554432000 4194304 4196468 140721250962672 140623844330352 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28860] ppid=28724 vsize=10983192 memory=18280 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28860/stat : 28860 (java) S 28724 28730 19273 0 -1 1077944384 3 12893 0 1 0 0 5 3 20 0 15 0 106896320 11246788608 22114 33554432000 4194304 4196468 140721250962672 140622799301600 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28862] ppid=28724 vsize=10983192 memory=1236 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28862/stat : 28862 (java) S 28724 28730 19273 0 -1 1077944384 2 12893 0 1 0 0 5 3 20 0 15 0 106896320 11246788608 22114 33554432000 4194304 4196468 140721250962672 140623843277232 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88456 KiB

[startup+1.50193 s]
/proc/loadavg: 0.83 0.77 0.86 6/221 28862
/proc/meminfo: memFree=28116524/32770624 swapFree=67108744/67108860
[pid=28730] ppid=28724 vsize=10996044 memory=175264 CPUtime=2.73 cores=0,2,4,6
/proc/28730/stat : 28730 (java) S 28724 28730 19273 0 -1 1077944320 26494 12893 0 1 257 8 5 3 20 0 15 0 106896304 11259949056 43816 33554432000 4194304 4196468 140721250962672 140721250945216 140624877752055 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
/proc/28730/statm: 2749011 43816 3447 1 0 2710669 0
[pid=28730/tid=28836] ppid=28724 vsize=10996044 memory=30616 CPUtime=1.38 cores=0,2,4,6
/proc/28730/task/28836/stat : 28836 (java) S 28724 28730 19273 0 -1 1077944384 17174 12893 0 1 126 4 5 3 20 0 15 0 106896314 11259949056 43816 33554432000 4194304 4196468 140721250962672 140624849554608 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28841] ppid=28724 vsize=10996044 memory=2396 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28841/stat : 28841 (java) R 28724 28730 19273 0 -1 4202560 16 12893 0 1 0 0 5 3 20 0 15 0 106896315 11259949056 43816 33554432000 4194304 4196468 140721250962672 140624881994640 140624870856708 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28842] ppid=28724 vsize=10996044 memory=1292 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28842/stat : 28842 (java) R 28724 28730 19273 0 -1 1077944384 47 12893 0 1 0 0 5 3 20 0 15 0 106896315 11259949056 43816 33554432000 4194304 4196468 140721250962672 140624747330320 140624877762261 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28843] ppid=28724 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28843/stat : 28843 (java) R 28724 28730 19273 0 -1 4202560 16 12893 0 1 0 0 5 3 20 0 15 0 106896315 11259949056 43816 33554432000 4194304 4196468 140721250962672 140624416074896 140624877763990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28844] ppid=28724 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28844/stat : 28844 (java) R 28724 28730 19273 0 -1 4202560 179 12893 0 1 0 0 5 3 20 0 15 0 106896315 11259949056 43816 33554432000 4194304 4196468 140721250962672 140624415022096 140624862209440 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28846] ppid=28724 vsize=10996044 memory=3184238130826973472 CPUtime=0.09 cores=0,2,4,6
/proc/28730/task/28846/stat : 28846 (java) S 28724 28730 19273 0 -1 1077944384 56 12893 0 1 1 0 5 3 20 0 15 0 106896317 11259949056 43816 33554432000 4194304 4196468 140721250962672 140623847486112 140624877762261 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28848] ppid=28724 vsize=10996044 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28848/stat : 28848 (java) S 28724 28730 19273 0 -1 1077944384 13 12893 0 1 0 0 5 3 20 0 15 0 106896317 11259949056 43816 33554432000 4194304 4196468 140721250962672 140623738823456 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28850] ppid=28724 vsize=10996044 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28850/stat : 28850 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896317 11259949056 43816 33554432000 4194304 4196468 140721250962672 140623537497200 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28855] ppid=28724 vsize=10996044 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28855/stat : 28855 (java) S 28724 28730 19273 0 -1 1077944384 3 12893 0 1 0 0 5 3 20 0 15 0 106896320 11259949056 43816 33554432000 4194304 4196468 140721250962672 140623230097488 140624877770651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28856] ppid=28724 vsize=10996044 memory=280421501763824 CPUtime=0.51 cores=0,2,4,6
/proc/28730/task/28856/stat : 28856 (java) S 28724 28730 19273 0 -1 1077944384 2659 12893 0 1 43 0 5 3 20 0 15 0 106896320 11259949056 43816 33554432000 4194304 4196468 140721250962672 140623846414800 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28857] ppid=28724 vsize=10996044 memory=6944652177228980320 CPUtime=0.52 cores=0,2,4,6
/proc/28730/task/28857/stat : 28857 (java) S 28724 28730 19273 0 -1 1077944384 2407 12893 0 1 44 0 5 3 20 0 15 0 106896320 11259949056 43816 33554432000 4194304 4196468 140721250962672 140623845362192 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28858] ppid=28724 vsize=10996044 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/28730/task/28858/stat : 28858 (java) S 28724 28730 19273 0 -1 1077944384 1728 12893 0 1 39 0 5 3 20 0 15 0 106896320 11259949056 43816 33554432000 4194304 4196468 140721250962672 140623844330352 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28860] ppid=28724 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28860/stat : 28860 (java) S 28724 28730 19273 0 -1 1077944384 3 12893 0 1 0 0 5 3 20 0 15 0 106896320 11259949056 43816 33554432000 4194304 4196468 140721250962672 140622799301600 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28862] ppid=28724 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28862/stat : 28862 (java) S 28724 28730 19273 0 -1 1077944384 2 12893 0 1 0 0 5 3 20 0 15 0 106896320 11259949056 43816 33554432000 4194304 4196468 140721250962672 140623843277232 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 10996044 KiB
Current children cumulated memory: 175264 KiB

[startup+3.11031 s]
/proc/loadavg: 0.83 0.77 0.86 9/221 28862
/proc/meminfo: memFree=27881520/32770624 swapFree=67108744/67108860
[pid=28730] ppid=28724 vsize=11008352 memory=246812 CPUtime=6.47 cores=0,2,4,6
/proc/28730/stat : 28730 (java) S 28724 28730 19273 0 -1 1077944320 43874 12893 0 1 625 14 5 3 20 0 15 0 106896304 11272552448 61703 33554432000 4194304 4196468 140721250962672 140721250945216 140624877752055 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
/proc/28730/statm: 2752088 61703 3496 1 0 2713741 0

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

/proc/28730/task/28836/stat : 28836 (java) R 28724 28730 19273 0 -1 4202560 57061 12893 0 1 10127 30 5 3 20 0 15 0 106896314 11348049920 430778 33554432000 4194304 4196468 140721250962672 140624849587616 140624443827976 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28841] ppid=28724 vsize=11082080 memory=1292 CPUtime=0.5 cores=0,2,4,6
/proc/28730/task/28841/stat : 28841 (java) S 28724 28730 19273 0 -1 1077944384 1395 12893 0 1 30 12 5 3 20 0 15 0 106896315 11348049920 430778 33554432000 4194304 4196468 140721250962672 140624881994640 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28842] ppid=28724 vsize=11082080 memory=1742092 CPUtime=0.5 cores=0,2,4,6
/proc/28730/task/28842/stat : 28842 (java) S 28724 28730 19273 0 -1 1077944384 2145 12893 0 1 30 12 5 3 20 0 15 0 106896315 11348049920 430778 33554432000 4194304 4196468 140721250962672 140624747330320 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28843] ppid=28724 vsize=11082080 memory=1752356 CPUtime=0.51 cores=0,2,4,6
/proc/28730/task/28843/stat : 28843 (java) S 28724 28730 19273 0 -1 1077944384 2632 12893 0 1 31 12 5 3 20 0 15 0 106896315 11348049920 430778 33554432000 4194304 4196468 140721250962672 140624416074896 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28844] ppid=28724 vsize=11082080 memory=1758516 CPUtime=0.5 cores=0,2,4,6
/proc/28730/task/28844/stat : 28844 (java) S 28724 28730 19273 0 -1 1077944384 1602 12893 0 1 29 13 5 3 20 0 15 0 106896315 11348049920 430778 33554432000 4194304 4196468 140721250962672 140624415022096 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28846] ppid=28724 vsize=11082080 memory=1008 CPUtime=0.16 cores=0,2,4,6
/proc/28730/task/28846/stat : 28846 (java) S 28724 28730 19273 0 -1 1077944384 5333 12893 0 1 8 0 5 3 20 0 15 0 106896317 11348049920 430778 33554432000 4194304 4196468 140721250962672 140623847487600 140624877763202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28848] ppid=28724 vsize=11082080 memory=79446830 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28848/stat : 28848 (java) S 28724 28730 19273 0 -1 1077944384 19 12893 0 1 0 0 5 3 20 0 15 0 106896317 11348049920 430778 33554432000 4194304 4196468 140721250962672 140623738823520 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28850] ppid=28724 vsize=11082080 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28850/stat : 28850 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896317 11348049920 430778 33554432000 4194304 4196468 140721250962672 140623537497216 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28855] ppid=28724 vsize=11082080 memory=1319968 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28855/stat : 28855 (java) S 28724 28730 19273 0 -1 1077944384 3 12893 0 1 0 0 5 3 20 0 15 0 106896320 11348049920 430778 33554432000 4194304 4196468 140721250962672 140623230097488 140624877770651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28856] ppid=28724 vsize=11082080 memory=7812455009557692516 CPUtime=8.35 cores=0,2,4,6
/proc/28730/task/28856/stat : 28856 (java) S 28724 28730 19273 0 -1 1077944384 15515 12893 0 1 823 4 5 3 20 0 15 0 106896320 11348049920 430778 33554432000 4194304 4196468 140721250962672 140623846435440 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28857] ppid=28724 vsize=11082080 memory=1292 CPUtime=9.22 cores=0,2,4,6
/proc/28730/task/28857/stat : 28857 (java) S 28724 28730 19273 0 -1 1077944384 19698 12893 0 1 909 5 5 3 20 0 15 0 106896320 11348049920 430778 33554432000 4194304 4196468 140721250962672 140623845382640 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28858] ppid=28724 vsize=11082080 memory=1844 CPUtime=3.93 cores=0,2,4,6
/proc/28730/task/28858/stat : 28858 (java) S 28724 28730 19273 0 -1 1077944384 19417 12893 0 1 378 7 5 3 20 0 15 0 106896320 11348049920 430778 33554432000 4194304 4196468 140721250962672 140623844330352 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28860] ppid=28724 vsize=11082080 memory=4 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28860/stat : 28860 (java) S 28724 28730 19273 0 -1 1077944384 3 12893 0 1 0 0 5 3 20 0 15 0 106896320 11348049920 430778 33554432000 4194304 4196468 140721250962672 140622799301600 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28862] ppid=28724 vsize=11082080 memory=280421502524088 CPUtime=0.12 cores=0,2,4,6
/proc/28730/task/28862/stat : 28862 (java) S 28724 28730 19273 0 -1 1077944384 246 12893 0 1 2 2 5 3 20 0 15 0 106896320 11348049920 430778 33554432000 4194304 4196468 140721250962672 140623843277232 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
Current children cumulated CPU time: 124.81 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1723112 KiB

[startup+162.301 s]
/proc/loadavg: 1.35 1.13 0.99 4/220 28864
/proc/meminfo: memFree=24456208/32770624 swapFree=67108744/67108860
[pid=28730] ppid=28724 vsize=11082080 memory=1522000 CPUtime=185.09 cores=0,2,4,6
/proc/28730/stat : 28730 (java) S 28724 28730 19273 0 -1 1077944320 132969 12893 0 1 18397 104 5 3 20 0 15 0 106896304 11348049920 380500 33554432000 4194304 4196468 140721250962672 140721250945216 140624877752055 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
/proc/28730/statm: 2770520 380500 3528 1 0 2732173 0
[pid=28730/tid=28836] ppid=28724 vsize=11082080 memory=1532260 CPUtime=161.52 cores=0,2,4,6
/proc/28730/task/28836/stat : 28836 (java) R 28724 28730 19273 0 -1 4202560 59573 12893 0 1 16114 30 5 3 20 0 15 0 106896314 11348049920 380500 33554432000 4194304 4196468 140721250962672 140624849587392 140624449869799 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28841] ppid=28724 vsize=11082080 memory=1527132 CPUtime=0.58 cores=0,2,4,6
/proc/28730/task/28841/stat : 28841 (java) S 28724 28730 19273 0 -1 1077944384 2601 12893 0 1 38 12 5 3 20 0 15 0 106896315 11348049920 380500 33554432000 4194304 4196468 140721250962672 140624881994640 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28842] ppid=28724 vsize=11082080 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/28730/task/28842/stat : 28842 (java) S 28724 28730 19273 0 -1 1077944384 2881 12893 0 1 38 12 5 3 20 0 15 0 106896315 11348049920 380500 33554432000 4194304 4196468 140721250962672 140624747330320 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28843] ppid=28724 vsize=11082080 memory=1523028 CPUtime=0.59 cores=0,2,4,6
/proc/28730/task/28843/stat : 28843 (java) S 28724 28730 19273 0 -1 1077944384 2815 12893 0 1 38 13 5 3 20 0 15 0 106896315 11348049920 380500 33554432000 4194304 4196468 140721250962672 140624416074896 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28844] ppid=28724 vsize=11082080 memory=1523028 CPUtime=0.58 cores=0,2,4,6
/proc/28730/task/28844/stat : 28844 (java) S 28724 28730 19273 0 -1 1077944384 1860 12893 0 1 37 13 5 3 20 0 15 0 106896315 11348049920 380500 33554432000 4194304 4196468 140721250962672 140624415022096 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28846] ppid=28724 vsize=11082080 memory=1527132 CPUtime=0.19 cores=0,2,4,6
/proc/28730/task/28846/stat : 28846 (java) S 28724 28730 19273 0 -1 1077944384 5675 12893 0 1 10 1 5 3 20 0 15 0 106896317 11348049920 380500 33554432000 4194304 4196468 140721250962672 140623847487600 140624877763202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28848] ppid=28724 vsize=11082080 memory=1200 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28848/stat : 28848 (java) S 28724 28730 19273 0 -1 1077944384 19 12893 0 1 0 0 5 3 20 0 15 0 106896317 11348049920 380500 33554432000 4194304 4196468 140721250962672 140623738823520 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28850] ppid=28724 vsize=11082080 memory=1550220 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28850/stat : 28850 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896317 11348049920 380500 33554432000 4194304 4196468 140721250962672 140623537497216 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28855] ppid=28724 vsize=11082080 memory=5404 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28855/stat : 28855 (java) S 28724 28730 19273 0 -1 1077944384 3 12893 0 1 0 0 5 3 20 0 15 0 106896320 11348049920 380500 33554432000 4194304 4196468 140721250962672 140623230097488 140624877770651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28856] ppid=28724 vsize=11082080 memory=796 CPUtime=8.35 cores=0,2,4,6
/proc/28730/task/28856/stat : 28856 (java) S 28724 28730 19273 0 -1 1077944384 15819 12893 0 1 823 4 5 3 20 0 15 0 106896320 11348049920 380500 33554432000 4194304 4196468 140721250962672 140623846435440 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28857] ppid=28724 vsize=11082080 memory=1532260 CPUtime=9.22 cores=0,2,4,6
/proc/28730/task/28857/stat : 28857 (java) S 28724 28730 19273 0 -1 1077944384 19700 12893 0 1 909 5 5 3 20 0 15 0 106896320 11348049920 380500 33554432000 4194304 4196468 140721250962672 140623845382640 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28858] ppid=28724 vsize=11082080 memory=1532260 CPUtime=3.93 cores=0,2,4,6
/proc/28730/task/28858/stat : 28858 (java) S 28724 28730 19273 0 -1 1077944384 19547 12893 0 1 378 7 5 3 20 0 15 0 106896320 11348049920 380500 33554432000 4194304 4196468 140721250962672 140623844330352 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28860] ppid=28724 vsize=11082080 memory=1523028 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28860/stat : 28860 (java) S 28724 28730 19273 0 -1 1077944384 3 12893 0 1 0 0 5 3 20 0 15 0 106896320 11348049920 380500 33554432000 4194304 4196468 140721250962672 140622799301600 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28862] ppid=28724 vsize=11082080 memory=15872 CPUtime=0.15 cores=0,2,4,6
/proc/28730/task/28862/stat : 28862 (java) S 28724 28730 19273 0 -1 1077944384 280 12893 0 1 3 4 5 3 20 0 15 0 106896320 11348049920 380500 33554432000 4194304 4196468 140721250962672 140623843277232 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
Current children cumulated CPU time: 185.09 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1522000 KiB

[startup+222.301 s]
/proc/loadavg: 1.15 1.12 0.99 4/219 28865
/proc/meminfo: memFree=24795372/32770624 swapFree=67108744/67108860
[pid=28730] ppid=28724 vsize=11082080 memory=1483184 CPUtime=246.21 cores=0,2,4,6
/proc/28730/stat : 28730 (java) S 28724 28730 19273 0 -1 1077944320 149858 12893 0 1 24504 109 5 3 20 0 15 0 106896304 11348049920 370796 33554432000 4194304 4196468 140721250962672 140721250945216 140624877752055 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
/proc/28730/statm: 2770520 370796 3529 1 0 2732173 0
[pid=28730/tid=28836] ppid=28724 vsize=11082080 memory=1483184 CPUtime=221.24 cores=0,2,4,6
/proc/28730/task/28836/stat : 28836 (java) R 28724 28730 19273 0 -1 4202560 60876 12893 0 1 22086 30 5 3 20 0 15 0 106896314 11348049920 370796 33554432000 4194304 4196468 140721250962672 140624849587552 140624447196729 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28841] ppid=28724 vsize=11082080 memory=6791534058613427641 CPUtime=0.74 cores=0,2,4,6
/proc/28730/task/28841/stat : 28841 (java) S 28724 28730 19273 0 -1 1077944384 2720 12893 0 1 53 13 5 3 20 0 15 0 106896315 11348049920 370796 33554432000 4194304 4196468 140721250962672 140624881994640 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28842] ppid=28724 vsize=11082080 memory=1484952 CPUtime=0.74 cores=0,2,4,6
/proc/28730/task/28842/stat : 28842 (java) S 28724 28730 19273 0 -1 1077944384 4104 12893 0 1 53 13 5 3 20 0 15 0 106896315 11348049920 370796 33554432000 4194304 4196468 140721250962672 140624747330320 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28843] ppid=28724 vsize=11082080 memory=1492732 CPUtime=0.75 cores=0,2,4,6
/proc/28730/task/28843/stat : 28843 (java) S 28724 28730 19273 0 -1 1077944384 2887 12893 0 1 53 14 5 3 20 0 15 0 106896315 11348049920 370796 33554432000 4194304 4196468 140721250962672 140624416074896 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28844] ppid=28724 vsize=11082080 memory=132 CPUtime=0.74 cores=0,2,4,6
/proc/28730/task/28844/stat : 28844 (java) S 28724 28730 19273 0 -1 1077944384 2000 12893 0 1 52 14 5 3 20 0 15 0 106896315 11348049920 370796 33554432000 4194304 4196468 140721250962672 140624415022096 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28846] ppid=28724 vsize=11082080 memory=1483184 CPUtime=0.29 cores=0,2,4,6
/proc/28730/task/28846/stat : 28846 (java) S 28724 28730 19273 0 -1 1077944384 5758 12893 0 1 19 2 5 3 20 0 15 0 106896317 11348049920 370796 33554432000 4194304 4196468 140721250962672 140623847487600 140624877763202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28848] ppid=28724 vsize=11082080 memory=1483184 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28848/stat : 28848 (java) S 28724 28730 19273 0 -1 1077944384 21 12893 0 1 0 0 5 3 20 0 15 0 106896317 11348049920 370796 33554432000 4194304 4196468 140721250962672 140623738823520 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28850] ppid=28724 vsize=11082080 memory=1483184 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28850/stat : 28850 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896317 11348049920 370796 33554432000 4194304 4196468 140721250962672 140623537497216 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28855] ppid=28724 vsize=11082080 memory=4096 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28855/stat : 28855 (java) S 28724 28730 19273 0 -1 1077944384 3 12893 0 1 0 0 5 3 20 0 15 0 106896320 11348049920 370796 33554432000 4194304 4196468 140721250962672 140623230097488 140624877770651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28856] ppid=28724 vsize=11082080 memory=1483184 CPUtime=8.79 cores=0,2,4,6
/proc/28730/task/28856/stat : 28856 (java) S 28724 28730 19273 0 -1 1077944384 21546 12893 0 1 867 4 5 3 20 0 15 0 106896320 11348049920 370796 33554432000 4194304 4196468 140721250962672 140623846435440 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28857] ppid=28724 vsize=11082080 memory=1483184 CPUtime=9.38 cores=0,2,4,6
/proc/28730/task/28857/stat : 28857 (java) S 28724 28730 19273 0 -1 1077944384 24734 12893 0 1 925 5 5 3 20 0 15 0 106896320 11348049920 370796 33554432000 4194304 4196468 140721250962672 140623845382640 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28858] ppid=28724 vsize=11082080 memory=1483184 CPUtime=3.97 cores=0,2,4,6
/proc/28730/task/28858/stat : 28858 (java) S 28724 28730 19273 0 -1 1077944384 22723 12893 0 1 382 7 5 3 20 0 15 0 106896320 11348049920 370796 33554432000 4194304 4196468 140721250962672 140623844330352 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28860] ppid=28724 vsize=11082080 memory=2396 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28860/stat : 28860 (java) S 28724 28730 19273 0 -1 1077944384 3 12893 0 1 0 0 5 3 20 0 15 0 106896320 11348049920 370796 33554432000 4194304 4196468 140721250962672 140622799301600 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28862] ppid=28724 vsize=11082080 memory=1292 CPUtime=0.19 cores=0,2,4,6
/proc/28730/task/28862/stat : 28862 (java) S 28724 28730 19273 0 -1 1077944384 290 12893 0 1 5 6 5 3 20 0 15 0 106896320 11348049920 370796 33554432000 4194304 4196468 140721250962672 140623843277232 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
Current children cumulated CPU time: 246.21 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1483184 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+228.001 s]*
/proc/loadavg: 1.22 1.14 1.00 3/219 28996
/proc/meminfo: memFree=26805572/32770624 swapFree=67108744/67108860
[pid=28730] ppid=28724 vsize=11082080 memory=1483236 CPUtime=252 cores=0,2,4,6
/proc/28730/stat : 28730 (java) S 28724 28730 19273 0 -1 1077944320 151614 12893 0 1 25082 110 5 3 20 0 15 0 106896304 11348049920 370809 33554432000 4194304 4196468 140721250962672 140721250945216 140624877752055 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
/proc/28730/statm: 2770520 370809 3529 1 0 2732173 0
[pid=28730/tid=28836] ppid=28724 vsize=11082080 memory=6791534058613427641 CPUtime=226.89 cores=0,2,4,6
/proc/28730/task/28836/stat : 28836 (java) R 28724 28730 19273 0 -1 4202560 61424 12893 0 1 22651 30 5 3 20 0 15 0 106896314 11348049920 370809 33554432000 4194304 4196468 140721250962672 140624849586608 140624434479574 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28841] ppid=28724 vsize=11082080 memory=4872558044660077418 CPUtime=0.77 cores=0,2,4,6
/proc/28730/task/28841/stat : 28841 (java) S 28724 28730 19273 0 -1 1077944384 2726 12893 0 1 56 13 5 3 20 0 15 0 106896315 11348049920 370809 33554432000 4194304 4196468 140721250962672 140624881994640 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28842] ppid=28724 vsize=11082080 memory=1796 CPUtime=0.76 cores=0,2,4,6
/proc/28730/task/28842/stat : 28842 (java) S 28724 28730 19273 0 -1 1077944384 4173 12893 0 1 55 13 5 3 20 0 15 0 106896315 11348049920 370809 33554432000 4194304 4196468 140721250962672 140624747330320 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28843] ppid=28724 vsize=11082080 memory=916 CPUtime=0.78 cores=0,2,4,6
/proc/28730/task/28843/stat : 28843 (java) S 28724 28730 19273 0 -1 1077944384 2928 12893 0 1 56 14 5 3 20 0 15 0 106896315 11348049920 370809 33554432000 4194304 4196468 140721250962672 140624416074896 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28844] ppid=28724 vsize=11082080 memory=3848 CPUtime=0.76 cores=0,2,4,6
/proc/28730/task/28844/stat : 28844 (java) S 28724 28730 19273 0 -1 1077944384 2642 12893 0 1 54 14 5 3 20 0 15 0 106896315 11348049920 370809 33554432000 4194304 4196468 140721250962672 140624415022096 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28846] ppid=28724 vsize=11082080 memory=4108 CPUtime=0.31 cores=0,2,4,6
/proc/28730/task/28846/stat : 28846 (java) S 28724 28730 19273 0 -1 1077944384 6055 12893 0 1 21 2 5 3 20 0 15 0 106896317 11348049920 370809 33554432000 4194304 4196468 140721250962672 140623847487600 140624877763202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28848] ppid=28724 vsize=11082080 memory=2296 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28848/stat : 28848 (java) S 28724 28730 19273 0 -1 1077944384 21 12893 0 1 0 0 5 3 20 0 15 0 106896317 11348049920 370809 33554432000 4194304 4196468 140721250962672 140623738823520 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28850] ppid=28724 vsize=11082080 memory=2296 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28850/stat : 28850 (java) S 28724 28730 19273 0 -1 1077944384 1 12893 0 1 0 0 5 3 20 0 15 0 106896317 11348049920 370809 33554432000 4194304 4196468 140721250962672 140623537497216 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28855] ppid=28724 vsize=11082080 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28855/stat : 28855 (java) S 28724 28730 19273 0 -1 1077944384 3 12893 0 1 0 0 5 3 20 0 15 0 106896320 11348049920 370809 33554432000 4194304 4196468 140721250962672 140623230097488 140624877770651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28856] ppid=28724 vsize=11082080 memory=1408 CPUtime=8.79 cores=0,2,4,6
/proc/28730/task/28856/stat : 28856 (java) S 28724 28730 19273 0 -1 1077944384 21546 12893 0 1 867 4 5 3 20 0 15 0 106896320 11348049920 370809 33554432000 4194304 4196468 140721250962672 140623846435440 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28857] ppid=28724 vsize=11082080 memory=3140 CPUtime=9.38 cores=0,2,4,6
/proc/28730/task/28857/stat : 28857 (java) S 28724 28730 19273 0 -1 1077944384 24883 12893 0 1 925 5 5 3 20 0 15 0 106896320 11348049920 370809 33554432000 4194304 4196468 140721250962672 140623845382640 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28858] ppid=28724 vsize=11082080 memory=3136 CPUtime=3.97 cores=0,2,4,6
/proc/28730/task/28858/stat : 28858 (java) S 28724 28730 19273 0 -1 1077944384 22723 12893 0 1 382 7 5 3 20 0 15 0 106896320 11348049920 370809 33554432000 4194304 4196468 140721250962672 140623844330352 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28860] ppid=28724 vsize=11082080 memory=2066064 CPUtime=0.08 cores=0,2,4,6
/proc/28730/task/28860/stat : 28860 (java) S 28724 28730 19273 0 -1 1077944384 3 12893 0 1 0 0 5 3 20 0 15 0 106896320 11348049920 370809 33554432000 4194304 4196468 140721250962672 140622799301600 140624877762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
[pid=28730/tid=28862] ppid=28724 vsize=11082080 memory=8098712655690754151 CPUtime=0.19 cores=0,2,4,6
/proc/28730/task/28862/stat : 28862 (java) S 28724 28730 19273 0 -1 1077944384 294 12893 0 1 5 6 5 3 20 0 15 0 106896320 11348049920 370809 33554432000 4194304 4196468 140721250962672 140623843277232 140624877763202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22769664 140721250966120 140721250968929 140721250968929 140721250971599 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1483236 KiB

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

[startup+228.049 s]
# the end of solver process 28730 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.896 s, system=1.15749 s

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

Child status: 143
Real time (s): 228.049
CPU time (s): 252.053
CPU user time (s): 250.896
CPU system time (s): 1.15749
CPU usage (%): 110.526
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1776084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.896
system time used= 1.15749
maximum resident set size= 1785912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168231
page faults= 1
swaps= 0
block input operations= 16
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22823
involuntary context switches= 817


# summary of solver processes directly reported to runsolver:
#   pid: 28730
#   total CPU time (s): 252.053
#   total CPU user time (s): 250.896
#   total CPU system time (s): 1.15749

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41416 second user time and 2.17799 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	SAT
Best value of the objective obtained on this benchmark	109
Best CPU time to get the best result obtained on this benchmark	252.096
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 4302614

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