Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.10 | SAT (TO) | 14 | 2400.1 | 2340.53 |
| Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-pb-30-15-1.xml |
| MD5SUM | 200d8ff13be0114d953e34120514972f |
| 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 | 67.0084 |
| 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.76/0.54 c Concrete v3.10.1560635388952 running 42.18/26.90 o 15 70.31/53.84 o 14 2400.06/2340.50 Exception in thread "main" java.util.concurrent.TimeoutException 2400.06/2340.50 at concrete.MAC.mac(MAC.scala:189) 2400.06/2340.50 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253) 2400.06/2340.50 at scala.util.Try$.apply(Try.scala:212) 2400.06/2340.50 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2400.06/2340.50 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2400.06/2340.50 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2400.06/2340.50 at concrete.MAC.oneRun(MAC.scala:253) 2400.06/2340.50 at concrete.MAC.nextSolution(MAC.scala:272) 2400.06/2340.50 at concrete.MAC.nextSolution(MAC.scala:355) 2400.06/2340.50 at concrete.Solver.hasNext(Solver.scala:160) 2400.06/2340.50 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2400.06/2340.50 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2400.06/2340.50 at concrete.Solver.foreach(Solver.scala:67) 2400.06/2340.50 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:72) 2400.06/2340.50 at scala.util.Success.map(Try.scala:264) 2400.06/2340.50 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67) 2400.06/2340.50 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2400.06/2340.50 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.06/2340.50 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2400.06/2340.50 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.06/2340.50 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2400.06/2340.50 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2400.06/2340.50 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2400.06/2340.50 at scala.App.$anonfun$main$1(App.scala:75) 2400.06/2340.50 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2400.06/2340.50 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2400.06/2340.50 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2400.06/2340.50 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2400.06/2340.50 at scala.App.main(App.scala:75) 2400.06/2340.50 at scala.App.main$(App.scala:73) 2400.06/2340.50 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.06/2340.50 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.06/2340.51 v <instantiation 2400.06/2340.51 v cost = '14'> 2400.06/2340.51 v <list> 2400.06/2340.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.06/2340.52 v </list> 2400.06/2340.52 v <values> 2400.06/2340.52 v 1 7 5 2 14 8 6 12 11 13 10 4 9 0 3 0 0 1 1 2 3 3 3 3 4 4 5 5 6 6 0 0 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 2 2 2 3 3 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 1 1 1 1 2 0 0 0 0 1 2 2 2 3 3 3 3 3 3 3 0 0 0 0 1 1 1 1 2 2 2 2 2 2 2 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 1 1 1 0 1 1 1 1 1 2 3 3 3 3 3 3 3 3 0 0 0 0 0 1 2 3 3 3 3 3 4 5 6 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 2 3 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 1 1 1 1 2 3 3 3 3 3 3 3 3 3 3 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 1 2 2 2 2 3 3 4 4 4 4 4 4 1 1 1 1 2 2 2 2 3 3 3 3 4 4 4 0 0 0 0 0 0 1 2 3 3 3 3 3 3 3 1 2 2 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 0 0 0 1 1 2 2 2 2 2 2 3 3 3 4 0 0 0 0 0 0 0 0 0 1 1 2 2 3 3 0 1 2 2 2 2 2 2 2 2 2 2 3 4 4 0 0 0 0 1 2 2 3 3 3 3 4 4 4 5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 1 1 1 2 2 3 3 3 3 3 3 3 3 3 0 0 1 0 1 1 0 0 0 1 0 1 0 1 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 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 1 0 0 0 1 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 1 1 1 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 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 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 1 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 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 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 0 1 0 1 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 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 1 1 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 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 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 1 0 0 0 1 1 1 1 1 1 1 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 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 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 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 1 1 1 1 1 1 1 1 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 1 1 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 1 1 1 1 1 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 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 5 7 12 13 14 14 14 12 14 13 13 14 14 11 6 2400.06/2340.52 v </values> 2400.06/2340.52 v </instantiation> 2400.06/2340.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 (12871 MiB free)
memory of node 1: 16384 MiB (15626 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392255-1568329101/watcher-4392255-1568329101 -o /tmp/evaluation-result-4392255-1568329101/solver-4392255-1568329101 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568301260-5610 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=906572921 HOME/instance-4392255-1568329101.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
Current StackSize limit: 8192 KiB
solver pid=13473, runsolver pid=13470
[startup+0.100136 s]*
/proc/loadavg: 1.18 1.31 1.40 3/218 13530
/proc/meminfo: memFree=29173384/32770624 swapFree=66999852/67108860
[pid=13473] ppid=13470 vsize=9972712 memory=17080 CPUtime=0.09 cores=1,3,5,7
/proc/13473/stat : 13473 (java) S 13470 13473 5578 0 -1 1077944320 4545 13126 0 0 1 0 5 3 20 0 6 0 408824166 10212057088 4270 33554432000 4194304 4196468 140733307703616 140733307686160 140278154956535 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
/proc/13473/statm: 2493178 4270 1935 1 0 2481616 0
[pid=13473/tid=13526] ppid=13470 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/13473/task/13526/stat : 13526 (java) R 13470 13473 5578 0 -1 4202560 2348 13126 0 0 1 0 5 3 20 0 6 0 408824175 10212057088 4336 33554432000 4194304 4196468 140733307703616 140278126793296 140278139037022 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13527] ppid=13470 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13527/stat : 13527 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 6 0 408824176 10212057088 4336 33554432000 4194304 4196468 140733307703616 140278159199248 140278154966741 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13528] ppid=13470 vsize=9972712 memory=140310136432256 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13528/stat : 13528 (java) S 13470 13473 5578 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 6 0 408824176 10212057088 4336 33554432000 4194304 4196468 140733307703616 140278063402128 140278154966741 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13529] ppid=13470 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13529/stat : 13529 (java) S 13470 13473 5578 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 6 0 408824176 10212057088 4336 33554432000 4194304 4196468 140733307703616 140278062349072 140278154966741 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13530] ppid=13470 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13530/stat : 13530 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 6 0 408824176 10212057088 4336 33554432000 4194304 4196468 140733307703616 140277726370704 140278154966741 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.210008 s]*
/proc/loadavg: 1.18 1.31 1.40 4/227 13539
/proc/meminfo: memFree=29150864/32770624 swapFree=66999852/67108860
[pid=13473] ppid=13470 vsize=10818940 memory=43220 CPUtime=0.27 cores=1,3,5,7
/proc/13473/stat : 13473 (java) S 13470 13473 5578 0 -1 1077944320 7118 13126 0 0 17 2 5 3 20 0 15 0 408824166 11078594560 10805 33554432000 4194304 4196468 140733307703616 140733307686160 140278154956535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
/proc/13473/statm: 2704735 10805 2991 1 0 2667149 0
[pid=13473/tid=13526] ppid=13470 vsize=10818940 memory=5450916389569530688 CPUtime=0.2 cores=1,3,5,7
/proc/13473/task/13526/stat : 13526 (java) R 13470 13473 5578 0 -1 4202560 3604 13126 0 0 11 1 5 3 20 0 15 0 408824175 11078594560 10805 33554432000 4194304 4196468 140733307703616 140278126789568 140278139037022 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13527] ppid=13470 vsize=10818940 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13527/stat : 13527 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408824176 11078594560 10805 33554432000 4194304 4196468 140733307703616 140278159199248 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13528] ppid=13470 vsize=10818940 memory=140310136432256 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13528/stat : 13528 (java) S 13470 13473 5578 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408824176 11078594560 10805 33554432000 4194304 4196468 140733307703616 140278063402128 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13529] ppid=13470 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13529/stat : 13529 (java) S 13470 13473 5578 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408824176 11078594560 10805 33554432000 4194304 4196468 140733307703616 140278062349072 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13530] ppid=13470 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13530/stat : 13530 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408824176 11078594560 10805 33554432000 4194304 4196468 140733307703616 140277726370704 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13531] ppid=13470 vsize=10818940 memory=140310136432256 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13531/stat : 13531 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408824177 11078594560 10805 33554432000 4194304 4196468 140733307703616 140277681555696 140278154967682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13532] ppid=13470 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13532/stat : 13532 (java) S 13470 13473 5578 0 -1 1077944384 13 13126 0 0 0 0 5 3 20 0 15 0 408824178 11078594560 10805 33554432000 4194304 4196468 140733307703616 140277591303328 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13533] ppid=13470 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13533/stat : 13533 (java) S 13470 13473 5578 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408824178 11078594560 10805 33554432000 4194304 4196468 140733307703616 140277457085168 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13534] ppid=13470 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13534/stat : 13534 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408824181 11078594560 10805 33554432000 4194304 4196468 140733307703616 140276853106640 140278154975131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13535] ppid=13470 vsize=10818940 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13473/task/13535/stat : 13535 (java) S 13470 13473 5578 0 -1 1077944384 561 13126 0 0 1 0 5 3 20 0 15 0 408824181 11078594560 10805 33554432000 4194304 4196468 140733307703616 140277680503536 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13536] ppid=13470 vsize=10818940 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/13473/task/13536/stat : 13536 (java) S 13470 13473 5578 0 -1 1077944384 69 13126 0 0 1 0 5 3 20 0 15 0 408824181 11078594560 10805 33554432000 4194304 4196468 140733307703616 140277679450992 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13537] ppid=13470 vsize=10818940 memory=140310136432256 CPUtime=0.11 cores=1,3,5,7
/proc/13473/task/13537/stat : 13537 (java) S 13470 13473 5578 0 -1 1077944384 648 13126 0 0 3 0 5 3 20 0 15 0 408824181 11078594560 10805 33554432000 4194304 4196468 140733307703616 140277678397936 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13538] ppid=13470 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13538/stat : 13538 (java) S 13470 13473 5578 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408824181 11078594560 10805 33554432000 4194304 4196468 140733307703616 140276383345504 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13539] ppid=13470 vsize=10818940 memory=140310136432256 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13539/stat : 13539 (java) S 13470 13473 5578 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408824181 11078594560 10805 33554432000 4194304 4196468 140733307703616 140277677345328 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 43220 KiB
[startup+0.310488 s]*
/proc/loadavg: 1.18 1.31 1.40 3/227 13539
/proc/meminfo: memFree=29140480/32770624 swapFree=66999852/67108860
[pid=13473] ppid=13470 vsize=10820244 memory=55032 CPUtime=0.41 cores=1,3,5,7
/proc/13473/stat : 13473 (java) S 13470 13473 5578 0 -1 1077944320 10767 13126 0 0 30 3 5 3 20 0 15 0 408824166 11079929856 13758 33554432000 4194304 4196468 140733307703616 140733307686160 140278154956535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
/proc/13473/statm: 2705061 13758 3322 1 0 2667149 0
[pid=13473/tid=13526] ppid=13470 vsize=10820244 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/13473/task/13526/stat : 13526 (java) R 13470 13473 5578 0 -1 4202560 7237 13126 0 0 19 2 5 3 20 0 15 0 408824175 11079929856 13758 33554432000 4194304 4196468 140733307703616 140278126773424 140278154968470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13527] ppid=13470 vsize=10820244 memory=6370173865932580452 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13527/stat : 13527 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408824176 11079929856 13758 33554432000 4194304 4196468 140733307703616 140278159199248 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13528] ppid=13470 vsize=10820244 memory=5787213827347079232 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13528/stat : 13528 (java) S 13470 13473 5578 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408824176 11079929856 13758 33554432000 4194304 4196468 140733307703616 140278063402128 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13529] ppid=13470 vsize=10820244 memory=7649539681435404737 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13529/stat : 13529 (java) S 13470 13473 5578 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408824176 11079929856 13758 33554432000 4194304 4196468 140733307703616 140278062349072 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13530] ppid=13470 vsize=10820244 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13530/stat : 13530 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408824176 11079929856 13758 33554432000 4194304 4196468 140733307703616 140277726370704 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13531] ppid=13470 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13531/stat : 13531 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408824177 11079929856 13758 33554432000 4194304 4196468 140733307703616 140277681555696 140278154967682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13532] ppid=13470 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13532/stat : 13532 (java) S 13470 13473 5578 0 -1 1077944384 13 13126 0 0 0 0 5 3 20 0 15 0 408824178 11079929856 13758 33554432000 4194304 4196468 140733307703616 140277591303328 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13533] ppid=13470 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13533/stat : 13533 (java) S 13470 13473 5578 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408824178 11079929856 13758 33554432000 4194304 4196468 140733307703616 140277457085168 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13534] ppid=13470 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13534/stat : 13534 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408824181 11079929856 13758 33554432000 4194304 4196468 140733307703616 140276853106640 140278154975131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13535] ppid=13470 vsize=10820244 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/13473/task/13535/stat : 13535 (java) S 13470 13473 5578 0 -1 1077944384 561 13126 0 0 2 0 5 3 20 0 15 0 408824181 11079929856 13758 33554432000 4194304 4196468 140733307703616 140277680503536 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13536] ppid=13470 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13473/task/13536/stat : 13536 (java) R 13470 13473 5578 0 -1 4202560 70 13126 0 0 1 0 5 3 20 0 15 0 408824181 11079929856 13758 33554432000 4194304 4196468 140733307703616 140277679450992 140278140974721 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13537] ppid=13470 vsize=10820244 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/13473/task/13537/stat : 13537 (java) S 13470 13473 5578 0 -1 1077944384 661 13126 0 0 5 0 5 3 20 0 15 0 408824181 11079929856 13758 33554432000 4194304 4196468 140733307703616 140277678397936 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13538] ppid=13470 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13538/stat : 13538 (java) S 13470 13473 5578 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408824181 11079929856 13758 33554432000 4194304 4196468 140733307703616 140276383345504 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13539] ppid=13470 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13539/stat : 13539 (java) S 13470 13473 5578 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408824181 11079929856 13758 33554432000 4194304 4196468 140733307703616 140277677345328 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 55032 KiB
[startup+0.70069 s]
/proc/loadavg: 1.18 1.31 1.40 5/227 13539
/proc/meminfo: memFree=29124872/32770624 swapFree=66999852/67108860
[pid=13473] ppid=13470 vsize=10825364 memory=84796 CPUtime=1.14 cores=1,3,5,7
/proc/13473/stat : 13473 (java) S 13470 13473 5578 0 -1 1077944320 14941 13126 0 0 101 5 5 3 20 0 15 0 408824166 11085172736 21199 33554432000 4194304 4196468 140733307703616 140733307686160 140278154956535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
/proc/13473/statm: 2706341 21199 3499 1 0 2668429 0
[pid=13473/tid=13526] ppid=13470 vsize=10824340 memory=2241 CPUtime=0.67 cores=1,3,5,7
/proc/13473/task/13526/stat : 13526 (java) R 13470 13473 5578 0 -1 4202560 10647 13126 0 0 55 4 5 3 20 0 15 0 408824175 11084124160 21199 33554432000 4194304 4196468 140733307703616 140278126774496 140278147673498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13527] ppid=13470 vsize=10825364 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13527/stat : 13527 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408824176 11085172736 21199 33554432000 4194304 4196468 140733307703616 140278159199248 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13528] ppid=13470 vsize=10825364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13528/stat : 13528 (java) S 13470 13473 5578 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408824176 11085172736 21199 33554432000 4194304 4196468 140733307703616 140278063402128 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13529] ppid=13470 vsize=10825364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13529/stat : 13529 (java) S 13470 13473 5578 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408824176 11085172736 21199 33554432000 4194304 4196468 140733307703616 140278062349072 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13530] ppid=13470 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13530/stat : 13530 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408824176 11084124160 21199 33554432000 4194304 4196468 140733307703616 140277726370704 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13531] ppid=13470 vsize=10824340 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13531/stat : 13531 (java) S 13470 13473 5578 0 -1 1077944384 5 13126 0 0 0 0 5 3 20 0 15 0 408824177 11084124160 21199 33554432000 4194304 4196468 140733307703616 140277681555696 140278154967682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13532] ppid=13470 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13532/stat : 13532 (java) S 13470 13473 5578 0 -1 1077944384 13 13126 0 0 0 0 5 3 20 0 15 0 408824178 11084124160 21199 33554432000 4194304 4196468 140733307703616 140277591303328 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13533] ppid=13470 vsize=10824340 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13533/stat : 13533 (java) S 13470 13473 5578 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408824178 11084124160 21199 33554432000 4194304 4196468 140733307703616 140277457085168 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13534] ppid=13470 vsize=10824340 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13534/stat : 13534 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408824181 11084124160 21199 33554432000 4194304 4196468 140733307703616 140276853106640 140278154975131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13535] ppid=13470 vsize=10824340 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/13473/task/13535/stat : 13535 (java) S 13470 13473 5578 0 -1 1077944384 939 13126 0 0 16 0 5 3 20 0 15 0 408824181 11084124160 21199 33554432000 4194304 4196468 140733307703616 140277680503536 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13536] ppid=13470 vsize=10824340 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/13473/task/13536/stat : 13536 (java) S 13470 13473 5578 0 -1 1077944384 301 13126 0 0 11 0 5 3 20 0 15 0 408824181 11084124160 21199 33554432000 4194304 4196468 140733307703616 140277679450992 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13537] ppid=13470 vsize=10824340 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/13473/task/13537/stat : 13537 (java) R 13470 13473 5578 0 -1 4202560 839 13126 0 0 17 0 5 3 20 0 15 0 408824181 11084124160 21199 33554432000 4194304 4196468 140733307703616 140277678397936 140278134248138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13538] ppid=13470 vsize=10824340 memory=140310004926448 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13538/stat : 13538 (java) S 13470 13473 5578 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408824181 11084124160 21199 33554432000 4194304 4196468 140733307703616 140276383345504 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13539] ppid=13470 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13539/stat : 13539 (java) S 13470 13473 5578 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408824181 11084124160 21199 33554432000 4194304 4196468 140733307703616 140277677345328 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10825364 KiB
Current children cumulated memory: 84796 KiB
[startup+1.50116 s]
/proc/loadavg: 1.49 1.37 1.42 5/227 13539
/proc/meminfo: memFree=29070528/32770624 swapFree=66999852/67108860
[pid=13473] ppid=13470 vsize=10834656 memory=199704 CPUtime=3.05 cores=1,3,5,7
/proc/13473/stat : 13473 (java) S 13470 13473 5578 0 -1 1077944320 25057 13126 0 0 287 10 5 3 20 0 15 0 408824166 11094687744 49926 33554432000 4194304 4196468 140733307703616 140733307686160 140278154956535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
/proc/13473/statm: 2708664 49926 3584 1 0 2670733 0
[pid=13473/tid=13526] ppid=13470 vsize=10834656 memory=27 CPUtime=1.43 cores=1,3,5,7
/proc/13473/task/13526/stat : 13526 (java) R 13470 13473 5578 0 -1 4202560 16184 13126 0 0 129 6 5 3 20 0 15 0 408824175 11094687744 49926 33554432000 4194304 4196468 140733307703616 140278126773888 140277742442636 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13527] ppid=13470 vsize=10834656 memory=33 CPUtime=0.09 cores=1,3,5,7
/proc/13473/task/13527/stat : 13527 (java) S 13470 13473 5578 0 -1 1077944384 324 13126 0 0 1 0 5 3 20 0 15 0 408824176 11094687744 49926 33554432000 4194304 4196468 140733307703616 140278159199248 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13528] ppid=13470 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13473/task/13528/stat : 13528 (java) S 13470 13473 5578 0 -1 1077944384 39 13126 0 0 1 0 5 3 20 0 15 0 408824176 11094687744 49926 33554432000 4194304 4196468 140733307703616 140278063402128 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13529] ppid=13470 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13473/task/13529/stat : 13529 (java) S 13470 13473 5578 0 -1 1077944384 60 13126 0 0 1 0 5 3 20 0 15 0 408824176 11094687744 49926 33554432000 4194304 4196468 140733307703616 140278062349072 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13530] ppid=13470 vsize=10834656 memory=109560 CPUtime=0.09 cores=1,3,5,7
/proc/13473/task/13530/stat : 13530 (java) S 13470 13473 5578 0 -1 1077944384 67 13126 0 0 1 0 5 3 20 0 15 0 408824176 11094687744 49926 33554432000 4194304 4196468 140733307703616 140277726370704 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13531] ppid=13470 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13473/task/13531/stat : 13531 (java) S 13470 13473 5578 0 -1 1077944384 109 13126 0 0 1 0 5 3 20 0 15 0 408824177 11094687744 49926 33554432000 4194304 4196468 140733307703616 140277681555696 140278154967682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13532] ppid=13470 vsize=10834656 memory=6298398794875491175 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13532/stat : 13532 (java) S 13470 13473 5578 0 -1 1077944384 14 13126 0 0 0 0 5 3 20 0 15 0 408824178 11094687744 49926 33554432000 4194304 4196468 140733307703616 140277591303392 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13533] ppid=13470 vsize=10834656 memory=6947205286061042278 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13533/stat : 13533 (java) S 13470 13473 5578 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408824178 11094687744 49926 33554432000 4194304 4196468 140733307703616 140277457085184 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13534] ppid=13470 vsize=10834656 memory=7306058402452301920 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13534/stat : 13534 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408824181 11094687744 49926 33554432000 4194304 4196468 140733307703616 140276853106640 140278154975131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13535] ppid=13470 vsize=10834656 memory=5787219359317645668 CPUtime=0.62 cores=1,3,5,7
/proc/13473/task/13535/stat : 13535 (java) S 13470 13473 5578 0 -1 1077944384 2314 13126 0 0 54 0 5 3 20 0 15 0 408824181 11094687744 49926 33554432000 4194304 4196468 140733307703616 140277680503536 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13536] ppid=13470 vsize=10834656 memory=7163654024420937835 CPUtime=0.56 cores=1,3,5,7
/proc/13473/task/13536/stat : 13536 (java) S 13470 13473 5578 0 -1 1077944384 1806 13126 0 0 48 0 5 3 20 0 15 0 408824181 11094687744 49926 33554432000 4194304 4196468 140733307703616 140277679450992 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13537] ppid=13470 vsize=10834656 memory=6298398794875491175 CPUtime=0.53 cores=1,3,5,7
/proc/13473/task/13537/stat : 13537 (java) S 13470 13473 5578 0 -1 1077944384 1923 13126 0 0 45 0 5 3 20 0 15 0 408824181 11094687744 49926 33554432000 4194304 4196468 140733307703616 140277678397936 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13538] ppid=13470 vsize=10834656 memory=6298398794875491175 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13538/stat : 13538 (java) S 13470 13473 5578 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408824181 11094687744 49926 33554432000 4194304 4196468 140733307703616 140276383345504 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13539] ppid=13470 vsize=10834656 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13539/stat : 13539 (java) S 13470 13473 5578 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408824181 11094687744 49926 33554432000 4194304 4196468 140733307703616 140277677345328 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/13473/task/13526/stat : 13526 (java) R 13470 13473 5578 0 -1 4202560 69844 13126 0 0 223893 47 5 3 20 0 15 0 408824175 11111497728 254162 33554432000 4194304 4196468 140733307703616 140278126792080 140277758763520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13527] ppid=13470 vsize=10851072 memory=1016648 CPUtime=12.04 cores=1,3,5,7
/proc/13473/task/13527/stat : 13527 (java) S 13470 13473 5578 0 -1 1077944384 14527 13126 0 0 1147 49 5 3 20 0 15 0 408824176 11111497728 254162 33554432000 4194304 4196468 140733307703616 140278159199248 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13528] ppid=13470 vsize=10851072 memory=1016648 CPUtime=12 cores=1,3,5,7
/proc/13473/task/13528/stat : 13528 (java) S 13470 13473 5578 0 -1 1077944384 12063 13126 0 0 1145 47 5 3 20 0 15 0 408824176 11111497728 254162 33554432000 4194304 4196468 140733307703616 140278063402128 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13529] ppid=13470 vsize=10851072 memory=1016648 CPUtime=12.03 cores=1,3,5,7
/proc/13473/task/13529/stat : 13529 (java) S 13470 13473 5578 0 -1 1077944384 13651 13126 0 0 1149 46 5 3 20 0 15 0 408824176 11111497728 254162 33554432000 4194304 4196468 140733307703616 140278062349072 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13530] ppid=13470 vsize=10851072 memory=1016648 CPUtime=12.01 cores=1,3,5,7
/proc/13473/task/13530/stat : 13530 (java) S 13470 13473 5578 0 -1 1077944384 12362 13126 0 0 1144 49 5 3 20 0 15 0 408824176 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277726370704 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13531] ppid=13470 vsize=10851072 memory=1016648 CPUtime=9.31 cores=1,3,5,7
/proc/13473/task/13531/stat : 13531 (java) S 13470 13473 5578 0 -1 1077944384 15629 13126 0 0 874 49 5 3 20 0 15 0 408824177 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277681555696 140278154967682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13532] ppid=13470 vsize=10851072 memory=1016648 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13532/stat : 13532 (java) S 13470 13473 5578 0 -1 1077944384 21 13126 0 0 0 0 5 3 20 0 15 0 408824178 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277591303392 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13533] ppid=13470 vsize=10851072 memory=1016648 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13533/stat : 13533 (java) S 13470 13473 5578 0 -1 1077944384 9 13126 0 0 0 0 5 3 20 0 15 0 408824178 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277457085184 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13534] ppid=13470 vsize=10851072 memory=1192 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13534/stat : 13534 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140276853106640 140278154975131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13535] ppid=13470 vsize=10851072 memory=1016648 CPUtime=9.24 cores=1,3,5,7
/proc/13473/task/13535/stat : 13535 (java) S 13470 13473 5578 0 -1 1077944384 46385 13126 0 0 908 8 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277680503536 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13536] ppid=13470 vsize=10851072 memory=4126316290023845779 CPUtime=8.34 cores=1,3,5,7
/proc/13473/task/13536/stat : 13536 (java) S 13470 13473 5578 0 -1 1077944384 31250 13126 0 0 819 7 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277679450992 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13537] ppid=13470 vsize=10851072 memory=380 CPUtime=5.48 cores=1,3,5,7
/proc/13473/task/13537/stat : 13537 (java) S 13470 13473 5578 0 -1 1077944384 39953 13126 0 0 530 10 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277678397936 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13538] ppid=13470 vsize=10851072 memory=1016648 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13538/stat : 13538 (java) S 13470 13473 5578 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140276383345504 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13539] ppid=13470 vsize=10851072 memory=1016648 CPUtime=1.29 cores=1,3,5,7
/proc/13473/task/13539/stat : 13539 (java) S 13470 13473 5578 0 -1 1077944384 991 13126 0 0 55 66 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277677345328 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
Current children cumulated CPU time: 2320.6 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1016648 KiB
[startup+2322.3 s]
/proc/loadavg: 1.62 1.53 1.51 3/227 14041
/proc/meminfo: memFree=26552384/32770624 swapFree=66999864/67108860
[pid=13473] ppid=13470 vsize=10851072 memory=1016648 CPUtime=2381.61 cores=1,3,5,7
/proc/13473/stat : 13473 (java) S 13470 13473 5578 0 -1 1077944320 260307 13126 0 0 237815 338 5 3 20 0 15 0 408824166 11111497728 254162 33554432000 4194304 4196468 140733307703616 140733307686160 140278154956535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
/proc/13473/statm: 2712768 254162 3630 1 0 2674829 0
[pid=13473/tid=13526] ppid=13470 vsize=10851072 memory=1016648 CPUtime=2298.81 cores=1,3,5,7
/proc/13473/task/13526/stat : 13526 (java) R 13470 13473 5578 0 -1 4202560 70539 13126 0 0 229826 47 5 3 20 0 15 0 408824175 11111497728 254162 33554432000 4194304 4196468 140733307703616 140278126792896 140277762471227 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13527] ppid=13470 vsize=10851072 memory=1016648 CPUtime=12.39 cores=1,3,5,7
/proc/13473/task/13527/stat : 13527 (java) S 13470 13473 5578 0 -1 1077944384 14604 13126 0 0 1181 50 5 3 20 0 15 0 408824176 11111497728 254162 33554432000 4194304 4196468 140733307703616 140278159199248 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13528] ppid=13470 vsize=10851072 memory=1016648 CPUtime=12.34 cores=1,3,5,7
/proc/13473/task/13528/stat : 13528 (java) S 13470 13473 5578 0 -1 1077944384 12096 13126 0 0 1178 48 5 3 20 0 15 0 408824176 11111497728 254162 33554432000 4194304 4196468 140733307703616 140278063402128 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13529] ppid=13470 vsize=10851072 memory=1016648 CPUtime=12.37 cores=1,3,5,7
/proc/13473/task/13529/stat : 13529 (java) S 13470 13473 5578 0 -1 1077944384 13979 13126 0 0 1181 48 5 3 20 0 15 0 408824176 11111497728 254162 33554432000 4194304 4196468 140733307703616 140278062349072 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13530] ppid=13470 vsize=10851072 memory=1016648 CPUtime=12.36 cores=1,3,5,7
/proc/13473/task/13530/stat : 13530 (java) S 13470 13473 5578 0 -1 1077944384 12465 13126 0 0 1178 50 5 3 20 0 15 0 408824176 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277726370704 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13531] ppid=13470 vsize=10851072 memory=1016648 CPUtime=9.57 cores=1,3,5,7
/proc/13473/task/13531/stat : 13531 (java) S 13470 13473 5578 0 -1 1077944384 15779 13126 0 0 899 50 5 3 20 0 15 0 408824177 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277681555696 140278154967682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13532] ppid=13470 vsize=10851072 memory=1016648 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13532/stat : 13532 (java) S 13470 13473 5578 0 -1 1077944384 21 13126 0 0 0 0 5 3 20 0 15 0 408824178 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277591303392 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13533] ppid=13470 vsize=10851072 memory=280620010506768 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13533/stat : 13533 (java) S 13470 13473 5578 0 -1 1077944384 9 13126 0 0 0 0 5 3 20 0 15 0 408824178 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277457085184 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13534] ppid=13470 vsize=10851072 memory=1016648 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13534/stat : 13534 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140276853106640 140278154975131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13535] ppid=13470 vsize=10851072 memory=1016648 CPUtime=9.24 cores=1,3,5,7
/proc/13473/task/13535/stat : 13535 (java) S 13470 13473 5578 0 -1 1077944384 46387 13126 0 0 908 8 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277680503536 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13536] ppid=13470 vsize=10851072 memory=1016648 CPUtime=8.34 cores=1,3,5,7
/proc/13473/task/13536/stat : 13536 (java) S 13470 13473 5578 0 -1 1077944384 31252 13126 0 0 819 7 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277679450992 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13537] ppid=13470 vsize=10851072 memory=1016648 CPUtime=5.48 cores=1,3,5,7
/proc/13473/task/13537/stat : 13537 (java) S 13470 13473 5578 0 -1 1077944384 39955 13126 0 0 530 10 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277678397936 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13538] ppid=13470 vsize=10851072 memory=3148 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13538/stat : 13538 (java) S 13470 13473 5578 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140276383345504 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13539] ppid=13470 vsize=10851072 memory=1016648 CPUtime=1.33 cores=1,3,5,7
/proc/13473/task/13539/stat : 13539 (java) S 13470 13473 5578 0 -1 1077944384 1006 13126 0 0 57 68 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277677345328 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
Current children cumulated CPU time: 2381.61 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1016648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2340.5 s]
/proc/loadavg: 1.55 1.52 1.50 3/227 14042
/proc/meminfo: memFree=26527620/32770624 swapFree=66999864/67108860
[pid=13473] ppid=13470 vsize=10851072 memory=1016648 CPUtime=2400.06 cores=1,3,5,7
/proc/13473/stat : 13473 (java) S 13470 13473 5578 0 -1 1077944320 260474 13126 0 0 239658 340 5 3 20 0 15 0 408824166 11111497728 254162 33554432000 4194304 4196468 140733307703616 140733307686160 140278154956535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
/proc/13473/statm: 2712768 254162 3630 1 0 2674829 0
[pid=13473/tid=13526] ppid=13470 vsize=10851072 memory=280617996632502 CPUtime=2316.84 cores=1,3,5,7
/proc/13473/task/13526/stat : 13526 (java) R 13470 13473 5578 0 -1 4202560 70699 13126 0 0 231628 48 5 3 20 0 15 0 408824175 11111497728 254162 33554432000 4194304 4196468 140733307703616 140278126791520 140277762984791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13527] ppid=13470 vsize=10851072 memory=1016648 CPUtime=12.47 cores=1,3,5,7
/proc/13473/task/13527/stat : 13527 (java) S 13470 13473 5578 0 -1 1077944384 14604 13126 0 0 1189 50 5 3 20 0 15 0 408824176 11111497728 254162 33554432000 4194304 4196468 140733307703616 140278159199248 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13528] ppid=13470 vsize=10851072 memory=1016648 CPUtime=12.43 cores=1,3,5,7
/proc/13473/task/13528/stat : 13528 (java) S 13470 13473 5578 0 -1 1077944384 12096 13126 0 0 1187 48 5 3 20 0 15 0 408824176 11111497728 254162 33554432000 4194304 4196468 140733307703616 140278063402128 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13529] ppid=13470 vsize=10851072 memory=1016648 CPUtime=12.46 cores=1,3,5,7
/proc/13473/task/13529/stat : 13529 (java) S 13470 13473 5578 0 -1 1077944384 13979 13126 0 0 1190 48 5 3 20 0 15 0 408824176 11111497728 254162 33554432000 4194304 4196468 140733307703616 140278062349072 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13530] ppid=13470 vsize=10851072 memory=1016648 CPUtime=12.44 cores=1,3,5,7
/proc/13473/task/13530/stat : 13530 (java) S 13470 13473 5578 0 -1 1077944384 12465 13126 0 0 1186 50 5 3 20 0 15 0 408824176 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277726370704 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13531] ppid=13470 vsize=10851072 memory=1016648 CPUtime=9.64 cores=1,3,5,7
/proc/13473/task/13531/stat : 13531 (java) S 13470 13473 5578 0 -1 1077944384 15784 13126 0 0 906 50 5 3 20 0 15 0 408824177 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277681555696 140278154967682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13532] ppid=13470 vsize=10851072 memory=280620010506768 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13532/stat : 13532 (java) S 13470 13473 5578 0 -1 1077944384 21 13126 0 0 0 0 5 3 20 0 15 0 408824178 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277591303392 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13533] ppid=13470 vsize=10851072 memory=1016648 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13533/stat : 13533 (java) S 13470 13473 5578 0 -1 1077944384 9 13126 0 0 0 0 5 3 20 0 15 0 408824178 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277457085184 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13534] ppid=13470 vsize=10851072 memory=1016648 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13534/stat : 13534 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140276853106640 140278154975131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13535] ppid=13470 vsize=10851072 memory=1016648 CPUtime=9.24 cores=1,3,5,7
/proc/13473/task/13535/stat : 13535 (java) S 13470 13473 5578 0 -1 1077944384 46387 13126 0 0 908 8 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277680503536 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13536] ppid=13470 vsize=10851072 memory=1016648 CPUtime=8.34 cores=1,3,5,7
/proc/13473/task/13536/stat : 13536 (java) S 13470 13473 5578 0 -1 1077944384 31252 13126 0 0 819 7 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277679450992 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13537] ppid=13470 vsize=10851072 memory=1016648 CPUtime=5.48 cores=1,3,5,7
/proc/13473/task/13537/stat : 13537 (java) S 13470 13473 5578 0 -1 1077944384 39955 13126 0 0 530 10 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277678397936 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13538] ppid=13470 vsize=10851072 memory=1016648 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13538/stat : 13538 (java) S 13470 13473 5578 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140276383345504 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13539] ppid=13470 vsize=10851072 memory=1408 CPUtime=1.34 cores=1,3,5,7
/proc/13473/task/13539/stat : 13539 (java) S 13470 13473 5578 0 -1 1077944384 1008 13126 0 0 57 69 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277677345328 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1016648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2340.53 s]
# the end of solver process 13473 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.65 s, system=3.44734 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2340.5 s]
/proc/loadavg: 1.55 1.52 1.50 3/227 14042
/proc/meminfo: memFree=26527620/32770624 swapFree=66999864/67108860
[pid=13473] ppid=13470 vsize=10851072 memory=1016648 CPUtime=2400.06 cores=1,3,5,7
/proc/13473/stat : 13473 (java) S 13470 13473 5578 0 -1 1077944320 260474 13126 0 0 239658 340 5 3 20 0 15 0 408824166 11111497728 254162 33554432000 4194304 4196468 140733307703616 140733307686160 140278154956535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
/proc/13473/statm: 2712768 254162 3630 1 0 2674829 0
[pid=13473/tid=13526] ppid=13470 vsize=10851072 memory=280617996632502 CPUtime=2316.84 cores=1,3,5,7
/proc/13473/task/13526/stat : 13526 (java) R 13470 13473 5578 0 -1 4202560 70699 13126 0 0 231628 48 5 3 20 0 15 0 408824175 11111497728 254162 33554432000 4194304 4196468 140733307703616 140278126791520 140277762984791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13527] ppid=13470 vsize=10851072 memory=1016648 CPUtime=12.47 cores=1,3,5,7
/proc/13473/task/13527/stat : 13527 (java) S 13470 13473 5578 0 -1 1077944384 14604 13126 0 0 1189 50 5 3 20 0 15 0 408824176 11111497728 254162 33554432000 4194304 4196468 140733307703616 140278159199248 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13528] ppid=13470 vsize=10851072 memory=1016648 CPUtime=12.43 cores=1,3,5,7
/proc/13473/task/13528/stat : 13528 (java) S 13470 13473 5578 0 -1 1077944384 12096 13126 0 0 1187 48 5 3 20 0 15 0 408824176 11111497728 254162 33554432000 4194304 4196468 140733307703616 140278063402128 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13529] ppid=13470 vsize=10851072 memory=1016648 CPUtime=12.46 cores=1,3,5,7
/proc/13473/task/13529/stat : 13529 (java) S 13470 13473 5578 0 -1 1077944384 13979 13126 0 0 1190 48 5 3 20 0 15 0 408824176 11111497728 254162 33554432000 4194304 4196468 140733307703616 140278062349072 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13530] ppid=13470 vsize=10851072 memory=1016648 CPUtime=12.44 cores=1,3,5,7
/proc/13473/task/13530/stat : 13530 (java) S 13470 13473 5578 0 -1 1077944384 12465 13126 0 0 1186 50 5 3 20 0 15 0 408824176 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277726370704 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13531] ppid=13470 vsize=10851072 memory=1016648 CPUtime=9.64 cores=1,3,5,7
/proc/13473/task/13531/stat : 13531 (java) S 13470 13473 5578 0 -1 1077944384 15784 13126 0 0 906 50 5 3 20 0 15 0 408824177 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277681555696 140278154967682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13532] ppid=13470 vsize=10851072 memory=280620010506768 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13532/stat : 13532 (java) S 13470 13473 5578 0 -1 1077944384 21 13126 0 0 0 0 5 3 20 0 15 0 408824178 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277591303392 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13533] ppid=13470 vsize=10851072 memory=1016648 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13533/stat : 13533 (java) S 13470 13473 5578 0 -1 1077944384 9 13126 0 0 0 0 5 3 20 0 15 0 408824178 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277457085184 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13534] ppid=13470 vsize=10851072 memory=1016648 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13534/stat : 13534 (java) S 13470 13473 5578 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140276853106640 140278154975131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13535] ppid=13470 vsize=10851072 memory=1016648 CPUtime=9.24 cores=1,3,5,7
/proc/13473/task/13535/stat : 13535 (java) S 13470 13473 5578 0 -1 1077944384 46387 13126 0 0 908 8 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277680503536 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13536] ppid=13470 vsize=10851072 memory=1016648 CPUtime=8.34 cores=1,3,5,7
/proc/13473/task/13536/stat : 13536 (java) S 13470 13473 5578 0 -1 1077944384 31252 13126 0 0 819 7 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277679450992 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13537] ppid=13470 vsize=10851072 memory=1016648 CPUtime=5.48 cores=1,3,5,7
/proc/13473/task/13537/stat : 13537 (java) S 13470 13473 5578 0 -1 1077944384 39955 13126 0 0 530 10 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277678397936 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13538] ppid=13470 vsize=10851072 memory=1016648 CPUtime=0.08 cores=1,3,5,7
/proc/13473/task/13538/stat : 13538 (java) S 13470 13473 5578 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140276383345504 140278154966741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
[pid=13473/tid=13539] ppid=13470 vsize=10851072 memory=1408 CPUtime=1.34 cores=1,3,5,7
/proc/13473/task/13539/stat : 13539 (java) S 13470 13473 5578 0 -1 1077944384 1008 13126 0 0 57 69 5 3 20 0 15 0 408824181 11111497728 254162 33554432000 4194304 4196468 140733307703616 140277677345328 140278154967682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140733307710198 140733307712709 140733307712709 140733307715535 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1016648 KiB
Child status: 143
Real time (s): 2340.53
CPU time (s): 2400.1
CPU user time (s): 2396.65
CPU system time (s): 3.44734
CPU usage (%): 102.545
Max. virtual memory (cumulated for all children) (KiB): 10853916
Max. memory (cumulated for all children) (KiB): 1037048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.65
system time used= 3.44734
maximum resident set size= 1039088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274570
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 270729
involuntary context switches= 4189
# summary of solver processes directly reported to runsolver:
# pid: 13473
# total CPU time (s): 2400.1
# total CPU user time (s): 2396.65
# total CPU system time (s): 3.44734
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4392 second user time and 22.091 second system time
The end
Begin job on node146 at 2019-09-13 00:57:41 IDJOB=4392255 IDBENCH=140467 IDSOLVER=2837 FILE ID=node146/4392255-1568329101 RUNJOBID= node146-1568301260-5610 PBS_JOBID= 21701109 Free space on /tmp= 56664 MiB SOLVER NAME= Concrete 3.10 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-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-4392255-1568329101/watcher-4392255-1568329101 -o /tmp/evaluation-result-4392255-1568329101/solver-4392255-1568329101 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568301260-5610 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=906572921 HOME/instance-4392255-1568329101.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 200d8ff13be0114d953e34120514972f RANDOM SEED=906572921 node146.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 : 5332.90 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 : 5332.90 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 : 5332.90 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 : 5332.90 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: 29181568 kB MemAvailable: 29471140 kB Buffers: 132916 kB Cached: 437288 kB SwapCached: 5268 kB Active: 2738260 kB Inactive: 262640 kB Active(anon): 2447624 kB Inactive(anon): 20904 kB Active(file): 290636 kB Inactive(file): 241736 kB Unevictable: 111000 kB Mlocked: 111000 kB SwapTotal: 67108860 kB SwapFree: 66999852 kB Dirty: 35312 kB Writeback: 0 kB AnonPages: 2488848 kB Mapped: 54208 kB Shmem: 29212 kB Slab: 175084 kB SReclaimable: 146068 kB SUnreclaim: 29016 kB KernelStack: 3984 kB PageTables: 11060 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3528380 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2295808 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 56628 MiB End job on node146 at 2019-09-13 01:36:42