Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Concrete 3.12.2 | SAT (TO) | 31584 | 2520.12 | 2468.73 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa50a.xml |
MD5SUM | 4fcc0be526f5147180ee0aa4ecb06fa1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 31118 |
Best CPU time to get the best result obtained on this benchmark | 2520.06 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2550 |
Number of constraints | 1200 |
Number of domains | 2 |
Minimum domain size | 49 |
Maximum domain size | 50 |
Distribution of domain sizes | [{"size":49,"count":1199},{"size":50,"count":50}] |
Minimum variable degree | 0 |
Maximum variable degree | 50 |
Distribution of variable degrees | [{"degree":0,"count":1301},{"degree":2,"count":1199},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":6},{"degree":49,"count":32},{"degree":50,"count":10}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":3,"count":1199},{"arity":50,"count":1}] |
Number of extensional constraints | 1199 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":1199},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.79/0.60 c Concrete v3.12.2.1568380929293 running 167.18/152.27 o 31644 168.57/152.84 o 31631 375.91/352.41 o 31630 376.02/352.55 o 31626 376.37/352.85 o 31620 376.57/352.96 o 31618 376.57/352.98 o 31611 376.78/353.05 o 31596 378.02/354.23 o 31584 2520.07/2468.71 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 2520.07/2468.71 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28) 2520.07/2468.71 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:57) 2520.07/2468.71 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126) 2520.07/2468.71 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142) 2520.07/2468.71 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5) 2520.07/2468.71 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126) 2520.07/2468.71 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8) 2520.07/2468.71 at concrete.heuristic.value.BestCost.select(BestCost.scala:57) 2520.07/2468.71 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2520.07/2468.71 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89) 2520.07/2468.71 at scala.Function2.$anonfun$tupled$1(Function2.scala:53) 2520.07/2468.71 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2520.07/2468.71 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89) 2520.07/2468.71 at scala.Function2.$anonfun$tupled$1(Function2.scala:53) 2520.07/2468.71 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2520.07/2468.71 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89) 2520.07/2468.71 at scala.Function2.$anonfun$tupled$1(Function2.scala:53) 2520.07/2468.71 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2520.07/2468.71 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95) 2520.07/2468.71 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 2520.07/2468.71 at scala.Option.map(Option.scala:243) 2520.07/2468.71 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 2520.07/2468.71 at concrete.MAC.mac(MAC.scala:216) 2520.07/2468.71 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2520.07/2468.71 at scala.util.Try$.apply(Try.scala:212) 2520.07/2468.71 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.07/2468.71 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.07/2468.71 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.07/2468.71 at concrete.MAC.oneRun(MAC.scala:265) 2520.07/2468.71 at concrete.MAC.nextSolution(MAC.scala:284) 2520.07/2468.71 at concrete.MAC.nextSolution(MAC.scala:369) 2520.07/2468.71 at concrete.Solver.hasNext(Solver.scala:160) 2520.07/2468.71 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.07/2468.71 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.07/2468.71 at concrete.Solver.foreach(Solver.scala:67) 2520.07/2468.71 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73) 2520.07/2468.71 at scala.util.Success.map(Try.scala:264) 2520.07/2468.71 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.07/2468.71 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.07/2468.71 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.07/2468.71 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.07/2468.71 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.07/2468.71 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.07/2468.71 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.07/2468.71 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.07/2468.71 at scala.App.$anonfun$main$1(App.scala:75) 2520.07/2468.71 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2520.07/2468.71 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.07/2468.71 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.07/2468.71 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2520.07/2468.71 at scala.App.main(App.scala:75) 2520.07/2468.71 at scala.App.main$(App.scala:73) 2520.07/2468.71 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.07/2468.71 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.07/2468.71 v <instantiation 2520.07/2468.71 v cost = '31584'> 2520.07/2468.71 v <list> 2520.07/2468.71 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][48] d[3][49] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][49] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[12][13] d[12][14] d[12][15] d[12][16] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][49] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][49] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][49] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][49] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[45][46] d[45][47] d[45][48] d[45][49] d[46][47] d[46][48] d[46][49] d[47][48] d[47][49] d[48][49] 2520.07/2468.71 v </list> 2520.07/2468.71 v <values> 2520.07/2468.71 v 42 13 19 22 30 46 11 35 4 32 17 47 1 18 31 5 29 24 6 41 25 14 16 8 27 12 21 45 34 38 26 10 28 48 0 39 40 7 36 37 15 9 20 49 23 2 43 33 44 3 31 22 47 43 25 25 35 27 33 29 32 13 32 35 14 24 13 30 27 26 44 39 4 46 31 21 17 27 37 15 40 6 29 34 27 20 15 11 13 27 30 35 33 6 39 38 40 24 46 30 26 12 25 44 29 33 7 14 14 29 14 26 34 8 10 26 36 15 38 23 29 23 26 17 8 16 34 11 28 39 17 31 11 16 7 20 15 47 27 18 8 44 37 34 19 36 27 14 7 14 21 12 20 10 31 17 48 27 38 26 28 11 32 15 27 30 37 28 18 42 24 41 16 14 26 31 29 28 5 17 29 12 29 28 24 19 22 18 34 29 36 15 16 36 23 28 20 11 7 24 32 35 29 14 28 10 25 22 33 18 17 14 27 30 22 26 35 31 13 27 32 12 28 24 35 17 32 21 15 26 35 38 26 36 26 16 27 20 6 38 33 38 21 29 28 34 29 17 41 24 19 26 26 34 39 24 18 28 34 29 20 33 42 45 25 24 37 49 39 22 30 27 20 20 28 32 47 39 21 23 21 35 22 37 15 21 35 29 35 7 23 5 25 31 27 17 34 21 14 39 22 31 19 42 23 11 31 28 23 21 49 26 42 20 23 15 22 13 9 37 40 14 28 33 22 8 41 20 26 24 19 19 16 26 22 34 22 21 29 20 41 32 25 33 21 35 17 33 35 12 26 10 21 39 34 32 42 13 8 31 15 26 33 33 25 43 7 18 24 29 35 12 30 26 45 44 25 45 14 31 18 27 28 41 20 25 29 13 29 34 11 24 34 11 10 36 23 33 45 38 45 26 32 14 28 31 29 35 33 30 34 19 17 25 2 6 39 26 30 35 36 10 27 16 21 38 9 49 40 20 14 31 36 40 36 41 17 33 28 11 38 31 27 3 44 35 21 38 45 25 2 27 28 44 17 35 28 11 22 14 10 47 19 13 48 34 41 34 19 28 42 21 28 23 25 31 35 34 22 17 19 25 11 33 37 27 19 26 40 24 39 28 25 30 28 35 21 36 32 33 41 17 24 24 21 22 6 38 14 27 41 21 34 14 30 33 11 28 35 35 6 14 9 41 23 36 33 26 27 18 11 44 34 14 27 17 33 31 17 3 33 29 30 18 20 31 28 8 27 11 42 28 14 42 19 24 32 39 35 35 22 36 17 22 31 24 35 26 22 21 43 27 22 34 28 25 12 31 28 44 15 23 44 9 38 11 18 36 29 38 31 17 26 25 15 29 22 42 29 22 37 44 23 16 17 23 26 18 16 18 26 29 14 25 21 41 23 44 22 14 31 27 24 34 15 25 34 46 38 29 21 38 26 26 40 28 22 20 28 15 16 38 24 19 30 36 21 16 39 23 17 14 37 35 25 16 24 27 21 34 22 40 31 26 31 21 33 20 27 28 30 24 20 23 14 16 36 17 30 34 26 23 6 22 30 36 30 29 27 16 30 37 28 29 18 24 13 35 31 21 36 33 28 44 37 5 22 35 32 47 35 15 27 48 35 23 29 37 32 34 7 30 28 34 35 4 25 13 20 29 23 24 18 49 34 23 28 44 33 21 29 24 29 14 26 15 31 35 30 28 10 30 39 38 19 16 28 19 46 27 13 9 43 28 24 36 20 15 34 34 37 10 27 15 25 27 22 44 17 41 30 15 26 36 33 42 11 24 15 41 19 12 27 29 22 31 26 18 6 46 23 24 4 28 32 13 25 24 29 33 29 39 21 8 33 27 30 20 33 35 35 13 43 14 47 25 38 25 13 21 35 24 25 32 22 22 14 29 16 27 23 24 35 47 22 24 35 14 31 30 37 9 22 37 29 28 32 8 36 26 29 30 14 22 25 27 5 38 26 30 35 35 23 34 14 31 32 36 25 19 19 26 9 27 28 34 28 18 20 44 10 36 34 37 35 33 45 31 20 5 16 31 26 24 37 18 35 7 11 27 27 12 35 22 13 19 42 43 38 25 14 29 48 19 16 35 9 28 33 38 7 14 25 22 24 7 18 16 37 43 29 18 23 20 30 21 30 40 25 33 15 32 32 8 2 33 33 46 30 15 9 10 33 30 36 25 24 26 16 33 5 32 31 21 9 34 32 34 30 22 30 16 31 38 26 40 17 11 11 41 25 34 22 11 19 13 29 6 33 5 28 30 12 30 8 27 12 37 24 20 38 18 40 29 37 24 26 18 25 21 40 44 24 14 26 23 27 26 31 27 8 27 20 35 15 28 35 33 36 4 25 7 30 17 25 29 22 35 31 20 35 33 7 27 24 14 24 22 27 24 35 40 27 29 29 33 23 19 13 16 22 16 21 33 27 39 19 34 17 10 26 25 20 27 15 9 20 11 29 36 19 30 6 19 9 32 16 23 19 28 23 21 30 25 31 28 36 20 45 22 12 35 31 44 17 34 16 17 23 41 18 27 42 46 31 35 30 40 48 30 26 14 42 47 38 26 25 19 29 29 7 27 24 20 29 21 38 28 27 23 42 18 5 32 27 25 38 17 13 28 22 11 22 14 32 15 34 11 26 43 44 20 19 19 26 25 25 18 8 21 41 29 35 24 24 28 22 28 35 16 38 5 10 33 33 33 46 35 12 16 21 36 22 44 28 35 23 26 7 41 28 10 11 5 44 24 48 37 34 43 24 22 31 27 24 24 24 19 29 29 19 28 36 19 25 29 14 30 47 5 36 32 28 28 13 24 8 23 25 2520.07/2468.71 v </values> 2520.07/2468.71 v </instantiation> 2520.07/2468.71 s SATISFIABLE
OK 31584
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16375 MiB (13077 MiB free) memory of node 1: 16384 MiB (13901 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396317-1568396101/watcher-4396317-1568396101 -o /tmp/evaluation-result-4396317-1568396101/solver-4396317-1568396101 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323907941-3248 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=439146686 HOME/instance-4396317-1568396101.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=4350, runsolver pid=4347 [startup+0.10009 s]* /proc/loadavg: 1.82 1.53 1.44 2/214 4403 /proc/meminfo: memFree=27622604/32770688 swapFree=66919992/67108860 [pid=4350] ppid=4347 vsize=9972712 memory=18068 CPUtime=0.09 cores=4-7 /proc/4350/stat : 4350 (java) S 4347 4350 804 0 -1 1077944320 4245 13309 0 0 1 0 5 3 20 0 6 0 415616453 10212057088 4517 33554432000 4194304 4196468 140730028632912 140730028615456 140333742694135 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 /proc/4350/statm: 2493178 4517 1896 1 0 2481616 0 [pid=4350/tid=4403] ppid=4347 vsize=9972712 memory=7022364594140610616 CPUtime=0.08 cores=4-7 /proc/4350/task/4403/stat : 4403 (java) R 4347 4350 804 0 -1 4202560 2076 13309 0 0 0 0 5 3 20 0 6 0 415616462 10212057088 4583 33554432000 4194304 4196468 140730028632912 140333714530896 140333742716061 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4404] ppid=4347 vsize=9972712 memory=364 CPUtime=0.08 cores=4-7 /proc/4350/task/4404/stat : 4404 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 6 0 415616463 10212057088 4583 33554432000 4194304 4196468 140730028632912 140333746936208 140333742704341 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4405] ppid=4347 vsize=9972712 memory=140287223759925 CPUtime=0.08 cores=4-7 /proc/4350/task/4405/stat : 4405 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 6 0 415616463 10212057088 4583 33554432000 4194304 4196468 140730028632912 140333635209488 140333742704341 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4406] ppid=4347 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4406/stat : 4406 (java) S 4347 4350 804 0 -1 1077944384 2 13309 0 0 0 0 5 3 20 0 6 0 415616463 10212057088 4583 33554432000 4194304 4196468 140730028632912 140333634157200 140333742704341 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4407] ppid=4347 vsize=9972712 memory=-1 CPUtime=0.08 cores=4-7 /proc/4350/task/4407/stat : 4407 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 6 0 415616463 10212057088 4583 33554432000 4194304 4196468 140730028632912 140333633104400 140333742704341 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 18068 KiB [startup+0.211127 s]* /proc/loadavg: 1.82 1.53 1.44 4/227 4416 /proc/meminfo: memFree=27601544/32770688 swapFree=66919992/67108860 [pid=4350] ppid=4347 vsize=10819664 memory=37936 CPUtime=0.26 cores=4-7 /proc/4350/stat : 4350 (java) S 4347 4350 804 0 -1 1077944320 6836 13309 0 0 17 1 5 3 20 0 15 0 415616453 11079335936 9484 33554432000 4194304 4196468 140730028632912 140730028615456 140333742694135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 /proc/4350/statm: 2704916 9484 3164 1 0 2667149 0 [pid=4350/tid=4403] ppid=4347 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=4-7 /proc/4350/task/4403/stat : 4403 (java) R 4347 4350 804 0 -1 4202560 3321 13309 0 0 10 1 5 3 20 0 15 0 415616462 11079335936 9484 33554432000 4194304 4196468 140730028632912 140333714527008 140333726774622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4404] ppid=4347 vsize=10819664 memory=364 CPUtime=0.08 cores=4-7 /proc/4350/task/4404/stat : 4404 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 15 0 415616463 11079335936 9484 33554432000 4194304 4196468 140730028632912 140333746936208 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4405] ppid=4347 vsize=10819664 memory=140287223759925 CPUtime=0.08 cores=4-7 /proc/4350/task/4405/stat : 4405 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 15 0 415616463 11079335936 9484 33554432000 4194304 4196468 140730028632912 140333635209488 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4406] ppid=4347 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4406/stat : 4406 (java) S 4347 4350 804 0 -1 1077944384 2 13309 0 0 0 0 5 3 20 0 15 0 415616463 11079335936 9484 33554432000 4194304 4196468 140730028632912 140333634157200 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4407] ppid=4347 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7 /proc/4350/task/4407/stat : 4407 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 15 0 415616463 11079335936 9484 33554432000 4194304 4196468 140730028632912 140333633104400 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4408] ppid=4347 vsize=10819664 memory=140287221741184 CPUtime=0.08 cores=4-7 /proc/4350/task/4408/stat : 4408 (java) S 4347 4350 804 0 -1 1077944384 2 13309 0 0 0 0 5 3 20 0 15 0 415616465 11079335936 9484 33554432000 4194304 4196468 140730028632912 140333201427056 140333742705282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4409] ppid=4347 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7 /proc/4350/task/4409/stat : 4409 (java) S 4347 4350 804 0 -1 1077944384 33 13309 0 0 0 0 5 3 20 0 15 0 415616465 11079335936 9484 33554432000 4194304 4196468 140730028632912 140333200373024 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4410] ppid=4347 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4410/stat : 4410 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 15 0 415616465 11079335936 9484 33554432000 4194304 4196468 140730028632912 140332620572272 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4411] ppid=4347 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4411/stat : 4411 (java) S 4347 4350 804 0 -1 1077944384 3 13309 0 0 0 0 5 3 20 0 15 0 415616468 11079335936 9484 33554432000 4194304 4196468 140730028632912 140332313172560 140333742712731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4412] ppid=4347 vsize=10819664 memory=0 CPUtime=0.09 cores=4-7 /proc/4350/task/4412/stat : 4412 (java) S 4347 4350 804 0 -1 1077944384 470 13309 0 0 1 0 5 3 20 0 15 0 415616468 11079335936 9484 33554432000 4194304 4196468 140730028632912 140333166815344 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4413] ppid=4347 vsize=10819664 memory=-1 CPUtime=0.09 cores=4-7 /proc/4350/task/4413/stat : 4413 (java) S 4347 4350 804 0 -1 1077944384 181 13309 0 0 1 0 5 3 20 0 15 0 415616468 11079335936 9484 33554432000 4194304 4196468 140730028632912 140333165762544 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4414] ppid=4347 vsize=10819664 memory=140287221741184 CPUtime=0.11 cores=4-7 /proc/4350/task/4414/stat : 4414 (java) S 4347 4350 804 0 -1 1077944384 614 13309 0 0 3 0 5 3 20 0 15 0 415616468 11079335936 9484 33554432000 4194304 4196468 140730028632912 140333164710256 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4415] ppid=4347 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7 /proc/4350/task/4415/stat : 4415 (java) S 4347 4350 804 0 -1 1077944384 3 13309 0 0 0 0 5 3 20 0 15 0 415616468 11079335936 9484 33554432000 4194304 4196468 140730028632912 140332279613920 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4416] ppid=4347 vsize=10819664 memory=140287221741184 CPUtime=0.08 cores=4-7 /proc/4350/task/4416/stat : 4416 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 15 0 415616469 11079335936 9484 33554432000 4194304 4196468 140730028632912 140333163658160 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 10819664 KiB Current children cumulated memory: 37936 KiB [startup+0.311507 s]* /proc/loadavg: 1.82 1.53 1.44 3/227 4416 /proc/meminfo: memFree=27597048/32770688 swapFree=66919992/67108860 [pid=4350] ppid=4347 vsize=10820148 memory=49060 CPUtime=0.4 cores=4-7 /proc/4350/stat : 4350 (java) S 4347 4350 804 0 -1 1077944320 10503 13309 0 0 29 3 5 3 20 0 15 0 415616453 11079831552 12265 33554432000 4194304 4196468 140730028632912 140730028615456 140333742694135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 /proc/4350/statm: 2705037 12265 3293 1 0 2667149 0 [pid=4350/tid=4403] ppid=4347 vsize=10820148 memory=1398722017469774279 CPUtime=0.29 cores=4-7 /proc/4350/task/4403/stat : 4403 (java) R 4347 4350 804 0 -1 4202560 6958 13309 0 0 18 3 5 3 20 0 15 0 415616462 11079831552 12265 33554432000 4194304 4196468 140730028632912 140333714494048 140333725880944 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4404] ppid=4347 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4404/stat : 4404 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 15 0 415616463 11079831552 12265 33554432000 4194304 4196468 140730028632912 140333746936208 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4405] ppid=4347 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4405/stat : 4405 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 15 0 415616463 11079831552 12265 33554432000 4194304 4196468 140730028632912 140333635209488 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4406] ppid=4347 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4406/stat : 4406 (java) S 4347 4350 804 0 -1 1077944384 2 13309 0 0 0 0 5 3 20 0 15 0 415616463 11079831552 12265 33554432000 4194304 4196468 140730028632912 140333634157200 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4407] ppid=4347 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4407/stat : 4407 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 15 0 415616463 11079831552 12265 33554432000 4194304 4196468 140730028632912 140333633104400 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4408] ppid=4347 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4408/stat : 4408 (java) S 4347 4350 804 0 -1 1077944384 2 13309 0 0 0 0 5 3 20 0 15 0 415616465 11079831552 12265 33554432000 4194304 4196468 140730028632912 140333201427056 140333742705282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4409] ppid=4347 vsize=10820148 memory=-1 CPUtime=0.08 cores=4-7 /proc/4350/task/4409/stat : 4409 (java) S 4347 4350 804 0 -1 1077944384 33 13309 0 0 0 0 5 3 20 0 15 0 415616465 11079831552 12265 33554432000 4194304 4196468 140730028632912 140333200373024 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4410] ppid=4347 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4410/stat : 4410 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 15 0 415616465 11079831552 12265 33554432000 4194304 4196468 140730028632912 140332620572272 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4411] ppid=4347 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4411/stat : 4411 (java) S 4347 4350 804 0 -1 1077944384 3 13309 0 0 0 0 5 3 20 0 15 0 415616468 11079831552 12265 33554432000 4194304 4196468 140730028632912 140332313172560 140333742712731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4412] ppid=4347 vsize=10820148 memory=0 CPUtime=0.09 cores=4-7 /proc/4350/task/4412/stat : 4412 (java) S 4347 4350 804 0 -1 1077944384 470 13309 0 0 1 0 5 3 20 0 15 0 415616468 11079831552 12265 33554432000 4194304 4196468 140730028632912 140333166815344 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4413] ppid=4347 vsize=10820148 memory=-1 CPUtime=0.1 cores=4-7 /proc/4350/task/4413/stat : 4413 (java) S 4347 4350 804 0 -1 1077944384 191 13309 0 0 2 0 5 3 20 0 15 0 415616468 11079831552 12265 33554432000 4194304 4196468 140730028632912 140333165762544 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4414] ppid=4347 vsize=10820148 memory=140287221741184 CPUtime=0.13 cores=4-7 /proc/4350/task/4414/stat : 4414 (java) S 4347 4350 804 0 -1 1077944384 627 13309 0 0 5 0 5 3 20 0 15 0 415616468 11079831552 12265 33554432000 4194304 4196468 140730028632912 140333164710256 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4415] ppid=4347 vsize=10820148 memory=-1 CPUtime=0.08 cores=4-7 /proc/4350/task/4415/stat : 4415 (java) S 4347 4350 804 0 -1 1077944384 3 13309 0 0 0 0 5 3 20 0 15 0 415616468 11079831552 12265 33554432000 4194304 4196468 140730028632912 140332279613920 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4416] ppid=4347 vsize=10820148 memory=140287221741184 CPUtime=0.08 cores=4-7 /proc/4350/task/4416/stat : 4416 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 15 0 415616469 11079831552 12265 33554432000 4194304 4196468 140730028632912 140333163658160 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 Current children cumulated CPU time: 0.4 s Current children cumulated vsize: 10820148 KiB Current children cumulated memory: 49060 KiB [startup+0.701393 s] /proc/loadavg: 1.82 1.53 1.44 3/227 4416 /proc/meminfo: memFree=27585328/32770688 swapFree=66919992/67108860 [pid=4350] ppid=4347 vsize=10822312 memory=76388 CPUtime=1.09 cores=4-7 /proc/4350/stat : 4350 (java) S 4347 4350 804 0 -1 1077944320 14336 13309 0 0 96 5 5 3 20 0 15 0 415616453 11082047488 19097 33554432000 4194304 4196468 140730028632912 140730028615456 140333742694135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 /proc/4350/statm: 2705578 19097 3508 1 0 2667661 0 [pid=4350/tid=4403] ppid=4347 vsize=10822312 memory=5795117241467496816 CPUtime=0.66 cores=4-7 /proc/4350/task/4403/stat : 4403 (java) R 4347 4350 804 0 -1 4202560 9565 13309 0 0 55 3 5 3 20 0 15 0 415616462 11082047488 19097 33554432000 4194304 4196468 140730028632912 140333714522464 140333726774622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4404] ppid=4347 vsize=10822312 memory=46832 CPUtime=0.08 cores=4-7 /proc/4350/task/4404/stat : 4404 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 15 0 415616463 11082047488 19097 33554432000 4194304 4196468 140730028632912 140333746936208 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4405] ppid=4347 vsize=10822312 memory=280574241551840 CPUtime=0.08 cores=4-7 /proc/4350/task/4405/stat : 4405 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 15 0 415616463 11082047488 19097 33554432000 4194304 4196468 140730028632912 140333635209488 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4406] ppid=4347 vsize=10822312 memory=280574241567040 CPUtime=0.08 cores=4-7 /proc/4350/task/4406/stat : 4406 (java) S 4347 4350 804 0 -1 1077944384 2 13309 0 0 0 0 5 3 20 0 15 0 415616463 11082047488 19097 33554432000 4194304 4196468 140730028632912 140333634157200 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4407] ppid=4347 vsize=10822312 memory=140287221740065 CPUtime=0.08 cores=4-7 /proc/4350/task/4407/stat : 4407 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 15 0 415616463 11082047488 19097 33554432000 4194304 4196468 140730028632912 140333633104400 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4408] ppid=4347 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4408/stat : 4408 (java) S 4347 4350 804 0 -1 1077944384 5 13309 0 0 0 0 5 3 20 0 15 0 415616465 11082047488 19097 33554432000 4194304 4196468 140730028632912 140333201427056 140333742705282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4409] ppid=4347 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4409/stat : 4409 (java) S 4347 4350 804 0 -1 1077944384 33 13309 0 0 0 0 5 3 20 0 15 0 415616465 11082047488 19097 33554432000 4194304 4196468 140730028632912 140333200373024 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4410] ppid=4347 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4410/stat : 4410 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 15 0 415616465 11082047488 19097 33554432000 4194304 4196468 140730028632912 140332620572272 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4411] ppid=4347 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4411/stat : 4411 (java) S 4347 4350 804 0 -1 1077944384 3 13309 0 0 0 0 5 3 20 0 15 0 415616468 11082047488 19097 33554432000 4194304 4196468 140730028632912 140332313172560 140333742712731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4412] ppid=4347 vsize=10822312 memory=0 CPUtime=0.19 cores=4-7 /proc/4350/task/4412/stat : 4412 (java) S 4347 4350 804 0 -1 1077944384 1064 13309 0 0 11 0 5 3 20 0 15 0 415616468 11082047488 19097 33554432000 4194304 4196468 140730028632912 140333166815344 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4413] ppid=4347 vsize=10822312 memory=0 CPUtime=0.19 cores=4-7 /proc/4350/task/4413/stat : 4413 (java) R 4347 4350 804 0 -1 4202560 640 13309 0 0 11 0 5 3 20 0 15 0 415616468 11082047488 19097 33554432000 4194304 4196468 140730028632912 140333165748768 140333721937875 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4414] ppid=4347 vsize=10822312 memory=0 CPUtime=0.24 cores=4-7 /proc/4350/task/4414/stat : 4414 (java) S 4347 4350 804 0 -1 1077944384 808 13309 0 0 16 0 5 3 20 0 15 0 415616468 11082047488 19097 33554432000 4194304 4196468 140730028632912 140333164710256 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4415] ppid=4347 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4415/stat : 4415 (java) S 4347 4350 804 0 -1 1077944384 3 13309 0 0 0 0 5 3 20 0 15 0 415616468 11082047488 19097 33554432000 4194304 4196468 140730028632912 140332279613920 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4416] ppid=4347 vsize=10822312 memory=3624 CPUtime=0.08 cores=4-7 /proc/4350/task/4416/stat : 4416 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 15 0 415616469 11082047488 19097 33554432000 4194304 4196468 140730028632912 140333163658160 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 Current children cumulated CPU time: 1.09 s Current children cumulated vsize: 10822312 KiB Current children cumulated memory: 76388 KiB [startup+1.50435 s] /proc/loadavg: 1.82 1.53 1.44 6/227 4416 /proc/meminfo: memFree=27543760/32770688 swapFree=66919992/67108860 [pid=4350] ppid=4347 vsize=10832628 memory=197144 CPUtime=3.07 cores=4-7 /proc/4350/stat : 4350 (java) S 4347 4350 804 0 -1 1077944320 25293 13309 0 0 289 10 5 3 20 0 15 0 415616453 11092611072 49286 33554432000 4194304 4196468 140730028632912 140730028615456 140333742694135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 /proc/4350/statm: 2708157 49286 3577 1 0 2670221 0 [pid=4350/tid=4403] ppid=4347 vsize=10832628 memory=18966575583554 CPUtime=1.43 cores=4-7 /proc/4350/task/4403/stat : 4403 (java) R 4347 4350 804 0 -1 4202560 14029 13309 0 0 129 6 5 3 20 0 15 0 415616462 11092611072 49286 33554432000 4194304 4196468 140730028632912 140333714523600 140333742706070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4404] ppid=4347 vsize=10832628 memory=8112282956445269571 CPUtime=0.09 cores=4-7 /proc/4350/task/4404/stat : 4404 (java) S 4347 4350 804 0 -1 1077944384 253 13309 0 0 1 0 5 3 20 0 15 0 415616463 11092611072 49286 33554432000 4194304 4196468 140730028632912 140333746936208 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4405] ppid=4347 vsize=10832628 memory=10826 CPUtime=0.09 cores=4-7 /proc/4350/task/4405/stat : 4405 (java) S 4347 4350 804 0 -1 1077944384 33 13309 0 0 1 0 5 3 20 0 15 0 415616463 11092611072 49286 33554432000 4194304 4196468 140730028632912 140333635209488 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4406] ppid=4347 vsize=10832628 memory=0 CPUtime=0.09 cores=4-7 /proc/4350/task/4406/stat : 4406 (java) S 4347 4350 804 0 -1 1077944384 54 13309 0 0 1 0 5 3 20 0 15 0 415616463 11092611072 49286 33554432000 4194304 4196468 140730028632912 140333634157200 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4407] ppid=4347 vsize=10832628 memory=0 CPUtime=0.09 cores=4-7 /proc/4350/task/4407/stat : 4407 (java) S 4347 4350 804 0 -1 1077944384 24 13309 0 0 1 0 5 3 20 0 15 0 415616463 11092611072 49286 33554432000 4194304 4196468 140730028632912 140333633104400 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4408] ppid=4347 vsize=10832628 memory=280574241559424 CPUtime=0.09 cores=4-7 /proc/4350/task/4408/stat : 4408 (java) S 4347 4350 804 0 -1 1077944384 88 13309 0 0 1 0 5 3 20 0 15 0 415616465 11092611072 49286 33554432000 4194304 4196468 140730028632912 140333201427056 140333742705282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4409] ppid=4347 vsize=10832628 memory=280574241986592 CPUtime=0.08 cores=4-7 /proc/4350/task/4409/stat : 4409 (java) S 4347 4350 804 0 -1 1077944384 34 13309 0 0 0 0 5 3 20 0 15 0 415616465 11092611072 49286 33554432000 4194304 4196468 140730028632912 140333200373088 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4410] ppid=4347 vsize=10832628 memory=8112282956445269571 CPUtime=0.08 cores=4-7 /proc/4350/task/4410/stat : 4410 (java) S 4347 4350 804 0 -1 1077944384 2 13309 0 0 0 0 5 3 20 0 15 0 415616465 11092611072 49286 33554432000 4194304 4196468 140730028632912 140332620572288 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4411] ppid=4347 vsize=10832628 memory=7012474400667619408 CPUtime=0.08 cores=4-7 /proc/4350/task/4411/stat : 4411 (java) S 4347 4350 804 0 -1 1077944384 3 13309 0 0 0 0 5 3 20 0 15 0 415616468 11092611072 49286 33554432000 4194304 4196468 140730028632912 140332313172560 140333742712731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4412] ppid=4347 vsize=10832628 memory=140287120880855 CPUtime=0.59 cores=4-7 /proc/4350/task/4412/stat : 4412 (java) R 4347 4350 804 0 -1 4202560 3615 13309 0 0 51 0 5 3 20 0 15 0 415616468 11092611072 49286 33554432000 4194304 4196468 140730028632912 140333166815344 140333724212047 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4413] ppid=4347 vsize=10832628 memory=-7233780906022716832 CPUtime=0.6 cores=4-7 /proc/4350/task/4413/stat : 4413 (java) R 4347 4350 804 0 -1 4202560 3013 13309 0 0 52 0 5 3 20 0 15 0 415616468 11092611072 49286 33554432000 4194304 4196468 140730028632912 140333165744144 140333724215329 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4414] ppid=4347 vsize=10832628 memory=4137290303932963203 CPUtime=0.53 cores=4-7 /proc/4350/task/4414/stat : 4414 (java) R 4347 4350 804 0 -1 4202560 1931 13309 0 0 45 0 5 3 20 0 15 0 415616468 11092611072 49286 33554432000 4194304 4196468 140730028632912 140333164710256 140333742715482 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4415] ppid=4347 vsize=10832628 memory=6944656425123290226 CPUtime=0.08 cores=4-7 /proc/4350/task/4415/stat : 4415 (java) S 4347 4350 804 0 -1 1077944384 3 13309 0 0 0 0 5 3 20 0 15 0 415616468 11092611072 49286 33554432000 4194304 4196468 140730028632912 140332279613920 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4416] ppid=4347 vsize=10832628 memory=-7531822216213012384 CPUtime=0.08 cores=4-7 /proc/4350/task/4416/stat : 4416 (java) S 4347 4350 804 0 -1 1077944384 1 13309 0 0 0 0 5 3 20 0 15 0 415616469 11092611072 49286 33554432000 4194304 4196468 140730028632912 140333163658160 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 Current children cumulated CPU time: 3.07 s Current children cumulated vsize: 10832628 KiB ################ # More data... # ################ /proc/4350/task/4403/stat : 4403 (java) R 4347 4350 804 0 -1 4202560 81880 13309 0 0 236561 53 5 3 20 0 15 0 415616462 11111518208 178107 33554432000 4194304 4196468 140730028632912 140333714529600 140333326767300 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4404] ppid=4347 vsize=10851092 memory=713964 CPUtime=8.44 cores=4-7 /proc/4350/task/4404/stat : 4404 (java) S 4347 4350 804 0 -1 1077944384 16218 13309 0 0 803 33 5 3 20 0 15 0 415616463 11111518208 178107 33554432000 4194304 4196468 140730028632912 140333746936208 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4405] ppid=4347 vsize=10851092 memory=713964 CPUtime=8.44 cores=4-7 /proc/4350/task/4405/stat : 4405 (java) S 4347 4350 804 0 -1 1077944384 13768 13309 0 0 801 35 5 3 20 0 15 0 415616463 11111518208 178107 33554432000 4194304 4196468 140730028632912 140333635209488 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4406] ppid=4347 vsize=10851092 memory=713964 CPUtime=8.43 cores=4-7 /proc/4350/task/4406/stat : 4406 (java) S 4347 4350 804 0 -1 1077944384 15537 13309 0 0 802 33 5 3 20 0 15 0 415616463 11111518208 178107 33554432000 4194304 4196468 140730028632912 140333634157200 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4407] ppid=4347 vsize=10851092 memory=712940 CPUtime=8.46 cores=4-7 /proc/4350/task/4407/stat : 4407 (java) S 4347 4350 804 0 -1 1077944384 15443 13309 0 0 801 37 5 3 20 0 15 0 415616463 11111518208 178107 33554432000 4194304 4196468 140730028632912 140333633104400 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4408] ppid=4347 vsize=10851092 memory=8 CPUtime=5.87 cores=4-7 /proc/4350/task/4408/stat : 4408 (java) S 4347 4350 804 0 -1 1077944384 15337 13309 0 0 540 39 5 3 20 0 15 0 415616465 11111518208 178107 33554432000 4194304 4196468 140730028632912 140333201427056 140333742705282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4409] ppid=4347 vsize=10851092 memory=3624 CPUtime=0.08 cores=4-7 /proc/4350/task/4409/stat : 4409 (java) S 4347 4350 804 0 -1 1077944384 51 13309 0 0 0 0 5 3 20 0 15 0 415616465 11111518208 178107 33554432000 4194304 4196468 140730028632912 140333200373152 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4410] ppid=4347 vsize=10851092 memory=0 CPUtime=0.08 cores=4-7 /proc/4350/task/4410/stat : 4410 (java) S 4347 4350 804 0 -1 1077944384 27 13309 0 0 0 0 5 3 20 0 15 0 415616465 11111518208 178107 33554432000 4194304 4196468 140730028632912 140332620572288 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4411] ppid=4347 vsize=10851092 memory=3624 CPUtime=0.08 cores=4-7 /proc/4350/task/4411/stat : 4411 (java) S 4347 4350 804 0 -1 1077944384 3 13309 0 0 0 0 5 3 20 0 15 0 415616468 11111518208 178107 33554432000 4194304 4196468 140730028632912 140332313172560 140333742712731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4412] ppid=4347 vsize=10851092 memory=46920 CPUtime=10.27 cores=4-7 /proc/4350/task/4412/stat : 4412 (java) S 4347 4350 804 0 -1 1077944384 78345 13309 0 0 1007 12 5 3 20 0 15 0 415616468 11111518208 178107 33554432000 4194304 4196468 140730028632912 140333166815344 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4413] ppid=4347 vsize=10851092 memory=713452 CPUtime=9.76 cores=4-7 /proc/4350/task/4413/stat : 4413 (java) S 4347 4350 804 0 -1 1077944384 72804 13309 0 0 957 11 5 3 20 0 15 0 415616468 11111518208 178107 33554432000 4194304 4196468 140730028632912 140333165762544 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4414] ppid=4347 vsize=10851092 memory=713452 CPUtime=5.44 cores=4-7 /proc/4350/task/4414/stat : 4414 (java) S 4347 4350 804 0 -1 1077944384 70021 13309 0 0 527 9 5 3 20 0 15 0 415616468 11111518208 178107 33554432000 4194304 4196468 140730028632912 140333164710256 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4415] ppid=4347 vsize=10851092 memory=1808 CPUtime=0.08 cores=4-7 /proc/4350/task/4415/stat : 4415 (java) S 4347 4350 804 0 -1 1077944384 3 13309 0 0 0 0 5 3 20 0 15 0 415616468 11111518208 178107 33554432000 4194304 4196468 140730028632912 140332279613920 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4416] ppid=4347 vsize=10851092 memory=924 CPUtime=1.34 cores=4-7 /proc/4350/task/4416/stat : 4416 (java) S 4347 4350 804 0 -1 1077944384 1620 13309 0 0 56 70 5 3 20 0 15 0 415616469 11111518208 178107 33554432000 4194304 4196468 140730028632912 140333163658160 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 Current children cumulated CPU time: 2432.05 s Current children cumulated vsize: 10851092 KiB Current children cumulated memory: 712428 KiB [startup+2442.3 s] /proc/loadavg: 1.99 1.70 1.57 3/227 4795 /proc/meminfo: memFree=26115920/32770688 swapFree=66919992/67108860 [pid=4350] ppid=4347 vsize=10851092 memory=705244 CPUtime=2493.19 cores=4-7 /proc/4350/stat : 4350 (java) S 4347 4350 804 0 -1 1077944320 386892 13309 0 0 249004 307 5 3 20 0 15 0 415616453 11111518208 176311 33554432000 4194304 4196468 140730028632912 140730028615456 140333742694135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 /proc/4350/statm: 2712773 176311 3631 1 0 2674829 0 [pid=4350/tid=4403] ppid=4347 vsize=10851092 memory=705244 CPUtime=2425.55 cores=4-7 /proc/4350/task/4403/stat : 4403 (java) R 4347 4350 804 0 -1 4202560 82661 13309 0 0 242493 54 5 3 20 0 15 0 415616462 11111518208 176311 33554432000 4194304 4196468 140730028632912 140333714527264 140333324085233 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4404] ppid=4347 vsize=10851092 memory=705244 CPUtime=8.81 cores=4-7 /proc/4350/task/4404/stat : 4404 (java) S 4347 4350 804 0 -1 1077944384 16626 13309 0 0 839 34 5 3 20 0 15 0 415616463 11111518208 176311 33554432000 4194304 4196468 140730028632912 140333746936208 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4405] ppid=4347 vsize=10851092 memory=711400 CPUtime=8.8 cores=4-7 /proc/4350/task/4405/stat : 4405 (java) S 4347 4350 804 0 -1 1077944384 13831 13309 0 0 836 36 5 3 20 0 15 0 415616463 11111518208 176311 33554432000 4194304 4196468 140730028632912 140333635209488 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4406] ppid=4347 vsize=10851092 memory=711400 CPUtime=8.79 cores=4-7 /proc/4350/task/4406/stat : 4406 (java) S 4347 4350 804 0 -1 1077944384 15912 13309 0 0 837 34 5 3 20 0 15 0 415616463 11111518208 176311 33554432000 4194304 4196468 140730028632912 140333634157200 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4407] ppid=4347 vsize=10851092 memory=705244 CPUtime=8.82 cores=4-7 /proc/4350/task/4407/stat : 4407 (java) S 4347 4350 804 0 -1 1077944384 15667 13309 0 0 836 38 5 3 20 0 15 0 415616463 11111518208 176311 33554432000 4194304 4196468 140730028632912 140333633104400 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4408] ppid=4347 vsize=10851092 memory=705244 CPUtime=6.12 cores=4-7 /proc/4350/task/4408/stat : 4408 (java) S 4347 4350 804 0 -1 1077944384 15547 13309 0 0 564 40 5 3 20 0 15 0 415616465 11111518208 176311 33554432000 4194304 4196468 140730028632912 140333201427056 140333742705282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4409] ppid=4347 vsize=10851092 memory=705244 CPUtime=0.08 cores=4-7 /proc/4350/task/4409/stat : 4409 (java) S 4347 4350 804 0 -1 1077944384 51 13309 0 0 0 0 5 3 20 0 15 0 415616465 11111518208 176311 33554432000 4194304 4196468 140730028632912 140333200373152 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4410] ppid=4347 vsize=10851092 memory=705244 CPUtime=0.08 cores=4-7 /proc/4350/task/4410/stat : 4410 (java) S 4347 4350 804 0 -1 1077944384 27 13309 0 0 0 0 5 3 20 0 15 0 415616465 11111518208 176311 33554432000 4194304 4196468 140730028632912 140332620572288 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4411] ppid=4347 vsize=10851092 memory=705244 CPUtime=0.08 cores=4-7 /proc/4350/task/4411/stat : 4411 (java) S 4347 4350 804 0 -1 1077944384 3 13309 0 0 0 0 5 3 20 0 15 0 415616468 11111518208 176311 33554432000 4194304 4196468 140730028632912 140332313172560 140333742712731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4412] ppid=4347 vsize=10851092 memory=3624 CPUtime=10.28 cores=4-7 /proc/4350/task/4412/stat : 4412 (java) S 4347 4350 804 0 -1 1077944384 78844 13309 0 0 1008 12 5 3 20 0 15 0 415616468 11111518208 176311 33554432000 4194304 4196468 140730028632912 140333166815344 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4413] ppid=4347 vsize=10851092 memory=705244 CPUtime=9.77 cores=4-7 /proc/4350/task/4413/stat : 4413 (java) S 4347 4350 804 0 -1 1077944384 73168 13309 0 0 958 11 5 3 20 0 15 0 415616468 11111518208 176311 33554432000 4194304 4196468 140730028632912 140333165762544 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4414] ppid=4347 vsize=10851092 memory=705244 CPUtime=5.48 cores=4-7 /proc/4350/task/4414/stat : 4414 (java) S 4347 4350 804 0 -1 1077944384 70704 13309 0 0 531 9 5 3 20 0 15 0 415616468 11111518208 176311 33554432000 4194304 4196468 140730028632912 140333164710256 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4415] ppid=4347 vsize=10851092 memory=705244 CPUtime=0.08 cores=4-7 /proc/4350/task/4415/stat : 4415 (java) S 4347 4350 804 0 -1 1077944384 3 13309 0 0 0 0 5 3 20 0 15 0 415616468 11111518208 176311 33554432000 4194304 4196468 140730028632912 140332279613920 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4416] ppid=4347 vsize=10851092 memory=705244 CPUtime=1.37 cores=4-7 /proc/4350/task/4416/stat : 4416 (java) S 4347 4350 804 0 -1 1077944384 1637 13309 0 0 58 71 5 3 20 0 15 0 415616469 11111518208 176311 33554432000 4194304 4196468 140730028632912 140333163658160 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 Current children cumulated CPU time: 2493.19 s Current children cumulated vsize: 10851092 KiB Current children cumulated memory: 705244 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2468.7 s] /proc/loadavg: 1.65 1.65 1.56 3/227 4798 /proc/meminfo: memFree=25872016/32770688 swapFree=66919992/67108860 [pid=4350] ppid=4347 vsize=10851092 memory=703188 CPUtime=2520.07 cores=4-7 /proc/4350/stat : 4350 (java) S 4347 4350 804 0 -1 1077944320 387254 13309 0 0 251688 311 5 3 20 0 15 0 415616453 11111518208 175797 33554432000 4194304 4196468 140730028632912 140730028615456 140333742694135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 /proc/4350/statm: 2712773 175797 3631 1 0 2674829 0 [pid=4350/tid=4403] ppid=4347 vsize=10851092 memory=701140 CPUtime=2451.65 cores=4-7 /proc/4350/task/4403/stat : 4403 (java) R 4347 4350 804 0 -1 4202560 82901 13309 0 0 245102 55 5 3 20 0 15 0 415616462 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333714528896 140333316551313 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4404] ppid=4347 vsize=10851092 memory=46920 CPUtime=8.97 cores=4-7 /proc/4350/task/4404/stat : 4404 (java) S 4347 4350 804 0 -1 1077944384 16637 13309 0 0 854 35 5 3 20 0 15 0 415616463 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333746936208 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4405] ppid=4347 vsize=10851092 memory=703188 CPUtime=8.95 cores=4-7 /proc/4350/task/4405/stat : 4405 (java) S 4347 4350 804 0 -1 1077944384 13833 13309 0 0 851 36 5 3 20 0 15 0 415616463 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333635209488 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4406] ppid=4347 vsize=10851092 memory=4986 CPUtime=8.95 cores=4-7 /proc/4350/task/4406/stat : 4406 (java) S 4347 4350 804 0 -1 1077944384 15926 13309 0 0 852 35 5 3 20 0 15 0 415616463 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333634157200 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4407] ppid=4347 vsize=10851092 memory=701140 CPUtime=8.99 cores=4-7 /proc/4350/task/4407/stat : 4407 (java) S 4347 4350 804 0 -1 1077944384 15734 13309 0 0 852 39 5 3 20 0 15 0 415616463 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333633104400 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4408] ppid=4347 vsize=10851092 memory=703188 CPUtime=6.22 cores=4-7 /proc/4350/task/4408/stat : 4408 (java) S 4347 4350 804 0 -1 1077944384 15549 13309 0 0 574 40 5 3 20 0 15 0 415616465 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333201427056 140333742705282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4409] ppid=4347 vsize=10851092 memory=703188 CPUtime=0.08 cores=4-7 /proc/4350/task/4409/stat : 4409 (java) S 4347 4350 804 0 -1 1077944384 51 13309 0 0 0 0 5 3 20 0 15 0 415616465 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333200373152 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4410] ppid=4347 vsize=10851092 memory=703188 CPUtime=0.08 cores=4-7 /proc/4350/task/4410/stat : 4410 (java) S 4347 4350 804 0 -1 1077944384 27 13309 0 0 0 0 5 3 20 0 15 0 415616465 11111518208 175797 33554432000 4194304 4196468 140730028632912 140332620572288 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4411] ppid=4347 vsize=10851092 memory=703188 CPUtime=0.08 cores=4-7 /proc/4350/task/4411/stat : 4411 (java) S 4347 4350 804 0 -1 1077944384 3 13309 0 0 0 0 5 3 20 0 15 0 415616468 11111518208 175797 33554432000 4194304 4196468 140730028632912 140332313172560 140333742712731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4412] ppid=4347 vsize=10851092 memory=703188 CPUtime=10.29 cores=4-7 /proc/4350/task/4412/stat : 4412 (java) S 4347 4350 804 0 -1 1077944384 78844 13309 0 0 1009 12 5 3 20 0 15 0 415616468 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333166815344 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4413] ppid=4347 vsize=10851092 memory=660 CPUtime=9.78 cores=4-7 /proc/4350/task/4413/stat : 4413 (java) S 4347 4350 804 0 -1 1077944384 73168 13309 0 0 959 11 5 3 20 0 15 0 415616468 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333165762544 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4414] ppid=4347 vsize=10851092 memory=0 CPUtime=5.49 cores=4-7 /proc/4350/task/4414/stat : 4414 (java) S 4347 4350 804 0 -1 1077944384 70728 13309 0 0 532 9 5 3 20 0 15 0 415616468 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333164710256 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4415] ppid=4347 vsize=10851092 memory=703188 CPUtime=0.08 cores=4-7 /proc/4350/task/4415/stat : 4415 (java) S 4347 4350 804 0 -1 1077944384 3 13309 0 0 0 0 5 3 20 0 15 0 415616468 11111518208 175797 33554432000 4194304 4196468 140730028632912 140332279613920 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4416] ppid=4347 vsize=10851092 memory=703188 CPUtime=1.4 cores=4-7 /proc/4350/task/4416/stat : 4416 (java) S 4347 4350 804 0 -1 1077944384 1639 13309 0 0 59 73 5 3 20 0 15 0 415616469 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333163658160 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 Current children cumulated CPU time: 2520.07 s Current children cumulated vsize: 10851092 KiB Current children cumulated memory: 703188 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2468.73 s] # the end of solver process 4350 was just reported to runsolver # cumulated CPU time of all completed processes: user=2516.97 s, system=3.15677 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2468.7 s] /proc/loadavg: 1.65 1.65 1.56 3/227 4798 /proc/meminfo: memFree=25872016/32770688 swapFree=66919992/67108860 [pid=4350] ppid=4347 vsize=10851092 memory=703188 CPUtime=2520.07 cores=4-7 /proc/4350/stat : 4350 (java) S 4347 4350 804 0 -1 1077944320 387254 13309 0 0 251688 311 5 3 20 0 15 0 415616453 11111518208 175797 33554432000 4194304 4196468 140730028632912 140730028615456 140333742694135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 /proc/4350/statm: 2712773 175797 3631 1 0 2674829 0 [pid=4350/tid=4403] ppid=4347 vsize=10851092 memory=701140 CPUtime=2451.65 cores=4-7 /proc/4350/task/4403/stat : 4403 (java) R 4347 4350 804 0 -1 4202560 82901 13309 0 0 245102 55 5 3 20 0 15 0 415616462 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333714528896 140333316551313 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4404] ppid=4347 vsize=10851092 memory=46920 CPUtime=8.97 cores=4-7 /proc/4350/task/4404/stat : 4404 (java) S 4347 4350 804 0 -1 1077944384 16637 13309 0 0 854 35 5 3 20 0 15 0 415616463 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333746936208 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4405] ppid=4347 vsize=10851092 memory=703188 CPUtime=8.95 cores=4-7 /proc/4350/task/4405/stat : 4405 (java) S 4347 4350 804 0 -1 1077944384 13833 13309 0 0 851 36 5 3 20 0 15 0 415616463 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333635209488 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4406] ppid=4347 vsize=10851092 memory=4986 CPUtime=8.95 cores=4-7 /proc/4350/task/4406/stat : 4406 (java) S 4347 4350 804 0 -1 1077944384 15926 13309 0 0 852 35 5 3 20 0 15 0 415616463 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333634157200 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4407] ppid=4347 vsize=10851092 memory=701140 CPUtime=8.99 cores=4-7 /proc/4350/task/4407/stat : 4407 (java) S 4347 4350 804 0 -1 1077944384 15734 13309 0 0 852 39 5 3 20 0 15 0 415616463 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333633104400 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4408] ppid=4347 vsize=10851092 memory=703188 CPUtime=6.22 cores=4-7 /proc/4350/task/4408/stat : 4408 (java) S 4347 4350 804 0 -1 1077944384 15549 13309 0 0 574 40 5 3 20 0 15 0 415616465 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333201427056 140333742705282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4409] ppid=4347 vsize=10851092 memory=703188 CPUtime=0.08 cores=4-7 /proc/4350/task/4409/stat : 4409 (java) S 4347 4350 804 0 -1 1077944384 51 13309 0 0 0 0 5 3 20 0 15 0 415616465 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333200373152 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4410] ppid=4347 vsize=10851092 memory=703188 CPUtime=0.08 cores=4-7 /proc/4350/task/4410/stat : 4410 (java) S 4347 4350 804 0 -1 1077944384 27 13309 0 0 0 0 5 3 20 0 15 0 415616465 11111518208 175797 33554432000 4194304 4196468 140730028632912 140332620572288 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4411] ppid=4347 vsize=10851092 memory=703188 CPUtime=0.08 cores=4-7 /proc/4350/task/4411/stat : 4411 (java) S 4347 4350 804 0 -1 1077944384 3 13309 0 0 0 0 5 3 20 0 15 0 415616468 11111518208 175797 33554432000 4194304 4196468 140730028632912 140332313172560 140333742712731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4412] ppid=4347 vsize=10851092 memory=703188 CPUtime=10.29 cores=4-7 /proc/4350/task/4412/stat : 4412 (java) S 4347 4350 804 0 -1 1077944384 78844 13309 0 0 1009 12 5 3 20 0 15 0 415616468 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333166815344 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4413] ppid=4347 vsize=10851092 memory=660 CPUtime=9.78 cores=4-7 /proc/4350/task/4413/stat : 4413 (java) S 4347 4350 804 0 -1 1077944384 73168 13309 0 0 959 11 5 3 20 0 15 0 415616468 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333165762544 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4414] ppid=4347 vsize=10851092 memory=0 CPUtime=5.49 cores=4-7 /proc/4350/task/4414/stat : 4414 (java) S 4347 4350 804 0 -1 1077944384 70728 13309 0 0 532 9 5 3 20 0 15 0 415616468 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333164710256 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4415] ppid=4347 vsize=10851092 memory=703188 CPUtime=0.08 cores=4-7 /proc/4350/task/4415/stat : 4415 (java) S 4347 4350 804 0 -1 1077944384 3 13309 0 0 0 0 5 3 20 0 15 0 415616468 11111518208 175797 33554432000 4194304 4196468 140730028632912 140332279613920 140333742704341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 [pid=4350/tid=4416] ppid=4347 vsize=10851092 memory=703188 CPUtime=1.4 cores=4-7 /proc/4350/task/4416/stat : 4416 (java) S 4347 4350 804 0 -1 1077944384 1639 13309 0 0 59 73 5 3 20 0 15 0 415616469 11111518208 175797 33554432000 4194304 4196468 140730028632912 140333163658160 140333742705282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29974528 140730028636912 140730028639429 140730028639429 140730028642255 0 Current children cumulated CPU time: 2520.07 s Current children cumulated vsize: 10851092 KiB Current children cumulated memory: 703188 KiB Child status: 143 Real time (s): 2468.73 CPU time (s): 2520.12 CPU user time (s): 2516.97 CPU system time (s): 3.15677 CPU usage (%): 102.082 Max. virtual memory (cumulated for all children) (KiB): 10851092 Max. memory (cumulated for all children) (KiB): 1963948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2516.97 system time used= 3.15677 maximum resident set size= 1965048 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 400920 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3416 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 178587 involuntary context switches= 4387 # summary of solver processes directly reported to runsolver: # pid: 4350 # total CPU time (s): 2520.12 # total CPU user time (s): 2516.97 # total CPU system time (s): 3.15677 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 18.2468 second user time and 24.0552 second system time The end
Begin job on node120 at 2011-12-15 01:55:24 IDJOB=4396317 IDBENCH=123065 IDSOLVER=2846 FILE ID=node120/4396317-1568396101 RUNJOBID= node120-1323907941-3248 PBS_JOBID= 21701843 Free space on /tmp= 61616 MiB SOLVER NAME= Concrete 3.12.2 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-lipa50a.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396317-1568396101/watcher-4396317-1568396101 -o /tmp/evaluation-result-4396317-1568396101/solver-4396317-1568396101 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323907941-3248 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=439146686 HOME/instance-4396317-1568396101.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4fcc0be526f5147180ee0aa4ecb06fa1 RANDOM SEED=439146686 node120.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 27627344 kB MemAvailable: 31121904 kB Buffers: 179088 kB Cached: 3619796 kB SwapCached: 77548 kB Active: 1773384 kB Inactive: 2814820 kB Active(anon): 710804 kB Inactive(anon): 127884 kB Active(file): 1062580 kB Inactive(file): 2686936 kB Unevictable: 107236 kB Mlocked: 107236 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 35084 kB Writeback: 0 kB AnonPages: 826804 kB Mapped: 61772 kB Shmem: 41008 kB Slab: 151276 kB SReclaimable: 121760 kB SUnreclaim: 29516 kB KernelStack: 3984 kB PageTables: 6808 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1957192 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 665600 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61580 MiB End job on node120 at 2011-12-15 02:36:33