2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	100	2520.14	2463.33

0.98/0.74	c Concrete v3.9.2.1532736233296 running
7.97/3.80	c 04:48:40.891 [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.30/3.82	c 04:48:40.918 [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
8.30/3.83	c 04:48:40.921 [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
8.30/3.84	c 04:48:40.934 [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
8.30/3.84	c 04:48:40.936 [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
8.30/3.85	c 04:48:40.948 [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
8.30/3.86	c 04:48:40.950 [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
8.30/3.87	c 04:48:40.964 [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
8.30/3.87	c 04:48:40.966 [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.30/3.88	c 04:48:40.976 [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.30/3.88	c 04:48:40.978 [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.30/3.89	c 04:48:40.983 [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.30/3.89	c 04:48:40.984 [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.30/3.89	c 04:48:40.989 [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.30/3.90	c 04:48:40.990 [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.30/3.90	c 04:48:40.995 [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.33/5.48	o 84
13.62/5.53	o 85
13.62/5.54	o 86
13.62/5.55	o 87
13.62/5.57	o 88
14.27/5.79	o 90
14.54/5.80	o 91
18.84/8.67	o 92
18.84/8.68	o 93
19.02/8.71	o 94
63.80/47.84	o 95
190.17/170.82	o 96
199.54/180.02	o 97
493.75/469.85	o 98
513.16/488.75	o 99
1243.72/1207.97	o 100
2520.10/2463.30	Exception in thread "main" java.util.concurrent.TimeoutException
2520.10/2463.30		at concrete.MAC.mac(MAC.scala:188)
2520.10/2463.30		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.10/2463.30		at scala.util.Try$.apply(Try.scala:209)
2520.10/2463.30		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.10/2463.30		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.10/2463.30		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.10/2463.30		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.10/2463.30		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.10/2463.30		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.10/2463.30		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.10/2463.30		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.10/2463.30		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.10/2463.30		at concrete.MAC.oneRun(MAC.scala:253)
2520.10/2463.30		at concrete.MAC.nextSolution(MAC.scala:272)
2520.10/2463.30		at concrete.MAC.nextSolution(MAC.scala:355)
2520.10/2463.30		at concrete.Solver.hasNext(Solver.scala:166)
2520.10/2463.30		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.10/2463.30		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.10/2463.30		at concrete.Solver.foreach(Solver.scala:68)
2520.10/2463.30		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.10/2463.30		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.10/2463.30		at scala.util.Success.map(Try.scala:209)
2520.10/2463.30		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.10/2463.30		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.10/2463.30		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.10/2463.30		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.10/2463.30		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.10/2463.30		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.10/2463.30		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.10/2463.30		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.10/2463.30		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.10/2463.30		at scala.collection.immutable.List.foreach(List.scala:389)
2520.10/2463.30		at scala.App.main(App.scala:76)
2520.10/2463.30		at scala.App.main$(App.scala:74)
2520.10/2463.30		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.10/2463.30		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.10/2463.31	v <instantiation cost="100">
2520.10/2463.31	v       <list>
2520.10/2463.31	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
2520.10/2463.31	v       </list>
2520.10/2463.31	v       <values>
2520.10/2463.31	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 1 1 0 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 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 6 11 13 14 14 19 23 27 29 33 35 35 38 40 43 48 100
2520.10/2463.31	v       </values>
2520.10/2463.31	v     </instantiation>
2520.10/2463.31	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 (9291 MiB free)
  memory of node 1: 16384 MiB (6212 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304151-1534042116/watcher-4304151-1534042116 -o /tmp/evaluation-result-4304151-1534042116/solver-4304151-1534042116 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534039158-26716 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1104608120 HOME/instance-4304151-1534042116.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=27437, runsolver pid=27434

[startup+0.101012 s]*
/proc/loadavg: 1.62 1.41 1.40 2/206 27494
/proc/meminfo: memFree=15866808/32770624 swapFree=67108844/67108860
[pid=27437] ppid=27434 vsize=10005480 memory=18860 CPUtime=0.09 cores=1,3,5,7
/proc/27437/stat : 27437 (java) S 27434 27437 25584 0 -1 1077944320 4391 12983 0 0 1 1 4 3 20 0 6 0 221774824 10245611520 4715 33554432000 4194304 4196468 140724425021600 140724425004144 140578261036791 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
/proc/27437/statm: 2501370 4715 1934 1 0 2489808 0
[pid=27437/tid=27490] ppid=27434 vsize=10005480 memory=4279135703913235855 CPUtime=0.08 cores=1,3,5,7
/proc/27437/task/27490/stat : 27490 (java) R 27434 27437 25584 0 -1 4202560 2193 12983 0 0 1 0 4 3 20 0 6 0 221774833 10245611520 4715 33554432000 4194304 4196468 140724425021600 140578232873552 140578261058717 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27491] ppid=27434 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27491/stat : 27491 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 6 0 221774834 10245611520 4715 33554432000 4194304 4196468 140724425021600 140578265278992 140578261046997 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27492] ppid=27434 vsize=10005480 memory=139633970628224 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27492/stat : 27492 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 6 0 221774834 10245611520 4715 33554432000 4194304 4196468 140724425021600 140578119998096 140578261046997 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27493] ppid=27434 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27493/stat : 27493 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 6 0 221774834 10245611520 4715 33554432000 4194304 4196468 140724425021600 140578118945040 140578261046997 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27494] ppid=27434 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27494/stat : 27494 (java) S 27434 27437 25584 0 -1 1077944384 2 12983 0 0 0 0 4 3 20 0 6 0 221774834 10245611520 4715 33554432000 4194304 4196468 140724425021600 140578117892496 140578261046997 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18860 KiB

[startup+0.209894 s]*
/proc/loadavg: 1.62 1.41 1.40 3/215 27503
/proc/meminfo: memFree=15845608/32770624 swapFree=67108844/67108860
[pid=27437] ppid=27434 vsize=10982744 memory=44724 CPUtime=0.26 cores=1,3,5,7
/proc/27437/stat : 27437 (java) S 27434 27437 25584 0 -1 1077944320 7914 12983 0 0 17 2 4 3 20 0 15 0 221774824 11246329856 11181 33554432000 4194304 4196468 140724425021600 140724425004144 140578261036791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
/proc/27437/statm: 2745686 11181 2946 1 0 2708109 0
[pid=27437/tid=27490] ppid=27434 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/27437/task/27490/stat : 27490 (java) R 27434 27437 25584 0 -1 4202560 4474 12983 0 0 11 1 4 3 20 0 15 0 221774833 11246329856 11181 33554432000 4194304 4196468 140724425021600 140578232833712 140578245117278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27491] ppid=27434 vsize=10982744 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27491/stat : 27491 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774834 11246329856 11181 33554432000 4194304 4196468 140724425021600 140578265278992 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27492] ppid=27434 vsize=10982744 memory=288370010122339968 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27492/stat : 27492 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774834 11246329856 11181 33554432000 4194304 4196468 140724425021600 140578119998096 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27493] ppid=27434 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27493/stat : 27493 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774834 11246329856 11181 33554432000 4194304 4196468 140724425021600 140578118945040 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27494] ppid=27434 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27494/stat : 27494 (java) S 27434 27437 25584 0 -1 1077944384 2 12983 0 0 0 0 4 3 20 0 15 0 221774834 11246329856 11181 33554432000 4194304 4196468 140724425021600 140578117892496 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27495] ppid=27434 vsize=10982744 memory=139633970628224 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27495/stat : 27495 (java) S 27434 27437 25584 0 -1 1077944384 2 12983 0 0 0 0 4 3 20 0 15 0 221774836 11246329856 11181 33554432000 4194304 4196468 140724425021600 140577552136944 140578261047938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27496] ppid=27434 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27496/stat : 27496 (java) S 27434 27437 25584 0 -1 1077944384 13 12983 0 0 0 0 4 3 20 0 15 0 221774836 11246329856 11181 33554432000 4194304 4196468 140724425021600 140577098163872 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27497] ppid=27434 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27497/stat : 27497 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774836 11246329856 11181 33554432000 4194304 4196468 140724425021600 140576896836848 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27498] ppid=27434 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27498/stat : 27498 (java) S 27434 27437 25584 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 221774839 11246329856 11181 33554432000 4194304 4196468 140724425021600 140576589437392 140578261055387 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27499] ppid=27434 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27437/task/27499/stat : 27499 (java) S 27434 27437 25584 0 -1 1077944384 363 12983 0 0 1 0 4 3 20 0 15 0 221774839 11246329856 11181 33554432000 4194304 4196468 140724425021600 140577551083760 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27500] ppid=27434 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27500/stat : 27500 (java) S 27434 27437 25584 0 -1 1077944384 250 12983 0 0 0 0 4 3 20 0 15 0 221774839 11246329856 11181 33554432000 4194304 4196468 140724425021600 140577550031216 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27501] ppid=27434 vsize=10982744 memory=139633970628224 CPUtime=0.1 cores=1,3,5,7
/proc/27437/task/27501/stat : 27501 (java) R 27434 27437 25584 0 -1 4202560 612 12983 0 0 3 0 4 3 20 0 15 0 221774839 11246329856 11181 33554432000 4194304 4196468 140724425021600 140577548978160 140578261047938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27502] ppid=27434 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27502/stat : 27502 (java) S 27434 27437 25584 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 221774839 11246329856 11181 33554432000 4194304 4196468 140724425021600 140576158640480 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27503] ppid=27434 vsize=10982744 memory=139633970628224 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27503/stat : 27503 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774839 11246329856 11181 33554432000 4194304 4196468 140724425021600 140577547926576 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44724 KiB

[startup+0.310146 s]*
/proc/loadavg: 1.73 1.44 1.41 3/215 27503
/proc/meminfo: memFree=15833576/32770624 swapFree=67108844/67108860
[pid=27437] ppid=27434 vsize=10983192 memory=55424 CPUtime=0.38 cores=1,3,5,7
/proc/27437/stat : 27437 (java) S 27434 27437 25584 0 -1 1077944320 10425 12983 0 0 29 2 4 3 20 0 15 0 221774824 11246788608 13856 33554432000 4194304 4196468 140724425021600 140724425004144 140578261036791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
/proc/27437/statm: 2745798 13856 3065 1 0 2708109 0
[pid=27437/tid=27490] ppid=27434 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/27437/task/27490/stat : 27490 (java) R 27434 27437 25584 0 -1 4202560 6967 12983 0 0 20 1 4 3 20 0 15 0 221774833 11246788608 13856 33554432000 4194304 4196468 140724425021600 140578232848800 140578150535007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27491] ppid=27434 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27491/stat : 27491 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774834 11246788608 13856 33554432000 4194304 4196468 140724425021600 140578265278992 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27492] ppid=27434 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27492/stat : 27492 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774834 11246788608 13856 33554432000 4194304 4196468 140724425021600 140578119998096 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27493] ppid=27434 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27493/stat : 27493 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774834 11246788608 13856 33554432000 4194304 4196468 140724425021600 140578118945040 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27494] ppid=27434 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27494/stat : 27494 (java) S 27434 27437 25584 0 -1 1077944384 2 12983 0 0 0 0 4 3 20 0 15 0 221774834 11246788608 13856 33554432000 4194304 4196468 140724425021600 140578117892496 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27495] ppid=27434 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27495/stat : 27495 (java) S 27434 27437 25584 0 -1 1077944384 2 12983 0 0 0 0 4 3 20 0 15 0 221774836 11246788608 13856 33554432000 4194304 4196468 140724425021600 140577552136944 140578261047938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27496] ppid=27434 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27496/stat : 27496 (java) S 27434 27437 25584 0 -1 1077944384 13 12983 0 0 0 0 4 3 20 0 15 0 221774836 11246788608 13856 33554432000 4194304 4196468 140724425021600 140577098163872 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27497] ppid=27434 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27497/stat : 27497 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774836 11246788608 13856 33554432000 4194304 4196468 140724425021600 140576896836848 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27498] ppid=27434 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27498/stat : 27498 (java) S 27434 27437 25584 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 221774839 11246788608 13856 33554432000 4194304 4196468 140724425021600 140576589437392 140578261055387 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27499] ppid=27434 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27437/task/27499/stat : 27499 (java) S 27434 27437 25584 0 -1 1077944384 366 12983 0 0 2 0 4 3 20 0 15 0 221774839 11246788608 13856 33554432000 4194304 4196468 140724425021600 140577551083760 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27500] ppid=27434 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27437/task/27500/stat : 27500 (java) S 27434 27437 25584 0 -1 1077944384 253 12983 0 0 1 0 4 3 20 0 15 0 221774839 11246788608 13856 33554432000 4194304 4196468 140724425021600 140577550031216 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27501] ppid=27434 vsize=10983192 memory=139633970628224 CPUtime=0.11 cores=1,3,5,7
/proc/27437/task/27501/stat : 27501 (java) S 27434 27437 25584 0 -1 1077944384 618 12983 0 0 4 0 4 3 20 0 15 0 221774839 11246788608 13856 33554432000 4194304 4196468 140724425021600 140577548978160 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27502] ppid=27434 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27502/stat : 27502 (java) S 27434 27437 25584 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 221774839 11246788608 13856 33554432000 4194304 4196468 140724425021600 140576158640480 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27503] ppid=27434 vsize=10983192 memory=139633970628224 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27503/stat : 27503 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774839 11246788608 13856 33554432000 4194304 4196468 140724425021600 140577547926576 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55424 KiB

[startup+0.700777 s]
/proc/loadavg: 1.73 1.44 1.41 3/215 27503
/proc/meminfo: memFree=15822212/32770624 swapFree=67108844/67108860
[pid=27437] ppid=27434 vsize=10983192 memory=88628 CPUtime=0.98 cores=1,3,5,7
/proc/27437/stat : 27437 (java) S 27434 27437 25584 0 -1 1077944320 16749 12983 0 0 87 4 4 3 20 0 15 0 221774824 11246788608 22157 33554432000 4194304 4196468 140724425021600 140724425004144 140578261036791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
/proc/27437/statm: 2745798 22157 3246 1 0 2708109 0
[pid=27437/tid=27490] ppid=27434 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/27437/task/27490/stat : 27490 (java) R 27434 27437 25584 0 -1 4202560 12187 12983 0 0 56 3 4 3 20 0 15 0 221774833 11246788608 22157 33554432000 4194304 4196468 140724425021600 140578232857616 140578242600320 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27491] ppid=27434 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27491/stat : 27491 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774834 11246788608 22157 33554432000 4194304 4196468 140724425021600 140578265278992 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27492] ppid=27434 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27492/stat : 27492 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774834 11246788608 22157 33554432000 4194304 4196468 140724425021600 140578119998096 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27493] ppid=27434 vsize=10983192 memory=139633816122128 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27493/stat : 27493 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774834 11246788608 22157 33554432000 4194304 4196468 140724425021600 140578118945040 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27494] ppid=27434 vsize=10983192 memory=139637976728148 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27494/stat : 27494 (java) S 27434 27437 25584 0 -1 1077944384 2 12983 0 0 0 0 4 3 20 0 15 0 221774834 11246788608 22157 33554432000 4194304 4196468 140724425021600 140578117892496 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27495] ppid=27434 vsize=10983192 memory=5776 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27495/stat : 27495 (java) S 27434 27437 25584 0 -1 1077944384 5 12983 0 0 0 0 4 3 20 0 15 0 221774836 11246788608 22157 33554432000 4194304 4196468 140724425021600 140577552136944 140578261047938 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27496] ppid=27434 vsize=10983192 memory=7662705889289527641 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27496/stat : 27496 (java) S 27434 27437 25584 0 -1 1077944384 13 12983 0 0 0 0 4 3 20 0 15 0 221774836 11246788608 22157 33554432000 4194304 4196468 140724425021600 140577098163872 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27497] ppid=27434 vsize=10983192 memory=6082220498109623144 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27497/stat : 27497 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774836 11246788608 22157 33554432000 4194304 4196468 140724425021600 140576896836848 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27498] ppid=27434 vsize=10983192 memory=12708 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27498/stat : 27498 (java) S 27434 27437 25584 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 221774839 11246788608 22157 33554432000 4194304 4196468 140724425021600 140576589437392 140578261055387 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27499] ppid=27434 vsize=10983192 memory=33180 CPUtime=0.15 cores=1,3,5,7
/proc/27437/task/27499/stat : 27499 (java) S 27434 27437 25584 0 -1 1077944384 736 12983 0 0 8 0 4 3 20 0 15 0 221774839 11246788608 22157 33554432000 4194304 4196468 140724425021600 140577551083760 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27500] ppid=27434 vsize=10983192 memory=2324 CPUtime=0.16 cores=1,3,5,7
/proc/27437/task/27500/stat : 27500 (java) S 27434 27437 25584 0 -1 1077944384 910 12983 0 0 9 0 4 3 20 0 15 0 221774839 11246788608 22157 33554432000 4194304 4196468 140724425021600 140577550031216 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27501] ppid=27434 vsize=10983192 memory=1584 CPUtime=0.19 cores=1,3,5,7
/proc/27437/task/27501/stat : 27501 (java) S 27434 27437 25584 0 -1 1077944384 692 12983 0 0 12 0 4 3 20 0 15 0 221774839 11246788608 22157 33554432000 4194304 4196468 140724425021600 140577548978160 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27502] ppid=27434 vsize=10983192 memory=496 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27502/stat : 27502 (java) S 27434 27437 25584 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 221774839 11246788608 22157 33554432000 4194304 4196468 140724425021600 140576158640480 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27503] ppid=27434 vsize=10983192 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27503/stat : 27503 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774839 11246788608 22157 33554432000 4194304 4196468 140724425021600 140577547926576 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88628 KiB

[startup+1.50156 s]
/proc/loadavg: 1.73 1.44 1.41 4/215 27503
/proc/meminfo: memFree=15776408/32770624 swapFree=67108844/67108860
[pid=27437] ppid=27434 vsize=10998092 memory=186672 CPUtime=2.71 cores=1,3,5,7
/proc/27437/stat : 27437 (java) S 27434 27437 25584 0 -1 1077944320 25700 12983 0 0 255 9 4 3 20 0 15 0 221774824 11262046208 46668 33554432000 4194304 4196468 140724425021600 140724425004144 140578261036791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
/proc/27437/statm: 2749523 46668 3467 1 0 2711181 0
[pid=27437/tid=27490] ppid=27434 vsize=10998092 memory=65156 CPUtime=1.42 cores=1,3,5,7
/proc/27437/task/27490/stat : 27490 (java) R 27434 27437 25584 0 -1 4202560 17432 12983 0 0 130 5 4 3 20 0 15 0 221774833 11262046208 46668 33554432000 4194304 4196468 140724425021600 140578232855720 140578241223766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27491] ppid=27434 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/27437/task/27491/stat : 27491 (java) S 27434 27437 25584 0 -1 1077944384 158 12983 0 0 1 0 4 3 20 0 15 0 221774834 11262046208 46668 33554432000 4194304 4196468 140724425021600 140578265278992 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27492] ppid=27434 vsize=10998092 memory=279267632275616 CPUtime=0.08 cores=1,3,5,7
/proc/27437/task/27492/stat : 27492 (java) S 27434 27437 25584 0 -1 1077944384 20 12983 0 0 1 0 4 3 20 0 15 0 221774834 11262046208 46668 33554432000 4194304 4196468 140724425021600 140578119998096 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27493] ppid=27434 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27437/task/27493/stat : 27493 (java) S 27434 27437 25584 0 -1 1077944384 26 12983 0 0 1 0 4 3 20 0 15 0 221774834 11262046208 46668 33554432000 4194304 4196468 140724425021600 140578118945040 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27494] ppid=27434 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27437/task/27494/stat : 27494 (java) S 27434 27437 25584 0 -1 1077944384 57 12983 0 0 1 0 4 3 20 0 15 0 221774834 11262046208 46668 33554432000 4194304 4196468 140724425021600 140578117892496 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27495] ppid=27434 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27437/task/27495/stat : 27495 (java) S 27434 27437 25584 0 -1 1077944384 47 12983 0 0 1 0 4 3 20 0 15 0 221774836 11262046208 46668 33554432000 4194304 4196468 140724425021600 140577552136944 140578261047938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27496] ppid=27434 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27496/stat : 27496 (java) S 27434 27437 25584 0 -1 1077944384 14 12983 0 0 0 0 4 3 20 0 15 0 221774836 11262046208 46668 33554432000 4194304 4196468 140724425021600 140577098163936 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27497] ppid=27434 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27497/stat : 27497 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774836 11262046208 46668 33554432000 4194304 4196468 140724425021600 140576896836864 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27498] ppid=27434 vsize=10998092 memory=-2746958450906831424 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27498/stat : 27498 (java) S 27434 27437 25584 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 221774839 11262046208 46668 33554432000 4194304 4196468 140724425021600 140576589437392 140578261055387 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27499] ppid=27434 vsize=10998092 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/27437/task/27499/stat : 27499 (java) S 27434 27437 25584 0 -1 1077944384 2231 12983 0 0 38 0 4 3 20 0 15 0 221774839 11262046208 46733 33554432000 4194304 4196468 140724425021600 140577551083760 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27500] ppid=27434 vsize=10998092 memory=10 CPUtime=0.46 cores=1,3,5,7
/proc/27437/task/27500/stat : 27500 (java) S 27434 27437 25584 0 -1 1077944384 1886 12983 0 0 39 0 4 3 20 0 15 0 221774839 11262046208 46733 33554432000 4194304 4196468 140724425021600 140577550031216 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27501] ppid=27434 vsize=10998092 memory=6791534058613427641 CPUtime=0.46 cores=1,3,5,7
/proc/27437/task/27501/stat : 27501 (java) S 27434 27437 25584 0 -1 1077944384 1628 12983 0 0 39 0 4 3 20 0 15 0 221774839 11262046208 46733 33554432000 4194304 4196468 140724425021600 140577548978160 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27502] ppid=27434 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27502/stat : 27502 (java) S 27434 27437 25584 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 221774839 11262046208 46733 33554432000 4194304 4196468 140724425021600 140576158640480 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27503] ppid=27434 vsize=10998092 memory=279267632520064 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27503/stat : 27503 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774839 11262046208 46733 33554432000 4194304 4196468 140724425021600 140577547926576 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 10998092 KiB

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

/proc/27437/task/27490/stat : 27490 (java) R 27434 27437 25584 0 -1 4202560 101889 12983 0 0 235594 51 4 3 20 0 15 0 221774833 11348049920 247870 33554432000 4194304 4196468 140724425021600 140578232871504 140577805585884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27491] ppid=27434 vsize=11082080 memory=991480 CPUtime=12.73 cores=1,3,5,7
/proc/27437/task/27491/stat : 27491 (java) S 27434 27437 25584 0 -1 1077944384 18319 12983 0 0 1210 56 4 3 20 0 15 0 221774834 11348049920 247870 33554432000 4194304 4196468 140724425021600 140578265278992 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27492] ppid=27434 vsize=11082080 memory=989432 CPUtime=12.69 cores=1,3,5,7
/proc/27437/task/27492/stat : 27492 (java) S 27434 27437 25584 0 -1 1077944384 15459 12983 0 0 1205 57 4 3 20 0 15 0 221774834 11348049920 247870 33554432000 4194304 4196468 140724425021600 140578119998096 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27493] ppid=27434 vsize=11082080 memory=991480 CPUtime=12.69 cores=1,3,5,7
/proc/27437/task/27493/stat : 27493 (java) S 27434 27437 25584 0 -1 1077944384 24024 12983 0 0 1206 56 4 3 20 0 15 0 221774834 11348049920 247870 33554432000 4194304 4196468 140724425021600 140578118945040 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27494] ppid=27434 vsize=11082080 memory=991480 CPUtime=12.71 cores=1,3,5,7
/proc/27437/task/27494/stat : 27494 (java) S 27434 27437 25584 0 -1 1077944384 20538 12983 0 0 1207 57 4 3 20 0 15 0 221774834 11348049920 247870 33554432000 4194304 4196468 140724425021600 140578117892496 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27495] ppid=27434 vsize=11082080 memory=6791534058613427641 CPUtime=10.78 cores=1,3,5,7
/proc/27437/task/27495/stat : 27495 (java) S 27434 27437 25584 0 -1 1077944384 21392 12983 0 0 1015 56 4 3 20 0 15 0 221774836 11348049920 247870 33554432000 4194304 4196468 140724425021600 140577552136944 140578261047938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27496] ppid=27434 vsize=11082080 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27496/stat : 27496 (java) S 27434 27437 25584 0 -1 1077944384 18 12983 0 0 0 0 4 3 20 0 15 0 221774836 11348049920 247870 33554432000 4194304 4196468 140724425021600 140577098164000 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27497] ppid=27434 vsize=11082080 memory=279267498106935 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27497/stat : 27497 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774836 11348049920 247870 33554432000 4194304 4196468 140724425021600 140576896836864 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27498] ppid=27434 vsize=11082080 memory=7437768874152518997 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27498/stat : 27498 (java) S 27434 27437 25584 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 221774839 11348049920 247870 33554432000 4194304 4196468 140724425021600 140576589437392 140578261055387 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27499] ppid=27434 vsize=11082080 memory=991480 CPUtime=8.01 cores=1,3,5,7
/proc/27437/task/27499/stat : 27499 (java) S 27434 27437 25584 0 -1 1077944384 42973 12983 0 0 789 5 4 3 20 0 15 0 221774839 11348049920 247870 33554432000 4194304 4196468 140724425021600 140577551083760 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27500] ppid=27434 vsize=11082080 memory=4140 CPUtime=6.99 cores=1,3,5,7
/proc/27437/task/27500/stat : 27500 (java) S 27434 27437 25584 0 -1 1077944384 30900 12983 0 0 687 5 4 3 20 0 15 0 221774839 11348049920 247870 33554432000 4194304 4196468 140724425021600 140577550031216 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27501] ppid=27434 vsize=11082080 memory=991480 CPUtime=3.72 cores=1,3,5,7
/proc/27437/task/27501/stat : 27501 (java) S 27434 27437 25584 0 -1 1077944384 33185 12983 0 0 356 9 4 3 20 0 15 0 221774839 11348049920 247870 33554432000 4194304 4196468 140724425021600 140577548978160 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27502] ppid=27434 vsize=11082080 memory=60112 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27502/stat : 27502 (java) S 27434 27437 25584 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 221774839 11348049920 247870 33554432000 4194304 4196468 140724425021600 140576158640480 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27503] ppid=27434 vsize=11082080 memory=991480 CPUtime=1.38 cores=1,3,5,7
/proc/27437/task/27503/stat : 27503 (java) S 27434 27437 25584 0 -1 1077944384 1317 12983 0 0 60 71 4 3 20 0 15 0 221774839 11348049920 247870 33554432000 4194304 4196468 140724425021600 140577547926576 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
Current children cumulated CPU time: 2437.67 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 991480 KiB

[startup+2442.3 s]
/proc/loadavg: 1.41 1.37 1.39 3/215 27730
/proc/meminfo: memFree=14529268/32770624 swapFree=67108844/67108860
[pid=27437] ppid=27434 vsize=11082080 memory=991480 CPUtime=2498.73 cores=1,3,5,7
/proc/27437/stat : 27437 (java) S 27434 27437 25584 0 -1 1077944320 313390 12983 0 0 249493 373 4 3 20 0 15 0 221774824 11348049920 247870 33554432000 4194304 4196468 140724425021600 140724425004144 140578261036791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
/proc/27437/statm: 2770520 247870 3526 1 0 2732173 0
[pid=27437/tid=27490] ppid=27434 vsize=11082080 memory=991480 CPUtime=2415.85 cores=1,3,5,7
/proc/27437/task/27490/stat : 27490 (java) R 27434 27437 25584 0 -1 4202560 102537 12983 0 0 241526 52 4 3 20 0 15 0 221774833 11348049920 247870 33554432000 4194304 4196468 140724425021600 140578232871440 140577805585596 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27491] ppid=27434 vsize=11082080 memory=991480 CPUtime=13.07 cores=1,3,5,7
/proc/27437/task/27491/stat : 27491 (java) S 27434 27437 25584 0 -1 1077944384 18371 12983 0 0 1243 57 4 3 20 0 15 0 221774834 11348049920 247870 33554432000 4194304 4196468 140724425021600 140578265278992 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27492] ppid=27434 vsize=11082080 memory=991480 CPUtime=13.04 cores=1,3,5,7
/proc/27437/task/27492/stat : 27492 (java) S 27434 27437 25584 0 -1 1077944384 15499 12983 0 0 1239 58 4 3 20 0 15 0 221774834 11348049920 247870 33554432000 4194304 4196468 140724425021600 140578119998096 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27493] ppid=27434 vsize=11082080 memory=991480 CPUtime=13.04 cores=1,3,5,7
/proc/27437/task/27493/stat : 27493 (java) S 27434 27437 25584 0 -1 1077944384 24154 12983 0 0 1240 57 4 3 20 0 15 0 221774834 11348049920 247870 33554432000 4194304 4196468 140724425021600 140578118945040 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27494] ppid=27434 vsize=11082080 memory=991480 CPUtime=13.06 cores=1,3,5,7
/proc/27437/task/27494/stat : 27494 (java) S 27434 27437 25584 0 -1 1077944384 20612 12983 0 0 1241 58 4 3 20 0 15 0 221774834 11348049920 247870 33554432000 4194304 4196468 140724425021600 140578117892496 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27495] ppid=27434 vsize=11082080 memory=989432 CPUtime=11.05 cores=1,3,5,7
/proc/27437/task/27495/stat : 27495 (java) S 27434 27437 25584 0 -1 1077944384 21601 12983 0 0 1041 57 4 3 20 0 15 0 221774836 11348049920 247870 33554432000 4194304 4196468 140724425021600 140577552136944 140578261047938 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27496] ppid=27434 vsize=11082080 memory=991480 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27496/stat : 27496 (java) S 27434 27437 25584 0 -1 1077944384 18 12983 0 0 0 0 4 3 20 0 15 0 221774836 11348049920 247870 33554432000 4194304 4196468 140724425021600 140577098164000 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27497] ppid=27434 vsize=11082080 memory=991480 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27497/stat : 27497 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774836 11348049920 247870 33554432000 4194304 4196468 140724425021600 140576896836864 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27498] ppid=27434 vsize=11082080 memory=33216 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27498/stat : 27498 (java) S 27434 27437 25584 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 221774839 11348049920 247870 33554432000 4194304 4196468 140724425021600 140576589437392 140578261055387 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27499] ppid=27434 vsize=11082080 memory=2324 CPUtime=8.01 cores=1,3,5,7
/proc/27437/task/27499/stat : 27499 (java) S 27434 27437 25584 0 -1 1077944384 42975 12983 0 0 789 5 4 3 20 0 15 0 221774839 11348049920 247870 33554432000 4194304 4196468 140724425021600 140577551083760 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27500] ppid=27434 vsize=11082080 memory=991480 CPUtime=6.99 cores=1,3,5,7
/proc/27437/task/27500/stat : 27500 (java) S 27434 27437 25584 0 -1 1077944384 30902 12983 0 0 687 5 4 3 20 0 15 0 221774839 11348049920 247870 33554432000 4194304 4196468 140724425021600 140577550031216 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27501] ppid=27434 vsize=11082080 memory=991480 CPUtime=3.72 cores=1,3,5,7
/proc/27437/task/27501/stat : 27501 (java) S 27434 27437 25584 0 -1 1077944384 33187 12983 0 0 356 9 4 3 20 0 15 0 221774839 11348049920 247870 33554432000 4194304 4196468 140724425021600 140577548978160 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27502] ppid=27434 vsize=11082080 memory=991480 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27502/stat : 27502 (java) S 27434 27437 25584 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 221774839 11348049920 247870 33554432000 4194304 4196468 140724425021600 140576158640480 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27503] ppid=27434 vsize=11082080 memory=10464 CPUtime=1.42 cores=1,3,5,7
/proc/27437/task/27503/stat : 27503 (java) S 27434 27437 25584 0 -1 1077944384 1334 12983 0 0 63 72 4 3 20 0 15 0 221774839 11348049920 247870 33554432000 4194304 4196468 140724425021600 140577547926576 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
Current children cumulated CPU time: 2498.73 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 991480 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2463.3 s]
/proc/loadavg: 1.23 1.33 1.38 3/215 27730
/proc/meminfo: memFree=14534924/32770624 swapFree=67108844/67108860
[pid=27437] ppid=27434 vsize=11082080 memory=993528 CPUtime=2520.1 cores=1,3,5,7
/proc/27437/stat : 27437 (java) S 27434 27437 25584 0 -1 1077944320 314075 12983 0 0 251627 376 4 3 20 0 15 0 221774824 11348049920 248382 33554432000 4194304 4196468 140724425021600 140724425004144 140578261036791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
/proc/27437/statm: 2770520 248382 3526 1 0 2732173 0
[pid=27437/tid=27490] ppid=27434 vsize=11082080 memory=993528 CPUtime=2436.61 cores=1,3,5,7
/proc/27437/task/27490/stat : 27490 (java) R 27434 27437 25584 0 -1 4202560 102808 12983 0 0 243602 52 4 3 20 0 15 0 221774833 11348049920 248382 33554432000 4194304 4196468 140724425021600 140578232872304 140577806897160 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27491] ppid=27434 vsize=11082080 memory=993528 CPUtime=13.19 cores=1,3,5,7
/proc/27437/task/27491/stat : 27491 (java) S 27434 27437 25584 0 -1 1077944384 18465 12983 0 0 1254 58 4 3 20 0 15 0 221774834 11348049920 248382 33554432000 4194304 4196468 140724425021600 140578265278992 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27492] ppid=27434 vsize=11082080 memory=993528 CPUtime=13.17 cores=1,3,5,7
/proc/27437/task/27492/stat : 27492 (java) S 27434 27437 25584 0 -1 1077944384 15503 12983 0 0 1251 59 4 3 20 0 15 0 221774834 11348049920 248382 33554432000 4194304 4196468 140724425021600 140578119998096 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27493] ppid=27434 vsize=11082080 memory=993528 CPUtime=13.16 cores=1,3,5,7
/proc/27437/task/27493/stat : 27493 (java) S 27434 27437 25584 0 -1 1077944384 24234 12983 0 0 1252 57 4 3 20 0 15 0 221774834 11348049920 248382 33554432000 4194304 4196468 140724425021600 140578118945040 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27494] ppid=27434 vsize=11082080 memory=993528 CPUtime=13.19 cores=1,3,5,7
/proc/27437/task/27494/stat : 27494 (java) S 27434 27437 25584 0 -1 1077944384 20655 12983 0 0 1253 59 4 3 20 0 15 0 221774834 11348049920 248382 33554432000 4194304 4196468 140724425021600 140578117892496 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27495] ppid=27434 vsize=11082080 memory=136 CPUtime=11.16 cores=1,3,5,7
/proc/27437/task/27495/stat : 27495 (java) S 27434 27437 25584 0 -1 1077944384 21776 12983 0 0 1051 58 4 3 20 0 15 0 221774836 11348049920 248382 33554432000 4194304 4196468 140724425021600 140577552136944 140578261047938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27496] ppid=27434 vsize=11082080 memory=993528 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27496/stat : 27496 (java) S 27434 27437 25584 0 -1 1077944384 18 12983 0 0 0 0 4 3 20 0 15 0 221774836 11348049920 248382 33554432000 4194304 4196468 140724425021600 140577098164000 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27497] ppid=27434 vsize=11082080 memory=991480 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27497/stat : 27497 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774836 11348049920 248382 33554432000 4194304 4196468 140724425021600 140576896836864 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27498] ppid=27434 vsize=11082080 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27498/stat : 27498 (java) S 27434 27437 25584 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 221774839 11348049920 248382 33554432000 4194304 4196468 140724425021600 140576589437392 140578261055387 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27499] ppid=27434 vsize=11082080 memory=60104 CPUtime=8.01 cores=1,3,5,7
/proc/27437/task/27499/stat : 27499 (java) S 27434 27437 25584 0 -1 1077944384 42977 12983 0 0 789 5 4 3 20 0 15 0 221774839 11348049920 248382 33554432000 4194304 4196468 140724425021600 140577551083760 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27500] ppid=27434 vsize=11082080 memory=14568 CPUtime=6.99 cores=1,3,5,7
/proc/27437/task/27500/stat : 27500 (java) S 27434 27437 25584 0 -1 1077944384 30904 12983 0 0 687 5 4 3 20 0 15 0 221774839 11348049920 248382 33554432000 4194304 4196468 140724425021600 140577550031216 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27501] ppid=27434 vsize=11082080 memory=993528 CPUtime=3.72 cores=1,3,5,7
/proc/27437/task/27501/stat : 27501 (java) S 27434 27437 25584 0 -1 1077944384 33189 12983 0 0 356 9 4 3 20 0 15 0 221774839 11348049920 248382 33554432000 4194304 4196468 140724425021600 140577548978160 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27502] ppid=27434 vsize=11082080 memory=1992 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27502/stat : 27502 (java) S 27434 27437 25584 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 221774839 11348049920 248382 33554432000 4194304 4196468 140724425021600 140576158640480 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27503] ppid=27434 vsize=11082080 memory=2236 CPUtime=1.43 cores=1,3,5,7
/proc/27437/task/27503/stat : 27503 (java) S 27434 27437 25584 0 -1 1077944384 1346 12983 0 0 63 73 4 3 20 0 15 0 221774839 11348049920 248382 33554432000 4194304 4196468 140724425021600 140577547926576 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 993528 KiB

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

[startup+2463.33 s]
# the end of solver process 27437 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.34 s, system=3.80541 s

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

[startup+2463.3 s]
/proc/loadavg: 1.23 1.33 1.38 3/215 27730
/proc/meminfo: memFree=14534924/32770624 swapFree=67108844/67108860
[pid=27437] ppid=27434 vsize=11082080 memory=993528 CPUtime=2520.1 cores=1,3,5,7
/proc/27437/stat : 27437 (java) S 27434 27437 25584 0 -1 1077944320 314075 12983 0 0 251627 376 4 3 20 0 15 0 221774824 11348049920 248382 33554432000 4194304 4196468 140724425021600 140724425004144 140578261036791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
/proc/27437/statm: 2770520 248382 3526 1 0 2732173 0
[pid=27437/tid=27490] ppid=27434 vsize=11082080 memory=993528 CPUtime=2436.61 cores=1,3,5,7
/proc/27437/task/27490/stat : 27490 (java) R 27434 27437 25584 0 -1 4202560 102808 12983 0 0 243602 52 4 3 20 0 15 0 221774833 11348049920 248382 33554432000 4194304 4196468 140724425021600 140578232872304 140577806897160 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27491] ppid=27434 vsize=11082080 memory=993528 CPUtime=13.19 cores=1,3,5,7
/proc/27437/task/27491/stat : 27491 (java) S 27434 27437 25584 0 -1 1077944384 18465 12983 0 0 1254 58 4 3 20 0 15 0 221774834 11348049920 248382 33554432000 4194304 4196468 140724425021600 140578265278992 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27492] ppid=27434 vsize=11082080 memory=993528 CPUtime=13.17 cores=1,3,5,7
/proc/27437/task/27492/stat : 27492 (java) S 27434 27437 25584 0 -1 1077944384 15503 12983 0 0 1251 59 4 3 20 0 15 0 221774834 11348049920 248382 33554432000 4194304 4196468 140724425021600 140578119998096 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27493] ppid=27434 vsize=11082080 memory=993528 CPUtime=13.16 cores=1,3,5,7
/proc/27437/task/27493/stat : 27493 (java) S 27434 27437 25584 0 -1 1077944384 24234 12983 0 0 1252 57 4 3 20 0 15 0 221774834 11348049920 248382 33554432000 4194304 4196468 140724425021600 140578118945040 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27494] ppid=27434 vsize=11082080 memory=993528 CPUtime=13.19 cores=1,3,5,7
/proc/27437/task/27494/stat : 27494 (java) S 27434 27437 25584 0 -1 1077944384 20655 12983 0 0 1253 59 4 3 20 0 15 0 221774834 11348049920 248382 33554432000 4194304 4196468 140724425021600 140578117892496 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27495] ppid=27434 vsize=11082080 memory=136 CPUtime=11.16 cores=1,3,5,7
/proc/27437/task/27495/stat : 27495 (java) S 27434 27437 25584 0 -1 1077944384 21776 12983 0 0 1051 58 4 3 20 0 15 0 221774836 11348049920 248382 33554432000 4194304 4196468 140724425021600 140577552136944 140578261047938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27496] ppid=27434 vsize=11082080 memory=993528 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27496/stat : 27496 (java) S 27434 27437 25584 0 -1 1077944384 18 12983 0 0 0 0 4 3 20 0 15 0 221774836 11348049920 248382 33554432000 4194304 4196468 140724425021600 140577098164000 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27497] ppid=27434 vsize=11082080 memory=991480 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27497/stat : 27497 (java) S 27434 27437 25584 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 221774836 11348049920 248382 33554432000 4194304 4196468 140724425021600 140576896836864 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27498] ppid=27434 vsize=11082080 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27498/stat : 27498 (java) S 27434 27437 25584 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 221774839 11348049920 248382 33554432000 4194304 4196468 140724425021600 140576589437392 140578261055387 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27499] ppid=27434 vsize=11082080 memory=60104 CPUtime=8.01 cores=1,3,5,7
/proc/27437/task/27499/stat : 27499 (java) S 27434 27437 25584 0 -1 1077944384 42977 12983 0 0 789 5 4 3 20 0 15 0 221774839 11348049920 248382 33554432000 4194304 4196468 140724425021600 140577551083760 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27500] ppid=27434 vsize=11082080 memory=14568 CPUtime=6.99 cores=1,3,5,7
/proc/27437/task/27500/stat : 27500 (java) S 27434 27437 25584 0 -1 1077944384 30904 12983 0 0 687 5 4 3 20 0 15 0 221774839 11348049920 248382 33554432000 4194304 4196468 140724425021600 140577550031216 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27501] ppid=27434 vsize=11082080 memory=993528 CPUtime=3.72 cores=1,3,5,7
/proc/27437/task/27501/stat : 27501 (java) S 27434 27437 25584 0 -1 1077944384 33189 12983 0 0 356 9 4 3 20 0 15 0 221774839 11348049920 248382 33554432000 4194304 4196468 140724425021600 140577548978160 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27502] ppid=27434 vsize=11082080 memory=1992 CPUtime=0.07 cores=1,3,5,7
/proc/27437/task/27502/stat : 27502 (java) S 27434 27437 25584 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 221774839 11348049920 248382 33554432000 4194304 4196468 140724425021600 140576158640480 140578261046997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
[pid=27437/tid=27503] ppid=27434 vsize=11082080 memory=2236 CPUtime=1.43 cores=1,3,5,7
/proc/27437/task/27503/stat : 27503 (java) S 27434 27437 25584 0 -1 1077944384 1346 12983 0 0 63 73 4 3 20 0 15 0 221774839 11348049920 248382 33554432000 4194304 4196468 140724425021600 140577547926576 140578261047938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29499392 140724425030252 140724425033052 140724425033052 140724425035727 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 993528 KiB

Child status: 143
Real time (s): 2463.33
CPU time (s): 2520.14
CPU user time (s): 2516.34
CPU system time (s): 3.80541
CPU usage (%): 102.306
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 993528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.34
system time used= 3.80541
maximum resident set size= 995900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328012
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 287591
involuntary context switches= 5740


# summary of solver processes directly reported to runsolver:
#   pid: 27437
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2516.34
#   total CPU system time (s): 3.80541

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1825 second user time and 23.5014 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	OPT
Best value of the objective obtained on this benchmark	104
Best CPU time to get the best result obtained on this benchmark	59.3102
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 4304151

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