Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.4 | SAT (TO) | 121 | 2520.05 | 2455.9299 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml |
| MD5SUM | d01afa5e20b7ebab190e76d647c74323 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 118 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1430 |
| Number of constraints | 142 |
| Number of domains | 11 |
| Minimum domain size | 2 |
| Maximum domain size | 132 |
| Distribution of domain sizes | [{"size":2,"count":130},{"size":71,"count":130},{"size":73,"count":130},{"size":88,"count":130},{"size":93,"count":130},{"size":104,"count":130},{"size":109,"count":130},{"size":111,"count":130},{"size":112,"count":130},{"size":117,"count":130},{"size":132,"count":130}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":1430}] |
| Minimum constraint arity | 11 |
| Maximum constraint arity | 1300 |
| Distribution of constraint arities | [{"arity":11,"count":130},{"arity":130,"count":11},{"arity":1300,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":140}] |
| Optimization problem | YES |
| Type of objective | min SUM |
3.38/2.33 c Concrete v3.4 running 14.28/6.10 o 130 14.28/6.16 o 129 14.57/6.21 o 128 14.57/6.26 o 127 14.86/6.32 o 126 14.86/6.36 o 125 15.17/6.41 o 124 21.00/9.80 o 123 674.63/640.27 o 122 709.78/674.77 o 121 2520.00/2455.90 java.util.concurrent.TimeoutException 2520.00/2455.90 at concrete.MAC.mac(MAC.scala:74) 2520.00/2455.90 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 2520.00/2455.90 at scala.util.Try$.apply(Try.scala:209) 2520.00/2455.90 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.00/2455.90 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.00/2455.90 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.00/2455.90 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.00/2455.90 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 2520.00/2455.90 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.00/2455.90 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.00/2455.90 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.00/2455.90 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.00/2455.90 at concrete.MAC.oneRun(MAC.scala:146) 2520.00/2455.90 at concrete.MAC.nextSolution(MAC.scala:166) 2520.00/2455.90 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 2520.00/2455.90 at concrete.ProblemState.map(ProblemState.scala:203) 2520.00/2455.90 at concrete.ProblemState.map(ProblemState.scala:188) 2520.00/2455.91 at concrete.MAC.nextSolution(MAC.scala:195) 2520.00/2455.91 at concrete.Solver.hasNext(Solver.scala:202) 2520.00/2455.91 at scala.collection.Iterator.toStream(Iterator.scala:1403) 2520.00/2455.91 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 2520.00/2455.91 at concrete.Solver.toStream(Solver.scala:73) 2520.00/2455.91 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 2520.00/2455.91 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 2520.00/2455.91 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 2520.00/2455.91 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 2520.00/2455.91 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 2520.00/2455.91 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.00/2455.91 at scala.util.Success.map(Try.scala:209) 2520.00/2455.91 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 2520.00/2455.91 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 2520.00/2455.91 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.00/2455.91 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 2520.00/2455.91 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.00/2455.91 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.00/2455.91 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.00/2455.91 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.00/2455.91 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.00/2455.91 at scala.collection.immutable.List.foreach(List.scala:389) 2520.00/2455.91 at scala.App.main(App.scala:76) 2520.00/2455.91 at scala.App.main$(App.scala:74) 2520.00/2455.91 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.00/2455.91 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.00/2455.91 v <instantiation cost="121"> 2520.00/2455.91 v <list> 2520.00/2455.91 v p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] 2520.00/2455.91 v </list> 2520.00/2455.91 v <values> 2520.00/2455.91 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 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 3 2 1 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 1 1 2 3 0 0 0 0 0 0 2 1 2 3 0 0 0 0 0 0 2 1 2 3 0 0 0 0 0 0 2 1 2 3 0 0 0 0 0 0 2 1 2 3 0 0 0 0 0 0 2 1 2 3 0 0 0 0 0 0 2 1 2 3 0 0 0 0 0 0 2 1 2 3 0 0 0 0 0 0 2 1 2 3 0 0 0 0 0 0 2 1 2 3 0 0 0 0 0 0 2 1 2 3 0 0 0 0 0 0 2 1 2 3 0 0 0 0 0 0 2 1 2 3 0 0 0 0 0 0 2 1 2 3 0 0 0 0 0 0 0 1 2 3 0 0 0 0 0 0 0 1 2 3 0 0 0 0 0 0 0 1 2 3 0 0 0 0 0 0 0 1 1 4 0 0 0 0 0 1 0 1 1 4 0 0 0 0 0 1 0 1 1 4 0 0 0 0 0 1 0 1 1 4 0 0 0 0 0 1 0 1 1 4 0 0 0 0 0 1 0 1 1 4 0 0 0 0 0 1 0 1 1 4 0 0 0 0 0 1 0 1 1 4 0 0 0 0 0 1 0 1 1 4 0 0 0 0 0 1 0 1 1 4 0 0 0 0 0 1 0 1 1 4 0 0 0 0 0 1 0 1 1 4 0 0 0 0 0 1 0 1 1 4 0 0 0 0 0 1 0 1 1 3 0 0 0 2 0 0 0 1 1 3 0 0 0 2 0 0 0 1 1 3 0 0 0 2 0 0 0 1 1 3 0 0 0 0 0 2 2 1 1 3 0 0 0 0 0 2 2 1 1 3 0 0 0 0 0 2 2 1 1 3 0 0 0 0 0 2 2 1 1 3 0 0 0 0 0 2 2 1 1 3 0 0 0 0 0 2 0 1 1 0 0 5 0 0 0 0 2 1 1 0 0 5 0 0 0 0 2 1 1 0 0 5 0 0 0 0 2 1 1 0 0 5 0 0 0 0 2 1 1 0 0 5 0 0 0 0 2 1 1 0 0 5 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 1 0 0 0 0 7 0 0 0 0 1 0 0 0 0 6 0 1 0 0 1 0 0 0 0 5 0 2 0 0 1 0 0 0 0 1 4 2 0 0 1 0 0 0 0 1 0 6 0 0 1 0 0 0 0 1 0 5 2 0 1 0 0 0 0 0 0 7 1 0 1 0 0 0 0 0 0 7 1 0 1 0 0 0 0 0 0 7 1 0 1 0 0 0 0 0 0 7 1 0 1 0 0 0 0 0 0 7 1 0 1 0 0 0 0 0 0 7 1 0 1 0 0 0 0 0 0 7 1 0 1 0 0 0 0 0 0 6 2 0 1 0 0 0 0 0 0 6 2 0 1 0 0 0 0 0 0 1 8 0 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 6 1 0 0 0 0 3 0 0 0 6 1 0 0 0 0 3 0 0 0 0 8 0 0 0 0 1 0 0 0 0 6 0 2 0 0 2 0 0 0 0 6 0 2 0 0 2 0 0 0 0 6 0 2 0 0 2 0 0 0 0 6 0 2 0 0 2 0 0 0 0 6 0 2 0 0 2 0 0 0 0 6 0 2 0 0 2 0 0 0 0 6 0 2 0 0 2 0 0 0 0 6 0 2 0 0 2 0 0 0 0 6 0 2 0 0 2 0 0 0 0 2 5 1 0 0 0 0 0 0 0 0 4 2 2 0 0 0 0 0 0 0 4 2 0 3 1 0 0 0 0 0 4 2 0 3 1 0 0 0 0 0 4 2 0 3 0 0 0 0 0 0 3 2 4 0 0 0 0 0 0 0 3 2 3 1 0 0 0 0 0 0 3 2 0 4 0 0 0 0 0 0 3 2 0 4 0 0 0 0 0 0 3 2 0 4 0 0 0 0 0 0 3 2 0 4 0 0 0 0 0 0 3 2 0 4 0 0 0 0 0 0 3 2 0 4 0 0 0 0 0 0 3 2 0 4 0 0 0 0 0 0 3 2 0 4 0 0 0 0 0 0 3 2 0 4 0 0 0 0 0 0 3 2 0 4 0 0 0 0 0 0 3 2 0 3 0 0 0 0 0 0 3 2 0 3 0 0 0 0 0 0 3 2 0 0 6 0 0 0 0 0 3 2 0 0 0 0 0 0 0 0 2 1 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2520.00/2455.91 v </values> 2520.00/2455.91 v </instantiation> 2520.00/2455.91 s SATISFIABLE
OK 121
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-4261885-1502435109/watcher-4261885-1502435109 -o /tmp/evaluation-result-4261885-1502435109/solver-4261885-1502435109 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580 bin/concrete HOME/instance-4261885-1502435109.xml pid=12347 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.31 1.36 1.45 3/201 12350 /proc/meminfo: memFree=27876428/32770624 swapFree=0/447736 [pid=12350] ppid=12347 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/12350/stat : 12350 (runsolver) D 12347 12350 4896 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 143163794 24240128 617 18446744073709551615 4194304 4338465 140734414279360 140734414277000 140699954483927 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 8527872 140734414287057 140734414287433 140734414287433 140734414290890 0 /proc/12350/statm: 5918 617 54 36 0 2156 0 [startup+0.100262 s] /proc/loadavg: 1.31 1.36 1.45 3/201 12350 /proc/meminfo: memFree=27876428/32770624 swapFree=0/447736 [pid=12350] ppid=12347 vsize=9508 CPUtime=0 cores=1,3,5,7 /proc/12350/stat : 12350 (bash) S 12347 12350 4896 0 -1 4202496 716 3529 0 0 0 0 0 0 20 0 1 0 143163794 9736192 355 18446744073709551615 4194304 5098028 140723539117360 140723539115000 139676807646208 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 8 0 0 7196144 7232144 31719424 140723539124756 140723539124841 140723539124841 140723539128298 0 /proc/12350/statm: 2377 355 282 221 0 86 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9508 [startup+0.20022 s] /proc/loadavg: 1.31 1.36 1.45 3/201 12350 /proc/meminfo: memFree=27876428/32770624 swapFree=0/447736 [pid=12350] ppid=12347 vsize=9636 CPUtime=0.01 cores=1,3,5,7 /proc/12350/stat : 12350 (bash) S 12347 12350 4896 0 -1 4202496 896 6476 0 0 0 0 0 1 20 0 1 0 143163794 9867264 377 18446744073709551615 4194304 5098028 140723539117360 140723539111368 139676807646208 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 8 0 0 7196144 7232144 31719424 140723539124756 140723539124841 140723539124841 140723539128298 0 /proc/12350/statm: 2409 377 296 221 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9636 [startup+0.300248 s] /proc/loadavg: 1.31 1.36 1.45 3/201 12350 /proc/meminfo: memFree=27876428/32770624 swapFree=0/447736 [pid=12350] ppid=12347 vsize=13907308 CPUtime=0.14 cores=1,3,5,7 /proc/12350/stat : 12350 (java) S 12347 12350 4896 0 -1 1077944320 5552 12665 0 0 5 1 5 3 20 0 14 0 143163794 14241083392 5223 18446744073709551615 4194304 4196468 140735316573136 140735316555680 139767795343095 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 /proc/12350/statm: 3476827 5223 2558 1 0 3466324 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 13907308 [startup+0.700226 s] /proc/loadavg: 1.31 1.36 1.45 3/201 12350 /proc/meminfo: memFree=27876428/32770624 swapFree=0/447736 [pid=12350] ppid=12347 vsize=13974784 CPUtime=0.49 cores=1,3,5,7 /proc/12350/stat : 12350 (java) S 12347 12350 4896 0 -1 1077944320 12798 12665 0 0 38 3 5 3 20 0 15 0 143163794 14310178816 13659 18446744073709551615 4194304 4196468 140735316573136 140735316555680 139767795343095 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 /proc/12350/statm: 3493696 13659 3068 1 0 3482965 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 13974784 [startup+1.50063 s] /proc/loadavg: 1.31 1.36 1.45 4/216 12413 /proc/meminfo: memFree=27798996/32770624 swapFree=0/447716 [pid=12350] ppid=12347 vsize=13985408 CPUtime=1.68 cores=1,3,5,7 /proc/12350/stat : 12350 (java) S 12347 12350 4896 0 -1 1077944320 25413 12665 0 0 152 8 5 3 20 0 15 0 143163794 14321057792 32477 18446744073709551615 4194304 4196468 140735316573136 140735316555680 139767795343095 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 /proc/12350/statm: 3496352 32477 3333 1 0 3485525 0 [pid=12350/tid=12400] ppid=12347 vsize=13985408 CPUtime=1.18 cores=1,3,5,7 /proc/12350/task/12400/stat : 12400 (java) R 12347 12350 4896 0 -1 4202560 20896 12665 0 0 104 6 5 3 20 0 15 0 143163815 14321057792 32477 18446744073709551615 4194304 4196468 140735316573136 139767799580208 139767795365021 0 4 1 16800974 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12401] ppid=12347 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12401/stat : 12401 (java) S 12347 12350 4896 0 -1 1077944384 1 12665 0 0 0 0 5 3 20 0 15 0 143163816 14321057792 32477 18446744073709551615 4194304 4196468 140735316573136 139767767185808 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12402] ppid=12347 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12402/stat : 12402 (java) S 12347 12350 4896 0 -1 1077944384 1 12665 0 0 0 0 5 3 20 0 15 0 143163816 14321057792 32477 18446744073709551615 4194304 4196468 140735316573136 139767394068752 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12403] ppid=12347 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12403/stat : 12403 (java) S 12347 12350 4896 0 -1 1077944384 1 12665 0 0 0 0 5 3 20 0 15 0 143163816 14321057792 32477 18446744073709551615 4194304 4196468 140735316573136 139767393016464 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12404] ppid=12347 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12404/stat : 12404 (java) S 12347 12350 4896 0 -1 1077944384 2 12665 0 0 0 0 5 3 20 0 15 0 143163816 14321057792 32477 18446744073709551615 4194304 4196468 140735316573136 139767391963664 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12405] ppid=12347 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12405/stat : 12405 (java) S 12347 12350 4896 0 -1 1077944384 5 12665 0 0 0 0 5 3 20 0 15 0 143163817 14321057792 32477 18446744073709551615 4194304 4196468 140735316573136 139767273941616 139767795354242 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12406] ppid=12347 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12406/stat : 12406 (java) S 12347 12350 4896 0 -1 1077944384 33 12665 0 0 0 0 5 3 20 0 15 0 143163817 14321057792 32477 18446744073709551615 4194304 4196468 140735316573136 139767272887584 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12407] ppid=12347 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12407/stat : 12407 (java) S 12347 12350 4896 0 -1 1077944384 21 12665 0 0 0 0 5 3 20 0 15 0 143163818 14321057792 32477 18446744073709551615 4194304 4196468 140735316573136 139767271835248 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12408] ppid=12347 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12408/stat : 12408 (java) S 12347 12350 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 143163820 14321057792 32477 18446744073709551615 4194304 4196468 140735316573136 139767270783568 139767795361691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12409] ppid=12347 vsize=13985408 CPUtime=0.23 cores=1,3,5,7 /proc/12350/task/12409/stat : 12409 (java) S 12347 12350 4896 0 -1 1077944384 1042 12665 0 0 15 0 5 3 20 0 15 0 143163820 14321057792 32477 18446744073709551615 4194304 4196468 140735316573136 139767269730416 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12410] ppid=12347 vsize=13985408 CPUtime=0.19 cores=1,3,5,7 /proc/12350/task/12410/stat : 12410 (java) S 12347 12350 4896 0 -1 1077944384 463 12665 0 0 11 0 5 3 20 0 15 0 143163820 14321057792 32477 18446744073709551615 4194304 4196468 140735316573136 139767268677616 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12411] ppid=12347 vsize=13985408 CPUtime=0.27 cores=1,3,5,7 /proc/12350/task/12411/stat : 12411 (java) S 12347 12350 4896 0 -1 1077944384 781 12665 0 0 19 0 5 3 20 0 15 0 143163820 14321057792 32477 18446744073709551615 4194304 4196468 140735316573136 139767267625328 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12412] ppid=12347 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12412/stat : 12412 (java) S 12347 12350 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 143163820 14321057792 32477 18446744073709551615 4194304 4196468 140735316573136 139767266572768 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12413] ppid=12347 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12413/stat : 12413 (java) S 12347 12350 4896 0 -1 1077944384 6 12665 0 0 0 0 5 3 20 0 15 0 143163837 14321057792 32477 18446744073709551615 4194304 4196468 140735316573136 139767265520560 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 Current children cumulated CPU time (s) 1.68 Current children cumulated vsize (KiB) 13985408 [startup+3.10463 s] /proc/loadavg: 1.31 1.36 1.45 4/216 12413 /proc/meminfo: memFree=27713568/32770624 swapFree=0/447716 [pid=12350] ppid=12347 vsize=13997884 CPUtime=5.35 cores=1,3,5,7 /proc/12350/stat : 12350 (java) S 12347 12350 4896 0 -1 1077944320 39352 12665 0 0 514 13 5 3 20 0 15 0 143163794 14333833216 51988 18446744073709551615 4194304 4196468 140735316573136 140735316555680 139767795343095 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 /proc/12350/statm: 3499471 51988 3445 1 0 3488085 0 [pid=12350/tid=12400] ppid=12347 vsize=13997884 CPUtime=2.75 cores=1,3,5,7 /proc/12350/task/12400/stat : 12400 (java) R 12347 12350 4896 0 -1 4202560 28097 12665 0 0 259 8 5 3 20 0 15 0 143163815 14333833216 51988 18446744073709551615 4194304 4196468 140735316573136 139767799577264 139767435676551 0 4 1 16800974 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12401] ppid=12347 vsize=13997884 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12401/stat : 12401 (java) S 12347 12350 4896 0 -1 1077944384 203 12665 0 0 0 0 5 3 20 0 15 0 143163816 14333833216 51988 18446744073709551615 4194304 4196468 140735316573136 139767767185808 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12402] ppid=12347 vsize=13997884 CPUtime=0.09 cores=1,3,5,7 /proc/12350/task/12402/stat : 12402 (java) S 12347 12350 4896 0 -1 1077944384 34 12665 0 0 1 0 5 3 20 0 15 0 143163816 14333833216 51988 18446744073709551615 4194304 4196468 140735316573136 139767394068752 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12403] ppid=12347 vsize=13997884 CPUtime=0.09 cores=1,3,5,7 /proc/12350/task/12403/stat : 12403 (java) S 12347 12350 4896 0 -1 1077944384 36 12665 0 0 1 0 5 3 20 0 15 0 143163816 14333833216 51988 18446744073709551615 4194304 4196468 140735316573136 139767393016464 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12404] ppid=12347 vsize=13997884 CPUtime=0.09 cores=1,3,5,7 /proc/12350/task/12404/stat : 12404 (java) S 12347 12350 4896 0 -1 1077944384 65 12665 0 0 1 0 5 3 20 0 15 0 143163816 14333833216 51988 18446744073709551615 4194304 4196468 140735316573136 139767391963664 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12405] ppid=12347 vsize=13997884 CPUtime=0.09 cores=1,3,5,7 /proc/12350/task/12405/stat : 12405 (java) S 12347 12350 4896 0 -1 1077944384 1483 12665 0 0 1 0 5 3 20 0 15 0 143163817 14333833216 51988 18446744073709551615 4194304 4196468 140735316573136 139767273941616 139767795354242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12406] ppid=12347 vsize=13997884 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12406/stat : 12406 (java) S 12347 12350 4896 0 -1 1077944384 56 12665 0 0 0 0 5 3 20 0 15 0 143163817 14333833216 51988 18446744073709551615 4194304 4196468 140735316573136 139767272887648 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12407] ppid=12347 vsize=13997884 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12407/stat : 12407 (java) S 12347 12350 4896 0 -1 1077944384 45 12665 0 0 0 0 5 3 20 0 15 0 143163818 14333833216 51988 18446744073709551615 4194304 4196468 140735316573136 139767271835264 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12408] ppid=12347 vsize=13997884 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12408/stat : 12408 (java) S 12347 12350 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 143163820 14333833216 51988 18446744073709551615 4194304 4196468 140735316573136 139767270783568 139767795361691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12409] ppid=12347 vsize=13997884 CPUtime=0.84 cores=1,3,5,7 /proc/12350/task/12409/stat : 12409 (java) R 12347 12350 4896 0 -1 4202560 2145 12665 0 0 76 0 5 3 20 0 15 0 143163820 14333833216 51988 18446744073709551615 4194304 4196468 140735316573136 139767269730416 139767779736657 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12410] ppid=12347 vsize=13997884 CPUtime=0.78 cores=1,3,5,7 /proc/12350/task/12410/stat : 12410 (java) S 12347 12350 4896 0 -1 1077944384 1265 12665 0 0 70 0 5 3 20 0 15 0 143163820 14333833216 51988 18446744073709551615 4194304 4196468 140735316573136 139767268677616 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12411] ppid=12347 vsize=13997884 CPUtime=1.1 cores=1,3,5,7 /proc/12350/task/12411/stat : 12411 (java) S 12347 12350 4896 0 -1 1077944384 3755 12665 0 0 101 1 5 3 20 0 15 0 143163820 14333833216 51988 18446744073709551615 4194304 4196468 140735316573136 139767267625328 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12412] ppid=12347 vsize=13997884 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12412/stat : 12412 (java) S 12347 12350 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 143163820 14333833216 51988 18446744073709551615 4194304 4196468 140735316573136 139767266572768 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12413] ppid=12347 vsize=13997884 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12413/stat : 12413 (java) S 12347 12350 4896 0 -1 1077944384 8 12665 0 0 0 0 5 3 20 0 15 0 143163837 14333833216 51988 18446744073709551615 4194304 4196468 140735316573136 139767265520560 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 Current children cumulated CPU time (s) 5.35 Current children cumulated vsize (KiB) 13997884 [startup+6.30066 s] /proc/loadavg: 1.36 1.37 1.45 5/216 12414 /proc/meminfo: memFree=27531040/32770624 swapFree=0/447720 [pid=12350] ppid=12347 vsize=14069564 CPUtime=14.86 cores=1,3,5,7 /proc/12350/stat : 12350 (java) S 12347 12350 4896 0 -1 1077944320 67469 12665 0 0 1457 21 5 3 20 0 15 0 143163794 14407233536 91601 18446744073709551615 4194304 4196468 140735316573136 140735316555680 139767795343095 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 /proc/12350/statm: 3517391 91601 3480 1 0 3506005 0 [pid=12350/tid=12400] ppid=12347 vsize=14069564 CPUtime=5.61 cores=1,3,5,7 /proc/12350/task/12400/stat : 12400 (java) R 12347 12350 4896 0 -1 4202560 43343 12665 0 0 542 11 5 3 20 0 15 0 143163815 14407233536 91601 18446744073709551615 4194304 4196468 140735316573136 139767799571664 139767452591195 0 4 1 16800974 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12401] ppid=12347 vsize=14069564 CPUtime=0.28 cores=1,3,5,7 /proc/12350/task/12401/stat : 12401 (java) S 12347 12350 4896 0 -1 1077944384 250 12665 0 0 20 0 5 3 20 0 15 0 143163816 14407233536 91601 18446744073709551615 4194304 4196468 140735316573136 139767767185808 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12402] ppid=12347 vsize=14069564 CPUtime=0.27 cores=1,3,5,7 /proc/12350/task/12402/stat : 12402 (java) S 12347 12350 4896 0 -1 1077944384 126 12665 0 0 19 0 5 3 20 0 15 0 143163816 14407233536 91601 18446744073709551615 4194304 4196468 140735316573136 139767394068752 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12403] ppid=12347 vsize=14069564 CPUtime=0.27 cores=1,3,5,7 /proc/12350/task/12403/stat : 12403 (java) S 12347 12350 4896 0 -1 1077944384 67 12665 0 0 19 0 5 3 20 0 15 0 143163816 14407233536 91601 18446744073709551615 4194304 4196468 140735316573136 139767393016464 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12404] ppid=12347 vsize=14069564 CPUtime=0.27 cores=1,3,5,7 /proc/12350/task/12404/stat : 12404 (java) S 12347 12350 4896 0 -1 1077944384 90 12665 0 0 19 0 5 3 20 0 15 0 143163816 14407233536 91601 18446744073709551615 4194304 4196468 140735316573136 139767391963664 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12405] ppid=12347 vsize=14069564 CPUtime=0.21 cores=1,3,5,7 /proc/12350/task/12405/stat : 12405 (java) S 12347 12350 4896 0 -1 1077944384 2178 12665 0 0 13 0 5 3 20 0 15 0 143163817 14407233536 91601 18446744073709551615 4194304 4196468 140735316573136 139767273941616 139767795354242 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12406] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12406/stat : 12406 (java) S 12347 12350 4896 0 -1 1077944384 57 12665 0 0 0 0 5 3 20 0 15 0 143163817 14407233536 91601 18446744073709551615 4194304 4196468 140735316573136 139767272887712 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12407] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12407/stat : 12407 (java) S 12347 12350 4896 0 -1 1077944384 46 12665 0 0 0 0 5 3 20 0 15 0 143163818 14407233536 91601 18446744073709551615 4194304 4196468 140735316573136 139767271835264 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12408] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12408/stat : 12408 (java) S 12347 12350 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 143163820 14407233536 91601 18446744073709551615 4194304 4196468 140735316573136 139767270783568 139767795361691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12409] ppid=12347 vsize=14069564 CPUtime=3.4 cores=1,3,5,7 /proc/12350/task/12409/stat : 12409 (java) R 12347 12350 4896 0 -1 4202560 7494 12665 0 0 331 1 5 3 20 0 15 0 143163820 14407233536 91601 18446744073709551615 4194304 4196468 140735316573136 139767269716384 139767774589589 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12410] ppid=12347 vsize=14069564 CPUtime=3.19 cores=1,3,5,7 /proc/12350/task/12410/stat : 12410 (java) R 12347 12350 4896 0 -1 4202560 5902 12665 0 0 310 1 5 3 20 0 15 0 143163820 14407233536 91601 18446744073709551615 4194304 4196468 140735316573136 139767268664144 139767772938132 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12411] ppid=12347 vsize=14069564 CPUtime=1.89 cores=1,3,5,7 /proc/12350/task/12411/stat : 12411 (java) S 12347 12350 4896 0 -1 1077944384 5745 12665 0 0 179 2 5 3 20 0 15 0 143163820 14407233536 91601 18446744073709551615 4194304 4196468 140735316573136 139767267625328 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12412] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12412/stat : 12412 (java) S 12347 12350 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 143163820 14407233536 91601 18446744073709551615 4194304 4196468 140735316573136 139767266572768 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12413] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12413/stat : 12413 (java) S 12347 12350 4896 0 -1 1077944384 10 12665 0 0 0 0 5 3 20 0 15 0 143163837 14407233536 91601 18446744073709551615 4194304 4196468 140735316573136 139767265520560 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 Current children cumulated CPU time (s) 14.86 Current children cumulated vsize (KiB) 14069564 [startup+12.7007 s] /proc/loadavg: 1.33 1.36 1.45 3/216 12414 /proc/meminfo: memFree=27370692/32770624 swapFree=0/447704 [pid=12350] ppid=12347 vsize=14069564 CPUtime=25.28 cores=1,3,5,7 /proc/12350/stat : 12350 (java) S 12347 12350 4896 0 -1 1077944320 81185 12665 0 0 2490 30 5 3 20 0 15 0 143163794 14407233536 136529 18446744073709551615 4194304 4196468 140735316573136 140735316555680 139767795343095 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 /proc/12350/statm: 3517391 136529 3483 1 0 3506005 0 [pid=12350/tid=12400] ppid=12347 vsize=14069564 CPUtime=11.96 cores=1,3,5,7 /proc/12350/task/12400/stat : 12400 (java) R 12347 12350 4896 0 -1 4202560 45320 12665 0 0 1175 13 5 3 20 0 15 0 143163815 14407233536 136529 18446744073709551615 4194304 4196468 140735316573136 139767799573296 139767437201865 0 4 1 16800974 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12401] ppid=12347 vsize=14069564 CPUtime=0.3 cores=1,3,5,7 /proc/12350/task/12401/stat : 12401 (java) S 12347 12350 4896 0 -1 1077944384 311 12665 0 0 21 1 5 3 20 0 15 0 143163816 14407233536 136529 18446744073709551615 4194304 4196468 140735316573136 139767767185808 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12402] ppid=12347 vsize=14069564 CPUtime=0.3 cores=1,3,5,7 /proc/12350/task/12402/stat : 12402 (java) S 12347 12350 4896 0 -1 1077944384 486 12665 0 0 21 1 5 3 20 0 15 0 143163816 14407233536 136529 18446744073709551615 4194304 4196468 140735316573136 139767394068752 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12403] ppid=12347 vsize=14069564 CPUtime=0.3 cores=1,3,5,7 /proc/12350/task/12403/stat : 12403 (java) S 12347 12350 4896 0 -1 1077944384 113 12665 0 0 21 1 5 3 20 0 15 0 143163816 14407233536 136529 18446744073709551615 4194304 4196468 140735316573136 139767393016464 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12404] ppid=12347 vsize=14069564 CPUtime=0.3 cores=1,3,5,7 /proc/12350/task/12404/stat : 12404 (java) S 12347 12350 4896 0 -1 1077944384 833 12665 0 0 21 1 5 3 20 0 15 0 143163816 14407233536 136529 18446744073709551615 4194304 4196468 140735316573136 139767391963664 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12405] ppid=12347 vsize=14069564 CPUtime=0.22 cores=1,3,5,7 /proc/12350/task/12405/stat : 12405 (java) S 12347 12350 4896 0 -1 1077944384 2541 12665 0 0 14 0 5 3 20 0 15 0 143163817 14407233536 136529 18446744073709551615 4194304 4196468 140735316573136 139767273941616 139767795354242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12406] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12406/stat : 12406 (java) S 12347 12350 4896 0 -1 1077944384 59 12665 0 0 0 0 5 3 20 0 15 0 143163817 14407233536 136529 18446744073709551615 4194304 4196468 140735316573136 139767272887712 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12407] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12407/stat : 12407 (java) S 12347 12350 4896 0 -1 1077944384 46 12665 0 0 0 0 5 3 20 0 15 0 143163818 14407233536 136529 18446744073709551615 4194304 4196468 140735316573136 139767271835264 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12408] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12408/stat : 12408 (java) S 12347 12350 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 143163820 14407233536 136529 18446744073709551615 4194304 4196468 140735316573136 139767270783568 139767795361691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 ################ # More data... # ################ /proc/12350/task/12412/stat : 12412 (java) S 12347 12350 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 143163820 14407233536 103235 18446744073709551615 4194304 4196468 140735316573136 139767266572768 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12413] ppid=12347 vsize=14069564 CPUtime=1.39 cores=1,3,5,7 /proc/12350/task/12413/stat : 12413 (java) S 12347 12350 4896 0 -1 1077944384 985 12665 0 0 60 71 5 3 20 0 15 0 143163837 14407233536 103235 18446744073709551615 4194304 4196468 140735316573136 139767265520560 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 Current children cumulated CPU time (s) 2384.1 Current children cumulated vsize (KiB) 14069564 [startup+2382.3 s] /proc/loadavg: 1.50 1.43 1.41 3/215 12712 /proc/meminfo: memFree=30243448/32770624 swapFree=0/448260 [pid=12350] ppid=12347 vsize=14069564 CPUtime=2445.13 cores=1,3,5,7 /proc/12350/stat : 12350 (java) S 12347 12350 4896 0 -1 1077944320 226186 12665 0 0 244153 352 5 3 20 0 15 0 143163794 14407233536 103237 18446744073709551615 4194304 4196468 140735316573136 140735316555680 139767795343095 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 /proc/12350/statm: 3517391 103237 3485 1 0 3506005 0 [pid=12350/tid=12400] ppid=12347 vsize=14069564 CPUtime=2356.8 cores=1,3,5,7 /proc/12350/task/12400/stat : 12400 (java) R 12347 12350 4896 0 -1 4202560 95648 12665 0 0 235626 46 5 3 20 0 15 0 143163815 14407233536 103237 18446744073709551615 4194304 4196468 140735316573136 139767799576928 139767454638602 0 4 1 16800974 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12401] ppid=12347 vsize=14069564 CPUtime=12.53 cores=1,3,5,7 /proc/12350/task/12401/stat : 12401 (java) S 12347 12350 4896 0 -1 1077944384 13142 12665 0 0 1190 55 5 3 20 0 15 0 143163816 14407233536 103237 18446744073709551615 4194304 4196468 140735316573136 139767767185808 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12402] ppid=12347 vsize=14069564 CPUtime=12.58 cores=1,3,5,7 /proc/12350/task/12402/stat : 12402 (java) S 12347 12350 4896 0 -1 1077944384 10244 12665 0 0 1196 54 5 3 20 0 15 0 143163816 14407233536 103237 18446744073709551615 4194304 4196468 140735316573136 139767394068752 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12403] ppid=12347 vsize=14069564 CPUtime=12.56 cores=1,3,5,7 /proc/12350/task/12403/stat : 12403 (java) S 12347 12350 4896 0 -1 1077944384 11052 12665 0 0 1195 53 5 3 20 0 15 0 143163816 14407233536 103237 18446744073709551615 4194304 4196468 140735316573136 139767393016464 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12404] ppid=12347 vsize=14069564 CPUtime=12.61 cores=1,3,5,7 /proc/12350/task/12404/stat : 12404 (java) S 12347 12350 4896 0 -1 1077944384 9372 12665 0 0 1202 51 5 3 20 0 15 0 143163816 14407233536 103237 18446744073709551615 4194304 4196468 140735316573136 139767391963664 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12405] ppid=12347 vsize=14069564 CPUtime=10.18 cores=1,3,5,7 /proc/12350/task/12405/stat : 12405 (java) S 12347 12350 4896 0 -1 1077944384 11400 12665 0 0 951 59 5 3 20 0 15 0 143163817 14407233536 103237 18446744073709551615 4194304 4196468 140735316573136 139767273941616 139767795354242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12406] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12406/stat : 12406 (java) S 12347 12350 4896 0 -1 1077944384 63 12665 0 0 0 0 5 3 20 0 15 0 143163817 14407233536 103237 18446744073709551615 4194304 4196468 140735316573136 139767272887712 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12407] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12407/stat : 12407 (java) S 12347 12350 4896 0 -1 1077944384 46 12665 0 0 0 0 5 3 20 0 15 0 143163818 14407233536 103237 18446744073709551615 4194304 4196468 140735316573136 139767271835264 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12408] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12408/stat : 12408 (java) S 12347 12350 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 143163820 14407233536 103237 18446744073709551615 4194304 4196468 140735316573136 139767270783568 139767795361691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12409] ppid=12347 vsize=14069564 CPUtime=11.66 cores=1,3,5,7 /proc/12350/task/12409/stat : 12409 (java) S 12347 12350 4896 0 -1 1077944384 21481 12665 0 0 1153 5 5 3 20 0 15 0 143163820 14407233536 103237 18446744073709551615 4194304 4196468 140735316573136 139767269730416 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12410] ppid=12347 vsize=14069564 CPUtime=11.47 cores=1,3,5,7 /proc/12350/task/12410/stat : 12410 (java) S 12347 12350 4896 0 -1 1077944384 22360 12665 0 0 1134 5 5 3 20 0 15 0 143163820 14407233536 103237 18446744073709551615 4194304 4196468 140735316573136 139767268677616 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12411] ppid=12347 vsize=14069564 CPUtime=3.95 cores=1,3,5,7 /proc/12350/task/12411/stat : 12411 (java) S 12347 12350 4896 0 -1 1077944384 28215 12665 0 0 379 8 5 3 20 0 15 0 143163820 14407233536 103237 18446744073709551615 4194304 4196468 140735316573136 139767267625328 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12412] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12412/stat : 12412 (java) S 12347 12350 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 143163820 14407233536 103237 18446744073709551615 4194304 4196468 140735316573136 139767266572768 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12413] ppid=12347 vsize=14069564 CPUtime=1.43 cores=1,3,5,7 /proc/12350/task/12413/stat : 12413 (java) S 12347 12350 4896 0 -1 1077944384 1002 12665 0 0 62 73 5 3 20 0 15 0 143163837 14407233536 103237 18446744073709551615 4194304 4196468 140735316573136 139767265520560 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 Current children cumulated CPU time (s) 2445.13 Current children cumulated vsize (KiB) 14069564 [startup+2442.3 s] /proc/loadavg: 1.43 1.43 1.41 3/216 12715 /proc/meminfo: memFree=30243904/32770624 swapFree=0/448288 [pid=12350] ppid=12347 vsize=14069564 CPUtime=2506.16 cores=1,3,5,7 /proc/12350/stat : 12350 (java) S 12347 12350 4896 0 -1 1077944320 227640 12665 0 0 250248 360 5 3 20 0 15 0 143163794 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 140735316555680 139767795343095 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 /proc/12350/statm: 3517391 103749 3485 1 0 3506005 0 [pid=12350/tid=12400] ppid=12347 vsize=14069564 CPUtime=2416.09 cores=1,3,5,7 /proc/12350/task/12400/stat : 12400 (java) R 12347 12350 4896 0 -1 4202560 96293 12665 0 0 241554 47 5 3 20 0 15 0 143163815 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767799576704 139767452918788 0 4 1 16800974 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12401] ppid=12347 vsize=14069564 CPUtime=12.89 cores=1,3,5,7 /proc/12350/task/12401/stat : 12401 (java) S 12347 12350 4896 0 -1 1077944384 13223 12665 0 0 1224 57 5 3 20 0 15 0 143163816 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767767185808 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12402] ppid=12347 vsize=14069564 CPUtime=12.93 cores=1,3,5,7 /proc/12350/task/12402/stat : 12402 (java) S 12347 12350 4896 0 -1 1077944384 10345 12665 0 0 1230 55 5 3 20 0 15 0 143163816 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767394068752 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12403] ppid=12347 vsize=14069564 CPUtime=12.91 cores=1,3,5,7 /proc/12350/task/12403/stat : 12403 (java) S 12347 12350 4896 0 -1 1077944384 11159 12665 0 0 1230 53 5 3 20 0 15 0 143163816 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767393016464 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12404] ppid=12347 vsize=14069564 CPUtime=12.97 cores=1,3,5,7 /proc/12350/task/12404/stat : 12404 (java) S 12347 12350 4896 0 -1 1077944384 9705 12665 0 0 1237 52 5 3 20 0 15 0 143163816 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767391963664 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12405] ppid=12347 vsize=14069564 CPUtime=10.45 cores=1,3,5,7 /proc/12350/task/12405/stat : 12405 (java) S 12347 12350 4896 0 -1 1077944384 11575 12665 0 0 977 60 5 3 20 0 15 0 143163817 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767273941616 139767795354242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12406] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12406/stat : 12406 (java) S 12347 12350 4896 0 -1 1077944384 63 12665 0 0 0 0 5 3 20 0 15 0 143163817 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767272887712 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12407] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12407/stat : 12407 (java) S 12347 12350 4896 0 -1 1077944384 46 12665 0 0 0 0 5 3 20 0 15 0 143163818 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767271835264 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12408] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12408/stat : 12408 (java) S 12347 12350 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 143163820 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767270783568 139767795361691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12409] ppid=12347 vsize=14069564 CPUtime=11.66 cores=1,3,5,7 /proc/12350/task/12409/stat : 12409 (java) S 12347 12350 4896 0 -1 1077944384 21483 12665 0 0 1153 5 5 3 20 0 15 0 143163820 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767269730416 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12410] ppid=12347 vsize=14069564 CPUtime=11.47 cores=1,3,5,7 /proc/12350/task/12410/stat : 12410 (java) S 12347 12350 4896 0 -1 1077944384 22362 12665 0 0 1134 5 5 3 20 0 15 0 143163820 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767268677616 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12411] ppid=12347 vsize=14069564 CPUtime=3.95 cores=1,3,5,7 /proc/12350/task/12411/stat : 12411 (java) S 12347 12350 4896 0 -1 1077944384 28217 12665 0 0 379 8 5 3 20 0 15 0 143163820 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767267625328 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12412] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12412/stat : 12412 (java) S 12347 12350 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 143163820 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767266572768 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12413] ppid=12347 vsize=14069564 CPUtime=1.46 cores=1,3,5,7 /proc/12350/task/12413/stat : 12413 (java) S 12347 12350 4896 0 -1 1077944384 1008 12665 0 0 64 74 5 3 20 0 15 0 143163837 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767265520560 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 Current children cumulated CPU time (s) 2506.16 Current children cumulated vsize (KiB) 14069564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2455.9 s] /proc/loadavg: 1.41 1.42 1.41 3/216 12715 /proc/meminfo: memFree=30249696/32770624 swapFree=0/448284 [pid=12350] ppid=12347 vsize=14069564 CPUtime=2520 cores=1,3,5,7 /proc/12350/stat : 12350 (java) S 12347 12350 4896 0 -1 1077944320 227727 12665 0 0 251630 362 5 3 20 0 15 0 143163794 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 140735316555680 139767795343095 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 /proc/12350/statm: 3517391 103749 3485 1 0 3506005 0 [pid=12350/tid=12400] ppid=12347 vsize=14069564 CPUtime=2429.53 cores=1,3,5,7 /proc/12350/task/12400/stat : 12400 (java) R 12347 12350 4896 0 -1 4202560 96370 12665 0 0 242898 47 5 3 20 0 15 0 143163815 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767799576752 139767452590920 0 4 1 16800974 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12401] ppid=12347 vsize=14069564 CPUtime=12.97 cores=1,3,5,7 /proc/12350/task/12401/stat : 12401 (java) S 12347 12350 4896 0 -1 1077944384 13225 12665 0 0 1232 57 5 3 20 0 15 0 143163816 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767767185808 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12402] ppid=12347 vsize=14069564 CPUtime=13.01 cores=1,3,5,7 /proc/12350/task/12402/stat : 12402 (java) S 12347 12350 4896 0 -1 1077944384 10346 12665 0 0 1238 55 5 3 20 0 15 0 143163816 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767394068752 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12403] ppid=12347 vsize=14069564 CPUtime=13.01 cores=1,3,5,7 /proc/12350/task/12403/stat : 12403 (java) S 12347 12350 4896 0 -1 1077944384 11159 12665 0 0 1239 54 5 3 20 0 15 0 143163816 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767393016464 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12404] ppid=12347 vsize=14069564 CPUtime=13.05 cores=1,3,5,7 /proc/12350/task/12404/stat : 12404 (java) S 12347 12350 4896 0 -1 1077944384 9705 12665 0 0 1245 52 5 3 20 0 15 0 143163816 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767391963664 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12405] ppid=12347 vsize=14069564 CPUtime=10.5 cores=1,3,5,7 /proc/12350/task/12405/stat : 12405 (java) S 12347 12350 4896 0 -1 1077944384 11582 12665 0 0 982 60 5 3 20 0 15 0 143163817 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767273941616 139767795354242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12406] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12406/stat : 12406 (java) S 12347 12350 4896 0 -1 1077944384 63 12665 0 0 0 0 5 3 20 0 15 0 143163817 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767272887712 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12407] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12407/stat : 12407 (java) S 12347 12350 4896 0 -1 1077944384 46 12665 0 0 0 0 5 3 20 0 15 0 143163818 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767271835264 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12408] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12408/stat : 12408 (java) S 12347 12350 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 143163820 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767270783568 139767795361691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12409] ppid=12347 vsize=14069564 CPUtime=11.66 cores=1,3,5,7 /proc/12350/task/12409/stat : 12409 (java) S 12347 12350 4896 0 -1 1077944384 21483 12665 0 0 1153 5 5 3 20 0 15 0 143163820 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767269730416 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12410] ppid=12347 vsize=14069564 CPUtime=11.47 cores=1,3,5,7 /proc/12350/task/12410/stat : 12410 (java) S 12347 12350 4896 0 -1 1077944384 22362 12665 0 0 1134 5 5 3 20 0 15 0 143163820 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767268677616 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12411] ppid=12347 vsize=14069564 CPUtime=3.95 cores=1,3,5,7 /proc/12350/task/12411/stat : 12411 (java) S 12347 12350 4896 0 -1 1077944384 28217 12665 0 0 379 8 5 3 20 0 15 0 143163820 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767267625328 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12412] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12412/stat : 12412 (java) S 12347 12350 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 143163820 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767266572768 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12413] ppid=12347 vsize=14069564 CPUtime=1.46 cores=1,3,5,7 /proc/12350/task/12413/stat : 12413 (java) S 12347 12350 4896 0 -1 1077944384 1008 12665 0 0 64 74 5 3 20 0 15 0 143163837 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767265520560 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 Current children cumulated CPU time (s) 2520 Current children cumulated vsize (KiB) 14069564 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 12350 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2455.9 s] /proc/loadavg: 1.41 1.42 1.41 3/216 12715 /proc/meminfo: memFree=30249696/32770624 swapFree=0/448284 [pid=12350] ppid=12347 vsize=14069564 CPUtime=2520 cores=1,3,5,7 /proc/12350/stat : 12350 (java) S 12347 12350 4896 0 -1 1077944320 227727 12665 0 0 251630 362 5 3 20 0 15 0 143163794 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 140735316555680 139767795343095 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 /proc/12350/statm: 3517391 103749 3485 1 0 3506005 0 [pid=12350/tid=12400] ppid=12347 vsize=14069564 CPUtime=2429.53 cores=1,3,5,7 /proc/12350/task/12400/stat : 12400 (java) R 12347 12350 4896 0 -1 4202560 96370 12665 0 0 242898 47 5 3 20 0 15 0 143163815 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767799576752 139767452590920 0 4 1 16800974 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12401] ppid=12347 vsize=14069564 CPUtime=12.97 cores=1,3,5,7 /proc/12350/task/12401/stat : 12401 (java) S 12347 12350 4896 0 -1 1077944384 13225 12665 0 0 1232 57 5 3 20 0 15 0 143163816 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767767185808 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12402] ppid=12347 vsize=14069564 CPUtime=13.01 cores=1,3,5,7 /proc/12350/task/12402/stat : 12402 (java) S 12347 12350 4896 0 -1 1077944384 10346 12665 0 0 1238 55 5 3 20 0 15 0 143163816 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767394068752 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12403] ppid=12347 vsize=14069564 CPUtime=13.01 cores=1,3,5,7 /proc/12350/task/12403/stat : 12403 (java) S 12347 12350 4896 0 -1 1077944384 11159 12665 0 0 1239 54 5 3 20 0 15 0 143163816 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767393016464 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12404] ppid=12347 vsize=14069564 CPUtime=13.05 cores=1,3,5,7 /proc/12350/task/12404/stat : 12404 (java) S 12347 12350 4896 0 -1 1077944384 9705 12665 0 0 1245 52 5 3 20 0 15 0 143163816 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767391963664 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12405] ppid=12347 vsize=14069564 CPUtime=10.5 cores=1,3,5,7 /proc/12350/task/12405/stat : 12405 (java) S 12347 12350 4896 0 -1 1077944384 11582 12665 0 0 982 60 5 3 20 0 15 0 143163817 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767273941616 139767795354242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12406] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12406/stat : 12406 (java) S 12347 12350 4896 0 -1 1077944384 63 12665 0 0 0 0 5 3 20 0 15 0 143163817 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767272887712 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12407] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12407/stat : 12407 (java) S 12347 12350 4896 0 -1 1077944384 46 12665 0 0 0 0 5 3 20 0 15 0 143163818 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767271835264 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12408] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12408/stat : 12408 (java) S 12347 12350 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 143163820 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767270783568 139767795361691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12409] ppid=12347 vsize=14069564 CPUtime=11.66 cores=1,3,5,7 /proc/12350/task/12409/stat : 12409 (java) S 12347 12350 4896 0 -1 1077944384 21483 12665 0 0 1153 5 5 3 20 0 15 0 143163820 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767269730416 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12410] ppid=12347 vsize=14069564 CPUtime=11.47 cores=1,3,5,7 /proc/12350/task/12410/stat : 12410 (java) S 12347 12350 4896 0 -1 1077944384 22362 12665 0 0 1134 5 5 3 20 0 15 0 143163820 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767268677616 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12411] ppid=12347 vsize=14069564 CPUtime=3.95 cores=1,3,5,7 /proc/12350/task/12411/stat : 12411 (java) S 12347 12350 4896 0 -1 1077944384 28217 12665 0 0 379 8 5 3 20 0 15 0 143163820 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767267625328 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12412] ppid=12347 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/12350/task/12412/stat : 12412 (java) S 12347 12350 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 143163820 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767266572768 139767795353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 [pid=12350/tid=12413] ppid=12347 vsize=14069564 CPUtime=1.46 cores=1,3,5,7 /proc/12350/task/12413/stat : 12413 (java) S 12347 12350 4896 0 -1 1077944384 1008 12665 0 0 64 74 5 3 20 0 15 0 143163837 14407233536 103749 18446744073709551615 4194304 4196468 140735316573136 139767265520560 139767795354242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140735316576208 140735316578993 140735316578993 140735316582351 0 Current children cumulated CPU time (s) 2520 Current children cumulated vsize (KiB) 14069564 Child status: 143 Real time (s): 2455.93 CPU time (s): 2520.05 CPU user time (s): 2516.38 CPU system time (s): 3.66372 CPU usage (%): 102.61 Max. virtual memory (cumulated for all children) (KiB): 14069564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2516.38 system time used= 3.66372 maximum resident set size= 910332 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 241354 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2880 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 269038 involuntary context switches= 6392 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.2449 second user time and 13.9846 second system time The end
Begin job on node132 at 2017-08-11 08:50:45 IDJOB=4261885 IDBENCH=124211 IDSOLVER=2650 FILE ID=node132/4261885-1502435109 RUNJOBID= node132-1502411403-4960 PBS_JOBID= Free space on /tmp= 62008 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t02-6.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4261885-1502435109/watcher-4261885-1502435109 -o /tmp/evaluation-result-4261885-1502435109/solver-4261885-1502435109 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580 bin/concrete HOME/instance-4261885-1502435109.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d01afa5e20b7ebab190e76d647c74323 RANDOM SEED=125224548 node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27880620 kB MemAvailable: 28729892 kB Buffers: 291888 kB Cached: 868292 kB SwapCached: 0 kB Active: 3948924 kB Inactive: 496748 kB Active(anon): 3286600 kB Inactive(anon): 49012 kB Active(file): 662324 kB Inactive(file): 447736 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24552 kB Writeback: 0 kB AnonPages: 3285764 kB Mapped: 73412 kB Shmem: 49852 kB Slab: 137200 kB SReclaimable: 110092 kB SUnreclaim: 27108 kB KernelStack: 3520 kB PageTables: 13596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4064672 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3045376 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61984 MiB End job on node132 at 2017-08-11 09:31:41