Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.8 2018-06-13 | SAT (TO) | 4 | 2520.08 | 2455.85 |
| Name | TemplateDesign/ TemplateDesign-m1s-herbs_c18.xml |
| MD5SUM | f93f81431bc4a45d4c2655bc4c8b27b0 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 163.517 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1860 |
| Number of constraints | 990 |
| Number of domains | 11 |
| Minimum domain size | 2 |
| Maximum domain size | 308 |
| Distribution of domain sizes | [{"size":2,"count":30},{"size":43,"count":900},{"size":66,"count":60},{"size":77,"count":210},{"size":88,"count":120},{"size":99,"count":180},{"size":110,"count":120},{"size":165,"count":30},{"size":253,"count":120},{"size":281,"count":30},{"size":308,"count":60}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":2,"count":1830},{"degree":31,"count":30}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":2,"count":30},{"arity":3,"count":900},{"arity":30,"count":60}] |
| Number of extensional constraints | 30 |
| Number of intensional constraints | 900 |
| Distribution of constraint types | [{"type":"extension","count":30},{"type":"intension","count":900},{"type":"sum","count":60}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.98/0.74 c Concrete v3.8.1528841891564 running 107.76/90.55 o 6 108.07/90.69 o 5 108.29/90.78 o 4 2520.01/2455.81 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 2520.01/2455.81 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24) 2520.01/2455.81 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53) 2520.01/2455.81 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126) 2520.01/2455.81 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142) 2520.01/2455.81 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5) 2520.01/2455.81 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126) 2520.01/2455.81 at concrete.IntervalDomain.filter(IntervalDomain.scala:81) 2520.01/2455.81 at concrete.IntervalDomain.filter(IntervalDomain.scala:7) 2520.01/2455.81 at concrete.heuristic.value.BestCost.select(BestCost.scala:53) 2520.01/2455.81 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102) 2520.01/2455.81 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102) 2520.01/2455.81 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.01/2455.81 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102) 2520.01/2455.81 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102) 2520.01/2455.81 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.01/2455.81 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102) 2520.01/2455.81 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108) 2520.01/2455.81 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 2520.01/2455.81 at scala.Option.map(Option.scala:146) 2520.01/2455.81 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 2520.01/2455.81 at concrete.MAC.mac(MAC.scala:203) 2520.01/2455.81 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.01/2455.81 at scala.util.Try$.apply(Try.scala:209) 2520.01/2455.81 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.01/2455.81 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.01/2455.81 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.01/2455.81 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.01/2455.81 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.01/2455.81 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.01/2455.81 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.01/2455.81 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.01/2455.81 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.01/2455.81 at concrete.MAC.oneRun(MAC.scala:253) 2520.01/2455.81 at concrete.MAC.nextSolution(MAC.scala:272) 2520.01/2455.81 at concrete.MAC.nextSolution(MAC.scala:355) 2520.01/2455.81 at concrete.Solver.hasNext(Solver.scala:166) 2520.01/2455.81 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.01/2455.81 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.01/2455.81 at concrete.Solver.foreach(Solver.scala:68) 2520.01/2455.81 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.01/2455.81 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.01/2455.81 at scala.util.Success.map(Try.scala:209) 2520.01/2455.81 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.01/2455.81 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.01/2455.81 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.01/2455.81 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.01/2455.81 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.01/2455.81 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.01/2455.81 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.01/2455.81 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.01/2455.81 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.01/2455.81 at scala.collection.immutable.List.foreach(List.scala:389) 2520.01/2455.81 at scala.App.main(App.scala:76) 2520.01/2455.81 at scala.App.main$(App.scala:74) 2520.01/2455.81 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.01/2455.81 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.01/2455.82 v <instantiation cost="4"> 2520.01/2455.82 v <list> 2520.01/2455.82 v d[0][0] 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[1][0] d[1][1] 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[2][0] d[2][1] d[2][2] 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[3][0] d[3][1] d[3][2] d[3][3] 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[4][0] d[4][1] d[4][2] d[4][3] d[4][4] 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[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] 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[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] 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[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] 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[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] 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[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] 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[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] 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[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] 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[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] 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[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] 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[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] 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[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] 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[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] 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[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] 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[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] 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[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] 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[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] 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[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] 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[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] npt[0] npt[1] npt[2] npt[3] npt[4] npt[5] npt[6] npt[7] npt[8] npt[9] npt[10] npt[11] npt[12] npt[13] npt[14] npt[15] npt[16] npt[17] npt[18] npt[19] npt[20] npt[21] npt[22] npt[23] npt[24] npt[25] npt[26] npt[27] npt[28] npt[29] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] nptv[0][0] nptv[0][1] nptv[0][2] nptv[0][3] nptv[0][4] nptv[0][5] nptv[0][6] nptv[0][7] nptv[0][8] nptv[0][9] nptv[0][10] nptv[0][11] nptv[0][12] nptv[0][13] nptv[0][14] nptv[0][15] nptv[0][16] nptv[0][17] nptv[0][18] nptv[0][19] nptv[0][20] nptv[0][21] nptv[0][22] nptv[0][23] nptv[0][24] nptv[0][25] nptv[0][26] nptv[0][27] nptv[0][28] nptv[0][29] nptv[1][0] nptv[1][1] nptv[1][2] nptv[1][3] nptv[1][4] nptv[1][5] nptv[1][6] nptv[1][7] nptv[1][8] nptv[1][9] nptv[1][10] nptv[1][11] nptv[1][12] nptv[1][13] nptv[1][14] nptv[1][15] nptv[1][16] nptv[1][17] nptv[1][18] nptv[1][19] nptv[1][20] nptv[1][21] nptv[1][22] nptv[1][23] nptv[1][24] nptv[1][25] nptv[1][26] nptv[1][27] nptv[1][28] nptv[1][29] nptv[2][0] nptv[2][1] nptv[2][2] nptv[2][3] nptv[2][4] nptv[2][5] nptv[2][6] nptv[2][7] nptv[2][8] nptv[2][9] nptv[2][10] nptv[2][11] nptv[2][12] nptv[2][13] nptv[2][14] nptv[2][15] nptv[2][16] nptv[2][17] nptv[2][18] nptv[2][19] nptv[2][20] nptv[2][21] nptv[2][22] nptv[2][23] nptv[2][24] nptv[2][25] nptv[2][26] nptv[2][27] nptv[2][28] nptv[2][29] nptv[3][0] nptv[3][1] nptv[3][2] nptv[3][3] nptv[3][4] nptv[3][5] nptv[3][6] nptv[3][7] nptv[3][8] nptv[3][9] nptv[3][10] nptv[3][11] nptv[3][12] nptv[3][13] nptv[3][14] nptv[3][15] nptv[3][16] nptv[3][17] nptv[3][18] nptv[3][19] nptv[3][20] nptv[3][21] nptv[3][22] nptv[3][23] nptv[3][24] nptv[3][25] nptv[3][26] nptv[3][27] nptv[3][28] nptv[3][29] nptv[4][0] nptv[4][1] nptv[4][2] nptv[4][3] nptv[4][4] nptv[4][5] nptv[4][6] nptv[4][7] nptv[4][8] nptv[4][9] nptv[4][10] nptv[4][11] nptv[4][12] nptv[4][13] nptv[4][14] nptv[4][15] nptv[4][16] nptv[4][17] nptv[4][18] nptv[4][19] nptv[4][20] nptv[4][21] nptv[4][22] nptv[4][23] nptv[4][24] nptv[4][25] nptv[4][26] nptv[4][27] nptv[4][28] nptv[4][29] nptv[5][0] nptv[5][1] nptv[5][2] nptv[5][3] nptv[5][4] nptv[5][5] nptv[5][6] nptv[5][7] nptv[5][8] nptv[5][9] nptv[5][10] nptv[5][11] nptv[5][12] nptv[5][13] nptv[5][14] nptv[5][15] nptv[5][16] nptv[5][17] nptv[5][18] nptv[5][19] nptv[5][20] nptv[5][21] nptv[5][22] nptv[5][23] nptv[5][24] nptv[5][25] nptv[5][26] nptv[5][27] nptv[5][28] nptv[5][29] nptv[6][0] nptv[6][1] nptv[6][2] nptv[6][3] nptv[6][4] nptv[6][5] nptv[6][6] nptv[6][7] nptv[6][8] nptv[6][9] nptv[6][10] nptv[6][11] nptv[6][12] nptv[6][13] nptv[6][14] nptv[6][15] nptv[6][16] nptv[6][17] nptv[6][18] nptv[6][19] nptv[6][20] nptv[6][21] nptv[6][22] nptv[6][23] nptv[6][24] nptv[6][25] nptv[6][26] nptv[6][27] nptv[6][28] nptv[6][29] nptv[7][0] nptv[7][1] nptv[7][2] nptv[7][3] nptv[7][4] nptv[7][5] nptv[7][6] nptv[7][7] nptv[7][8] nptv[7][9] nptv[7][10] nptv[7][11] nptv[7][12] nptv[7][13] nptv[7][14] nptv[7][15] nptv[7][16] nptv[7][17] nptv[7][18] nptv[7][19] nptv[7][20] nptv[7][21] nptv[7][22] nptv[7][23] nptv[7][24] nptv[7][25] nptv[7][26] nptv[7][27] nptv[7][28] nptv[7][29] nptv[8][0] nptv[8][1] nptv[8][2] nptv[8][3] nptv[8][4] nptv[8][5] nptv[8][6] nptv[8][7] nptv[8][8] nptv[8][9] nptv[8][10] nptv[8][11] nptv[8][12] nptv[8][13] nptv[8][14] nptv[8][15] nptv[8][16] nptv[8][17] nptv[8][18] nptv[8][19] nptv[8][20] nptv[8][21] nptv[8][22] nptv[8][23] nptv[8][24] nptv[8][25] nptv[8][26] nptv[8][27] nptv[8][28] nptv[8][29] nptv[9][0] nptv[9][1] nptv[9][2] nptv[9][3] nptv[9][4] nptv[9][5] nptv[9][6] nptv[9][7] nptv[9][8] nptv[9][9] nptv[9][10] nptv[9][11] nptv[9][12] nptv[9][13] nptv[9][14] nptv[9][15] nptv[9][16] nptv[9][17] nptv[9][18] nptv[9][19] nptv[9][20] nptv[9][21] nptv[9][22] nptv[9][23] nptv[9][24] nptv[9][25] nptv[9][26] nptv[9][27] nptv[9][28] nptv[9][29] nptv[10][0] nptv[10][1] nptv[10][2] nptv[10][3] nptv[10][4] nptv[10][5] nptv[10][6] nptv[10][7] nptv[10][8] nptv[10][9] nptv[10][10] nptv[10][11] nptv[10][12] nptv[10][13] nptv[10][14] nptv[10][15] nptv[10][16] nptv[10][17] nptv[10][18] nptv[10][19] nptv[10][20] nptv[10][21] nptv[10][22] nptv[10][23] nptv[10][24] nptv[10][25] nptv[10][26] nptv[10][27] nptv[10][28] nptv[10][29] nptv[11][0] nptv[11][1] nptv[11][2] nptv[11][3] nptv[11][4] nptv[11][5] nptv[11][6] nptv[11][7] nptv[11][8] nptv[11][9] nptv[11][10] nptv[11][11] nptv[11][12] nptv[11][13] nptv[11][14] nptv[11][15] nptv[11][16] nptv[11][17] nptv[11][18] nptv[11][19] nptv[11][20] nptv[11][21] nptv[11][22] nptv[11][23] nptv[11][24] nptv[11][25] nptv[11][26] nptv[11][27] nptv[11][28] nptv[11][29] nptv[12][0] nptv[12][1] nptv[12][2] nptv[12][3] nptv[12][4] nptv[12][5] nptv[12][6] nptv[12][7] nptv[12][8] nptv[12][9] nptv[12][10] nptv[12][11] nptv[12][12] nptv[12][13] nptv[12][14] nptv[12][15] nptv[12][16] nptv[12][17] nptv[12][18] nptv[12][19] nptv[12][20] nptv[12][21] nptv[12][22] nptv[12][23] nptv[12][24] nptv[12][25] nptv[12][26] nptv[12][27] nptv[12][28] nptv[12][29] nptv[13][0] nptv[13][1] nptv[13][2] nptv[13][3] nptv[13][4] nptv[13][5] nptv[13][6] nptv[13][7] nptv[13][8] nptv[13][9] nptv[13][10] nptv[13][11] nptv[13][12] nptv[13][13] nptv[13][14] nptv[13][15] nptv[13][16] nptv[13][17] nptv[13][18] nptv[13][19] nptv[13][20] nptv[13][21] nptv[13][22] nptv[13][23] nptv[13][24] nptv[13][25] nptv[13][26] nptv[13][27] nptv[13][28] nptv[13][29] nptv[14][0] nptv[14][1] nptv[14][2] nptv[14][3] nptv[14][4] nptv[14][5] nptv[14][6] nptv[14][7] nptv[14][8] nptv[14][9] nptv[14][10] nptv[14][11] nptv[14][12] nptv[14][13] nptv[14][14] nptv[14][15] nptv[14][16] nptv[14][17] nptv[14][18] nptv[14][19] nptv[14][20] nptv[14][21] nptv[14][22] nptv[14][23] nptv[14][24] nptv[14][25] nptv[14][26] nptv[14][27] nptv[14][28] nptv[14][29] nptv[15][0] nptv[15][1] nptv[15][2] nptv[15][3] nptv[15][4] nptv[15][5] nptv[15][6] nptv[15][7] nptv[15][8] nptv[15][9] nptv[15][10] nptv[15][11] nptv[15][12] nptv[15][13] nptv[15][14] nptv[15][15] nptv[15][16] nptv[15][17] nptv[15][18] nptv[15][19] nptv[15][20] nptv[15][21] nptv[15][22] nptv[15][23] nptv[15][24] nptv[15][25] nptv[15][26] nptv[15][27] nptv[15][28] nptv[15][29] nptv[16][0] nptv[16][1] nptv[16][2] nptv[16][3] nptv[16][4] nptv[16][5] nptv[16][6] nptv[16][7] nptv[16][8] nptv[16][9] nptv[16][10] nptv[16][11] nptv[16][12] nptv[16][13] nptv[16][14] nptv[16][15] nptv[16][16] nptv[16][17] nptv[16][18] nptv[16][19] nptv[16][20] nptv[16][21] nptv[16][22] nptv[16][23] nptv[16][24] nptv[16][25] nptv[16][26] nptv[16][27] nptv[16][28] nptv[16][29] nptv[17][0] nptv[17][1] nptv[17][2] nptv[17][3] nptv[17][4] nptv[17][5] nptv[17][6] nptv[17][7] nptv[17][8] nptv[17][9] nptv[17][10] nptv[17][11] nptv[17][12] nptv[17][13] nptv[17][14] nptv[17][15] nptv[17][16] nptv[17][17] nptv[17][18] nptv[17][19] nptv[17][20] nptv[17][21] nptv[17][22] nptv[17][23] nptv[17][24] nptv[17][25] nptv[17][26] nptv[17][27] nptv[17][28] nptv[17][29] nptv[18][0] nptv[18][1] nptv[18][2] nptv[18][3] nptv[18][4] nptv[18][5] nptv[18][6] nptv[18][7] nptv[18][8] nptv[18][9] nptv[18][10] nptv[18][11] nptv[18][12] nptv[18][13] nptv[18][14] nptv[18][15] nptv[18][16] nptv[18][17] nptv[18][18] nptv[18][19] nptv[18][20] nptv[18][21] nptv[18][22] nptv[18][23] nptv[18][24] nptv[18][25] nptv[18][26] nptv[18][27] nptv[18][28] nptv[18][29] nptv[19][0] nptv[19][1] nptv[19][2] nptv[19][3] nptv[19][4] nptv[19][5] nptv[19][6] nptv[19][7] nptv[19][8] nptv[19][9] nptv[19][10] nptv[19][11] nptv[19][12] nptv[19][13] nptv[19][14] nptv[19][15] nptv[19][16] nptv[19][17] nptv[19][18] nptv[19][19] nptv[19][20] nptv[19][21] nptv[19][22] nptv[19][23] nptv[19][24] nptv[19][25] nptv[19][26] nptv[19][27] nptv[19][28] nptv[19][29] nptv[20][0] nptv[20][1] nptv[20][2] nptv[20][3] nptv[20][4] nptv[20][5] nptv[20][6] nptv[20][7] nptv[20][8] nptv[20][9] nptv[20][10] nptv[20][11] nptv[20][12] nptv[20][13] nptv[20][14] nptv[20][15] nptv[20][16] nptv[20][17] nptv[20][18] nptv[20][19] nptv[20][20] nptv[20][21] nptv[20][22] nptv[20][23] nptv[20][24] nptv[20][25] nptv[20][26] nptv[20][27] nptv[20][28] nptv[20][29] nptv[21][0] nptv[21][1] nptv[21][2] nptv[21][3] nptv[21][4] nptv[21][5] nptv[21][6] nptv[21][7] nptv[21][8] nptv[21][9] nptv[21][10] nptv[21][11] nptv[21][12] nptv[21][13] nptv[21][14] nptv[21][15] nptv[21][16] nptv[21][17] nptv[21][18] nptv[21][19] nptv[21][20] nptv[21][21] nptv[21][22] nptv[21][23] nptv[21][24] nptv[21][25] nptv[21][26] nptv[21][27] nptv[21][28] nptv[21][29] nptv[22][0] nptv[22][1] nptv[22][2] nptv[22][3] nptv[22][4] nptv[22][5] nptv[22][6] nptv[22][7] nptv[22][8] nptv[22][9] nptv[22][10] nptv[22][11] nptv[22][12] nptv[22][13] nptv[22][14] nptv[22][15] nptv[22][16] nptv[22][17] nptv[22][18] nptv[22][19] nptv[22][20] nptv[22][21] nptv[22][22] nptv[22][23] nptv[22][24] nptv[22][25] nptv[22][26] nptv[22][27] nptv[22][28] nptv[22][29] nptv[23][0] nptv[23][1] nptv[23][2] nptv[23][3] nptv[23][4] nptv[23][5] nptv[23][6] nptv[23][7] nptv[23][8] nptv[23][9] nptv[23][10] nptv[23][11] nptv[23][12] nptv[23][13] nptv[23][14] nptv[23][15] nptv[23][16] nptv[23][17] nptv[23][18] nptv[23][19] nptv[23][20] nptv[23][21] nptv[23][22] nptv[23][23] nptv[23][24] nptv[23][25] nptv[23][26] nptv[23][27] nptv[23][28] nptv[23][29] nptv[24][0] nptv[24][1] nptv[24][2] nptv[24][3] nptv[24][4] nptv[24][5] nptv[24][6] nptv[24][7] nptv[24][8] nptv[24][9] nptv[24][10] nptv[24][11] nptv[24][12] nptv[24][13] nptv[24][14] nptv[24][15] nptv[24][16] nptv[24][17] nptv[24][18] nptv[24][19] nptv[24][20] nptv[24][21] nptv[24][22] nptv[24][23] nptv[24][24] nptv[24][25] nptv[24][26] nptv[24][27] nptv[24][28] nptv[24][29] nptv[25][0] nptv[25][1] nptv[25][2] nptv[25][3] nptv[25][4] nptv[25][5] nptv[25][6] nptv[25][7] nptv[25][8] nptv[25][9] nptv[25][10] nptv[25][11] nptv[25][12] nptv[25][13] nptv[25][14] nptv[25][15] nptv[25][16] nptv[25][17] nptv[25][18] nptv[25][19] nptv[25][20] nptv[25][21] nptv[25][22] nptv[25][23] nptv[25][24] nptv[25][25] nptv[25][26] nptv[25][27] nptv[25][28] nptv[25][29] nptv[26][0] nptv[26][1] nptv[26][2] nptv[26][3] nptv[26][4] nptv[26][5] nptv[26][6] nptv[26][7] nptv[26][8] nptv[26][9] nptv[26][10] nptv[26][11] nptv[26][12] nptv[26][13] nptv[26][14] nptv[26][15] nptv[26][16] nptv[26][17] nptv[26][18] nptv[26][19] nptv[26][20] nptv[26][21] nptv[26][22] nptv[26][23] nptv[26][24] nptv[26][25] nptv[26][26] nptv[26][27] nptv[26][28] nptv[26][29] nptv[27][0] nptv[27][1] nptv[27][2] nptv[27][3] nptv[27][4] nptv[27][5] nptv[27][6] nptv[27][7] nptv[27][8] nptv[27][9] nptv[27][10] nptv[27][11] nptv[27][12] nptv[27][13] nptv[27][14] nptv[27][15] nptv[27][16] nptv[27][17] nptv[27][18] nptv[27][19] nptv[27][20] nptv[27][21] nptv[27][22] nptv[27][23] nptv[27][24] nptv[27][25] nptv[27][26] nptv[27][27] nptv[27][28] nptv[27][29] nptv[28][0] nptv[28][1] nptv[28][2] nptv[28][3] nptv[28][4] nptv[28][5] nptv[28][6] nptv[28][7] nptv[28][8] nptv[28][9] nptv[28][10] nptv[28][11] nptv[28][12] nptv[28][13] nptv[28][14] nptv[28][15] nptv[28][16] nptv[28][17] nptv[28][18] nptv[28][19] nptv[28][20] nptv[28][21] nptv[28][22] nptv[28][23] nptv[28][24] nptv[28][25] nptv[28][26] nptv[28][27] nptv[28][28] nptv[28][29] nptv[29][0] nptv[29][1] nptv[29][2] nptv[29][3] nptv[29][4] nptv[29][5] nptv[29][6] nptv[29][7] nptv[29][8] nptv[29][9] nptv[29][10] nptv[29][11] nptv[29][12] nptv[29][13] nptv[29][14] nptv[29][15] nptv[29][16] nptv[29][17] nptv[29][18] nptv[29][19] nptv[29][20] nptv[29][21] nptv[29][22] nptv[29][23] nptv[29][24] nptv[29][25] nptv[29][26] nptv[29][27] nptv[29][28] nptv[29][29] 2520.01/2455.82 v </list> 2520.01/2455.82 v <values> 2520.01/2455.82 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 5 2 5 2 1 1 0 1 4 1 1 1 1 1 1 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 5 4 4 4 4 2 1 1 1 1 1 1 0 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 19 0 0 0 57 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 294 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 19 38 38 38 38 38 38 38 95 38 95 38 19 19 0 19 76 19 19 19 19 19 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 285 228 228 228 228 114 57 57 57 57 57 57 0 57 0 57 57 57 0 57 0 57 57 57 57 57 57 57 57 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 84 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2520.01/2455.82 v </values> 2520.01/2455.82 v </instantiation> 2520.01/2455.82 s SATISFIABLE
OK 4
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 (9589 MiB free)
memory of node 1: 16384 MiB (10402 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294324-1532466450/watcher-4294324-1532466450 -o /tmp/evaluation-result-4294324-1532466450/solver-4294324-1532466450 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532466433-19936 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1433635687 HOME/instance-4294324-1532466450.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20289, runsolver pid=20286
[startup+0.100061 s]*
/proc/loadavg: 1.45 1.10 1.07 3/214 20346
/proc/meminfo: memFree=20466928/32770624 swapFree=67108860/67108860
[pid=20289] ppid=20286 vsize=9972712 memory=18860 CPUtime=0.09 cores=0,2,4,6
/proc/20289/stat : 20289 (java) S 20286 20289 19905 0 -1 1077944320 4346 12861 0 0 1 1 5 2 20 0 6 0 64208168 10212057088 4715 33554432000 4194304 4196468 140733557446624 140733557429168 140634703912695 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
/proc/20289/statm: 2493178 4715 1934 1 0 2481616 0
[pid=20289/tid=20342] ppid=20286 vsize=9972712 memory=4628411388058700198 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20342/stat : 20342 (java) R 20286 20289 19905 0 -1 4202560 2153 12861 0 0 0 0 5 2 20 0 6 0 64208177 10212057088 4715 33554432000 4194304 4196468 140733557446624 140634675749456 140634685306429 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20343] ppid=20286 vsize=9972712 memory=5793855943130241465 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20343/stat : 20343 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 6 0 64208178 10212057088 4715 33554432000 4194304 4196468 140733557446624 140634708155408 140634703922901 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20344] ppid=20286 vsize=9972712 memory=140692120348288 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20344/stat : 20344 (java) S 20286 20289 19905 0 -1 1077944384 1 12861 0 0 0 0 5 2 20 0 6 0 64208178 10212057088 4715 33554432000 4194304 4196468 140733557446624 140634612358288 140634703922901 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20345] ppid=20286 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20345/stat : 20345 (java) S 20286 20289 19905 0 -1 1077944384 1 12861 0 0 0 0 5 2 20 0 6 0 64208178 10212057088 4715 33554432000 4194304 4196468 140733557446624 140634275765008 140634703922901 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20346] ppid=20286 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20346/stat : 20346 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 6 0 64208178 10212057088 4715 33554432000 4194304 4196468 140733557446624 140634274712464 140634703922901 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18860 KiB
[startup+0.210117 s]*
/proc/loadavg: 1.45 1.10 1.07 3/223 20355
/proc/meminfo: memFree=20441348/32770624 swapFree=67108860/67108860
[pid=20289] ppid=20286 vsize=10818904 memory=46380 CPUtime=0.25 cores=0,2,4,6
/proc/20289/stat : 20289 (java) S 20286 20289 19905 0 -1 1077944320 7825 12861 0 0 17 1 5 2 20 0 15 0 64208168 11078557696 11595 33554432000 4194304 4196468 140733557446624 140733557429168 140634703912695 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
/proc/20289/statm: 2704726 11595 2953 1 0 2667149 0
[pid=20289/tid=20342] ppid=20286 vsize=10818904 memory=-8540663193526752614 CPUtime=0.19 cores=0,2,4,6
/proc/20289/task/20342/stat : 20342 (java) R 20286 20289 19905 0 -1 4202560 4421 12861 0 0 11 1 5 2 20 0 15 0 64208177 11078557696 11661 33554432000 4194304 4196468 140733557446624 140634675736136 140634684188444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20343] ppid=20286 vsize=10818904 memory=4211974418325138826 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20343/stat : 20343 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 15 0 64208178 11078557696 11661 33554432000 4194304 4196468 140733557446624 140634708155408 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20344] ppid=20286 vsize=10818904 memory=140692120348288 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20344/stat : 20344 (java) S 20286 20289 19905 0 -1 1077944384 1 12861 0 0 0 0 5 2 20 0 15 0 64208178 11078557696 11661 33554432000 4194304 4196468 140733557446624 140634612358288 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20345] ppid=20286 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20345/stat : 20345 (java) S 20286 20289 19905 0 -1 1077944384 1 12861 0 0 0 0 5 2 20 0 15 0 64208178 11078557696 11661 33554432000 4194304 4196468 140733557446624 140634275765008 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20346] ppid=20286 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20346/stat : 20346 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 15 0 64208178 11078557696 11661 33554432000 4194304 4196468 140733557446624 140634274712464 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20347] ppid=20286 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20347/stat : 20347 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 15 0 64208179 11078557696 11661 33554432000 4194304 4196468 140733557446624 140634230593776 140634703923842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20348] ppid=20286 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20348/stat : 20348 (java) S 20286 20289 19905 0 -1 1077944384 13 12861 0 0 0 0 5 2 20 0 15 0 64208180 11078557696 11661 33554432000 4194304 4196468 140733557446624 140634140697760 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20349] ppid=20286 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20349/stat : 20349 (java) S 20286 20289 19905 0 -1 1077944384 1 12861 0 0 0 0 5 2 20 0 15 0 64208180 11078557696 11661 33554432000 4194304 4196468 140733557446624 140634006479600 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20350] ppid=20286 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20350/stat : 20350 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 15 0 64208183 11078557696 11661 33554432000 4194304 4196468 140733557446624 140633402501072 140634703931291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20351] ppid=20286 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20289/task/20351/stat : 20351 (java) S 20286 20289 19905 0 -1 1077944384 424 12861 0 0 1 0 5 2 20 0 15 0 64208183 11078557696 11661 33554432000 4194304 4196468 140733557446624 140634229541616 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20352] ppid=20286 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20289/task/20352/stat : 20352 (java) S 20286 20289 19905 0 -1 1077944384 190 12861 0 0 1 0 5 2 20 0 15 0 64208183 11078557696 11661 33554432000 4194304 4196468 140733557446624 140634228489072 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20353] ppid=20286 vsize=10818904 memory=140692120348288 CPUtime=0.1 cores=0,2,4,6
/proc/20289/task/20353/stat : 20353 (java) S 20286 20289 19905 0 -1 1077944384 617 12861 0 0 3 0 5 2 20 0 15 0 64208183 11078557696 11661 33554432000 4194304 4196468 140733557446624 140634227436016 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20354] ppid=20286 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20354/stat : 20354 (java) S 20286 20289 19905 0 -1 1077944384 3 12861 0 0 0 0 5 2 20 0 15 0 64208183 11078557696 11661 33554432000 4194304 4196468 140733557446624 140632932739936 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20355] ppid=20286 vsize=10818904 memory=140692120348288 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20355/stat : 20355 (java) S 20286 20289 19905 0 -1 1077944384 1 12861 0 0 0 0 5 2 20 0 15 0 64208183 11078557696 11661 33554432000 4194304 4196468 140733557446624 140634226383408 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 46380 KiB
[startup+0.310382 s]*
/proc/loadavg: 1.45 1.10 1.07 3/223 20355
/proc/meminfo: memFree=20434876/32770624 swapFree=67108860/67108860
[pid=20289] ppid=20286 vsize=10819352 memory=57364 CPUtime=0.37 cores=0,2,4,6
/proc/20289/stat : 20289 (java) S 20286 20289 19905 0 -1 1077944320 10405 12861 0 0 28 2 5 2 20 0 15 0 64208168 11079016448 14341 33554432000 4194304 4196468 140733557446624 140733557429168 140634703912695 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
/proc/20289/statm: 2704838 14341 3072 1 0 2667149 0
[pid=20289/tid=20342] ppid=20286 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/20289/task/20342/stat : 20342 (java) R 20286 20289 19905 0 -1 4202560 6932 12861 0 0 19 2 5 2 20 0 15 0 64208177 11079016448 14341 33554432000 4194304 4196468 140733557446624 140634675724704 140634685476224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20343] ppid=20286 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20343/stat : 20343 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 15 0 64208178 11079016448 14341 33554432000 4194304 4196468 140733557446624 140634708155408 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20344] ppid=20286 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20344/stat : 20344 (java) S 20286 20289 19905 0 -1 1077944384 1 12861 0 0 0 0 5 2 20 0 15 0 64208178 11079016448 14341 33554432000 4194304 4196468 140733557446624 140634612358288 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20345] ppid=20286 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20345/stat : 20345 (java) S 20286 20289 19905 0 -1 1077944384 1 12861 0 0 0 0 5 2 20 0 15 0 64208178 11079016448 14341 33554432000 4194304 4196468 140733557446624 140634275765008 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20346] ppid=20286 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20346/stat : 20346 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 15 0 64208178 11079016448 14341 33554432000 4194304 4196468 140733557446624 140634274712464 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20347] ppid=20286 vsize=10819352 memory=140692120348287 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20347/stat : 20347 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 15 0 64208179 11079016448 14341 33554432000 4194304 4196468 140733557446624 140634230593776 140634703923842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20348] ppid=20286 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20348/stat : 20348 (java) S 20286 20289 19905 0 -1 1077944384 13 12861 0 0 0 0 5 2 20 0 15 0 64208180 11079016448 14341 33554432000 4194304 4196468 140733557446624 140634140697760 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20349] ppid=20286 vsize=10819352 memory=140692120348288 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20349/stat : 20349 (java) S 20286 20289 19905 0 -1 1077944384 1 12861 0 0 0 0 5 2 20 0 15 0 64208180 11079016448 14341 33554432000 4194304 4196468 140733557446624 140634006479600 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20350] ppid=20286 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20350/stat : 20350 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 15 0 64208183 11079016448 14341 33554432000 4194304 4196468 140733557446624 140633402501072 140634703931291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20351] ppid=20286 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20289/task/20351/stat : 20351 (java) S 20286 20289 19905 0 -1 1077944384 427 12861 0 0 1 0 5 2 20 0 15 0 64208183 11079016448 14341 33554432000 4194304 4196468 140733557446624 140634229541616 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20352] ppid=20286 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20289/task/20352/stat : 20352 (java) S 20286 20289 19905 0 -1 1077944384 193 12861 0 0 1 0 5 2 20 0 15 0 64208183 11079016448 14341 33554432000 4194304 4196468 140733557446624 140634228489072 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20353] ppid=20286 vsize=10819352 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/20289/task/20353/stat : 20353 (java) S 20286 20289 19905 0 -1 1077944384 633 12861 0 0 4 0 5 2 20 0 15 0 64208183 11079016448 14341 33554432000 4194304 4196468 140733557446624 140634227436016 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20354] ppid=20286 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20354/stat : 20354 (java) S 20286 20289 19905 0 -1 1077944384 3 12861 0 0 0 0 5 2 20 0 15 0 64208183 11079016448 14341 33554432000 4194304 4196468 140733557446624 140632932739936 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20355] ppid=20286 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20355/stat : 20355 (java) S 20286 20289 19905 0 -1 1077944384 1 12861 0 0 0 0 5 2 20 0 15 0 64208183 11079016448 14341 33554432000 4194304 4196468 140733557446624 140634226383408 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57364 KiB
[startup+0.700731 s]
/proc/loadavg: 1.45 1.10 1.07 7/223 20355
/proc/meminfo: memFree=20422496/32770624 swapFree=67108860/67108860
[pid=20289] ppid=20286 vsize=10819352 memory=90680 CPUtime=0.98 cores=0,2,4,6
/proc/20289/stat : 20289 (java) S 20286 20289 19905 0 -1 1077944320 16752 12861 0 0 87 4 5 2 20 0 15 0 64208168 11079016448 22670 33554432000 4194304 4196468 140733557446624 140733557429168 140634703912695 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
/proc/20289/statm: 2704838 22670 3238 1 0 2667149 0
[pid=20289/tid=20342] ppid=20286 vsize=10819352 memory=19780 CPUtime=0.66 cores=0,2,4,6
/proc/20289/task/20342/stat : 20342 (java) R 20286 20289 19905 0 -1 4202560 12186 12861 0 0 56 3 5 2 20 0 15 0 64208177 11079016448 22670 33554432000 4194304 4196468 140733557446624 140634675733520 140634688226293 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20343] ppid=20286 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20343/stat : 20343 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 15 0 64208178 11079016448 22670 33554432000 4194304 4196468 140733557446624 140634708155408 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20344] ppid=20286 vsize=10819352 memory=288230583132496608 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20344/stat : 20344 (java) S 20286 20289 19905 0 -1 1077944384 1 12861 0 0 0 0 5 2 20 0 15 0 64208178 11079016448 22670 33554432000 4194304 4196468 140733557446624 140634612358288 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20345] ppid=20286 vsize=10819352 memory=288287775051220497 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20345/stat : 20345 (java) S 20286 20289 19905 0 -1 1077944384 1 12861 0 0 0 0 5 2 20 0 15 0 64208178 11079016448 22670 33554432000 4194304 4196468 140733557446624 140634275765008 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20346] ppid=20286 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20346/stat : 20346 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 15 0 64208178 11079016448 22670 33554432000 4194304 4196468 140733557446624 140634274712464 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20347] ppid=20286 vsize=10819352 memory=140691988849152 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20347/stat : 20347 (java) S 20286 20289 19905 0 -1 1077944384 5 12861 0 0 0 0 5 2 20 0 15 0 64208179 11079016448 22670 33554432000 4194304 4196468 140733557446624 140634230593776 140634703923842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20348] ppid=20286 vsize=10819352 memory=140694538683362 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20348/stat : 20348 (java) S 20286 20289 19905 0 -1 1077944384 13 12861 0 0 0 0 5 2 20 0 15 0 64208180 11079016448 22670 33554432000 4194304 4196468 140733557446624 140634140697760 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20349] ppid=20286 vsize=10819352 memory=956 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20349/stat : 20349 (java) S 20286 20289 19905 0 -1 1077944384 1 12861 0 0 0 0 5 2 20 0 15 0 64208180 11079016448 22670 33554432000 4194304 4196468 140733557446624 140634006479600 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20350] ppid=20286 vsize=10819352 memory=7305218370954160725 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20350/stat : 20350 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 15 0 64208183 11079016448 22670 33554432000 4194304 4196468 140733557446624 140633402501072 140634703931291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20351] ppid=20286 vsize=10819352 memory=7452169109558028137 CPUtime=0.16 cores=0,2,4,6
/proc/20289/task/20351/stat : 20351 (java) S 20286 20289 19905 0 -1 1077944384 1068 12861 0 0 9 0 5 2 20 0 15 0 64208183 11079016448 22670 33554432000 4194304 4196468 140733557446624 140634229541616 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20352] ppid=20286 vsize=10819352 memory=6935650355389747280 CPUtime=0.14 cores=0,2,4,6
/proc/20289/task/20352/stat : 20352 (java) S 20286 20289 19905 0 -1 1077944384 552 12861 0 0 7 0 5 2 20 0 15 0 64208183 11079016448 22670 33554432000 4194304 4196468 140733557446624 140634228489072 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20353] ppid=20286 vsize=10819352 memory=5450909908396308010 CPUtime=0.2 cores=0,2,4,6
/proc/20289/task/20353/stat : 20353 (java) S 20286 20289 19905 0 -1 1077944384 725 12861 0 0 13 0 5 2 20 0 15 0 64208183 11079016448 22670 33554432000 4194304 4196468 140733557446624 140634227436016 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20354] ppid=20286 vsize=10819352 memory=1404238533875048054 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20354/stat : 20354 (java) S 20286 20289 19905 0 -1 1077944384 3 12861 0 0 0 0 5 2 20 0 15 0 64208183 11079016448 22670 33554432000 4194304 4196468 140733557446624 140632932739936 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20355] ppid=20286 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20355/stat : 20355 (java) S 20286 20289 19905 0 -1 1077944384 1 12861 0 0 0 0 5 2 20 0 15 0 64208183 11079016448 22670 33554432000 4194304 4196468 140733557446624 140634226383408 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90680 KiB
[startup+1.50073 s]
/proc/loadavg: 1.45 1.10 1.07 7/223 20355
/proc/meminfo: memFree=20317604/32770624 swapFree=67108860/67108860
[pid=20289] ppid=20286 vsize=10834252 memory=196004 CPUtime=2.59 cores=0,2,4,6
/proc/20289/stat : 20289 (java) S 20286 20289 19905 0 -1 1077944320 23950 12861 0 0 241 11 5 2 20 0 15 0 64208168 11094274048 49001 33554432000 4194304 4196468 140733557446624 140733557429168 140634703912695 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
/proc/20289/statm: 2708563 49001 3475 1 0 2670221 0
[pid=20289/tid=20342] ppid=20286 vsize=10834252 memory=139808 CPUtime=1.42 cores=0,2,4,6
/proc/20289/task/20342/stat : 20342 (java) R 20286 20289 19905 0 -1 4202560 17096 12861 0 0 129 6 5 2 20 0 15 0 64208177 11094274048 49001 33554432000 4194304 4196468 140733557446624 140634675730032 140634696163285 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20343] ppid=20286 vsize=10834252 memory=-3117775541953848935 CPUtime=0.08 cores=0,2,4,6
/proc/20289/task/20343/stat : 20343 (java) S 20286 20289 19905 0 -1 1077944384 191 12861 0 0 1 0 5 2 20 0 15 0 64208178 11094274048 49001 33554432000 4194304 4196468 140733557446624 140634708155408 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20344] ppid=20286 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20289/task/20344/stat : 20344 (java) S 20286 20289 19905 0 -1 1077944384 18 12861 0 0 1 0 5 2 20 0 15 0 64208178 11094274048 49001 33554432000 4194304 4196468 140733557446624 140634612358288 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20345] ppid=20286 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20289/task/20345/stat : 20345 (java) S 20286 20289 19905 0 -1 1077944384 19 12861 0 0 1 0 5 2 20 0 15 0 64208178 11094274048 49001 33554432000 4194304 4196468 140733557446624 140634275765008 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20346] ppid=20286 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20289/task/20346/stat : 20346 (java) S 20286 20289 19905 0 -1 1077944384 61 12861 0 0 1 0 5 2 20 0 15 0 64208178 11094274048 49001 33554432000 4194304 4196468 140733557446624 140634274712464 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20347] ppid=20286 vsize=10834252 memory=228081688184218 CPUtime=0.08 cores=0,2,4,6
/proc/20289/task/20347/stat : 20347 (java) S 20286 20289 19905 0 -1 1077944384 55 12861 0 0 1 0 5 2 20 0 15 0 64208179 11094274048 49001 33554432000 4194304 4196468 140733557446624 140634230593776 140634703923842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20348] ppid=20286 vsize=10834252 memory=278973 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20348/stat : 20348 (java) S 20286 20289 19905 0 -1 1077944384 14 12861 0 0 0 0 5 2 20 0 15 0 64208180 11094274048 49001 33554432000 4194304 4196468 140733557446624 140634140697824 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20349] ppid=20286 vsize=10834252 memory=6935650355271196736 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20349/stat : 20349 (java) S 20286 20289 19905 0 -1 1077944384 1 12861 0 0 0 0 5 2 20 0 15 0 64208180 11094274048 49001 33554432000 4194304 4196468 140733557446624 140634006479616 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20350] ppid=20286 vsize=10834252 memory=6935649255759568960 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20350/stat : 20350 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 15 0 64208183 11094274048 49001 33554432000 4194304 4196468 140733557446624 140633402501072 140634703931291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20351] ppid=20286 vsize=10834252 memory=281383977091312 CPUtime=0.39 cores=0,2,4,6
/proc/20289/task/20351/stat : 20351 (java) S 20286 20289 19905 0 -1 1077944384 1487 12861 0 0 32 0 5 2 20 0 15 0 64208183 11094274048 49001 33554432000 4194304 4196468 140733557446624 140634229541616 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20352] ppid=20286 vsize=10834252 memory=4639059873309409381 CPUtime=0.36 cores=0,2,4,6
/proc/20289/task/20352/stat : 20352 (java) R 20286 20289 19905 0 -1 4202560 1212 12861 0 0 29 0 5 2 20 0 15 0 64208183 11094274048 49001 33554432000 4194304 4196468 140733557446624 140634228489072 140634685088571 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20353] ppid=20286 vsize=10834252 memory=-6305717217234608000 CPUtime=0.5 cores=0,2,4,6
/proc/20289/task/20353/stat : 20353 (java) S 20286 20289 19905 0 -1 1077944384 1598 12861 0 0 43 0 5 2 20 0 15 0 64208183 11094274048 49001 33554432000 4194304 4196468 140733557446624 140634227436016 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20354] ppid=20286 vsize=10834252 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20354/stat : 20354 (java) S 20286 20289 19905 0 -1 1077944384 3 12861 0 0 0 0 5 2 20 0 15 0 64208183 11094274048 49001 33554432000 4194304 4196468 140733557446624 140632932739936 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20355] ppid=20286 vsize=10834252 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20355/stat : 20355 (java) S 20286 20289 19905 0 -1 1077944384 1 12861 0 0 0 0 5 2 20 0 15 0 64208183 11094274048 49001 33554432000 4194304 4196468 140733557446624 140634226383408 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/20289/task/20342/stat : 20342 (java) R 20286 20289 19905 0 -1 4202560 125230 12861 0 0 229559 58 5 2 20 0 15 0 64208177 11178180608 360194 33554432000 4194304 4196468 140733557446624 140634675747232 140634313368320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20343] ppid=20286 vsize=10916192 memory=1440776 CPUtime=13.08 cores=0,2,4,6
/proc/20289/task/20343/stat : 20343 (java) S 20286 20289 19905 0 -1 1077944384 31572 12861 0 0 1247 54 5 2 20 0 15 0 64208178 11178180608 360194 33554432000 4194304 4196468 140733557446624 140634708155408 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20344] ppid=20286 vsize=10916192 memory=1440776 CPUtime=13.09 cores=0,2,4,6
/proc/20289/task/20344/stat : 20344 (java) S 20286 20289 19905 0 -1 1077944384 31847 12861 0 0 1247 55 5 2 20 0 15 0 64208178 11178180608 360194 33554432000 4194304 4196468 140733557446624 140634612358288 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20345] ppid=20286 vsize=10916192 memory=1440776 CPUtime=13.09 cores=0,2,4,6
/proc/20289/task/20345/stat : 20345 (java) S 20286 20289 19905 0 -1 1077944384 32939 12861 0 0 1248 54 5 2 20 0 15 0 64208178 11178180608 360194 33554432000 4194304 4196468 140733557446624 140634275765008 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20346] ppid=20286 vsize=10916192 memory=1440776 CPUtime=13.08 cores=0,2,4,6
/proc/20289/task/20346/stat : 20346 (java) S 20286 20289 19905 0 -1 1077944384 27568 12861 0 0 1245 56 5 2 20 0 15 0 64208178 11178180608 360194 33554432000 4194304 4196468 140733557446624 140634274712464 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20347] ppid=20286 vsize=10916192 memory=1440776 CPUtime=10.46 cores=0,2,4,6
/proc/20289/task/20347/stat : 20347 (java) S 20286 20289 19905 0 -1 1077944384 23622 12861 0 0 986 53 5 2 20 0 15 0 64208179 11178180608 360194 33554432000 4194304 4196468 140733557446624 140634230593776 140634703923842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20348] ppid=20286 vsize=10916192 memory=1440776 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20348/stat : 20348 (java) S 20286 20289 19905 0 -1 1077944384 18 12861 0 0 0 0 5 2 20 0 15 0 64208180 11178180608 360194 33554432000 4194304 4196468 140733557446624 140634140697888 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20349] ppid=20286 vsize=10916192 memory=1440776 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20349/stat : 20349 (java) S 20286 20289 19905 0 -1 1077944384 7 12861 0 0 0 0 5 2 20 0 15 0 64208180 11178180608 360194 33554432000 4194304 4196468 140733557446624 140634006479616 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20350] ppid=20286 vsize=10916192 memory=1440776 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20350/stat : 20350 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 15 0 64208183 11178180608 360194 33554432000 4194304 4196468 140733557446624 140633402501072 140634703931291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20351] ppid=20286 vsize=10916192 memory=1440776 CPUtime=10.35 cores=0,2,4,6
/proc/20289/task/20351/stat : 20351 (java) S 20286 20289 19905 0 -1 1077944384 54169 12861 0 0 1021 7 5 2 20 0 15 0 64208183 11178180608 360194 33554432000 4194304 4196468 140733557446624 140634229541616 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20352] ppid=20286 vsize=10916192 memory=1440776 CPUtime=9.36 cores=0,2,4,6
/proc/20289/task/20352/stat : 20352 (java) S 20286 20289 19905 0 -1 1077944384 54368 12861 0 0 922 7 5 2 20 0 15 0 64208183 11178180608 360194 33554432000 4194304 4196468 140733557446624 140634228489072 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20353] ppid=20286 vsize=10916192 memory=1440776 CPUtime=4.42 cores=0,2,4,6
/proc/20289/task/20353/stat : 20353 (java) S 20286 20289 19905 0 -1 1077944384 59922 12861 0 0 426 9 5 2 20 0 15 0 64208183 11178180608 360194 33554432000 4194304 4196468 140733557446624 140634227436016 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20354] ppid=20286 vsize=10916192 memory=1143580 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20354/stat : 20354 (java) S 20286 20289 19905 0 -1 1077944384 3 12861 0 0 0 0 5 2 20 0 15 0 64208183 11178180608 360194 33554432000 4194304 4196468 140733557446624 140632932739936 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20355] ppid=20286 vsize=10916192 memory=6791534058613427641 CPUtime=1.58 cores=0,2,4,6
/proc/20289/task/20355/stat : 20355 (java) S 20286 20289 19905 0 -1 1077944384 1606 12861 0 0 73 78 5 2 20 0 15 0 64208183 11178180608 360194 33554432000 4194304 4196468 140733557446624 140634226383408 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
Current children cumulated CPU time: 2384.24 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1440776 KiB
[startup+2382.3 s]
/proc/loadavg: 1.21 1.29 1.35 4/219 20436
/proc/meminfo: memFree=18362768/32770624 swapFree=67108860/67108860
[pid=20289] ppid=20286 vsize=10916192 memory=1436668 CPUtime=2445.24 cores=0,2,4,6
/proc/20289/stat : 20289 (java) S 20286 20289 19905 0 -1 1077944320 450680 12861 0 0 244141 376 5 2 20 0 15 0 64208168 11178180608 359167 33554432000 4194304 4196468 140733557446624 140733557429168 140634703912695 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
/proc/20289/statm: 2729048 359167 3533 1 0 2690701 0
[pid=20289/tid=20342] ppid=20286 vsize=10916192 memory=1436668 CPUtime=2355.55 cores=0,2,4,6
/proc/20289/task/20342/stat : 20342 (java) R 20286 20289 19905 0 -1 4202560 127209 12861 0 0 235490 58 5 2 20 0 15 0 64208177 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634675747392 140634314291598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20343] ppid=20286 vsize=10916192 memory=1436668 CPUtime=13.43 cores=0,2,4,6
/proc/20289/task/20343/stat : 20343 (java) S 20286 20289 19905 0 -1 1077944384 32350 12861 0 0 1281 55 5 2 20 0 15 0 64208178 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634708155408 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20344] ppid=20286 vsize=10916192 memory=1440776 CPUtime=13.45 cores=0,2,4,6
/proc/20289/task/20344/stat : 20344 (java) S 20286 20289 19905 0 -1 1077944384 33207 12861 0 0 1282 56 5 2 20 0 15 0 64208178 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634612358288 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20345] ppid=20286 vsize=10916192 memory=1434620 CPUtime=13.43 cores=0,2,4,6
/proc/20289/task/20345/stat : 20345 (java) S 20286 20289 19905 0 -1 1077944384 33628 12861 0 0 1281 55 5 2 20 0 15 0 64208178 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634275765008 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20346] ppid=20286 vsize=10916192 memory=1436668 CPUtime=13.43 cores=0,2,4,6
/proc/20289/task/20346/stat : 20346 (java) S 20286 20289 19905 0 -1 1077944384 27777 12861 0 0 1278 58 5 2 20 0 15 0 64208178 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634274712464 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20347] ppid=20286 vsize=10916192 memory=1434620 CPUtime=10.72 cores=0,2,4,6
/proc/20289/task/20347/stat : 20347 (java) S 20286 20289 19905 0 -1 1077944384 24184 12861 0 0 1011 54 5 2 20 0 15 0 64208179 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634230593776 140634703923842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20348] ppid=20286 vsize=10916192 memory=1436668 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20348/stat : 20348 (java) S 20286 20289 19905 0 -1 1077944384 18 12861 0 0 0 0 5 2 20 0 15 0 64208180 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634140697888 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20349] ppid=20286 vsize=10916192 memory=1436668 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20349/stat : 20349 (java) S 20286 20289 19905 0 -1 1077944384 7 12861 0 0 0 0 5 2 20 0 15 0 64208180 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634006479616 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20350] ppid=20286 vsize=10916192 memory=1436668 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20350/stat : 20350 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140633402501072 140634703931291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20351] ppid=20286 vsize=10916192 memory=1436668 CPUtime=10.35 cores=0,2,4,6
/proc/20289/task/20351/stat : 20351 (java) S 20286 20289 19905 0 -1 1077944384 54173 12861 0 0 1021 7 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634229541616 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20352] ppid=20286 vsize=10916192 memory=4036 CPUtime=9.36 cores=0,2,4,6
/proc/20289/task/20352/stat : 20352 (java) S 20286 20289 19905 0 -1 1077944384 54370 12861 0 0 922 7 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634228489072 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20353] ppid=20286 vsize=10916192 memory=1296 CPUtime=4.42 cores=0,2,4,6
/proc/20289/task/20353/stat : 20353 (java) S 20286 20289 19905 0 -1 1077944384 59926 12861 0 0 426 9 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634227436016 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20354] ppid=20286 vsize=10916192 memory=2324 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20354/stat : 20354 (java) S 20286 20289 19905 0 -1 1077944384 3 12861 0 0 0 0 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140632932739936 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20355] ppid=20286 vsize=10916192 memory=1436668 CPUtime=1.62 cores=0,2,4,6
/proc/20289/task/20355/stat : 20355 (java) S 20286 20289 19905 0 -1 1077944384 1634 12861 0 0 75 80 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634226383408 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
Current children cumulated CPU time: 2445.24 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1436668 KiB
[startup+2442.3 s]
/proc/loadavg: 1.39 1.33 1.36 6/219 20565
/proc/meminfo: memFree=18813844/32770624 swapFree=67108860/67108860
[pid=20289] ppid=20286 vsize=10916192 memory=1436668 CPUtime=2506.28 cores=0,2,4,6
/proc/20289/stat : 20289 (java) S 20286 20289 19905 0 -1 1077944320 454672 12861 0 0 250236 385 5 2 20 0 15 0 64208168 11178180608 359167 33554432000 4194304 4196468 140733557446624 140733557429168 140634703912695 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
/proc/20289/statm: 2729048 359167 3533 1 0 2690701 0
[pid=20289/tid=20342] ppid=20286 vsize=10916192 memory=1436668 CPUtime=2414.87 cores=0,2,4,6
/proc/20289/task/20342/stat : 20342 (java) R 20286 20289 19905 0 -1 4202560 128507 12861 0 0 241421 59 5 2 20 0 15 0 64208177 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634675747536 140634298239180 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20343] ppid=20286 vsize=10916192 memory=1436668 CPUtime=13.79 cores=0,2,4,6
/proc/20289/task/20343/stat : 20343 (java) S 20286 20289 19905 0 -1 1077944384 32497 12861 0 0 1315 57 5 2 20 0 15 0 64208178 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634708155408 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20344] ppid=20286 vsize=10916192 memory=1436668 CPUtime=13.81 cores=0,2,4,6
/proc/20289/task/20344/stat : 20344 (java) S 20286 20289 19905 0 -1 1077944384 33401 12861 0 0 1316 58 5 2 20 0 15 0 64208178 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634612358288 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20345] ppid=20286 vsize=10916192 memory=1436668 CPUtime=13.78 cores=0,2,4,6
/proc/20289/task/20345/stat : 20345 (java) S 20286 20289 19905 0 -1 1077944384 35402 12861 0 0 1314 57 5 2 20 0 15 0 64208178 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634275765008 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20346] ppid=20286 vsize=10916192 memory=1436668 CPUtime=13.79 cores=0,2,4,6
/proc/20289/task/20346/stat : 20346 (java) S 20286 20289 19905 0 -1 1077944384 27937 12861 0 0 1313 59 5 2 20 0 15 0 64208178 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634274712464 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20347] ppid=20286 vsize=10916192 memory=1436668 CPUtime=10.98 cores=0,2,4,6
/proc/20289/task/20347/stat : 20347 (java) S 20286 20289 19905 0 -1 1077944384 24572 12861 0 0 1036 55 5 2 20 0 15 0 64208179 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634230593776 140634703923842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20348] ppid=20286 vsize=10916192 memory=1436668 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20348/stat : 20348 (java) S 20286 20289 19905 0 -1 1077944384 18 12861 0 0 0 0 5 2 20 0 15 0 64208180 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634140697888 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20349] ppid=20286 vsize=10916192 memory=1436668 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20349/stat : 20349 (java) S 20286 20289 19905 0 -1 1077944384 7 12861 0 0 0 0 5 2 20 0 15 0 64208180 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634006479616 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20350] ppid=20286 vsize=10916192 memory=1436668 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20350/stat : 20350 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140633402501072 140634703931291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20351] ppid=20286 vsize=10916192 memory=1436668 CPUtime=10.35 cores=0,2,4,6
/proc/20289/task/20351/stat : 20351 (java) S 20286 20289 19905 0 -1 1077944384 54176 12861 0 0 1021 7 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634229541616 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20352] ppid=20286 vsize=10916192 memory=1436668 CPUtime=9.36 cores=0,2,4,6
/proc/20289/task/20352/stat : 20352 (java) S 20286 20289 19905 0 -1 1077944384 54372 12861 0 0 922 7 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634228489072 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20353] ppid=20286 vsize=10916192 memory=1436668 CPUtime=4.43 cores=0,2,4,6
/proc/20289/task/20353/stat : 20353 (java) S 20286 20289 19905 0 -1 1077944384 59929 12861 0 0 427 9 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634227436016 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20354] ppid=20286 vsize=10916192 memory=1436668 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20354/stat : 20354 (java) S 20286 20289 19905 0 -1 1077944384 3 12861 0 0 0 0 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140632932739936 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20355] ppid=20286 vsize=10916192 memory=1436668 CPUtime=1.64 cores=0,2,4,6
/proc/20289/task/20355/stat : 20355 (java) S 20286 20289 19905 0 -1 1077944384 1657 12861 0 0 76 81 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634226383408 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
Current children cumulated CPU time: 2506.28 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1436668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2455.8 s]
/proc/loadavg: 1.45 1.35 1.36 3/219 20565
/proc/meminfo: memFree=18526036/32770624 swapFree=67108860/67108860
[pid=20289] ppid=20286 vsize=10916192 memory=1436668 CPUtime=2520.01 cores=0,2,4,6
/proc/20289/stat : 20289 (java) S 20286 20289 19905 0 -1 1077944320 457797 12861 0 0 251607 387 5 2 20 0 15 0 64208168 11178180608 359167 33554432000 4194304 4196468 140733557446624 140733557429168 140634703912695 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
/proc/20289/statm: 2729048 359167 3533 1 0 2690701 0
[pid=20289/tid=20342] ppid=20286 vsize=10916192 memory=4620 CPUtime=2428.22 cores=0,2,4,6
/proc/20289/task/20342/stat : 20342 (java) R 20286 20289 19905 0 -1 4202560 129208 12861 0 0 242756 59 5 2 20 0 15 0 64208177 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634675747376 140634314369353 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20343] ppid=20286 vsize=10916192 memory=1424 CPUtime=13.86 cores=0,2,4,6
/proc/20289/task/20343/stat : 20343 (java) S 20286 20289 19905 0 -1 1077944384 32559 12861 0 0 1322 57 5 2 20 0 15 0 64208178 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634708155408 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20344] ppid=20286 vsize=10916192 memory=1232 CPUtime=13.89 cores=0,2,4,6
/proc/20289/task/20344/stat : 20344 (java) S 20286 20289 19905 0 -1 1077944384 34559 12861 0 0 1323 59 5 2 20 0 15 0 64208178 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634612358288 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20345] ppid=20286 vsize=10916192 memory=1012 CPUtime=13.85 cores=0,2,4,6
/proc/20289/task/20345/stat : 20345 (java) S 20286 20289 19905 0 -1 1077944384 35497 12861 0 0 1321 57 5 2 20 0 15 0 64208178 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634275765008 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20346] ppid=20286 vsize=10916192 memory=1956 CPUtime=13.86 cores=0,2,4,6
/proc/20289/task/20346/stat : 20346 (java) S 20286 20289 19905 0 -1 1077944384 28684 12861 0 0 1320 59 5 2 20 0 15 0 64208178 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634274712464 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20347] ppid=20286 vsize=10916192 memory=1204 CPUtime=11.05 cores=0,2,4,6
/proc/20289/task/20347/stat : 20347 (java) S 20286 20289 19905 0 -1 1077944384 24909 12861 0 0 1042 56 5 2 20 0 15 0 64208179 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634230593776 140634703923842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20348] ppid=20286 vsize=10916192 memory=8384 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20348/stat : 20348 (java) S 20286 20289 19905 0 -1 1077944384 18 12861 0 0 0 0 5 2 20 0 15 0 64208180 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634140697888 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20349] ppid=20286 vsize=10916192 memory=3 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20349/stat : 20349 (java) S 20286 20289 19905 0 -1 1077944384 7 12861 0 0 0 0 5 2 20 0 15 0 64208180 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634006479616 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20350] ppid=20286 vsize=10916192 memory=5681 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20350/stat : 20350 (java) S 20286 20289 19905 0 -1 1077944384 2 12861 0 0 0 0 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140633402501072 140634703931291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20351] ppid=20286 vsize=10916192 memory=0 CPUtime=10.35 cores=0,2,4,6
/proc/20289/task/20351/stat : 20351 (java) S 20286 20289 19905 0 -1 1077944384 54178 12861 0 0 1021 7 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634229541616 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20352] ppid=20286 vsize=10916192 memory=1748 CPUtime=9.36 cores=0,2,4,6
/proc/20289/task/20352/stat : 20352 (java) S 20286 20289 19905 0 -1 1077944384 54374 12861 0 0 922 7 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634228489072 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20353] ppid=20286 vsize=10916192 memory=187 CPUtime=4.43 cores=0,2,4,6
/proc/20289/task/20353/stat : 20353 (java) S 20286 20289 19905 0 -1 1077944384 59931 12861 0 0 427 9 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634227436016 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20354] ppid=20286 vsize=10916192 memory=1 CPUtime=0.07 cores=0,2,4,6
/proc/20289/task/20354/stat : 20354 (java) S 20286 20289 19905 0 -1 1077944384 3 12861 0 0 0 0 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140632932739936 140634703922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
[pid=20289/tid=20355] ppid=20286 vsize=10916192 memory=0 CPUtime=1.65 cores=0,2,4,6
/proc/20289/task/20355/stat : 20355 (java) S 20286 20289 19905 0 -1 1077944384 1676 12861 0 0 77 81 5 2 20 0 15 0 64208183 11178180608 359167 33554432000 4194304 4196468 140733557446624 140634226383408 140634703923842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140733557451374 140733557454172 140733557454172 140733557456847 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1436668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2455.85 s]
# the end of solver process 20289 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.16 s, system=3.92608 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2455.85
CPU time (s): 2520.08
CPU user time (s): 2516.16
CPU system time (s): 3.92608
CPU usage (%): 102.616
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 1595344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.16
system time used= 3.92608
maximum resident set size= 1595344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475991
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 287856
involuntary context switches= 9011
# summary of solver processes directly reported to runsolver:
# pid: 20289
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.16
# total CPU system time (s): 3.92608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3702 second user time and 24.2114 second system time
The end
Begin job on node133 at 2018-07-24 23:07:30 IDJOB=4294324 IDBENCH=141363 IDSOLVER=2750 FILE ID=node133/4294324-1532466450 RUNJOBID= node133-1532466433-19936 PBS_JOBID= 21021582 Free space on /tmp= 48236 MiB SOLVER NAME= Concrete 3.8 2018-06-13 BENCH NAME= XCSP18/TemplateDesign/TemplateDesign-m1s-herbs_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294324-1532466450/watcher-4294324-1532466450 -o /tmp/evaluation-result-4294324-1532466450/solver-4294324-1532466450 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532466433-19936 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1433635687 HOME/instance-4294324-1532466450.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f93f81431bc4a45d4c2655bc4c8b27b0 RANDOM SEED=1433635687 node133.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.24 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.24 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.24 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.24 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: 20472564 kB MemAvailable: 31522116 kB Buffers: 149148 kB Cached: 11062668 kB SwapCached: 0 kB Active: 3099204 kB Inactive: 8582024 kB Active(anon): 420748 kB Inactive(anon): 68376 kB Active(file): 2678456 kB Inactive(file): 8513648 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 27032 kB Writeback: 0 kB AnonPages: 476324 kB Mapped: 51812 kB Shmem: 17056 kB Slab: 313268 kB SReclaimable: 285908 kB SUnreclaim: 27360 kB KernelStack: 3632 kB PageTables: 6420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1601912 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 282624 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= 48208 MiB End job on node133 at 2018-07-24 23:48:26