Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.9.2-SuperNG | SAT (TO) | 27388 | 2520.1 | 2462.66 |
| Name | QuadraticAssignment/ QuadraticAssignment-sko64_c18.xml |
| MD5SUM | 0f1e7a7a7866c79e3b2a53c7bc7dd539 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 25546 |
| Best CPU time to get the best result obtained on this benchmark | 2520.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4160 |
| Number of constraints | 2017 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 64 |
| Distribution of domain sizes | [{"size":8,"count":2016},{"size":64,"count":64}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 64 |
| Distribution of variable degrees | [{"degree":0,"count":2080},{"degree":2,"count":2016},{"degree":64,"count":64}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 64 |
| Distribution of constraint arities | [{"arity":3,"count":2016},{"arity":64,"count":1}] |
| Number of extensional constraints | 2016 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":2016},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.99/0.73 c Concrete v3.9.2.1532736233296 running 284.28/271.42 o 27477 284.58/271.59 o 27413 284.88/271.64 o 27404 284.88/271.69 o 27402 285.20/271.73 o 27388 2520.02/2462.61 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 2520.02/2462.61 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24) 2520.02/2462.61 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53) 2520.02/2462.61 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142) 2520.02/2462.61 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5) 2520.02/2462.61 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126) 2520.02/2462.61 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8) 2520.02/2462.61 at concrete.heuristic.value.BestCost.select(BestCost.scala:53) 2520.02/2462.61 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 2520.02/2462.61 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103) 2520.02/2462.61 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.02/2462.61 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 2520.02/2462.61 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103) 2520.02/2462.61 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.02/2462.61 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 2520.02/2462.61 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109) 2520.02/2462.61 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 2520.02/2462.61 at scala.Option.map(Option.scala:146) 2520.02/2462.61 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 2520.02/2462.61 at concrete.MAC.mac(MAC.scala:203) 2520.02/2462.61 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.02/2462.61 at scala.util.Try$.apply(Try.scala:209) 2520.02/2462.61 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.02/2462.61 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.02/2462.61 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.02/2462.61 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.02/2462.61 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.02/2462.61 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.02/2462.61 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.02/2462.61 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.02/2462.61 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.02/2462.61 at concrete.MAC.oneRun(MAC.scala:253) 2520.02/2462.61 at concrete.MAC.nextSolution(MAC.scala:272) 2520.02/2462.61 at concrete.MAC.nextSolution(MAC.scala:355) 2520.02/2462.61 at concrete.Solver.hasNext(Solver.scala:166) 2520.02/2462.61 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.02/2462.61 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.02/2462.61 at concrete.Solver.foreach(Solver.scala:68) 2520.02/2462.61 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.02/2462.61 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.02/2462.61 at scala.util.Success.map(Try.scala:209) 2520.02/2462.61 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.02/2462.61 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.02/2462.61 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.02/2462.61 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.02/2462.61 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.02/2462.61 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.02/2462.61 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.02/2462.61 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.02/2462.61 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.02/2462.61 at scala.collection.immutable.List.foreach(List.scala:389) 2520.02/2462.61 at scala.App.main(App.scala:76) 2520.02/2462.61 at scala.App.main$(App.scala:74) 2520.02/2462.61 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.02/2462.61 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.02/2462.61 v <instantiation cost="27388"> 2520.02/2462.61 v <list> 2520.02/2462.61 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] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] 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][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] 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][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] 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][18] 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[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] 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][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] 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][25] 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[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] 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][36] 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[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] 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][21] 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[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] 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][25] 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[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] 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[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] 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][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] 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][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] 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][41] 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[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] 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[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] 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][40] 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[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] 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][35] 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[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] 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][24] 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[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] 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[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] 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[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] 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[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] 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][38] 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[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] 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][33] 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[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] 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][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] 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][41] 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[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] 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[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] 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][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] 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[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] 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[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] 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[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] 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][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] 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][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] 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[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] 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[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] 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[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] 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[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] 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[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] 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[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] 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[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] 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[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] 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][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] 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[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] 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[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[59][60] d[59][61] d[59][62] d[59][63] d[60][61] d[60][62] d[60][63] d[61][62] d[61][63] d[62][63] 2520.02/2462.62 v </list> 2520.02/2462.62 v <values> 2520.02/2462.62 v 55 29 53 37 28 46 32 36 14 25 16 17 59 63 43 33 24 10 38 23 44 9 52 0 56 39 18 19 8 4 48 1 34 47 7 40 15 49 6 62 20 22 3 45 31 41 11 12 30 2 61 27 13 42 21 58 26 50 57 60 51 35 5 54 5 5 0 5 0 6 2 2 0 10 5 5 2 5 0 5 2 5 3 10 1 1 5 2 0 0 0 0 0 5 3 2 0 1 2 4 3 0 1 2 2 10 5 0 0 0 2 5 0 0 0 2 2 0 1 5 5 5 0 2 0 0 0 5 2 2 5 10 0 2 0 5 4 1 10 3 0 0 5 4 2 6 0 0 1 5 10 1 1 0 6 2 3 0 5 2 5 0 0 0 3 0 3 2 0 3 0 5 1 0 0 2 0 5 6 5 5 5 0 2 5 0 0 0 0 0 5 5 0 1 10 1 5 2 0 1 0 10 5 10 1 5 1 5 0 2 10 0 0 5 0 6 3 5 0 5 0 1 0 1 6 0 1 2 0 0 10 0 0 1 5 5 3 5 0 3 4 6 0 5 4 3 2 0 4 0 0 5 3 5 10 0 10 2 2 4 5 5 2 5 10 5 4 10 0 1 0 2 4 2 0 0 5 3 0 2 2 0 2 1 0 1 1 0 0 2 10 0 2 3 2 0 3 1 0 0 0 10 5 6 0 0 10 0 5 10 2 2 3 0 2 4 3 10 5 2 0 2 0 0 5 1 5 2 2 1 2 5 0 10 10 5 3 0 5 0 0 4 2 2 0 0 5 1 5 2 0 5 2 0 0 1 0 2 1 5 1 2 2 5 0 4 4 1 10 0 0 0 0 4 6 0 2 0 2 0 0 5 2 3 5 4 5 2 1 2 2 0 5 5 6 1 0 5 2 0 5 0 0 1 1 10 0 5 0 0 5 0 1 1 1 0 10 0 0 0 10 5 1 1 0 10 5 5 0 5 3 0 0 0 5 5 0 5 5 5 5 2 2 1 1 1 0 5 1 3 1 10 0 0 5 1 10 5 5 0 5 5 1 1 0 2 2 2 2 0 2 0 0 5 5 2 5 0 0 0 0 0 0 5 2 3 5 0 6 0 3 10 5 2 5 2 2 2 0 10 5 1 0 1 3 5 1 2 0 2 1 0 2 10 4 1 1 5 5 0 0 5 0 1 0 1 0 3 0 0 10 3 1 2 5 2 0 0 5 5 3 3 0 0 1 1 4 2 0 0 0 0 1 6 2 5 0 2 0 0 0 0 0 2 0 0 10 6 2 0 0 5 5 0 4 0 0 1 2 2 1 2 2 0 2 5 0 5 2 0 5 0 1 1 5 10 2 2 5 6 5 1 2 5 1 2 2 3 2 0 6 5 0 0 0 2 5 5 1 5 2 0 5 5 5 0 10 0 5 5 5 5 0 5 1 2 6 3 0 0 2 0 0 10 0 0 2 5 0 2 5 5 5 4 10 1 5 0 1 2 4 5 1 2 6 0 3 4 5 6 10 1 2 5 6 5 0 1 10 0 2 0 4 0 0 2 1 2 5 0 5 2 0 5 0 0 1 2 2 1 2 0 10 0 2 2 1 1 5 5 2 2 0 4 2 5 1 2 5 4 0 2 10 0 0 3 5 1 0 10 0 0 2 2 5 1 2 0 5 0 2 0 5 5 2 0 1 0 2 0 5 1 5 0 0 0 5 5 5 0 4 5 0 0 0 2 10 1 6 0 4 0 0 5 10 0 0 0 1 5 10 3 0 0 5 4 1 0 0 0 5 0 5 0 2 0 3 0 0 2 1 0 5 1 0 10 0 0 1 5 2 10 2 2 1 3 0 5 0 0 5 1 3 0 0 2 1 5 0 1 5 4 2 10 2 2 10 0 10 0 0 5 0 0 0 0 0 0 5 0 0 5 10 5 10 2 5 1 2 5 2 0 5 10 2 2 2 5 0 0 5 10 2 2 5 0 10 5 1 1 1 3 5 5 2 1 5 0 2 5 2 1 5 0 0 5 0 5 10 5 2 0 0 4 3 2 5 1 6 0 2 5 0 2 1 1 0 0 2 1 0 2 0 10 0 2 5 6 2 0 5 0 0 0 10 5 0 10 1 5 5 0 0 2 0 0 4 0 1 5 1 0 2 1 4 10 0 5 0 5 2 10 0 0 5 0 5 2 2 0 0 2 3 2 3 10 2 5 0 0 10 0 5 4 0 5 0 2 0 2 0 1 1 10 0 0 0 1 2 4 5 0 5 10 2 4 10 4 0 2 0 2 0 0 4 6 10 0 2 5 0 2 2 2 2 10 0 5 2 0 0 1 10 1 10 0 5 5 5 0 0 4 1 5 0 5 0 3 0 5 2 10 0 0 0 10 0 0 0 4 2 1 5 0 10 0 0 0 5 0 0 0 5 0 0 5 4 5 1 2 0 1 4 5 1 2 2 4 0 10 2 5 4 10 5 2 0 5 0 0 5 0 0 5 2 2 1 2 1 1 10 1 10 5 1 2 2 0 1 5 5 3 5 1 10 10 1 0 5 10 5 0 5 0 2 10 10 0 10 1 10 0 2 1 1 10 3 0 2 1 0 10 1 5 0 0 1 2 0 0 5 0 2 0 0 2 5 1 2 1 5 6 3 5 3 1 0 10 0 2 0 5 2 5 1 5 0 1 0 2 5 5 0 0 10 1 4 0 0 0 2 0 3 0 0 1 0 2 6 0 2 0 0 10 0 0 0 4 5 1 10 0 5 0 1 2 1 0 0 2 5 0 10 2 2 0 5 1 4 2 5 6 0 1 0 1 3 5 1 0 0 2 5 0 1 1 0 0 5 2 0 0 5 4 4 6 0 2 6 3 4 5 2 5 4 5 1 1 0 3 2 2 0 5 1 0 3 1 5 5 0 2 0 0 0 0 3 2 0 4 0 0 0 2 0 0 10 2 1 3 0 3 0 10 2 0 2 1 0 3 0 0 0 10 5 1 0 0 0 4 0 1 0 2 10 5 2 1 0 3 4 2 5 0 0 1 10 2 0 10 1 2 0 0 10 4 5 3 5 0 0 0 6 5 10 5 5 2 2 5 5 3 0 1 3 4 2 1 2 2 5 5 2 10 10 5 4 2 0 5 0 0 10 0 4 1 0 0 0 1 5 5 0 6 1 2 2 2 0 0 0 0 2 3 0 5 5 3 0 10 0 0 4 1 5 4 0 6 5 10 2 10 2 3 1 0 5 1 5 0 0 1 0 5 2 2 0 0 2 5 2 1 5 5 0 0 0 1 2 1 0 0 5 1 1 1 10 0 5 0 2 2 5 5 0 10 1 1 0 10 5 10 1 2 5 1 0 5 3 2 10 10 0 0 1 1 0 0 5 10 1 5 0 0 0 5 5 2 0 2 0 3 2 5 2 5 4 10 2 5 0 0 0 2 10 0 2 10 10 1 5 1 5 0 5 10 2 2 0 0 1 4 0 0 1 1 2 2 6 5 1 0 5 2 10 0 0 5 1 10 0 2 2 1 2 1 0 5 10 0 0 3 0 0 1 10 0 1 1 2 2 0 5 5 5 0 5 1 5 5 0 10 5 2 0 0 0 0 5 5 1 2 2 2 0 2 5 1 0 2 0 3 0 2 6 5 0 1 1 0 0 3 0 0 1 5 2 0 1 1 2 1 5 4 2 10 0 4 0 5 1 1 1 5 10 2 0 2 2 4 5 4 3 0 5 2 0 2 0 2 5 1 5 0 5 0 0 10 10 2 2 3 0 0 5 1 5 0 5 2 5 0 5 6 5 10 0 5 0 1 0 2 0 0 0 1 1 5 0 5 1 2 0 10 2 5 10 5 10 0 5 5 2 5 5 6 0 2 2 5 4 2 5 5 2 2 0 2 5 3 2 1 5 1 2 1 5 2 1 0 0 1 0 5 10 0 6 2 5 6 0 2 0 4 0 5 3 6 4 0 5 0 0 0 5 5 5 0 2 1 2 10 2 0 2 0 2 2 0 10 4 0 2 5 0 5 1 0 5 0 2 1 1 2 5 1 2 5 5 0 5 0 5 5 5 5 0 0 4 0 1 0 2 5 2 10 1 10 10 5 2 0 5 5 0 1 5 0 2 5 0 10 5 2 2 1 2 0 0 3 2 6 5 0 0 10 1 2 5 0 2 10 6 5 5 1 5 10 1 0 10 0 5 1 2 5 5 2 2 0 10 2 1 5 0 5 1 2 0 2 0 0 5 10 0 5 5 10 3 5 2 0 2 0 5 2 6 0 0 1 1 0 0 0 1 1 0 2 0 5 10 5 5 0 5 0 6 2 1 0 0 0 0 5 0 2 3 4 0 0 2 5 5 0 1 0 10 1 0 2 5 5 5 0 10 1 0 10 2 0 5 10 1 2 10 0 6 2 5 2 10 0 0 0 0 5 1 5 10 0 1 2 2 0 0 5 6 0 10 1 0 5 5 0 10 2 3 5 5 10 2 1 10 10 0 2 0 0 1 2 10 2 2 5 0 0 0 4 0 1 2 5 5 5 10 4 5 0 0 5 1 10 10 0 4 5 1 10 6 0 1 0 1 5 10 0 2 5 5 5 1 5 2 2 2 2 0 2 5 1 0 0 0 5 5 5 6 2 2 0 5 5 1 2 5 10 5 4 2 5 10 5 2 4 5 5 0 1 2 2 2520.02/2462.62 v </values> 2520.02/2462.62 v </instantiation> 2520.02/2462.62 s SATISFIABLE
OK 27388
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 (6213 MiB free)
memory of node 1: 16384 MiB (5067 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304404-1534081621/watcher-4304404-1534081621 -o /tmp/evaluation-result-4304404-1534081621/solver-4304404-1534081621 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534062012-21372 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1109445728 -superng HOME/instance-4304404-1534081621.xml
running on 4 cores: 1,3,5,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
solver pid=24391, runsolver pid=24388
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 1.38 1.48 1.52 3/206 24448
/proc/meminfo: memFree=11541548/32770624 swapFree=67108404/67108860
[pid=24391] ppid=24388 vsize=10088124 memory=17868 CPUtime=0.08 cores=1,3,5,7
/proc/24391/stat : 24391 (java) S 24388 24391 21340 0 -1 1077944320 4604 12889 0 0 1 0 4 3 20 0 7 0 225725256 10330238976 4467 33554432000 4194304 4196468 140720655247472 140720655230016 139896877526775 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
/proc/24391/statm: 2522031 4467 2030 1 0 2510469 0
[pid=24391/tid=24444] ppid=24388 vsize=10088124 memory=4279135704047453582 CPUtime=0.08 cores=1,3,5,7
/proc/24391/task/24444/stat : 24444 (java) R 24388 24391 21340 0 -1 4202560 2418 12889 0 0 1 0 4 3 20 0 7 0 225725265 10330238976 4467 33554432000 4194304 4196468 140720655247472 139896849369872 139896860513936 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24445] ppid=24388 vsize=10088124 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24445/stat : 24445 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 7 0 225725266 10330238976 4467 33554432000 4194304 4196468 140720655247472 139896881768720 139896877536981 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24446] ppid=24388 vsize=10088124 memory=140221453481600 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24446/stat : 24446 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 7 0 225725266 10330238976 4467 33554432000 4194304 4196468 140720655247472 139896752417168 139896877536981 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24447] ppid=24388 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24447/stat : 24447 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 7 0 225725266 10330238976 4467 33554432000 4194304 4196468 140720655247472 139896751364624 139896877536981 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24448] ppid=24388 vsize=10088124 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24448/stat : 24448 (java) S 24388 24391 21340 0 -1 1077944384 2 12889 0 0 0 0 4 3 20 0 7 0 225725266 10330238976 4467 33554432000 4194304 4196468 140720655247472 139896750312080 139896877536981 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24449] ppid=24388 vsize=10088124 memory=140221453481600 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24449/stat : 24449 (java) S 24388 24391 21340 0 -1 1077944384 2 12889 0 0 0 0 4 3 20 0 7 0 225725267 10330238976 4467 33554432000 4194304 4196468 140720655247472 139896303401456 139896877537922 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10088124 KiB
Current children cumulated memory: 17868 KiB
[startup+0.210044 s]*
/proc/loadavg: 1.38 1.48 1.52 3/215 24457
/proc/meminfo: memFree=11519648/32770624 swapFree=67108404/67108860
[pid=24391] ppid=24388 vsize=10982744 memory=48244 CPUtime=0.26 cores=1,3,5,7
/proc/24391/stat : 24391 (java) S 24388 24391 21340 0 -1 1077944320 9415 12889 0 0 17 2 4 3 20 0 15 0 225725256 11246329856 12061 33554432000 4194304 4196468 140720655247472 140720655230016 139896877526775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
/proc/24391/statm: 2745694 12061 2957 1 0 2708117 0
[pid=24391/tid=24444] ppid=24388 vsize=10982776 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/24391/task/24444/stat : 24444 (java) R 24388 24391 21340 0 -1 4202560 5971 12889 0 0 11 1 4 3 20 0 15 0 225725265 11246362624 12061 33554432000 4194304 4196468 140720655247472 139896849351584 139896870206493 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24445] ppid=24388 vsize=10982776 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24445/stat : 24445 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725266 11246362624 12061 33554432000 4194304 4196468 140720655247472 139896881768720 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24446] ppid=24388 vsize=10982776 memory=140221453503229 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24446/stat : 24446 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725266 11246362624 12061 33554432000 4194304 4196468 140720655247472 139896752417168 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24447] ppid=24388 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24447/stat : 24447 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725266 11246362624 12061 33554432000 4194304 4196468 140720655247472 139896751364624 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24448] ppid=24388 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24448/stat : 24448 (java) S 24388 24391 21340 0 -1 1077944384 2 12889 0 0 0 0 4 3 20 0 15 0 225725266 11246329856 12061 33554432000 4194304 4196468 140720655247472 139896750312080 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24449] ppid=24388 vsize=10982744 memory=140221453481600 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24449/stat : 24449 (java) S 24388 24391 21340 0 -1 1077944384 2 12889 0 0 0 0 4 3 20 0 15 0 225725267 11246329856 12061 33554432000 4194304 4196468 140720655247472 139896303401456 139896877537922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24450] ppid=24388 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24450/stat : 24450 (java) S 24388 24391 21340 0 -1 1077944384 13 12889 0 0 0 0 4 3 20 0 15 0 225725267 11246329856 12061 33554432000 4194304 4196468 140720655247472 139895741867424 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24451] ppid=24388 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24451/stat : 24451 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725268 11246329856 12061 33554432000 4194304 4196468 140720655247472 139895540540912 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24452] ppid=24388 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24452/stat : 24452 (java) S 24388 24391 21340 0 -1 1077944384 3 12889 0 0 0 0 4 3 20 0 15 0 225725270 11246329856 12061 33554432000 4194304 4196468 140720655247472 139895233141456 139896877545371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24453] ppid=24388 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24391/task/24453/stat : 24453 (java) S 24388 24391 21340 0 -1 1077944384 420 12889 0 0 1 0 4 3 20 0 15 0 225725270 11246329856 12061 33554432000 4194304 4196468 140720655247472 139896302348272 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24454] ppid=24388 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24391/task/24454/stat : 24454 (java) S 24388 24391 21340 0 -1 1077944384 185 12889 0 0 1 0 4 3 20 0 15 0 225725270 11246329856 12061 33554432000 4194304 4196468 140720655247472 139896301295728 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24455] ppid=24388 vsize=10982744 memory=140221453481600 CPUtime=0.1 cores=1,3,5,7
/proc/24391/task/24455/stat : 24455 (java) S 24388 24391 21340 0 -1 1077944384 628 12889 0 0 3 0 4 3 20 0 15 0 225725270 11246329856 12061 33554432000 4194304 4196468 140720655247472 139896300243184 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24456] ppid=24388 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24456/stat : 24456 (java) S 24388 24391 21340 0 -1 1077944384 3 12889 0 0 0 0 4 3 20 0 15 0 225725271 11246362624 12061 33554432000 4194304 4196468 140720655247472 139894802344544 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24457] ppid=24388 vsize=10982776 memory=140221453481600 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24457/stat : 24457 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725271 11246362624 12061 33554432000 4194304 4196468 140720655247472 139896299191088 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 48244 KiB
[startup+0.310365 s]*
/proc/loadavg: 1.38 1.48 1.52 3/215 24457
/proc/meminfo: memFree=11506484/32770624 swapFree=67108404/67108860
[pid=24391] ppid=24388 vsize=10983192 memory=56120 CPUtime=0.38 cores=1,3,5,7
/proc/24391/stat : 24391 (java) S 24388 24391 21340 0 -1 1077944320 10624 12889 0 0 29 2 4 3 20 0 15 0 225725256 11246788608 14030 33554432000 4194304 4196468 140720655247472 140720655230016 139896877526775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
/proc/24391/statm: 2745798 14030 3076 1 0 2708109 0
[pid=24391/tid=24444] ppid=24388 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/24391/task/24444/stat : 24444 (java) R 24388 24391 21340 0 -1 4202560 7167 12889 0 0 20 1 4 3 20 0 15 0 225725265 11246788608 14030 33554432000 4194304 4196468 140720655247472 139896849338784 139896869763902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24445] ppid=24388 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24445/stat : 24445 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725266 11246788608 14030 33554432000 4194304 4196468 140720655247472 139896881768720 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24446] ppid=24388 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24446/stat : 24446 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725266 11246788608 14030 33554432000 4194304 4196468 140720655247472 139896752417168 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24447] ppid=24388 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24447/stat : 24447 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725266 11246788608 14030 33554432000 4194304 4196468 140720655247472 139896751364624 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24448] ppid=24388 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24448/stat : 24448 (java) S 24388 24391 21340 0 -1 1077944384 2 12889 0 0 0 0 4 3 20 0 15 0 225725266 11246788608 14030 33554432000 4194304 4196468 140720655247472 139896750312080 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24449] ppid=24388 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24449/stat : 24449 (java) S 24388 24391 21340 0 -1 1077944384 2 12889 0 0 0 0 4 3 20 0 15 0 225725267 11246788608 14030 33554432000 4194304 4196468 140720655247472 139896303401456 139896877537922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24450] ppid=24388 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24450/stat : 24450 (java) S 24388 24391 21340 0 -1 1077944384 13 12889 0 0 0 0 4 3 20 0 15 0 225725267 11246788608 14030 33554432000 4194304 4196468 140720655247472 139895741867424 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24451] ppid=24388 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24451/stat : 24451 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725268 11246788608 14030 33554432000 4194304 4196468 140720655247472 139895540540912 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24452] ppid=24388 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24452/stat : 24452 (java) S 24388 24391 21340 0 -1 1077944384 3 12889 0 0 0 0 4 3 20 0 15 0 225725270 11246788608 14030 33554432000 4194304 4196468 140720655247472 139895233141456 139896877545371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24453] ppid=24388 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24391/task/24453/stat : 24453 (java) S 24388 24391 21340 0 -1 1077944384 422 12889 0 0 1 0 4 3 20 0 15 0 225725270 11246788608 14030 33554432000 4194304 4196468 140720655247472 139896302348272 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24454] ppid=24388 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24391/task/24454/stat : 24454 (java) S 24388 24391 21340 0 -1 1077944384 185 12889 0 0 1 0 4 3 20 0 15 0 225725270 11246788608 14030 33554432000 4194304 4196468 140720655247472 139896301295728 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24455] ppid=24388 vsize=10983192 memory=140221453481600 CPUtime=0.12 cores=1,3,5,7
/proc/24391/task/24455/stat : 24455 (java) R 24388 24391 21340 0 -1 4202560 636 12889 0 0 5 0 4 3 20 0 15 0 225725270 11246788608 14030 33554432000 4194304 4196468 140720655247472 139896300243184 139896869763902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24456] ppid=24388 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24456/stat : 24456 (java) S 24388 24391 21340 0 -1 1077944384 3 12889 0 0 0 0 4 3 20 0 15 0 225725271 11246788608 14030 33554432000 4194304 4196468 140720655247472 139894802344544 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24457] ppid=24388 vsize=10983192 memory=140221453481600 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24457/stat : 24457 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725271 11246788608 14030 33554432000 4194304 4196468 140720655247472 139896299191088 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56120 KiB
[startup+0.700792 s]
/proc/loadavg: 1.38 1.48 1.52 3/215 24457
/proc/meminfo: memFree=11496932/32770624 swapFree=67108404/67108860
[pid=24391] ppid=24388 vsize=10983192 memory=88820 CPUtime=0.99 cores=1,3,5,7
/proc/24391/stat : 24391 (java) S 24388 24391 21340 0 -1 1077944320 16765 12889 0 0 88 4 4 3 20 0 15 0 225725256 11246788608 22205 33554432000 4194304 4196468 140720655247472 140720655230016 139896877526775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
/proc/24391/statm: 2745798 22205 3246 1 0 2708109 0
[pid=24391/tid=24444] ppid=24388 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/24391/task/24444/stat : 24444 (java) R 24388 24391 21340 0 -1 4202560 12235 12889 0 0 56 3 4 3 20 0 15 0 225725265 11246788608 22205 33554432000 4194304 4196468 140720655247472 139896849347600 139896857802656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24445] ppid=24388 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24445/stat : 24445 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725266 11246788608 22205 33554432000 4194304 4196468 140720655247472 139896881768720 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24446] ppid=24388 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24446/stat : 24446 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725266 11246788608 22205 33554432000 4194304 4196468 140720655247472 139896752417168 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24447] ppid=24388 vsize=10983192 memory=140221354230384 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24447/stat : 24447 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725266 11246788608 22205 33554432000 4194304 4196468 140720655247472 139896751364624 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24448] ppid=24388 vsize=10983192 memory=140222092280398 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24448/stat : 24448 (java) S 24388 24391 21340 0 -1 1077944384 2 12889 0 0 0 0 4 3 20 0 15 0 225725266 11246788608 22205 33554432000 4194304 4196468 140720655247472 139896750312080 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24449] ppid=24388 vsize=10983192 memory=1156 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24449/stat : 24449 (java) S 24388 24391 21340 0 -1 1077944384 5 12889 0 0 0 0 4 3 20 0 15 0 225725267 11246788608 22205 33554432000 4194304 4196468 140720655247472 139896303401456 139896877537922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24450] ppid=24388 vsize=10983192 memory=7014751519734519121 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24450/stat : 24450 (java) S 24388 24391 21340 0 -1 1077944384 13 12889 0 0 0 0 4 3 20 0 15 0 225725267 11246788608 22205 33554432000 4194304 4196468 140720655247472 139895741867424 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24451] ppid=24388 vsize=10983192 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24451/stat : 24451 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725268 11246788608 22205 33554432000 4194304 4196468 140720655247472 139895540540912 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24452] ppid=24388 vsize=10983192 memory=33876 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24452/stat : 24452 (java) S 24388 24391 21340 0 -1 1077944384 3 12889 0 0 0 0 4 3 20 0 15 0 225725270 11246788608 22205 33554432000 4194304 4196468 140720655247472 139895233141456 139896877545371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24453] ppid=24388 vsize=10983192 memory=14644 CPUtime=0.17 cores=1,3,5,7
/proc/24391/task/24453/stat : 24453 (java) S 24388 24391 21340 0 -1 1077944384 1060 12889 0 0 10 0 4 3 20 0 15 0 225725270 11246788608 22205 33554432000 4194304 4196468 140720655247472 139896302348272 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24454] ppid=24388 vsize=10983192 memory=1720 CPUtime=0.14 cores=1,3,5,7
/proc/24391/task/24454/stat : 24454 (java) S 24388 24391 21340 0 -1 1077944384 544 12889 0 0 7 0 4 3 20 0 15 0 225725270 11246788608 22205 33554432000 4194304 4196468 140720655247472 139896301295728 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24455] ppid=24388 vsize=10983192 memory=508 CPUtime=0.2 cores=1,3,5,7
/proc/24391/task/24455/stat : 24455 (java) S 24388 24391 21340 0 -1 1077944384 704 12889 0 0 13 0 4 3 20 0 15 0 225725270 11246788608 22205 33554432000 4194304 4196468 140720655247472 139896300243184 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24456] ppid=24388 vsize=10983192 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24456/stat : 24456 (java) S 24388 24391 21340 0 -1 1077944384 3 12889 0 0 0 0 4 3 20 0 15 0 225725271 11246788608 22205 33554432000 4194304 4196468 140720655247472 139894802344544 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24457] ppid=24388 vsize=10983192 memory=1172 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24457/stat : 24457 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725271 11246788608 22205 33554432000 4194304 4196468 140720655247472 139896299191088 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88820 KiB
[startup+1.50076 s]
/proc/loadavg: 1.38 1.48 1.52 3/215 24457
/proc/meminfo: memFree=11453936/32770624 swapFree=67108404/67108860
[pid=24391] ppid=24388 vsize=10998028 memory=179376 CPUtime=3.06 cores=1,3,5,7
/proc/24391/stat : 24391 (java) S 24388 24391 21340 0 -1 1077944320 27623 12889 0 0 292 7 4 3 20 0 15 0 225725256 11261980672 44844 33554432000 4194304 4196468 140720655247472 140720655230016 139896877526775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
/proc/24391/statm: 2749507 44844 3445 1 0 2711165 0
[pid=24391/tid=24444] ppid=24388 vsize=10998028 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/24391/task/24444/stat : 24444 (java) R 24388 24391 21340 0 -1 4202560 16927 12889 0 0 133 6 4 3 20 0 15 0 225725265 11261980672 44844 33554432000 4194304 4196468 140720655247472 139896849332624 139896877548701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24445] ppid=24388 vsize=10998028 memory=280442708509120 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24445/stat : 24445 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725266 11261980672 44844 33554432000 4194304 4196468 140720655247472 139896881768720 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24446] ppid=24388 vsize=10998028 memory=280442708518432 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24446/stat : 24446 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725266 11261980672 44844 33554432000 4194304 4196468 140720655247472 139896752417168 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24447] ppid=24388 vsize=10998028 memory=140221354265072 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24447/stat : 24447 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725266 11261980672 44844 33554432000 4194304 4196468 140720655247472 139896751364624 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24448] ppid=24388 vsize=10998028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24448/stat : 24448 (java) S 24388 24391 21340 0 -1 1077944384 2 12889 0 0 0 0 4 3 20 0 15 0 225725266 11261980672 44844 33554432000 4194304 4196468 140720655247472 139896750312080 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24449] ppid=24388 vsize=10998028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24449/stat : 24449 (java) S 24388 24391 21340 0 -1 1077944384 13 12889 0 0 0 0 4 3 20 0 15 0 225725267 11261980672 44844 33554432000 4194304 4196468 140720655247472 139896303401456 139896877537922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24450] ppid=24388 vsize=10998028 memory=12966506269086 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24450/stat : 24450 (java) S 24388 24391 21340 0 -1 1077944384 13 12889 0 0 0 0 4 3 20 0 15 0 225725267 11261980672 44844 33554432000 4194304 4196468 140720655247472 139895741867424 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24451] ppid=24388 vsize=10998028 memory=7308045214707363890 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24451/stat : 24451 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725268 11261980672 44844 33554432000 4194304 4196468 140720655247472 139895540540912 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24452] ppid=24388 vsize=10998028 memory=7308045215650173030 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24452/stat : 24452 (java) S 24388 24391 21340 0 -1 1077944384 3 12889 0 0 0 0 4 3 20 0 15 0 225725270 11261980672 44844 33554432000 4194304 4196468 140720655247472 139895233141456 139896877545371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24453] ppid=24388 vsize=10998028 memory=-6812210783619891858 CPUtime=0.69 cores=1,3,5,7
/proc/24391/task/24453/stat : 24453 (java) R 24388 24391 21340 0 -1 4202560 4169 12889 0 0 62 0 4 3 20 0 15 0 225725270 11261980672 44844 33554432000 4194304 4196468 140720655247472 139896302333792 139896859046054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24454] ppid=24388 vsize=10998028 memory=7516908444447630953 CPUtime=0.59 cores=1,3,5,7
/proc/24391/task/24454/stat : 24454 (java) S 24388 24391 21340 0 -1 1077944384 2592 12889 0 0 52 0 4 3 20 0 15 0 225725270 11261980672 44844 33554432000 4194304 4196468 140720655247472 139896301295728 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24455] ppid=24388 vsize=10998028 memory=6655300316396806240 CPUtime=0.51 cores=1,3,5,7
/proc/24391/task/24455/stat : 24455 (java) S 24388 24391 21340 0 -1 1077944384 1705 12889 0 0 44 0 4 3 20 0 15 0 225725270 11261980672 44844 33554432000 4194304 4196468 140720655247472 139896300243184 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24456] ppid=24388 vsize=10998028 memory=7883098627364053585 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24456/stat : 24456 (java) S 24388 24391 21340 0 -1 1077944384 3 12889 0 0 0 0 4 3 20 0 15 0 225725271 11261980672 44844 33554432000 4194304 4196468 140720655247472 139894802344544 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24457] ppid=24388 vsize=10998028 memory=7372505175651083114 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24457/stat : 24457 (java) S 24388 24391 21340 0 -1 1077944384 1 12889 0 0 0 0 4 3 20 0 15 0 225725271 11261980672 44844 33554432000 4194304 4196468 140720655247472 139896299191088 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
################
# More data... #
################
/proc/24391/task/24444/stat : 24444 (java) R 24388 24391 21340 0 -1 4202560 192375 12889 0 0 230934 50 4 3 20 0 15 0 225725265 11345952768 1018469 33554432000 4194304 4196468 140720655247472 139896849361112 139896438559994 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24445] ppid=24388 vsize=11080032 memory=4073876 CPUtime=11.99 cores=1,3,5,7
/proc/24391/task/24445/stat : 24445 (java) S 24388 24391 21340 0 -1 1077944384 31523 12889 0 0 1110 82 4 3 20 0 15 0 225725266 11345952768 1018469 33554432000 4194304 4196468 140720655247472 139896881768720 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24446] ppid=24388 vsize=11080032 memory=4073876 CPUtime=11.9 cores=1,3,5,7
/proc/24391/task/24446/stat : 24446 (java) S 24388 24391 21340 0 -1 1077944384 24441 12889 0 0 1101 82 4 3 20 0 15 0 225725266 11345952768 1018469 33554432000 4194304 4196468 140720655247472 139896752417168 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24447] ppid=24388 vsize=11080032 memory=4073812 CPUtime=11.89 cores=1,3,5,7
/proc/24391/task/24447/stat : 24447 (java) S 24388 24391 21340 0 -1 1077944384 21761 12889 0 0 1102 80 4 3 20 0 15 0 225725266 11345952768 1018469 33554432000 4194304 4196468 140720655247472 139896751364624 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24448] ppid=24388 vsize=11080032 memory=4073836 CPUtime=11.93 cores=1,3,5,7
/proc/24391/task/24448/stat : 24448 (java) S 24388 24391 21340 0 -1 1077944384 20723 12889 0 0 1104 82 4 3 20 0 15 0 225725266 11345952768 1018469 33554432000 4194304 4196468 140720655247472 139896750312080 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24449] ppid=24388 vsize=11080032 memory=4073836 CPUtime=0.42 cores=1,3,5,7
/proc/24391/task/24449/stat : 24449 (java) S 24388 24391 21340 0 -1 1077944384 34235 12889 0 0 30 5 4 3 20 0 15 0 225725267 11345952768 1018469 33554432000 4194304 4196468 140720655247472 139896303401456 139896877537922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24450] ppid=24388 vsize=11080032 memory=4073876 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24450/stat : 24450 (java) S 24388 24391 21340 0 -1 1077944384 23 12889 0 0 0 0 4 3 20 0 15 0 225725267 11345952768 1018469 33554432000 4194304 4196468 140720655247472 139895741867552 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24451] ppid=24388 vsize=11080032 memory=4073812 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24451/stat : 24451 (java) S 24388 24391 21340 0 -1 1077944384 29 12889 0 0 0 0 4 3 20 0 15 0 225725268 11345952768 1018469 33554432000 4194304 4196468 140720655247472 139895540540928 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24452] ppid=24388 vsize=11080032 memory=1924 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24452/stat : 24452 (java) S 24388 24391 21340 0 -1 1077944384 3 12889 0 0 0 0 4 3 20 0 15 0 225725270 11345952768 1018469 33554432000 4194304 4196468 140720655247472 139895233141456 139896877545371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24453] ppid=24388 vsize=11080032 memory=4073876 CPUtime=8.76 cores=1,3,5,7
/proc/24391/task/24453/stat : 24453 (java) S 24388 24391 21340 0 -1 1077944384 87583 12889 0 0 860 9 4 3 20 0 15 0 225725270 11345952768 1018469 33554432000 4194304 4196468 140720655247472 139896302348272 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24454] ppid=24388 vsize=11080032 memory=508 CPUtime=8.32 cores=1,3,5,7
/proc/24391/task/24454/stat : 24454 (java) S 24388 24391 21340 0 -1 1077944384 69156 12889 0 0 817 8 4 3 20 0 15 0 225725270 11345952768 1018469 33554432000 4194304 4196468 140720655247472 139896301295728 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24455] ppid=24388 vsize=11080032 memory=61488 CPUtime=2.84 cores=1,3,5,7
/proc/24391/task/24455/stat : 24455 (java) S 24388 24391 21340 0 -1 1077944384 55049 12889 0 0 271 6 4 3 20 0 15 0 225725270 11345952768 1018469 33554432000 4194304 4196468 140720655247472 139896300243184 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24456] ppid=24388 vsize=11080032 memory=4073876 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24456/stat : 24456 (java) S 24388 24391 21340 0 -1 1077944384 3 12889 0 0 0 0 4 3 20 0 15 0 225725271 11345952768 1018469 33554432000 4194304 4196468 140720655247472 139894802344544 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24457] ppid=24388 vsize=11080032 memory=4073876 CPUtime=1.2 cores=1,3,5,7
/proc/24391/task/24457/stat : 24457 (java) S 24388 24391 21340 0 -1 1077944384 3185 12889 0 0 50 63 4 3 20 0 15 0 225725271 11345952768 1018469 33554432000 4194304 4196468 140720655247472 139896299191088 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
Current children cumulated CPU time: 2378.64 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 4073876 KiB
[startup+2382.3 s]
/proc/loadavg: 1.93 1.85 1.76 3/215 24554
/proc/meminfo: memFree=7521480/32770624 swapFree=67108404/67108860
[pid=24391] ppid=24388 vsize=11080032 memory=4100616 CPUtime=2439.15 cores=1,3,5,7
/proc/24391/stat : 24391 (java) S 24388 24391 21340 0 -1 1077944320 554019 12889 0 0 243445 463 4 3 20 0 15 0 225725256 11345952768 1025154 33554432000 4194304 4196468 140720655247472 140720655230016 139896877526775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
/proc/24391/statm: 2770008 1025154 3532 1 0 2731661 0
[pid=24391/tid=24444] ppid=24388 vsize=11080032 memory=4100616 CPUtime=2369.76 cores=1,3,5,7
/proc/24391/task/24444/stat : 24444 (java) R 24388 24391 21340 0 -1 4202560 197437 12889 0 0 236918 51 4 3 20 0 15 0 225725265 11345952768 1025154 33554432000 4194304 4196468 140720655247472 139896849361112 139896434314298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24445] ppid=24388 vsize=11080032 memory=4100616 CPUtime=12.14 cores=1,3,5,7
/proc/24391/task/24445/stat : 24445 (java) S 24388 24391 21340 0 -1 1077944384 33504 12889 0 0 1124 83 4 3 20 0 15 0 225725266 11345952768 1025154 33554432000 4194304 4196468 140720655247472 139896881768720 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24446] ppid=24388 vsize=11080032 memory=4100520 CPUtime=12.06 cores=1,3,5,7
/proc/24391/task/24446/stat : 24446 (java) S 24388 24391 21340 0 -1 1077944384 25183 12889 0 0 1116 83 4 3 20 0 15 0 225725266 11345952768 1025154 33554432000 4194304 4196468 140720655247472 139896752417168 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24447] ppid=24388 vsize=11080032 memory=4073884 CPUtime=12.06 cores=1,3,5,7
/proc/24391/task/24447/stat : 24447 (java) S 24388 24391 21340 0 -1 1077944384 21913 12889 0 0 1117 82 4 3 20 0 15 0 225725266 11345952768 1025154 33554432000 4194304 4196468 140720655247472 139896751364624 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24448] ppid=24388 vsize=11080032 memory=4100616 CPUtime=12.07 cores=1,3,5,7
/proc/24391/task/24448/stat : 24448 (java) S 24388 24391 21340 0 -1 1077944384 22424 12889 0 0 1117 83 4 3 20 0 15 0 225725266 11345952768 1025154 33554432000 4194304 4196468 140720655247472 139896750312080 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24449] ppid=24388 vsize=11080032 memory=4100616 CPUtime=0.42 cores=1,3,5,7
/proc/24391/task/24449/stat : 24449 (java) S 24388 24391 21340 0 -1 1077944384 34766 12889 0 0 30 5 4 3 20 0 15 0 225725267 11345952768 1025154 33554432000 4194304 4196468 140720655247472 139896303401456 139896877537922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24450] ppid=24388 vsize=11080032 memory=4100616 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24450/stat : 24450 (java) S 24388 24391 21340 0 -1 1077944384 23 12889 0 0 0 0 4 3 20 0 15 0 225725267 11345952768 1025154 33554432000 4194304 4196468 140720655247472 139895741867552 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24451] ppid=24388 vsize=11080032 memory=7882822448065308775 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24451/stat : 24451 (java) S 24388 24391 21340 0 -1 1077944384 29 12889 0 0 0 0 4 3 20 0 15 0 225725268 11345952768 1025154 33554432000 4194304 4196468 140720655247472 139895540540928 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24452] ppid=24388 vsize=11080032 memory=4100616 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24452/stat : 24452 (java) S 24388 24391 21340 0 -1 1077944384 3 12889 0 0 0 0 4 3 20 0 15 0 225725270 11345952768 1025154 33554432000 4194304 4196468 140720655247472 139895233141456 139896877545371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24453] ppid=24388 vsize=11080032 memory=4100588 CPUtime=8.76 cores=1,3,5,7
/proc/24391/task/24453/stat : 24453 (java) S 24388 24391 21340 0 -1 1077944384 87587 12889 0 0 860 9 4 3 20 0 15 0 225725270 11345952768 1025154 33554432000 4194304 4196468 140720655247472 139896302348272 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24454] ppid=24388 vsize=11080032 memory=4100520 CPUtime=8.35 cores=1,3,5,7
/proc/24391/task/24454/stat : 24454 (java) S 24388 24391 21340 0 -1 1077944384 70633 12889 0 0 820 8 4 3 20 0 15 0 225725270 11345952768 1025154 33554432000 4194304 4196468 140720655247472 139896301295728 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24455] ppid=24388 vsize=11080032 memory=4073884 CPUtime=2.84 cores=1,3,5,7
/proc/24391/task/24455/stat : 24455 (java) S 24388 24391 21340 0 -1 1077944384 55114 12889 0 0 271 6 4 3 20 0 15 0 225725270 11345952768 1025154 33554432000 4194304 4196468 140720655247472 139896300243184 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24456] ppid=24388 vsize=11080032 memory=4073876 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24456/stat : 24456 (java) S 24388 24391 21340 0 -1 1077944384 3 12889 0 0 0 0 4 3 20 0 15 0 225725271 11345952768 1025154 33554432000 4194304 4196468 140720655247472 139894802344544 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24457] ppid=24388 vsize=11080032 memory=4100616 CPUtime=1.23 cores=1,3,5,7
/proc/24391/task/24457/stat : 24457 (java) S 24388 24391 21340 0 -1 1077944384 3209 12889 0 0 51 65 4 3 20 0 15 0 225725271 11345952768 1025154 33554432000 4194304 4196468 140720655247472 139896299191088 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
Current children cumulated CPU time: 2439.15 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 4100616 KiB
[startup+2442.3 s]
/proc/loadavg: 2.12 1.93 1.80 3/215 24685
/proc/meminfo: memFree=7498084/32770624 swapFree=67108404/67108860
[pid=24391] ppid=24388 vsize=11080032 memory=4145732 CPUtime=2499.63 cores=1,3,5,7
/proc/24391/stat : 24391 (java) S 24388 24391 21340 0 -1 1077944320 564009 12889 0 0 249485 471 4 3 20 0 15 0 225725256 11345952768 1036433 33554432000 4194304 4196468 140720655247472 140720655230016 139896877526775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
/proc/24391/statm: 2770008 1036433 3532 1 0 2731661 0
[pid=24391/tid=24444] ppid=24388 vsize=11080032 memory=4145732 CPUtime=2429.62 cores=1,3,5,7
/proc/24391/task/24444/stat : 24444 (java) R 24388 24391 21340 0 -1 4202560 201755 12889 0 0 242903 52 4 3 20 0 15 0 225725265 11345952768 1036433 33554432000 4194304 4196468 140720655247472 139896849361112 139896435470442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24445] ppid=24388 vsize=11080032 memory=4145712 CPUtime=12.27 cores=1,3,5,7
/proc/24391/task/24445/stat : 24445 (java) S 24388 24391 21340 0 -1 1077944384 34544 12889 0 0 1137 83 4 3 20 0 15 0 225725266 11345952768 1036433 33554432000 4194304 4196468 140720655247472 139896881768720 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24446] ppid=24388 vsize=11080032 memory=4145712 CPUtime=12.19 cores=1,3,5,7
/proc/24391/task/24446/stat : 24446 (java) S 24388 24391 21340 0 -1 1077944384 25247 12889 0 0 1128 84 4 3 20 0 15 0 225725266 11345952768 1036433 33554432000 4194304 4196468 140720655247472 139896752417168 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24447] ppid=24388 vsize=11080032 memory=4145712 CPUtime=12.19 cores=1,3,5,7
/proc/24391/task/24447/stat : 24447 (java) S 24388 24391 21340 0 -1 1077944384 22110 12889 0 0 1129 83 4 3 20 0 15 0 225725266 11345952768 1036433 33554432000 4194304 4196468 140720655247472 139896751364624 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24448] ppid=24388 vsize=11080032 memory=4145712 CPUtime=12.2 cores=1,3,5,7
/proc/24391/task/24448/stat : 24448 (java) S 24388 24391 21340 0 -1 1077944384 22536 12889 0 0 1129 84 4 3 20 0 15 0 225725266 11345952768 1036433 33554432000 4194304 4196468 140720655247472 139896750312080 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24449] ppid=24388 vsize=11080032 memory=1160 CPUtime=0.43 cores=1,3,5,7
/proc/24391/task/24449/stat : 24449 (java) S 24388 24391 21340 0 -1 1077944384 34828 12889 0 0 31 5 4 3 20 0 15 0 225725267 11345952768 1036433 33554432000 4194304 4196468 140720655247472 139896303401456 139896877537922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24450] ppid=24388 vsize=11080032 memory=4145732 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24450/stat : 24450 (java) S 24388 24391 21340 0 -1 1077944384 23 12889 0 0 0 0 4 3 20 0 15 0 225725267 11345952768 1036433 33554432000 4194304 4196468 140720655247472 139895741867552 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24451] ppid=24388 vsize=11080032 memory=4145732 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24451/stat : 24451 (java) S 24388 24391 21340 0 -1 1077944384 29 12889 0 0 0 0 4 3 20 0 15 0 225725268 11345952768 1036433 33554432000 4194304 4196468 140720655247472 139895540540928 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24452] ppid=24388 vsize=11080032 memory=4145732 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24452/stat : 24452 (java) S 24388 24391 21340 0 -1 1077944384 3 12889 0 0 0 0 4 3 20 0 15 0 225725270 11345952768 1036433 33554432000 4194304 4196468 140720655247472 139895233141456 139896877545371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24453] ppid=24388 vsize=11080032 memory=4145712 CPUtime=8.78 cores=1,3,5,7
/proc/24391/task/24453/stat : 24453 (java) S 24388 24391 21340 0 -1 1077944384 89851 12889 0 0 862 9 4 3 20 0 15 0 225725270 11345952768 1036433 33554432000 4194304 4196468 140720655247472 139896302348272 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24454] ppid=24388 vsize=11080032 memory=2148 CPUtime=8.35 cores=1,3,5,7
/proc/24391/task/24454/stat : 24454 (java) S 24388 24391 21340 0 -1 1077944384 71053 12889 0 0 820 8 4 3 20 0 15 0 225725270 11345952768 1036433 33554432000 4194304 4196468 140720655247472 139896301295728 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24455] ppid=24388 vsize=11080032 memory=4145732 CPUtime=2.85 cores=1,3,5,7
/proc/24391/task/24455/stat : 24455 (java) S 24388 24391 21340 0 -1 1077944384 56594 12889 0 0 272 6 4 3 20 0 15 0 225725270 11345952768 1036433 33554432000 4194304 4196468 140720655247472 139896300243184 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24456] ppid=24388 vsize=11080032 memory=4145732 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24456/stat : 24456 (java) S 24388 24391 21340 0 -1 1077944384 3 12889 0 0 0 0 4 3 20 0 15 0 225725271 11345952768 1036433 33554432000 4194304 4196468 140720655247472 139894802344544 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24457] ppid=24388 vsize=11080032 memory=4145712 CPUtime=1.26 cores=1,3,5,7
/proc/24391/task/24457/stat : 24457 (java) S 24388 24391 21340 0 -1 1077944384 3242 12889 0 0 52 67 4 3 20 0 15 0 225725271 11345952768 1036433 33554432000 4194304 4196468 140720655247472 139896299191088 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
Current children cumulated CPU time: 2499.63 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 4145732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2462.6 s]
/proc/loadavg: 2.02 1.92 1.79 3/215 24687
/proc/meminfo: memFree=7528944/32770624 swapFree=67108404/67108860
[pid=24391] ppid=24388 vsize=11080032 memory=4145736 CPUtime=2520.02 cores=1,3,5,7
/proc/24391/stat : 24391 (java) S 24388 24391 21340 0 -1 1077944320 569735 12889 0 0 251523 472 4 3 20 0 15 0 225725256 11345952768 1036434 33554432000 4194304 4196468 140720655247472 140720655230016 139896877526775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
/proc/24391/statm: 2770008 1036434 3532 1 0 2731661 0
[pid=24391/tid=24444] ppid=24388 vsize=11080032 memory=876 CPUtime=2449.89 cores=1,3,5,7
/proc/24391/task/24444/stat : 24444 (java) R 24388 24391 21340 0 -1 4202560 203269 12889 0 0 244929 53 4 3 20 0 15 0 225725265 11345952768 1036434 33554432000 4194304 4196468 140720655247472 139896849361720 139896434314594 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24445] ppid=24388 vsize=11080032 memory=1924 CPUtime=12.3 cores=1,3,5,7
/proc/24391/task/24445/stat : 24445 (java) S 24388 24391 21340 0 -1 1077944384 34763 12889 0 0 1139 84 4 3 20 0 15 0 225725266 11345952768 1036434 33554432000 4194304 4196468 140720655247472 139896881768720 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24446] ppid=24388 vsize=11080032 memory=14644 CPUtime=12.22 cores=1,3,5,7
/proc/24391/task/24446/stat : 24446 (java) S 24388 24391 21340 0 -1 1077944384 25256 12889 0 0 1131 84 4 3 20 0 15 0 225725266 11345952768 1036434 33554432000 4194304 4196468 140720655247472 139896752417168 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24447] ppid=24388 vsize=11080032 memory=1720 CPUtime=12.21 cores=1,3,5,7
/proc/24391/task/24447/stat : 24447 (java) S 24388 24391 21340 0 -1 1077944384 23546 12889 0 0 1131 83 4 3 20 0 15 0 225725266 11345952768 1036434 33554432000 4194304 4196468 140720655247472 139896751364624 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24448] ppid=24388 vsize=11080032 memory=508 CPUtime=12.22 cores=1,3,5,7
/proc/24391/task/24448/stat : 24448 (java) S 24388 24391 21340 0 -1 1077944384 22645 12889 0 0 1131 84 4 3 20 0 15 0 225725266 11345952768 1036434 33554432000 4194304 4196468 140720655247472 139896750312080 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24449] ppid=24388 vsize=11080032 memory=6791534058613427641 CPUtime=0.43 cores=1,3,5,7
/proc/24391/task/24449/stat : 24449 (java) S 24388 24391 21340 0 -1 1077944384 35053 12889 0 0 31 5 4 3 20 0 15 0 225725267 11345952768 1036434 33554432000 4194304 4196468 140720655247472 139896303401456 139896877537922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24450] ppid=24388 vsize=11080032 memory=4145736 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24450/stat : 24450 (java) S 24388 24391 21340 0 -1 1077944384 23 12889 0 0 0 0 4 3 20 0 15 0 225725267 11345952768 1036434 33554432000 4194304 4196468 140720655247472 139895741867552 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24451] ppid=24388 vsize=11080032 memory=1784 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24451/stat : 24451 (java) S 24388 24391 21340 0 -1 1077944384 29 12889 0 0 0 0 4 3 20 0 15 0 225725268 11345952768 1036434 33554432000 4194304 4196468 140720655247472 139895540540928 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24452] ppid=24388 vsize=11080032 memory=1616 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24452/stat : 24452 (java) S 24388 24391 21340 0 -1 1077944384 3 12889 0 0 0 0 4 3 20 0 15 0 225725270 11345952768 1036434 33554432000 4194304 4196468 140720655247472 139895233141456 139896877545371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24453] ppid=24388 vsize=11080032 memory=756 CPUtime=8.78 cores=1,3,5,7
/proc/24391/task/24453/stat : 24453 (java) S 24388 24391 21340 0 -1 1077944384 89854 12889 0 0 862 9 4 3 20 0 15 0 225725270 11345952768 1036434 33554432000 4194304 4196468 140720655247472 139896302348272 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24454] ppid=24388 vsize=11080032 memory=3684 CPUtime=8.36 cores=1,3,5,7
/proc/24391/task/24454/stat : 24454 (java) S 24388 24391 21340 0 -1 1077944384 72771 12889 0 0 821 8 4 3 20 0 15 0 225725270 11345952768 1036434 33554432000 4194304 4196468 140720655247472 139896301295728 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24455] ppid=24388 vsize=11080032 memory=61488 CPUtime=2.85 cores=1,3,5,7
/proc/24391/task/24455/stat : 24455 (java) S 24388 24391 21340 0 -1 1077944384 57084 12889 0 0 272 6 4 3 20 0 15 0 225725270 11345952768 1036434 33554432000 4194304 4196468 140720655247472 139896300243184 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24456] ppid=24388 vsize=11080032 memory=2148 CPUtime=0.07 cores=1,3,5,7
/proc/24391/task/24456/stat : 24456 (java) S 24388 24391 21340 0 -1 1077944384 3 12889 0 0 0 0 4 3 20 0 15 0 225725271 11345952768 1036434 33554432000 4194304 4196468 140720655247472 139894802344544 139896877536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
[pid=24391/tid=24457] ppid=24388 vsize=11080032 memory=4145736 CPUtime=1.27 cores=1,3,5,7
/proc/24391/task/24457/stat : 24457 (java) S 24388 24391 21340 0 -1 1077944384 3245 12889 0 0 53 67 4 3 20 0 15 0 225725271 11345952768 1036434 33554432000 4194304 4196468 140720655247472 139896299191088 139896877537922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33411072 140720655256163 140720655258972 140720655258972 140720655261647 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 4145736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2462.66 s]
# the end of solver process 24391 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.3 s, system=4.7929 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2462.66
CPU time (s): 2520.1
CPU user time (s): 2515.3
CPU system time (s): 4.7929
CPU usage (%): 102.332
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 4145740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.3
system time used= 4.7929
maximum resident set size= 4148148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 585317
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66210
involuntary context switches= 1711
# summary of solver processes directly reported to runsolver:
# pid: 24391
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.3
# total CPU system time (s): 4.7929
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2259 second user time and 21.5503 second system time
The end
Begin job on node148 at 2018-08-12 15:47:01 IDJOB=4304404 IDBENCH=141250 IDSOLVER=2781 FILE ID=node148/4304404-1534081621 RUNJOBID= node148-1534062012-21372 PBS_JOBID= 21036979 Free space on /tmp= 33960 MiB SOLVER NAME= Concrete 3.9.2-SuperNG BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko64_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304404-1534081621/watcher-4304404-1534081621 -o /tmp/evaluation-result-4304404-1534081621/solver-4304404-1534081621 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534062012-21372 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1109445728 -superng HOME/instance-4304404-1534081621.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0f1e7a7a7866c79e3b2a53c7bc7dd539 RANDOM SEED=1109445728 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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: 11550588 kB MemAvailable: 31055648 kB Buffers: 247296 kB Cached: 19214304 kB SwapCached: 352 kB Active: 9736152 kB Inactive: 10627472 kB Active(anon): 854680 kB Inactive(anon): 99500 kB Active(file): 8881472 kB Inactive(file): 10527972 kB Unevictable: 7340 kB Mlocked: 7340 kB SwapTotal: 67108860 kB SwapFree: 67108404 kB Dirty: 26428 kB Writeback: 0 kB AnonPages: 908496 kB Mapped: 67244 kB Shmem: 49592 kB Slab: 552328 kB SReclaimable: 524076 kB SUnreclaim: 28252 kB KernelStack: 3488 kB PageTables: 7168 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2086620 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 675840 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 33932 MiB End job on node148 at 2018-08-12 16:28:04