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) | 160 | 2400.1 | 2315.84 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml |
| MD5SUM | 4e9e0842de773da2d9de44121d9bf85e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 136 |
| Best CPU time to get the best result obtained on this benchmark | 19993 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1639 |
| Number of constraints | 858 |
| Number of domains | 79 |
| Minimum domain size | 2 |
| Maximum domain size | 79 |
| Distribution of domain sizes | [{"size":2,"count":821},{"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":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"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}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 39 |
| Distribution of variable degrees | [{"degree":0,"count":741},{"degree":2,"count":858},{"degree":39,"count":40}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 40 |
| Distribution of constraint arities | [{"arity":2,"count":40},{"arity":3,"count":781},{"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}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 819 |
| Distribution of constraint types | [{"type":"intension","count":819},{"type":"sum","count":39}] |
| Optimization problem | YES |
| Type of objective | min SUM |
4.09/2.34 c Concrete v3.4 running 16.78/5.64 o 20540 17.18/5.71 o 16432 17.18/5.76 o 12820 17.60/5.80 o 9928 18.02/5.91 o 4336 18.02/5.94 o 4020 18.02/5.98 o 3692 18.44/6.01 o 3348 18.44/6.03 o 2988 18.44/6.06 o 2976 18.88/6.17 o 2928 18.88/6.19 o 1696 19.53/6.32 o 1568 19.53/6.34 o 640 19.53/6.37 o 588 19.93/6.47 o 572 19.93/6.49 o 404 20.42/6.66 o 384 20.70/6.81 o 372 21.99/7.82 o 288 38.51/22.17 o 268 114.47/92.10 o 264 134.62/110.44 o 248 138.01/113.54 o 228 138.01/113.55 o 224 180.39/151.98 o 220 441.35/404.63 o 208 494.66/456.76 o 176 567.44/527.71 o 160 2400.01/2315.81 java.util.concurrent.TimeoutException 2400.01/2315.81 at concrete.MAC.mac(MAC.scala:74) 2400.01/2315.81 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 2400.01/2315.81 at scala.util.Try$.apply(Try.scala:209) 2400.01/2315.81 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2400.01/2315.81 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2400.01/2315.81 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2400.01/2315.81 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2400.01/2315.81 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 2400.01/2315.81 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2400.01/2315.81 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2400.01/2315.81 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2400.01/2315.81 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2400.01/2315.81 at concrete.MAC.oneRun(MAC.scala:146) 2400.01/2315.81 at concrete.MAC.nextSolution(MAC.scala:166) 2400.01/2315.81 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 2400.01/2315.81 at concrete.ProblemState.map(ProblemState.scala:203) 2400.01/2315.81 at concrete.ProblemState.map(ProblemState.scala:188) 2400.01/2315.81 at concrete.MAC.nextSolution(MAC.scala:195) 2400.01/2315.81 at concrete.Solver.hasNext(Solver.scala:202) 2400.01/2315.81 at scala.collection.Iterator.toStream(Iterator.scala:1403) 2400.01/2315.81 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 2400.01/2315.81 at concrete.Solver.toStream(Solver.scala:73) 2400.01/2315.81 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 2400.01/2315.81 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 2400.01/2315.81 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 2400.01/2315.81 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 2400.01/2315.81 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 2400.01/2315.81 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2400.01/2315.81 at scala.util.Success.map(Try.scala:209) 2400.01/2315.81 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 2400.01/2315.81 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 2400.01/2315.81 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.01/2315.81 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 2400.01/2315.81 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.01/2315.81 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2400.01/2315.81 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2400.01/2315.81 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2400.01/2315.81 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2400.01/2315.81 at scala.collection.immutable.List.foreach(List.scala:389) 2400.01/2315.81 at scala.App.main(App.scala:76) 2400.01/2315.81 at scala.App.main$(App.scala:74) 2400.01/2315.81 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.01/2315.81 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.01/2315.83 v <instantiation cost="160"> 2400.01/2315.83 v <list> 2400.01/2315.83 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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[35][0] y[35][1] y[35][2] y[35][3] y[36][0] y[36][1] y[36][2] y[37][0] y[37][1] y[38][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] 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] 2400.01/2315.83 v </list> 2400.01/2315.83 v <values> 2400.01/2315.83 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 5 -2 1 4 1 0 1 0 -3 0 3 2 -1 0 1 0 -1 -2 3 -2 1 2 -3 0 -1 -4 1 -2 1 0 -1 -4 -1 0 3 0 -1 -2 -1 25 4 1 16 1 0 1 0 9 0 9 4 1 0 1 0 1 4 9 4 1 4 9 0 1 16 1 4 1 0 1 16 1 0 9 0 1 4 1 2400.01/2315.83 v </values> 2400.01/2315.83 v </instantiation> 2400.01/2315.83 s SATISFIABLE
OK 160
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-4247458-1500732360/watcher-4247458-1500732360 -o /tmp/evaluation-result-4247458-1500732360/solver-4247458-1500732360 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500718419-12025 --watchdog 2560 bin/concrete HOME/instance-4247458-1500732360.xml pid=15346 running on 8 cores: 1,3,5,7,9,11,13,15 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.37 1.85 1.76 4/261 15349 /proc/meminfo: memFree=30718628/32770624 swapFree=6384/335088 [pid=15349] ppid=15346 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15349/stat : 15349 (bash) S 15346 15349 11993 0 -1 4202496 687 1531 0 0 0 0 0 0 20 0 1 0 8503660 9736192 350 33554432000 4194304 5098028 140735404860016 140735404857656 140592849136640 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 22294528 140735404864782 140735404864867 140735404864867 140735404867566 0 /proc/15349/statm: 2377 350 277 221 0 86 0 [startup+0.100169 s] /proc/loadavg: 2.37 1.85 1.76 4/261 15349 /proc/meminfo: memFree=30718628/32770624 swapFree=6384/335088 [pid=15349] ppid=15346 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/15349/stat : 15349 (bash) S 15346 15349 11993 0 -1 4202496 885 6416 0 0 0 0 0 1 20 0 1 0 8503660 9871360 378 33554432000 4194304 5098028 140735404860016 140735404854024 140592849136640 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 22294528 140735404864782 140735404864867 140735404864867 140735404867566 0 /proc/15349/statm: 2410 378 296 221 0 119 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9640 [startup+0.200304 s] /proc/loadavg: 2.37 1.85 1.76 4/261 15349 /proc/meminfo: memFree=30718628/32770624 swapFree=6384/335088 [pid=15349] ppid=15346 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/15349/stat : 15349 (java) S 15346 15349 11993 0 -1 1077944320 4926 12678 0 0 5 1 9 3 20 0 13 0 8503660 10686320640 4788 33554432000 4194304 4196468 140728965788736 140728965771280 140642698071799 0 0 0 16784584 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 /proc/15349/statm: 2608965 4788 2138 1 0 2597403 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 10435860 [startup+0.300327 s] /proc/loadavg: 2.37 1.85 1.76 4/261 15349 /proc/meminfo: memFree=30718628/32770624 swapFree=6384/335088 [pid=15349] ppid=15346 vsize=10902292 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/15349/stat : 15349 (java) S 15346 15349 11993 0 -1 1077944320 6972 12678 0 0 21 2 9 3 20 0 20 0 8503660 11163947008 8160 33554432000 4194304 4196468 140728965788736 140728965771280 140642698071799 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 /proc/15349/statm: 2725573 8160 2954 1 0 2713890 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 10902292 [startup+0.70025 s] /proc/loadavg: 2.37 1.85 1.76 4/261 15349 /proc/meminfo: memFree=30718628/32770624 swapFree=6384/335088 [pid=15349] ppid=15346 vsize=10902720 CPUtime=0.87 cores=1,3,5,7,9,11,13,15 /proc/15349/stat : 15349 (java) S 15346 15349 11993 0 -1 1077944320 12164 12678 0 0 71 4 9 3 20 0 20 0 8503660 11164385280 14468 33554432000 4194304 4196468 140728965788736 140728965771280 140642698071799 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 /proc/15349/statm: 2725680 14468 3150 1 0 2713890 0 Current children cumulated CPU time (s) 0.87 Current children cumulated vsize (KiB) 10902720 [startup+1.50101 s] /proc/loadavg: 2.42 1.87 1.76 4/281 15422 /proc/meminfo: memFree=30623232/32770624 swapFree=6384/335404 [pid=15349] ppid=15346 vsize=10913344 CPUtime=2.08 cores=1,3,5,7,9,11,13,15 /proc/15349/stat : 15349 (java) S 15346 15349 11993 0 -1 1077944320 24302 12678 0 0 188 8 9 3 20 0 20 0 8503660 11175264256 34434 33554432000 4194304 4196468 140728965788736 140728965771280 140642698071799 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 /proc/15349/statm: 2728336 34434 3371 1 0 2716450 0 [pid=15349/tid=15404] ppid=15346 vsize=10913344 CPUtime=1.45 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15404/stat : 15404 (java) R 15346 15349 11993 0 -1 4202560 18163 12678 0 0 128 5 9 3 20 0 20 0 8503674 11175264256 34434 33554432000 4194304 4196468 140728965788736 140642702304496 140642682152286 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15405] ppid=15346 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15405/stat : 15405 (java) S 15346 15349 11993 0 -1 1077944384 1 12678 0 0 0 0 9 3 20 0 20 0 8503675 11175264256 34434 33554432000 4194304 4196468 140728965788736 140642665630224 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15406] ppid=15346 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15406/stat : 15406 (java) S 15346 15349 11993 0 -1 1077944384 3 12678 0 0 0 0 9 3 20 0 20 0 8503675 11175264256 34434 33554432000 4194304 4196468 140728965788736 140642664577680 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15407] ppid=15346 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15407/stat : 15407 (java) S 15346 15349 11993 0 -1 1077944384 1 12678 0 0 0 0 9 3 20 0 20 0 8503675 11175264256 34434 33554432000 4194304 4196468 140728965788736 140642303273232 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15408] ppid=15346 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15408/stat : 15408 (java) S 15346 15349 11993 0 -1 1077944384 2 12678 0 0 0 0 9 3 20 0 20 0 8503675 11175264256 34434 33554432000 4194304 4196468 140728965788736 140642302220688 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15409] ppid=15346 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15409/stat : 15409 (java) S 15346 15349 11993 0 -1 1077944384 3 12678 0 0 0 0 9 3 20 0 20 0 8503675 11175264256 34434 33554432000 4194304 4196468 140728965788736 140642301168656 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15410] ppid=15346 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15410/stat : 15410 (java) S 15346 15349 11993 0 -1 1077944384 2 12678 0 0 0 0 9 3 20 0 20 0 8503675 11175264256 34434 33554432000 4194304 4196468 140728965788736 140642300116112 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15411] ppid=15346 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15411/stat : 15411 (java) S 15346 15349 11993 0 -1 1077944384 1 12678 0 0 0 0 9 3 20 0 20 0 8503675 11175264256 34434 33554432000 4194304 4196468 140728965788736 140642299063056 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15412] ppid=15346 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15412/stat : 15412 (java) S 15346 15349 11993 0 -1 1077944384 1 12678 0 0 0 0 9 3 20 0 20 0 8503675 11175264256 34434 33554432000 4194304 4196468 140728965788736 140642298010512 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15413] ppid=15346 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15413/stat : 15413 (java) S 15346 15349 11993 0 -1 1077944384 5 12678 0 0 0 0 9 3 20 0 20 0 8503677 11175264256 34434 33554432000 4194304 4196468 140728965788736 140641447143664 140642698082946 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15414] ppid=15346 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15414/stat : 15414 (java) S 15346 15349 11993 0 -1 1077944384 33 12678 0 0 0 0 9 3 20 0 20 0 8503678 11175264256 34434 33554432000 4194304 4196468 140728965788736 140641446089888 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15415] ppid=15346 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15415/stat : 15415 (java) S 15346 15349 11993 0 -1 1077944384 21 12678 0 0 0 0 9 3 20 0 20 0 8503679 11175264256 34434 33554432000 4194304 4196468 140728965788736 140641445036784 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15416] ppid=15346 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15416/stat : 15416 (java) S 15346 15349 11993 0 -1 1077944384 1 12678 0 0 0 0 9 3 20 0 20 0 8503683 11175264256 34434 33554432000 4194304 4196468 140728965788736 140641443985360 140642698090395 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15417] ppid=15346 vsize=10913344 CPUtime=0.2 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15417/stat : 15417 (java) S 15346 15349 11993 0 -1 1077944384 826 12678 0 0 8 0 9 3 20 0 20 0 8503683 11175264256 34434 33554432000 4194304 4196468 140728965788736 140641442933488 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15418] ppid=15346 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15418/stat : 15418 (java) S 15346 15349 11993 0 -1 1077944384 420 12678 0 0 11 0 9 3 20 0 20 0 8503683 11175264256 34434 33554432000 4194304 4196468 140728965788736 140641441880944 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15419] ppid=15346 vsize=10913344 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15419/stat : 15419 (java) R 15346 15349 11993 0 -1 4202560 1630 12678 0 0 16 0 9 3 20 0 20 0 8503683 11175264256 34434 33554432000 4194304 4196468 140728965788736 140641440828184 140642675796832 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15420] ppid=15346 vsize=10913344 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15420/stat : 15420 (java) S 15346 15349 11993 0 -1 1077944384 1051 12678 0 0 23 0 9 3 20 0 20 0 8503683 11175264256 34434 33554432000 4194304 4196468 140728965788736 140641439775344 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15421] ppid=15346 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15421/stat : 15421 (java) S 15346 15349 11993 0 -1 1077944384 3 12678 0 0 0 0 9 3 20 0 20 0 8503683 11175264256 34434 33554432000 4194304 4196468 140728965788736 140641438722528 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15422] ppid=15346 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15422/stat : 15422 (java) S 15346 15349 11993 0 -1 1077944384 3 12678 0 0 0 0 9 3 20 0 20 0 8503683 11175264256 34434 33554432000 4194304 4196468 140728965788736 140641437670064 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 Current children cumulated CPU time (s) 2.08 Current children cumulated vsize (KiB) 10913344 [startup+3.10116 s] /proc/loadavg: 2.42 1.87 1.76 6/281 15422 /proc/meminfo: memFree=30543812/32770624 swapFree=6384/335404 [pid=15349] ppid=15346 vsize=10923772 CPUtime=6.48 cores=1,3,5,7,9,11,13,15 /proc/15349/stat : 15349 (java) S 15346 15349 11993 0 -1 1077944320 38005 12678 0 0 615 21 9 3 20 0 20 0 8503660 11185942528 52442 33554432000 4194304 4196468 140728965788736 140728965771280 140642698071799 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 /proc/15349/statm: 2730943 52442 3479 1 0 2718498 0 [pid=15349/tid=15404] ppid=15346 vsize=10923772 CPUtime=3.01 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15404/stat : 15404 (java) R 15346 15349 11993 0 -1 4202560 24401 12678 0 0 282 7 9 3 20 0 20 0 8503674 11185942528 52442 33554432000 4194304 4196468 140728965788736 140642702301696 140642343956935 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15405] ppid=15346 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15405/stat : 15405 (java) S 15346 15349 11993 0 -1 1077944384 25 12678 0 0 1 0 9 3 20 0 20 0 8503675 11185942528 52442 33554432000 4194304 4196468 140728965788736 140642665630224 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15406] ppid=15346 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15406/stat : 15406 (java) S 15346 15349 11993 0 -1 1077944384 14 12678 0 0 0 0 9 3 20 0 20 0 8503675 11185942528 52442 33554432000 4194304 4196468 140728965788736 140642664577680 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15407] ppid=15346 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15407/stat : 15407 (java) S 15346 15349 11993 0 -1 1077944384 24 12678 0 0 0 0 9 3 20 0 20 0 8503675 11185942528 52442 33554432000 4194304 4196468 140728965788736 140642303273232 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15408] ppid=15346 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15408/stat : 15408 (java) S 15346 15349 11993 0 -1 1077944384 132 12678 0 0 0 0 9 3 20 0 20 0 8503675 11185942528 52442 33554432000 4194304 4196468 140728965788736 140642302220688 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15409] ppid=15346 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15409/stat : 15409 (java) S 15346 15349 11993 0 -1 1077944384 30 12678 0 0 1 0 9 3 20 0 20 0 8503675 11185942528 52442 33554432000 4194304 4196468 140728965788736 140642301168656 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15410] ppid=15346 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15410/stat : 15410 (java) S 15346 15349 11993 0 -1 1077944384 15 12678 0 0 1 0 9 3 20 0 20 0 8503675 11185942528 52442 33554432000 4194304 4196468 140728965788736 140642300116112 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15411] ppid=15346 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15411/stat : 15411 (java) S 15346 15349 11993 0 -1 1077944384 30 12678 0 0 1 0 9 3 20 0 20 0 8503675 11185942528 52442 33554432000 4194304 4196468 140728965788736 140642299063056 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15412] ppid=15346 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15412/stat : 15412 (java) S 15346 15349 11993 0 -1 1077944384 22 12678 0 0 0 0 9 3 20 0 20 0 8503675 11185942528 52442 33554432000 4194304 4196468 140728965788736 140642298010512 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15413] ppid=15346 vsize=10923772 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15413/stat : 15413 (java) S 15346 15349 11993 0 -1 1077944384 523 12678 0 0 2 0 9 3 20 0 20 0 8503677 11185942528 52442 33554432000 4194304 4196468 140728965788736 140641447143664 140642698082946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15414] ppid=15346 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15414/stat : 15414 (java) S 15346 15349 11993 0 -1 1077944384 55 12678 0 0 0 0 9 3 20 0 20 0 8503678 11185942528 52442 33554432000 4194304 4196468 140728965788736 140641446089952 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15415] ppid=15346 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15415/stat : 15415 (java) S 15346 15349 11993 0 -1 1077944384 44 12678 0 0 0 0 9 3 20 0 20 0 8503679 11185942528 52442 33554432000 4194304 4196468 140728965788736 140641445036800 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15416] ppid=15346 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15416/stat : 15416 (java) S 15346 15349 11993 0 -1 1077944384 1 12678 0 0 0 0 9 3 20 0 20 0 8503683 11185942528 52442 33554432000 4194304 4196468 140728965788736 140641443985360 140642698090395 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15417] ppid=15346 vsize=10923772 CPUtime=0.65 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15417/stat : 15417 (java) R 15346 15349 11993 0 -1 4202560 1516 12678 0 0 51 2 9 3 20 0 20 0 8503683 11185942528 52442 33554432000 4194304 4196468 140728965788736 140641442913968 140642677329449 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15418] ppid=15346 vsize=10923772 CPUtime=1.01 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15418/stat : 15418 (java) R 15346 15349 11993 0 -1 4202560 2755 12678 0 0 88 1 9 3 20 0 20 0 8503683 11185942528 52442 33554432000 4194304 4196468 140728965788736 140641441880944 140642676238280 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15419] ppid=15346 vsize=10923772 CPUtime=0.86 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15419/stat : 15419 (java) R 15346 15349 11993 0 -1 4202560 2738 12678 0 0 73 1 9 3 20 0 20 0 8503683 11185942528 52442 33554432000 4194304 4196468 140728965788736 140641440806128 140642679616333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15420] ppid=15346 vsize=10923772 CPUtime=1.22 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15420/stat : 15420 (java) R 15346 15349 11993 0 -1 4202560 3543 12678 0 0 109 1 9 3 20 0 20 0 8503683 11185942528 52442 33554432000 4194304 4196468 140728965788736 140641439773744 140642698093146 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15421] ppid=15346 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15421/stat : 15421 (java) S 15346 15349 11993 0 -1 1077944384 3 12678 0 0 0 0 9 3 20 0 20 0 8503683 11185942528 52442 33554432000 4194304 4196468 140728965788736 140641438722528 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15422] ppid=15346 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15422/stat : 15422 (java) S 15346 15349 11993 0 -1 1077944384 4 12678 0 0 0 0 9 3 20 0 20 0 8503683 11185942528 52442 33554432000 4194304 4196468 140728965788736 140641437670064 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 Current children cumulated CPU time (s) 6.48 Current children cumulated vsize (KiB) 10923772 [startup+6.30123 s] /proc/loadavg: 2.87 1.97 1.80 10/281 15422 /proc/meminfo: memFree=30368372/32770624 swapFree=6384/335404 [pid=15349] ppid=15346 vsize=10931964 CPUtime=19.53 cores=1,3,5,7,9,11,13,15 /proc/15349/stat : 15349 (java) S 15346 15349 11993 0 -1 1077944320 82394 12678 0 0 1906 35 9 3 20 0 20 0 8503660 11194331136 97799 33554432000 4194304 4196468 140728965788736 140728965771280 140642698071799 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 /proc/15349/statm: 2732991 97799 3504 1 0 2720546 0 [pid=15349/tid=15404] ppid=15346 vsize=10931964 CPUtime=5.86 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15404/stat : 15404 (java) R 15346 15349 11993 0 -1 4202560 39278 12678 0 0 563 11 9 3 20 0 20 0 8503674 11194331136 97799 33554432000 4194304 4196468 140728965788736 140642702305736 140642354941123 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15405] ppid=15346 vsize=10931964 CPUtime=0.31 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15405/stat : 15405 (java) S 15346 15349 11993 0 -1 1077944384 47 12678 0 0 18 1 9 3 20 0 20 0 8503675 11194331136 97799 33554432000 4194304 4196468 140728965788736 140642665630224 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15406] ppid=15346 vsize=10931964 CPUtime=0.3 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15406/stat : 15406 (java) S 15346 15349 11993 0 -1 1077944384 58 12678 0 0 17 1 9 3 20 0 20 0 8503675 11194331136 97799 33554432000 4194304 4196468 140728965788736 140642664577680 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15407] ppid=15346 vsize=10931964 CPUtime=0.3 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15407/stat : 15407 (java) S 15346 15349 11993 0 -1 1077944384 34 12678 0 0 17 1 9 3 20 0 20 0 8503675 11194331136 97799 33554432000 4194304 4196468 140728965788736 140642303273232 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15408] ppid=15346 vsize=10931964 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15408/stat : 15408 (java) S 15346 15349 11993 0 -1 1077944384 167 12678 0 0 16 1 9 3 20 0 20 0 8503675 11194331136 97799 33554432000 4194304 4196468 140728965788736 140642302220688 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15409] ppid=15346 vsize=10931964 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15409/stat : 15409 (java) S 15346 15349 11993 0 -1 1077944384 747 12678 0 0 16 1 9 3 20 0 20 0 8503675 11194331136 97799 33554432000 4194304 4196468 140728965788736 140642301168656 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15410] ppid=15346 vsize=10931964 CPUtime=0.31 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15410/stat : 15410 (java) S 15346 15349 11993 0 -1 1077944384 71 12678 0 0 18 1 9 3 20 0 20 0 8503675 11194331136 97799 33554432000 4194304 4196468 140728965788736 140642300116112 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15411] ppid=15346 vsize=10931964 CPUtime=0.31 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15411/stat : 15411 (java) S 15346 15349 11993 0 -1 1077944384 58 12678 0 0 18 1 9 3 20 0 20 0 8503675 11194331136 97799 33554432000 4194304 4196468 140728965788736 140642299063056 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15412] ppid=15346 vsize=10931964 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15412/stat : 15412 (java) S 15346 15349 11993 0 -1 1077944384 80 12678 0 0 16 1 9 3 20 0 20 0 8503675 11194331136 97799 33554432000 4194304 4196468 140728965788736 140642298010512 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15413] ppid=15346 vsize=10931964 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15413/stat : 15413 (java) S 15346 15349 11993 0 -1 1077944384 3459 12678 0 0 15 0 9 3 20 0 20 0 8503677 11194331136 97799 33554432000 4194304 4196468 140728965788736 140641447143664 140642698082946 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15414] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15414/stat : 15414 (java) S 15346 15349 11993 0 -1 1077944384 56 12678 0 0 0 0 9 3 20 0 20 0 8503678 11194331136 97799 33554432000 4194304 4196468 140728965788736 140641446089952 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15415] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15415/stat : 15415 (java) S 15346 15349 11993 0 -1 1077944384 45 12678 0 0 0 0 9 3 20 0 20 0 8503679 11194331136 97799 33554432000 4194304 4196468 140728965788736 140641445036800 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15416] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15416/stat : 15416 (java) S 15346 15349 11993 0 -1 1077944384 1 12678 0 0 0 0 9 3 20 0 20 0 8503683 11194331136 97799 33554432000 4194304 4196468 140728965788736 140641443985360 140642698090395 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15417] ppid=15346 vsize=10931964 CPUtime=3.05 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15417/stat : 15417 (java) S 15346 15349 11993 0 -1 1077944384 10482 12678 0 0 289 4 9 3 20 0 20 0 8503683 11194331136 97799 33554432000 4194304 4196468 140728965788736 140641442933488 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15418] ppid=15346 vsize=10931964 CPUtime=3.44 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15418/stat : 15418 (java) S 15346 15349 11993 0 -1 1077944384 7142 12678 0 0 331 1 9 3 20 0 20 0 8503683 11194331136 97799 33554432000 4194304 4196468 140728965788736 140641441880944 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15419] ppid=15346 vsize=10931964 CPUtime=3.28 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15419/stat : 15419 (java) S 15346 15349 11993 0 -1 1077944384 8533 12678 0 0 314 2 9 3 20 0 20 0 8503683 11194331136 97799 33554432000 4194304 4196468 140728965788736 140641440827888 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15420] ppid=15346 vsize=10931964 CPUtime=2.63 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15420/stat : 15420 (java) S 15346 15349 11993 0 -1 1077944384 9971 12678 0 0 248 3 9 3 20 0 20 0 8503683 11194331136 97799 33554432000 4194304 4196468 140728965788736 140641439775344 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15421] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=15349/tid=15418] ppid=15346 vsize=10931964 CPUtime=8.09 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15418/stat : 15418 (java) S 15346 15349 11993 0 -1 1077944384 16014 12678 0 0 792 5 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641441880944 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15419] ppid=15346 vsize=10931964 CPUtime=7.91 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15419/stat : 15419 (java) S 15346 15349 11993 0 -1 1077944384 18284 12678 0 0 773 6 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641440827888 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15420] ppid=15346 vsize=10931964 CPUtime=4.65 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15420/stat : 15420 (java) S 15346 15349 11993 0 -1 1077944384 34676 12678 0 0 445 8 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641439775344 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15421] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15421/stat : 15421 (java) S 15346 15349 11993 0 -1 1077944384 3 12678 0 0 0 0 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641438722528 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15422] ppid=15346 vsize=10931964 CPUtime=1.39 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15422/stat : 15422 (java) S 15346 15349 11993 0 -1 1077944384 803 12678 0 0 62 65 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641437670064 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 Current children cumulated CPU time (s) 2222.09 Current children cumulated vsize (KiB) 10931964 [startup+2202.31 s] /proc/loadavg: 1.51 1.54 1.52 3/281 16068 /proc/meminfo: memFree=27233672/32770624 swapFree=6384/337588 [pid=15349] ppid=15346 vsize=10931964 CPUtime=2283.59 cores=1,3,5,7,9,11,13,15 /proc/15349/stat : 15349 (java) S 15346 15349 11993 0 -1 1077944320 250553 12678 0 0 227907 440 9 3 20 0 20 0 8503660 11194331136 220043 33554432000 4194304 4196468 140728965788736 140728965771280 140642698071799 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 /proc/15349/statm: 2732991 220043 3522 1 0 2720546 0 [pid=15349/tid=15404] ppid=15346 vsize=10931964 CPUtime=2183.73 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15404/stat : 15404 (java) R 15346 15349 11993 0 -1 4202560 82560 12678 0 0 218325 36 9 3 20 0 20 0 8503674 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642702305776 140642682411997 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15405] ppid=15346 vsize=10931964 CPUtime=8.16 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15405/stat : 15405 (java) S 15346 15349 11993 0 -1 1077944384 4953 12678 0 0 767 37 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642665630224 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15406] ppid=15346 vsize=10931964 CPUtime=8.1 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15406/stat : 15406 (java) S 15346 15349 11993 0 -1 1077944384 7294 12678 0 0 760 38 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642664577680 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15407] ppid=15346 vsize=10931964 CPUtime=8.17 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15407/stat : 15407 (java) S 15346 15349 11993 0 -1 1077944384 8363 12678 0 0 769 36 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642303273232 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15408] ppid=15346 vsize=10931964 CPUtime=8.07 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15408/stat : 15408 (java) S 15346 15349 11993 0 -1 1077944384 4667 12678 0 0 757 38 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642302220688 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15409] ppid=15346 vsize=10931964 CPUtime=8.1 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15409/stat : 15409 (java) S 15346 15349 11993 0 -1 1077944384 7754 12678 0 0 758 40 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642301168656 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15410] ppid=15346 vsize=10931964 CPUtime=8.11 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15410/stat : 15410 (java) S 15346 15349 11993 0 -1 1077944384 6717 12678 0 0 760 39 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642300116112 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15411] ppid=15346 vsize=10931964 CPUtime=8.14 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15411/stat : 15411 (java) S 15346 15349 11993 0 -1 1077944384 7691 12678 0 0 762 40 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642299063056 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15412] ppid=15346 vsize=10931964 CPUtime=8.1 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15412/stat : 15412 (java) S 15346 15349 11993 0 -1 1077944384 8039 12678 0 0 760 38 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642298010512 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15413] ppid=15346 vsize=10931964 CPUtime=6.52 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15413/stat : 15413 (java) S 15346 15349 11993 0 -1 1077944384 15316 12678 0 0 603 37 9 3 20 0 20 0 8503677 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641447143664 140642698082946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15414] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15414/stat : 15414 (java) S 15346 15349 11993 0 -1 1077944384 82 12678 0 0 0 0 9 3 20 0 20 0 8503678 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641446089952 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15415] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15415/stat : 15415 (java) S 15346 15349 11993 0 -1 1077944384 45 12678 0 0 0 0 9 3 20 0 20 0 8503679 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641445036800 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15416] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15416/stat : 15416 (java) S 15346 15349 11993 0 -1 1077944384 1 12678 0 0 0 0 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641443985360 140642698090395 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15417] ppid=15346 vsize=10931964 CPUtime=7.81 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15417/stat : 15417 (java) S 15346 15349 11993 0 -1 1077944384 25135 12678 0 0 761 8 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641442933488 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15418] ppid=15346 vsize=10931964 CPUtime=8.09 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15418/stat : 15418 (java) S 15346 15349 11993 0 -1 1077944384 16016 12678 0 0 792 5 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641441880944 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15419] ppid=15346 vsize=10931964 CPUtime=7.91 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15419/stat : 15419 (java) S 15346 15349 11993 0 -1 1077944384 18286 12678 0 0 773 6 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641440827888 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15420] ppid=15346 vsize=10931964 CPUtime=4.65 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15420/stat : 15420 (java) S 15346 15349 11993 0 -1 1077944384 34678 12678 0 0 445 8 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641439775344 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15421] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15421/stat : 15421 (java) S 15346 15349 11993 0 -1 1077944384 3 12678 0 0 0 0 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641438722528 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15422] ppid=15346 vsize=10931964 CPUtime=1.43 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15422/stat : 15422 (java) S 15346 15349 11993 0 -1 1077944384 819 12678 0 0 64 67 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641437670064 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 Current children cumulated CPU time (s) 2283.59 Current children cumulated vsize (KiB) 10931964 [startup+2262.3 s] /proc/loadavg: 1.45 1.51 1.51 3/281 16069 /proc/meminfo: memFree=27162208/32770624 swapFree=6384/337616 [pid=15349] ppid=15346 vsize=10931964 CPUtime=2345.13 cores=1,3,5,7,9,11,13,15 /proc/15349/stat : 15349 (java) S 15346 15349 11993 0 -1 1077944320 251798 12678 0 0 234053 448 9 3 20 0 20 0 8503660 11194331136 220043 33554432000 4194304 4196468 140728965788736 140728965771280 140642698071799 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 /proc/15349/statm: 2732991 220043 3522 1 0 2720546 0 [pid=15349/tid=15404] ppid=15346 vsize=10931964 CPUtime=2243.18 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15404/stat : 15404 (java) R 15346 15349 11993 0 -1 4202560 83057 12678 0 0 224270 36 9 3 20 0 20 0 8503674 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642702305536 140642354620279 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15405] ppid=15346 vsize=10931964 CPUtime=8.4 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15405/stat : 15405 (java) S 15346 15349 11993 0 -1 1077944384 5028 12678 0 0 790 38 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642665630224 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15406] ppid=15346 vsize=10931964 CPUtime=8.35 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15406/stat : 15406 (java) S 15346 15349 11993 0 -1 1077944384 7350 12678 0 0 784 39 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642664577680 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15407] ppid=15346 vsize=10931964 CPUtime=8.4 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15407/stat : 15407 (java) S 15346 15349 11993 0 -1 1077944384 8428 12678 0 0 791 37 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642303273232 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15408] ppid=15346 vsize=10931964 CPUtime=8.29 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15408/stat : 15408 (java) S 15346 15349 11993 0 -1 1077944384 4693 12678 0 0 778 39 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642302220688 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15409] ppid=15346 vsize=10931964 CPUtime=8.36 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15409/stat : 15409 (java) S 15346 15349 11993 0 -1 1077944384 7774 12678 0 0 782 42 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642301168656 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15410] ppid=15346 vsize=10931964 CPUtime=8.34 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15410/stat : 15410 (java) S 15346 15349 11993 0 -1 1077944384 6943 12678 0 0 782 40 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642300116112 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15411] ppid=15346 vsize=10931964 CPUtime=8.37 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15411/stat : 15411 (java) S 15346 15349 11993 0 -1 1077944384 7704 12678 0 0 784 41 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642299063056 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15412] ppid=15346 vsize=10931964 CPUtime=8.33 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15412/stat : 15412 (java) S 15346 15349 11993 0 -1 1077944384 8072 12678 0 0 782 39 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642298010512 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15413] ppid=15346 vsize=10931964 CPUtime=6.71 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15413/stat : 15413 (java) S 15346 15349 11993 0 -1 1077944384 15526 12678 0 0 621 38 9 3 20 0 20 0 8503677 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641447143664 140642698082946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15414] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15414/stat : 15414 (java) S 15346 15349 11993 0 -1 1077944384 82 12678 0 0 0 0 9 3 20 0 20 0 8503678 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641446089952 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15415] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15415/stat : 15415 (java) S 15346 15349 11993 0 -1 1077944384 45 12678 0 0 0 0 9 3 20 0 20 0 8503679 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641445036800 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15416] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15416/stat : 15416 (java) S 15346 15349 11993 0 -1 1077944384 1 12678 0 0 0 0 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641443985360 140642698090395 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15417] ppid=15346 vsize=10931964 CPUtime=7.81 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15417/stat : 15417 (java) S 15346 15349 11993 0 -1 1077944384 25137 12678 0 0 761 8 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641442933488 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15418] ppid=15346 vsize=10931964 CPUtime=8.09 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15418/stat : 15418 (java) S 15346 15349 11993 0 -1 1077944384 16018 12678 0 0 792 5 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641441880944 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15419] ppid=15346 vsize=10931964 CPUtime=7.91 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15419/stat : 15419 (java) S 15346 15349 11993 0 -1 1077944384 18288 12678 0 0 773 6 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641440827888 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15420] ppid=15346 vsize=10931964 CPUtime=4.65 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15420/stat : 15420 (java) S 15346 15349 11993 0 -1 1077944384 34680 12678 0 0 445 8 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641439775344 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15421] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15421/stat : 15421 (java) S 15346 15349 11993 0 -1 1077944384 3 12678 0 0 0 0 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641438722528 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15422] ppid=15346 vsize=10931964 CPUtime=1.46 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15422/stat : 15422 (java) S 15346 15349 11993 0 -1 1077944384 835 12678 0 0 66 68 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641437670064 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 Current children cumulated CPU time (s) 2345.13 Current children cumulated vsize (KiB) 10931964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2315.8 s] /proc/loadavg: 1.18 1.43 1.49 3/281 16070 /proc/meminfo: memFree=27086008/32770624 swapFree=6384/337660 [pid=15349] ppid=15346 vsize=10931964 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15 /proc/15349/stat : 15349 (java) S 15346 15349 11993 0 -1 1077944320 252680 12678 0 0 239533 456 9 3 20 0 20 0 8503660 11194331136 220043 33554432000 4194304 4196468 140728965788736 140728965771280 140642698071799 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 /proc/15349/statm: 2732991 220043 3522 1 0 2720546 0 [pid=15349/tid=15404] ppid=15346 vsize=10931964 CPUtime=2296.21 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15404/stat : 15404 (java) R 15346 15349 11993 0 -1 4202560 83479 12678 0 0 229572 37 9 3 20 0 20 0 8503674 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642702305856 140642682387036 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15405] ppid=15346 vsize=10931964 CPUtime=8.62 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15405/stat : 15405 (java) S 15346 15349 11993 0 -1 1077944384 5072 12678 0 0 811 39 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642665630224 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15406] ppid=15346 vsize=10931964 CPUtime=8.56 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15406/stat : 15406 (java) S 15346 15349 11993 0 -1 1077944384 7364 12678 0 0 805 39 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642664577680 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15407] ppid=15346 vsize=10931964 CPUtime=8.59 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15407/stat : 15407 (java) S 15346 15349 11993 0 -1 1077944384 8448 12678 0 0 810 37 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642303273232 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15408] ppid=15346 vsize=10931964 CPUtime=8.49 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15408/stat : 15408 (java) S 15346 15349 11993 0 -1 1077944384 4760 12678 0 0 797 40 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642302220688 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15409] ppid=15346 vsize=10931964 CPUtime=8.56 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15409/stat : 15409 (java) S 15346 15349 11993 0 -1 1077944384 7780 12678 0 0 802 42 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642301168656 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15410] ppid=15346 vsize=10931964 CPUtime=8.54 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15410/stat : 15410 (java) S 15346 15349 11993 0 -1 1077944384 6975 12678 0 0 802 40 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642300116112 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15411] ppid=15346 vsize=10931964 CPUtime=8.58 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15411/stat : 15411 (java) S 15346 15349 11993 0 -1 1077944384 7712 12678 0 0 804 42 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642299063056 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15412] ppid=15346 vsize=10931964 CPUtime=8.54 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15412/stat : 15412 (java) S 15346 15349 11993 0 -1 1077944384 8286 12678 0 0 802 40 9 3 20 0 20 0 8503675 11194331136 220043 33554432000 4194304 4196468 140728965788736 140642298010512 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15413] ppid=15346 vsize=10931964 CPUtime=6.88 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15413/stat : 15413 (java) S 15346 15349 11993 0 -1 1077944384 15567 12678 0 0 637 39 9 3 20 0 20 0 8503677 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641447143664 140642698082946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15414] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15414/stat : 15414 (java) S 15346 15349 11993 0 -1 1077944384 82 12678 0 0 0 0 9 3 20 0 20 0 8503678 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641446089952 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15415] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15415/stat : 15415 (java) S 15346 15349 11993 0 -1 1077944384 45 12678 0 0 0 0 9 3 20 0 20 0 8503679 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641445036800 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15416] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15416/stat : 15416 (java) S 15346 15349 11993 0 -1 1077944384 1 12678 0 0 0 0 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641443985360 140642698090395 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15417] ppid=15346 vsize=10931964 CPUtime=7.81 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15417/stat : 15417 (java) S 15346 15349 11993 0 -1 1077944384 25139 12678 0 0 761 8 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641442933488 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15418] ppid=15346 vsize=10931964 CPUtime=8.09 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15418/stat : 15418 (java) S 15346 15349 11993 0 -1 1077944384 16020 12678 0 0 792 5 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641441880944 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15419] ppid=15346 vsize=10931964 CPUtime=7.91 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15419/stat : 15419 (java) S 15346 15349 11993 0 -1 1077944384 18290 12678 0 0 773 6 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641440827888 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15420] ppid=15346 vsize=10931964 CPUtime=4.65 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15420/stat : 15420 (java) S 15346 15349 11993 0 -1 1077944384 34682 12678 0 0 445 8 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641439775344 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15421] ppid=15346 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15421/stat : 15421 (java) S 15346 15349 11993 0 -1 1077944384 3 12678 0 0 0 0 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641438722528 140642698082005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 [pid=15349/tid=15422] ppid=15346 vsize=10931964 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/15349/task/15422/stat : 15422 (java) S 15346 15349 11993 0 -1 1077944384 841 12678 0 0 67 70 9 3 20 0 20 0 8503683 11194331136 220043 33554432000 4194304 4196468 140728965788736 140641437670064 140642698082946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140728965794497 140728965797271 140728965797271 140728965799887 0 Current children cumulated CPU time (s) 2400.01 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 15349 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2315.84 CPU time (s): 2400.1 CPU user time (s): 2395.47 CPU system time (s): 4.62136 CPU usage (%): 103.638 Max. virtual memory (cumulated for all children) (KiB): 10932744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2395.47 system time used= 4.62136 maximum resident set size= 973676 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 266843 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2720 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 286627 involuntary context switches= 179378 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 17.0449 second user time and 20.7445 second system time The end
Begin job on node127 at 2017-07-22 16:06:00 IDJOB=4247458 IDBENCH=127041 IDSOLVER=2630 FILE ID=node127/4247458-1500732360 RUNJOBID= node127-1500718419-12025 PBS_JOBID= 20623370 Free space on /tmp= 61876 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-040.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247458-1500732360/watcher-4247458-1500732360 -o /tmp/evaluation-result-4247458-1500732360/solver-4247458-1500732360 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500718419-12025 --watchdog 2560 bin/concrete HOME/instance-4247458-1500732360.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 4e9e0842de773da2d9de44121d9bf85e RANDOM SEED=1823724472 node127.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 : 1600.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.94 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 : 1600.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 : 2668.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.94 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 : 1600.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.94 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 : 1600.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 : 1733.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.94 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 : 1600.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 : 1600.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.94 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 : 2133.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 : 1600.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.94 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 : 2133.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 : 1600.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.94 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 : 1600.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 : 1600.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.94 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 : 1600.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: 30718680 kB MemAvailable: 31135232 kB Buffers: 144016 kB Cached: 552092 kB SwapCached: 0 kB Active: 1267400 kB Inactive: 343760 kB Active(anon): 918232 kB Inactive(anon): 8672 kB Active(file): 349168 kB Inactive(file): 335088 kB Unevictable: 6384 kB Mlocked: 6384 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24536 kB Writeback: 0 kB AnonPages: 922116 kB Mapped: 44108 kB Shmem: 8840 kB Slab: 129932 kB SReclaimable: 96264 kB SUnreclaim: 33668 kB KernelStack: 4528 kB PageTables: 7484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1715808 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 673792 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61852 MiB End job on node127 at 2017-07-22 16:44:36