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)	97	252.15	229.848

0.98/0.74	c Concrete v3.9.2.1532736233296 running
8.23/3.81	c 21:46:19.222 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1786. 'extension(false, x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: MDD 1754451055, 3 edges, 4 vertices, 1 tuples
8.23/3.83	c 21:46:19.247 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1825. 'extension(false, x[1][14]=[0‥1], x[2][14]=[0‥1]) :: init: true :: relation: MDD 1585841343, 3 edges, 4 vertices, 1 tuples
8.23/3.83	c 21:46:19.249 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1832. 'extension(x[13][1]=[0‥1], x[14][1]=[0‥1], false) :: init: true :: relation: MDD 1754451055, 3 edges, 4 vertices, 1 tuples
8.23/3.84	c 21:46:19.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1871. 'extension(x[13][14]=[0‥1], x[14][14]=[0‥1], false) :: init: true :: relation: MDD 1585841343, 3 edges, 4 vertices, 1 tuples
8.23/3.85	c 21:46:19.265 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1876. 'extension(false, x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: MDD 70555476, 3 edges, 4 vertices, 1 tuples
8.23/3.86	c 21:46:19.275 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1915. 'extension(false, x[14][1]=[0‥1], x[14][2]=[0‥1]) :: init: true :: relation: MDD 1459035867, 3 edges, 4 vertices, 1 tuples
8.23/3.86	c 21:46:19.277 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1918. 'extension(x[1][13]=[0‥1], x[1][14]=[0‥1], false) :: init: true :: relation: MDD 70555476, 3 edges, 4 vertices, 1 tuples
8.23/3.87	c 21:46:19.289 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1957. 'extension(x[14][13]=[0‥1], x[14][14]=[0‥1], false) :: init: true :: relation: MDD 1459035867, 3 edges, 4 vertices, 1 tuples
8.23/3.87	c 21:46:19.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1961. 'extension(x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
8.23/3.88	c 21:46:19.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1985. 'extension(x[1][14]=[0‥1], x[2][14]=[0‥1]) :: init: true :: relation: Empty MDD
8.23/3.88	c 21:46:19.303 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1989. 'extension(x[13][1]=[0‥1], x[14][1]=[0‥1]) :: init: true :: relation: Empty MDD
8.57/3.90	c 21:46:19.307 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2013. 'extension(x[13][14]=[0‥1], x[14][14]=[0‥1]) :: init: true :: relation: Empty MDD
8.57/3.90	c 21:46:19.308 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2017. 'extension(x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
8.57/3.90	c 21:46:19.314 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2043. 'extension(x[14][1]=[0‥1], x[14][2]=[0‥1]) :: init: true :: relation: Empty MDD
8.57/3.90	c 21:46:19.315 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2049. 'extension(x[1][13]=[0‥1], x[1][14]=[0‥1]) :: init: true :: relation: Empty MDD
8.57/3.90	c 21:46:19.320 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2075. 'extension(x[14][13]=[0‥1], x[14][14]=[0‥1]) :: init: true :: relation: Empty MDD
13.24/5.47	o 72
13.55/5.53	o 73
13.55/5.55	o 74
14.73/5.92	o 76
14.73/5.96	o 77
14.73/5.98	o 78
14.73/5.99	o 79
15.07/6.02	o 80
15.07/6.03	o 81
15.07/6.04	o 82
15.07/6.06	o 83
15.07/6.07	o 84
15.07/6.08	o 85
19.41/8.12	o 86
19.41/8.14	o 87
21.62/9.66	o 88
21.78/9.76	o 89
21.78/9.78	o 90
22.11/9.99	o 91
22.30/10.02	o 92
26.14/13.12	o 93
34.72/20.94	o 94
34.72/20.96	o 95
41.66/27.08	o 96
72.59/55.42	o 97
252.09/229.80	Exception in thread "main" java.util.concurrent.TimeoutException
252.09/229.80		at concrete.MAC.mac(MAC.scala:188)
252.09/229.80		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.09/229.80		at scala.util.Try$.apply(Try.scala:209)
252.09/229.80		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.09/229.80		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.09/229.80		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.09/229.80		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.09/229.80		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.09/229.80		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.09/229.80		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.09/229.80		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.09/229.80		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.09/229.80		at concrete.MAC.oneRun(MAC.scala:253)
252.09/229.80		at concrete.MAC.nextSolution(MAC.scala:272)
252.09/229.80		at concrete.MAC.nextSolution(MAC.scala:355)
252.09/229.80		at concrete.Solver.hasNext(Solver.scala:166)
252.09/229.80		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.09/229.80		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.09/229.80		at concrete.Solver.foreach(Solver.scala:68)
252.09/229.80		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.09/229.80		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.09/229.80		at scala.util.Success.map(Try.scala:209)
252.09/229.80		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.09/229.80		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.09/229.80		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.09/229.80		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.09/229.80		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.09/229.80		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.09/229.80		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.09/229.80		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.09/229.80		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.09/229.80		at scala.collection.immutable.List.foreach(List.scala:389)
252.09/229.80		at scala.App.main(App.scala:76)
252.09/229.80		at scala.App.main$(App.scala:74)
252.09/229.80		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.09/229.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.09/229.81	v <instantiation cost="97">
252.09/229.81	v       <list>
252.09/229.81	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z
252.09/229.81	v       </list>
252.09/229.81	v       <values>
252.09/229.81	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 0 1 0 1 1 0 2 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 2 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 7 17 19 24 26 27 29 31 33 33 34 36 41 46 54 60 97
252.09/229.81	v       </values>
252.09/229.81	v     </instantiation>
252.09/229.81	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 (13384 MiB free)
  memory of node 1: 16384 MiB (12811 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302613-1532893575/watcher-4302613-1532893575 -o /tmp/evaluation-result-4302613-1532893575/solver-4302613-1532893575 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28700 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=2071548713 -superng HOME/instance-4302613-1532893575.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=29191, runsolver pid=29188

[startup+0.100158 s]*
/proc/loadavg: 1.61 1.23 1.03 3/206 29244
/proc/meminfo: memFree=26786344/32770624 swapFree=67108744/67108860
[pid=29191] ppid=29188 vsize=10005480 memory=16548 CPUtime=0.09 cores=0,2,4,6
/proc/29191/stat : 29191 (java) S 29188 29191 19273 0 -1 1077944320 4316 13250 0 0 1 1 5 2 20 0 6 0 106920695 10245611520 4137 33554432000 4194304 4196468 140729949541360 140729949523904 139930379939575 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
/proc/29191/statm: 2501370 4137 1933 1 0 2489808 0
[pid=29191/tid=29244] ppid=29188 vsize=10005480 memory=4279135704047321741 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29244/stat : 29244 (java) R 29188 29191 19273 0 -1 4202560 2130 13250 0 0 0 0 5 2 20 0 6 0 106920704 10245611520 4203 33554432000 4194304 4196468 140729949541360 139930351776336 139930379961501 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29245] ppid=29188 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29245/stat : 29245 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 6 0 106920705 10245611520 4203 33554432000 4194304 4196468 140729949541360 139930384181520 139930379949781 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29246] ppid=29188 vsize=10005480 memory=139777544644224 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29246/stat : 29246 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 6 0 106920705 10245611520 4203 33554432000 4194304 4196468 140729949541360 139930238900624 139930379949781 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29247] ppid=29188 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29247/stat : 29247 (java) S 29188 29191 19273 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 6 0 106920705 10245611520 4203 33554432000 4194304 4196468 140729949541360 139930237848080 139930379949781 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29248] ppid=29188 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29248/stat : 29248 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 6 0 106920705 10245611520 4203 33554432000 4194304 4196468 140729949541360 139929917057680 139930379949781 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16548 KiB

[startup+0.210529 s]*
/proc/loadavg: 1.61 1.23 1.03 3/219 29257
/proc/meminfo: memFree=26725124/32770624 swapFree=67108744/67108860
[pid=29191] ppid=29188 vsize=10982744 memory=44460 CPUtime=0.25 cores=0,2,4,6
/proc/29191/stat : 29191 (java) S 29188 29191 19273 0 -1 1077944320 7793 13250 0 0 16 2 5 2 20 0 15 0 106920695 11246329856 11115 33554432000 4194304 4196468 140729949541360 140729949523904 139930379939575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
/proc/29191/statm: 2745686 11115 2958 1 0 2708109 0
[pid=29191/tid=29244] ppid=29188 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/29191/task/29244/stat : 29244 (java) R 29188 29191 19273 0 -1 4202560 4413 13250 0 0 10 1 5 2 20 0 15 0 106920704 11246329856 11115 33554432000 4194304 4196468 140729949541360 139930351762952 139930360215296 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29245] ppid=29188 vsize=10982744 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29245/stat : 29245 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 106920705 11246329856 11115 33554432000 4194304 4196468 140729949541360 139930384181520 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29246] ppid=29188 vsize=10982744 memory=139777544670116 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29246/stat : 29246 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 106920705 11246329856 11181 33554432000 4194304 4196468 140729949541360 139930238900624 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29247] ppid=29188 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29247/stat : 29247 (java) S 29188 29191 19273 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 106920705 11246329856 11181 33554432000 4194304 4196468 140729949541360 139930237848080 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29248] ppid=29188 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29248/stat : 29248 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 106920705 11246329856 11181 33554432000 4194304 4196468 140729949541360 139929917057680 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29249] ppid=29188 vsize=10982744 memory=139777544644224 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29249/stat : 29249 (java) S 29188 29191 19273 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 106920706 11246329856 11181 33554432000 4194304 4196468 140729949541360 139929805666800 139930379950722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29250] ppid=29188 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29250/stat : 29250 (java) S 29188 29191 19273 0 -1 1077944384 13 13250 0 0 0 0 5 2 20 0 15 0 106920707 11246329856 11181 33554432000 4194304 4196468 140729949541360 139929162081696 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29251] ppid=29188 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29251/stat : 29251 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 106920707 11246329856 11181 33554432000 4194304 4196468 140729949541360 139928960755184 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29252] ppid=29188 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29252/stat : 29252 (java) S 29188 29191 19273 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 106920710 11246329856 11181 33554432000 4194304 4196468 140729949541360 139928653355728 139930379958171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29253] ppid=29188 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29191/task/29253/stat : 29253 (java) S 29188 29191 19273 0 -1 1077944384 420 13250 0 0 1 0 5 2 20 0 15 0 106920710 11246329856 11181 33554432000 4194304 4196468 140729949541360 139929804613616 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29254] ppid=29188 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29191/task/29254/stat : 29254 (java) S 29188 29191 19273 0 -1 1077944384 193 13250 0 0 1 0 5 2 20 0 15 0 106920710 11246329856 11181 33554432000 4194304 4196468 140729949541360 139929803561072 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29255] ppid=29188 vsize=10982744 memory=139777544644224 CPUtime=0.1 cores=0,2,4,6
/proc/29191/task/29255/stat : 29255 (java) S 29188 29191 19273 0 -1 1077944384 605 13250 0 0 3 0 5 2 20 0 15 0 106920710 11246329856 11181 33554432000 4194304 4196468 140729949541360 139929802508528 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29256] ppid=29188 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29256/stat : 29256 (java) S 29188 29191 19273 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 106920710 11246329856 11181 33554432000 4194304 4196468 140729949541360 139928222558816 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29257] ppid=29188 vsize=10982744 memory=139777544644224 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29257/stat : 29257 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 106920710 11246329856 11247 33554432000 4194304 4196468 140729949541360 139929801456432 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44460 KiB

[startup+0.310554 s]*
/proc/loadavg: 1.61 1.23 1.03 6/219 29257
/proc/meminfo: memFree=26637284/32770624 swapFree=67108744/67108860
[pid=29191] ppid=29188 vsize=10983192 memory=55964 CPUtime=0.37 cores=0,2,4,6
/proc/29191/stat : 29191 (java) S 29188 29191 19273 0 -1 1077944320 10543 13250 0 0 27 3 5 2 20 0 15 0 106920695 11246788608 13991 33554432000 4194304 4196468 140729949541360 140729949523904 139930379939575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
/proc/29191/statm: 2745798 13991 3077 1 0 2708109 0
[pid=29191/tid=29244] ppid=29188 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/29191/task/29244/stat : 29244 (java) R 29188 29191 19273 0 -1 4202560 7094 13250 0 0 19 2 5 2 20 0 15 0 106920704 11246788608 13991 33554432000 4194304 4196468 140729949541360 139930351751584 139930379953439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29245] ppid=29188 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29245/stat : 29245 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 106920705 11246788608 13991 33554432000 4194304 4196468 140729949541360 139930384181520 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29246] ppid=29188 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29246/stat : 29246 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 106920705 11246788608 13991 33554432000 4194304 4196468 140729949541360 139930238900624 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29247] ppid=29188 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29247/stat : 29247 (java) S 29188 29191 19273 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 106920705 11246788608 13991 33554432000 4194304 4196468 140729949541360 139930237848080 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29248] ppid=29188 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29248/stat : 29248 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 106920705 11246788608 13991 33554432000 4194304 4196468 140729949541360 139929917057680 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29249] ppid=29188 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29249/stat : 29249 (java) S 29188 29191 19273 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 106920706 11246788608 13991 33554432000 4194304 4196468 140729949541360 139929805666800 139930379950722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29250] ppid=29188 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29250/stat : 29250 (java) S 29188 29191 19273 0 -1 1077944384 13 13250 0 0 0 0 5 2 20 0 15 0 106920707 11246788608 13991 33554432000 4194304 4196468 140729949541360 139929162081696 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29251] ppid=29188 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29251/stat : 29251 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 106920707 11246788608 13991 33554432000 4194304 4196468 140729949541360 139928960755184 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29252] ppid=29188 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29252/stat : 29252 (java) S 29188 29191 19273 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 106920710 11246788608 13991 33554432000 4194304 4196468 140729949541360 139928653355728 139930379958171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29253] ppid=29188 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29191/task/29253/stat : 29253 (java) S 29188 29191 19273 0 -1 1077944384 423 13250 0 0 1 0 5 2 20 0 15 0 106920710 11246788608 13991 33554432000 4194304 4196468 140729949541360 139929804613616 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29254] ppid=29188 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29191/task/29254/stat : 29254 (java) S 29188 29191 19273 0 -1 1077944384 195 13250 0 0 1 0 5 2 20 0 15 0 106920710 11246788608 13991 33554432000 4194304 4196468 140729949541360 139929803561072 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29255] ppid=29188 vsize=10983192 memory=139777544644224 CPUtime=0.11 cores=0,2,4,6
/proc/29191/task/29255/stat : 29255 (java) S 29188 29191 19273 0 -1 1077944384 611 13250 0 0 4 0 5 2 20 0 15 0 106920710 11246788608 13991 33554432000 4194304 4196468 140729949541360 139929802508528 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29256] ppid=29188 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29256/stat : 29256 (java) S 29188 29191 19273 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 106920710 11246788608 13991 33554432000 4194304 4196468 140729949541360 139928222558816 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29257] ppid=29188 vsize=10983192 memory=139777544644224 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29257/stat : 29257 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 106920710 11246788608 13991 33554432000 4194304 4196468 140729949541360 139929801456432 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55964 KiB

[startup+0.700809 s]
/proc/loadavg: 1.61 1.23 1.03 4/219 29257
/proc/meminfo: memFree=26600444/32770624 swapFree=67108744/67108860
[pid=29191] ppid=29188 vsize=10983192 memory=88560 CPUtime=0.98 cores=0,2,4,6
/proc/29191/stat : 29191 (java) S 29188 29191 19273 0 -1 1077944320 16757 13250 0 0 86 5 5 2 20 0 15 0 106920695 11246788608 22140 33554432000 4194304 4196468 140729949541360 140729949523904 139930379939575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
/proc/29191/statm: 2745798 22140 3241 1 0 2708109 0
[pid=29191/tid=29244] ppid=29188 vsize=10983192 memory=279554858181056 CPUtime=0.65 cores=0,2,4,6
/proc/29191/task/29244/stat : 29244 (java) S 29188 29191 19273 0 -1 1077944384 12219 13250 0 0 55 3 5 2 20 0 15 0 106920704 11246788608 22140 33554432000 4194304 4196468 140729949541360 139930351760400 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29245] ppid=29188 vsize=10983192 memory=279554858181248 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29245/stat : 29245 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 106920705 11246788608 22140 33554432000 4194304 4196468 140729949541360 139930384181520 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29246] ppid=29188 vsize=10983192 memory=279554857977872 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29246/stat : 29246 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 106920705 11246788608 22140 33554432000 4194304 4196468 140729949541360 139930238900624 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29247] ppid=29188 vsize=10983192 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29247/stat : 29247 (java) S 29188 29191 19273 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 106920705 11246788608 22140 33554432000 4194304 4196468 140729949541360 139930237848080 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29248] ppid=29188 vsize=10983192 memory=139777429090800 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29248/stat : 29248 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 106920705 11246788608 22140 33554432000 4194304 4196468 140729949541360 139929917057680 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29249] ppid=29188 vsize=10983192 memory=139779710648918 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29249/stat : 29249 (java) S 29188 29191 19273 0 -1 1077944384 5 13250 0 0 0 0 5 2 20 0 15 0 106920706 11246788608 22140 33554432000 4194304 4196468 140729949541360 139929805666800 139930379950722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29250] ppid=29188 vsize=10983192 memory=1200 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29250/stat : 29250 (java) S 29188 29191 19273 0 -1 1077944384 13 13250 0 0 0 0 5 2 20 0 15 0 106920707 11246788608 22140 33554432000 4194304 4196468 140729949541360 139929162081696 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29251] ppid=29188 vsize=10983192 memory=7014751519616751185 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29251/stat : 29251 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 106920707 11246788608 22140 33554432000 4194304 4196468 140729949541360 139928960755184 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29252] ppid=29188 vsize=10983192 memory=7811891939479414610 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29252/stat : 29252 (java) S 29188 29191 19273 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 106920710 11246788608 22140 33554432000 4194304 4196468 140729949541360 139928653355728 139930379958171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29253] ppid=29188 vsize=10983192 memory=6293050847276651881 CPUtime=0.14 cores=0,2,4,6
/proc/29191/task/29253/stat : 29253 (java) S 29188 29191 19273 0 -1 1077944384 824 13250 0 0 7 0 5 2 20 0 15 0 106920710 11246788608 22140 33554432000 4194304 4196468 140729949541360 139929804613616 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29254] ppid=29188 vsize=10983192 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/29191/task/29254/stat : 29254 (java) S 29188 29191 19273 0 -1 1077944384 797 13250 0 0 9 0 5 2 20 0 15 0 106920710 11246788608 22140 33554432000 4194304 4196468 140729949541360 139929803561072 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29255] ppid=29188 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/29191/task/29255/stat : 29255 (java) S 29188 29191 19273 0 -1 1077944384 694 13250 0 0 13 0 5 2 20 0 15 0 106920710 11246788608 22140 33554432000 4194304 4196468 140729949541360 139929802508528 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29256] ppid=29188 vsize=10983192 memory=4096 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29256/stat : 29256 (java) S 29188 29191 19273 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 106920710 11246788608 22140 33554432000 4194304 4196468 140729949541360 139928222558816 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29257] ppid=29188 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29257/stat : 29257 (java) S 29188 29191 19273 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 106920710 11246788608 22140 33554432000 4194304 4196468 140729949541360 139929801456432 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88560 KiB

[startup+1.50537 s]
/proc/loadavg: 1.61 1.23 1.03 3/219 29257
/proc/meminfo: memFree=26548288/32770624 swapFree=67108744/67108860
[pid=29191] ppid=29188 vsize=10998092 memory=186392 CPUtime=2.77 cores=0,2,4,6
/proc/29191/stat : 29191 (java) S 29188 29191 19273 0 -1 1077944320 25628 13250 0 0 260 10 5 2 20 0 15 0 106920695 11262046208 46598 33554432000 4194304 4196468 140729949541360 140729949523904 139930379939575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
/proc/29191/statm: 2749523 46598 3471 1 0 2711181 0
[pid=29191/tid=29244] ppid=29188 vsize=10998092 memory=13884 CPUtime=1.42 cores=0,2,4,6
/proc/29191/task/29244/stat : 29244 (java) R 29188 29191 19273 0 -1 4202560 17269 13250 0 0 129 6 5 2 20 0 15 0 106920704 11262046208 46598 33554432000 4194304 4196468 140729949541360 139930351754592 139930365308662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29245] ppid=29188 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/29191/task/29245/stat : 29245 (java) S 29188 29191 19273 0 -1 1077944384 20 13250 0 0 1 0 5 2 20 0 15 0 106920705 11262046208 46598 33554432000 4194304 4196468 140729949541360 139930384181520 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29246] ppid=29188 vsize=10998092 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/29191/task/29246/stat : 29246 (java) S 29188 29191 19273 0 -1 1077944384 28 13250 0 0 1 0 5 2 20 0 15 0 106920705 11262046208 46598 33554432000 4194304 4196468 140729949541360 139930238900624 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29247] ppid=29188 vsize=10998092 memory=2660 CPUtime=0.08 cores=0,2,4,6
/proc/29191/task/29247/stat : 29247 (java) S 29188 29191 19273 0 -1 1077944384 185 13250 0 0 1 0 5 2 20 0 15 0 106920705 11262046208 46598 33554432000 4194304 4196468 140729949541360 139930237848080 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29248] ppid=29188 vsize=10998092 memory=88560 CPUtime=0.08 cores=0,2,4,6
/proc/29191/task/29248/stat : 29248 (java) S 29188 29191 19273 0 -1 1077944384 49 13250 0 0 1 0 5 2 20 0 15 0 106920705 11262046208 46598 33554432000 4194304 4196468 140729949541360 139929917057680 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29249] ppid=29188 vsize=10998092 memory=279554858181056 CPUtime=0.08 cores=0,2,4,6
/proc/29191/task/29249/stat : 29249 (java) S 29188 29191 19273 0 -1 1077944384 44 13250 0 0 1 0 5 2 20 0 15 0 106920706 11262046208 46598 33554432000 4194304 4196468 140729949541360 139929805666800 139930379950722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29250] ppid=29188 vsize=10998092 memory=279554858181248 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29250/stat : 29250 (java) S 29188 29191 19273 0 -1 1077944384 13 13250 0 0 0 0 5 2 20 0 15 0 106920707 11262046208 46598 33554432000 4194304 4196468 140729949541360 139929162081760 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29251] ppid=29188 vsize=10998092 memory=279554857977504 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29251/stat : 29251 (java) S 29188 29191 19273 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 106920707 11262046208 46598 33554432000 4194304 4196468 140729949541360 139928960755200 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29252] ppid=29188 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29252/stat : 29252 (java) S 29188 29191 19273 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 106920710 11262046208 46598 33554432000 4194304 4196468 140729949541360 139928653355728 139930379958171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29253] ppid=29188 vsize=10998092 memory=4638778398332698720 CPUtime=0.5 cores=0,2,4,6
/proc/29191/task/29253/stat : 29253 (java) S 29188 29191 19273 0 -1 1077944384 2486 13250 0 0 43 0 5 2 20 0 15 0 106920710 11262046208 46598 33554432000 4194304 4196468 140729949541360 139929804613616 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29254] ppid=29188 vsize=10998092 memory=279554858457984 CPUtime=0.46 cores=0,2,4,6
/proc/29191/task/29254/stat : 29254 (java) S 29188 29191 19273 0 -1 1077944384 1703 13250 0 0 39 0 5 2 20 0 15 0 106920710 11262046208 46598 33554432000 4194304 4196468 140729949541360 139929803561072 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29255] ppid=29188 vsize=10998092 memory=-7522837583129502606 CPUtime=0.47 cores=0,2,4,6
/proc/29191/task/29255/stat : 29255 (java) S 29188 29191 19273 0 -1 1077944384 1629 13250 0 0 39 1 5 2 20 0 15 0 106920710 11262046208 46598 33554432000 4194304 4196468 140729949541360 139929802508528 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29256] ppid=29188 vsize=10998092 memory=6944656592452807323 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29256/stat : 29256 (java) S 29188 29191 19273 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 106920710 11262046208 46598 33554432000 4194304 4196468 140729949541360 139928222558816 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29257] ppid=29188 vsize=10998092 memory=6944656591801719708 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29257/stat : 29257 (java) S 29188 29191 19273 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 106920710 11262046208 46598 33554432000 4194304 4196468 140729949541360 139929801456432 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 10998092 KiB

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

/proc/29191/task/29244/stat : 29244 (java) R 29188 29191 19273 0 -1 4202560 56290 13250 0 0 10144 25 5 2 20 0 15 0 106920704 11348049920 328658 33554432000 4194304 4196468 140729949541360 139930351774680 139929937075764 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29245] ppid=29188 vsize=11082080 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/29191/task/29245/stat : 29245 (java) S 29188 29191 19273 0 -1 1077944384 1905 13250 0 0 25 7 5 2 20 0 15 0 106920705 11348049920 328658 33554432000 4194304 4196468 140729949541360 139930384181520 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29246] ppid=29188 vsize=11082080 memory=1350544 CPUtime=0.4 cores=0,2,4,6
/proc/29191/task/29246/stat : 29246 (java) S 29188 29191 19273 0 -1 1077944384 1789 13250 0 0 25 8 5 2 20 0 15 0 106920705 11348049920 328658 33554432000 4194304 4196468 140729949541360 139930238900624 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29247] ppid=29188 vsize=11082080 memory=1314632 CPUtime=0.39 cores=0,2,4,6
/proc/29191/task/29247/stat : 29247 (java) S 29188 29191 19273 0 -1 1077944384 1289 13250 0 0 24 8 5 2 20 0 15 0 106920705 11348049920 328658 33554432000 4194304 4196468 140729949541360 139930237848080 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29248] ppid=29188 vsize=11082080 memory=1327972 CPUtime=0.39 cores=0,2,4,6
/proc/29191/task/29248/stat : 29248 (java) S 29188 29191 19273 0 -1 1077944384 2635 13250 0 0 24 8 5 2 20 0 15 0 106920705 11348049920 328658 33554432000 4194304 4196468 140729949541360 139929917057680 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29249] ppid=29188 vsize=11082080 memory=1325408 CPUtime=0.15 cores=0,2,4,6
/proc/29191/task/29249/stat : 29249 (java) S 29188 29191 19273 0 -1 1077944384 7375 13250 0 0 7 1 5 2 20 0 15 0 106920706 11348049920 328658 33554432000 4194304 4196468 140729949541360 139929805666800 139930379950722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29250] ppid=29188 vsize=11082080 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29250/stat : 29250 (java) S 29188 29191 19273 0 -1 1077944384 14 13250 0 0 0 0 5 2 20 0 15 0 106920707 11348049920 328658 33554432000 4194304 4196468 140729949541360 139929162081824 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29251] ppid=29188 vsize=11082080 memory=279554858929552 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29251/stat : 29251 (java) S 29188 29191 19273 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 106920707 11348049920 328658 33554432000 4194304 4196468 140729949541360 139928960755200 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29252] ppid=29188 vsize=11082080 memory=7800344859672537426 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29252/stat : 29252 (java) S 29188 29191 19273 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 106920710 11348049920 328658 33554432000 4194304 4196468 140729949541360 139928653355728 139930379958171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29253] ppid=29188 vsize=11082080 memory=1108856 CPUtime=7.7 cores=0,2,4,6
/proc/29191/task/29253/stat : 29253 (java) S 29188 29191 19273 0 -1 1077944384 18277 13250 0 0 759 4 5 2 20 0 15 0 106920710 11348049920 328658 33554432000 4194304 4196468 140729949541360 139929804613616 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29254] ppid=29188 vsize=11082080 memory=0 CPUtime=7.9 cores=0,2,4,6
/proc/29191/task/29254/stat : 29254 (java) S 29188 29191 19273 0 -1 1077944384 20771 13250 0 0 779 4 5 2 20 0 15 0 106920710 11348049920 328658 33554432000 4194304 4196468 140729949541360 139929803561072 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29255] ppid=29188 vsize=11082080 memory=0 CPUtime=3.63 cores=0,2,4,6
/proc/29191/task/29255/stat : 29255 (java) S 29188 29191 19273 0 -1 1077944384 18792 13250 0 0 349 7 5 2 20 0 15 0 106920710 11348049920 328658 33554432000 4194304 4196468 140729949541360 139929802508528 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29256] ppid=29188 vsize=11082080 memory=4096 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29256/stat : 29256 (java) S 29188 29191 19273 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 106920710 11348049920 328658 33554432000 4194304 4196468 140729949541360 139928222558816 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29257] ppid=29188 vsize=11082080 memory=30616 CPUtime=0.11 cores=0,2,4,6
/proc/29191/task/29257/stat : 29257 (java) S 29188 29191 19273 0 -1 1077944384 390 13250 0 0 2 2 5 2 20 0 15 0 106920710 11348049920 328658 33554432000 4194304 4196468 140729949541360 139929801456432 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
Current children cumulated CPU time: 122.31 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1314632 KiB

[startup+162.301 s]
/proc/loadavg: 1.52 1.35 1.11 3/219 29260
/proc/meminfo: memFree=24318060/32770624 swapFree=67108744/67108860
[pid=29191] ppid=29188 vsize=11082080 memory=1180220 CPUtime=183.82 cores=0,2,4,6
/proc/29191/stat : 29191 (java) S 29188 29191 19273 0 -1 1077944320 144967 13250 0 0 18293 82 5 2 20 0 15 0 106920695 11348049920 295055 33554432000 4194304 4196468 140729949541360 140729949523904 139930379939575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
/proc/29191/statm: 2770520 295055 3530 1 0 2732173 0
[pid=29191/tid=29244] ppid=29188 vsize=11082080 memory=1195608 CPUtime=161.62 cores=0,2,4,6
/proc/29191/task/29244/stat : 29244 (java) R 29188 29191 19273 0 -1 4202560 57968 13250 0 0 16130 25 5 2 20 0 15 0 106920704 11348049920 295055 33554432000 4194304 4196468 140729949541360 139930351774064 139929941895108 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29245] ppid=29188 vsize=11082080 memory=1186888 CPUtime=0.46 cores=0,2,4,6
/proc/29191/task/29245/stat : 29245 (java) S 29188 29191 19273 0 -1 1077944384 1956 13250 0 0 32 7 5 2 20 0 15 0 106920705 11348049920 295055 33554432000 4194304 4196468 140729949541360 139930384181520 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29246] ppid=29188 vsize=11082080 memory=1183812 CPUtime=0.47 cores=0,2,4,6
/proc/29191/task/29246/stat : 29246 (java) S 29188 29191 19273 0 -1 1077944384 3476 13250 0 0 32 8 5 2 20 0 15 0 106920705 11348049920 295055 33554432000 4194304 4196468 140729949541360 139930238900624 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29247] ppid=29188 vsize=11082080 memory=1180220 CPUtime=0.46 cores=0,2,4,6
/proc/29191/task/29247/stat : 29247 (java) S 29188 29191 19273 0 -1 1077944384 1325 13250 0 0 31 8 5 2 20 0 15 0 106920705 11348049920 295055 33554432000 4194304 4196468 140729949541360 139930237848080 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29248] ppid=29188 vsize=11082080 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/29191/task/29248/stat : 29248 (java) S 29188 29191 19273 0 -1 1077944384 2820 13250 0 0 32 8 5 2 20 0 15 0 106920705 11348049920 295055 33554432000 4194304 4196468 140729949541360 139929917057680 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29249] ppid=29188 vsize=11082080 memory=1382868 CPUtime=0.2 cores=0,2,4,6
/proc/29191/task/29249/stat : 29249 (java) S 29188 29191 19273 0 -1 1077944384 7653 13250 0 0 11 2 5 2 20 0 15 0 106920706 11348049920 295055 33554432000 4194304 4196468 140729949541360 139929805666800 139930379950722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29250] ppid=29188 vsize=11082080 memory=1184836 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29250/stat : 29250 (java) S 29188 29191 19273 0 -1 1077944384 14 13250 0 0 0 0 5 2 20 0 15 0 106920707 11348049920 295055 33554432000 4194304 4196468 140729949541360 139929162081824 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29251] ppid=29188 vsize=11082080 memory=1185864 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29251/stat : 29251 (java) S 29188 29191 19273 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 106920707 11348049920 295055 33554432000 4194304 4196468 140729949541360 139928960755200 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29252] ppid=29188 vsize=11082080 memory=4096 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29252/stat : 29252 (java) S 29188 29191 19273 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 106920710 11348049920 295055 33554432000 4194304 4196468 140729949541360 139928653355728 139930379958171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29253] ppid=29188 vsize=11082080 memory=30616 CPUtime=8.2 cores=0,2,4,6
/proc/29191/task/29253/stat : 29253 (java) S 29188 29191 19273 0 -1 1077944384 21074 13250 0 0 808 5 5 2 20 0 15 0 106920710 11348049920 295055 33554432000 4194304 4196468 140729949541360 139929804613616 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29254] ppid=29188 vsize=11082080 memory=1186888 CPUtime=8.38 cores=0,2,4,6
/proc/29191/task/29254/stat : 29254 (java) S 29188 29191 19273 0 -1 1077944384 23862 13250 0 0 827 4 5 2 20 0 15 0 106920710 11348049920 295055 33554432000 4194304 4196468 140729949541360 139929803561072 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29255] ppid=29188 vsize=11082080 memory=1447376 CPUtime=3.91 cores=0,2,4,6
/proc/29191/task/29255/stat : 29255 (java) S 29188 29191 19273 0 -1 1077944384 22197 13250 0 0 376 8 5 2 20 0 15 0 106920710 11348049920 295055 33554432000 4194304 4196468 140729949541360 139929802508528 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29256] ppid=29188 vsize=11082080 memory=1183812 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29256/stat : 29256 (java) S 29188 29191 19273 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 106920710 11348049920 295055 33554432000 4194304 4196468 140729949541360 139928222558816 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29257] ppid=29188 vsize=11082080 memory=1184324 CPUtime=0.14 cores=0,2,4,6
/proc/29191/task/29257/stat : 29257 (java) S 29188 29191 19273 0 -1 1077944384 422 13250 0 0 4 3 5 2 20 0 15 0 106920710 11348049920 295055 33554432000 4194304 4196468 140729949541360 139929801456432 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
Current children cumulated CPU time: 183.82 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1180220 KiB

[startup+222.301 s]
/proc/loadavg: 1.79 1.44 1.15 3/219 29393
/proc/meminfo: memFree=26292784/32770624 swapFree=67108744/67108860
[pid=29191] ppid=29188 vsize=11082080 memory=1160348 CPUtime=244.48 cores=0,2,4,6
/proc/29191/stat : 29191 (java) S 29188 29191 19273 0 -1 1077944320 153236 13250 0 0 24353 88 5 2 20 0 15 0 106920695 11348049920 290087 33554432000 4194304 4196468 140729949541360 140729949523904 139930379939575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
/proc/29191/statm: 2770520 290087 3530 1 0 2732173 0
[pid=29191/tid=29244] ppid=29188 vsize=11082080 memory=1168472 CPUtime=221.21 cores=0,2,4,6
/proc/29191/task/29244/stat : 29244 (java) R 29188 29191 19273 0 -1 4202560 59663 13250 0 0 22087 27 5 2 20 0 15 0 106920704 11348049920 290087 33554432000 4194304 4196468 140729949541360 139930351773792 139929937093500 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29245] ppid=29188 vsize=11082080 memory=1160860 CPUtime=0.68 cores=0,2,4,6
/proc/29191/task/29245/stat : 29245 (java) S 29188 29191 19273 0 -1 1077944384 2686 13250 0 0 53 8 5 2 20 0 15 0 106920705 11348049920 290087 33554432000 4194304 4196468 140729949541360 139930384181520 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29246] ppid=29188 vsize=11082080 memory=1160348 CPUtime=0.7 cores=0,2,4,6
/proc/29191/task/29246/stat : 29246 (java) S 29188 29191 19273 0 -1 1077944384 4694 13250 0 0 54 9 5 2 20 0 15 0 106920705 11348049920 290087 33554432000 4194304 4196468 140729949541360 139930238900624 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29247] ppid=29188 vsize=11082080 memory=1160348 CPUtime=0.69 cores=0,2,4,6
/proc/29191/task/29247/stat : 29247 (java) S 29188 29191 19273 0 -1 1077944384 1377 13250 0 0 52 10 5 2 20 0 15 0 106920705 11348049920 290087 33554432000 4194304 4196468 140729949541360 139930237848080 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29248] ppid=29188 vsize=11082080 memory=56 CPUtime=0.69 cores=0,2,4,6
/proc/29191/task/29248/stat : 29248 (java) S 29188 29191 19273 0 -1 1077944384 3012 13250 0 0 53 9 5 2 20 0 15 0 106920705 11348049920 290087 33554432000 4194304 4196468 140729949541360 139929917057680 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29249] ppid=29188 vsize=11082080 memory=1160348 CPUtime=0.35 cores=0,2,4,6
/proc/29191/task/29249/stat : 29249 (java) S 29188 29191 19273 0 -1 1077944384 8017 13250 0 0 25 3 5 2 20 0 15 0 106920706 11348049920 290087 33554432000 4194304 4196468 140729949541360 139929805666800 139930379950722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29250] ppid=29188 vsize=11082080 memory=1382868 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29250/stat : 29250 (java) S 29188 29191 19273 0 -1 1077944384 14 13250 0 0 0 0 5 2 20 0 15 0 106920707 11348049920 290087 33554432000 4194304 4196468 140729949541360 139929162081824 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29251] ppid=29188 vsize=11082080 memory=7584172172082901604 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29251/stat : 29251 (java) S 29188 29191 19273 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 106920707 11348049920 290087 33554432000 4194304 4196468 140729949541360 139928960755200 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29252] ppid=29188 vsize=11082080 memory=1161888 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29252/stat : 29252 (java) S 29188 29191 19273 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 106920710 11348049920 290087 33554432000 4194304 4196468 140729949541360 139928653355728 139930379958171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29253] ppid=29188 vsize=11082080 memory=1163940 CPUtime=8.21 cores=0,2,4,6
/proc/29191/task/29253/stat : 29253 (java) S 29188 29191 19273 0 -1 1077944384 21929 13250 0 0 809 5 5 2 20 0 15 0 106920710 11348049920 290087 33554432000 4194304 4196468 140729949541360 139929804613616 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29254] ppid=29188 vsize=11082080 memory=1160860 CPUtime=8.38 cores=0,2,4,6
/proc/29191/task/29254/stat : 29254 (java) S 29188 29191 19273 0 -1 1077944384 24347 13250 0 0 827 4 5 2 20 0 15 0 106920710 11348049920 290087 33554432000 4194304 4196468 140729949541360 139929803561072 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29255] ppid=29188 vsize=11082080 memory=644 CPUtime=3.91 cores=0,2,4,6
/proc/29191/task/29255/stat : 29255 (java) S 29188 29191 19273 0 -1 1077944384 24844 13250 0 0 376 8 5 2 20 0 15 0 106920710 11348049920 290087 33554432000 4194304 4196468 140729949541360 139929802508528 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29256] ppid=29188 vsize=11082080 memory=1167448 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29256/stat : 29256 (java) S 29188 29191 19273 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 106920710 11348049920 290087 33554432000 4194304 4196468 140729949541360 139928222558816 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29257] ppid=29188 vsize=11082080 memory=4096 CPUtime=0.18 cores=0,2,4,6
/proc/29191/task/29257/stat : 29257 (java) S 29188 29191 19273 0 -1 1077944384 453 13250 0 0 6 5 5 2 20 0 15 0 106920710 11348049920 290087 33554432000 4194304 4196468 140729949541360 139929801456432 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
Current children cumulated CPU time: 244.48 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1160348 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+229.801 s]
/proc/loadavg: 1.80 1.45 1.16 3/220 29401
/proc/meminfo: memFree=26039220/32770624 swapFree=67108744/67108860
[pid=29191] ppid=29188 vsize=11082080 memory=1160348 CPUtime=252.09 cores=0,2,4,6
/proc/29191/stat : 29191 (java) S 29188 29191 19273 0 -1 1077944320 153276 13250 0 0 25113 89 5 2 20 0 15 0 106920695 11348049920 290087 33554432000 4194304 4196468 140729949541360 140729949523904 139930379939575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
/proc/29191/statm: 2770520 290087 3530 1 0 2732173 0
[pid=29191/tid=29244] ppid=29188 vsize=11082080 memory=11116 CPUtime=228.65 cores=0,2,4,6
/proc/29191/task/29244/stat : 29244 (java) R 29188 29191 19273 0 -1 4202560 59696 13250 0 0 22831 27 5 2 20 0 15 0 106920704 11348049920 290087 33554432000 4194304 4196468 140729949541360 139930351774000 139929936896960 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29245] ppid=29188 vsize=11082080 memory=1200 CPUtime=0.72 cores=0,2,4,6
/proc/29191/task/29245/stat : 29245 (java) S 29188 29191 19273 0 -1 1077944384 2687 13250 0 0 56 9 5 2 20 0 15 0 106920705 11348049920 290087 33554432000 4194304 4196468 140729949541360 139930384181520 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29246] ppid=29188 vsize=11082080 memory=1228 CPUtime=0.73 cores=0,2,4,6
/proc/29191/task/29246/stat : 29246 (java) S 29188 29191 19273 0 -1 1077944384 4696 13250 0 0 57 9 5 2 20 0 15 0 106920705 11348049920 290087 33554432000 4194304 4196468 140729949541360 139930238900624 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29247] ppid=29188 vsize=11082080 memory=1712 CPUtime=0.72 cores=0,2,4,6
/proc/29191/task/29247/stat : 29247 (java) S 29188 29191 19273 0 -1 1077944384 1379 13250 0 0 55 10 5 2 20 0 15 0 106920705 11348049920 290087 33554432000 4194304 4196468 140729949541360 139930237848080 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29248] ppid=29188 vsize=11082080 memory=1952 CPUtime=0.73 cores=0,2,4,6
/proc/29191/task/29248/stat : 29248 (java) S 29188 29191 19273 0 -1 1077944384 3014 13250 0 0 56 10 5 2 20 0 15 0 106920705 11348049920 290087 33554432000 4194304 4196468 140729949541360 139929917057680 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29249] ppid=29188 vsize=11082080 memory=10592 CPUtime=0.38 cores=0,2,4,6
/proc/29191/task/29249/stat : 29249 (java) S 29188 29191 19273 0 -1 1077944384 8017 13250 0 0 28 3 5 2 20 0 15 0 106920706 11348049920 290087 33554432000 4194304 4196468 140729949541360 139929805666800 139930379950722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29250] ppid=29188 vsize=11082080 memory=1160348 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29250/stat : 29250 (java) S 29188 29191 19273 0 -1 1077944384 14 13250 0 0 0 0 5 2 20 0 15 0 106920707 11348049920 290087 33554432000 4194304 4196468 140729949541360 139929162081824 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29251] ppid=29188 vsize=11082080 memory=11116 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29251/stat : 29251 (java) S 29188 29191 19273 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 106920707 11348049920 290087 33554432000 4194304 4196468 140729949541360 139928960755200 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29252] ppid=29188 vsize=11082080 memory=1200 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29252/stat : 29252 (java) S 29188 29191 19273 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 106920710 11348049920 290087 33554432000 4194304 4196468 140729949541360 139928653355728 139930379958171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29253] ppid=29188 vsize=11082080 memory=1228 CPUtime=8.21 cores=0,2,4,6
/proc/29191/task/29253/stat : 29253 (java) S 29188 29191 19273 0 -1 1077944384 21929 13250 0 0 809 5 5 2 20 0 15 0 106920710 11348049920 290087 33554432000 4194304 4196468 140729949541360 139929804613616 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29254] ppid=29188 vsize=11082080 memory=1712 CPUtime=8.38 cores=0,2,4,6
/proc/29191/task/29254/stat : 29254 (java) S 29188 29191 19273 0 -1 1077944384 24347 13250 0 0 827 4 5 2 20 0 15 0 106920710 11348049920 290087 33554432000 4194304 4196468 140729949541360 139929803561072 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29255] ppid=29188 vsize=11082080 memory=1952 CPUtime=3.91 cores=0,2,4,6
/proc/29191/task/29255/stat : 29255 (java) S 29188 29191 19273 0 -1 1077944384 24844 13250 0 0 376 8 5 2 20 0 15 0 106920710 11348049920 290087 33554432000 4194304 4196468 140729949541360 139929802508528 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29256] ppid=29188 vsize=11082080 memory=10592 CPUtime=0.07 cores=0,2,4,6
/proc/29191/task/29256/stat : 29256 (java) S 29188 29191 19273 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 106920710 11348049920 290087 33554432000 4194304 4196468 140729949541360 139928222558816 139930379949781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
[pid=29191/tid=29257] ppid=29188 vsize=11082080 memory=15872 CPUtime=0.18 cores=0,2,4,6
/proc/29191/task/29257/stat : 29257 (java) S 29188 29191 19273 0 -1 1077944384 453 13250 0 0 6 5 5 2 20 0 15 0 106920710 11348049920 290087 33554432000 4194304 4196468 140729949541360 139929801456432 139930379950722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140729949543016 140729949545825 140729949545825 140729949548495 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1160348 KiB

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

[startup+229.848 s]
# the end of solver process 29191 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.207 s, system=0.942405 s

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

Child status: 143
Real time (s): 229.848
CPU time (s): 252.15
CPU user time (s): 251.207
CPU system time (s): 0.942405
CPU usage (%): 109.703
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1447376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.207
system time used= 0.942405
maximum resident set size= 1449440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168620
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24532
involuntary context switches= 626


# summary of solver processes directly reported to runsolver:
#   pid: 29191
#   total CPU time (s): 252.15
#   total CPU user time (s): 251.207
#   total CPU system time (s): 0.942405

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32277 second user time and 2.24267 second system time

The end

Name	StillLife/ StillLife-wastage-14_c18.xml
MD5SUM	24e7c51735ec9671261d78753301e43f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	97
Best CPU time to get the best result obtained on this benchmark	252.15
Satisfiable
(Un)Satisfiability was proved
Number of variables	529
Number of constraints	344
Number of domains	4
Minimum domain size	2
Maximum domain size	513
Distribution of domain sizes	[{"size":2,"count":256},{"size":3,"count":256},{"size":197,"count":1},{"size":513,"count":16}]
Minimum variable degree	1
Maximum variable degree	17
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":253},{"degree":3,"count":19},{"degree":4,"count":56},{"degree":8,"count":52},{"degree":9,"count":144},{"degree":17,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	18
Distribution of constraint arities	[{"arity":2,"count":72},{"arity":3,"count":56},{"arity":10,"count":196},{"arity":16,"count":4},{"arity":17,"count":1},{"arity":18,"count":15}]
Number of extensional constraints	252
Number of intensional constraints	71
Distribution of constraint types	[{"type":"extension","count":252},{"type":"intension","count":71},{"type":"sum","count":17},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4302613

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