2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	92	252.151	232.155

1.00/0.74	c Concrete v3.9.2.1532736233296 running
8.31/3.83	c 21:46:37.535 [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 56112634, 3 edges, 4 vertices, 1 tuples
8.31/3.85	c 21:46:37.563 [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 707250996, 3 edges, 4 vertices, 1 tuples
9.41/4.24	c 21:46:37.565 [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 56112634, 3 edges, 4 vertices, 1 tuples
9.41/4.24	c 21:46:37.579 [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 707250996, 3 edges, 4 vertices, 1 tuples
9.41/4.24	c 21:46:37.582 [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 1956296628, 3 edges, 4 vertices, 1 tuples
9.41/4.24	c 21:46:37.593 [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 1630968203, 3 edges, 4 vertices, 1 tuples
9.41/4.24	c 21:46:37.595 [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 1956296628, 3 edges, 4 vertices, 1 tuples
9.41/4.24	c 21:46:37.606 [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 1630968203, 3 edges, 4 vertices, 1 tuples
9.41/4.24	c 21:46:37.609 [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
9.41/4.24	c 21:46:37.620 [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
9.41/4.24	c 21:46:37.621 [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
9.41/4.24	c 21:46:37.627 [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
9.41/4.24	c 21:46:37.627 [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
9.41/4.24	c 21:46:37.633 [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
9.41/4.24	c 21:46:37.634 [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
9.41/4.24	c 21:46:37.639 [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.15/5.43	o 77
13.15/5.48	o 78
13.48/5.50	o 79
13.48/5.51	o 80
15.17/6.25	o 81
15.17/6.26	o 82
16.38/6.95	o 83
18.04/8.04	o 84
23.85/12.88	o 85
23.85/12.89	o 86
26.47/15.05	o 87
40.11/26.41	o 88
40.11/26.43	o 89
40.11/26.43	o 90
96.52/78.62	o 91
224.99/205.41	o 92
252.10/232.12	Exception in thread "main" java.util.concurrent.TimeoutException
252.10/232.12		at concrete.MAC.mac(MAC.scala:188)
252.10/232.12		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.10/232.12		at scala.util.Try$.apply(Try.scala:209)
252.10/232.12		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.10/232.12		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.10/232.12		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.10/232.12		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.10/232.12		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.10/232.12		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.10/232.12		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.10/232.12		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.10/232.12		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.10/232.12		at concrete.MAC.oneRun(MAC.scala:253)
252.10/232.12		at concrete.MAC.nextSolution(MAC.scala:272)
252.10/232.12		at concrete.MAC.nextSolution(MAC.scala:355)
252.10/232.12		at concrete.Solver.hasNext(Solver.scala:166)
252.10/232.12		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.10/232.12		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.10/232.12		at concrete.Solver.foreach(Solver.scala:68)
252.10/232.12		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.10/232.12		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.10/232.12		at scala.util.Success.map(Try.scala:209)
252.10/232.12		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.10/232.12		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.10/232.12		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.10/232.12		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.10/232.12		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.10/232.12		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.10/232.12		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.10/232.12		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.10/232.12		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.10/232.12		at scala.collection.immutable.List.foreach(List.scala:389)
252.10/232.12		at scala.App.main(App.scala:76)
252.10/232.12		at scala.App.main$(App.scala:74)
252.10/232.12		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.10/232.12		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.10/232.13	v <instantiation cost="92">
252.10/232.13	v       <list>
252.10/232.13	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.10/232.13	v       </list>
252.10/232.13	v       <values>
252.10/232.13	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 1 1 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 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 1 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 2 1 1 0 0 0 1 1 2 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 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 2 1 1 2 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 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 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 8 19 25 29 34 40 46 52 56 62 66 67 72 72 75 80 92
252.10/232.13	v       </values>
252.10/232.13	v     </instantiation>
252.10/232.13	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 (10486 MiB free)
  memory of node 1: 16384 MiB (13063 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302263-1532893593/watcher-4302263-1532893593 -o /tmp/evaluation-result-4302263-1532893593/solver-4302263-1532893593 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13712 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=2035016141 HOME/instance-4302263-1532893593.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=14613, runsolver pid=14610

[startup+0.100062 s]*
/proc/loadavg: 1.50 1.59 1.47 3/206 14670
/proc/meminfo: memFree=24080220/32770624 swapFree=67108860/67108860
[pid=14613] ppid=14610 vsize=10005480 memory=18328 CPUtime=0.09 cores=0,2,4,6
/proc/14613/stat : 14613 (java) S 14610 14613 12183 0 -1 1077944320 4241 13180 0 0 1 0 5 3 20 0 6 0 106922504 10245611520 4582 33554432000 4194304 4196468 140723961159472 140723961142016 140510738808567 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
/proc/14613/statm: 2501370 4582 1931 1 0 2489808 0
[pid=14613/tid=14666] ppid=14610 vsize=10005480 memory=4279135704047190159 CPUtime=0.09 cores=0,2,4,6
/proc/14613/task/14666/stat : 14666 (java) R 14610 14613 12183 0 -1 4202560 2048 13180 0 0 1 0 5 3 20 0 6 0 106922513 10245611520 4582 33554432000 4194304 4196468 140723961159472 140510710645328 140510738830493 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14667] ppid=14610 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14667/stat : 14667 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 6 0 106922514 10245611520 4582 33554432000 4194304 4196468 140723961159472 140510743050768 140510738818773 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14668] ppid=14610 vsize=10005480 memory=140624695391872 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14668/stat : 14668 (java) S 14610 14613 12183 0 -1 1077944384 2 13180 0 0 0 0 5 3 20 0 6 0 106922514 10245611520 4582 33554432000 4194304 4196468 140723961159472 140510597769872 140510738818773 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14669] ppid=14610 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14669/stat : 14669 (java) S 14610 14613 12183 0 -1 1077944384 2 13180 0 0 0 0 5 3 20 0 6 0 106922514 10245611520 4582 33554432000 4194304 4196468 140723961159472 140510596716816 140510738818773 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14670] ppid=14610 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14670/stat : 14670 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 6 0 106922514 10245611520 4582 33554432000 4194304 4196468 140723961159472 140510595664272 140510738818773 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB

[startup+0.210113 s]*
/proc/loadavg: 1.50 1.59 1.47 3/215 14679
/proc/meminfo: memFree=24055512/32770624 swapFree=67108860/67108860
[pid=14613] ppid=14610 vsize=10982744 memory=45988 CPUtime=0.26 cores=0,2,4,6
/proc/14613/stat : 14613 (java) S 14610 14613 12183 0 -1 1077944320 7645 13180 0 0 17 1 5 3 20 0 15 0 106922504 11246329856 11497 33554432000 4194304 4196468 140723961159472 140723961142016 140510738808567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
/proc/14613/statm: 2745686 11497 2972 1 0 2708109 0
[pid=14613/tid=14666] ppid=14610 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/14613/task/14666/stat : 14666 (java) R 14610 14613 12183 0 -1 4202560 4331 13180 0 0 10 1 5 3 20 0 15 0 106922513 11246329856 11629 33554432000 4194304 4196468 140723961159472 140510710605488 140510722889054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14667] ppid=14610 vsize=10982744 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14667/stat : 14667 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922514 11246329856 11629 33554432000 4194304 4196468 140723961159472 140510743050768 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14668] ppid=14610 vsize=10982744 memory=140624695391872 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14668/stat : 14668 (java) S 14610 14613 12183 0 -1 1077944384 2 13180 0 0 0 0 5 3 20 0 15 0 106922514 11246329856 11629 33554432000 4194304 4196468 140723961159472 140510597769872 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14669] ppid=14610 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14669/stat : 14669 (java) S 14610 14613 12183 0 -1 1077944384 2 13180 0 0 0 0 5 3 20 0 15 0 106922514 11246329856 11629 33554432000 4194304 4196468 140723961159472 140510596716816 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14670] ppid=14610 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14670/stat : 14670 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922514 11246329856 11629 33554432000 4194304 4196468 140723961159472 140510595664272 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14671] ppid=14610 vsize=10982744 memory=140624695391872 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14671/stat : 14671 (java) S 14610 14613 12183 0 -1 1077944384 2 13180 0 0 0 0 5 3 20 0 15 0 106922515 11246329856 11629 33554432000 4194304 4196468 140723961159472 140510164511472 140510738819714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14672] ppid=14610 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14672/stat : 14672 (java) S 14610 14613 12183 0 -1 1077944384 13 13180 0 0 0 0 5 3 20 0 15 0 106922516 11246329856 11629 33554432000 4194304 4196468 140723961159472 140509533169312 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14673] ppid=14610 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14673/stat : 14673 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922516 11246329856 11629 33554432000 4194304 4196468 140723961159472 140509385319664 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14674] ppid=14610 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14674/stat : 14674 (java) S 14610 14613 12183 0 -1 1077944384 3 13180 0 0 0 0 5 3 20 0 15 0 106922519 11246329856 11629 33554432000 4194304 4196468 140723961159472 140509077920208 140510738827163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14675] ppid=14610 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14613/task/14675/stat : 14675 (java) S 14610 14613 12183 0 -1 1077944384 476 13180 0 0 1 0 5 3 20 0 15 0 106922519 11246329856 11629 33554432000 4194304 4196468 140723961159472 140510163458288 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14676] ppid=14610 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14676/stat : 14676 (java) S 14610 14613 12183 0 -1 1077944384 138 13180 0 0 0 0 5 3 20 0 15 0 106922519 11246329856 11629 33554432000 4194304 4196468 140723961159472 140510162405744 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14677] ppid=14610 vsize=10982744 memory=140624695391872 CPUtime=0.11 cores=0,2,4,6
/proc/14613/task/14677/stat : 14677 (java) R 14610 14613 12183 0 -1 4202560 624 13180 0 0 3 0 5 3 20 0 15 0 106922519 11246329856 11629 33554432000 4194304 4196468 140723961159472 140510161352688 140510738829914 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14678] ppid=14610 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14678/stat : 14678 (java) S 14610 14613 12183 0 -1 1077944384 3 13180 0 0 0 0 5 3 20 0 15 0 106922519 11246329856 11629 33554432000 4194304 4196468 140723961159472 140508647123296 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14679] ppid=14610 vsize=10982744 memory=140624695391872 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14679/stat : 14679 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922519 11246329856 11629 33554432000 4194304 4196468 140723961159472 140510160301104 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45988 KiB

[startup+0.310449 s]*
/proc/loadavg: 1.50 1.59 1.47 3/215 14679
/proc/meminfo: memFree=24043976/32770624 swapFree=67108860/67108860
[pid=14613] ppid=14610 vsize=10983192 memory=57160 CPUtime=0.39 cores=0,2,4,6
/proc/14613/stat : 14613 (java) S 14610 14613 12183 0 -1 1077944320 10288 13180 0 0 29 2 5 3 20 0 15 0 106922504 11246788608 14290 33554432000 4194304 4196468 140723961159472 140723961142016 140510738808567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
/proc/14613/statm: 2745798 14290 3091 1 0 2708109 0
[pid=14613/tid=14666] ppid=14610 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/14613/task/14666/stat : 14666 (java) R 14610 14613 12183 0 -1 4202560 6825 13180 0 0 20 1 5 3 20 0 15 0 106922513 11246788608 14290 33554432000 4194304 4196468 140723961159472 140510710620576 140510722201904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14667] ppid=14610 vsize=10983192 memory=7012755875661107280 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14667/stat : 14667 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922514 11246788608 14290 33554432000 4194304 4196468 140723961159472 140510743050768 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14668] ppid=14610 vsize=10983192 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14668/stat : 14668 (java) S 14610 14613 12183 0 -1 1077944384 2 13180 0 0 0 0 5 3 20 0 15 0 106922514 11246788608 14290 33554432000 4194304 4196468 140723961159472 140510597769872 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14669] ppid=14610 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14669/stat : 14669 (java) S 14610 14613 12183 0 -1 1077944384 2 13180 0 0 0 0 5 3 20 0 15 0 106922514 11246788608 14290 33554432000 4194304 4196468 140723961159472 140510596716816 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14670] ppid=14610 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14670/stat : 14670 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922514 11246788608 14290 33554432000 4194304 4196468 140723961159472 140510595664272 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14671] ppid=14610 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14671/stat : 14671 (java) S 14610 14613 12183 0 -1 1077944384 2 13180 0 0 0 0 5 3 20 0 15 0 106922515 11246788608 14290 33554432000 4194304 4196468 140723961159472 140510164511472 140510738819714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14672] ppid=14610 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14672/stat : 14672 (java) S 14610 14613 12183 0 -1 1077944384 13 13180 0 0 0 0 5 3 20 0 15 0 106922516 11246788608 14290 33554432000 4194304 4196468 140723961159472 140509533169312 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14673] ppid=14610 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14673/stat : 14673 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922516 11246788608 14290 33554432000 4194304 4196468 140723961159472 140509385319664 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14674] ppid=14610 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14674/stat : 14674 (java) S 14610 14613 12183 0 -1 1077944384 3 13180 0 0 0 0 5 3 20 0 15 0 106922519 11246788608 14290 33554432000 4194304 4196468 140723961159472 140509077920208 140510738827163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14675] ppid=14610 vsize=10983192 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/14613/task/14675/stat : 14675 (java) S 14610 14613 12183 0 -1 1077944384 477 13180 0 0 2 0 5 3 20 0 15 0 106922519 11246788608 14290 33554432000 4194304 4196468 140723961159472 140510163458288 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14676] ppid=14610 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14613/task/14676/stat : 14676 (java) S 14610 14613 12183 0 -1 1077944384 141 13180 0 0 1 0 5 3 20 0 15 0 106922519 11246788608 14290 33554432000 4194304 4196468 140723961159472 140510162405744 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14677] ppid=14610 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/14613/task/14677/stat : 14677 (java) S 14610 14613 12183 0 -1 1077944384 630 13180 0 0 5 0 5 3 20 0 15 0 106922519 11246788608 14290 33554432000 4194304 4196468 140723961159472 140510161352688 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14678] ppid=14610 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14678/stat : 14678 (java) S 14610 14613 12183 0 -1 1077944384 3 13180 0 0 0 0 5 3 20 0 15 0 106922519 11246788608 14290 33554432000 4194304 4196468 140723961159472 140508647123296 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14679] ppid=14610 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14679/stat : 14679 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922519 11246788608 14290 33554432000 4194304 4196468 140723961159472 140510160301104 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57160 KiB

[startup+0.700802 s]
/proc/loadavg: 1.50 1.59 1.47 3/215 14679
/proc/meminfo: memFree=24030704/32770624 swapFree=67108860/67108860
[pid=14613] ppid=14610 vsize=10983192 memory=89180 CPUtime=1 cores=0,2,4,6
/proc/14613/stat : 14613 (java) S 14610 14613 12183 0 -1 1077944320 16395 13180 0 0 88 4 5 3 20 0 15 0 106922504 11246788608 22295 33554432000 4194304 4196468 140723961159472 140723961142016 140510738808567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
/proc/14613/statm: 2745798 22295 3238 1 0 2708109 0
[pid=14613/tid=14666] ppid=14610 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/14613/task/14666/stat : 14666 (java) R 14610 14613 12183 0 -1 4202560 11880 13180 0 0 56 3 5 3 20 0 15 0 106922513 11246788608 22295 33554432000 4194304 4196468 140723961159472 140510710629392 140510723974239 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14667] ppid=14610 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14667/stat : 14667 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922514 11246788608 22295 33554432000 4194304 4196468 140723961159472 140510743050768 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14668] ppid=14610 vsize=10983192 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14668/stat : 14668 (java) S 14610 14613 12183 0 -1 1077944384 2 13180 0 0 0 0 5 3 20 0 15 0 106922514 11246788608 22295 33554432000 4194304 4196468 140723961159472 140510597769872 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14669] ppid=14610 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14669/stat : 14669 (java) S 14610 14613 12183 0 -1 1077944384 2 13180 0 0 0 0 5 3 20 0 15 0 106922514 11246788608 22295 33554432000 4194304 4196468 140723961159472 140510596716816 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14670] ppid=14610 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14670/stat : 14670 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922514 11246788608 22295 33554432000 4194304 4196468 140723961159472 140510595664272 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14671] ppid=14610 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14671/stat : 14671 (java) S 14610 14613 12183 0 -1 1077944384 5 13180 0 0 0 0 5 3 20 0 15 0 106922515 11246788608 22295 33554432000 4194304 4196468 140723961159472 140510164511472 140510738819714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14672] ppid=14610 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14672/stat : 14672 (java) S 14610 14613 12183 0 -1 1077944384 13 13180 0 0 0 0 5 3 20 0 15 0 106922516 11246788608 22295 33554432000 4194304 4196468 140723961159472 140509533169312 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14673] ppid=14610 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14673/stat : 14673 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922516 11246788608 22295 33554432000 4194304 4196468 140723961159472 140509385319664 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14674] ppid=14610 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14674/stat : 14674 (java) S 14610 14613 12183 0 -1 1077944384 3 13180 0 0 0 0 5 3 20 0 15 0 106922519 11246788608 22295 33554432000 4194304 4196468 140723961159472 140509077920208 140510738827163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14675] ppid=14610 vsize=10983192 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/14613/task/14675/stat : 14675 (java) S 14610 14613 12183 0 -1 1077944384 1033 13180 0 0 9 0 5 3 20 0 15 0 106922519 11246788608 22295 33554432000 4194304 4196468 140723961159472 140510163458288 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14676] ppid=14610 vsize=10983192 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/14613/task/14676/stat : 14676 (java) S 14610 14613 12183 0 -1 1077944384 572 13180 0 0 7 0 5 3 20 0 15 0 106922519 11246788608 22295 33554432000 4194304 4196468 140723961159472 140510162405744 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14677] ppid=14610 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/14613/task/14677/stat : 14677 (java) S 14610 14613 12183 0 -1 1077944384 684 13180 0 0 13 0 5 3 20 0 15 0 106922519 11246788608 22295 33554432000 4194304 4196468 140723961159472 140510161352688 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14678] ppid=14610 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14678/stat : 14678 (java) S 14610 14613 12183 0 -1 1077944384 3 13180 0 0 0 0 5 3 20 0 15 0 106922519 11246788608 22295 33554432000 4194304 4196468 140723961159472 140508647123296 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14679] ppid=14610 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14679/stat : 14679 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922519 11246788608 22295 33554432000 4194304 4196468 140723961159472 140510160301104 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89180 KiB

[startup+1.50079 s]
/proc/loadavg: 1.50 1.59 1.47 4/215 14679
/proc/meminfo: memFree=23980752/32770624 swapFree=67108860/67108860
[pid=14613] ppid=14610 vsize=10998092 memory=184836 CPUtime=2.78 cores=0,2,4,6
/proc/14613/stat : 14613 (java) S 14610 14613 12183 0 -1 1077944320 25158 13180 0 0 262 8 5 3 20 0 15 0 106922504 11262046208 46209 33554432000 4194304 4196468 140723961159472 140723961142016 140510738808567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
/proc/14613/statm: 2749523 46209 3467 1 0 2711181 0
[pid=14613/tid=14666] ppid=14610 vsize=10998092 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/14613/task/14666/stat : 14666 (java) R 14610 14613 12183 0 -1 4202560 16882 13180 0 0 130 5 5 3 20 0 15 0 106922513 11262046208 46209 33554432000 4194304 4196468 140723961159472 140510710625856 140510738830493 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14667] ppid=14610 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14613/task/14667/stat : 14667 (java) S 14610 14613 12183 0 -1 1077944384 51 13180 0 0 1 0 5 3 20 0 15 0 106922514 11262046208 46209 33554432000 4194304 4196468 140723961159472 140510743050768 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14668] ppid=14610 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14613/task/14668/stat : 14668 (java) S 14610 14613 12183 0 -1 1077944384 19 13180 0 0 1 0 5 3 20 0 15 0 106922514 11262046208 46209 33554432000 4194304 4196468 140723961159472 140510597769872 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14669] ppid=14610 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14613/task/14669/stat : 14669 (java) S 14610 14613 12183 0 -1 1077944384 171 13180 0 0 1 0 5 3 20 0 15 0 106922514 11262046208 46209 33554432000 4194304 4196468 140723961159472 140510596716816 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14670] ppid=14610 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14670/stat : 14670 (java) S 14610 14613 12183 0 -1 1077944384 23 13180 0 0 0 0 5 3 20 0 15 0 106922514 11262046208 46209 33554432000 4194304 4196468 140723961159472 140510595664272 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14671] ppid=14610 vsize=10998092 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/14613/task/14671/stat : 14671 (java) S 14610 14613 12183 0 -1 1077944384 59 13180 0 0 1 0 5 3 20 0 15 0 106922515 11262046208 46209 33554432000 4194304 4196468 140723961159472 140510164511472 140510738819714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14672] ppid=14610 vsize=10998092 memory=281249088350464 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14672/stat : 14672 (java) S 14610 14613 12183 0 -1 1077944384 14 13180 0 0 0 0 5 3 20 0 15 0 106922516 11262046208 46209 33554432000 4194304 4196468 140723961159472 140509533169376 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14673] ppid=14610 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14673/stat : 14673 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922516 11262046208 46209 33554432000 4194304 4196468 140723961159472 140509385319680 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14674] ppid=14610 vsize=10998092 memory=1952 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14674/stat : 14674 (java) S 14610 14613 12183 0 -1 1077944384 3 13180 0 0 0 0 5 3 20 0 15 0 106922519 11262046208 46209 33554432000 4194304 4196468 140723961159472 140509077920208 140510738827163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14675] ppid=14610 vsize=10998092 memory=1232 CPUtime=0.57 cores=0,2,4,6
/proc/14613/task/14675/stat : 14675 (java) S 14610 14613 12183 0 -1 1077944384 2642 13180 0 0 49 0 5 3 20 0 15 0 106922519 11262046208 46209 33554432000 4194304 4196468 140723961159472 140510163458288 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14676] ppid=14610 vsize=10998092 memory=8560 CPUtime=0.43 cores=0,2,4,6
/proc/14613/task/14676/stat : 14676 (java) S 14610 14613 12183 0 -1 1077944384 1542 13180 0 0 35 0 5 3 20 0 15 0 106922519 11262046208 46209 33554432000 4194304 4196468 140723961159472 140510162405744 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14677] ppid=14610 vsize=10998092 memory=1712 CPUtime=0.48 cores=0,2,4,6
/proc/14613/task/14677/stat : 14677 (java) S 14610 14613 12183 0 -1 1077944384 1553 13180 0 0 40 0 5 3 20 0 15 0 106922519 11262046208 46209 33554432000 4194304 4196468 140723961159472 140510161352688 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14678] ppid=14610 vsize=10998092 memory=5412 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14678/stat : 14678 (java) S 14610 14613 12183 0 -1 1077944384 3 13180 0 0 0 0 5 3 20 0 15 0 106922519 11262046208 46209 33554432000 4194304 4196468 140723961159472 140508647123296 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14679] ppid=14610 vsize=10998092 memory=4612 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14679/stat : 14679 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922519 11262046208 46209 33554432000 4194304 4196468 140723961159472 140510160301104 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 10998092 KiB

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

/proc/14613/task/14666/stat : 14666 (java) R 14610 14613 12183 0 -1 4202560 54881 13180 0 0 16082 22 5 3 20 0 15 0 106922513 11348049920 235298 33554432000 4194304 4196468 140723961159472 140510710644128 140510293568647 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14667] ppid=14610 vsize=11082080 memory=947980 CPUtime=0.59 cores=0,2,4,6
/proc/14613/task/14667/stat : 14667 (java) S 14610 14613 12183 0 -1 1077944384 2082 13180 0 0 46 5 5 3 20 0 15 0 106922514 11348049920 235298 33554432000 4194304 4196468 140723961159472 140510743050768 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14668] ppid=14610 vsize=11082080 memory=948896 CPUtime=0.59 cores=0,2,4,6
/proc/14613/task/14668/stat : 14668 (java) S 14610 14613 12183 0 -1 1077944384 2529 13180 0 0 47 4 5 3 20 0 15 0 106922514 11348049920 235298 33554432000 4194304 4196468 140723961159472 140510597769872 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14669] ppid=14610 vsize=11082080 memory=947980 CPUtime=0.59 cores=0,2,4,6
/proc/14613/task/14669/stat : 14669 (java) S 14610 14613 12183 0 -1 1077944384 2916 13180 0 0 47 4 5 3 20 0 15 0 106922514 11348049920 235298 33554432000 4194304 4196468 140723961159472 140510596716816 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14670] ppid=14610 vsize=11082080 memory=947924 CPUtime=0.59 cores=0,2,4,6
/proc/14613/task/14670/stat : 14670 (java) S 14610 14613 12183 0 -1 1077944384 3451 13180 0 0 47 4 5 3 20 0 15 0 106922514 11348049920 235298 33554432000 4194304 4196468 140723961159472 140510595664272 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14671] ppid=14610 vsize=11082080 memory=941192 CPUtime=0.52 cores=0,2,4,6
/proc/14613/task/14671/stat : 14671 (java) R 14610 14613 12183 0 -1 1077944384 7175 13180 0 0 41 3 5 3 20 0 15 0 106922515 11348049920 235298 33554432000 4194304 4196468 140723961159472 140510164511472 140510738819714 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14672] ppid=14610 vsize=11082080 memory=947980 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14672/stat : 14672 (java) S 14610 14613 12183 0 -1 1077944384 14 13180 0 0 0 0 5 3 20 0 15 0 106922516 11348049920 235298 33554432000 4194304 4196468 140723961159472 140509533169440 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14673] ppid=14610 vsize=11082080 memory=941192 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14673/stat : 14673 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922516 11348049920 235298 33554432000 4194304 4196468 140723961159472 140509385319680 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14674] ppid=14610 vsize=11082080 memory=941192 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14674/stat : 14674 (java) S 14610 14613 12183 0 -1 1077944384 3 13180 0 0 0 0 5 3 20 0 15 0 106922519 11348049920 235298 33554432000 4194304 4196468 140723961159472 140509077920208 140510738827163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14675] ppid=14610 vsize=11082080 memory=8 CPUtime=7.25 cores=0,2,4,6
/proc/14613/task/14675/stat : 14675 (java) S 14610 14613 12183 0 -1 1077944384 20394 13180 0 0 713 4 5 3 20 0 15 0 106922519 11348049920 235298 33554432000 4194304 4196468 140723961159472 140510163458288 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14676] ppid=14610 vsize=11082080 memory=948896 CPUtime=6.8 cores=0,2,4,6
/proc/14613/task/14676/stat : 14676 (java) S 14610 14613 12183 0 -1 1077944384 19273 13180 0 0 667 5 5 3 20 0 15 0 106922519 11348049920 235298 33554432000 4194304 4196468 140723961159472 140510162405744 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14677] ppid=14610 vsize=11082080 memory=941192 CPUtime=3.67 cores=0,2,4,6
/proc/14613/task/14677/stat : 14677 (java) S 14610 14613 12183 0 -1 1077944384 22313 13180 0 0 354 5 5 3 20 0 15 0 106922519 11348049920 235298 33554432000 4194304 4196468 140723961159472 140510161352688 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14678] ppid=14610 vsize=11082080 memory=941192 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14678/stat : 14678 (java) S 14610 14613 12183 0 -1 1077944384 3 13180 0 0 0 0 5 3 20 0 15 0 106922519 11348049920 235298 33554432000 4194304 4196468 140723961159472 140508647123296 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14679] ppid=14610 vsize=11082080 memory=941192 CPUtime=0.17 cores=0,2,4,6
/proc/14613/task/14679/stat : 14679 (java) S 14610 14613 12183 0 -1 1077944384 561 13180 0 0 5 4 5 3 20 0 15 0 106922519 11348049920 235298 33554432000 4194304 4196468 140723961159472 140510160301104 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
Current children cumulated CPU time: 181.28 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 941192 KiB

[startup+222.301 s]
/proc/loadavg: 1.55 1.62 1.51 3/216 14820
/proc/meminfo: memFree=22842476/32770624 swapFree=67108860/67108860
[pid=14613] ppid=14610 vsize=11082080 memory=942624 CPUtime=242.14 cores=0,2,4,6
/proc/14613/stat : 14613 (java) S 14610 14613 12183 0 -1 1077944320 148662 13180 0 0 24138 68 5 3 20 0 15 0 106922504 11348049920 235656 33554432000 4194304 4196468 140723961159472 140723961142016 140510738808567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
/proc/14613/statm: 2770520 235656 3525 1 0 2732173 0
[pid=14613/tid=14666] ppid=14610 vsize=11082080 memory=942624 CPUtime=220.49 cores=0,2,4,6
/proc/14613/task/14666/stat : 14666 (java) R 14610 14613 12183 0 -1 4202560 57233 13180 0 0 22018 23 5 3 20 0 15 0 106922513 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510710643792 140510294458548 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14667] ppid=14610 vsize=11082080 memory=942624 CPUtime=0.87 cores=0,2,4,6
/proc/14613/task/14667/stat : 14667 (java) S 14610 14613 12183 0 -1 1077944384 2164 13180 0 0 73 6 5 3 20 0 15 0 106922514 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510743050768 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14668] ppid=14610 vsize=11082080 memory=942624 CPUtime=0.88 cores=0,2,4,6
/proc/14613/task/14668/stat : 14668 (java) S 14610 14613 12183 0 -1 1077944384 2675 13180 0 0 75 5 5 3 20 0 15 0 106922514 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510597769872 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14669] ppid=14610 vsize=11082080 memory=942624 CPUtime=0.88 cores=0,2,4,6
/proc/14613/task/14669/stat : 14669 (java) S 14610 14613 12183 0 -1 1077944384 4711 13180 0 0 75 5 5 3 20 0 15 0 106922514 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510596716816 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14670] ppid=14610 vsize=11082080 memory=943288 CPUtime=0.87 cores=0,2,4,6
/proc/14613/task/14670/stat : 14670 (java) S 14610 14613 12183 0 -1 1077944384 3511 13180 0 0 74 5 5 3 20 0 15 0 106922514 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510595664272 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14671] ppid=14610 vsize=11082080 memory=4140 CPUtime=0.77 cores=0,2,4,6
/proc/14613/task/14671/stat : 14671 (java) S 14610 14613 12183 0 -1 1077944384 7567 13180 0 0 65 4 5 3 20 0 15 0 106922515 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510164511472 140510738819714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14672] ppid=14610 vsize=11082080 memory=30624 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14672/stat : 14672 (java) S 14610 14613 12183 0 -1 1077944384 14 13180 0 0 0 0 5 3 20 0 15 0 106922516 11348049920 235656 33554432000 4194304 4196468 140723961159472 140509533169440 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14673] ppid=14610 vsize=11082080 memory=942624 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14673/stat : 14673 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922516 11348049920 235656 33554432000 4194304 4196468 140723961159472 140509385319680 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14674] ppid=14610 vsize=11082080 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14674/stat : 14674 (java) S 14610 14613 12183 0 -1 1077944384 3 13180 0 0 0 0 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140509077920208 140510738827163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14675] ppid=14610 vsize=11082080 memory=6791534058613427641 CPUtime=7.26 cores=0,2,4,6
/proc/14613/task/14675/stat : 14675 (java) S 14610 14613 12183 0 -1 1077944384 21766 13180 0 0 714 4 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510163458288 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14676] ppid=14610 vsize=11082080 memory=30612 CPUtime=6.85 cores=0,2,4,6
/proc/14613/task/14676/stat : 14676 (java) S 14610 14613 12183 0 -1 1077944384 22064 13180 0 0 672 5 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510162405744 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14677] ppid=14610 vsize=11082080 memory=952 CPUtime=3.68 cores=0,2,4,6
/proc/14613/task/14677/stat : 14677 (java) S 14610 14613 12183 0 -1 1077944384 24170 13180 0 0 355 5 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510161352688 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14678] ppid=14610 vsize=11082080 memory=1232 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14678/stat : 14678 (java) S 14610 14613 12183 0 -1 1077944384 3 13180 0 0 0 0 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140508647123296 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14679] ppid=14610 vsize=11082080 memory=942408 CPUtime=0.2 cores=0,2,4,6
/proc/14613/task/14679/stat : 14679 (java) S 14610 14613 12183 0 -1 1077944384 586 13180 0 0 6 6 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510160301104 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
Current children cumulated CPU time: 242.14 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 942624 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+232.111 s]
/proc/loadavg: 1.55 1.62 1.51 3/216 14820
/proc/meminfo: memFree=22842600/32770624 swapFree=67108860/67108860
[pid=14613] ppid=14610 vsize=11082080 memory=942624 CPUtime=252.1 cores=0,2,4,6
/proc/14613/stat : 14613 (java) S 14610 14613 12183 0 -1 1077944320 148760 13180 0 0 25133 69 5 3 20 0 15 0 106922504 11348049920 235656 33554432000 4194304 4196468 140723961159472 140723961142016 140510738808567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
/proc/14613/statm: 2770520 235656 3525 1 0 2732173 0
[pid=14613/tid=14666] ppid=14610 vsize=11082080 memory=942624 CPUtime=230.19 cores=0,2,4,6
/proc/14613/task/14666/stat : 14666 (java) R 14610 14613 12183 0 -1 4202560 57300 13180 0 0 22988 23 5 3 20 0 15 0 106922513 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510710643920 140510294519601 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14667] ppid=14610 vsize=11082080 memory=942624 CPUtime=0.92 cores=0,2,4,6
/proc/14613/task/14667/stat : 14667 (java) S 14610 14613 12183 0 -1 1077944384 2174 13180 0 0 78 6 5 3 20 0 15 0 106922514 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510743050768 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14668] ppid=14610 vsize=11082080 memory=943288 CPUtime=0.92 cores=0,2,4,6
/proc/14613/task/14668/stat : 14668 (java) S 14610 14613 12183 0 -1 1077944384 2680 13180 0 0 79 5 5 3 20 0 15 0 106922514 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510597769872 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14669] ppid=14610 vsize=11082080 memory=7811887614045022295 CPUtime=0.93 cores=0,2,4,6
/proc/14613/task/14669/stat : 14669 (java) S 14610 14613 12183 0 -1 1077944384 4715 13180 0 0 80 5 5 3 20 0 15 0 106922514 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510596716816 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14670] ppid=14610 vsize=11082080 memory=942624 CPUtime=0.92 cores=0,2,4,6
/proc/14613/task/14670/stat : 14670 (java) S 14610 14613 12183 0 -1 1077944384 3517 13180 0 0 79 5 5 3 20 0 15 0 106922514 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510595664272 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14671] ppid=14610 vsize=11082080 memory=4140 CPUtime=0.81 cores=0,2,4,6
/proc/14613/task/14671/stat : 14671 (java) S 14610 14613 12183 0 -1 1077944384 7573 13180 0 0 69 4 5 3 20 0 15 0 106922515 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510164511472 140510738819714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14672] ppid=14610 vsize=11082080 memory=1696 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14672/stat : 14672 (java) S 14610 14613 12183 0 -1 1077944384 14 13180 0 0 0 0 5 3 20 0 15 0 106922516 11348049920 235656 33554432000 4194304 4196468 140723961159472 140509533169440 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14673] ppid=14610 vsize=11082080 memory=942624 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14673/stat : 14673 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922516 11348049920 235656 33554432000 4194304 4196468 140723961159472 140509385319680 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14674] ppid=14610 vsize=11082080 memory=23080 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14674/stat : 14674 (java) S 14610 14613 12183 0 -1 1077944384 3 13180 0 0 0 0 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140509077920208 140510738827163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14675] ppid=14610 vsize=11082080 memory=20942 CPUtime=7.26 cores=0,2,4,6
/proc/14613/task/14675/stat : 14675 (java) S 14610 14613 12183 0 -1 1077944384 21766 13180 0 0 714 4 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510163458288 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14676] ppid=14610 vsize=11082080 memory=30624 CPUtime=6.85 cores=0,2,4,6
/proc/14613/task/14676/stat : 14676 (java) S 14610 14613 12183 0 -1 1077944384 22064 13180 0 0 672 5 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510162405744 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14677] ppid=14610 vsize=11082080 memory=1296 CPUtime=3.68 cores=0,2,4,6
/proc/14613/task/14677/stat : 14677 (java) S 14610 14613 12183 0 -1 1077944384 24170 13180 0 0 355 5 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510161352688 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14678] ppid=14610 vsize=11082080 memory=942624 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14678/stat : 14678 (java) S 14610 14613 12183 0 -1 1077944384 3 13180 0 0 0 0 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140508647123296 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14679] ppid=14610 vsize=11082080 memory=942624 CPUtime=0.2 cores=0,2,4,6
/proc/14613/task/14679/stat : 14679 (java) S 14610 14613 12183 0 -1 1077944384 586 13180 0 0 6 6 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510160301104 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 942624 KiB

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

[startup+232.155 s]
# the end of solver process 14613 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.404 s, system=0.747565 s

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

[startup+232.111 s]
/proc/loadavg: 1.55 1.62 1.51 3/216 14820
/proc/meminfo: memFree=22842600/32770624 swapFree=67108860/67108860
[pid=14613] ppid=14610 vsize=11082080 memory=942624 CPUtime=252.1 cores=0,2,4,6
/proc/14613/stat : 14613 (java) S 14610 14613 12183 0 -1 1077944320 148760 13180 0 0 25133 69 5 3 20 0 15 0 106922504 11348049920 235656 33554432000 4194304 4196468 140723961159472 140723961142016 140510738808567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
/proc/14613/statm: 2770520 235656 3525 1 0 2732173 0
[pid=14613/tid=14666] ppid=14610 vsize=11082080 memory=942624 CPUtime=230.19 cores=0,2,4,6
/proc/14613/task/14666/stat : 14666 (java) R 14610 14613 12183 0 -1 4202560 57300 13180 0 0 22988 23 5 3 20 0 15 0 106922513 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510710643920 140510294519601 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14667] ppid=14610 vsize=11082080 memory=942624 CPUtime=0.92 cores=0,2,4,6
/proc/14613/task/14667/stat : 14667 (java) S 14610 14613 12183 0 -1 1077944384 2174 13180 0 0 78 6 5 3 20 0 15 0 106922514 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510743050768 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14668] ppid=14610 vsize=11082080 memory=943288 CPUtime=0.92 cores=0,2,4,6
/proc/14613/task/14668/stat : 14668 (java) S 14610 14613 12183 0 -1 1077944384 2680 13180 0 0 79 5 5 3 20 0 15 0 106922514 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510597769872 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14669] ppid=14610 vsize=11082080 memory=7811887614045022295 CPUtime=0.93 cores=0,2,4,6
/proc/14613/task/14669/stat : 14669 (java) S 14610 14613 12183 0 -1 1077944384 4715 13180 0 0 80 5 5 3 20 0 15 0 106922514 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510596716816 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14670] ppid=14610 vsize=11082080 memory=942624 CPUtime=0.92 cores=0,2,4,6
/proc/14613/task/14670/stat : 14670 (java) S 14610 14613 12183 0 -1 1077944384 3517 13180 0 0 79 5 5 3 20 0 15 0 106922514 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510595664272 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14671] ppid=14610 vsize=11082080 memory=4140 CPUtime=0.81 cores=0,2,4,6
/proc/14613/task/14671/stat : 14671 (java) S 14610 14613 12183 0 -1 1077944384 7573 13180 0 0 69 4 5 3 20 0 15 0 106922515 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510164511472 140510738819714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14672] ppid=14610 vsize=11082080 memory=1696 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14672/stat : 14672 (java) S 14610 14613 12183 0 -1 1077944384 14 13180 0 0 0 0 5 3 20 0 15 0 106922516 11348049920 235656 33554432000 4194304 4196468 140723961159472 140509533169440 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14673] ppid=14610 vsize=11082080 memory=942624 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14673/stat : 14673 (java) S 14610 14613 12183 0 -1 1077944384 1 13180 0 0 0 0 5 3 20 0 15 0 106922516 11348049920 235656 33554432000 4194304 4196468 140723961159472 140509385319680 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14674] ppid=14610 vsize=11082080 memory=23080 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14674/stat : 14674 (java) S 14610 14613 12183 0 -1 1077944384 3 13180 0 0 0 0 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140509077920208 140510738827163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14675] ppid=14610 vsize=11082080 memory=20942 CPUtime=7.26 cores=0,2,4,6
/proc/14613/task/14675/stat : 14675 (java) S 14610 14613 12183 0 -1 1077944384 21766 13180 0 0 714 4 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510163458288 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14676] ppid=14610 vsize=11082080 memory=30624 CPUtime=6.85 cores=0,2,4,6
/proc/14613/task/14676/stat : 14676 (java) S 14610 14613 12183 0 -1 1077944384 22064 13180 0 0 672 5 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510162405744 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14677] ppid=14610 vsize=11082080 memory=1296 CPUtime=3.68 cores=0,2,4,6
/proc/14613/task/14677/stat : 14677 (java) S 14610 14613 12183 0 -1 1077944384 24170 13180 0 0 355 5 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510161352688 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14678] ppid=14610 vsize=11082080 memory=942624 CPUtime=0.08 cores=0,2,4,6
/proc/14613/task/14678/stat : 14678 (java) S 14610 14613 12183 0 -1 1077944384 3 13180 0 0 0 0 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140508647123296 140510738818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
[pid=14613/tid=14679] ppid=14610 vsize=11082080 memory=942624 CPUtime=0.2 cores=0,2,4,6
/proc/14613/task/14679/stat : 14679 (java) S 14610 14613 12183 0 -1 1077944384 586 13180 0 0 6 6 5 3 20 0 15 0 106922519 11348049920 235656 33554432000 4194304 4196468 140723961159472 140510160301104 140510738819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140723961162353 140723961165153 140723961165153 140723961167823 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 942624 KiB

Child status: 143
Real time (s): 232.155
CPU time (s): 252.151
CPU user time (s): 251.404
CPU system time (s): 0.747565
CPU usage (%): 108.613
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 991556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.404
system time used= 0.747565
maximum resident set size= 992204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164740
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= 32029
involuntary context switches= 907


# summary of solver processes directly reported to runsolver:
#   pid: 14613
#   total CPU time (s): 252.151
#   total CPU user time (s): 251.404
#   total CPU system time (s): 0.747565

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19404 second user time and 2.42135 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 4302263

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