2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.12.2	SAT (TO)	19	2400.07	2378.13

0.77/0.55	c Concrete v3.12.2.1568380929293 running
13.92/6.70	o 28
14.53/7.22	o 27
14.66/7.36	o 26
14.80/7.46	o 25
15.86/8.47	o 24
15.99/8.60	o 23
16.21/8.77	o 22
16.32/8.89	o 21
19.42/11.70	o 20
20.06/12.38	o 19
2400.03/2378.11	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2400.03/2378.11		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28)
2400.03/2378.11		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:57)
2400.03/2378.11		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2400.03/2378.11		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2400.03/2378.11		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2400.03/2378.11		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2400.03/2378.11		at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
2400.03/2378.11		at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
2400.03/2378.11		at concrete.heuristic.value.BestCost.select(BestCost.scala:57)
2400.03/2378.11		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.03/2378.11		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.03/2378.11		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.03/2378.11		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.03/2378.11		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.03/2378.11		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.03/2378.11		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.03/2378.11		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.03/2378.11		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.03/2378.11		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.03/2378.11		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95)
2400.03/2378.11		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2400.03/2378.11		at scala.Option.map(Option.scala:243)
2400.03/2378.11		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2400.03/2378.11		at concrete.MAC.mac(MAC.scala:216)
2400.03/2378.11		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.03/2378.11		at scala.util.Try$.apply(Try.scala:212)
2400.03/2378.11		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.03/2378.11		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.03/2378.11		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.03/2378.11		at concrete.MAC.oneRun(MAC.scala:265)
2400.03/2378.11		at concrete.MAC.nextSolution(MAC.scala:284)
2400.03/2378.11		at concrete.MAC.nextSolution(MAC.scala:369)
2400.03/2378.11		at concrete.Solver.hasNext(Solver.scala:160)
2400.03/2378.11		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.03/2378.11		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.03/2378.11		at concrete.Solver.foreach(Solver.scala:67)
2400.03/2378.11		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.03/2378.11		at scala.util.Success.map(Try.scala:264)
2400.03/2378.11		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.03/2378.11		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.03/2378.11		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.03/2378.11		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.03/2378.11		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.03/2378.11		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.03/2378.11		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.03/2378.11		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.03/2378.11		at scala.App.$anonfun$main$1(App.scala:75)
2400.03/2378.11		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2400.03/2378.11		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.03/2378.11		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.03/2378.11		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2400.03/2378.11		at scala.App.main(App.scala:75)
2400.03/2378.11		at scala.App.main$(App.scala:73)
2400.03/2378.11		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.03/2378.11		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.03/2378.12	v <instantiation
2400.03/2378.12	v         cost = '19'>
2400.03/2378.12	v       <list>
2400.03/2378.12	v         p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19]
2400.03/2378.12	v       </list>
2400.03/2378.12	v       <values>
2400.03/2378.12	v         1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 4 0 4 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 4 0 1 0 0 0 0 0 7 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 6 0 0 0 0 1 4 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 4 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 1 0 0 0 4 0 0 0 0 0 1 0 0 2 0 0 0 0 1 0 1 0 0 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 5 0 1 0 0 0 2 3 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 14 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 3 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 2 2 0 2 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 2 0 1 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 2 0 0 0 6 0 0 6 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 15 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0
2400.03/2378.12	v       </values>
2400.03/2378.12	v     </instantiation>
2400.03/2378.12	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 (11334 MiB free)
  memory of node 1: 16384 MiB (14184 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396592-1568397828/watcher-4396592-1568397828 -o /tmp/evaluation-result-4396592-1568397828/solver-4396592-1568397828 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568393934-14636 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1797803898 HOME/instance-4396592-1568397828.xml 

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

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


[startup+0.100674 s]*
/proc/loadavg: 1.70 1.49 1.41 3/221 16091
/proc/meminfo: memFree=26123976/32770624 swapFree=66939840/67108860
[pid=16034] ppid=16031 vsize=9972712 memory=17080 CPUtime=0.08 cores=1,3,5,7
/proc/16034/stat : 16034 (java) S 16031 16034 10765 0 -1 1077944320 4518 13311 0 0 1 0 4 3 20 0 6 0 415697705 10212057088 4270 33554432000 4194304 4196468 140729996156816 140729996139360 140674040569591 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
/proc/16034/statm: 2493178 4270 1935 1 0 2481616 0
[pid=16034/tid=16087] ppid=16031 vsize=9972712 memory=7892391828772250251 CPUtime=0.08 cores=1,3,5,7
/proc/16034/task/16087/stat : 16087 (java) R 16031 16034 10765 0 -1 4202560 2347 13311 0 0 1 0 4 3 20 0 6 0 415697714 10212057088 4336 33554432000 4194304 4196468 140729996156816 140674012406352 140674025881593 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16088] ppid=16031 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16088/stat : 16088 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 6 0 415697714 10212057088 4336 33554432000 4194304 4196468 140729996156816 140674044812176 140674040579797 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16089] ppid=16031 vsize=9972712 memory=140035520755328 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16089/stat : 16089 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 6 0 415697714 10212057088 4336 33554432000 4194304 4196468 140729996156816 140673943702288 140674040579797 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16090] ppid=16031 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16090/stat : 16090 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 6 0 415697714 10212057088 4336 33554432000 4194304 4196468 140729996156816 140673942650000 140674040579797 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16091] ppid=16031 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16091/stat : 16091 (java) S 16031 16034 10765 0 -1 1077944384 2 13311 0 0 0 0 4 3 20 0 6 0 415697714 10212057088 4336 33554432000 4194304 4196468 140729996156816 140673941597200 140674040579797 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB

[startup+0.210546 s]*
/proc/loadavg: 1.70 1.49 1.41 3/230 16100
/proc/meminfo: memFree=26105596/32770624 swapFree=66939840/67108860
[pid=16034] ppid=16031 vsize=10819664 memory=39448 CPUtime=0.25 cores=1,3,5,7
/proc/16034/stat : 16034 (java) S 16031 16034 10765 0 -1 1077944320 7174 13311 0 0 16 2 4 3 20 0 15 0 415697705 11079335936 9862 33554432000 4194304 4196468 140729996156816 140729996139360 140674040569591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
/proc/16034/statm: 2704916 9862 3164 1 0 2667149 0
[pid=16034/tid=16087] ppid=16031 vsize=10819664 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/16034/task/16087/stat : 16087 (java) R 16031 16034 10765 0 -1 4202560 3680 13311 0 0 10 1 4 3 20 0 15 0 415697714 11079335936 9862 33554432000 4194304 4196468 140729996156816 140674012386704 140674024650078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16088] ppid=16031 vsize=10819664 memory=365 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16088/stat : 16088 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697714 11079335936 9862 33554432000 4194304 4196468 140729996156816 140674044812176 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16089] ppid=16031 vsize=10819664 memory=288370411672467072 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16089/stat : 16089 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697714 11079335936 9862 33554432000 4194304 4196468 140729996156816 140673943702288 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16090] ppid=16031 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16090/stat : 16090 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697714 11079335936 9862 33554432000 4194304 4196468 140729996156816 140673942650000 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16091] ppid=16031 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16091/stat : 16091 (java) S 16031 16034 10765 0 -1 1077944384 2 13311 0 0 0 0 4 3 20 0 15 0 415697714 11079335936 9862 33554432000 4194304 4196468 140729996156816 140673941597200 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16092] ppid=16031 vsize=10819664 memory=140035520755328 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16092/stat : 16092 (java) S 16031 16034 10765 0 -1 1077944384 2 13311 0 0 0 0 4 3 20 0 15 0 415697716 11079335936 9862 33554432000 4194304 4196468 140729996156816 140673499814000 140674040580738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16093] ppid=16031 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16093/stat : 16093 (java) S 16031 16034 10765 0 -1 1077944384 13 13311 0 0 0 0 4 3 20 0 15 0 415697716 11079335936 9862 33554432000 4194304 4196468 140729996156816 140673399382816 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16094] ppid=16031 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16094/stat : 16094 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697716 11079335936 9862 33554432000 4194304 4196468 140729996156816 140672795403376 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16095] ppid=16031 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16095/stat : 16095 (java) S 16031 16034 10765 0 -1 1077944384 3 13311 0 0 0 0 4 3 20 0 15 0 415697719 11079335936 9862 33554432000 4194304 4196468 140729996156816 140672555112528 140674040588187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16096] ppid=16031 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16034/task/16096/stat : 16096 (java) S 16031 16034 10765 0 -1 1077944384 579 13311 0 0 1 0 4 3 20 0 15 0 415697719 11079335936 9862 33554432000 4194304 4196468 140729996156816 140673498761840 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16097] ppid=16031 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16097/stat : 16097 (java) S 16031 16034 10765 0 -1 1077944384 67 13311 0 0 0 0 4 3 20 0 15 0 415697719 11079335936 9862 33554432000 4194304 4196468 140729996156816 140673497709040 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16098] ppid=16031 vsize=10819664 memory=140035520755328 CPUtime=0.1 cores=1,3,5,7
/proc/16034/task/16098/stat : 16098 (java) S 16031 16034 10765 0 -1 1077944384 613 13311 0 0 3 0 4 3 20 0 15 0 415697719 11079335936 9862 33554432000 4194304 4196468 140729996156816 140673496656752 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16099] ppid=16031 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16099/stat : 16099 (java) S 16031 16034 10765 0 -1 1077944384 3 13311 0 0 0 0 4 3 20 0 15 0 415697719 11079335936 9862 33554432000 4194304 4196468 140729996156816 140672521554912 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16100] ppid=16031 vsize=10819664 memory=140035520755328 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16100/stat : 16100 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697720 11079335936 9862 33554432000 4194304 4196468 140729996156816 140673495603632 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39448 KiB

[startup+0.310494 s]*
/proc/loadavg: 1.70 1.49 1.41 4/230 16100
/proc/meminfo: memFree=26092656/32770624 swapFree=66939840/67108860
[pid=16034] ppid=16031 vsize=10820148 memory=50596 CPUtime=0.39 cores=1,3,5,7
/proc/16034/stat : 16034 (java) S 16031 16034 10765 0 -1 1077944320 10877 13311 0 0 29 3 4 3 20 0 15 0 415697705 11079831552 12649 33554432000 4194304 4196468 140729996156816 140729996139360 140674040569591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
/proc/16034/statm: 2705037 12649 3296 1 0 2667149 0
[pid=16034/tid=16087] ppid=16031 vsize=10820148 memory=8317482817917895235 CPUtime=0.27 cores=1,3,5,7
/proc/16034/task/16087/stat : 16087 (java) R 16031 16034 10765 0 -1 4202560 7362 13311 0 0 18 2 4 3 20 0 15 0 415697714 11079831552 12649 33554432000 4194304 4196468 140729996156816 140674012369504 140674023756417 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16088] ppid=16031 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16088/stat : 16088 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697714 11079831552 12649 33554432000 4194304 4196468 140729996156816 140674044812176 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16089] ppid=16031 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16089/stat : 16089 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697714 11079831552 12649 33554432000 4194304 4196468 140729996156816 140673943702288 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16090] ppid=16031 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16090/stat : 16090 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697714 11079831552 12649 33554432000 4194304 4196468 140729996156816 140673942650000 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16091] ppid=16031 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16091/stat : 16091 (java) S 16031 16034 10765 0 -1 1077944384 2 13311 0 0 0 0 4 3 20 0 15 0 415697714 11079831552 12649 33554432000 4194304 4196468 140729996156816 140673941597200 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16092] ppid=16031 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16092/stat : 16092 (java) S 16031 16034 10765 0 -1 1077944384 2 13311 0 0 0 0 4 3 20 0 15 0 415697716 11079831552 12649 33554432000 4194304 4196468 140729996156816 140673499814000 140674040580738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16093] ppid=16031 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16093/stat : 16093 (java) S 16031 16034 10765 0 -1 1077944384 13 13311 0 0 0 0 4 3 20 0 15 0 415697716 11079831552 12649 33554432000 4194304 4196468 140729996156816 140673399382816 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16094] ppid=16031 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16094/stat : 16094 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697716 11079831552 12649 33554432000 4194304 4196468 140729996156816 140672795403376 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16095] ppid=16031 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16095/stat : 16095 (java) S 16031 16034 10765 0 -1 1077944384 3 13311 0 0 0 0 4 3 20 0 15 0 415697719 11079831552 12649 33554432000 4194304 4196468 140729996156816 140672555112528 140674040588187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16096] ppid=16031 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/16034/task/16096/stat : 16096 (java) S 16031 16034 10765 0 -1 1077944384 580 13311 0 0 2 0 4 3 20 0 15 0 415697719 11079831552 12649 33554432000 4194304 4196468 140729996156816 140673498761840 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16097] ppid=16031 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16034/task/16097/stat : 16097 (java) S 16031 16034 10765 0 -1 1077944384 76 13311 0 0 1 0 4 3 20 0 15 0 415697719 11079831552 12649 33554432000 4194304 4196468 140729996156816 140673497709040 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16098] ppid=16031 vsize=10820148 memory=140035520755328 CPUtime=0.12 cores=1,3,5,7
/proc/16034/task/16098/stat : 16098 (java) S 16031 16034 10765 0 -1 1077944384 622 13311 0 0 5 0 4 3 20 0 15 0 415697719 11079831552 12649 33554432000 4194304 4196468 140729996156816 140673496656752 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16099] ppid=16031 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16099/stat : 16099 (java) S 16031 16034 10765 0 -1 1077944384 3 13311 0 0 0 0 4 3 20 0 15 0 415697719 11079831552 12649 33554432000 4194304 4196468 140729996156816 140672521554912 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16100] ppid=16031 vsize=10820148 memory=140035520755328 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16100/stat : 16100 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697720 11079831552 12649 33554432000 4194304 4196468 140729996156816 140673495603632 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50596 KiB

[startup+0.701546 s]
/proc/loadavg: 1.70 1.49 1.41 4/230 16100
/proc/meminfo: memFree=26078364/32770624 swapFree=66939840/67108860
[pid=16034] ppid=16031 vsize=10824360 memory=83220 CPUtime=1.14 cores=1,3,5,7
/proc/16034/stat : 16034 (java) S 16031 16034 10765 0 -1 1077944320 15038 13311 0 0 101 6 4 3 20 0 15 0 415697705 11084144640 20805 33554432000 4194304 4196468 140729996156816 140729996139360 140674040569591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
/proc/16034/statm: 2706090 20805 3501 1 0 2668173 0
[pid=16034/tid=16087] ppid=16031 vsize=10824360 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/16034/task/16087/stat : 16087 (java) R 16031 16034 10765 0 -1 4202560 10326 13311 0 0 54 4 4 3 20 0 15 0 415697714 11084144640 20805 33554432000 4194304 4196468 140729996156816 140674012394088 140674022976592 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16088] ppid=16031 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16088/stat : 16088 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697714 11084144640 20805 33554432000 4194304 4196468 140729996156816 140674044812176 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16089] ppid=16031 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16089/stat : 16089 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697714 11084144640 20805 33554432000 4194304 4196468 140729996156816 140673943702288 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16090] ppid=16031 vsize=10824360 memory=140035395563728 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16090/stat : 16090 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697714 11084144640 20805 33554432000 4194304 4196468 140729996156816 140673942650000 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16091] ppid=16031 vsize=10824360 memory=140037408686699 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16091/stat : 16091 (java) S 16031 16034 10765 0 -1 1077944384 2 13311 0 0 0 0 4 3 20 0 15 0 415697714 11084144640 20805 33554432000 4194304 4196468 140729996156816 140673941597200 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16092] ppid=16031 vsize=10824360 memory=1076 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16092/stat : 16092 (java) S 16031 16034 10765 0 -1 1077944384 5 13311 0 0 0 0 4 3 20 0 15 0 415697716 11084144640 20805 33554432000 4194304 4196468 140729996156816 140673499814000 140674040580738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16093] ppid=16031 vsize=10824360 memory=7014751519650698577 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16093/stat : 16093 (java) S 16031 16034 10765 0 -1 1077944384 13 13311 0 0 0 0 4 3 20 0 15 0 415697716 11084144640 20805 33554432000 4194304 4196468 140729996156816 140673399382816 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16094] ppid=16031 vsize=10824360 memory=7883666959028541805 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16094/stat : 16094 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697716 11084144640 20805 33554432000 4194304 4196468 140729996156816 140672795403376 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16095] ppid=16031 vsize=10824360 memory=14056 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16095/stat : 16095 (java) S 16031 16034 10765 0 -1 1077944384 3 13311 0 0 0 0 4 3 20 0 15 0 415697719 11084144640 20805 33554432000 4194304 4196468 140729996156816 140672555112528 140674040588187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16096] ppid=16031 vsize=10824360 memory=2116 CPUtime=0.2 cores=1,3,5,7
/proc/16034/task/16096/stat : 16096 (java) R 16031 16034 10765 0 -1 4202560 1056 13311 0 0 13 0 4 3 20 0 15 0 415697719 11084144640 20805 33554432000 4194304 4196468 140729996156816 140673498761840 140674024055491 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16097] ppid=16031 vsize=10824360 memory=520 CPUtime=0.21 cores=1,3,5,7
/proc/16034/task/16097/stat : 16097 (java) S 16031 16034 10765 0 -1 1077944384 580 13311 0 0 14 0 4 3 20 0 15 0 415697719 11084144640 20805 33554432000 4194304 4196468 140729996156816 140673497709040 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16098] ppid=16031 vsize=10824360 memory=1560 CPUtime=0.24 cores=1,3,5,7
/proc/16034/task/16098/stat : 16098 (java) S 16031 16034 10765 0 -1 1077944384 836 13311 0 0 17 0 4 3 20 0 15 0 415697719 11084144640 20805 33554432000 4194304 4196468 140729996156816 140673496656752 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16099] ppid=16031 vsize=10824360 memory=924 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16099/stat : 16099 (java) S 16031 16034 10765 0 -1 1077944384 3 13311 0 0 0 0 4 3 20 0 15 0 415697719 11084144640 20805 33554432000 4194304 4196468 140729996156816 140672521554912 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16100] ppid=16031 vsize=10824360 memory=3688 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16100/stat : 16100 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697720 11084144640 20805 33554432000 4194304 4196468 140729996156816 140673495603632 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83220 KiB

[startup+1.50065 s]
/proc/loadavg: 1.70 1.49 1.41 3/230 16100
/proc/meminfo: memFree=26034476/32770624 swapFree=66939840/67108860
[pid=16034] ppid=16031 vsize=10834676 memory=170780 CPUtime=2.47 cores=1,3,5,7
/proc/16034/stat : 16034 (java) S 16031 16034 10765 0 -1 1077944320 21565 13311 0 0 231 9 4 3 20 0 15 0 415697705 11094708224 42695 33554432000 4194304 4196468 140729996156816 140729996139360 140674040569591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
/proc/16034/statm: 2708669 42695 3574 1 0 2670733 0
[pid=16034/tid=16087] ppid=16031 vsize=10834676 memory=167620 CPUtime=1.42 cores=1,3,5,7
/proc/16034/task/16087/stat : 16087 (java) R 16031 16034 10765 0 -1 4202560 15144 13311 0 0 129 6 4 3 20 0 15 0 415697714 11094708224 42695 33554432000 4194304 4196468 140729996156816 140674012371536 140674040581526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16088] ppid=16031 vsize=10834676 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/16034/task/16088/stat : 16088 (java) S 16031 16034 10765 0 -1 1077944384 373 13311 0 0 1 0 4 3 20 0 15 0 415697714 11094708224 42695 33554432000 4194304 4196468 140729996156816 140674044812176 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16089] ppid=16031 vsize=10834676 memory=7976406965554101975 CPUtime=0.08 cores=1,3,5,7
/proc/16034/task/16089/stat : 16089 (java) S 16031 16034 10765 0 -1 1077944384 65 13311 0 0 1 0 4 3 20 0 15 0 415697714 11094708224 42695 33554432000 4194304 4196468 140729996156816 140673943702288 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16090] ppid=16031 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16034/task/16090/stat : 16090 (java) S 16031 16034 10765 0 -1 1077944384 58 13311 0 0 1 0 4 3 20 0 15 0 415697714 11094708224 42695 33554432000 4194304 4196468 140729996156816 140673942650000 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16091] ppid=16031 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16091/stat : 16091 (java) S 16031 16034 10765 0 -1 1077944384 16 13311 0 0 0 0 4 3 20 0 15 0 415697714 11094708224 42695 33554432000 4194304 4196468 140729996156816 140673941597200 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16092] ppid=16031 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16034/task/16092/stat : 16092 (java) S 16031 16034 10765 0 -1 1077944384 133 13311 0 0 1 0 4 3 20 0 15 0 415697716 11094708224 42695 33554432000 4194304 4196468 140729996156816 140673499814000 140674040580738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16093] ppid=16031 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16093/stat : 16093 (java) S 16031 16034 10765 0 -1 1077944384 14 13311 0 0 0 0 4 3 20 0 15 0 415697716 11094708224 42695 33554432000 4194304 4196468 140729996156816 140673399382880 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16094] ppid=16031 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16094/stat : 16094 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697716 11094708224 42695 33554432000 4194304 4196468 140729996156816 140672795403392 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16095] ppid=16031 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16095/stat : 16095 (java) S 16031 16034 10765 0 -1 1077944384 3 13311 0 0 0 0 4 3 20 0 15 0 415697719 11094708224 42695 33554432000 4194304 4196468 140729996156816 140672555112528 140674040588187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16096] ppid=16031 vsize=10834676 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/16034/task/16096/stat : 16096 (java) S 16031 16034 10765 0 -1 1077944384 1231 13311 0 0 25 0 4 3 20 0 15 0 415697719 11094708224 42695 33554432000 4194304 4196468 140729996156816 140673498761840 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16097] ppid=16031 vsize=10834676 memory=4580 CPUtime=0.34 cores=1,3,5,7
/proc/16034/task/16097/stat : 16097 (java) S 16031 16034 10765 0 -1 1077944384 773 13311 0 0 27 0 4 3 20 0 15 0 415697719 11094708224 42695 33554432000 4194304 4196468 140729996156816 140673497709040 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16098] ppid=16031 vsize=10834676 memory=7380671291460249174 CPUtime=0.48 cores=1,3,5,7
/proc/16034/task/16098/stat : 16098 (java) R 16031 16034 10765 0 -1 4202560 1541 13311 0 0 41 0 4 3 20 0 15 0 415697719 11094708224 42695 33554432000 4194304 4196468 140729996156816 140673496656752 140674040590938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16099] ppid=16031 vsize=10834676 memory=8026650869813564775 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16099/stat : 16099 (java) S 16031 16034 10765 0 -1 1077944384 3 13311 0 0 0 0 4 3 20 0 15 0 415697719 11094708224 42695 33554432000 4194304 4196468 140729996156816 140672521554912 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16100] ppid=16031 vsize=10834676 memory=7883668174538237521 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16100/stat : 16100 (java) S 16031 16034 10765 0 -1 1077944384 1 13311 0 0 0 0 4 3 20 0 15 0 415697720 11094708224 42695 33554432000 4194304 4196468 140729996156816 140673495603632 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834676 KiB

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

/proc/16034/task/16087/stat : 16087 (java) R 16031 16034 10765 0 -1 4202560 47043 13311 0 0 225319 21 4 3 20 0 15 0 415697714 11107311616 83052 33554432000 4194304 4196468 140729996156816 140674012405376 140673632412252 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16088] ppid=16031 vsize=10846984 memory=332208 CPUtime=4.18 cores=1,3,5,7
/proc/16034/task/16088/stat : 16088 (java) S 16031 16034 10765 0 -1 1077944384 8631 13311 0 0 390 21 4 3 20 0 15 0 415697714 11107311616 83052 33554432000 4194304 4196468 140729996156816 140674044812176 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16089] ppid=16031 vsize=10846984 memory=332208 CPUtime=4.19 cores=1,3,5,7
/proc/16034/task/16089/stat : 16089 (java) S 16031 16034 10765 0 -1 1077944384 6211 13311 0 0 391 21 4 3 20 0 15 0 415697714 11107311616 83052 33554432000 4194304 4196468 140729996156816 140673943702288 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16090] ppid=16031 vsize=10846984 memory=332208 CPUtime=4.17 cores=1,3,5,7
/proc/16034/task/16090/stat : 16090 (java) S 16031 16034 10765 0 -1 1077944384 8034 13311 0 0 387 23 4 3 20 0 15 0 415697714 11107311616 83052 33554432000 4194304 4196468 140729996156816 140673942650000 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16091] ppid=16031 vsize=10846984 memory=332208 CPUtime=4.19 cores=1,3,5,7
/proc/16034/task/16091/stat : 16091 (java) S 16031 16034 10765 0 -1 1077944384 3809 13311 0 0 391 21 4 3 20 0 15 0 415697714 11107311616 83052 33554432000 4194304 4196468 140729996156816 140673941597200 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16092] ppid=16031 vsize=10846984 memory=332208 CPUtime=3.57 cores=1,3,5,7
/proc/16034/task/16092/stat : 16092 (java) S 16031 16034 10765 0 -1 1077944384 9412 13311 0 0 326 24 4 3 20 0 15 0 415697716 11107311616 83052 33554432000 4194304 4196468 140729996156816 140673499814000 140674040580738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16093] ppid=16031 vsize=10846984 memory=332208 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16093/stat : 16093 (java) S 16031 16034 10765 0 -1 1077944384 26 13311 0 0 0 0 4 3 20 0 15 0 415697716 11107311616 83052 33554432000 4194304 4196468 140729996156816 140673399382880 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16094] ppid=16031 vsize=10846984 memory=332208 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16094/stat : 16094 (java) S 16031 16034 10765 0 -1 1077944384 24 13311 0 0 0 0 4 3 20 0 15 0 415697716 11107311616 83052 33554432000 4194304 4196468 140729996156816 140672795403392 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16095] ppid=16031 vsize=10846984 memory=332208 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16095/stat : 16095 (java) S 16031 16034 10765 0 -1 1077944384 3 13311 0 0 0 0 4 3 20 0 15 0 415697719 11107311616 83052 33554432000 4194304 4196468 140729996156816 140672555112528 140674040588187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16096] ppid=16031 vsize=10846984 memory=332208 CPUtime=4.08 cores=1,3,5,7
/proc/16034/task/16096/stat : 16096 (java) S 16031 16034 10765 0 -1 1077944384 33193 13311 0 0 397 4 4 3 20 0 15 0 415697719 11107311616 83052 33554432000 4194304 4196468 140729996156816 140673498761840 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16097] ppid=16031 vsize=10846984 memory=1052 CPUtime=3.39 cores=1,3,5,7
/proc/16034/task/16097/stat : 16097 (java) S 16031 16034 10765 0 -1 1077944384 22616 13311 0 0 330 2 4 3 20 0 15 0 415697719 11107311616 83052 33554432000 4194304 4196468 140729996156816 140673497709040 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16098] ppid=16031 vsize=10846984 memory=332208 CPUtime=1.92 cores=1,3,5,7
/proc/16034/task/16098/stat : 16098 (java) S 16031 16034 10765 0 -1 1077944384 16706 13311 0 0 182 3 4 3 20 0 15 0 415697719 11107311616 83052 33554432000 4194304 4196468 140729996156816 140673496656752 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16099] ppid=16031 vsize=10846984 memory=3504 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16099/stat : 16099 (java) S 16031 16034 10765 0 -1 1077944384 3 13311 0 0 0 0 4 3 20 0 15 0 415697719 11107311616 83052 33554432000 4194304 4196468 140729996156816 140672521554912 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16100] ppid=16031 vsize=10846984 memory=332208 CPUtime=0.93 cores=1,3,5,7
/proc/16034/task/16100/stat : 16100 (java) S 16031 16034 10765 0 -1 1077944384 1158 13311 0 0 42 44 4 3 20 0 15 0 415697720 11107311616 83052 33554432000 4194304 4196468 140729996156816 140673495603632 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
Current children cumulated CPU time: 2283.56 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 332208 KiB

[startup+2322.3 s]
/proc/loadavg: 1.40 1.35 1.39 3/229 16444
/proc/meminfo: memFree=25468956/32770624 swapFree=66939840/67108860
[pid=16034] ppid=16031 vsize=10846984 memory=328100 CPUtime=2343.9 cores=1,3,5,7
/proc/16034/stat : 16034 (java) S 16031 16034 10765 0 -1 1077944320 159770 13311 0 0 234214 169 4 3 20 0 15 0 415697705 11107311616 82025 33554432000 4194304 4196468 140729996156816 140729996139360 140674040569591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
/proc/16034/statm: 2711746 82025 3626 1 0 2673805 0
[pid=16034/tid=16087] ppid=16031 vsize=10846984 memory=56 CPUtime=2313.23 cores=1,3,5,7
/proc/16034/task/16087/stat : 16087 (java) R 16031 16034 10765 0 -1 4202560 47404 13311 0 0 231295 21 4 3 20 0 15 0 415697714 11107311616 82025 33554432000 4194304 4196468 140729996156816 140674012405776 140673631799935 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16088] ppid=16031 vsize=10846984 memory=332208 CPUtime=4.3 cores=1,3,5,7
/proc/16034/task/16088/stat : 16088 (java) S 16031 16034 10765 0 -1 1077944384 8816 13311 0 0 401 22 4 3 20 0 15 0 415697714 11107311616 82025 33554432000 4194304 4196468 140729996156816 140674044812176 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16089] ppid=16031 vsize=10846984 memory=331696 CPUtime=4.32 cores=1,3,5,7
/proc/16034/task/16089/stat : 16089 (java) S 16031 16034 10765 0 -1 1077944384 6226 13311 0 0 403 22 4 3 20 0 15 0 415697714 11107311616 82025 33554432000 4194304 4196468 140729996156816 140673943702288 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16090] ppid=16031 vsize=10846984 memory=331184 CPUtime=4.28 cores=1,3,5,7
/proc/16034/task/16090/stat : 16090 (java) S 16031 16034 10765 0 -1 1077944384 8056 13311 0 0 398 23 4 3 20 0 15 0 415697714 11107311616 82025 33554432000 4194304 4196468 140729996156816 140673942650000 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16091] ppid=16031 vsize=10846984 memory=330668 CPUtime=4.3 cores=1,3,5,7
/proc/16034/task/16091/stat : 16091 (java) S 16031 16034 10765 0 -1 1077944384 3873 13311 0 0 402 21 4 3 20 0 15 0 415697714 11107311616 82025 33554432000 4194304 4196468 140729996156816 140673941597200 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16092] ppid=16031 vsize=10846984 memory=328616 CPUtime=3.67 cores=1,3,5,7
/proc/16034/task/16092/stat : 16092 (java) S 16031 16034 10765 0 -1 1077944384 9445 13311 0 0 335 25 4 3 20 0 15 0 415697716 11107311616 82025 33554432000 4194304 4196468 140729996156816 140673499814000 140674040580738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16093] ppid=16031 vsize=10846984 memory=328100 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16093/stat : 16093 (java) S 16031 16034 10765 0 -1 1077944384 26 13311 0 0 0 0 4 3 20 0 15 0 415697716 11107311616 82025 33554432000 4194304 4196468 140729996156816 140673399382880 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16094] ppid=16031 vsize=10846984 memory=22787 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16094/stat : 16094 (java) S 16031 16034 10765 0 -1 1077944384 24 13311 0 0 0 0 4 3 20 0 15 0 415697716 11107311616 82025 33554432000 4194304 4196468 140729996156816 140672795403392 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16095] ppid=16031 vsize=10846984 memory=9580 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16095/stat : 16095 (java) S 16031 16034 10765 0 -1 1077944384 3 13311 0 0 0 0 4 3 20 0 15 0 415697719 11107311616 82025 33554432000 4194304 4196468 140729996156816 140672555112528 140674040588187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16096] ppid=16031 vsize=10846984 memory=1052 CPUtime=4.08 cores=1,3,5,7
/proc/16034/task/16096/stat : 16096 (java) S 16031 16034 10765 0 -1 1077944384 33195 13311 0 0 397 4 4 3 20 0 15 0 415697719 11107311616 82025 33554432000 4194304 4196468 140729996156816 140673498761840 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16097] ppid=16031 vsize=10846984 memory=3060 CPUtime=3.39 cores=1,3,5,7
/proc/16034/task/16097/stat : 16097 (java) S 16031 16034 10765 0 -1 1077944384 22618 13311 0 0 330 2 4 3 20 0 15 0 415697719 11107311616 82025 33554432000 4194304 4196468 140729996156816 140673497709040 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16098] ppid=16031 vsize=10846984 memory=953872 CPUtime=1.92 cores=1,3,5,7
/proc/16034/task/16098/stat : 16098 (java) S 16031 16034 10765 0 -1 1077944384 16708 13311 0 0 182 3 4 3 20 0 15 0 415697719 11107311616 82025 33554432000 4194304 4196468 140729996156816 140673496656752 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16099] ppid=16031 vsize=10846984 memory=328100 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16099/stat : 16099 (java) S 16031 16034 10765 0 -1 1077944384 3 13311 0 0 0 0 4 3 20 0 15 0 415697719 11107311616 82025 33554432000 4194304 4196468 140729996156816 140672521554912 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16100] ppid=16031 vsize=10846984 memory=328616 CPUtime=0.95 cores=1,3,5,7
/proc/16034/task/16100/stat : 16100 (java) S 16031 16034 10765 0 -1 1077944384 1164 13311 0 0 43 45 4 3 20 0 15 0 415697720 11107311616 82025 33554432000 4194304 4196468 140729996156816 140673495603632 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
Current children cumulated CPU time: 2343.9 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 328100 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2378.11 s]
/proc/loadavg: 1.15 1.30 1.37 3/228 16447
/proc/meminfo: memFree=25466000/32770624 swapFree=66939840/67108860
[pid=16034] ppid=16031 vsize=10846984 memory=327588 CPUtime=2400.03 cores=1,3,5,7
/proc/16034/stat : 16034 (java) S 16031 16034 10765 0 -1 1077944320 160328 13311 0 0 239824 172 4 3 20 0 15 0 415697705 11107311616 81897 33554432000 4194304 4196468 140729996156816 140729996139360 140674040569591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
/proc/16034/statm: 2711746 81897 3626 1 0 2673805 0
[pid=16034/tid=16087] ppid=16031 vsize=10846984 memory=327588 CPUtime=2368.83 cores=1,3,5,7
/proc/16034/task/16087/stat : 16087 (java) R 16031 16034 10765 0 -1 4202560 47648 13311 0 0 236854 22 4 3 20 0 15 0 415697714 11107311616 81897 33554432000 4194304 4196468 140729996156816 140674012405520 140673626783679 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16088] ppid=16031 vsize=10846984 memory=327588 CPUtime=4.4 cores=1,3,5,7
/proc/16034/task/16088/stat : 16088 (java) S 16031 16034 10765 0 -1 1077944384 8821 13311 0 0 411 22 4 3 20 0 15 0 415697714 11107311616 81897 33554432000 4194304 4196468 140729996156816 140674044812176 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16089] ppid=16031 vsize=10846984 memory=327588 CPUtime=4.42 cores=1,3,5,7
/proc/16034/task/16089/stat : 16089 (java) S 16031 16034 10765 0 -1 1077944384 6296 13311 0 0 413 22 4 3 20 0 15 0 415697714 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673943702288 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16090] ppid=16031 vsize=10846984 memory=327588 CPUtime=4.38 cores=1,3,5,7
/proc/16034/task/16090/stat : 16090 (java) S 16031 16034 10765 0 -1 1077944384 8060 13311 0 0 407 24 4 3 20 0 15 0 415697714 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673942650000 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16091] ppid=16031 vsize=10846984 memory=327588 CPUtime=4.41 cores=1,3,5,7
/proc/16034/task/16091/stat : 16091 (java) S 16031 16034 10765 0 -1 1077944384 3912 13311 0 0 412 22 4 3 20 0 15 0 415697714 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673941597200 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16092] ppid=16031 vsize=10846984 memory=327588 CPUtime=3.75 cores=1,3,5,7
/proc/16034/task/16092/stat : 16092 (java) S 16031 16034 10765 0 -1 1077944384 9625 13311 0 0 343 25 4 3 20 0 15 0 415697716 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673499814000 140674040580738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16093] ppid=16031 vsize=10846984 memory=327588 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16093/stat : 16093 (java) S 16031 16034 10765 0 -1 1077944384 26 13311 0 0 0 0 4 3 20 0 15 0 415697716 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673399382880 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16094] ppid=16031 vsize=10846984 memory=327588 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16094/stat : 16094 (java) S 16031 16034 10765 0 -1 1077944384 24 13311 0 0 0 0 4 3 20 0 15 0 415697716 11107311616 81897 33554432000 4194304 4196468 140729996156816 140672795403392 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16095] ppid=16031 vsize=10846984 memory=327588 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16095/stat : 16095 (java) S 16031 16034 10765 0 -1 1077944384 3 13311 0 0 0 0 4 3 20 0 15 0 415697719 11107311616 81897 33554432000 4194304 4196468 140729996156816 140672555112528 140674040588187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16096] ppid=16031 vsize=10846984 memory=327588 CPUtime=4.08 cores=1,3,5,7
/proc/16034/task/16096/stat : 16096 (java) S 16031 16034 10765 0 -1 1077944384 33195 13311 0 0 397 4 4 3 20 0 15 0 415697719 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673498761840 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16097] ppid=16031 vsize=10846984 memory=6791534058613427641 CPUtime=3.39 cores=1,3,5,7
/proc/16034/task/16097/stat : 16097 (java) S 16031 16034 10765 0 -1 1077944384 22618 13311 0 0 330 2 4 3 20 0 15 0 415697719 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673497709040 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16098] ppid=16031 vsize=10846984 memory=668 CPUtime=1.92 cores=1,3,5,7
/proc/16034/task/16098/stat : 16098 (java) S 16031 16034 10765 0 -1 1077944384 16708 13311 0 0 182 3 4 3 20 0 15 0 415697719 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673496656752 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16099] ppid=16031 vsize=10846984 memory=3504 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16099/stat : 16099 (java) S 16031 16034 10765 0 -1 1077944384 3 13311 0 0 0 0 4 3 20 0 15 0 415697719 11107311616 81897 33554432000 4194304 4196468 140729996156816 140672521554912 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16100] ppid=16031 vsize=10846984 memory=40044 CPUtime=0.97 cores=1,3,5,7
/proc/16034/task/16100/stat : 16100 (java) S 16031 16034 10765 0 -1 1077944384 1180 13311 0 0 44 46 4 3 20 0 15 0 415697720 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673495603632 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 327588 KiB

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

[startup+2378.13 s]
# the end of solver process 16034 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.31 s, system=1.76393 s

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

[startup+2378.11 s]
/proc/loadavg: 1.15 1.30 1.37 3/228 16447
/proc/meminfo: memFree=25466000/32770624 swapFree=66939840/67108860
[pid=16034] ppid=16031 vsize=10846984 memory=327588 CPUtime=2400.03 cores=1,3,5,7
/proc/16034/stat : 16034 (java) S 16031 16034 10765 0 -1 1077944320 160328 13311 0 0 239824 172 4 3 20 0 15 0 415697705 11107311616 81897 33554432000 4194304 4196468 140729996156816 140729996139360 140674040569591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
/proc/16034/statm: 2711746 81897 3626 1 0 2673805 0
[pid=16034/tid=16087] ppid=16031 vsize=10846984 memory=327588 CPUtime=2368.83 cores=1,3,5,7
/proc/16034/task/16087/stat : 16087 (java) R 16031 16034 10765 0 -1 4202560 47648 13311 0 0 236854 22 4 3 20 0 15 0 415697714 11107311616 81897 33554432000 4194304 4196468 140729996156816 140674012405520 140673626783679 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16088] ppid=16031 vsize=10846984 memory=327588 CPUtime=4.4 cores=1,3,5,7
/proc/16034/task/16088/stat : 16088 (java) S 16031 16034 10765 0 -1 1077944384 8821 13311 0 0 411 22 4 3 20 0 15 0 415697714 11107311616 81897 33554432000 4194304 4196468 140729996156816 140674044812176 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16089] ppid=16031 vsize=10846984 memory=327588 CPUtime=4.42 cores=1,3,5,7
/proc/16034/task/16089/stat : 16089 (java) S 16031 16034 10765 0 -1 1077944384 6296 13311 0 0 413 22 4 3 20 0 15 0 415697714 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673943702288 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16090] ppid=16031 vsize=10846984 memory=327588 CPUtime=4.38 cores=1,3,5,7
/proc/16034/task/16090/stat : 16090 (java) S 16031 16034 10765 0 -1 1077944384 8060 13311 0 0 407 24 4 3 20 0 15 0 415697714 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673942650000 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16091] ppid=16031 vsize=10846984 memory=327588 CPUtime=4.41 cores=1,3,5,7
/proc/16034/task/16091/stat : 16091 (java) S 16031 16034 10765 0 -1 1077944384 3912 13311 0 0 412 22 4 3 20 0 15 0 415697714 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673941597200 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16092] ppid=16031 vsize=10846984 memory=327588 CPUtime=3.75 cores=1,3,5,7
/proc/16034/task/16092/stat : 16092 (java) S 16031 16034 10765 0 -1 1077944384 9625 13311 0 0 343 25 4 3 20 0 15 0 415697716 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673499814000 140674040580738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16093] ppid=16031 vsize=10846984 memory=327588 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16093/stat : 16093 (java) S 16031 16034 10765 0 -1 1077944384 26 13311 0 0 0 0 4 3 20 0 15 0 415697716 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673399382880 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16094] ppid=16031 vsize=10846984 memory=327588 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16094/stat : 16094 (java) S 16031 16034 10765 0 -1 1077944384 24 13311 0 0 0 0 4 3 20 0 15 0 415697716 11107311616 81897 33554432000 4194304 4196468 140729996156816 140672795403392 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16095] ppid=16031 vsize=10846984 memory=327588 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16095/stat : 16095 (java) S 16031 16034 10765 0 -1 1077944384 3 13311 0 0 0 0 4 3 20 0 15 0 415697719 11107311616 81897 33554432000 4194304 4196468 140729996156816 140672555112528 140674040588187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16096] ppid=16031 vsize=10846984 memory=327588 CPUtime=4.08 cores=1,3,5,7
/proc/16034/task/16096/stat : 16096 (java) S 16031 16034 10765 0 -1 1077944384 33195 13311 0 0 397 4 4 3 20 0 15 0 415697719 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673498761840 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16097] ppid=16031 vsize=10846984 memory=6791534058613427641 CPUtime=3.39 cores=1,3,5,7
/proc/16034/task/16097/stat : 16097 (java) S 16031 16034 10765 0 -1 1077944384 22618 13311 0 0 330 2 4 3 20 0 15 0 415697719 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673497709040 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16098] ppid=16031 vsize=10846984 memory=668 CPUtime=1.92 cores=1,3,5,7
/proc/16034/task/16098/stat : 16098 (java) S 16031 16034 10765 0 -1 1077944384 16708 13311 0 0 182 3 4 3 20 0 15 0 415697719 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673496656752 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16099] ppid=16031 vsize=10846984 memory=3504 CPUtime=0.07 cores=1,3,5,7
/proc/16034/task/16099/stat : 16099 (java) S 16031 16034 10765 0 -1 1077944384 3 13311 0 0 0 0 4 3 20 0 15 0 415697719 11107311616 81897 33554432000 4194304 4196468 140729996156816 140672521554912 140674040579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
[pid=16034/tid=16100] ppid=16031 vsize=10846984 memory=40044 CPUtime=0.97 cores=1,3,5,7
/proc/16034/task/16100/stat : 16100 (java) S 16031 16034 10765 0 -1 1077944384 1180 13311 0 0 44 46 4 3 20 0 15 0 415697720 11107311616 81897 33554432000 4194304 4196468 140729996156816 140673495603632 140674040580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18341888 140729996163823 140729996166341 140729996166341 140729996169167 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 327588 KiB

Child status: 143
Real time (s): 2378.13
CPU time (s): 2400.07
CPU user time (s): 2398.31
CPU system time (s): 1.76393
CPU usage (%): 100.923
Max. virtual memory (cumulated for all children) (KiB): 10849608
Max. memory (cumulated for all children) (KiB): 511668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.31
system time used= 1.76393
maximum resident set size= 513208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174504
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132498
involuntary context switches= 3048


# summary of solver processes directly reported to runsolver:
#   pid: 16034
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2398.31
#   total CPU system time (s): 1.76393

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5545 second user time and 22.5392 second system time

The end

Name	Cutstock/Cutstock-zinc-s1/ Cutstock-t03-4.xml
MD5SUM	3320713010bd27ff074c3709fe864950
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	19
Best CPU time to get the best result obtained on this benchmark	2000.06
Satisfiable
(Un)Satisfiability was proved
Number of variables	672
Number of constraints	54
Number of domains	14
Minimum domain size	2
Maximum domain size	19
Distribution of domain sizes	[{"size":2,"count":96},{"size":3,"count":32},{"size":6,"count":32},{"size":7,"count":64},{"size":8,"count":32},{"size":9,"count":32},{"size":10,"count":32},{"size":11,"count":64},{"size":12,"count":32},{"size":13,"count":32},{"size":15,"count":32},{"size":16,"count":64},{"size":17,"count":64},{"size":19,"count":64}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":672}]
Minimum constraint arity	21
Maximum constraint arity	640
Distribution of constraint arities	[{"arity":21,"count":32},{"arity":32,"count":21},{"arity":640,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":52}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4396592

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