Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.12.2 | SAT (TO) | 14 | 2400.04 | 2355.53 |
| Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-pb-30-15-1.xml |
| MD5SUM | 1892dc6bbe7f4411da75bff22067cf15 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 69.789 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1380 |
| Number of constraints | 1366 |
| Number of domains | 8 |
| Minimum domain size | 2 |
| Maximum domain size | 16 |
| Distribution of domain sizes | [{"size":2,"count":960},{"size":3,"count":120},{"size":4,"count":165},{"size":5,"count":60},{"size":6,"count":15},{"size":7,"count":30},{"size":15,"count":15},{"size":16,"count":15}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}] |
| Number of extensional constraints | 450 |
| Number of intensional constraints | 450 |
| Distribution of constraint types | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.77/0.56 c Concrete v3.12.2.1568380929293 running 305.71/285.83 o 15 609.48/584.92 o 14 2400.00/2355.50 Exception in thread "main" java.util.concurrent.TimeoutException 2400.00/2355.51 at concrete.MAC.mac(MAC.scala:192) 2400.00/2355.51 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2400.00/2355.51 at scala.util.Try$.apply(Try.scala:212) 2400.00/2355.51 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2400.00/2355.51 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2400.00/2355.51 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2400.00/2355.51 at concrete.MAC.oneRun(MAC.scala:265) 2400.00/2355.51 at concrete.MAC.nextSolution(MAC.scala:284) 2400.00/2355.51 at concrete.MAC.nextSolution(MAC.scala:369) 2400.00/2355.51 at concrete.Solver.hasNext(Solver.scala:160) 2400.00/2355.51 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2400.00/2355.51 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2400.00/2355.51 at concrete.Solver.foreach(Solver.scala:67) 2400.00/2355.51 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73) 2400.00/2355.51 at scala.util.Success.map(Try.scala:264) 2400.00/2355.51 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2400.00/2355.51 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2400.00/2355.51 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.00/2355.51 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2400.00/2355.51 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.00/2355.51 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2400.00/2355.51 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2400.00/2355.51 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2400.00/2355.51 at scala.App.$anonfun$main$1(App.scala:75) 2400.00/2355.51 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2400.00/2355.51 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2400.00/2355.51 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2400.00/2355.51 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2400.00/2355.51 at scala.App.main(App.scala:75) 2400.00/2355.51 at scala.App.main$(App.scala:73) 2400.00/2355.51 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.00/2355.51 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.00/2355.51 v <instantiation 2400.00/2355.51 v cost = '14'> 2400.00/2355.51 v <list> 2400.00/2355.51 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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] 2400.00/2355.51 v </list> 2400.00/2355.51 v <values> 2400.00/2355.51 v 2 1 7 5 14 8 6 9 12 11 10 4 0 13 3 0 0 0 1 2 3 3 3 3 3 3 4 5 6 6 0 0 0 1 1 1 1 1 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 3 3 3 0 0 0 0 0 0 0 0 0 0 0 1 2 2 3 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 1 2 0 0 0 0 1 2 2 2 2 3 3 3 3 3 3 0 0 0 0 1 1 1 1 1 2 2 2 2 2 2 1 1 1 1 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 0 0 1 1 1 1 2 2 3 3 3 3 3 3 3 0 0 0 0 0 1 2 3 4 4 4 4 5 5 6 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 0 1 1 1 2 3 3 3 3 3 3 3 3 3 3 0 1 2 3 3 3 3 3 3 3 3 3 3 3 3 1 1 1 2 2 2 2 2 3 3 3 3 3 4 4 0 1 1 1 2 2 2 3 3 4 4 4 4 4 4 0 0 0 0 0 0 1 1 2 3 3 3 3 3 3 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 1 1 1 1 1 2 2 2 2 2 2 3 3 3 4 0 0 0 0 0 0 0 0 0 0 0 1 2 3 3 0 0 1 2 2 2 2 3 3 3 3 3 4 4 4 0 0 0 0 1 2 2 2 3 3 3 4 4 4 5 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 1 1 2 2 3 3 3 3 3 3 3 3 3 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 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 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 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 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 0 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 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 1 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 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 5 9 11 13 14 14 14 14 13 14 9 11 11 9 6 2400.00/2355.52 v </values> 2400.00/2355.52 v </instantiation> 2400.00/2355.52 s SATISFIABLE
OK 14
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15141 MiB free)
memory of node 1: 16384 MiB (15002 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396542-1568399054/watcher-4396542-1568399054 -o /tmp/evaluation-result-4396542-1568399054/solver-4396542-1568399054 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568399014-14829 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1213584237 HOME/instance-4396542-1568399054.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14854, runsolver pid=14850
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 0.82 0.85 1.11 4/206 14963
/proc/meminfo: memFree=30858628/32770624 swapFree=66967408/67108860
[pid=14854] ppid=14850 vsize=9972712 memory=16552 CPUtime=0.1 cores=1,3,5,7
/proc/14854/stat : 14854 (java) S 14850 14854 14797 0 -1 1077944320 4396 13330 0 0 1 1 5 3 20 0 6 0 416154962 10212057088 4138 33554432000 4194304 4196468 140723797278832 140723797261376 139897043062519 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
/proc/14854/statm: 2493178 4138 1933 1 0 2481616 0
[pid=14854/tid=14962] ppid=14850 vsize=9972712 memory=-6517102902069810590 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14962/stat : 14962 (java) R 14850 14854 14797 0 -1 4202560 2217 13330 0 0 0 0 5 3 20 0 6 0 416154971 10212057088 4716 33554432000 4194304 4196468 140723797278832 139897014899280 139897027143006 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14965] ppid=14850 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14965/stat : 14965 (java) S 14850 14854 14797 0 -1 1077944384 1 13330 0 0 0 0 5 3 20 0 6 0 416154972 10212057088 4716 33554432000 4194304 4196468 140723797278832 139897047304592 139897043072725 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14968] ppid=14850 vsize=9972712 memory=140611837187712 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14968/stat : 14968 (java) S 14850 14854 14797 0 -1 1077944384 1 13330 0 0 0 0 5 3 20 0 6 0 416154972 10212057088 4716 33554432000 4194304 4196468 140723797278832 139896951507216 139897043072725 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14970] ppid=14850 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14970/stat : 14970 (java) S 14850 14854 14797 0 -1 1077944384 2 13330 0 0 0 0 5 3 20 0 6 0 416154972 10212057088 4716 33554432000 4194304 4196468 140723797278832 139896615131792 139897043072725 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14971] ppid=14850 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14971/stat : 14971 (java) S 14850 14854 14797 0 -1 1077944384 2 13330 0 0 0 0 5 3 20 0 6 0 416154972 10212057088 4716 33554432000 4194304 4196468 140723797278832 139896614078992 139897043072725 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16552 KiB
[startup+0.210592 s]*
/proc/loadavg: 0.82 0.85 1.11 4/232 14989
/proc/meminfo: memFree=30811772/32770624 swapFree=66967408/67108860
[pid=14854] ppid=14850 vsize=10819664 memory=40792 CPUtime=0.26 cores=1,3,5,7
/proc/14854/stat : 14854 (java) S 14850 14854 14797 0 -1 1077944320 7019 13330 0 0 16 2 5 3 20 0 15 0 416154962 11079335936 10198 33554432000 4194304 4196468 140723797278832 140723797261376 139897043062519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
/proc/14854/statm: 2704916 10198 3163 1 0 2667149 0
[pid=14854/tid=14962] ppid=14850 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/14854/task/14962/stat : 14962 (java) R 14850 14854 14797 0 -1 4202560 3506 13330 0 0 10 1 5 3 20 0 15 0 416154971 11079335936 10198 33554432000 4194304 4196468 140723797278832 139897014889288 139897024627492 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14965] ppid=14850 vsize=10819664 memory=364 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14965/stat : 14965 (java) S 14850 14854 14797 0 -1 1077944384 1 13330 0 0 0 0 5 3 20 0 15 0 416154972 11079335936 10198 33554432000 4194304 4196468 140723797278832 139897047304592 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14968] ppid=14850 vsize=10819664 memory=140611837202766 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14968/stat : 14968 (java) S 14850 14854 14797 0 -1 1077944384 1 13330 0 0 0 0 5 3 20 0 15 0 416154972 11079335936 10198 33554432000 4194304 4196468 140723797278832 139896951507216 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14970] ppid=14850 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14970/stat : 14970 (java) S 14850 14854 14797 0 -1 1077944384 2 13330 0 0 0 0 5 3 20 0 15 0 416154972 11079335936 10198 33554432000 4194304 4196468 140723797278832 139896615131792 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14971] ppid=14850 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14971/stat : 14971 (java) S 14850 14854 14797 0 -1 1077944384 2 13330 0 0 0 0 5 3 20 0 15 0 416154972 11079335936 10198 33554432000 4194304 4196468 140723797278832 139896614078992 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14972] ppid=14850 vsize=10819664 memory=140611837187712 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14972/stat : 14972 (java) S 14850 14854 14797 0 -1 1077944384 2 13330 0 0 0 0 5 3 20 0 15 0 416154973 11079335936 10198 33554432000 4194304 4196468 140723797278832 139896569637488 139897043073666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14974] ppid=14850 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14974/stat : 14974 (java) S 14850 14854 14797 0 -1 1077944384 13 13330 0 0 0 0 5 3 20 0 15 0 416154974 11079335936 10198 33554432000 4194304 4196468 140723797278832 139896480064800 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14976] ppid=14850 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14976/stat : 14976 (java) S 14850 14854 14797 0 -1 1077944384 1 13330 0 0 0 0 5 3 20 0 15 0 416154974 11079335936 10198 33554432000 4194304 4196468 140723797278832 139895876085360 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14978] ppid=14850 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14978/stat : 14978 (java) S 14850 14854 14797 0 -1 1077944384 3 13330 0 0 0 0 5 3 20 0 15 0 416154977 11079335936 10198 33554432000 4194304 4196468 140723797278832 139895568685648 139897043081115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14979] ppid=14850 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14854/task/14979/stat : 14979 (java) S 14850 14854 14797 0 -1 1077944384 462 13330 0 0 1 0 5 3 20 0 15 0 416154977 11079335936 10198 33554432000 4194304 4196468 140723797278832 139896568584304 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14980] ppid=14850 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/14854/task/14980/stat : 14980 (java) S 14850 14854 14797 0 -1 1077944384 188 13330 0 0 1 0 5 3 20 0 15 0 416154977 11079335936 10198 33554432000 4194304 4196468 140723797278832 139896567531504 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14981] ppid=14850 vsize=10819664 memory=140611837187712 CPUtime=0.11 cores=1,3,5,7
/proc/14854/task/14981/stat : 14981 (java) R 14850 14854 14797 0 -1 4202560 629 13330 0 0 3 0 5 3 20 0 15 0 416154977 11079335936 10198 33554432000 4194304 4196468 140723797278832 139896566479216 139897043083866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14983] ppid=14850 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14983/stat : 14983 (java) S 14850 14854 14797 0 -1 1077944384 3 13330 0 0 0 0 5 3 20 0 15 0 416154977 11079335936 10198 33554432000 4194304 4196468 140723797278832 139895535127008 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14987] ppid=14850 vsize=10819664 memory=140611837187712 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14987/stat : 14987 (java) S 14850 14854 14797 0 -1 1077944384 1 13330 0 0 0 0 5 3 20 0 15 0 416154977 11079335936 10198 33554432000 4194304 4196468 140723797278832 139896565427120 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 40792 KiB
[startup+0.310903 s]*
/proc/loadavg: 0.82 0.85 1.11 3/232 14989
/proc/meminfo: memFree=30785292/32770624 swapFree=66967408/67108860
[pid=14854] ppid=14850 vsize=10820148 memory=51904 CPUtime=0.41 cores=1,3,5,7
/proc/14854/stat : 14854 (java) S 14850 14854 14797 0 -1 1077944320 10733 13330 0 0 29 4 5 3 20 0 15 0 416154962 11079831552 12976 33554432000 4194304 4196468 140723797278832 140723797261376 139897043062519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
/proc/14854/statm: 2705037 12976 3295 1 0 2667149 0
[pid=14854/tid=14962] ppid=14850 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/14854/task/14962/stat : 14962 (java) R 14850 14854 14797 0 -1 4202560 7187 13330 0 0 18 3 5 3 20 0 15 0 416154971 11079831552 12976 33554432000 4194304 4196468 140723797278832 139897014862432 139897027143006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14965] ppid=14850 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14965/stat : 14965 (java) S 14850 14854 14797 0 -1 1077944384 1 13330 0 0 0 0 5 3 20 0 15 0 416154972 11079831552 12976 33554432000 4194304 4196468 140723797278832 139897047304592 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14968] ppid=14850 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14968/stat : 14968 (java) S 14850 14854 14797 0 -1 1077944384 1 13330 0 0 0 0 5 3 20 0 15 0 416154972 11079831552 12976 33554432000 4194304 4196468 140723797278832 139896951507216 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14970] ppid=14850 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14970/stat : 14970 (java) S 14850 14854 14797 0 -1 1077944384 2 13330 0 0 0 0 5 3 20 0 15 0 416154972 11079831552 12976 33554432000 4194304 4196468 140723797278832 139896615131792 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14971] ppid=14850 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14971/stat : 14971 (java) S 14850 14854 14797 0 -1 1077944384 2 13330 0 0 0 0 5 3 20 0 15 0 416154972 11079831552 12976 33554432000 4194304 4196468 140723797278832 139896614078992 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14972] ppid=14850 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14972/stat : 14972 (java) S 14850 14854 14797 0 -1 1077944384 2 13330 0 0 0 0 5 3 20 0 15 0 416154973 11079831552 12976 33554432000 4194304 4196468 140723797278832 139896569637488 139897043073666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14974] ppid=14850 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14974/stat : 14974 (java) S 14850 14854 14797 0 -1 1077944384 13 13330 0 0 0 0 5 3 20 0 15 0 416154974 11079831552 12976 33554432000 4194304 4196468 140723797278832 139896480064800 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14976] ppid=14850 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14976/stat : 14976 (java) S 14850 14854 14797 0 -1 1077944384 1 13330 0 0 0 0 5 3 20 0 15 0 416154974 11079831552 12976 33554432000 4194304 4196468 140723797278832 139895876085360 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14978] ppid=14850 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14978/stat : 14978 (java) S 14850 14854 14797 0 -1 1077944384 3 13330 0 0 0 0 5 3 20 0 15 0 416154977 11079831552 12976 33554432000 4194304 4196468 140723797278832 139895568685648 139897043081115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14979] ppid=14850 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14854/task/14979/stat : 14979 (java) S 14850 14854 14797 0 -1 1077944384 471 13330 0 0 1 0 5 3 20 0 15 0 416154977 11079831552 12976 33554432000 4194304 4196468 140723797278832 139896568584304 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14980] ppid=14850 vsize=10820148 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/14854/task/14980/stat : 14980 (java) S 14850 14854 14797 0 -1 1077944384 189 13330 0 0 2 0 5 3 20 0 15 0 416154977 11079831552 12976 33554432000 4194304 4196468 140723797278832 139896567531504 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14981] ppid=14850 vsize=10820148 memory=140611837187712 CPUtime=0.13 cores=1,3,5,7
/proc/14854/task/14981/stat : 14981 (java) S 14850 14854 14797 0 -1 1077944384 654 13330 0 0 5 0 5 3 20 0 15 0 416154977 11079831552 12976 33554432000 4194304 4196468 140723797278832 139896566479216 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14983] ppid=14850 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14983/stat : 14983 (java) S 14850 14854 14797 0 -1 1077944384 3 13330 0 0 0 0 5 3 20 0 15 0 416154977 11079831552 12976 33554432000 4194304 4196468 140723797278832 139895535127008 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14987] ppid=14850 vsize=10820148 memory=140611837187712 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14987/stat : 14987 (java) S 14850 14854 14797 0 -1 1077944384 1 13330 0 0 0 0 5 3 20 0 15 0 416154977 11079831552 12976 33554432000 4194304 4196468 140723797278832 139896565427120 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 51904 KiB
[startup+0.700729 s]
/proc/loadavg: 0.82 0.85 1.11 3/232 14989
/proc/meminfo: memFree=30760820/32770624 swapFree=66967408/67108860
[pid=14854] ppid=14850 vsize=10824360 memory=85676 CPUtime=1.1 cores=1,3,5,7
/proc/14854/stat : 14854 (java) S 14850 14854 14797 0 -1 1077944320 15090 13330 0 0 96 6 5 3 20 0 15 0 416154962 11084144640 21419 33554432000 4194304 4196468 140723797278832 140723797261376 139897043062519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
/proc/14854/statm: 2706090 21419 3506 1 0 2668173 0
[pid=14854/tid=14962] ppid=14850 vsize=10824360 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/14854/task/14962/stat : 14962 (java) R 14850 14854 14797 0 -1 4202560 10306 13330 0 0 53 4 5 3 20 0 15 0 416154971 11084144640 21419 33554432000 4194304 4196468 140723797278832 139897014875680 139897043084445 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14965] ppid=14850 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14965/stat : 14965 (java) S 14850 14854 14797 0 -1 1077944384 1 13330 0 0 0 0 5 3 20 0 15 0 416154972 11084144640 21419 33554432000 4194304 4196468 140723797278832 139897047304592 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14968] ppid=14850 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14968/stat : 14968 (java) S 14850 14854 14797 0 -1 1077944384 1 13330 0 0 0 0 5 3 20 0 15 0 416154972 11084144640 21419 33554432000 4194304 4196468 140723797278832 139896951507216 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14970] ppid=14850 vsize=10824360 memory=140611726487760 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14970/stat : 14970 (java) S 14850 14854 14797 0 -1 1077944384 2 13330 0 0 0 0 5 3 20 0 15 0 416154972 11084144640 21419 33554432000 4194304 4196468 140723797278832 139896615131792 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14971] ppid=14850 vsize=10824360 memory=140612934304375 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14971/stat : 14971 (java) S 14850 14854 14797 0 -1 1077944384 2 13330 0 0 0 0 5 3 20 0 15 0 416154972 11084144640 21419 33554432000 4194304 4196468 140723797278832 139896614078992 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14972] ppid=14850 vsize=10824360 memory=1560 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14972/stat : 14972 (java) S 14850 14854 14797 0 -1 1077944384 5 13330 0 0 0 0 5 3 20 0 15 0 416154973 11084144640 21419 33554432000 4194304 4196468 140723797278832 139896569637488 139897043073666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14974] ppid=14850 vsize=10824360 memory=7014751519600039505 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14974/stat : 14974 (java) S 14850 14854 14797 0 -1 1077944384 13 13330 0 0 0 0 5 3 20 0 15 0 416154974 11084144640 21419 33554432000 4194304 4196468 140723797278832 139896480064800 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14976] ppid=14850 vsize=10824360 memory=7813012341794559594 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14976/stat : 14976 (java) S 14850 14854 14797 0 -1 1077944384 1 13330 0 0 0 0 5 3 20 0 15 0 416154974 11084144640 21419 33554432000 4194304 4196468 140723797278832 139895876085360 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14978] ppid=14850 vsize=10824360 memory=2120 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14978/stat : 14978 (java) S 14850 14854 14797 0 -1 1077944384 3 13330 0 0 0 0 5 3 20 0 15 0 416154977 11084144640 21419 33554432000 4194304 4196468 140723797278832 139895568685648 139897043081115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14979] ppid=14850 vsize=10824360 memory=13948 CPUtime=0.17 cores=1,3,5,7
/proc/14854/task/14979/stat : 14979 (java) R 14850 14854 14797 0 -1 4202560 898 13330 0 0 9 0 5 3 20 0 15 0 416154977 11084144640 21419 33554432000 4194304 4196468 140723797278832 139896568584304 139897043074454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14980] ppid=14850 vsize=10824360 memory=1564 CPUtime=0.23 cores=1,3,5,7
/proc/14854/task/14980/stat : 14980 (java) S 14850 14854 14797 0 -1 1077944384 723 13330 0 0 15 0 5 3 20 0 15 0 416154977 11084144640 21419 33554432000 4194304 4196468 140723797278832 139896567531504 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14981] ppid=14850 vsize=10824360 memory=500 CPUtime=0.25 cores=1,3,5,7
/proc/14854/task/14981/stat : 14981 (java) S 14850 14854 14797 0 -1 1077944384 926 13330 0 0 17 0 5 3 20 0 15 0 416154977 11084144640 21419 33554432000 4194304 4196468 140723797278832 139896566479216 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14983] ppid=14850 vsize=10824360 memory=932 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14983/stat : 14983 (java) S 14850 14854 14797 0 -1 1077944384 3 13330 0 0 0 0 5 3 20 0 15 0 416154977 11084144640 21419 33554432000 4194304 4196468 140723797278832 139895535127008 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14987] ppid=14850 vsize=10824360 memory=1424 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14987/stat : 14987 (java) S 14850 14854 14797 0 -1 1077944384 1 13330 0 0 0 0 5 3 20 0 15 0 416154977 11084144640 21419 33554432000 4194304 4196468 140723797278832 139896565427120 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85676 KiB
[startup+1.50072 s]
/proc/loadavg: 0.82 0.85 1.11 10/232 14989
/proc/meminfo: memFree=30654808/32770624 swapFree=66967408/67108860
[pid=14854] ppid=14850 vsize=10834676 memory=207904 CPUtime=3.07 cores=1,3,5,7
/proc/14854/stat : 14854 (java) S 14850 14854 14797 0 -1 1077944320 29938 13330 0 0 287 12 5 3 20 0 15 0 416154962 11094708224 51976 33554432000 4194304 4196468 140723797278832 140723797261376 139897043062519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
/proc/14854/statm: 2708669 51976 3589 1 0 2670733 0
[pid=14854/tid=14962] ppid=14850 vsize=10834676 memory=6791534058613427641 CPUtime=1.41 cores=1,3,5,7
/proc/14854/task/14962/stat : 14962 (java) R 14850 14854 14797 0 -1 4202560 15377 13330 0 0 127 6 5 3 20 0 15 0 416154971 11094708224 51976 33554432000 4194304 4196468 140723797278832 139897014891600 139897027143006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14965] ppid=14850 vsize=10834676 memory=4872558044660077418 CPUtime=0.09 cores=1,3,5,7
/proc/14854/task/14965/stat : 14965 (java) S 14850 14854 14797 0 -1 1077944384 24 13330 0 0 1 0 5 3 20 0 15 0 416154972 11094708224 51976 33554432000 4194304 4196468 140723797278832 139897047304592 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14968] ppid=14850 vsize=10834676 memory=281223453008032 CPUtime=0.09 cores=1,3,5,7
/proc/14854/task/14968/stat : 14968 (java) S 14850 14854 14797 0 -1 1077944384 65 13330 0 0 1 0 5 3 20 0 15 0 416154972 11094708224 51976 33554432000 4194304 4196468 140723797278832 139896951507216 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14970] ppid=14850 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14854/task/14970/stat : 14970 (java) S 14850 14854 14797 0 -1 1077944384 310 13330 0 0 1 0 5 3 20 0 15 0 416154972 11094708224 51976 33554432000 4194304 4196468 140723797278832 139896615131792 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14971] ppid=14850 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14854/task/14971/stat : 14971 (java) S 14850 14854 14797 0 -1 1077944384 80 13330 0 0 1 0 5 3 20 0 15 0 416154972 11094708224 51976 33554432000 4194304 4196468 140723797278832 139896614078992 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14972] ppid=14850 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14854/task/14972/stat : 14972 (java) S 14850 14854 14797 0 -1 1077944384 93 13330 0 0 1 0 5 3 20 0 15 0 416154973 11094708224 51976 33554432000 4194304 4196468 140723797278832 139896569637488 139897043073666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14974] ppid=14850 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14974/stat : 14974 (java) S 14850 14854 14797 0 -1 1077944384 13 13330 0 0 0 0 5 3 20 0 15 0 416154974 11094708224 51976 33554432000 4194304 4196468 140723797278832 139896480064864 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14976] ppid=14850 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14976/stat : 14976 (java) S 14850 14854 14797 0 -1 1077944384 2 13330 0 0 0 0 5 3 20 0 15 0 416154974 11094708224 51976 33554432000 4194304 4196468 140723797278832 139895876085376 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14978] ppid=14850 vsize=10834676 memory=-5921431000321636112 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14978/stat : 14978 (java) S 14850 14854 14797 0 -1 1077944384 3 13330 0 0 0 0 5 3 20 0 15 0 416154977 11094708224 51976 33554432000 4194304 4196468 140723797278832 139895568685648 139897043081115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14979] ppid=14850 vsize=10834676 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/14854/task/14979/stat : 14979 (java) S 14850 14854 14797 0 -1 1077944384 6034 13330 0 0 52 1 5 3 20 0 15 0 416154977 11094708224 51976 33554432000 4194304 4196468 140723797278832 139896568584304 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14980] ppid=14850 vsize=10834676 memory=10 CPUtime=0.61 cores=1,3,5,7
/proc/14854/task/14980/stat : 14980 (java) S 14850 14854 14797 0 -1 1077944384 3152 13330 0 0 53 0 5 3 20 0 15 0 416154977 11094708224 51976 33554432000 4194304 4196468 140723797278832 139896567531504 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14981] ppid=14850 vsize=10834676 memory=6791534058613427641 CPUtime=0.53 cores=1,3,5,7
/proc/14854/task/14981/stat : 14981 (java) S 14850 14854 14797 0 -1 1077944384 2578 13330 0 0 44 1 5 3 20 0 15 0 416154977 11094708224 51976 33554432000 4194304 4196468 140723797278832 139896566479216 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14983] ppid=14850 vsize=10834676 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14983/stat : 14983 (java) S 14850 14854 14797 0 -1 1077944384 3 13330 0 0 0 0 5 3 20 0 15 0 416154977 11094708224 51976 33554432000 4194304 4196468 140723797278832 139895535127008 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14987] ppid=14850 vsize=10834676 memory=281223453252416 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14987/stat : 14987 (java) S 14850 14854 14797 0 -1 1077944384 1 13330 0 0 0 0 5 3 20 0 15 0 416154977 11094708224 51976 33554432000 4194304 4196468 140723797278832 139896565427120 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/14854/task/14962/stat : 14962 (java) R 14850 14854 14797 0 -1 4202560 61785 13330 0 0 224563 40 5 3 20 0 15 0 416154971 11113615360 196287 33554432000 4194304 4196468 140723797278832 139897014898528 139896634925512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14965] ppid=14850 vsize=10853140 memory=785148 CPUtime=8 cores=1,3,5,7
/proc/14854/task/14965/stat : 14965 (java) S 14850 14854 14797 0 -1 1077944384 9854 13330 0 0 758 34 5 3 20 0 15 0 416154972 11113615360 196287 33554432000 4194304 4196468 140723797278832 139897047304592 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14968] ppid=14850 vsize=10853140 memory=785148 CPUtime=7.98 cores=1,3,5,7
/proc/14854/task/14968/stat : 14968 (java) S 14850 14854 14797 0 -1 1077944384 7102 13330 0 0 754 36 5 3 20 0 15 0 416154972 11113615360 196287 33554432000 4194304 4196468 140723797278832 139896951507216 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14970] ppid=14850 vsize=10853140 memory=785148 CPUtime=7.97 cores=1,3,5,7
/proc/14854/task/14970/stat : 14970 (java) S 14850 14854 14797 0 -1 1077944384 8375 13330 0 0 756 33 5 3 20 0 15 0 416154972 11113615360 196287 33554432000 4194304 4196468 140723797278832 139896615131792 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14971] ppid=14850 vsize=10853140 memory=785148 CPUtime=8 cores=1,3,5,7
/proc/14854/task/14971/stat : 14971 (java) S 14850 14854 14797 0 -1 1077944384 10633 13330 0 0 755 37 5 3 20 0 15 0 416154972 11113615360 196287 33554432000 4194304 4196468 140723797278832 139896614078992 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14972] ppid=14850 vsize=10853140 memory=785148 CPUtime=7.21 cores=1,3,5,7
/proc/14854/task/14972/stat : 14972 (java) S 14850 14854 14797 0 -1 1077944384 13680 13330 0 0 679 34 5 3 20 0 15 0 416154973 11113615360 196287 33554432000 4194304 4196468 140723797278832 139896569637488 139897043073666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14974] ppid=14850 vsize=10853140 memory=785148 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14974/stat : 14974 (java) S 14850 14854 14797 0 -1 1077944384 14 13330 0 0 0 0 5 3 20 0 15 0 416154974 11113615360 196287 33554432000 4194304 4196468 140723797278832 139896480064864 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14976] ppid=14850 vsize=10853140 memory=785148 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14976/stat : 14976 (java) S 14850 14854 14797 0 -1 1077944384 2 13330 0 0 0 0 5 3 20 0 15 0 416154974 11113615360 196287 33554432000 4194304 4196468 140723797278832 139895876085376 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14978] ppid=14850 vsize=10853140 memory=785148 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14978/stat : 14978 (java) S 14850 14854 14797 0 -1 1077944384 3 13330 0 0 0 0 5 3 20 0 15 0 416154977 11113615360 196287 33554432000 4194304 4196468 140723797278832 139895568685648 139897043081115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14979] ppid=14850 vsize=10853140 memory=785148 CPUtime=7.47 cores=1,3,5,7
/proc/14854/task/14979/stat : 14979 (java) S 14850 14854 14797 0 -1 1077944384 60883 13330 0 0 731 8 5 3 20 0 15 0 416154977 11113615360 196287 33554432000 4194304 4196468 140723797278832 139896568584304 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14980] ppid=14850 vsize=10853140 memory=145 CPUtime=7.4 cores=1,3,5,7
/proc/14854/task/14980/stat : 14980 (java) S 14850 14854 14797 0 -1 1077944384 47129 13330 0 0 725 7 5 3 20 0 15 0 416154977 11113615360 196287 33554432000 4194304 4196468 140723797278832 139896567531504 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14981] ppid=14850 vsize=10853140 memory=785148 CPUtime=5.08 cores=1,3,5,7
/proc/14854/task/14981/stat : 14981 (java) S 14850 14854 14797 0 -1 1077944384 63138 13330 0 0 490 10 5 3 20 0 15 0 416154977 11113615360 196287 33554432000 4194304 4196468 140723797278832 139896566479216 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14983] ppid=14850 vsize=10853140 memory=4136663268497897504 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14983/stat : 14983 (java) S 14850 14854 14797 0 -1 1077944384 3 13330 0 0 0 0 5 3 20 0 15 0 416154977 11113615360 196287 33554432000 4194304 4196468 140723797278832 139895535127008 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14987] ppid=14850 vsize=10853140 memory=3624 CPUtime=1.23 cores=1,3,5,7
/proc/14854/task/14987/stat : 14987 (java) S 14850 14854 14797 0 -1 1077944384 2026 13330 0 0 57 58 5 3 20 0 15 0 416154977 11113615360 196287 33554432000 4194304 4196468 140723797278832 139896565427120 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
Current children cumulated CPU time: 2305.86 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 785148 KiB
[startup+2322.3 s]
/proc/loadavg: 1.28 1.26 1.29 3/232 15365
/proc/meminfo: memFree=29468004/32770624 swapFree=66967428/67108860
[pid=14854] ppid=14850 vsize=10853140 memory=787272 CPUtime=2366.46 cores=1,3,5,7
/proc/14854/stat : 14854 (java) S 14850 14854 14797 0 -1 1077944320 288302 13330 0 0 236367 271 5 3 20 0 15 0 416154962 11113615360 196818 33554432000 4194304 4196468 140723797278832 140723797261376 139897043062519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
/proc/14854/statm: 2713285 196818 3634 1 0 2675341 0
[pid=14854/tid=14962] ppid=14850 vsize=10853140 memory=2832 CPUtime=2305.68 cores=1,3,5,7
/proc/14854/task/14962/stat : 14962 (java) R 14850 14854 14797 0 -1 4202560 62404 13330 0 0 230519 41 5 3 20 0 15 0 416154971 11113615360 196818 33554432000 4194304 4196468 140723797278832 139897014898704 139896641049756 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14965] ppid=14850 vsize=10853140 memory=787224 CPUtime=8.21 cores=1,3,5,7
/proc/14854/task/14965/stat : 14965 (java) S 14850 14854 14797 0 -1 1077944384 9925 13330 0 0 778 35 5 3 20 0 15 0 416154972 11113615360 196818 33554432000 4194304 4196468 140723797278832 139897047304592 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14968] ppid=14850 vsize=10853140 memory=787196 CPUtime=8.19 cores=1,3,5,7
/proc/14854/task/14968/stat : 14968 (java) S 14850 14854 14797 0 -1 1077944384 7141 13330 0 0 774 37 5 3 20 0 15 0 416154972 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896951507216 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14970] ppid=14850 vsize=10853140 memory=787244 CPUtime=8.18 cores=1,3,5,7
/proc/14854/task/14970/stat : 14970 (java) S 14850 14854 14797 0 -1 1077944384 8653 13330 0 0 776 34 5 3 20 0 15 0 416154972 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896615131792 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14971] ppid=14850 vsize=10853140 memory=0 CPUtime=8.21 cores=1,3,5,7
/proc/14854/task/14971/stat : 14971 (java) S 14850 14854 14797 0 -1 1077944384 10701 13330 0 0 775 38 5 3 20 0 15 0 416154972 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896614078992 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14972] ppid=14850 vsize=10853140 memory=787244 CPUtime=7.4 cores=1,3,5,7
/proc/14854/task/14972/stat : 14972 (java) S 14850 14854 14797 0 -1 1077944384 13829 13330 0 0 697 35 5 3 20 0 15 0 416154973 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896569637488 139897043073666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14974] ppid=14850 vsize=10853140 memory=787244 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14974/stat : 14974 (java) S 14850 14854 14797 0 -1 1077944384 14 13330 0 0 0 0 5 3 20 0 15 0 416154974 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896480064864 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14976] ppid=14850 vsize=10853140 memory=787244 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14976/stat : 14976 (java) S 14850 14854 14797 0 -1 1077944384 2 13330 0 0 0 0 5 3 20 0 15 0 416154974 11113615360 196818 33554432000 4194304 4196468 140723797278832 139895876085376 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14978] ppid=14850 vsize=10853140 memory=787224 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14978/stat : 14978 (java) S 14850 14854 14797 0 -1 1077944384 3 13330 0 0 0 0 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139895568685648 139897043081115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14979] ppid=14850 vsize=10853140 memory=776 CPUtime=7.48 cores=1,3,5,7
/proc/14854/task/14979/stat : 14979 (java) S 14850 14854 14797 0 -1 1077944384 60883 13330 0 0 731 9 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896568584304 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14980] ppid=14850 vsize=10853140 memory=787244 CPUtime=7.4 cores=1,3,5,7
/proc/14854/task/14980/stat : 14980 (java) S 14850 14854 14797 0 -1 1077944384 47129 13330 0 0 725 7 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896567531504 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14981] ppid=14850 vsize=10853140 memory=14008 CPUtime=5.08 cores=1,3,5,7
/proc/14854/task/14981/stat : 14981 (java) S 14850 14854 14797 0 -1 1077944384 63378 13330 0 0 490 10 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896566479216 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14983] ppid=14850 vsize=10853140 memory=7988 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14983/stat : 14983 (java) S 14850 14854 14797 0 -1 1077944384 3 13330 0 0 0 0 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139895535127008 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14987] ppid=14850 vsize=10853140 memory=1560 CPUtime=1.25 cores=1,3,5,7
/proc/14854/task/14987/stat : 14987 (java) S 14850 14854 14797 0 -1 1077944384 2032 13330 0 0 58 59 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896565427120 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
Current children cumulated CPU time: 2366.46 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 787272 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2355.5 s]
/proc/loadavg: 1.25 1.26 1.29 3/232 15368
/proc/meminfo: memFree=29467104/32770624 swapFree=66967428/67108860
[pid=14854] ppid=14850 vsize=10853140 memory=787272 CPUtime=2400 cores=1,3,5,7
/proc/14854/stat : 14854 (java) S 14850 14854 14797 0 -1 1077944320 288734 13330 0 0 239718 274 5 3 20 0 15 0 416154962 11113615360 196818 33554432000 4194304 4196468 140723797278832 140723797261376 139897043062519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
/proc/14854/statm: 2713285 196818 3634 1 0 2675341 0
[pid=14854/tid=14962] ppid=14850 vsize=10853140 memory=785060 CPUtime=2338.65 cores=1,3,5,7
/proc/14854/task/14962/stat : 14962 (java) R 14850 14854 14797 0 -1 4202560 62575 13330 0 0 233816 41 5 3 20 0 15 0 416154971 11113615360 196818 33554432000 4194304 4196468 140723797278832 139897014898432 139896645163272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14965] ppid=14850 vsize=10853140 memory=785060 CPUtime=8.32 cores=1,3,5,7
/proc/14854/task/14965/stat : 14965 (java) S 14850 14854 14797 0 -1 1077944384 9980 13330 0 0 789 35 5 3 20 0 15 0 416154972 11113615360 196818 33554432000 4194304 4196468 140723797278832 139897047304592 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14968] ppid=14850 vsize=10853140 memory=22844 CPUtime=8.3 cores=1,3,5,7
/proc/14854/task/14968/stat : 14968 (java) S 14850 14854 14797 0 -1 1077944384 7175 13330 0 0 785 37 5 3 20 0 15 0 416154972 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896951507216 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14970] ppid=14850 vsize=10853140 memory=787244 CPUtime=8.29 cores=1,3,5,7
/proc/14854/task/14970/stat : 14970 (java) S 14850 14854 14797 0 -1 1077944384 8698 13330 0 0 786 35 5 3 20 0 15 0 416154972 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896615131792 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14971] ppid=14850 vsize=10853140 memory=787272 CPUtime=8.32 cores=1,3,5,7
/proc/14854/task/14971/stat : 14971 (java) S 14850 14854 14797 0 -1 1077944384 10743 13330 0 0 785 39 5 3 20 0 15 0 416154972 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896614078992 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14972] ppid=14850 vsize=10853140 memory=0 CPUtime=7.5 cores=1,3,5,7
/proc/14854/task/14972/stat : 14972 (java) S 14850 14854 14797 0 -1 1077944384 13894 13330 0 0 706 36 5 3 20 0 15 0 416154973 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896569637488 139897043073666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14974] ppid=14850 vsize=10853140 memory=787272 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14974/stat : 14974 (java) S 14850 14854 14797 0 -1 1077944384 14 13330 0 0 0 0 5 3 20 0 15 0 416154974 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896480064864 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14976] ppid=14850 vsize=10853140 memory=787272 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14976/stat : 14976 (java) S 14850 14854 14797 0 -1 1077944384 2 13330 0 0 0 0 5 3 20 0 15 0 416154974 11113615360 196818 33554432000 4194304 4196468 140723797278832 139895876085376 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14978] ppid=14850 vsize=10853140 memory=787272 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14978/stat : 14978 (java) S 14850 14854 14797 0 -1 1077944384 3 13330 0 0 0 0 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139895568685648 139897043081115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14979] ppid=14850 vsize=10853140 memory=787272 CPUtime=7.48 cores=1,3,5,7
/proc/14854/task/14979/stat : 14979 (java) S 14850 14854 14797 0 -1 1077944384 60885 13330 0 0 731 9 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896568584304 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14980] ppid=14850 vsize=10853140 memory=787272 CPUtime=7.4 cores=1,3,5,7
/proc/14854/task/14980/stat : 14980 (java) S 14850 14854 14797 0 -1 1077944384 47131 13330 0 0 725 7 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896567531504 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14981] ppid=14850 vsize=10853140 memory=740 CPUtime=5.08 cores=1,3,5,7
/proc/14854/task/14981/stat : 14981 (java) S 14850 14854 14797 0 -1 1077944384 63380 13330 0 0 490 10 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896566479216 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14983] ppid=14850 vsize=10853140 memory=785072 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14983/stat : 14983 (java) S 14850 14854 14797 0 -1 1077944384 3 13330 0 0 0 0 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139895535127008 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14987] ppid=14850 vsize=10853140 memory=0 CPUtime=1.26 cores=1,3,5,7
/proc/14854/task/14987/stat : 14987 (java) S 14850 14854 14797 0 -1 1077944384 2046 13330 0 0 59 59 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896565427120 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 787272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2355.53 s]
# the end of solver process 14854 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.25 s, system=2.78299 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2355.5 s]
/proc/loadavg: 1.25 1.26 1.29 3/232 15368
/proc/meminfo: memFree=29467104/32770624 swapFree=66967428/67108860
[pid=14854] ppid=14850 vsize=10853140 memory=787272 CPUtime=2400 cores=1,3,5,7
/proc/14854/stat : 14854 (java) S 14850 14854 14797 0 -1 1077944320 288734 13330 0 0 239718 274 5 3 20 0 15 0 416154962 11113615360 196818 33554432000 4194304 4196468 140723797278832 140723797261376 139897043062519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
/proc/14854/statm: 2713285 196818 3634 1 0 2675341 0
[pid=14854/tid=14962] ppid=14850 vsize=10853140 memory=785060 CPUtime=2338.65 cores=1,3,5,7
/proc/14854/task/14962/stat : 14962 (java) R 14850 14854 14797 0 -1 4202560 62575 13330 0 0 233816 41 5 3 20 0 15 0 416154971 11113615360 196818 33554432000 4194304 4196468 140723797278832 139897014898432 139896645163272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14965] ppid=14850 vsize=10853140 memory=785060 CPUtime=8.32 cores=1,3,5,7
/proc/14854/task/14965/stat : 14965 (java) S 14850 14854 14797 0 -1 1077944384 9980 13330 0 0 789 35 5 3 20 0 15 0 416154972 11113615360 196818 33554432000 4194304 4196468 140723797278832 139897047304592 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14968] ppid=14850 vsize=10853140 memory=22844 CPUtime=8.3 cores=1,3,5,7
/proc/14854/task/14968/stat : 14968 (java) S 14850 14854 14797 0 -1 1077944384 7175 13330 0 0 785 37 5 3 20 0 15 0 416154972 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896951507216 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14970] ppid=14850 vsize=10853140 memory=787244 CPUtime=8.29 cores=1,3,5,7
/proc/14854/task/14970/stat : 14970 (java) S 14850 14854 14797 0 -1 1077944384 8698 13330 0 0 786 35 5 3 20 0 15 0 416154972 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896615131792 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14971] ppid=14850 vsize=10853140 memory=787272 CPUtime=8.32 cores=1,3,5,7
/proc/14854/task/14971/stat : 14971 (java) S 14850 14854 14797 0 -1 1077944384 10743 13330 0 0 785 39 5 3 20 0 15 0 416154972 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896614078992 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14972] ppid=14850 vsize=10853140 memory=0 CPUtime=7.5 cores=1,3,5,7
/proc/14854/task/14972/stat : 14972 (java) S 14850 14854 14797 0 -1 1077944384 13894 13330 0 0 706 36 5 3 20 0 15 0 416154973 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896569637488 139897043073666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14974] ppid=14850 vsize=10853140 memory=787272 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14974/stat : 14974 (java) S 14850 14854 14797 0 -1 1077944384 14 13330 0 0 0 0 5 3 20 0 15 0 416154974 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896480064864 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14976] ppid=14850 vsize=10853140 memory=787272 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14976/stat : 14976 (java) S 14850 14854 14797 0 -1 1077944384 2 13330 0 0 0 0 5 3 20 0 15 0 416154974 11113615360 196818 33554432000 4194304 4196468 140723797278832 139895876085376 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14978] ppid=14850 vsize=10853140 memory=787272 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14978/stat : 14978 (java) S 14850 14854 14797 0 -1 1077944384 3 13330 0 0 0 0 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139895568685648 139897043081115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14979] ppid=14850 vsize=10853140 memory=787272 CPUtime=7.48 cores=1,3,5,7
/proc/14854/task/14979/stat : 14979 (java) S 14850 14854 14797 0 -1 1077944384 60885 13330 0 0 731 9 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896568584304 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14980] ppid=14850 vsize=10853140 memory=787272 CPUtime=7.4 cores=1,3,5,7
/proc/14854/task/14980/stat : 14980 (java) S 14850 14854 14797 0 -1 1077944384 47131 13330 0 0 725 7 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896567531504 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14981] ppid=14850 vsize=10853140 memory=740 CPUtime=5.08 cores=1,3,5,7
/proc/14854/task/14981/stat : 14981 (java) S 14850 14854 14797 0 -1 1077944384 63380 13330 0 0 490 10 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896566479216 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14983] ppid=14850 vsize=10853140 memory=785072 CPUtime=0.08 cores=1,3,5,7
/proc/14854/task/14983/stat : 14983 (java) S 14850 14854 14797 0 -1 1077944384 3 13330 0 0 0 0 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139895535127008 139897043072725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
[pid=14854/tid=14987] ppid=14850 vsize=10853140 memory=0 CPUtime=1.26 cores=1,3,5,7
/proc/14854/task/14987/stat : 14987 (java) S 14850 14854 14797 0 -1 1077944384 2046 13330 0 0 59 59 5 3 20 0 15 0 416154977 11113615360 196818 33554432000 4194304 4196468 140723797278832 139896565427120 139897043073666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140723797285615 140723797288133 140723797288133 140723797290959 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 787272 KiB
Child status: 143
Real time (s): 2355.53
CPU time (s): 2400.04
CPU user time (s): 2397.25
CPU system time (s): 2.78299
CPU usage (%): 101.89
Max. virtual memory (cumulated for all children) (KiB): 10854012
Max. memory (cumulated for all children) (KiB): 872432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.25
system time used= 2.78299
maximum resident set size= 874484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302984
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 198178
involuntary context switches= 6592
# summary of solver processes directly reported to runsolver:
# pid: 14854
# total CPU time (s): 2400.04
# total CPU user time (s): 2397.25
# total CPU system time (s): 2.78299
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9286 second user time and 22.5768 second system time
The end
Begin job on node135 at 2019-09-13 20:23:34 IDJOB=4396542 IDBENCH=126794 IDSOLVER=2847 FILE ID=node135/4396542-1568399054 RUNJOBID= node135-1568399014-14829 PBS_JOBID= 21701873 Free space on /tmp= 61376 MiB SOLVER NAME= Concrete 3.12.2 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-pb-30-15-1.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396542-1568399054/watcher-4396542-1568399054 -o /tmp/evaluation-result-4396542-1568399054/solver-4396542-1568399054 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568399014-14829 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1213584237 HOME/instance-4396542-1568399054.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1892dc6bbe7f4411da75bff22067cf15 RANDOM SEED=1213584237 node135.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 : 2668.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.76 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 : 2668.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 : 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 : 2668.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.76 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 : 2668.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 : 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 : 2668.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.76 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 : 2668.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 : 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 : 2668.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.76 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 : 2668.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: 32770624 kB MemFree: 30869528 kB MemAvailable: 31864128 kB Buffers: 150444 kB Cached: 1114000 kB SwapCached: 34948 kB Active: 551224 kB Inactive: 749832 kB Active(anon): 10088 kB Inactive(anon): 59956 kB Active(file): 541136 kB Inactive(file): 689876 kB Unevictable: 110220 kB Mlocked: 110220 kB SwapTotal: 67108860 kB SwapFree: 66967408 kB Dirty: 71248 kB Writeback: 0 kB AnonPages: 113816 kB Mapped: 35596 kB Shmem: 23828 kB Slab: 189380 kB SReclaimable: 158844 kB SUnreclaim: 30536 kB KernelStack: 3360 kB PageTables: 6312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 501784 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61304 MiB End job on node135 at 2019-09-13 21:02:50