Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: Concrete 3.4 | SAT (TO) | 229 | 2400.1 | 2313.44 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml |
| MD5SUM | 406abf126875c7059afeaa5170034bef |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 157 |
| Best CPU time to get the best result obtained on this benchmark | 20003.6 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1805 |
| Number of constraints | 943 |
| Number of domains | 83 |
| Minimum domain size | 2 |
| Maximum domain size | 83 |
| Distribution of domain sizes | [{"size":2,"count":904},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":2}, {"size":42,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 41 |
| Distribution of variable degrees | [{"degree":0,"count":820},{"degree":2,"count":943},{"degree":41,"count":42}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 42 |
| Distribution of constraint arities | [{"arity":2,"count":42},{"arity":3,"count":862},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 902 |
| Distribution of constraint types | [{"type":"intension","count":902},{"type":"sum","count":41}] |
| Optimization problem | YES |
| Type of objective | min SUM |
3.71/2.17 c Concrete v3.4 running 18.33/5.75 o 23821 18.77/5.85 o 19861 19.20/5.91 o 16797 20.05/6.13 o 13053 20.05/6.17 o 10061 20.47/6.20 o 5981 20.47/6.24 o 4853 20.47/6.26 o 3677 20.90/6.31 o 3365 20.90/6.34 o 2749 20.90/6.36 o 2381 21.32/6.40 o 2349 21.32/6.44 o 2333 21.32/6.46 o 1893 21.32/6.49 o 1709 21.72/6.51 o 1605 21.72/6.53 o 933 22.12/6.61 o 733 22.12/6.63 o 661 22.12/6.71 o 637 22.29/6.72 o 469 22.29/6.75 o 445 22.29/6.77 o 357 22.81/7.17 o 325 28.15/10.82 o 261 37.19/18.76 o 237 2169.96/2089.16 o 229 2400.03/2313.41 java.util.concurrent.TimeoutException 2400.03/2313.41 at concrete.MAC.mac(MAC.scala:74) 2400.03/2313.41 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 2400.03/2313.41 at scala.util.Try$.apply(Try.scala:209) 2400.03/2313.41 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2400.03/2313.41 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2400.03/2313.41 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2400.03/2313.41 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2400.03/2313.41 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 2400.03/2313.41 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2400.03/2313.41 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2400.03/2313.41 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2400.03/2313.41 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2400.03/2313.41 at concrete.MAC.oneRun(MAC.scala:146) 2400.03/2313.41 at concrete.MAC.nextSolution(MAC.scala:166) 2400.03/2313.41 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 2400.03/2313.41 at concrete.ProblemState.map(ProblemState.scala:203) 2400.03/2313.41 at concrete.ProblemState.map(ProblemState.scala:188) 2400.03/2313.41 at concrete.MAC.nextSolution(MAC.scala:195) 2400.03/2313.41 at concrete.Solver.hasNext(Solver.scala:202) 2400.03/2313.41 at scala.collection.Iterator.toStream(Iterator.scala:1403) 2400.03/2313.41 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 2400.03/2313.41 at concrete.Solver.toStream(Solver.scala:73) 2400.03/2313.41 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 2400.03/2313.41 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 2400.03/2313.41 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 2400.03/2313.41 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 2400.03/2313.41 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 2400.03/2313.41 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2400.03/2313.41 at scala.util.Success.map(Try.scala:209) 2400.03/2313.41 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 2400.03/2313.41 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 2400.03/2313.42 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.03/2313.42 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 2400.03/2313.42 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.03/2313.42 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2400.03/2313.42 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2400.03/2313.42 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2400.03/2313.42 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2400.03/2313.42 at scala.collection.immutable.List.foreach(List.scala:389) 2400.03/2313.42 at scala.App.main(App.scala:76) 2400.03/2313.42 at scala.App.main$(App.scala:74) 2400.03/2313.42 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.03/2313.42 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.03/2313.42 v <instantiation cost="229"> 2400.03/2313.42 v <list> 2400.03/2313.42 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[37][0] y[37][1] y[37][2] y[37][3] y[38][0] y[38][1] y[38][2] y[39][0] y[39][1] y[40][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] 2400.03/2313.42 v </list> 2400.03/2313.42 v <values> 2400.03/2313.42 v 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 0 1 6 -1 0 3 2 1 -2 1 4 1 0 1 0 5 2 -3 0 1 2 1 8 1 2 1 -2 1 -2 -3 0 -3 0 -1 -2 -1 0 1 2 1 1 0 1 36 1 0 9 4 1 4 1 16 1 0 1 0 25 4 9 0 1 4 1 64 1 4 1 4 1 4 9 0 9 0 1 4 1 0 1 4 1 2400.03/2313.42 v </values> 2400.03/2313.42 v </instantiation> 2400.03/2313.42 s SATISFIABLE
OK 229
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247402-1500731106/watcher-4247402-1500731106 -o /tmp/evaluation-result-4247402-1500731106/solver-4247402-1500731106 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500714764-19777 --watchdog 2560 bin/concrete HOME/instance-4247402-1500731106.xml pid=23653 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.98 1.78 1.52 3/261 23656 /proc/meminfo: memFree=31427952/32770624 swapFree=5920/150960 [pid=23656] ppid=23653 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/23656/stat : 23656 (bash) S 23653 23656 19746 0 -1 4202496 685 1532 0 0 0 0 0 0 20 0 1 0 8380260 9736192 350 33554432000 4194304 5098028 140736979692752 140736979690392 140325279235072 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 36073472 140736979694862 140736979694947 140736979694947 140736979697646 0 /proc/23656/statm: 2377 350 278 221 0 86 0 [startup+0.100158 s] /proc/loadavg: 2.98 1.78 1.52 3/261 23656 /proc/meminfo: memFree=31427952/32770624 swapFree=5920/150960 [pid=23656] ppid=23653 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/23656/stat : 23656 (bash) S 23653 23656 19746 0 -1 4202496 879 6414 0 0 0 0 0 1 20 0 1 0 8380260 9871360 377 33554432000 4194304 5098028 140736979692752 140736979686760 140325279235072 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 36073472 140736979694862 140736979694947 140736979694947 140736979697646 0 /proc/23656/statm: 2410 377 296 221 0 119 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9640 [startup+0.200259 s] /proc/loadavg: 2.98 1.78 1.52 3/261 23656 /proc/meminfo: memFree=31427952/32770624 swapFree=5920/150960 [pid=23656] ppid=23653 vsize=10835244 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/23656/stat : 23656 (java) S 23653 23656 19746 0 -1 1077944320 5642 12593 0 0 7 1 8 2 20 0 19 0 8380260 11095289856 5876 33554432000 4194304 4196468 140737453105568 140737453088112 139883059506935 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 /proc/23656/statm: 2708811 5876 2531 1 0 2697249 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 10835244 [startup+0.300315 s] /proc/loadavg: 2.98 1.78 1.52 3/261 23656 /proc/meminfo: memFree=31427952/32770624 swapFree=5920/150960 [pid=23656] ppid=23653 vsize=10902392 CPUtime=0.35 cores=0,2,4,6,8,10,12,14 /proc/23656/stat : 23656 (java) S 23653 23656 19746 0 -1 1077944320 9304 12593 0 0 23 2 8 2 20 0 20 0 8380260 11164049408 10902 33554432000 4194304 4196468 140737453105568 140737453088112 139883059506935 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 /proc/23656/statm: 2725598 10902 3000 1 0 2713890 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 10902392 [startup+0.700178 s] /proc/loadavg: 2.98 1.78 1.52 3/261 23656 /proc/meminfo: memFree=31427952/32770624 swapFree=5920/150960 [pid=23656] ppid=23653 vsize=10902720 CPUtime=1 cores=0,2,4,6,8,10,12,14 /proc/23656/stat : 23656 (java) S 23653 23656 19746 0 -1 1077944320 12794 12593 0 0 86 4 8 2 20 0 20 0 8380260 11164385280 16633 33554432000 4194304 4196468 140737453105568 140737453088112 139883059506935 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 /proc/23656/statm: 2725680 16633 3236 1 0 2713890 0 Current children cumulated CPU time (s) 1 Current children cumulated vsize (KiB) 10902720 [startup+1.50128 s] /proc/loadavg: 2.98 1.78 1.52 4/281 23729 /proc/meminfo: memFree=31267048/32770624 swapFree=5920/151296 [pid=23656] ppid=23653 vsize=10913344 CPUtime=2.29 cores=0,2,4,6,8,10,12,14 /proc/23656/stat : 23656 (java) S 23653 23656 19746 0 -1 1077944320 25068 12593 0 0 205 14 8 2 20 0 20 0 8380260 11175264256 44321 33554432000 4194304 4196468 140737453105568 140737453088112 139883059506935 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 /proc/23656/statm: 2728336 44321 3411 1 0 2716450 0 [pid=23656/tid=23711] ppid=23653 vsize=10913344 CPUtime=1.43 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23711/stat : 23711 (java) R 23653 23656 19746 0 -1 4202560 17981 12593 0 0 127 6 8 2 20 0 20 0 8380272 11175264256 44321 33554432000 4194304 4196468 140737453105568 139883063736088 139883059518870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23712] ppid=23653 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23712/stat : 23712 (java) S 23653 23656 19746 0 -1 1077944384 27 12593 0 0 0 0 8 2 20 0 20 0 8380273 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882996198544 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23713] ppid=23653 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23713/stat : 23713 (java) S 23653 23656 19746 0 -1 1077944384 30 12593 0 0 1 0 8 2 20 0 20 0 8380273 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882995145744 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23714] ppid=23653 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23714/stat : 23714 (java) S 23653 23656 19746 0 -1 1077944384 7 12593 0 0 0 0 8 2 20 0 20 0 8380273 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882994092944 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23715] ppid=23653 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23715/stat : 23715 (java) S 23653 23656 19746 0 -1 1077944384 10 12593 0 0 0 0 8 2 20 0 20 0 8380273 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882993040144 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23716] ppid=23653 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23716/stat : 23716 (java) S 23653 23656 19746 0 -1 1077944384 142 12593 0 0 0 0 8 2 20 0 20 0 8380273 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882661800592 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23717] ppid=23653 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23717/stat : 23717 (java) S 23653 23656 19746 0 -1 1077944384 13 12593 0 0 0 0 8 2 20 0 20 0 8380273 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882660747792 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23718] ppid=23653 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23718/stat : 23718 (java) S 23653 23656 19746 0 -1 1077944384 20 12593 0 0 0 0 8 2 20 0 20 0 8380273 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882659694992 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23719] ppid=23653 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23719/stat : 23719 (java) S 23653 23656 19746 0 -1 1077944384 16 12593 0 0 0 0 8 2 20 0 20 0 8380273 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882658642192 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23720] ppid=23653 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23720/stat : 23720 (java) S 23653 23656 19746 0 -1 1077944384 644 12593 0 0 1 0 8 2 20 0 20 0 8380275 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882265664368 139883059518082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23721] ppid=23653 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23721/stat : 23721 (java) S 23653 23656 19746 0 -1 1077944384 36 12593 0 0 0 0 8 2 20 0 20 0 8380276 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882264610400 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23722] ppid=23653 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23722/stat : 23722 (java) S 23653 23656 19746 0 -1 1077944384 22 12593 0 0 0 0 8 2 20 0 20 0 8380276 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882263557504 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23723] ppid=23653 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23723/stat : 23723 (java) S 23653 23656 19746 0 -1 1077944384 1 12593 0 0 0 0 8 2 20 0 20 0 8380280 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882262505808 139883059525531 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23724] ppid=23653 vsize=10913344 CPUtime=0.26 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23724/stat : 23724 (java) S 23653 23656 19746 0 -1 1077944384 1678 12593 0 0 16 0 8 2 20 0 20 0 8380280 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882261453168 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23725] ppid=23653 vsize=10913344 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23725/stat : 23725 (java) S 23653 23656 19746 0 -1 1077944384 395 12593 0 0 10 0 8 2 20 0 20 0 8380280 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882260400368 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23726] ppid=23653 vsize=10913344 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23726/stat : 23726 (java) S 23653 23656 19746 0 -1 1077944384 634 12593 0 0 13 0 8 2 20 0 20 0 8380280 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882259347568 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23727] ppid=23653 vsize=10913344 CPUtime=0.37 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23727/stat : 23727 (java) S 23653 23656 19746 0 -1 1077944384 1279 12593 0 0 27 0 8 2 20 0 20 0 8380280 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882258294768 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23728] ppid=23653 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23728/stat : 23728 (java) S 23653 23656 19746 0 -1 1077944384 3 12593 0 0 0 0 8 2 20 0 20 0 8380280 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882257243232 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23729] ppid=23653 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23729/stat : 23729 (java) S 23653 23656 19746 0 -1 1077944384 1 12593 0 0 0 0 8 2 20 0 20 0 8380280 11175264256 44321 33554432000 4194304 4196468 140737453105568 139882256190512 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 Current children cumulated CPU time (s) 2.29 Current children cumulated vsize (KiB) 10913344 [startup+3.10108 s] /proc/loadavg: 2.98 1.78 1.52 6/281 23729 /proc/meminfo: memFree=31162716/32770624 swapFree=5920/151308 [pid=23656] ppid=23653 vsize=10925820 CPUtime=7.32 cores=0,2,4,6,8,10,12,14 /proc/23656/stat : 23656 (java) S 23653 23656 19746 0 -1 1077944320 41550 12593 0 0 701 21 8 2 20 0 20 0 8380260 11188039680 60476 33554432000 4194304 4196468 140737453105568 140737453088112 139883059506935 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 /proc/23656/statm: 2731455 60476 3486 1 0 2719010 0 [pid=23656/tid=23711] ppid=23653 vsize=10925820 CPUtime=3.01 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23711/stat : 23711 (java) R 23653 23656 19746 0 -1 4202560 24952 12593 0 0 283 8 8 2 20 0 20 0 8380272 11188039680 60476 33554432000 4194304 4196468 140737453105568 139883063728432 139883059528861 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23712] ppid=23653 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23712/stat : 23712 (java) S 23653 23656 19746 0 -1 1077944384 27 12593 0 0 0 0 8 2 20 0 20 0 8380273 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882996198544 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23713] ppid=23653 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23713/stat : 23713 (java) S 23653 23656 19746 0 -1 1077944384 30 12593 0 0 1 0 8 2 20 0 20 0 8380273 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882995145744 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23714] ppid=23653 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23714/stat : 23714 (java) S 23653 23656 19746 0 -1 1077944384 7 12593 0 0 0 0 8 2 20 0 20 0 8380273 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882994092944 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23715] ppid=23653 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23715/stat : 23715 (java) S 23653 23656 19746 0 -1 1077944384 10 12593 0 0 0 0 8 2 20 0 20 0 8380273 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882993040144 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23716] ppid=23653 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23716/stat : 23716 (java) S 23653 23656 19746 0 -1 1077944384 142 12593 0 0 0 0 8 2 20 0 20 0 8380273 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882661800592 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23717] ppid=23653 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23717/stat : 23717 (java) S 23653 23656 19746 0 -1 1077944384 13 12593 0 0 0 0 8 2 20 0 20 0 8380273 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882660747792 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23718] ppid=23653 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23718/stat : 23718 (java) S 23653 23656 19746 0 -1 1077944384 20 12593 0 0 0 0 8 2 20 0 20 0 8380273 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882659694992 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23719] ppid=23653 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23719/stat : 23719 (java) S 23653 23656 19746 0 -1 1077944384 16 12593 0 0 0 0 8 2 20 0 20 0 8380273 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882658642192 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23720] ppid=23653 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23720/stat : 23720 (java) S 23653 23656 19746 0 -1 1077944384 912 12593 0 0 1 0 8 2 20 0 20 0 8380275 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882265664368 139883059518082 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23721] ppid=23653 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23721/stat : 23721 (java) S 23653 23656 19746 0 -1 1077944384 36 12593 0 0 0 0 8 2 20 0 20 0 8380276 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882264610400 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23722] ppid=23653 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23722/stat : 23722 (java) S 23653 23656 19746 0 -1 1077944384 22 12593 0 0 0 0 8 2 20 0 20 0 8380276 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882263557504 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23723] ppid=23653 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23723/stat : 23723 (java) S 23653 23656 19746 0 -1 1077944384 1 12593 0 0 0 0 8 2 20 0 20 0 8380280 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882262505808 139883059525531 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23724] ppid=23653 vsize=10925820 CPUtime=1.23 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23724/stat : 23724 (java) R 23653 23656 19746 0 -1 4202560 4430 12593 0 0 112 1 8 2 20 0 20 0 8380280 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882261439232 139883041027049 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23725] ppid=23653 vsize=10925820 CPUtime=0.9 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23725/stat : 23725 (java) R 23653 23656 19746 0 -1 4202560 1339 12593 0 0 79 1 8 2 20 0 20 0 8380280 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882260386624 139883042894976 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23726] ppid=23653 vsize=10925820 CPUtime=1.06 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23726/stat : 23726 (java) R 23653 23656 19746 0 -1 4202560 2103 12593 0 0 95 1 8 2 20 0 20 0 8380280 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882259333304 139883041051650 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23727] ppid=23653 vsize=10925820 CPUtime=1.32 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23727/stat : 23727 (java) R 23653 23656 19746 0 -1 4202560 5360 12593 0 0 120 2 8 2 20 0 20 0 8380280 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882258292024 139883038445746 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23728] ppid=23653 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23728/stat : 23728 (java) S 23653 23656 19746 0 -1 1077944384 3 12593 0 0 0 0 8 2 20 0 20 0 8380280 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882257243232 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23729] ppid=23653 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23729/stat : 23729 (java) S 23653 23656 19746 0 -1 1077944384 4 12593 0 0 0 0 8 2 20 0 20 0 8380280 11188039680 60476 33554432000 4194304 4196468 140737453105568 139882256190512 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 Current children cumulated CPU time (s) 7.32 Current children cumulated vsize (KiB) 10925820 [startup+6.30112 s] /proc/loadavg: 3.22 1.85 1.54 11/281 23729 /proc/meminfo: memFree=30859620/32770624 swapFree=5920/151308 [pid=23656] ppid=23653 vsize=10931964 CPUtime=20.9 cores=0,2,4,6,8,10,12,14 /proc/23656/stat : 23656 (java) S 23653 23656 19746 0 -1 1077944320 71639 12593 0 0 2048 32 8 2 20 0 20 0 8380260 11194331136 97041 33554432000 4194304 4196468 140737453105568 140737453088112 139883059506935 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 /proc/23656/statm: 2732991 97041 3508 1 0 2720546 0 [pid=23656/tid=23711] ppid=23653 vsize=10931964 CPUtime=5.84 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23711/stat : 23711 (java) R 23653 23656 19746 0 -1 4202560 32624 12593 0 0 564 10 8 2 20 0 20 0 8380272 11194331136 97041 33554432000 4194304 4196468 140737453105568 139883063740280 139882682679174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23712] ppid=23653 vsize=10931964 CPUtime=0.32 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23712/stat : 23712 (java) S 23653 23656 19746 0 -1 1077944384 165 12593 0 0 21 1 8 2 20 0 20 0 8380273 11194331136 97041 33554432000 4194304 4196468 140737453105568 139882996198544 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23713] ppid=23653 vsize=10931964 CPUtime=0.3 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23713/stat : 23713 (java) S 23653 23656 19746 0 -1 1077944384 55 12593 0 0 19 1 8 2 20 0 20 0 8380273 11194331136 97041 33554432000 4194304 4196468 140737453105568 139882995145744 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23714] ppid=23653 vsize=10931964 CPUtime=0.28 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23714/stat : 23714 (java) S 23653 23656 19746 0 -1 1077944384 33 12593 0 0 18 0 8 2 20 0 20 0 8380273 11194331136 97041 33554432000 4194304 4196468 140737453105568 139882994092944 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23715] ppid=23653 vsize=10931964 CPUtime=0.3 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23715/stat : 23715 (java) S 23653 23656 19746 0 -1 1077944384 52 12593 0 0 19 1 8 2 20 0 20 0 8380273 11194331136 97041 33554432000 4194304 4196468 140737453105568 139882993040144 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23716] ppid=23653 vsize=10931964 CPUtime=0.28 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23716/stat : 23716 (java) S 23653 23656 19746 0 -1 1077944384 168 12593 0 0 17 1 8 2 20 0 20 0 8380273 11194331136 97041 33554432000 4194304 4196468 140737453105568 139882661800592 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23717] ppid=23653 vsize=10931964 CPUtime=0.28 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23717/stat : 23717 (java) S 23653 23656 19746 0 -1 1077944384 38 12593 0 0 17 1 8 2 20 0 20 0 8380273 11194331136 97041 33554432000 4194304 4196468 140737453105568 139882660747792 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23718] ppid=23653 vsize=10931964 CPUtime=0.3 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23718/stat : 23718 (java) S 23653 23656 19746 0 -1 1077944384 74 12593 0 0 19 1 8 2 20 0 20 0 8380273 11194331136 97041 33554432000 4194304 4196468 140737453105568 139882659694992 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23719] ppid=23653 vsize=10931964 CPUtime=0.3 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23719/stat : 23719 (java) S 23653 23656 19746 0 -1 1077944384 36 12593 0 0 20 0 8 2 20 0 20 0 8380273 11194331136 97041 33554432000 4194304 4196468 140737453105568 139882658642192 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23720] ppid=23653 vsize=10931964 CPUtime=0.24 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23720/stat : 23720 (java) S 23653 23656 19746 0 -1 1077944384 2267 12593 0 0 14 0 8 2 20 0 20 0 8380275 11194331136 97041 33554432000 4194304 4196468 140737453105568 139882265664368 139883059518082 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23721] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23721/stat : 23721 (java) S 23653 23656 19746 0 -1 1077944384 40 12593 0 0 0 0 8 2 20 0 20 0 8380276 11194331136 97041 33554432000 4194304 4196468 140737453105568 139882264610400 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23722] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23722/stat : 23722 (java) S 23653 23656 19746 0 -1 1077944384 45 12593 0 0 0 0 8 2 20 0 20 0 8380276 11194331136 97041 33554432000 4194304 4196468 140737453105568 139882263557504 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23723] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23723/stat : 23723 (java) S 23653 23656 19746 0 -1 1077944384 1 12593 0 0 0 0 8 2 20 0 20 0 8380280 11194331136 97041 33554432000 4194304 4196468 140737453105568 139882262505808 139883059525531 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23724] ppid=23653 vsize=10931964 CPUtime=3.65 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23724/stat : 23724 (java) R 23653 23656 19746 0 -1 4202560 10054 12593 0 0 353 2 8 2 20 0 20 0 8380280 11194331136 97041 33554432000 4194304 4196468 140737453105568 139882261438480 139883042843693 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23725] ppid=23653 vsize=10931964 CPUtime=3.9 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23725/stat : 23725 (java) R 23653 23656 19746 0 -1 4202560 7553 12593 0 0 378 2 8 2 20 0 20 0 8380280 11194331136 97041 33554432000 4194304 4196468 140737453105568 139882260386864 139883038842272 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23726] ppid=23653 vsize=10931964 CPUtime=3.53 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23726/stat : 23726 (java) R 23653 23656 19746 0 -1 4202560 6862 12593 0 0 341 2 8 2 20 0 20 0 8380280 11194331136 97041 33554432000 4194304 4196468 140737453105568 139882259328784 139883043003723 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23727] ppid=23653 vsize=10931964 CPUtime=2.53 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23727/stat : 23727 (java) R 23653 23656 19746 0 -1 4202560 9431 12593 0 0 240 3 8 2 20 0 20 0 8380280 11194331136 97041 33554432000 4194304 4196468 140737453105568 139882258290496 139883038211647 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23728] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 ################ # More data... # ################ [pid=23656/tid=23725] ppid=23653 vsize=10931964 CPUtime=8.78 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23725/stat : 23725 (java) S 23653 23656 19746 0 -1 1077944384 17079 12593 0 0 863 5 8 2 20 0 20 0 8380280 11194331136 258721 33554432000 4194304 4196468 140737453105568 139882260400368 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23726] ppid=23653 vsize=10931964 CPUtime=8.45 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23726/stat : 23726 (java) S 23653 23656 19746 0 -1 1077944384 15114 12593 0 0 830 5 8 2 20 0 20 0 8380280 11194331136 258721 33554432000 4194304 4196468 140737453105568 139882259347568 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23727] ppid=23653 vsize=10931964 CPUtime=4.52 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23727/stat : 23727 (java) S 23653 23656 19746 0 -1 1077944384 27578 12593 0 0 434 8 8 2 20 0 20 0 8380280 11194331136 258721 33554432000 4194304 4196468 140737453105568 139882258294768 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23728] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23728/stat : 23728 (java) S 23653 23656 19746 0 -1 1077944384 3 12593 0 0 0 0 8 2 20 0 20 0 8380280 11194331136 258721 33554432000 4194304 4196468 140737453105568 139882257243232 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23729] ppid=23653 vsize=10931964 CPUtime=1.14 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23729/stat : 23729 (java) S 23653 23656 19746 0 -1 1077944384 1206 12593 0 0 54 50 8 2 20 0 20 0 8380280 11194331136 258721 33554432000 4194304 4196468 140737453105568 139882256190512 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 Current children cumulated CPU time (s) 2224.59 Current children cumulated vsize (KiB) 10931964 [startup+2202.31 s] /proc/loadavg: 1.42 1.40 1.41 3/281 23961 /proc/meminfo: memFree=29657832/32770624 swapFree=5920/153492 [pid=23656] ppid=23653 vsize=10931964 CPUtime=2286.1 cores=0,2,4,6,8,10,12,14 /proc/23656/stat : 23656 (java) S 23653 23656 19746 0 -1 1077944320 223597 12593 0 0 228180 420 8 2 20 0 20 0 8380260 11194331136 253975 33554432000 4194304 4196468 140737453105568 140737453088112 139883059506935 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 /proc/23656/statm: 2732991 253975 3522 1 0 2720546 0 [pid=23656/tid=23711] ppid=23653 vsize=10931964 CPUtime=2183.91 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23711/stat : 23711 (java) R 23653 23656 19746 0 -1 4202560 73166 12593 0 0 218338 43 8 2 20 0 20 0 8380272 11194331136 253975 33554432000 4194304 4196468 140737453105568 139883063741072 139882693096346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23712] ppid=23653 vsize=10931964 CPUtime=8.32 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23712/stat : 23712 (java) S 23653 23656 19746 0 -1 1077944384 4487 12593 0 0 786 36 8 2 20 0 20 0 8380273 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882996198544 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23713] ppid=23653 vsize=10931964 CPUtime=8.16 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23713/stat : 23713 (java) S 23653 23656 19746 0 -1 1077944384 8485 12593 0 0 770 36 8 2 20 0 20 0 8380273 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882995145744 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23714] ppid=23653 vsize=10931964 CPUtime=8.16 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23714/stat : 23714 (java) S 23653 23656 19746 0 -1 1077944384 6082 12593 0 0 769 37 8 2 20 0 20 0 8380273 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882994092944 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23715] ppid=23653 vsize=10931964 CPUtime=8.21 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23715/stat : 23715 (java) S 23653 23656 19746 0 -1 1077944384 6115 12593 0 0 776 35 8 2 20 0 20 0 8380273 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882993040144 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23716] ppid=23653 vsize=10931964 CPUtime=8.17 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23716/stat : 23716 (java) S 23653 23656 19746 0 -1 1077944384 8633 12593 0 0 769 38 8 2 20 0 20 0 8380273 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882661800592 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23717] ppid=23653 vsize=10931964 CPUtime=8.05 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23717/stat : 23717 (java) S 23653 23656 19746 0 -1 1077944384 6735 12593 0 0 757 38 8 2 20 0 20 0 8380273 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882660747792 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23718] ppid=23653 vsize=10931964 CPUtime=8.14 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23718/stat : 23718 (java) S 23653 23656 19746 0 -1 1077944384 3926 12593 0 0 765 39 8 2 20 0 20 0 8380273 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882659694992 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23719] ppid=23653 vsize=10931964 CPUtime=8.26 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23719/stat : 23719 (java) S 23653 23656 19746 0 -1 1077944384 8352 12593 0 0 780 36 8 2 20 0 20 0 8380273 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882658642192 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23720] ppid=23653 vsize=10931964 CPUtime=6.7 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23720/stat : 23720 (java) S 23653 23656 19746 0 -1 1077944384 15794 12593 0 0 625 35 8 2 20 0 20 0 8380275 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882265664368 139883059518082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23721] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23721/stat : 23721 (java) S 23653 23656 19746 0 -1 1077944384 50 12593 0 0 0 0 8 2 20 0 20 0 8380276 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882264610400 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23722] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23722/stat : 23722 (java) S 23653 23656 19746 0 -1 1077944384 45 12593 0 0 0 0 8 2 20 0 20 0 8380276 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882263557504 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23723] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23723/stat : 23723 (java) S 23653 23656 19746 0 -1 1077944384 1 12593 0 0 0 0 8 2 20 0 20 0 8380280 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882262505808 139883059525531 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23724] ppid=23653 vsize=10931964 CPUtime=8.31 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23724/stat : 23724 (java) S 23653 23656 19746 0 -1 1077944384 18595 12593 0 0 814 7 8 2 20 0 20 0 8380280 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882261453168 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23725] ppid=23653 vsize=10931964 CPUtime=8.78 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23725/stat : 23725 (java) S 23653 23656 19746 0 -1 1077944384 17081 12593 0 0 863 5 8 2 20 0 20 0 8380280 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882260400368 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23726] ppid=23653 vsize=10931964 CPUtime=8.45 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23726/stat : 23726 (java) S 23653 23656 19746 0 -1 1077944384 15116 12593 0 0 830 5 8 2 20 0 20 0 8380280 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882259347568 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23727] ppid=23653 vsize=10931964 CPUtime=4.52 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23727/stat : 23727 (java) S 23653 23656 19746 0 -1 1077944384 27580 12593 0 0 434 8 8 2 20 0 20 0 8380280 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882258294768 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23728] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23728/stat : 23728 (java) S 23653 23656 19746 0 -1 1077944384 3 12593 0 0 0 0 8 2 20 0 20 0 8380280 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882257243232 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23729] ppid=23653 vsize=10931964 CPUtime=1.17 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23729/stat : 23729 (java) S 23653 23656 19746 0 -1 1077944384 1222 12593 0 0 56 51 8 2 20 0 20 0 8380280 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882256190512 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 Current children cumulated CPU time (s) 2286.1 Current children cumulated vsize (KiB) 10931964 [startup+2262.3 s] /proc/loadavg: 1.64 1.45 1.43 4/281 23962 /proc/meminfo: memFree=29699196/32770624 swapFree=5920/153544 [pid=23656] ppid=23653 vsize=10931964 CPUtime=2347.61 cores=0,2,4,6,8,10,12,14 /proc/23656/stat : 23656 (java) S 23653 23656 19746 0 -1 1077944320 224996 12593 0 0 234322 429 8 2 20 0 20 0 8380260 11194331136 253975 33554432000 4194304 4196468 140737453105568 140737453088112 139883059506935 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 /proc/23656/statm: 2732991 253975 3522 1 0 2720546 0 [pid=23656/tid=23711] ppid=23653 vsize=10931964 CPUtime=2243.41 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23711/stat : 23711 (java) R 23653 23656 19746 0 -1 4202560 73762 12593 0 0 224288 43 8 2 20 0 20 0 8380272 11194331136 253975 33554432000 4194304 4196468 140737453105568 139883063741040 139882693670976 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23712] ppid=23653 vsize=10931964 CPUtime=8.54 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23712/stat : 23712 (java) S 23653 23656 19746 0 -1 1077944384 4561 12593 0 0 807 37 8 2 20 0 20 0 8380273 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882996198544 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23713] ppid=23653 vsize=10931964 CPUtime=8.41 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23713/stat : 23713 (java) S 23653 23656 19746 0 -1 1077944384 8547 12593 0 0 794 37 8 2 20 0 20 0 8380273 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882995145744 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23714] ppid=23653 vsize=10931964 CPUtime=8.39 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23714/stat : 23714 (java) S 23653 23656 19746 0 -1 1077944384 6092 12593 0 0 791 38 8 2 20 0 20 0 8380273 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882994092944 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23715] ppid=23653 vsize=10931964 CPUtime=8.43 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23715/stat : 23715 (java) S 23653 23656 19746 0 -1 1077944384 6169 12593 0 0 797 36 8 2 20 0 20 0 8380273 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882993040144 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23716] ppid=23653 vsize=10931964 CPUtime=8.4 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23716/stat : 23716 (java) S 23653 23656 19746 0 -1 1077944384 8692 12593 0 0 791 39 8 2 20 0 20 0 8380273 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882661800592 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23717] ppid=23653 vsize=10931964 CPUtime=8.29 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23717/stat : 23717 (java) S 23653 23656 19746 0 -1 1077944384 6753 12593 0 0 780 39 8 2 20 0 20 0 8380273 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882660747792 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23718] ppid=23653 vsize=10931964 CPUtime=8.36 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23718/stat : 23718 (java) S 23653 23656 19746 0 -1 1077944384 3973 12593 0 0 786 40 8 2 20 0 20 0 8380273 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882659694992 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23719] ppid=23653 vsize=10931964 CPUtime=8.49 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23719/stat : 23719 (java) S 23653 23656 19746 0 -1 1077944384 8597 12593 0 0 801 38 8 2 20 0 20 0 8380273 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882658642192 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23720] ppid=23653 vsize=10931964 CPUtime=6.87 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23720/stat : 23720 (java) S 23653 23656 19746 0 -1 1077944384 16004 12593 0 0 641 36 8 2 20 0 20 0 8380275 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882265664368 139883059518082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23721] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23721/stat : 23721 (java) S 23653 23656 19746 0 -1 1077944384 50 12593 0 0 0 0 8 2 20 0 20 0 8380276 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882264610400 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23722] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23722/stat : 23722 (java) S 23653 23656 19746 0 -1 1077944384 45 12593 0 0 0 0 8 2 20 0 20 0 8380276 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882263557504 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23723] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23723/stat : 23723 (java) S 23653 23656 19746 0 -1 1077944384 1 12593 0 0 0 0 8 2 20 0 20 0 8380280 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882262505808 139883059525531 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23724] ppid=23653 vsize=10931964 CPUtime=8.31 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23724/stat : 23724 (java) S 23653 23656 19746 0 -1 1077944384 18597 12593 0 0 814 7 8 2 20 0 20 0 8380280 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882261453168 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23725] ppid=23653 vsize=10931964 CPUtime=8.78 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23725/stat : 23725 (java) S 23653 23656 19746 0 -1 1077944384 17083 12593 0 0 863 5 8 2 20 0 20 0 8380280 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882260400368 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23726] ppid=23653 vsize=10931964 CPUtime=8.45 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23726/stat : 23726 (java) S 23653 23656 19746 0 -1 1077944384 15118 12593 0 0 830 5 8 2 20 0 20 0 8380280 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882259347568 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23727] ppid=23653 vsize=10931964 CPUtime=4.52 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23727/stat : 23727 (java) S 23653 23656 19746 0 -1 1077944384 27582 12593 0 0 434 8 8 2 20 0 20 0 8380280 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882258294768 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23728] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23728/stat : 23728 (java) S 23653 23656 19746 0 -1 1077944384 3 12593 0 0 0 0 8 2 20 0 20 0 8380280 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882257243232 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23729] ppid=23653 vsize=10931964 CPUtime=1.2 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23729/stat : 23729 (java) S 23653 23656 19746 0 -1 1077944384 1238 12593 0 0 57 53 8 2 20 0 20 0 8380280 11194331136 253975 33554432000 4194304 4196468 140737453105568 139882256190512 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 Current children cumulated CPU time (s) 2347.61 Current children cumulated vsize (KiB) 10931964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2313.41 s] /proc/loadavg: 2.13 1.59 1.47 3/281 23963 /proc/meminfo: memFree=29718884/32770624 swapFree=5920/153596 [pid=23656] ppid=23653 vsize=10931964 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14 /proc/23656/stat : 23656 (java) S 23653 23656 19746 0 -1 1077944320 226589 12593 0 0 239557 436 8 2 20 0 20 0 8380260 11194331136 252563 33554432000 4194304 4196468 140737453105568 140737453088112 139883059506935 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 /proc/23656/statm: 2732991 252563 3522 1 0 2720546 0 [pid=23656/tid=23711] ppid=23653 vsize=10931964 CPUtime=2294.09 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23711/stat : 23711 (java) R 23653 23656 19746 0 -1 4202560 74428 12593 0 0 229355 44 8 2 20 0 20 0 8380272 11194331136 252563 33554432000 4194304 4196468 140737453105568 139883063741120 139882694525697 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23712] ppid=23653 vsize=10931964 CPUtime=8.72 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23712/stat : 23712 (java) S 23653 23656 19746 0 -1 1077944384 4601 12593 0 0 825 37 8 2 20 0 20 0 8380273 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882996198544 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23713] ppid=23653 vsize=10931964 CPUtime=8.61 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23713/stat : 23713 (java) S 23653 23656 19746 0 -1 1077944384 8638 12593 0 0 813 38 8 2 20 0 20 0 8380273 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882995145744 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23714] ppid=23653 vsize=10931964 CPUtime=8.59 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23714/stat : 23714 (java) S 23653 23656 19746 0 -1 1077944384 6159 12593 0 0 811 38 8 2 20 0 20 0 8380273 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882994092944 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23715] ppid=23653 vsize=10931964 CPUtime=8.63 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23715/stat : 23715 (java) S 23653 23656 19746 0 -1 1077944384 6424 12593 0 0 816 37 8 2 20 0 20 0 8380273 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882993040144 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23716] ppid=23653 vsize=10931964 CPUtime=8.6 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23716/stat : 23716 (java) S 23653 23656 19746 0 -1 1077944384 8785 12593 0 0 810 40 8 2 20 0 20 0 8380273 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882661800592 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23717] ppid=23653 vsize=10931964 CPUtime=8.49 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23717/stat : 23717 (java) S 23653 23656 19746 0 -1 1077944384 6781 12593 0 0 799 40 8 2 20 0 20 0 8380273 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882660747792 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23718] ppid=23653 vsize=10931964 CPUtime=8.55 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23718/stat : 23718 (java) S 23653 23656 19746 0 -1 1077944384 4057 12593 0 0 804 41 8 2 20 0 20 0 8380273 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882659694992 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23719] ppid=23653 vsize=10931964 CPUtime=8.67 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23719/stat : 23719 (java) S 23653 23656 19746 0 -1 1077944384 8629 12593 0 0 819 38 8 2 20 0 20 0 8380273 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882658642192 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23720] ppid=23653 vsize=10931964 CPUtime=7.02 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23720/stat : 23720 (java) S 23653 23656 19746 0 -1 1077944384 16214 12593 0 0 656 36 8 2 20 0 20 0 8380275 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882265664368 139883059518082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23721] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23721/stat : 23721 (java) S 23653 23656 19746 0 -1 1077944384 50 12593 0 0 0 0 8 2 20 0 20 0 8380276 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882264610400 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23722] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23722/stat : 23722 (java) S 23653 23656 19746 0 -1 1077944384 45 12593 0 0 0 0 8 2 20 0 20 0 8380276 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882263557504 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23723] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23723/stat : 23723 (java) S 23653 23656 19746 0 -1 1077944384 1 12593 0 0 0 0 8 2 20 0 20 0 8380280 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882262505808 139883059525531 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23724] ppid=23653 vsize=10931964 CPUtime=8.31 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23724/stat : 23724 (java) S 23653 23656 19746 0 -1 1077944384 18600 12593 0 0 814 7 8 2 20 0 20 0 8380280 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882261453168 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23725] ppid=23653 vsize=10931964 CPUtime=8.78 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23725/stat : 23725 (java) S 23653 23656 19746 0 -1 1077944384 17085 12593 0 0 863 5 8 2 20 0 20 0 8380280 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882260400368 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23726] ppid=23653 vsize=10931964 CPUtime=8.45 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23726/stat : 23726 (java) S 23653 23656 19746 0 -1 1077944384 15121 12593 0 0 830 5 8 2 20 0 20 0 8380280 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882259347568 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23727] ppid=23653 vsize=10931964 CPUtime=4.52 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23727/stat : 23727 (java) S 23653 23656 19746 0 -1 1077944384 27588 12593 0 0 434 8 8 2 20 0 20 0 8380280 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882258294768 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23728] ppid=23653 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23728/stat : 23728 (java) S 23653 23656 19746 0 -1 1077944384 3 12593 0 0 0 0 8 2 20 0 20 0 8380280 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882257243232 139883059517141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 [pid=23656/tid=23729] ppid=23653 vsize=10931964 CPUtime=1.23 cores=0,2,4,6,8,10,12,14 /proc/23656/task/23729/stat : 23729 (java) S 23653 23656 19746 0 -1 1077944384 1251 12593 0 0 59 54 8 2 20 0 20 0 8380280 11194331136 252563 33554432000 4194304 4196468 140737453105568 139882256190512 139883059518082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6320128 140737453112001 140737453114775 140737453114775 140737453117391 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 10931964 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 23656 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2313.44 CPU time (s): 2400.1 CPU user time (s): 2395.69 CPU system time (s): 4.40694 CPU usage (%): 103.746 Max. virtual memory (cumulated for all children) (KiB): 10933920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2395.69 system time used= 4.40695 maximum resident set size= 1106432 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 240618 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2672 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 299970 involuntary context switches= 179188 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.5253 second user time and 21.0072 second system time The end
Begin job on node106 at 2017-07-22 15:45:06 IDJOB=4247402 IDBENCH=126989 IDSOLVER=2630 FILE ID=node106/4247402-1500731106 RUNJOBID= node106-1500714764-19777 PBS_JOBID= 20623356 Free space on /tmp= 61936 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-042.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247402-1500731106/watcher-4247402-1500731106 -o /tmp/evaluation-result-4247402-1500731106/solver-4247402-1500731106 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500714764-19777 --watchdog 2560 bin/concrete HOME/instance-4247402-1500731106.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 406abf126875c7059afeaa5170034bef RANDOM SEED=2129901216 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 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.15 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 : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.15 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 : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.15 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.15 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 : 2000.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31428588 kB MemAvailable: 31636136 kB Buffers: 158580 kB Cached: 321264 kB SwapCached: 0 kB Active: 686920 kB Inactive: 205088 kB Active(anon): 369828 kB Inactive(anon): 54128 kB Active(file): 317092 kB Inactive(file): 150960 kB Unevictable: 5920 kB Mlocked: 5920 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24524 kB Writeback: 0 kB AnonPages: 365228 kB Mapped: 44668 kB Shmem: 8852 kB Slab: 145192 kB SReclaimable: 110664 kB SUnreclaim: 34528 kB KernelStack: 4848 kB PageTables: 6260 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1348392 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 153600 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61912 MiB End job on node106 at 2017-07-22 16:23:39