Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Concrete 3.12.2 | SAT (TO) | 5 | 2400.11 | 2347.74 |
Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-30-1.xml |
MD5SUM | 67a2d403e3bfd604d92484151c447548 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 21.818 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2760 |
Number of constraints | 2731 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 31 |
Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
Number of extensional constraints | 900 |
Number of intensional constraints | 900 |
Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.79/0.60 c Concrete v3.12.2.1568380929293 running 25.23/9.64 o 12 80.81/60.18 o 11 81.41/60.60 o 10 260.95/236.88 o 9 262.85/238.69 o 8 273.07/248.66 o 7 298.90/274.17 o 6 308.72/283.82 o 5 2400.05/2347.71 Exception in thread "main" java.util.concurrent.TimeoutException 2400.05/2347.71 at concrete.MAC.mac(MAC.scala:192) 2400.05/2347.71 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2400.05/2347.71 at scala.util.Try$.apply(Try.scala:212) 2400.05/2347.71 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2400.05/2347.71 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2400.05/2347.71 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2400.05/2347.71 at concrete.MAC.oneRun(MAC.scala:265) 2400.05/2347.71 at concrete.MAC.nextSolution(MAC.scala:284) 2400.05/2347.71 at concrete.MAC.nextSolution(MAC.scala:369) 2400.05/2347.71 at concrete.Solver.hasNext(Solver.scala:160) 2400.05/2347.71 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2400.05/2347.71 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2400.05/2347.71 at concrete.Solver.foreach(Solver.scala:67) 2400.05/2347.71 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73) 2400.05/2347.71 at scala.util.Success.map(Try.scala:264) 2400.05/2347.71 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2400.05/2347.71 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2400.05/2347.71 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.05/2347.71 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2400.05/2347.71 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.05/2347.71 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2400.05/2347.71 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2400.05/2347.71 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2400.05/2347.71 at scala.App.$anonfun$main$1(App.scala:75) 2400.05/2347.71 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2400.05/2347.71 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2400.05/2347.71 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2400.05/2347.71 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2400.05/2347.71 at scala.App.main(App.scala:75) 2400.05/2347.71 at scala.App.main$(App.scala:73) 2400.05/2347.71 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.05/2347.71 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.05/2347.71 v <instantiation 2400.05/2347.71 v cost = '5'> 2400.05/2347.71 v <list> 2400.05/2347.71 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] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[15][15] np[15][16] np[15][17] np[15][18] np[15][19] np[15][20] np[15][21] np[15][22] np[15][23] np[15][24] np[15][25] np[15][26] np[15][27] np[15][28] np[15][29] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[16][15] np[16][16] np[16][17] np[16][18] np[16][19] np[16][20] np[16][21] np[16][22] np[16][23] np[16][24] np[16][25] np[16][26] np[16][27] np[16][28] np[16][29] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[17][15] np[17][16] np[17][17] np[17][18] np[17][19] np[17][20] np[17][21] np[17][22] np[17][23] np[17][24] np[17][25] np[17][26] np[17][27] np[17][28] np[17][29] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[18][15] np[18][16] np[18][17] np[18][18] np[18][19] np[18][20] np[18][21] np[18][22] np[18][23] np[18][24] np[18][25] np[18][26] np[18][27] np[18][28] np[18][29] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[19][15] np[19][16] np[19][17] np[19][18] np[19][19] np[19][20] np[19][21] np[19][22] np[19][23] np[19][24] np[19][25] np[19][26] np[19][27] np[19][28] np[19][29] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[20][15] np[20][16] np[20][17] np[20][18] np[20][19] np[20][20] np[20][21] np[20][22] np[20][23] np[20][24] np[20][25] np[20][26] np[20][27] np[20][28] np[20][29] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[21][15] np[21][16] np[21][17] np[21][18] np[21][19] np[21][20] np[21][21] np[21][22] np[21][23] np[21][24] np[21][25] np[21][26] np[21][27] np[21][28] np[21][29] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[22][15] np[22][16] np[22][17] np[22][18] np[22][19] np[22][20] np[22][21] np[22][22] np[22][23] np[22][24] np[22][25] np[22][26] np[22][27] np[22][28] np[22][29] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[23][15] np[23][16] np[23][17] np[23][18] np[23][19] np[23][20] np[23][21] np[23][22] np[23][23] np[23][24] np[23][25] np[23][26] np[23][27] np[23][28] np[23][29] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[24][15] np[24][16] np[24][17] np[24][18] np[24][19] np[24][20] np[24][21] np[24][22] np[24][23] np[24][24] np[24][25] np[24][26] np[24][27] np[24][28] np[24][29] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[25][15] np[25][16] np[25][17] np[25][18] np[25][19] np[25][20] np[25][21] np[25][22] np[25][23] np[25][24] np[25][25] np[25][26] np[25][27] np[25][28] np[25][29] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[26][15] np[26][16] np[26][17] np[26][18] np[26][19] np[26][20] np[26][21] np[26][22] np[26][23] np[26][24] np[26][25] np[26][26] np[26][27] np[26][28] np[26][29] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[27][15] np[27][16] np[27][17] np[27][18] np[27][19] np[27][20] np[27][21] np[27][22] np[27][23] np[27][24] np[27][25] np[27][26] np[27][27] np[27][28] np[27][29] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[28][15] np[28][16] np[28][17] np[28][18] np[28][19] np[28][20] np[28][21] np[28][22] np[28][23] np[28][24] np[28][25] np[28][26] np[28][27] np[28][28] np[28][29] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] np[29][15] np[29][16] np[29][17] np[29][18] np[29][19] np[29][20] np[29][21] np[29][22] np[29][23] np[29][24] np[29][25] np[29][26] np[29][27] np[29][28] np[29][29] 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[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] 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[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] 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[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] 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[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] 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[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] 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[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] 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[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] 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[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] 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[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] 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[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] 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[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] 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[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] 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[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] 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[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] 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[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] 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[15][20] r[15][21] r[15][22] r[15][23] r[15][24] r[15][25] r[15][26] r[15][27] r[15][28] r[15][29] 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[16][20] r[16][21] r[16][22] r[16][23] r[16][24] r[16][25] r[16][26] r[16][27] r[16][28] r[16][29] 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[17][20] r[17][21] r[17][22] r[17][23] r[17][24] r[17][25] r[17][26] r[17][27] r[17][28] r[17][29] 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[18][20] r[18][21] r[18][22] r[18][23] r[18][24] r[18][25] r[18][26] r[18][27] r[18][28] r[18][29] 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[19][20] r[19][21] r[19][22] r[19][23] r[19][24] r[19][25] r[19][26] r[19][27] r[19][28] r[19][29] 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[20][20] r[20][21] r[20][22] r[20][23] r[20][24] r[20][25] r[20][26] r[20][27] r[20][28] r[20][29] 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[21][20] r[21][21] r[21][22] r[21][23] r[21][24] r[21][25] r[21][26] r[21][27] r[21][28] r[21][29] 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[22][20] r[22][21] r[22][22] r[22][23] r[22][24] r[22][25] r[22][26] r[22][27] r[22][28] r[22][29] 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[23][20] r[23][21] r[23][22] r[23][23] r[23][24] r[23][25] r[23][26] r[23][27] r[23][28] r[23][29] 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[24][20] r[24][21] r[24][22] r[24][23] r[24][24] r[24][25] r[24][26] r[24][27] r[24][28] r[24][29] 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[25][20] r[25][21] r[25][22] r[25][23] r[25][24] r[25][25] r[25][26] r[25][27] r[25][28] r[25][29] 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[26][20] r[26][21] r[26][22] r[26][23] r[26][24] r[26][25] r[26][26] r[26][27] r[26][28] r[26][29] 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[27][20] r[27][21] r[27][22] r[27][23] r[27][24] r[27][25] r[27][26] r[27][27] r[27][28] r[27][29] 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[28][20] r[28][21] r[28][22] r[28][23] r[28][24] r[28][25] r[28][26] r[28][27] r[28][28] r[28][29] 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[29][20] r[29][21] r[29][22] r[29][23] r[29][24] r[29][25] r[29][26] r[29][27] r[29][28] r[29][29] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[20][15] o[20][16] o[20][17] o[20][18] o[20][19] o[20][20] o[20][21] o[20][22] o[20][23] o[20][24] o[20][25] o[20][26] o[20][27] o[20][28] o[20][29] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[21][15] o[21][16] o[21][17] o[21][18] o[21][19] o[21][20] o[21][21] o[21][22] o[21][23] o[21][24] o[21][25] o[21][26] o[21][27] o[21][28] o[21][29] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[22][15] o[22][16] o[22][17] o[22][18] o[22][19] o[22][20] o[22][21] o[22][22] o[22][23] o[22][24] o[22][25] o[22][26] o[22][27] o[22][28] o[22][29] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[23][15] o[23][16] o[23][17] o[23][18] o[23][19] o[23][20] o[23][21] o[23][22] o[23][23] o[23][24] o[23][25] o[23][26] o[23][27] o[23][28] o[23][29] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[24][15] o[24][16] o[24][17] o[24][18] o[24][19] o[24][20] o[24][21] o[24][22] o[24][23] o[24][24] o[24][25] o[24][26] o[24][27] o[24][28] o[24][29] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[25][15] o[25][16] o[25][17] o[25][18] o[25][19] o[25][20] o[25][21] o[25][22] o[25][23] o[25][24] o[25][25] o[25][26] o[25][27] o[25][28] o[25][29] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[26][15] o[26][16] o[26][17] o[26][18] o[26][19] o[26][20] o[26][21] o[26][22] o[26][23] o[26][24] o[26][25] o[26][26] o[26][27] o[26][28] o[26][29] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[27][15] o[27][16] o[27][17] o[27][18] o[27][19] o[27][20] o[27][21] o[27][22] o[27][23] o[27][24] o[27][25] o[27][26] o[27][27] o[27][28] o[27][29] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[28][15] o[28][16] o[28][17] o[28][18] o[28][19] o[28][20] o[28][21] o[28][22] o[28][23] o[28][24] o[28][25] o[28][26] o[28][27] o[28][28] o[28][29] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] o[29][15] o[29][16] o[29][17] o[29][18] o[29][19] o[29][20] o[29][21] o[29][22] o[29][23] o[29][24] o[29][25] o[29][26] o[29][27] o[29][28] o[29][29] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] 2400.05/2347.72 v </list> 2400.05/2347.72 v <values> 2400.05/2347.72 v 16 22 6 4 5 25 19 26 15 21 12 0 1 23 10 14 9 11 2 27 28 7 3 8 29 18 24 20 17 13 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 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 2 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 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 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 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 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 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 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 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 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 1 1 1 1 1 1 1 0 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 0 0 0 0 0 0 0 0 1 1 1 1 1 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 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 1 1 1 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 2 4 5 5 5 5 4 4 5 5 5 4 4 5 5 5 5 5 5 5 5 5 5 5 5 5 4 2 2 2 2400.05/2347.72 v </values> 2400.05/2347.72 v </instantiation> 2400.05/2347.72 s SATISFIABLE
OK 5
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: 16375 MiB (13691 MiB free) memory of node 1: 16384 MiB (13531 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396543-1568408305/watcher-4396543-1568408305 -o /tmp/evaluation-result-4396543-1568408305/solver-4396543-1568408305 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568400760-21998 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=2046430091 HOME/instance-4396543-1568408305.xml running on 4 cores: 0-3 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=23727, runsolver pid=23724 Current StackSize limit: 8192 KiB [startup+0.100106 s]* /proc/loadavg: 1.19 1.35 1.42 3/214 23780 /proc/meminfo: memFree=27872492/32770688 swapFree=66961092/67108860 [pid=23727] ppid=23724 vsize=9972712 memory=15232 CPUtime=0.09 cores=0-3 /proc/23727/stat : 23727 (java) S 23724 23727 21967 0 -1 1077944320 4031 13153 0 0 1 0 5 3 20 0 6 0 416772179 10212057088 3808 33554432000 4194304 4196468 140732590961056 140732590943600 140415244529399 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 /proc/23727/statm: 2493178 3808 1721 1 0 2481616 0 [pid=23727/tid=23780] ppid=23724 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0-3 /proc/23727/task/23780/stat : 23780 (java) R 23724 23727 21967 0 -1 4202560 1943 13153 0 0 0 0 5 3 20 0 6 0 416772189 10212057088 3874 33554432000 4194304 4196468 140732590961056 140415216366160 140415167605714 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23781] ppid=23724 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0-3 /proc/23727/task/23781/stat : 23781 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 6 0 416772190 10212057088 3940 33554432000 4194304 4196468 140732590961056 140415248771344 140415244539605 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23782] ppid=23724 vsize=9972712 memory=140074821121664 CPUtime=0.08 cores=0-3 /proc/23727/task/23782/stat : 23782 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 6 0 416772190 10212057088 3940 33554432000 4194304 4196468 140732590961056 140415167523216 140415244539605 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23783] ppid=23724 vsize=9972712 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23783/stat : 23783 (java) S 23724 23727 21967 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 6 0 416772190 10212057088 3940 33554432000 4194304 4196468 140732590961056 140415166470672 140415244539605 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23784] ppid=23724 vsize=9972712 memory=-1 CPUtime=0.08 cores=0-3 /proc/23727/task/23784/stat : 23784 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 6 0 416772190 10212057088 3940 33554432000 4194304 4196468 140732590961056 140414815230608 140415244539605 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 15232 KiB [startup+0.211964 s]* /proc/loadavg: 1.19 1.35 1.42 6/227 23793 /proc/meminfo: memFree=27851040/32770688 swapFree=66961092/67108860 [pid=23727] ppid=23724 vsize=10819664 memory=38996 CPUtime=0.26 cores=0-3 /proc/23727/stat : 23727 (java) S 23724 23727 21967 0 -1 1077944320 7056 13153 0 0 17 1 5 3 20 0 15 0 416772179 11079335936 9749 33554432000 4194304 4196468 140732590961056 140732590943600 140415244529399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 /proc/23727/statm: 2704916 9749 3157 1 0 2667149 0 [pid=23727/tid=23780] ppid=23724 vsize=10819664 memory=7022364594140610616 CPUtime=0.18 cores=0-3 /proc/23727/task/23780/stat : 23780 (java) R 23724 23727 21967 0 -1 4202560 3572 13153 0 0 10 0 5 3 20 0 15 0 416772189 11079335936 9749 33554432000 4194304 4196468 140732590961056 140415216360000 140415244551325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23781] ppid=23724 vsize=10819664 memory=365 CPUtime=0.08 cores=0-3 /proc/23727/task/23781/stat : 23781 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772190 11079335936 9749 33554432000 4194304 4196468 140732590961056 140415248771344 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23782] ppid=23724 vsize=10819664 memory=4123529892110825120 CPUtime=0.08 cores=0-3 /proc/23727/task/23782/stat : 23782 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772190 11079335936 9749 33554432000 4194304 4196468 140732590961056 140415167523216 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23783] ppid=23724 vsize=10819664 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23783/stat : 23783 (java) S 23724 23727 21967 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416772190 11079335936 9749 33554432000 4194304 4196468 140732590961056 140415166470672 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23784] ppid=23724 vsize=10819664 memory=-1 CPUtime=0.08 cores=0-3 /proc/23727/task/23784/stat : 23784 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772190 11079335936 9749 33554432000 4194304 4196468 140732590961056 140414815230608 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23785] ppid=23724 vsize=10819664 memory=140074821121664 CPUtime=0.08 cores=0-3 /proc/23727/task/23785/stat : 23785 (java) S 23724 23727 21967 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416772191 11079335936 9749 33554432000 4194304 4196468 140732590961056 140414771137008 140415244540546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23786] ppid=23724 vsize=10819664 memory=-1 CPUtime=0.08 cores=0-3 /proc/23727/task/23786/stat : 23786 (java) S 23724 23727 21967 0 -1 1077944384 13 13153 0 0 0 0 5 3 20 0 15 0 416772192 11079335936 9749 33554432000 4194304 4196468 140732590961056 140414560495008 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23787] ppid=23724 vsize=10819664 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23787/stat : 23787 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772192 11079335936 9749 33554432000 4194304 4196468 140732590961056 140414090733040 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23788] ppid=23724 vsize=10819664 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23788/stat : 23788 (java) S 23724 23727 21967 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416772195 11079335936 9749 33554432000 4194304 4196468 140732590961056 140413783333584 140415244547995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23789] ppid=23724 vsize=10819664 memory=0 CPUtime=0.09 cores=0-3 /proc/23727/task/23789/stat : 23789 (java) R 23724 23727 21967 0 -1 4202560 482 13153 0 0 1 0 5 3 20 0 15 0 416772195 11079335936 9749 33554432000 4194304 4196468 140732590961056 140414770083824 140415221776544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23790] ppid=23724 vsize=10819664 memory=-1 CPUtime=0.08 cores=0-3 /proc/23727/task/23790/stat : 23790 (java) S 23724 23727 21967 0 -1 1077944384 163 13153 0 0 0 0 5 3 20 0 15 0 416772195 11079335936 9749 33554432000 4194304 4196468 140732590961056 140414769031280 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23791] ppid=23724 vsize=10819664 memory=140074821121664 CPUtime=0.11 cores=0-3 /proc/23727/task/23791/stat : 23791 (java) S 23724 23727 21967 0 -1 1077944384 614 13153 0 0 3 0 5 3 20 0 15 0 416772195 11079335936 9749 33554432000 4194304 4196468 140732590961056 140414767978736 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23792] ppid=23724 vsize=10819664 memory=-1 CPUtime=0.08 cores=0-3 /proc/23727/task/23792/stat : 23792 (java) S 23724 23727 21967 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416772195 11079335936 9749 33554432000 4194304 4196468 140732590961056 140413749774944 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23793] ppid=23724 vsize=10819664 memory=140074821121664 CPUtime=0.08 cores=0-3 /proc/23727/task/23793/stat : 23793 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772195 11079335936 9749 33554432000 4194304 4196468 140732590961056 140414766926640 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 10819664 KiB Current children cumulated memory: 38996 KiB [startup+0.311386 s]* /proc/loadavg: 1.19 1.35 1.42 4/227 23793 /proc/meminfo: memFree=27839792/32770688 swapFree=66961092/67108860 [pid=23727] ppid=23724 vsize=10820148 memory=50428 CPUtime=0.4 cores=0-3 /proc/23727/stat : 23727 (java) S 23724 23727 21967 0 -1 1077944320 10669 13153 0 0 29 3 5 3 20 0 15 0 416772179 11079831552 12607 33554432000 4194304 4196468 140732590961056 140732590943600 140415244529399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 /proc/23727/statm: 2705037 12607 3293 1 0 2667149 0 [pid=23727/tid=23780] ppid=23724 vsize=10820148 memory=1398722017469774279 CPUtime=0.28 cores=0-3 /proc/23727/task/23780/stat : 23780 (java) R 23724 23727 21967 0 -1 4202560 7216 13153 0 0 18 2 5 3 20 0 15 0 416772189 11079831552 12611 33554432000 4194304 4196468 140732590961056 140415216329312 140415237208621 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23781] ppid=23724 vsize=10820148 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23781/stat : 23781 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772190 11079831552 12611 33554432000 4194304 4196468 140732590961056 140415248771344 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23782] ppid=23724 vsize=10821172 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23782/stat : 23782 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772190 11080880128 12611 33554432000 4194304 4196468 140732590961056 140415167523216 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23783] ppid=23724 vsize=10821172 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23783/stat : 23783 (java) S 23724 23727 21967 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416772190 11080880128 12611 33554432000 4194304 4196468 140732590961056 140415166470672 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23784] ppid=23724 vsize=10821172 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23784/stat : 23784 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772190 11080880128 12611 33554432000 4194304 4196468 140732590961056 140414815230608 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23785] ppid=23724 vsize=10820148 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23785/stat : 23785 (java) S 23724 23727 21967 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416772191 11079831552 12611 33554432000 4194304 4196468 140732590961056 140414771137008 140415244540546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23786] ppid=23724 vsize=10820148 memory=-1 CPUtime=0.08 cores=0-3 /proc/23727/task/23786/stat : 23786 (java) S 23724 23727 21967 0 -1 1077944384 13 13153 0 0 0 0 5 3 20 0 15 0 416772192 11079831552 12611 33554432000 4194304 4196468 140732590961056 140414560495008 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23787] ppid=23724 vsize=10821172 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23787/stat : 23787 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772192 11080880128 12611 33554432000 4194304 4196468 140732590961056 140414090733040 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23788] ppid=23724 vsize=10821172 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23788/stat : 23788 (java) S 23724 23727 21967 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416772195 11080880128 12611 33554432000 4194304 4196468 140732590961056 140413783333584 140415244547995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23789] ppid=23724 vsize=10821172 memory=0 CPUtime=0.1 cores=0-3 /proc/23727/task/23789/stat : 23789 (java) S 23724 23727 21967 0 -1 1077944384 483 13153 0 0 2 0 5 3 20 0 15 0 416772195 11080880128 12611 33554432000 4194304 4196468 140732590961056 140414770083824 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23790] ppid=23724 vsize=10820148 memory=-1 CPUtime=0.09 cores=0-3 /proc/23727/task/23790/stat : 23790 (java) S 23724 23727 21967 0 -1 1077944384 173 13153 0 0 1 0 5 3 20 0 15 0 416772195 11079831552 12611 33554432000 4194304 4196468 140732590961056 140414769031280 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23791] ppid=23724 vsize=10820148 memory=140074821121664 CPUtime=0.13 cores=0-3 /proc/23727/task/23791/stat : 23791 (java) S 23724 23727 21967 0 -1 1077944384 625 13153 0 0 5 0 5 3 20 0 15 0 416772195 11079831552 12611 33554432000 4194304 4196468 140732590961056 140414767978736 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23792] ppid=23724 vsize=10820148 memory=-1 CPUtime=0.08 cores=0-3 /proc/23727/task/23792/stat : 23792 (java) S 23724 23727 21967 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416772195 11079831552 12611 33554432000 4194304 4196468 140732590961056 140413749774944 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23793] ppid=23724 vsize=10820148 memory=140074821121664 CPUtime=0.08 cores=0-3 /proc/23727/task/23793/stat : 23793 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772195 11079831552 12611 33554432000 4194304 4196468 140732590961056 140414766926640 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 Current children cumulated CPU time: 0.4 s Current children cumulated vsize: 10820148 KiB Current children cumulated memory: 50428 KiB [startup+0.700803 s] /proc/loadavg: 1.19 1.35 1.42 3/227 23793 /proc/meminfo: memFree=27826988/32770688 swapFree=66961092/67108860 [pid=23727] ppid=23724 vsize=10822312 memory=77232 CPUtime=1.07 cores=0-3 /proc/23727/stat : 23727 (java) S 23724 23727 21967 0 -1 1077944320 14575 13153 0 0 95 4 5 3 20 0 15 0 416772179 11082047488 19308 33554432000 4194304 4196468 140732590961056 140732590943600 140415244529399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 /proc/23727/statm: 2705578 19308 3497 1 0 2667661 0 [pid=23727/tid=23780] ppid=23724 vsize=10822312 memory=0 CPUtime=0.66 cores=0-3 /proc/23727/task/23780/stat : 23780 (java) R 23724 23727 21967 0 -1 4202560 9990 13153 0 0 55 3 5 3 20 0 15 0 416772189 11082047488 19308 33554432000 4194304 4196468 140732590961056 140415216345344 140415228609916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23781] ppid=23724 vsize=10822312 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23781/stat : 23781 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772190 11082047488 19308 33554432000 4194304 4196468 140732590961056 140415248771344 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23782] ppid=23724 vsize=10822312 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23782/stat : 23782 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772190 11082047488 19308 33554432000 4194304 4196468 140732590961056 140415167523216 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23783] ppid=23724 vsize=10822312 memory=280149443004384 CPUtime=0.08 cores=0-3 /proc/23727/task/23783/stat : 23783 (java) S 23724 23727 21967 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416772190 11082047488 19308 33554432000 4194304 4196468 140732590961056 140415166470672 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23784] ppid=23724 vsize=10822312 memory=140074721357744 CPUtime=0.08 cores=0-3 /proc/23727/task/23784/stat : 23784 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772190 11082047488 19308 33554432000 4194304 4196468 140732590961056 140414815230608 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23785] ppid=23724 vsize=10822312 memory=140076063392323 CPUtime=0.08 cores=0-3 /proc/23727/task/23785/stat : 23785 (java) S 23724 23727 21967 0 -1 1077944384 5 13153 0 0 0 0 5 3 20 0 15 0 416772191 11082047488 19308 33554432000 4194304 4196468 140732590961056 140414771137008 140415244540546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23786] ppid=23724 vsize=10822312 memory=1088 CPUtime=0.08 cores=0-3 /proc/23727/task/23786/stat : 23786 (java) S 23724 23727 21967 0 -1 1077944384 13 13153 0 0 0 0 5 3 20 0 15 0 416772192 11082047488 19308 33554432000 4194304 4196468 140732590961056 140414560495008 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23787] ppid=23724 vsize=10822312 memory=7164476390179956032 CPUtime=0.08 cores=0-3 /proc/23727/task/23787/stat : 23787 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772192 11082047488 19308 33554432000 4194304 4196468 140732590961056 140414090733040 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23788] ppid=23724 vsize=10822312 memory=6083351989644323943 CPUtime=0.08 cores=0-3 /proc/23727/task/23788/stat : 23788 (java) S 23724 23727 21967 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416772195 11082047488 19308 33554432000 4194304 4196468 140732590961056 140413783333584 140415244547995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23789] ppid=23724 vsize=10822312 memory=5788626802952987989 CPUtime=0.18 cores=0-3 /proc/23727/task/23789/stat : 23789 (java) S 23724 23727 21967 0 -1 1077944384 899 13153 0 0 10 0 5 3 20 0 15 0 416772195 11082047488 19308 33554432000 4194304 4196468 140732590961056 140414770083824 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23790] ppid=23724 vsize=10822312 memory=0 CPUtime=0.18 cores=0-3 /proc/23727/task/23790/stat : 23790 (java) R 23724 23727 21967 0 -1 4202560 604 13153 0 0 10 0 5 3 20 0 15 0 416772195 11082047488 19308 33554432000 4194304 4196468 140732590961056 140414769019952 140415229639880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23791] ppid=23724 vsize=10822312 memory=0 CPUtime=0.25 cores=0-3 /proc/23727/task/23791/stat : 23791 (java) S 23724 23727 21967 0 -1 1077944384 846 13153 0 0 17 0 5 3 20 0 15 0 416772195 11082047488 19308 33554432000 4194304 4196468 140732590961056 140414767978736 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23792] ppid=23724 vsize=10822312 memory=3612 CPUtime=0.08 cores=0-3 /proc/23727/task/23792/stat : 23792 (java) S 23724 23727 21967 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416772195 11082047488 19308 33554432000 4194304 4196468 140732590961056 140413749774944 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23793] ppid=23724 vsize=10822312 memory=2241 CPUtime=0.08 cores=0-3 /proc/23727/task/23793/stat : 23793 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772195 11082047488 19308 33554432000 4194304 4196468 140732590961056 140414766926640 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 Current children cumulated CPU time: 1.07 s Current children cumulated vsize: 10822312 KiB Current children cumulated memory: 77232 KiB [startup+1.5031 s] /proc/loadavg: 1.19 1.35 1.42 6/227 23793 /proc/meminfo: memFree=27783100/32770688 swapFree=66961092/67108860 [pid=23727] ppid=23724 vsize=10832628 memory=204612 CPUtime=3.52 cores=0-3 /proc/23727/stat : 23727 (java) S 23724 23727 21967 0 -1 1077944320 32054 13153 0 0 336 8 5 3 20 0 15 0 416772179 11092611072 51153 33554432000 4194304 4196468 140732590961056 140732590943600 140415244529399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 /proc/23727/statm: 2708157 51153 3545 1 0 2670221 0 [pid=23727/tid=23780] ppid=23724 vsize=10832628 memory=9316 CPUtime=1.45 cores=0-3 /proc/23727/task/23780/stat : 23780 (java) S 23724 23727 21967 0 -1 1077944384 15957 13153 0 0 131 6 5 3 20 0 15 0 416772189 11092611072 51153 33554432000 4194304 4196468 140732590961056 140415216361872 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23781] ppid=23724 vsize=10832628 memory=6791534058613427641 CPUtime=0.08 cores=0-3 /proc/23727/task/23781/stat : 23781 (java) R 23724 23727 21967 0 -1 4202560 28 13153 0 0 0 0 5 3 20 0 15 0 416772190 11092611072 51153 33554432000 4194304 4196468 140732590961056 140415248771344 140415229227033 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23782] ppid=23724 vsize=10832628 memory=4108 CPUtime=0.08 cores=0-3 /proc/23727/task/23782/stat : 23782 (java) R 23724 23727 21967 0 -1 4202560 5 13153 0 0 0 0 5 3 20 0 15 0 416772190 11092611072 51153 33554432000 4194304 4196468 140732590961056 140415167523216 140415229227033 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23783] ppid=23724 vsize=10832628 memory=1408 CPUtime=0.08 cores=0-3 /proc/23727/task/23783/stat : 23783 (java) R 23724 23727 21967 0 -1 1077944384 21 13153 0 0 0 0 5 3 20 0 15 0 416772190 11092611072 51153 33554432000 4194304 4196468 140732590961056 140415166470672 140415244539605 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23784] ppid=23724 vsize=10832628 memory=77232 CPUtime=0.08 cores=0-3 /proc/23727/task/23784/stat : 23784 (java) R 23724 23727 21967 0 -1 4202560 192 13153 0 0 0 0 5 3 20 0 15 0 416772190 11092611072 51153 33554432000 4194304 4196468 140732590961056 140414815230608 140415229227033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23785] ppid=23724 vsize=10832628 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23785/stat : 23785 (java) S 23724 23727 21967 0 -1 1077944384 43 13153 0 0 0 0 5 3 20 0 15 0 416772191 11092611072 51153 33554432000 4194304 4196468 140732590961056 140414771135296 140415244539605 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23786] ppid=23724 vsize=10832628 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23786/stat : 23786 (java) S 23724 23727 21967 0 -1 1077944384 13 13153 0 0 0 0 5 3 20 0 15 0 416772192 11092611072 51153 33554432000 4194304 4196468 140732590961056 140414560495008 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23787] ppid=23724 vsize=10832628 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23787/stat : 23787 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772192 11092611072 51153 33554432000 4194304 4196468 140732590961056 140414090733040 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23788] ppid=23724 vsize=10832628 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23788/stat : 23788 (java) S 23724 23727 21967 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416772195 11092611072 51153 33554432000 4194304 4196468 140732590961056 140413783333584 140415244547995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23789] ppid=23724 vsize=10832628 memory=-7880843606118635149 CPUtime=0.85 cores=0-3 /proc/23727/task/23789/stat : 23789 (java) S 23724 23727 21967 0 -1 1077944384 5678 13153 0 0 77 0 5 3 20 0 15 0 416772195 11092611072 51665 33554432000 4194304 4196468 140732590961056 140414770063760 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23790] ppid=23724 vsize=10832628 memory=8976414709404591081 CPUtime=0.87 cores=0-3 /proc/23727/task/23790/stat : 23790 (java) S 23724 23727 21967 0 -1 1077944384 5336 13153 0 0 79 0 5 3 20 0 15 0 416772195 11092611072 51665 33554432000 4194304 4196468 140732590961056 140414769016272 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23791] ppid=23724 vsize=10832628 memory=-2746958450906831424 CPUtime=0.53 cores=0-3 /proc/23727/task/23791/stat : 23791 (java) S 23724 23727 21967 0 -1 1077944384 2567 13153 0 0 45 0 5 3 20 0 15 0 416772195 11092611072 51665 33554432000 4194304 4196468 140732590961056 140414767978736 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23792] ppid=23724 vsize=10832628 memory=6944656592455359580 CPUtime=0.08 cores=0-3 /proc/23727/task/23792/stat : 23792 (java) S 23724 23727 21967 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416772195 11092611072 51665 33554432000 4194304 4196468 140732590961056 140413749774944 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23793] ppid=23724 vsize=10832628 memory=6944656592455097440 CPUtime=0.08 cores=0-3 /proc/23727/task/23793/stat : 23793 (java) S 23724 23727 21967 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416772195 11092611072 51665 33554432000 4194304 4196468 140732590961056 140414766926640 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 Current children cumulated CPU time: 3.52 s Current children cumulated vsize: 10832628 KiB ################ # More data... # ################ /proc/23727/task/23780/stat : 23780 (java) R 23724 23727 21967 0 -1 4202560 70757 13153 0 0 224539 40 5 3 20 0 15 0 416772189 11113615360 87490 33554432000 4194304 4196468 140732590961056 140415216363888 140414854270944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23781] ppid=23724 vsize=10853140 memory=349960 CPUtime=8.55 cores=0-3 /proc/23727/task/23781/stat : 23781 (java) S 23724 23727 21967 0 -1 1077944384 10632 13153 0 0 812 35 5 3 20 0 15 0 416772190 11113615360 87490 33554432000 4194304 4196468 140732590961056 140415248771344 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23782] ppid=23724 vsize=10853140 memory=349960 CPUtime=8.59 cores=0-3 /proc/23727/task/23782/stat : 23782 (java) S 23724 23727 21967 0 -1 1077944384 18521 13153 0 0 815 36 5 3 20 0 15 0 416772190 11113615360 87490 33554432000 4194304 4196468 140732590961056 140415167523216 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23783] ppid=23724 vsize=10853140 memory=349960 CPUtime=8.59 cores=0-3 /proc/23727/task/23783/stat : 23783 (java) S 23724 23727 21967 0 -1 1077944384 15756 13153 0 0 812 39 5 3 20 0 15 0 416772190 11113615360 87490 33554432000 4194304 4196468 140732590961056 140415166470672 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23784] ppid=23724 vsize=10853140 memory=349960 CPUtime=8.58 cores=0-3 /proc/23727/task/23784/stat : 23784 (java) S 23724 23727 21967 0 -1 1077944384 14280 13153 0 0 819 31 5 3 20 0 15 0 416772190 11113615360 87490 33554432000 4194304 4196468 140732590961056 140414815230608 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23785] ppid=23724 vsize=10853140 memory=349960 CPUtime=6.25 cores=0-3 /proc/23727/task/23785/stat : 23785 (java) S 23724 23727 21967 0 -1 1077944384 12348 13153 0 0 577 40 5 3 20 0 15 0 416772191 11113615360 87490 33554432000 4194304 4196468 140732590961056 140414771137008 140415244540546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23786] ppid=23724 vsize=10853140 memory=349960 CPUtime=0.08 cores=0-3 /proc/23727/task/23786/stat : 23786 (java) S 23724 23727 21967 0 -1 1077944384 20 13153 0 0 0 0 5 3 20 0 15 0 416772192 11113615360 87490 33554432000 4194304 4196468 140732590961056 140414560495136 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23787] ppid=23724 vsize=10853140 memory=349960 CPUtime=0.08 cores=0-3 /proc/23727/task/23787/stat : 23787 (java) S 23724 23727 21967 0 -1 1077944384 9 13153 0 0 0 0 5 3 20 0 15 0 416772192 11113615360 87490 33554432000 4194304 4196468 140732590961056 140414090733056 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23788] ppid=23724 vsize=10853140 memory=349960 CPUtime=0.08 cores=0-3 /proc/23727/task/23788/stat : 23788 (java) S 23724 23727 21967 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416772195 11113615360 87490 33554432000 4194304 4196468 140732590961056 140413783333584 140415244547995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23789] ppid=23724 vsize=10853140 memory=349960 CPUtime=9.65 cores=0-3 /proc/23727/task/23789/stat : 23789 (java) S 23724 23727 21967 0 -1 1077944384 77489 13153 0 0 947 10 5 3 20 0 15 0 416772195 11113615360 87490 33554432000 4194304 4196468 140732590961056 140414770083824 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23790] ppid=23724 vsize=10853140 memory=280149444096160 CPUtime=10.15 cores=0-3 /proc/23727/task/23790/stat : 23790 (java) S 23724 23727 21967 0 -1 1077944384 78453 13153 0 0 995 12 5 3 20 0 15 0 416772195 11113615360 87490 33554432000 4194304 4196468 140732590961056 140414769031280 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23791] ppid=23724 vsize=10853140 memory=349960 CPUtime=6.82 cores=0-3 /proc/23727/task/23791/stat : 23791 (java) S 23724 23727 21967 0 -1 1077944384 92638 13153 0 0 662 12 5 3 20 0 15 0 416772195 11113615360 87490 33554432000 4194304 4196468 140732590961056 140414767978736 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23792] ppid=23724 vsize=10853140 memory=0 CPUtime=0.08 cores=0-3 /proc/23727/task/23792/stat : 23792 (java) S 23724 23727 21967 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416772195 11113615360 87490 33554432000 4194304 4196468 140732590961056 140413749774944 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23793] ppid=23724 vsize=10853140 memory=-3535470213243961690 CPUtime=1.18 cores=0-3 /proc/23727/task/23793/stat : 23793 (java) S 23724 23727 21967 0 -1 1077944384 2532 13153 0 0 55 55 5 3 20 0 15 0 416772195 11113615360 87490 33554432000 4194304 4196468 140732590961056 140414766926640 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 Current children cumulated CPU time: 2313.6 s Current children cumulated vsize: 10853140 KiB Current children cumulated memory: 349960 KiB [startup+2322.3 s] /proc/loadavg: 1.48 1.51 1.47 3/227 24162 /proc/meminfo: memFree=28986836/32770688 swapFree=66961092/67108860 [pid=23727] ppid=23724 vsize=10853140 memory=355112 CPUtime=2374.36 cores=0-3 /proc/23727/stat : 23727 (java) S 23724 23727 21967 0 -1 1077944320 399449 13153 0 0 237144 284 5 3 20 0 15 0 416772179 11113615360 88778 33554432000 4194304 4196468 140732590961056 140732590943600 140415244529399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 /proc/23727/statm: 2713285 88778 3635 1 0 2675341 0 [pid=23727/tid=23780] ppid=23724 vsize=10853140 memory=355624 CPUtime=2305.44 cores=0-3 /proc/23727/task/23780/stat : 23780 (java) R 23724 23727 21967 0 -1 4202560 71618 13153 0 0 230496 40 5 3 20 0 15 0 416772189 11113615360 88778 33554432000 4194304 4196468 140732590961056 140415216365264 140414866409372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23781] ppid=23724 vsize=10853140 memory=355112 CPUtime=8.78 cores=0-3 /proc/23727/task/23781/stat : 23781 (java) S 23724 23727 21967 0 -1 1077944384 11070 13153 0 0 834 36 5 3 20 0 15 0 416772190 11113615360 88778 33554432000 4194304 4196468 140732590961056 140415248771344 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23782] ppid=23724 vsize=10853140 memory=355624 CPUtime=8.82 cores=0-3 /proc/23727/task/23782/stat : 23782 (java) S 23724 23727 21967 0 -1 1077944384 18624 13153 0 0 837 37 5 3 20 0 15 0 416772190 11113615360 88778 33554432000 4194304 4196468 140732590961056 140415167523216 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23783] ppid=23724 vsize=10853140 memory=355112 CPUtime=8.82 cores=0-3 /proc/23727/task/23783/stat : 23783 (java) S 23724 23727 21967 0 -1 1077944384 15792 13153 0 0 835 39 5 3 20 0 15 0 416772190 11113615360 88778 33554432000 4194304 4196468 140732590961056 140415166470672 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23784] ppid=23724 vsize=10853140 memory=355112 CPUtime=8.81 cores=0-3 /proc/23727/task/23784/stat : 23784 (java) S 23724 23727 21967 0 -1 1077944384 14452 13153 0 0 842 31 5 3 20 0 15 0 416772190 11113615360 88778 33554432000 4194304 4196468 140732590961056 140414815230608 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23785] ppid=23724 vsize=10853140 memory=355112 CPUtime=6.4 cores=0-3 /proc/23727/task/23785/stat : 23785 (java) S 23724 23727 21967 0 -1 1077944384 12575 13153 0 0 592 40 5 3 20 0 15 0 416772191 11113615360 88778 33554432000 4194304 4196468 140732590961056 140414771137008 140415244540546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23786] ppid=23724 vsize=10853140 memory=355112 CPUtime=0.08 cores=0-3 /proc/23727/task/23786/stat : 23786 (java) S 23724 23727 21967 0 -1 1077944384 20 13153 0 0 0 0 5 3 20 0 15 0 416772192 11113615360 88778 33554432000 4194304 4196468 140732590961056 140414560495136 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23787] ppid=23724 vsize=10853140 memory=356024 CPUtime=0.08 cores=0-3 /proc/23727/task/23787/stat : 23787 (java) S 23724 23727 21967 0 -1 1077944384 9 13153 0 0 0 0 5 3 20 0 15 0 416772192 11113615360 88778 33554432000 4194304 4196468 140732590961056 140414090733056 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23788] ppid=23724 vsize=10853140 memory=355112 CPUtime=0.08 cores=0-3 /proc/23727/task/23788/stat : 23788 (java) S 23724 23727 21967 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416772195 11113615360 88778 33554432000 4194304 4196468 140732590961056 140413783333584 140415244547995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23789] ppid=23724 vsize=10853140 memory=355112 CPUtime=9.67 cores=0-3 /proc/23727/task/23789/stat : 23789 (java) S 23724 23727 21967 0 -1 1077944384 78039 13153 0 0 949 10 5 3 20 0 15 0 416772195 11113615360 88778 33554432000 4194304 4196468 140732590961056 140414770083824 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23790] ppid=23724 vsize=10853140 memory=3612 CPUtime=10.16 cores=0-3 /proc/23727/task/23790/stat : 23790 (java) S 23724 23727 21967 0 -1 1077944384 78989 13153 0 0 996 12 5 3 20 0 15 0 416772195 11113615360 88778 33554432000 4194304 4196468 140732590961056 140414769031280 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23791] ppid=23724 vsize=10853140 memory=39020 CPUtime=6.85 cores=0-3 /proc/23727/task/23791/stat : 23791 (java) S 23724 23727 21967 0 -1 1077944384 93508 13153 0 0 665 12 5 3 20 0 15 0 416772195 11113615360 88778 33554432000 4194304 4196468 140732590961056 140414767978736 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23792] ppid=23724 vsize=10853140 memory=355112 CPUtime=0.08 cores=0-3 /proc/23727/task/23792/stat : 23792 (java) S 23724 23727 21967 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416772195 11113615360 88778 33554432000 4194304 4196468 140732590961056 140413749774944 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23793] ppid=23724 vsize=10853140 memory=2044 CPUtime=1.21 cores=0-3 /proc/23727/task/23793/stat : 23793 (java) S 23724 23727 21967 0 -1 1077944384 2541 13153 0 0 56 57 5 3 20 0 15 0 416772195 11113615360 88778 33554432000 4194304 4196468 140732590961056 140414766926640 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 Current children cumulated CPU time: 2374.36 s Current children cumulated vsize: 10853140 KiB Current children cumulated memory: 355112 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2347.7 s] /proc/loadavg: 1.40 1.48 1.46 3/227 24165 /proc/meminfo: memFree=28986844/32770688 swapFree=66961092/67108860 [pid=23727] ppid=23724 vsize=10853140 memory=354992 CPUtime=2400.05 cores=0-3 /proc/23727/stat : 23727 (java) S 23724 23727 21967 0 -1 1077944320 399625 13153 0 0 239711 286 5 3 20 0 15 0 416772179 11113615360 88748 33554432000 4194304 4196468 140732590961056 140732590943600 140415244529399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 /proc/23727/statm: 2713285 88748 3635 1 0 2675341 0 [pid=23727/tid=23780] ppid=23724 vsize=10853140 memory=355112 CPUtime=2330.65 cores=0-3 /proc/23727/task/23780/stat : 23780 (java) R 23724 23727 21967 0 -1 4202560 71713 13153 0 0 233017 40 5 3 20 0 15 0 416772189 11113615360 88748 33554432000 4194304 4196468 140732590961056 140415216365488 140414846991645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23781] ppid=23724 vsize=10853140 memory=355112 CPUtime=8.87 cores=0-3 /proc/23727/task/23781/stat : 23781 (java) S 23724 23727 21967 0 -1 1077944384 11084 13153 0 0 843 36 5 3 20 0 15 0 416772190 11113615360 88748 33554432000 4194304 4196468 140732590961056 140415248771344 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23782] ppid=23724 vsize=10853140 memory=355112 CPUtime=8.91 cores=0-3 /proc/23727/task/23782/stat : 23782 (java) S 23724 23727 21967 0 -1 1077944384 18629 13153 0 0 846 37 5 3 20 0 15 0 416772190 11113615360 88748 33554432000 4194304 4196468 140732590961056 140415167523216 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23783] ppid=23724 vsize=10853140 memory=355112 CPUtime=8.91 cores=0-3 /proc/23727/task/23783/stat : 23783 (java) S 23724 23727 21967 0 -1 1077944384 15833 13153 0 0 844 39 5 3 20 0 15 0 416772190 11113615360 88748 33554432000 4194304 4196468 140732590961056 140415166470672 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23784] ppid=23724 vsize=10853140 memory=355112 CPUtime=8.9 cores=0-3 /proc/23727/task/23784/stat : 23784 (java) S 23724 23727 21967 0 -1 1077944384 14460 13153 0 0 850 32 5 3 20 0 15 0 416772190 11113615360 88748 33554432000 4194304 4196468 140732590961056 140414815230608 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23785] ppid=23724 vsize=10853140 memory=354992 CPUtime=6.47 cores=0-3 /proc/23727/task/23785/stat : 23785 (java) S 23724 23727 21967 0 -1 1077944384 12577 13153 0 0 598 41 5 3 20 0 15 0 416772191 11113615360 88748 33554432000 4194304 4196468 140732590961056 140414771137008 140415244540546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23786] ppid=23724 vsize=10853140 memory=356024 CPUtime=0.08 cores=0-3 /proc/23727/task/23786/stat : 23786 (java) S 23724 23727 21967 0 -1 1077944384 20 13153 0 0 0 0 5 3 20 0 15 0 416772192 11113615360 88748 33554432000 4194304 4196468 140732590961056 140414560495136 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23787] ppid=23724 vsize=10853140 memory=355112 CPUtime=0.08 cores=0-3 /proc/23727/task/23787/stat : 23787 (java) S 23724 23727 21967 0 -1 1077944384 9 13153 0 0 0 0 5 3 20 0 15 0 416772192 11113615360 88748 33554432000 4194304 4196468 140732590961056 140414090733056 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23788] ppid=23724 vsize=10853140 memory=355112 CPUtime=0.08 cores=0-3 /proc/23727/task/23788/stat : 23788 (java) S 23724 23727 21967 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416772195 11113615360 88748 33554432000 4194304 4196468 140732590961056 140413783333584 140415244547995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23789] ppid=23724 vsize=10853140 memory=1380 CPUtime=9.68 cores=0-3 /proc/23727/task/23789/stat : 23789 (java) S 23724 23727 21967 0 -1 1077944384 78040 13153 0 0 950 10 5 3 20 0 15 0 416772195 11113615360 88748 33554432000 4194304 4196468 140732590961056 140414770083824 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23790] ppid=23724 vsize=10853140 memory=355112 CPUtime=10.17 cores=0-3 /proc/23727/task/23790/stat : 23790 (java) S 23724 23727 21967 0 -1 1077944384 78990 13153 0 0 997 12 5 3 20 0 15 0 416772195 11113615360 88748 33554432000 4194304 4196468 140732590961056 140414769031280 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23791] ppid=23724 vsize=10853140 memory=3612 CPUtime=6.87 cores=0-3 /proc/23727/task/23791/stat : 23791 (java) S 23724 23727 21967 0 -1 1077944384 93515 13153 0 0 667 12 5 3 20 0 15 0 416772195 11113615360 88748 33554432000 4194304 4196468 140732590961056 140414767978736 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23792] ppid=23724 vsize=10853140 memory=355112 CPUtime=0.08 cores=0-3 /proc/23727/task/23792/stat : 23792 (java) S 23724 23727 21967 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416772195 11113615360 88748 33554432000 4194304 4196468 140732590961056 140413749774944 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23793] ppid=23724 vsize=10853140 memory=1408 CPUtime=1.22 cores=0-3 /proc/23727/task/23793/stat : 23793 (java) S 23724 23727 21967 0 -1 1077944384 2543 13153 0 0 57 57 5 3 20 0 15 0 416772195 11113615360 88748 33554432000 4194304 4196468 140732590961056 140414766926640 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 Current children cumulated CPU time: 2400.05 s Current children cumulated vsize: 10853140 KiB Current children cumulated memory: 354992 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2347.74 s] # the end of solver process 23727 was just reported to runsolver # cumulated CPU time of all completed processes: user=2397.2 s, system=2.90679 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2347.7 s] /proc/loadavg: 1.40 1.48 1.46 3/227 24165 /proc/meminfo: memFree=28986844/32770688 swapFree=66961092/67108860 [pid=23727] ppid=23724 vsize=10853140 memory=354992 CPUtime=2400.05 cores=0-3 /proc/23727/stat : 23727 (java) S 23724 23727 21967 0 -1 1077944320 399625 13153 0 0 239711 286 5 3 20 0 15 0 416772179 11113615360 88748 33554432000 4194304 4196468 140732590961056 140732590943600 140415244529399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 /proc/23727/statm: 2713285 88748 3635 1 0 2675341 0 [pid=23727/tid=23780] ppid=23724 vsize=10853140 memory=355112 CPUtime=2330.65 cores=0-3 /proc/23727/task/23780/stat : 23780 (java) R 23724 23727 21967 0 -1 4202560 71713 13153 0 0 233017 40 5 3 20 0 15 0 416772189 11113615360 88748 33554432000 4194304 4196468 140732590961056 140415216365488 140414846991645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23781] ppid=23724 vsize=10853140 memory=355112 CPUtime=8.87 cores=0-3 /proc/23727/task/23781/stat : 23781 (java) S 23724 23727 21967 0 -1 1077944384 11084 13153 0 0 843 36 5 3 20 0 15 0 416772190 11113615360 88748 33554432000 4194304 4196468 140732590961056 140415248771344 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23782] ppid=23724 vsize=10853140 memory=355112 CPUtime=8.91 cores=0-3 /proc/23727/task/23782/stat : 23782 (java) S 23724 23727 21967 0 -1 1077944384 18629 13153 0 0 846 37 5 3 20 0 15 0 416772190 11113615360 88748 33554432000 4194304 4196468 140732590961056 140415167523216 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23783] ppid=23724 vsize=10853140 memory=355112 CPUtime=8.91 cores=0-3 /proc/23727/task/23783/stat : 23783 (java) S 23724 23727 21967 0 -1 1077944384 15833 13153 0 0 844 39 5 3 20 0 15 0 416772190 11113615360 88748 33554432000 4194304 4196468 140732590961056 140415166470672 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23784] ppid=23724 vsize=10853140 memory=355112 CPUtime=8.9 cores=0-3 /proc/23727/task/23784/stat : 23784 (java) S 23724 23727 21967 0 -1 1077944384 14460 13153 0 0 850 32 5 3 20 0 15 0 416772190 11113615360 88748 33554432000 4194304 4196468 140732590961056 140414815230608 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23785] ppid=23724 vsize=10853140 memory=354992 CPUtime=6.47 cores=0-3 /proc/23727/task/23785/stat : 23785 (java) S 23724 23727 21967 0 -1 1077944384 12577 13153 0 0 598 41 5 3 20 0 15 0 416772191 11113615360 88748 33554432000 4194304 4196468 140732590961056 140414771137008 140415244540546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23786] ppid=23724 vsize=10853140 memory=356024 CPUtime=0.08 cores=0-3 /proc/23727/task/23786/stat : 23786 (java) S 23724 23727 21967 0 -1 1077944384 20 13153 0 0 0 0 5 3 20 0 15 0 416772192 11113615360 88748 33554432000 4194304 4196468 140732590961056 140414560495136 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23787] ppid=23724 vsize=10853140 memory=355112 CPUtime=0.08 cores=0-3 /proc/23727/task/23787/stat : 23787 (java) S 23724 23727 21967 0 -1 1077944384 9 13153 0 0 0 0 5 3 20 0 15 0 416772192 11113615360 88748 33554432000 4194304 4196468 140732590961056 140414090733056 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23788] ppid=23724 vsize=10853140 memory=355112 CPUtime=0.08 cores=0-3 /proc/23727/task/23788/stat : 23788 (java) S 23724 23727 21967 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416772195 11113615360 88748 33554432000 4194304 4196468 140732590961056 140413783333584 140415244547995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23789] ppid=23724 vsize=10853140 memory=1380 CPUtime=9.68 cores=0-3 /proc/23727/task/23789/stat : 23789 (java) S 23724 23727 21967 0 -1 1077944384 78040 13153 0 0 950 10 5 3 20 0 15 0 416772195 11113615360 88748 33554432000 4194304 4196468 140732590961056 140414770083824 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23790] ppid=23724 vsize=10853140 memory=355112 CPUtime=10.17 cores=0-3 /proc/23727/task/23790/stat : 23790 (java) S 23724 23727 21967 0 -1 1077944384 78990 13153 0 0 997 12 5 3 20 0 15 0 416772195 11113615360 88748 33554432000 4194304 4196468 140732590961056 140414769031280 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23791] ppid=23724 vsize=10853140 memory=3612 CPUtime=6.87 cores=0-3 /proc/23727/task/23791/stat : 23791 (java) S 23724 23727 21967 0 -1 1077944384 93515 13153 0 0 667 12 5 3 20 0 15 0 416772195 11113615360 88748 33554432000 4194304 4196468 140732590961056 140414767978736 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23792] ppid=23724 vsize=10853140 memory=355112 CPUtime=0.08 cores=0-3 /proc/23727/task/23792/stat : 23792 (java) S 23724 23727 21967 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416772195 11113615360 88748 33554432000 4194304 4196468 140732590961056 140413749774944 140415244539605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 [pid=23727/tid=23793] ppid=23724 vsize=10853140 memory=1408 CPUtime=1.22 cores=0-3 /proc/23727/task/23793/stat : 23793 (java) S 23724 23727 21967 0 -1 1077944384 2543 13153 0 0 57 57 5 3 20 0 15 0 416772195 11113615360 88748 33554432000 4194304 4196468 140732590961056 140414766926640 140415244540546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6877184 140732590967535 140732590970053 140732590970053 140732590972879 0 Current children cumulated CPU time: 2400.05 s Current children cumulated vsize: 10853140 KiB Current children cumulated memory: 354992 KiB Child status: 143 Real time (s): 2347.74 CPU time (s): 2400.11 CPU user time (s): 2397.2 CPU system time (s): 2.90679 CPU usage (%): 102.231 Max. virtual memory (cumulated for all children) (KiB): 10854012 Max. memory (cumulated for all children) (KiB): 1026312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.2 system time used= 2.90679 maximum resident set size= 1028360 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 413192 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3264 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 188675 involuntary context switches= 5028 # summary of solver processes directly reported to runsolver: # pid: 23727 # total CPU time (s): 2400.11 # total CPU user time (s): 2397.2 # total CPU system time (s): 2.90679 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 20.8173 second user time and 19.1359 second system time The end
Begin job on node116 at 2019-09-13 22:57:44 IDJOB=4396543 IDBENCH=140491 IDSOLVER=2847 FILE ID=node116/4396543-1568408305 RUNJOBID= node116-1568400760-21998 PBS_JOBID= 21701877 Free space on /tmp= 61208 MiB SOLVER NAME= Concrete 3.12.2 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbop-30-30-1.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396543-1568408305/watcher-4396543-1568408305 -o /tmp/evaluation-result-4396543-1568408305/solver-4396543-1568408305 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568400760-21998 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=2046430091 HOME/instance-4396543-1568408305.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 67a2d403e3bfd604d92484151c447548 RANDOM SEED=2046430091 node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 27876940 kB MemAvailable: 29744452 kB Buffers: 137920 kB Cached: 2015668 kB SwapCached: 46620 kB Active: 2945340 kB Inactive: 1368092 kB Active(anon): 2112780 kB Inactive(anon): 87824 kB Active(file): 832560 kB Inactive(file): 1280268 kB Unevictable: 109328 kB Mlocked: 109328 kB SwapTotal: 67108860 kB SwapFree: 66961092 kB Dirty: 35292 kB Writeback: 0 kB AnonPages: 2223560 kB Mapped: 57308 kB Shmem: 31996 kB Slab: 169656 kB SReclaimable: 141036 kB SUnreclaim: 28620 kB KernelStack: 3696 kB PageTables: 10044 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 3231480 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2048000 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61172 MiB End job on node116 at 2019-09-13 23:36:52