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) | 161 | 2400.09 | 2314.45 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml |
| MD5SUM | 058109e0b262c2cf0fdf1876739ed95e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 158 |
| Best CPU time to get the best result obtained on this benchmark | 2400.04 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1925 |
| Number of constraints | 187 |
| Number of domains | 10 |
| Minimum domain size | 2 |
| Maximum domain size | 162 |
| Distribution of domain sizes | [{"size":2,"count":175},{"size":38,"count":175},{"size":61,"count":175},{"size":91,"count":175},{"size":93,"count":350},{"size":103,"count":175},{"size":114,"count":175},{"size":126,"count":175},{"size":129,"count":175},{"size":162,"count":175}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":1925}] |
| Minimum constraint arity | 11 |
| Maximum constraint arity | 1750 |
| Distribution of constraint arities | [{"arity":11,"count":175},{"arity":175,"count":11},{"arity":1750,"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":185}] |
| Optimization problem | YES |
| Type of objective | min SUM |
3.93/2.61 c Concrete v3.4 running 20.22/7.31 o 175 20.22/7.38 o 174 20.62/7.45 o 173 20.94/7.50 o 172 20.94/7.55 o 171 20.94/7.59 o 170 21.25/7.63 o 169 21.25/7.68 o 168 21.50/7.73 o 167 21.50/7.77 o 166 21.70/7.82 o 165 21.70/7.87 o 164 22.36/8.08 o 163 22.80/8.13 o 162 28.22/11.34 o 161 2400.02/2314.42 java.util.concurrent.TimeoutException 2400.02/2314.42 at concrete.MAC.mac(MAC.scala:74) 2400.02/2314.42 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 2400.02/2314.42 at scala.util.Try$.apply(Try.scala:209) 2400.02/2314.42 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2400.02/2314.42 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2400.02/2314.42 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2400.02/2314.42 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2400.02/2314.42 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 2400.02/2314.42 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2400.02/2314.42 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2400.02/2314.42 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2400.02/2314.42 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2400.02/2314.42 at concrete.MAC.oneRun(MAC.scala:146) 2400.02/2314.42 at concrete.MAC.nextSolution(MAC.scala:166) 2400.02/2314.42 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 2400.02/2314.42 at concrete.ProblemState.map(ProblemState.scala:203) 2400.02/2314.42 at concrete.ProblemState.map(ProblemState.scala:188) 2400.02/2314.42 at concrete.MAC.nextSolution(MAC.scala:195) 2400.02/2314.42 at concrete.Solver.hasNext(Solver.scala:202) 2400.02/2314.42 at scala.collection.Iterator.toStream(Iterator.scala:1403) 2400.02/2314.42 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 2400.02/2314.42 at concrete.Solver.toStream(Solver.scala:73) 2400.02/2314.42 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 2400.02/2314.42 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 2400.02/2314.42 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 2400.02/2314.42 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 2400.02/2314.42 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 2400.02/2314.42 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2400.02/2314.42 at scala.util.Success.map(Try.scala:209) 2400.02/2314.42 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 2400.02/2314.42 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 2400.02/2314.42 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.02/2314.42 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 2400.02/2314.42 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.02/2314.42 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2400.02/2314.42 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2400.02/2314.42 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2400.02/2314.42 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2400.02/2314.42 at scala.collection.immutable.List.foreach(List.scala:389) 2400.02/2314.42 at scala.App.main(App.scala:76) 2400.02/2314.42 at scala.App.main$(App.scala:74) 2400.02/2314.42 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.02/2314.42 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.02/2314.43 v <instantiation cost="161"> 2400.02/2314.43 v <list> 2400.02/2314.43 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] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] 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] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[171][0] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[172][0] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[173][0] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[174][0] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] 2400.02/2314.43 v </list> 2400.02/2314.43 v <values> 2400.02/2314.43 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 3 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 0 0 4 0 0 0 0 1 0 1 0 0 4 0 0 0 0 1 0 1 0 0 4 0 0 0 0 1 0 1 0 0 4 0 0 0 0 1 0 1 0 0 4 0 0 0 0 1 0 1 0 0 4 0 0 0 0 1 0 1 0 0 4 0 0 0 0 1 0 1 0 0 4 0 0 0 0 1 0 1 0 0 4 0 0 0 0 1 0 1 0 0 4 0 0 0 0 1 0 1 0 0 4 0 0 0 0 1 0 1 0 0 4 0 0 0 0 1 0 1 0 0 4 0 0 0 0 1 0 1 0 0 4 0 0 0 0 1 0 1 0 0 4 0 0 0 0 1 0 1 0 0 2 2 0 0 0 1 0 1 0 0 2 2 0 0 0 1 0 1 0 0 2 2 0 0 0 1 0 1 0 0 2 2 0 0 0 1 0 1 0 0 2 2 0 0 0 1 0 1 0 0 2 2 0 0 0 1 0 1 0 0 2 2 0 0 0 1 0 1 0 0 2 2 0 0 0 1 0 1 0 0 0 4 0 0 0 1 5 1 0 0 0 4 0 0 0 1 5 1 0 0 0 4 0 0 0 1 5 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 3 0 1 0 1 6 1 0 0 0 3 0 0 2 0 3 1 0 0 0 3 0 0 1 2 0 1 0 0 0 2 0 0 3 1 0 1 0 0 0 2 0 0 2 3 0 1 0 0 0 1 3 0 0 2 0 1 0 0 0 1 1 0 4 0 0 1 0 0 0 1 0 0 5 0 0 1 0 0 0 0 2 3 0 0 0 1 0 0 0 0 1 3 0 2 0 0 1 0 0 0 4 1 0 0 0 0 1 0 0 0 0 5 0 0 2 0 1 0 0 0 0 5 0 0 0 0 1 0 0 0 0 5 0 0 0 0 1 0 0 0 0 5 0 0 0 0 1 0 0 0 0 5 0 0 0 0 1 0 0 0 0 5 0 0 0 0 1 0 0 0 0 5 0 0 0 0 1 0 0 0 0 5 0 0 0 0 1 0 0 0 0 5 0 0 0 0 1 0 0 0 0 5 0 0 0 0 1 0 0 0 0 0 6 1 0 0 1 0 0 0 0 0 6 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 4 0 0 0 1 0 1 0 0 0 3 0 0 0 2 0 1 0 0 0 3 0 0 0 2 0 1 0 0 0 3 0 0 0 2 0 1 0 0 0 3 0 0 0 2 0 1 0 0 0 3 0 0 0 2 0 1 0 0 0 3 0 0 0 2 0 1 0 0 0 3 0 0 0 2 0 1 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 4 1 1 0 0 0 1 0 0 0 0 6 1 0 0 0 1 0 0 0 0 6 1 0 0 0 0 5 0 0 0 0 1 0 0 0 0 5 0 0 0 0 1 0 0 0 0 1 1 0 4 0 0 0 0 0 0 0 0 3 0 4 0 0 0 0 0 0 0 3 0 4 0 0 0 0 0 0 0 2 4 0 1 0 0 0 0 0 0 2 0 5 1 2 0 0 0 0 0 2 0 5 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2400.02/2314.43 v </values> 2400.02/2314.43 v </instantiation> 2400.02/2314.43 s SATISFIABLE
OK 161
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-4246192-1500710986/watcher-4246192-1500710986 -o /tmp/evaluation-result-4246192-1500710986/solver-4246192-1500710986 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500697238-13813 --watchdog 2560 bin/concrete HOME/instance-4246192-1500710986.xml pid=16985 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.71 1.78 1.74 3/261 16988 /proc/meminfo: memFree=31111476/32770624 swapFree=5784/152176 [pid=16988] ppid=16985 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16988/stat : 16988 (bash) S 16985 16988 15196 0 -1 4202496 686 1532 0 0 0 0 0 0 20 0 1 0 6363729 9736192 350 33554432000 4194304 5098028 140721638976784 140721638974424 140262356728832 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 34607104 140721638982926 140721638983011 140721638983011 140721638985710 0 /proc/16988/statm: 2377 350 277 221 0 86 0 [startup+0.100143 s] /proc/loadavg: 1.71 1.78 1.74 3/261 16988 /proc/meminfo: memFree=31111476/32770624 swapFree=5784/152176 [pid=16988] ppid=16985 vsize=9640 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/16988/stat : 16988 (bash) S 16985 16988 15196 0 -1 4202496 880 6415 0 0 0 0 0 2 20 0 1 0 6363729 9871360 378 33554432000 4194304 5098028 140721638976784 140721638970792 140262356728832 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 34607104 140721638982926 140721638983011 140721638983011 140721638985710 0 /proc/16988/statm: 2410 378 296 221 0 119 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9640 [startup+0.200333 s] /proc/loadavg: 1.71 1.78 1.74 3/261 16988 /proc/meminfo: memFree=31111476/32770624 swapFree=5784/152176 [pid=16988] ppid=16985 vsize=10435860 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/16988/stat : 16988 (java) S 16985 16988 15196 0 -1 1077944320 5017 12572 0 0 5 1 9 3 20 0 13 0 6363729 10686320640 5347 33554432000 4194304 4196468 140723752382848 140723752365392 139890245631735 0 0 0 16800971 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 /proc/16988/statm: 2608965 5347 2137 1 0 2597403 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 10435860 [startup+0.300271 s] /proc/loadavg: 1.71 1.78 1.74 3/261 16988 /proc/meminfo: memFree=31111476/32770624 swapFree=5784/152176 [pid=16988] ppid=16985 vsize=10902392 CPUtime=0.37 cores=0,2,4,6,8,10,12,14 /proc/16988/stat : 16988 (java) S 16985 16988 15196 0 -1 1077944320 7322 12572 0 0 22 3 9 3 20 0 20 0 6363729 11164049408 8993 33554432000 4194304 4196468 140723752382848 140723752365392 139890245631735 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 /proc/16988/statm: 2725598 8993 2975 1 0 2713890 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 10902392 [startup+0.700283 s] /proc/loadavg: 1.71 1.78 1.74 3/261 16988 /proc/meminfo: memFree=31111476/32770624 swapFree=5784/152176 [pid=16988] ppid=16985 vsize=10902392 CPUtime=0.37 cores=0,2,4,6,8,10,12,14 /proc/16988/stat : 16988 (java) S 16985 16988 15196 0 -1 1077944320 8167 12572 0 0 22 3 9 3 20 0 20 0 6363729 11164049408 9851 33554432000 4194304 4196468 140723752382848 140723752365392 139890245631735 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 /proc/16988/statm: 2725598 9851 2975 1 0 2713890 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 10902392 [startup+1.50086 s] /proc/loadavg: 1.89 1.82 1.76 4/281 17061 /proc/meminfo: memFree=31063476/32770624 swapFree=5784/152252 [pid=16988] ppid=16985 vsize=10909248 CPUtime=1.55 cores=0,2,4,6,8,10,12,14 /proc/16988/stat : 16988 (java) S 16985 16988 15196 0 -1 1077944320 19503 12572 0 0 135 8 9 3 20 0 20 0 6363729 11171069952 27380 33554432000 4194304 4196468 140723752382848 140723752365392 139890245631735 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 /proc/16988/statm: 2727312 27380 3355 1 0 2715426 0 [pid=16988/tid=17043] ppid=16985 vsize=10909248 CPUtime=1.02 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17043/stat : 17043 (java) R 16985 16988 15196 0 -1 4202560 14378 12572 0 0 85 5 9 3 20 0 20 0 6363742 11171069952 27380 33554432000 4194304 4196468 140723752382848 139890249845456 139890229712222 0 4 0 16800975 0 0 0 -1 2 0 0 43 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17044] ppid=16985 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17044/stat : 17044 (java) S 16985 16988 15196 0 -1 1077944384 2 12572 0 0 0 0 9 3 20 0 20 0 6363743 11171069952 27380 33554432000 4194304 4196468 140723752382848 139890182322832 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17045] ppid=16985 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17045/stat : 17045 (java) S 16985 16988 15196 0 -1 1077944384 2 12572 0 0 0 0 9 3 20 0 20 0 6363743 11171069952 27380 33554432000 4194304 4196468 140723752382848 139890181270032 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17046] ppid=16985 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17046/stat : 17046 (java) S 16985 16988 15196 0 -1 1077944384 1 12572 0 0 0 0 9 3 20 0 20 0 6363743 11171069952 27380 33554432000 4194304 4196468 140723752382848 139890180217232 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17047] ppid=16985 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17047/stat : 17047 (java) S 16985 16988 15196 0 -1 1077944384 2 12572 0 0 0 0 9 3 20 0 20 0 6363743 11171069952 27380 33554432000 4194304 4196468 140723752382848 139890179164432 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17048] ppid=16985 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17048/stat : 17048 (java) S 16985 16988 15196 0 -1 1077944384 1 12572 0 0 0 0 9 3 20 0 20 0 6363743 11171069952 27380 33554432000 4194304 4196468 140723752382848 139890178112656 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17049] ppid=16985 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17049/stat : 17049 (java) S 16985 16988 15196 0 -1 1077944384 2 12572 0 0 0 0 9 3 20 0 20 0 6363743 11171069952 27380 33554432000 4194304 4196468 140723752382848 139890177059856 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17050] ppid=16985 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17050/stat : 17050 (java) S 16985 16988 15196 0 -1 1077944384 2 12572 0 0 0 0 9 3 20 0 20 0 6363743 11171069952 27380 33554432000 4194304 4196468 140723752382848 139890176007056 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17051] ppid=16985 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17051/stat : 17051 (java) S 16985 16988 15196 0 -1 1077944384 3 12572 0 0 0 0 9 3 20 0 20 0 6363744 11171069952 27380 33554432000 4194304 4196468 140723752382848 139890174954256 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17052] ppid=16985 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17052/stat : 17052 (java) S 16985 16988 15196 0 -1 1077944384 5 12572 0 0 0 0 9 3 20 0 20 0 6363745 11171069952 27380 33554432000 4194304 4196468 140723752382848 139889720248688 139890245642882 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17053] ppid=16985 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17053/stat : 17053 (java) S 16985 16988 15196 0 -1 1077944384 33 12572 0 0 0 0 9 3 20 0 20 0 6363746 11171069952 27380 33554432000 4194304 4196468 140723752382848 139889719194656 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17054] ppid=16985 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17054/stat : 17054 (java) S 16985 16988 15196 0 -1 1077944384 21 12572 0 0 0 0 9 3 20 0 20 0 6363746 11171069952 27380 33554432000 4194304 4196468 140723752382848 139889718141808 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17055] ppid=16985 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17055/stat : 17055 (java) S 16985 16988 15196 0 -1 1077944384 1 12572 0 0 0 0 9 3 20 0 20 0 6363750 11171069952 27380 33554432000 4194304 4196468 140723752382848 139889717090128 139890245650331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17056] ppid=16985 vsize=10909248 CPUtime=0.21 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17056/stat : 17056 (java) S 16985 16988 15196 0 -1 1077944384 805 12572 0 0 9 0 9 3 20 0 20 0 6363750 11171069952 27380 33554432000 4194304 4196468 140723752382848 139889716038512 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17057] ppid=16985 vsize=10909248 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17057/stat : 17057 (java) S 16985 16988 15196 0 -1 1077944384 295 12572 0 0 8 0 9 3 20 0 20 0 6363751 11171069952 27380 33554432000 4194304 4196468 140723752382848 139889714985712 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17058] ppid=16985 vsize=10909248 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17058/stat : 17058 (java) S 16985 16988 15196 0 -1 1077944384 1139 12572 0 0 11 0 9 3 20 0 20 0 6363751 11171069952 27380 33554432000 4194304 4196468 140723752382848 139889713932912 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17059] ppid=16985 vsize=10909248 CPUtime=0.3 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17059/stat : 17059 (java) S 16985 16988 15196 0 -1 1077944384 675 12572 0 0 18 0 9 3 20 0 20 0 6363751 11171069952 27380 33554432000 4194304 4196468 140723752382848 139889712880112 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17060] ppid=16985 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17060/stat : 17060 (java) S 16985 16988 15196 0 -1 1077944384 3 12572 0 0 0 0 9 3 20 0 20 0 6363751 11171069952 27380 33554432000 4194304 4196468 140723752382848 139889711827552 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17061] ppid=16985 vsize=10909248 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17061/stat : 17061 (java) S 16985 16988 15196 0 -1 1077944384 3 12572 0 0 0 0 9 3 20 0 20 0 6363751 11171069952 27380 33554432000 4194304 4196468 140723752382848 139889710774832 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 41 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 Current children cumulated CPU time (s) 1.55 Current children cumulated vsize (KiB) 10909248 [startup+3.10074 s] /proc/loadavg: 1.89 1.82 1.76 3/281 17061 /proc/meminfo: memFree=30943924/32770624 swapFree=5784/152256 [pid=16988] ppid=16985 vsize=10923772 CPUtime=5.44 cores=0,2,4,6,8,10,12,14 /proc/16988/stat : 16988 (java) S 16985 16988 15196 0 -1 1077944320 40489 12572 0 0 513 19 9 3 20 0 20 0 6363729 11185942528 49407 33554432000 4194304 4196468 140723752382848 140723752365392 139890245631735 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 /proc/16988/statm: 2730943 49407 3476 1 0 2718498 0 [pid=16988/tid=17043] ppid=16985 vsize=10923772 CPUtime=2.59 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17043/stat : 17043 (java) R 16985 16988 15196 0 -1 4202560 25873 12572 0 0 238 9 9 3 20 0 20 0 6363742 11185942528 49407 33554432000 4194304 4196468 140723752382848 139890249861856 139890245643670 0 4 0 16800975 0 0 0 -1 2 0 0 43 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17044] ppid=16985 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17044/stat : 17044 (java) S 16985 16988 15196 0 -1 1077944384 26 12572 0 0 0 0 9 3 20 0 20 0 6363743 11185942528 49407 33554432000 4194304 4196468 140723752382848 139890182322832 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17045] ppid=16985 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17045/stat : 17045 (java) S 16985 16988 15196 0 -1 1077944384 126 12572 0 0 0 0 9 3 20 0 20 0 6363743 11185942528 49407 33554432000 4194304 4196468 140723752382848 139890181270032 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17046] ppid=16985 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17046/stat : 17046 (java) S 16985 16988 15196 0 -1 1077944384 42 12572 0 0 0 0 9 3 20 0 20 0 6363743 11185942528 49433 33554432000 4194304 4196468 140723752382848 139890180217232 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17047] ppid=16985 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17047/stat : 17047 (java) S 16985 16988 15196 0 -1 1077944384 24 12572 0 0 0 0 9 3 20 0 20 0 6363743 11185942528 49433 33554432000 4194304 4196468 140723752382848 139890179164432 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17048] ppid=16985 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17048/stat : 17048 (java) S 16985 16988 15196 0 -1 1077944384 22 12572 0 0 0 0 9 3 20 0 20 0 6363743 11185942528 49433 33554432000 4194304 4196468 140723752382848 139890178112656 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17049] ppid=16985 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17049/stat : 17049 (java) S 16985 16988 15196 0 -1 1077944384 44 12572 0 0 1 0 9 3 20 0 20 0 6363743 11185942528 49433 33554432000 4194304 4196468 140723752382848 139890177059856 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17050] ppid=16985 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17050/stat : 17050 (java) S 16985 16988 15196 0 -1 1077944384 16 12572 0 0 0 0 9 3 20 0 20 0 6363743 11185942528 49433 33554432000 4194304 4196468 140723752382848 139890176007056 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17051] ppid=16985 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17051/stat : 17051 (java) S 16985 16988 15196 0 -1 1077944384 18 12572 0 0 0 0 9 3 20 0 20 0 6363744 11185942528 49433 33554432000 4194304 4196468 140723752382848 139890174954256 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17052] ppid=16985 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17052/stat : 17052 (java) S 16985 16988 15196 0 -1 1077944384 1390 12572 0 0 1 0 9 3 20 0 20 0 6363745 11185942528 49433 33554432000 4194304 4196468 140723752382848 139889720248688 139890245642882 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17053] ppid=16985 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17053/stat : 17053 (java) S 16985 16988 15196 0 -1 1077944384 57 12572 0 0 0 0 9 3 20 0 20 0 6363746 11185942528 49433 33554432000 4194304 4196468 140723752382848 139889719194656 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17054] ppid=16985 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17054/stat : 17054 (java) S 16985 16988 15196 0 -1 1077944384 46 12572 0 0 0 0 9 3 20 0 20 0 6363746 11185942528 49433 33554432000 4194304 4196468 140723752382848 139889718141808 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17055] ppid=16985 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17055/stat : 17055 (java) S 16985 16988 15196 0 -1 1077944384 1 12572 0 0 0 0 9 3 20 0 20 0 6363750 11185942528 49433 33554432000 4194304 4196468 140723752382848 139889717090128 139890245650331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17056] ppid=16985 vsize=10923772 CPUtime=0.88 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17056/stat : 17056 (java) R 16985 16988 15196 0 -1 1077944384 4208 12572 0 0 75 1 9 3 20 0 20 0 6363750 11185942528 49433 33554432000 4194304 4196468 140723752382848 139889716038512 139890245642882 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17057] ppid=16985 vsize=10923772 CPUtime=0.55 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17057/stat : 17057 (java) R 16985 16988 15196 0 -1 4202560 1328 12572 0 0 42 1 9 3 20 0 20 0 6363751 11185942528 49433 33554432000 4194304 4196468 140723752382848 139889714975504 139890224938836 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17058] ppid=16985 vsize=10923772 CPUtime=0.66 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17058/stat : 17058 (java) S 16985 16988 15196 0 -1 1077944384 2036 12572 0 0 54 0 9 3 20 0 20 0 6363751 11185942528 49433 33554432000 4194304 4196468 140723752382848 139889713932912 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17059] ppid=16985 vsize=10923772 CPUtime=1.03 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17059/stat : 17059 (java) R 16985 16988 15196 0 -1 4202560 3094 12572 0 0 91 0 9 3 20 0 20 0 6363751 11185942528 49433 33554432000 4194304 4196468 140723752382848 139889712875152 139890225040084 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17060] ppid=16985 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17060/stat : 17060 (java) S 16985 16988 15196 0 -1 1077944384 3 12572 0 0 0 0 9 3 20 0 20 0 6363751 11185942528 49433 33554432000 4194304 4196468 140723752382848 139889711827552 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17061] ppid=16985 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17061/stat : 17061 (java) S 16985 16988 15196 0 -1 1077944384 10 12572 0 0 0 0 9 3 20 0 20 0 6363751 11185942528 49433 33554432000 4194304 4196468 140723752382848 139889710774832 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 41 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 Current children cumulated CPU time (s) 5.44 Current children cumulated vsize (KiB) 10923772 [startup+6.30088 s] /proc/loadavg: 2.14 1.87 1.77 6/281 17061 /proc/meminfo: memFree=30756480/32770624 swapFree=5784/152264 [pid=16988] ppid=16985 vsize=10997500 CPUtime=17.24 cores=0,2,4,6,8,10,12,14 /proc/16988/stat : 16988 (java) S 16985 16988 15196 0 -1 1077944320 87658 12572 0 0 1679 33 9 3 20 0 20 0 6363729 11261440000 101020 33554432000 4194304 4196468 140723752382848 140723752365392 139890245631735 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 /proc/16988/statm: 2749375 101020 3507 1 0 2736930 0 [pid=16988/tid=17043] ppid=16985 vsize=10997500 CPUtime=5.7 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17043/stat : 17043 (java) R 16985 16988 15196 0 -1 4202560 42001 12572 0 0 545 13 9 3 20 0 20 0 6363742 11261440000 101020 33554432000 4194304 4196468 140723752382848 139890249865080 139889871478291 0 4 0 16800975 0 0 0 -1 4 0 0 43 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17044] ppid=16985 vsize=10997500 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17044/stat : 17044 (java) S 16985 16988 15196 0 -1 1077944384 50 12572 0 0 3 1 9 3 20 0 20 0 6363743 11261440000 101020 33554432000 4194304 4196468 140723752382848 139890182322832 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17045] ppid=16985 vsize=10997500 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17045/stat : 17045 (java) S 16985 16988 15196 0 -1 1077944384 140 12572 0 0 4 1 9 3 20 0 20 0 6363743 11261440000 101020 33554432000 4194304 4196468 140723752382848 139890181270032 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17046] ppid=16985 vsize=10997500 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17046/stat : 17046 (java) S 16985 16988 15196 0 -1 1077944384 105 12572 0 0 4 1 9 3 20 0 20 0 6363743 11261440000 101020 33554432000 4194304 4196468 140723752382848 139890180217232 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17047] ppid=16985 vsize=10997500 CPUtime=0.15 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17047/stat : 17047 (java) S 16985 16988 15196 0 -1 1077944384 35 12572 0 0 3 0 9 3 20 0 20 0 6363743 11261440000 101020 33554432000 4194304 4196468 140723752382848 139890179164432 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17048] ppid=16985 vsize=10997500 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17048/stat : 17048 (java) S 16985 16988 15196 0 -1 1077944384 131 12572 0 0 4 1 9 3 20 0 20 0 6363743 11261440000 101020 33554432000 4194304 4196468 140723752382848 139890178112656 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17049] ppid=16985 vsize=10997500 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17049/stat : 17049 (java) S 16985 16988 15196 0 -1 1077944384 94 12572 0 0 5 0 9 3 20 0 20 0 6363743 11261440000 101020 33554432000 4194304 4196468 140723752382848 139890177059856 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17050] ppid=16985 vsize=10997500 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17050/stat : 17050 (java) S 16985 16988 15196 0 -1 1077944384 44 12572 0 0 4 0 9 3 20 0 20 0 6363743 11261440000 101020 33554432000 4194304 4196468 140723752382848 139890176007056 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17051] ppid=16985 vsize=10997500 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17051/stat : 17051 (java) S 16985 16988 15196 0 -1 1077944384 699 12572 0 0 4 0 9 3 20 0 20 0 6363744 11261440000 101020 33554432000 4194304 4196468 140723752382848 139890174954256 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17052] ppid=16985 vsize=10997500 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17052/stat : 17052 (java) S 16985 16988 15196 0 -1 1077944384 2026 12572 0 0 4 0 9 3 20 0 20 0 6363745 11261440000 101020 33554432000 4194304 4196468 140723752382848 139889720248688 139890245642882 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17053] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17053/stat : 17053 (java) S 16985 16988 15196 0 -1 1077944384 57 12572 0 0 0 0 9 3 20 0 20 0 6363746 11261440000 101020 33554432000 4194304 4196468 140723752382848 139889719194720 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17054] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17054/stat : 17054 (java) S 16985 16988 15196 0 -1 1077944384 46 12572 0 0 0 0 9 3 20 0 20 0 6363746 11261440000 101020 33554432000 4194304 4196468 140723752382848 139889718141824 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17055] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17055/stat : 17055 (java) S 16985 16988 15196 0 -1 1077944384 1 12572 0 0 0 0 9 3 20 0 20 0 6363750 11261440000 101020 33554432000 4194304 4196468 140723752382848 139889717090128 139890245650331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17056] ppid=16985 vsize=10997500 CPUtime=3.26 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17056/stat : 17056 (java) S 16985 16988 15196 0 -1 1077944384 14353 12572 0 0 312 2 9 3 20 0 20 0 6363750 11261440000 101020 33554432000 4194304 4196468 140723752382848 139889716038512 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17057] ppid=16985 vsize=10997500 CPUtime=2.87 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17057/stat : 17057 (java) S 16985 16988 15196 0 -1 1077944384 6361 12572 0 0 273 2 9 3 20 0 20 0 6363751 11261440000 101020 33554432000 4194304 4196468 140723752382848 139889714985712 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17058] ppid=16985 vsize=10997500 CPUtime=3 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17058/stat : 17058 (java) R 16985 16988 15196 0 -1 4202560 9537 12572 0 0 286 2 9 3 20 0 20 0 6363751 11261440000 101020 33554432000 4194304 4196468 140723752382848 139889713933208 139890230530464 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17059] ppid=16985 vsize=10997500 CPUtime=2.32 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17059/stat : 17059 (java) S 16985 16988 15196 0 -1 1077944384 9727 12572 0 0 218 2 9 3 20 0 20 0 6363751 11261440000 101020 33554432000 4194304 4196468 140723752382848 139889712880112 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17060] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 ################ # More data... # ################ /proc/16988/task/17057/stat : 17057 (java) S 16985 16988 15196 0 -1 1077944384 11502 12572 0 0 852 5 9 3 20 0 20 0 6363751 11261440000 228175 33554432000 4194304 4196468 140723752382848 139889714985712 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17058] ppid=16985 vsize=10997500 CPUtime=8.72 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17058/stat : 17058 (java) S 16985 16988 15196 0 -1 1077944384 15071 12572 0 0 854 6 9 3 20 0 20 0 6363751 11261440000 228175 33554432000 4194304 4196468 140723752382848 139889713932912 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17059] ppid=16985 vsize=10997500 CPUtime=4.22 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17059/stat : 17059 (java) S 16985 16988 15196 0 -1 1077944384 22033 12572 0 0 404 6 9 3 20 0 20 0 6363751 11261440000 228175 33554432000 4194304 4196468 140723752382848 139889712880112 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17060] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17060/stat : 17060 (java) S 16985 16988 15196 0 -1 1077944384 3 12572 0 0 0 0 9 3 20 0 20 0 6363751 11261440000 228175 33554432000 4194304 4196468 140723752382848 139889711827552 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17061] ppid=16985 vsize=10997500 CPUtime=1.23 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17061/stat : 17061 (java) S 16985 16988 15196 0 -1 1077944384 1667 12572 0 0 57 54 9 3 20 0 20 0 6363751 11261440000 228175 33554432000 4194304 4196468 140723752382848 139889710774832 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 Current children cumulated CPU time (s) 2223.79 Current children cumulated vsize (KiB) 10997500 [startup+2202.31 s] /proc/loadavg: 1.45 1.47 1.47 3/281 17268 /proc/meminfo: memFree=30172888/32770624 swapFree=5784/154672 [pid=16988] ppid=16985 vsize=10997500 CPUtime=2285.27 cores=0,2,4,6,8,10,12,14 /proc/16988/stat : 16988 (java) S 16985 16988 15196 0 -1 1077944320 219137 12572 0 0 228077 438 9 3 20 0 20 0 6363729 11261440000 228574 33554432000 4194304 4196468 140723752382848 140723752365392 139890245631735 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 /proc/16988/statm: 2749375 228574 3520 1 0 2736930 0 [pid=16988/tid=17043] ppid=16985 vsize=10997500 CPUtime=2184.09 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17043/stat : 17043 (java) R 16985 16988 15196 0 -1 4202560 75751 12572 0 0 218354 43 9 3 20 0 20 0 6363742 11261440000 228574 33554432000 4194304 4196468 140723752382848 139890249865520 139889856479782 0 4 0 16800975 0 0 0 -1 6 0 0 43 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17044] ppid=16985 vsize=10997500 CPUtime=8.09 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17044/stat : 17044 (java) S 16985 16988 15196 0 -1 1077944384 5945 12572 0 0 755 42 9 3 20 0 20 0 6363743 11261440000 228574 33554432000 4194304 4196468 140723752382848 139890182322832 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17045] ppid=16985 vsize=10997500 CPUtime=8.08 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17045/stat : 17045 (java) S 16985 16988 15196 0 -1 1077944384 6226 12572 0 0 757 39 9 3 20 0 20 0 6363743 11261440000 228574 33554432000 4194304 4196468 140723752382848 139890181270032 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17046] ppid=16985 vsize=10997500 CPUtime=8.01 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17046/stat : 17046 (java) S 16985 16988 15196 0 -1 1077944384 4009 12572 0 0 748 41 9 3 20 0 20 0 6363743 11261440000 228574 33554432000 4194304 4196468 140723752382848 139890180217232 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17047] ppid=16985 vsize=10997500 CPUtime=7.97 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17047/stat : 17047 (java) S 16985 16988 15196 0 -1 1077944384 4604 12572 0 0 748 37 9 3 20 0 20 0 6363743 11261440000 228574 33554432000 4194304 4196468 140723752382848 139890179164432 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17048] ppid=16985 vsize=10997500 CPUtime=8 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17048/stat : 17048 (java) S 16985 16988 15196 0 -1 1077944384 5560 12572 0 0 745 43 9 3 20 0 20 0 6363743 11261440000 228574 33554432000 4194304 4196468 140723752382848 139890178112656 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17049] ppid=16985 vsize=10997500 CPUtime=8.06 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17049/stat : 17049 (java) S 16985 16988 15196 0 -1 1077944384 4466 12572 0 0 758 36 9 3 20 0 20 0 6363743 11261440000 228574 33554432000 4194304 4196468 140723752382848 139890177059856 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17050] ppid=16985 vsize=10997500 CPUtime=7.93 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17050/stat : 17050 (java) S 16985 16988 15196 0 -1 1077944384 6649 12572 0 0 740 41 9 3 20 0 20 0 6363743 11261440000 228574 33554432000 4194304 4196468 140723752382848 139890176007056 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17051] ppid=16985 vsize=10997500 CPUtime=8.11 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17051/stat : 17051 (java) S 16985 16988 15196 0 -1 1077944384 8443 12572 0 0 760 39 9 3 20 0 20 0 6363744 11261440000 228574 33554432000 4194304 4196468 140723752382848 139890174954256 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17052] ppid=16985 vsize=10997500 CPUtime=6.55 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17052/stat : 17052 (java) S 16985 16988 15196 0 -1 1077944384 18967 12572 0 0 610 33 9 3 20 0 20 0 6363745 11261440000 228574 33554432000 4194304 4196468 140723752382848 139889720248688 139890245642882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17053] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17053/stat : 17053 (java) S 16985 16988 15196 0 -1 1077944384 61 12572 0 0 0 0 9 3 20 0 20 0 6363746 11261440000 228574 33554432000 4194304 4196468 140723752382848 139889719194720 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17054] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17054/stat : 17054 (java) S 16985 16988 15196 0 -1 1077944384 48 12572 0 0 0 0 9 3 20 0 20 0 6363746 11261440000 228574 33554432000 4194304 4196468 140723752382848 139889718141824 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17055] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17055/stat : 17055 (java) S 16985 16988 15196 0 -1 1077944384 1 12572 0 0 0 0 9 3 20 0 20 0 6363750 11261440000 228574 33554432000 4194304 4196468 140723752382848 139889717090128 139890245650331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17056] ppid=16985 vsize=10997500 CPUtime=8.98 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17056/stat : 17056 (java) S 16985 16988 15196 0 -1 1077944384 25978 12572 0 0 880 6 9 3 20 0 20 0 6363750 11261440000 228574 33554432000 4194304 4196468 140723752382848 139889716038512 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17057] ppid=16985 vsize=10997500 CPUtime=8.69 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17057/stat : 17057 (java) S 16985 16988 15196 0 -1 1077944384 11504 12572 0 0 852 5 9 3 20 0 20 0 6363751 11261440000 228574 33554432000 4194304 4196468 140723752382848 139889714985712 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17058] ppid=16985 vsize=10997500 CPUtime=8.72 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17058/stat : 17058 (java) S 16985 16988 15196 0 -1 1077944384 15073 12572 0 0 854 6 9 3 20 0 20 0 6363751 11261440000 228574 33554432000 4194304 4196468 140723752382848 139889713932912 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17059] ppid=16985 vsize=10997500 CPUtime=4.22 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17059/stat : 17059 (java) S 16985 16988 15196 0 -1 1077944384 22035 12572 0 0 404 6 9 3 20 0 20 0 6363751 11261440000 228574 33554432000 4194304 4196468 140723752382848 139889712880112 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17060] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17060/stat : 17060 (java) S 16985 16988 15196 0 -1 1077944384 3 12572 0 0 0 0 9 3 20 0 20 0 6363751 11261440000 228574 33554432000 4194304 4196468 140723752382848 139889711827552 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17061] ppid=16985 vsize=10997500 CPUtime=1.26 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17061/stat : 17061 (java) S 16985 16988 15196 0 -1 1077944384 1684 12572 0 0 59 55 9 3 20 0 20 0 6363751 11261440000 228574 33554432000 4194304 4196468 140723752382848 139889710774832 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 Current children cumulated CPU time (s) 2285.27 Current children cumulated vsize (KiB) 10997500 [startup+2262.3 s] /proc/loadavg: 1.47 1.47 1.48 3/281 17269 /proc/meminfo: memFree=30172796/32770624 swapFree=5784/154744 [pid=16988] ppid=16985 vsize=10997500 CPUtime=2346.66 cores=0,2,4,6,8,10,12,14 /proc/16988/stat : 16988 (java) S 16985 16988 15196 0 -1 1077944320 220400 12572 0 0 234206 448 9 3 20 0 20 0 6363729 11261440000 228604 33554432000 4194304 4196468 140723752382848 140723752365392 139890245631735 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 /proc/16988/statm: 2749375 228604 3520 1 0 2736930 0 [pid=16988/tid=17043] ppid=16985 vsize=10997500 CPUtime=2243.58 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17043/stat : 17043 (java) R 16985 16988 15196 0 -1 4202560 76257 12572 0 0 224302 44 9 3 20 0 20 0 6363742 11261440000 228604 33554432000 4194304 4196468 140723752382848 139890249865760 139889872113627 0 4 0 16800975 0 0 0 -1 2 0 0 43 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17044] ppid=16985 vsize=10997500 CPUtime=8.3 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17044/stat : 17044 (java) S 16985 16988 15196 0 -1 1077944384 5960 12572 0 0 775 43 9 3 20 0 20 0 6363743 11261440000 228604 33554432000 4194304 4196468 140723752382848 139890182322832 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17045] ppid=16985 vsize=10997500 CPUtime=8.29 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17045/stat : 17045 (java) S 16985 16988 15196 0 -1 1077944384 6243 12572 0 0 777 40 9 3 20 0 20 0 6363743 11261440000 228604 33554432000 4194304 4196468 140723752382848 139890181270032 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17046] ppid=16985 vsize=10997500 CPUtime=8.23 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17046/stat : 17046 (java) S 16985 16988 15196 0 -1 1077944384 4020 12572 0 0 768 43 9 3 20 0 20 0 6363743 11261440000 228604 33554432000 4194304 4196468 140723752382848 139890180217232 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17047] ppid=16985 vsize=10997500 CPUtime=8.17 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17047/stat : 17047 (java) S 16985 16988 15196 0 -1 1077944384 4623 12572 0 0 767 38 9 3 20 0 20 0 6363743 11261440000 228604 33554432000 4194304 4196468 140723752382848 139890179164432 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17048] ppid=16985 vsize=10997500 CPUtime=8.21 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17048/stat : 17048 (java) S 16985 16988 15196 0 -1 1077944384 5831 12572 0 0 764 45 9 3 20 0 20 0 6363743 11261440000 228604 33554432000 4194304 4196468 140723752382848 139890178112656 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17049] ppid=16985 vsize=10997500 CPUtime=8.28 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17049/stat : 17049 (java) S 16985 16988 15196 0 -1 1077944384 4561 12572 0 0 779 37 9 3 20 0 20 0 6363743 11261440000 228604 33554432000 4194304 4196468 140723752382848 139890177059856 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17050] ppid=16985 vsize=10997500 CPUtime=8.15 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17050/stat : 17050 (java) S 16985 16988 15196 0 -1 1077944384 6726 12572 0 0 761 42 9 3 20 0 20 0 6363743 11261440000 228604 33554432000 4194304 4196468 140723752382848 139890176007056 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17051] ppid=16985 vsize=10997500 CPUtime=8.31 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17051/stat : 17051 (java) S 16985 16988 15196 0 -1 1077944384 8459 12572 0 0 778 41 9 3 20 0 20 0 6363744 11261440000 228604 33554432000 4194304 4196468 140723752382848 139890174954256 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17052] ppid=16985 vsize=10997500 CPUtime=6.75 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17052/stat : 17052 (java) S 16985 16988 15196 0 -1 1077944384 19178 12572 0 0 629 34 9 3 20 0 20 0 6363745 11261440000 228604 33554432000 4194304 4196468 140723752382848 139889720248688 139890245642882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17053] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17053/stat : 17053 (java) S 16985 16988 15196 0 -1 1077944384 61 12572 0 0 0 0 9 3 20 0 20 0 6363746 11261440000 228604 33554432000 4194304 4196468 140723752382848 139889719194720 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17054] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17054/stat : 17054 (java) S 16985 16988 15196 0 -1 1077944384 48 12572 0 0 0 0 9 3 20 0 20 0 6363746 11261440000 228604 33554432000 4194304 4196468 140723752382848 139889718141824 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17055] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17055/stat : 17055 (java) S 16985 16988 15196 0 -1 1077944384 1 12572 0 0 0 0 9 3 20 0 20 0 6363750 11261440000 228604 33554432000 4194304 4196468 140723752382848 139889717090128 139890245650331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17056] ppid=16985 vsize=10997500 CPUtime=8.98 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17056/stat : 17056 (java) S 16985 16988 15196 0 -1 1077944384 25980 12572 0 0 880 6 9 3 20 0 20 0 6363750 11261440000 228604 33554432000 4194304 4196468 140723752382848 139889716038512 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17057] ppid=16985 vsize=10997500 CPUtime=8.69 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17057/stat : 17057 (java) S 16985 16988 15196 0 -1 1077944384 11506 12572 0 0 852 5 9 3 20 0 20 0 6363751 11261440000 228604 33554432000 4194304 4196468 140723752382848 139889714985712 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17058] ppid=16985 vsize=10997500 CPUtime=8.72 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17058/stat : 17058 (java) S 16985 16988 15196 0 -1 1077944384 15075 12572 0 0 854 6 9 3 20 0 20 0 6363751 11261440000 228604 33554432000 4194304 4196468 140723752382848 139889713932912 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17059] ppid=16985 vsize=10997500 CPUtime=4.22 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17059/stat : 17059 (java) S 16985 16988 15196 0 -1 1077944384 22037 12572 0 0 404 6 9 3 20 0 20 0 6363751 11261440000 228604 33554432000 4194304 4196468 140723752382848 139889712880112 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17060] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17060/stat : 17060 (java) S 16985 16988 15196 0 -1 1077944384 3 12572 0 0 0 0 9 3 20 0 20 0 6363751 11261440000 228604 33554432000 4194304 4196468 140723752382848 139889711827552 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17061] ppid=16985 vsize=10997500 CPUtime=1.29 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17061/stat : 17061 (java) S 16985 16988 15196 0 -1 1077944384 1701 12572 0 0 60 57 9 3 20 0 20 0 6363751 11261440000 228604 33554432000 4194304 4196468 140723752382848 139889710774832 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 Current children cumulated CPU time (s) 2346.66 Current children cumulated vsize (KiB) 10997500 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2314.4 s] /proc/loadavg: 1.51 1.46 1.47 3/281 17270 /proc/meminfo: memFree=30172256/32770624 swapFree=5784/154804 [pid=16988] ppid=16985 vsize=10997500 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14 /proc/16988/stat : 16988 (java) S 16985 16988 15196 0 -1 1077944320 221527 12572 0 0 239534 456 9 3 20 0 20 0 6363729 11261440000 228621 33554432000 4194304 4196468 140723752382848 140723752365392 139890245631735 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 /proc/16988/statm: 2749375 228621 3520 1 0 2736930 0 [pid=16988/tid=17043] ppid=16985 vsize=10997500 CPUtime=2295.28 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17043/stat : 17043 (java) R 16985 16988 15196 0 -1 4202560 76663 12572 0 0 229472 44 9 3 20 0 20 0 6363742 11261440000 228621 33554432000 4194304 4196468 140723752382848 139890249865536 139889872114341 0 4 0 16800975 0 0 0 -1 6 0 0 43 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17044] ppid=16985 vsize=10997500 CPUtime=8.49 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17044/stat : 17044 (java) S 16985 16988 15196 0 -1 1077944384 6205 12572 0 0 793 44 9 3 20 0 20 0 6363743 11261440000 228621 33554432000 4194304 4196468 140723752382848 139890182322832 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17045] ppid=16985 vsize=10997500 CPUtime=8.47 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17045/stat : 17045 (java) S 16985 16988 15196 0 -1 1077944384 6255 12572 0 0 794 41 9 3 20 0 20 0 6363743 11261440000 228621 33554432000 4194304 4196468 140723752382848 139890181270032 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17046] ppid=16985 vsize=10997500 CPUtime=8.43 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17046/stat : 17046 (java) S 16985 16988 15196 0 -1 1077944384 4057 12572 0 0 788 43 9 3 20 0 20 0 6363743 11261440000 228621 33554432000 4194304 4196468 140723752382848 139890180217232 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17047] ppid=16985 vsize=10997500 CPUtime=8.36 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17047/stat : 17047 (java) S 16985 16988 15196 0 -1 1077944384 4679 12572 0 0 785 39 9 3 20 0 20 0 6363743 11261440000 228621 33554432000 4194304 4196468 140723752382848 139890179164432 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17048] ppid=16985 vsize=10997500 CPUtime=8.39 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17048/stat : 17048 (java) S 16985 16988 15196 0 -1 1077944384 5893 12572 0 0 782 45 9 3 20 0 20 0 6363743 11261440000 228621 33554432000 4194304 4196468 140723752382848 139890178112656 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17049] ppid=16985 vsize=10997500 CPUtime=8.47 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17049/stat : 17049 (java) S 16985 16988 15196 0 -1 1077944384 4577 12572 0 0 796 39 9 3 20 0 20 0 6363743 11261440000 228621 33554432000 4194304 4196468 140723752382848 139890177059856 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17050] ppid=16985 vsize=10997500 CPUtime=8.32 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17050/stat : 17050 (java) S 16985 16988 15196 0 -1 1077944384 6770 12572 0 0 777 43 9 3 20 0 20 0 6363743 11261440000 228621 33554432000 4194304 4196468 140723752382848 139890176007056 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17051] ppid=16985 vsize=10997500 CPUtime=8.5 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17051/stat : 17051 (java) S 16985 16988 15196 0 -1 1077944384 8471 12572 0 0 797 41 9 3 20 0 20 0 6363744 11261440000 228621 33554432000 4194304 4196468 140723752382848 139890174954256 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17052] ppid=16985 vsize=10997500 CPUtime=6.89 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17052/stat : 17052 (java) S 16985 16988 15196 0 -1 1077944384 19390 12572 0 0 642 35 9 3 20 0 20 0 6363745 11261440000 228621 33554432000 4194304 4196468 140723752382848 139889720248688 139890245642882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17053] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17053/stat : 17053 (java) S 16985 16988 15196 0 -1 1077944384 61 12572 0 0 0 0 9 3 20 0 20 0 6363746 11261440000 228621 33554432000 4194304 4196468 140723752382848 139889719194720 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17054] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17054/stat : 17054 (java) S 16985 16988 15196 0 -1 1077944384 48 12572 0 0 0 0 9 3 20 0 20 0 6363746 11261440000 228621 33554432000 4194304 4196468 140723752382848 139889718141824 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17055] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17055/stat : 17055 (java) S 16985 16988 15196 0 -1 1077944384 1 12572 0 0 0 0 9 3 20 0 20 0 6363750 11261440000 228621 33554432000 4194304 4196468 140723752382848 139889717090128 139890245650331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17056] ppid=16985 vsize=10997500 CPUtime=8.98 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17056/stat : 17056 (java) S 16985 16988 15196 0 -1 1077944384 25982 12572 0 0 880 6 9 3 20 0 20 0 6363750 11261440000 228621 33554432000 4194304 4196468 140723752382848 139889716038512 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17057] ppid=16985 vsize=10997500 CPUtime=8.69 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17057/stat : 17057 (java) S 16985 16988 15196 0 -1 1077944384 11508 12572 0 0 852 5 9 3 20 0 20 0 6363751 11261440000 228621 33554432000 4194304 4196468 140723752382848 139889714985712 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17058] ppid=16985 vsize=10997500 CPUtime=8.72 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17058/stat : 17058 (java) S 16985 16988 15196 0 -1 1077944384 15077 12572 0 0 854 6 9 3 20 0 20 0 6363751 11261440000 228621 33554432000 4194304 4196468 140723752382848 139889713932912 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17059] ppid=16985 vsize=10997500 CPUtime=4.22 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17059/stat : 17059 (java) S 16985 16988 15196 0 -1 1077944384 22039 12572 0 0 404 6 9 3 20 0 20 0 6363751 11261440000 228621 33554432000 4194304 4196468 140723752382848 139889712880112 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17060] ppid=16985 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17060/stat : 17060 (java) S 16985 16988 15196 0 -1 1077944384 3 12572 0 0 0 0 9 3 20 0 20 0 6363751 11261440000 228621 33554432000 4194304 4196468 140723752382848 139889711827552 139890245641941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 [pid=16988/tid=17061] ppid=16985 vsize=10997500 CPUtime=1.32 cores=0,2,4,6,8,10,12,14 /proc/16988/task/17061/stat : 17061 (java) S 16985 16988 15196 0 -1 1077944384 1718 12572 0 0 62 58 9 3 20 0 20 0 6363751 11261440000 228621 33554432000 4194304 4196468 140723752382848 139889710774832 139890245642882 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 41 0 0 6293624 6294260 9854976 140723752389313 140723752392087 140723752392087 140723752394703 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 10997500 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 16988 sig 9 ??? kill -16988 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2314.45 CPU time (s): 2400.09 CPU user time (s): 2395.48 CPU system time (s): 4.60886 CPU usage (%): 103.7 Max. virtual memory (cumulated for all children) (KiB): 10997552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2395.48 system time used= 4.60886 maximum resident set size= 1142404 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 234994 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2712 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 296274 involuntary context switches= 179714 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 17.027 second user time and 20.6209 second system time The end
Begin job on node145 at 2017-07-22 10:09:46 IDJOB=4246192 IDBENCH=124216 IDSOLVER=2630 FILE ID=node145/4246192-1500710986 RUNJOBID= node145-1500697238-13813 PBS_JOBID= 20623333 Free space on /tmp= 61840 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t02-3.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246192-1500710986/watcher-4246192-1500710986 -o /tmp/evaluation-result-4246192-1500710986/solver-4246192-1500710986 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500697238-13813 --watchdog 2560 bin/concrete HOME/instance-4246192-1500710986.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 058109e0b262c2cf0fdf1876739ed95e RANDOM SEED=536613364 node145.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.43 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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.43 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 : 1600.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 : 2668.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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.43 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 : 1733.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.43 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: 31112468 kB MemAvailable: 31279940 kB Buffers: 152028 kB Cached: 287256 kB SwapCached: 0 kB Active: 984460 kB Inactive: 220032 kB Active(anon): 709188 kB Inactive(anon): 67856 kB Active(file): 275272 kB Inactive(file): 152176 kB Unevictable: 5784 kB Mlocked: 5784 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24360 kB Writeback: 0 kB AnonPages: 775504 kB Mapped: 44392 kB Shmem: 8852 kB Slab: 145604 kB SReclaimable: 111720 kB SUnreclaim: 33884 kB KernelStack: 4736 kB PageTables: 7692 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1472976 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 532480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61812 MiB End job on node145 at 2017-07-22 10:48:21