Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.8-SuperNG 2018-06-13 | SAT (TO) | 9173 | 2520.13 | 2480.33 |
| Name | QuadraticAssignment/ QuadraticAssignment-sko42_c18.xml |
| MD5SUM | ee3f8a7d47c87a95d16b6f1492d4a345 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 8186 |
| Best CPU time to get the best result obtained on this benchmark | 2520.13 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1806 |
| Number of constraints | 862 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 42 |
| Distribution of domain sizes | [{"size":8,"count":861},{"size":42,"count":42}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 42 |
| Distribution of variable degrees | [{"degree":0,"count":903},{"degree":2,"count":861},{"degree":42,"count":42}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 42 |
| Distribution of constraint arities | [{"arity":3,"count":861},{"arity":42,"count":1}] |
| Number of extensional constraints | 861 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":861},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.99/0.74 c Concrete v3.8.1528841891564 running 32.61/24.27 o 9387 32.89/24.33 o 9363 32.89/24.37 o 9307 53.59/41.24 o 9292 1316.77/1286.11 o 9268 1316.88/1286.21 o 9262 1328.36/1297.47 o 9251 1328.59/1297.69 o 9237 1334.21/1302.99 o 9235 1612.64/1575.25 o 9222 1614.56/1577.14 o 9212 2057.35/2018.55 o 9197 2062.06/2023.25 o 9195 2089.93/2051.01 o 9183 2309.80/2270.48 o 9173 2520.08/2480.31 Exception in thread "main" java.util.concurrent.TimeoutException 2520.08/2480.31 at concrete.MAC.mac(MAC.scala:188) 2520.08/2480.31 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.08/2480.31 at scala.util.Try$.apply(Try.scala:209) 2520.08/2480.31 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.08/2480.31 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.08/2480.31 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.08/2480.31 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.08/2480.31 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.08/2480.31 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.08/2480.31 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.08/2480.31 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.08/2480.31 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.08/2480.31 at concrete.MAC.oneRun(MAC.scala:253) 2520.08/2480.31 at concrete.MAC.nextSolution(MAC.scala:272) 2520.08/2480.31 at concrete.MAC.nextSolution(MAC.scala:355) 2520.08/2480.31 at concrete.Solver.hasNext(Solver.scala:166) 2520.08/2480.31 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.08/2480.31 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.08/2480.31 at concrete.Solver.foreach(Solver.scala:68) 2520.08/2480.31 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.08/2480.31 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.08/2480.31 at scala.util.Success.map(Try.scala:209) 2520.08/2480.31 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.08/2480.31 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.08/2480.31 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.08/2480.31 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.08/2480.31 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.08/2480.31 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.08/2480.31 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.08/2480.31 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.08/2480.31 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.08/2480.31 at scala.collection.immutable.List.foreach(List.scala:389) 2520.08/2480.31 at scala.App.main(App.scala:76) 2520.08/2480.31 at scala.App.main$(App.scala:74) 2520.08/2480.31 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.08/2480.31 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.08/2480.31 v <instantiation cost="9173"> 2520.08/2480.31 v <list> 2520.08/2480.31 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[37][38] d[37][39] d[37][40] d[37][41] d[38][39] d[38][40] d[38][41] d[39][40] d[39][41] d[40][41] 2520.08/2480.31 v </list> 2520.08/2480.31 v <values> 2520.08/2480.31 v 23 3 20 14 10 9 7 0 32 12 30 5 24 21 37 8 38 16 4 41 29 36 26 28 34 11 18 35 15 39 13 6 2 22 27 19 33 25 40 31 17 1 5 0 0 5 4 2 10 5 1 5 5 2 5 3 6 0 3 0 0 0 10 0 0 0 0 3 10 0 2 0 2 1 2 2 0 2 10 1 3 2 0 5 5 1 2 0 5 10 5 3 1 2 5 2 10 10 0 0 5 2 0 0 1 4 2 2 0 5 3 5 0 0 0 0 6 5 1 0 2 2 0 0 0 0 4 5 10 0 1 0 4 0 10 2 10 1 2 2 5 5 1 0 0 0 0 0 2 4 2 6 1 2 1 3 1 4 5 5 0 2 0 2 2 2 5 0 5 1 0 2 5 10 2 6 2 5 0 5 5 5 5 0 1 0 0 10 10 2 2 0 2 2 1 5 5 1 0 0 1 5 2 0 2 5 1 1 5 0 0 5 1 0 5 3 0 0 10 2 5 0 0 2 0 5 10 0 2 1 2 5 4 0 5 2 1 1 0 0 5 5 5 0 1 1 5 5 5 0 10 2 0 5 3 5 2 10 2 5 2 3 4 1 2 0 0 1 0 0 0 5 2 6 5 0 2 5 5 0 2 0 0 0 1 3 2 2 2 5 2 2 0 5 2 5 0 0 0 0 2 0 0 3 1 2 2 0 0 0 0 1 0 5 10 5 0 0 4 2 0 10 4 0 5 0 0 0 5 0 1 5 10 0 2 2 5 1 0 2 5 2 5 0 2 2 4 0 10 2 0 2 0 5 0 5 3 5 1 1 0 5 2 4 2 1 2 10 0 2 0 0 2 2 1 10 0 1 5 1 4 0 3 0 0 0 1 2 0 2 1 5 5 0 1 0 2 0 2 1 6 2 5 0 5 0 5 0 1 0 0 5 10 5 0 0 1 2 3 0 2 5 5 0 0 3 5 2 2 2 5 2 5 1 0 2 2 0 5 1 4 1 5 0 1 5 0 5 2 10 0 0 1 10 0 5 0 0 5 2 1 0 5 1 2 0 0 1 2 4 1 0 5 5 5 4 0 4 5 1 1 2 1 0 3 1 1 2 0 0 2 2 1 5 0 6 0 2 0 2 1 2 0 2 5 2 0 2 0 0 5 0 2 2 4 1 5 10 1 0 5 5 2 0 1 0 2 0 2 0 0 10 2 2 0 5 10 2 0 10 1 0 10 1 2 5 10 0 0 0 6 0 0 0 1 6 0 2 0 0 5 5 2 1 5 10 2 5 0 0 0 1 3 5 1 10 2 0 0 2 4 10 10 10 1 2 5 3 5 5 1 2 1 5 5 1 0 0 0 0 2 3 10 2 10 1 5 2 5 5 10 0 0 2 5 5 10 1 0 1 5 3 0 5 6 0 0 5 5 6 5 1 1 6 5 5 2 0 0 6 1 2 0 0 2 5 5 4 3 5 3 1 2 2 0 5 10 5 0 1 1 1 1 0 0 2 10 1 5 6 5 4 1 2 0 10 5 2 5 2 5 4 0 5 5 2 1 4 0 0 0 2 5 0 5 2 3 0 0 1 5 10 0 5 6 5 0 0 5 0 0 0 5 0 3 5 4 2 0 0 0 1 0 0 2 10 0 2 1 0 0 5 5 1 5 0 2 5 2 2 1 0 3 2 6 5 0 0 0 0 10 5 5 0 1 10 0 0 5 0 2 2 10 0 1 5 3 4 5 0 1 0 10 5 0 1 5 5 10 5 2 2 0 0 5 2 5 4 0 0 5 1 2 10 1 1 5 10 5 0 2 0 10 10 5 5 1 2 3 2 1 10 0 2 5 5 4 0 5 2 0 2 0 0 1 5 1 5 2 0 4 0 0 2 2 4 0 0 3 0 5 5 0 2 4 10 1 10 10 0 2 5 5 2 6 3 0 0 5 1 1 1 2 2 6 5 1 2 2 1 2 0 0 2 1 5 2 10 0 0 2 10 10 10 0 1 5 0 0 1 4 0 1 0 5 10 3 0 5 1 10 2 10 2520.08/2480.31 v </values> 2520.08/2480.31 v </instantiation> 2520.08/2480.32 s SATISFIABLE
OK 9173
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14957 MiB free)
memory of node 1: 16384 MiB (11129 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293846-1532372412/watcher-4293846-1532372412 -o /tmp/evaluation-result-4293846-1532372412/solver-4293846-1532372412 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17304 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=689611923 -superng HOME/instance-4293846-1532372412.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17614, runsolver pid=17611
[startup+0.101767 s]*
/proc/loadavg: 1.88 1.75 1.76 3/207 17671
/proc/meminfo: memFree=26705892/32770624 swapFree=67108860/67108860
[pid=17614] ppid=17611 vsize=9972712 memory=17076 CPUtime=0.09 cores=0,2,4,6
/proc/17614/stat : 17614 (java) S 17611 17614 17273 0 -1 1077944320 4405 13140 0 0 1 0 5 3 20 0 6 0 54804359 10212057088 4269 33554432000 4194304 4196468 140736117303840 140736117286384 139996836634359 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
/proc/17614/statm: 2493178 4269 1934 1 0 2481616 0
[pid=17614/tid=17667] ppid=17611 vsize=9972712 memory=4279135704013962638 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17667/stat : 17667 (java) R 17611 17614 17273 0 -1 4202560 2228 13140 0 0 0 0 5 3 20 0 6 0 54804368 10212057088 4269 33554432000 4194304 4196468 140736117303840 139996808471120 139996822316885 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17668] ppid=17611 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17668/stat : 17668 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 6 0 54804369 10212057088 4269 33554432000 4194304 4196468 140736117303840 139996840876432 139996836644565 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17669] ppid=17611 vsize=9972712 memory=139843753703040 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17669/stat : 17669 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 6 0 54804369 10212057088 4269 33554432000 4194304 4196468 140736117303840 139996745079056 139996836644565 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17670] ppid=17611 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17670/stat : 17670 (java) S 17611 17614 17273 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 6 0 54804369 10212057088 4269 33554432000 4194304 4196468 140736117303840 139996744026768 139996836644565 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17671] ppid=17611 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17671/stat : 17671 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 6 0 54804369 10212057088 4269 33554432000 4194304 4196468 140736117303840 139996742973968 139996836644565 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.210154 s]*
/proc/loadavg: 1.88 1.75 1.76 3/216 17680
/proc/meminfo: memFree=26681316/32770624 swapFree=67108860/67108860
[pid=17614] ppid=17611 vsize=10818904 memory=47332 CPUtime=0.26 cores=0,2,4,6
/proc/17614/stat : 17614 (java) S 17611 17614 17273 0 -1 1077944320 8011 13140 0 0 17 1 5 3 20 0 15 0 54804359 11078557696 11833 33554432000 4194304 4196468 140736117303840 140736117286384 139996836634359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
/proc/17614/statm: 2704726 11833 2972 1 0 2667149 0
[pid=17614/tid=17667] ppid=17611 vsize=10818904 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/17614/task/17667/stat : 17667 (java) R 17611 17614 17273 0 -1 4202560 4761 13140 0 0 11 1 5 3 20 0 15 0 54804368 11078557696 11965 33554432000 4194304 4196468 140736117303840 139996808430400 139996816910080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17668] ppid=17611 vsize=10818904 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17668/stat : 17668 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 54804369 11078557696 11965 33554432000 4194304 4196468 140736117303840 139996840876432 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17669] ppid=17611 vsize=10818904 memory=139843754026947 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17669/stat : 17669 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 54804369 11078557696 11965 33554432000 4194304 4196468 140736117303840 139996745079056 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17670] ppid=17611 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17670/stat : 17670 (java) S 17611 17614 17273 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 54804369 11078557696 11965 33554432000 4194304 4196468 140736117303840 139996744026768 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17671] ppid=17611 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17671/stat : 17671 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 54804369 11078557696 11965 33554432000 4194304 4196468 140736117303840 139996742973968 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17672] ppid=17611 vsize=10818904 memory=139843753703040 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17672/stat : 17672 (java) S 17611 17614 17273 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 54804371 11078557696 11965 33554432000 4194304 4196468 140736117303840 139996108491376 139996836645506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17673] ppid=17611 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17673/stat : 17673 (java) S 17611 17614 17273 0 -1 1077944384 29 13140 0 0 0 0 5 3 20 0 15 0 54804371 11078557696 11965 33554432000 4194304 4196468 140736117303840 139996107437344 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17674] ppid=17611 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17674/stat : 17674 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 54804372 11078557696 11965 33554432000 4194304 4196468 140736117303840 139996002510448 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17675] ppid=17611 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17675/stat : 17675 (java) S 17611 17614 17273 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 54804374 11078557696 11965 33554432000 4194304 4196468 140736117303840 139995868293712 139996836652955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17676] ppid=17611 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17614/task/17676/stat : 17676 (java) S 17611 17614 17273 0 -1 1077944384 490 13140 0 0 1 0 5 3 20 0 15 0 54804374 11078557696 11965 33554432000 4194304 4196468 140736117303840 139996073879664 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17677] ppid=17611 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17677/stat : 17677 (java) S 17611 17614 17273 0 -1 1077944384 90 13140 0 0 0 0 5 3 20 0 15 0 54804374 11078557696 11965 33554432000 4194304 4196468 140736117303840 139996072826864 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17678] ppid=17611 vsize=10818904 memory=139843753703040 CPUtime=0.11 cores=0,2,4,6
/proc/17614/task/17678/stat : 17678 (java) S 17611 17614 17273 0 -1 1077944384 550 13140 0 0 3 0 5 3 20 0 15 0 54804374 11078557696 11965 33554432000 4194304 4196468 140736117303840 139996071774576 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17679] ppid=17611 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17679/stat : 17679 (java) S 17611 17614 17273 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 54804375 11078557696 11965 33554432000 4194304 4196468 140736117303840 139995734075872 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17680] ppid=17611 vsize=10818904 memory=139843753703040 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17680/stat : 17680 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 54804375 11078557696 11965 33554432000 4194304 4196468 140736117303840 139996070722480 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 47332 KiB
[startup+0.310135 s]*
/proc/loadavg: 1.88 1.75 1.76 3/216 17680
/proc/meminfo: memFree=26670400/32770624 swapFree=67108860/67108860
[pid=17614] ppid=17611 vsize=10819352 memory=58492 CPUtime=0.39 cores=0,2,4,6
/proc/17614/stat : 17614 (java) S 17611 17614 17273 0 -1 1077944320 10655 13140 0 0 28 3 5 3 20 0 15 0 54804359 11079016448 14623 33554432000 4194304 4196468 140736117303840 140736117286384 139996836634359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
/proc/17614/statm: 2704838 14623 3091 1 0 2667149 0
[pid=17614/tid=17667] ppid=17611 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/17614/task/17667/stat : 17667 (java) R 17611 17614 17273 0 -1 4202560 7280 13140 0 0 19 2 5 3 20 0 15 0 54804368 11079016448 14623 33554432000 4194304 4196468 140736117303840 139996808446368 139996836656285 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17668] ppid=17611 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17668/stat : 17668 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 54804369 11079016448 14623 33554432000 4194304 4196468 140736117303840 139996840876432 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17669] ppid=17611 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17669/stat : 17669 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 54804369 11079016448 14623 33554432000 4194304 4196468 140736117303840 139996745079056 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17670] ppid=17611 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17670/stat : 17670 (java) S 17611 17614 17273 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 54804369 11079016448 14623 33554432000 4194304 4196468 140736117303840 139996744026768 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17671] ppid=17611 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17671/stat : 17671 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 54804369 11079016448 14623 33554432000 4194304 4196468 140736117303840 139996742973968 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17672] ppid=17611 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17672/stat : 17672 (java) S 17611 17614 17273 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 54804371 11079016448 14623 33554432000 4194304 4196468 140736117303840 139996108491376 139996836645506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17673] ppid=17611 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17673/stat : 17673 (java) S 17611 17614 17273 0 -1 1077944384 29 13140 0 0 0 0 5 3 20 0 15 0 54804371 11079016448 14623 33554432000 4194304 4196468 140736117303840 139996107437344 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17674] ppid=17611 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17674/stat : 17674 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 54804372 11079016448 14623 33554432000 4194304 4196468 140736117303840 139996002510448 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17675] ppid=17611 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17675/stat : 17675 (java) S 17611 17614 17273 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 54804374 11079016448 14623 33554432000 4194304 4196468 140736117303840 139995868293712 139996836652955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17676] ppid=17611 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17614/task/17676/stat : 17676 (java) S 17611 17614 17273 0 -1 1077944384 490 13140 0 0 1 0 5 3 20 0 15 0 54804374 11079016448 14623 33554432000 4194304 4196468 140736117303840 139996073879664 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17677] ppid=17611 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/17614/task/17677/stat : 17677 (java) S 17611 17614 17273 0 -1 1077944384 91 13140 0 0 1 0 5 3 20 0 15 0 54804374 11079016448 14623 33554432000 4194304 4196468 140736117303840 139996072826864 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17678] ppid=17611 vsize=10819352 memory=139843753703040 CPUtime=0.12 cores=0,2,4,6
/proc/17614/task/17678/stat : 17678 (java) S 17611 17614 17273 0 -1 1077944384 559 13140 0 0 4 0 5 3 20 0 15 0 54804374 11079016448 14623 33554432000 4194304 4196468 140736117303840 139996071774576 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17679] ppid=17611 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17679/stat : 17679 (java) S 17611 17614 17273 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 54804375 11079016448 14623 33554432000 4194304 4196468 140736117303840 139995734075872 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17680] ppid=17611 vsize=10819352 memory=139843753703040 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17680/stat : 17680 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 54804375 11079016448 14623 33554432000 4194304 4196468 140736117303840 139996070722480 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 58492 KiB
[startup+0.700735 s]
/proc/loadavg: 1.88 1.75 1.76 4/216 17680
/proc/meminfo: memFree=26659236/32770624 swapFree=67108860/67108860
[pid=17614] ppid=17611 vsize=10819352 memory=90368 CPUtime=0.99 cores=0,2,4,6
/proc/17614/stat : 17614 (java) S 17611 17614 17273 0 -1 1077944320 16778 13140 0 0 86 5 5 3 20 0 15 0 54804359 11079016448 22592 33554432000 4194304 4196468 140736117303840 140736117286384 139996836634359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
/proc/17614/statm: 2704838 22592 3237 1 0 2667149 0
[pid=17614/tid=17667] ppid=17611 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/17614/task/17667/stat : 17667 (java) R 17611 17614 17273 0 -1 4202560 12387 13140 0 0 55 3 5 3 20 0 15 0 54804368 11079016448 22592 33554432000 4194304 4196468 140736117303840 139996808462240 139996820714846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17668] ppid=17611 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17668/stat : 17668 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 54804369 11079016448 22592 33554432000 4194304 4196468 140736117303840 139996840876432 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17669] ppid=17611 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17669/stat : 17669 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 54804369 11079016448 22592 33554432000 4194304 4196468 140736117303840 139996745079056 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17670] ppid=17611 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17670/stat : 17670 (java) S 17611 17614 17273 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 54804369 11079016448 22592 33554432000 4194304 4196468 140736117303840 139996744026768 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17671] ppid=17611 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17671/stat : 17671 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 54804369 11079016448 22592 33554432000 4194304 4196468 140736117303840 139996742973968 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17672] ppid=17611 vsize=10819352 memory=6935649255861544529 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17672/stat : 17672 (java) S 17611 17614 17273 0 -1 1077944384 5 13140 0 0 0 0 5 3 20 0 15 0 54804371 11079016448 22592 33554432000 4194304 4196468 140736117303840 139996108491376 139996836645506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17673] ppid=17611 vsize=10819352 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17673/stat : 17673 (java) S 17611 17614 17273 0 -1 1077944384 29 13140 0 0 0 0 5 3 20 0 15 0 54804371 11079016448 22592 33554432000 4194304 4196468 140736117303840 139996107437344 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17674] ppid=17611 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17674/stat : 17674 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 54804372 11079016448 22592 33554432000 4194304 4196468 140736117303840 139996002510448 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17675] ppid=17611 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17675/stat : 17675 (java) S 17611 17614 17273 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 54804374 11079016448 22592 33554432000 4194304 4196468 140736117303840 139995868293712 139996836652955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17676] ppid=17611 vsize=10819352 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/17614/task/17676/stat : 17676 (java) S 17611 17614 17273 0 -1 1077944384 823 13140 0 0 6 0 5 3 20 0 15 0 54804374 11079016448 22592 33554432000 4194304 4196468 140736117303840 139996073879664 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17677] ppid=17611 vsize=10819352 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/17614/task/17677/stat : 17677 (java) S 17611 17614 17273 0 -1 1077944384 711 13140 0 0 10 0 5 3 20 0 15 0 54804374 11079016448 22592 33554432000 4194304 4196468 140736117303840 139996072826864 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17678] ppid=17611 vsize=10819352 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/17614/task/17678/stat : 17678 (java) S 17611 17614 17273 0 -1 1077944384 619 13140 0 0 13 0 5 3 20 0 15 0 54804374 11079016448 22592 33554432000 4194304 4196468 140736117303840 139996071774576 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17679] ppid=17611 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17679/stat : 17679 (java) S 17611 17614 17273 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 54804375 11079016448 22592 33554432000 4194304 4196468 140736117303840 139995734075872 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17680] ppid=17611 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17680/stat : 17680 (java) S 17611 17614 17273 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 54804375 11079016448 22592 33554432000 4194304 4196468 140736117303840 139996070722480 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90368 KiB
[startup+1.5012 s]
/proc/loadavg: 1.81 1.74 1.76 3/216 17680
/proc/meminfo: memFree=26613896/32770624 swapFree=67108860/67108860
[pid=17614] ppid=17611 vsize=10834252 memory=193696 CPUtime=2.56 cores=0,2,4,6
/proc/17614/stat : 17614 (java) S 17611 17614 17273 0 -1 1077944320 25336 13140 0 0 238 10 5 3 20 0 15 0 54804359 11094274048 48424 33554432000 4194304 4196468 140736117303840 140736117286384 139996836634359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
/proc/17614/statm: 2708563 48424 3476 1 0 2670221 0
[pid=17614/tid=17667] ppid=17611 vsize=10834252 memory=4951091520830867572 CPUtime=1.43 cores=0,2,4,6
/proc/17614/task/17667/stat : 17667 (java) R 17611 17614 17273 0 -1 4202560 17549 13140 0 0 129 6 5 3 20 0 15 0 54804368 11094274048 48424 33554432000 4194304 4196468 140736117303840 139996808453432 139996822327840 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17668] ppid=17611 vsize=10834252 memory=-5153189914156493165 CPUtime=0.09 cores=0,2,4,6
/proc/17614/task/17668/stat : 17668 (java) S 17611 17614 17273 0 -1 1077944384 26 13140 0 0 1 0 5 3 20 0 15 0 54804369 11094274048 48424 33554432000 4194304 4196468 140736117303840 139996840876432 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17669] ppid=17611 vsize=10834252 memory=-7594133018162794391 CPUtime=0.09 cores=0,2,4,6
/proc/17614/task/17669/stat : 17669 (java) S 17611 17614 17273 0 -1 1077944384 20 13140 0 0 1 0 5 3 20 0 15 0 54804369 11094274048 48424 33554432000 4194304 4196468 140736117303840 139996745079056 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17670] ppid=17611 vsize=10834252 memory=6720696446780543624 CPUtime=0.09 cores=0,2,4,6
/proc/17614/task/17670/stat : 17670 (java) S 17611 17614 17273 0 -1 1077944384 66 13140 0 0 1 0 5 3 20 0 15 0 54804369 11094274048 48424 33554432000 4194304 4196468 140736117303840 139996744026768 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17671] ppid=17611 vsize=10834252 memory=121260 CPUtime=0.09 cores=0,2,4,6
/proc/17614/task/17671/stat : 17671 (java) S 17611 17614 17273 0 -1 1077944384 188 13140 0 0 1 0 5 3 20 0 15 0 54804369 11094274048 48424 33554432000 4194304 4196468 140736117303840 139996742973968 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17672] ppid=17611 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17614/task/17672/stat : 17672 (java) S 17611 17614 17273 0 -1 1077944384 867 13140 0 0 1 0 5 3 20 0 15 0 54804371 11094274048 48424 33554432000 4194304 4196468 140736117303840 139996108491376 139996836645506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17673] ppid=17611 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17673/stat : 17673 (java) S 17611 17614 17273 0 -1 1077944384 29 13140 0 0 0 0 5 3 20 0 15 0 54804371 11094274048 48424 33554432000 4194304 4196468 140736117303840 139996107437408 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17674] ppid=17611 vsize=10834252 memory=279687196639520 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17674/stat : 17674 (java) S 17611 17614 17273 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 54804372 11094274048 48424 33554432000 4194304 4196468 140736117303840 139996002510464 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17675] ppid=17611 vsize=10834252 memory=279687197054464 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17675/stat : 17675 (java) S 17611 17614 17273 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 54804374 11094274048 48424 33554432000 4194304 4196468 140736117303840 139995868293712 139996836652955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17676] ppid=17611 vsize=10834252 memory=139843598329472 CPUtime=0.39 cores=0,2,4,6
/proc/17614/task/17676/stat : 17676 (java) R 17611 17614 17273 0 -1 4202560 1493 13140 0 0 30 1 5 3 20 0 15 0 54804374 11094274048 48424 33554432000 4194304 4196468 140736117303840 139996073879664 139996818181457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17677] ppid=17611 vsize=10834252 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/17614/task/17677/stat : 17677 (java) R 17611 17614 17273 0 -1 4202560 1223 13140 0 0 28 0 5 3 20 0 15 0 54804374 11094274048 48424 33554432000 4194304 4196468 140736117303840 139996072826864 139996818170355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17678] ppid=17611 vsize=10834252 memory=1200 CPUtime=0.49 cores=0,2,4,6
/proc/17614/task/17678/stat : 17678 (java) S 17611 17614 17273 0 -1 1077944384 1673 13140 0 0 41 0 5 3 20 0 15 0 54804374 11094274048 48424 33554432000 4194304 4196468 140736117303840 139996071774576 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17679] ppid=17611 vsize=10834252 memory=15872 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17679/stat : 17679 (java) S 17611 17614 17273 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 54804375 11094274048 48424 33554432000 4194304 4196468 140736117303840 139995734075872 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17680] ppid=17611 vsize=10834252 memory=11276 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17680/stat : 17680 (java) S 17611 17614 17273 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 54804375 11094274048 48424 33554432000 4194304 4196468 140736117303840 139996070722480 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/17614/task/17667/stat : 17667 (java) R 17611 17614 17273 0 -1 4202560 401177 13140 0 0 237038 61 5 3 20 0 15 0 54804368 11178180608 427512 33554432000 4194304 4196468 140736117303840 139996808461184 139996427449048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17668] ppid=17611 vsize=10916192 memory=1708000 CPUtime=7.67 cores=0,2,4,6
/proc/17614/task/17668/stat : 17668 (java) S 17611 17614 17273 0 -1 1077944384 12985 13140 0 0 694 65 5 3 20 0 15 0 54804369 11178180608 427512 33554432000 4194304 4196468 140736117303840 139996840876432 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17669] ppid=17611 vsize=10916192 memory=1703904 CPUtime=7.65 cores=0,2,4,6
/proc/17614/task/17669/stat : 17669 (java) S 17611 17614 17273 0 -1 1077944384 12745 13140 0 0 691 66 5 3 20 0 15 0 54804369 11178180608 427512 33554432000 4194304 4196468 140736117303840 139996745079056 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17670] ppid=17611 vsize=10916192 memory=1708000 CPUtime=7.68 cores=0,2,4,6
/proc/17614/task/17670/stat : 17670 (java) S 17611 17614 17273 0 -1 1077944384 17036 13140 0 0 694 66 5 3 20 0 15 0 54804369 11178180608 427512 33554432000 4194304 4196468 140736117303840 139996744026768 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17671] ppid=17611 vsize=10916192 memory=1708000 CPUtime=7.65 cores=0,2,4,6
/proc/17614/task/17671/stat : 17671 (java) S 17611 17614 17273 0 -1 1077944384 16738 13140 0 0 691 66 5 3 20 0 15 0 54804369 11178180608 427512 33554432000 4194304 4196468 140736117303840 139996742973968 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17672] ppid=17611 vsize=10916192 memory=202193 CPUtime=2.56 cores=0,2,4,6
/proc/17614/task/17672/stat : 17672 (java) S 17611 17614 17273 0 -1 1077944384 19000 13140 0 0 226 22 5 3 20 0 15 0 54804371 11178180608 427512 33554432000 4194304 4196468 140736117303840 139996108491376 139996836645506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17673] ppid=17611 vsize=10916192 memory=1708000 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17673/stat : 17673 (java) S 17611 17614 17273 0 -1 1077944384 48 13140 0 0 0 0 5 3 20 0 15 0 54804371 11178180608 427512 33554432000 4194304 4196468 140736117303840 139996107437408 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17674] ppid=17611 vsize=10916192 memory=1691588 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17674/stat : 17674 (java) S 17611 17614 17273 0 -1 1077944384 28 13140 0 0 0 0 5 3 20 0 15 0 54804372 11178180608 427512 33554432000 4194304 4196468 140736117303840 139996002510464 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17675] ppid=17611 vsize=10916192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17675/stat : 17675 (java) S 17611 17614 17273 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 54804374 11178180608 427512 33554432000 4194304 4196468 140736117303840 139995868293712 139996836652955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17676] ppid=17611 vsize=10916192 memory=1708000 CPUtime=7.02 cores=0,2,4,6
/proc/17614/task/17676/stat : 17676 (java) S 17611 17614 17273 0 -1 1077944384 48368 13140 0 0 686 8 5 3 20 0 15 0 54804374 11178180608 427512 33554432000 4194304 4196468 140736117303840 139996073879664 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17677] ppid=17611 vsize=10916192 memory=4028 CPUtime=6.94 cores=0,2,4,6
/proc/17614/task/17677/stat : 17677 (java) S 17611 17614 17273 0 -1 1077944384 48876 13140 0 0 681 5 5 3 20 0 15 0 54804374 11178180608 427512 33554432000 4194304 4196468 140736117303840 139996072826864 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17678] ppid=17611 vsize=10916192 memory=17624 CPUtime=2.97 cores=0,2,4,6
/proc/17614/task/17678/stat : 17678 (java) S 17611 17614 17273 0 -1 1077944384 46501 13140 0 0 281 8 5 3 20 0 15 0 54804374 11178180608 427512 33554432000 4194304 4196468 140736117303840 139996071774576 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17679] ppid=17611 vsize=10916192 memory=1708000 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17679/stat : 17679 (java) S 17611 17614 17273 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 54804375 11178180608 427512 33554432000 4194304 4196468 140736117303840 139995734075872 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17680] ppid=17611 vsize=10916192 memory=4028 CPUtime=1.26 cores=0,2,4,6
/proc/17614/task/17680/stat : 17680 (java) S 17611 17614 17273 0 -1 1077944384 2376 13140 0 0 60 58 5 3 20 0 15 0 54804375 11178180608 427512 33554432000 4194304 4196468 140736117303840 139996070722480 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
Current children cumulated CPU time: 2421.84 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1710048 KiB
[startup+2442.3 s]
/proc/loadavg: 1.71 1.66 1.58 3/216 17907
/proc/meminfo: memFree=25146428/32770624 swapFree=67108860/67108860
[pid=17614] ppid=17611 vsize=10916192 memory=1728700 CPUtime=2481.97 cores=0,2,4,6
/proc/17614/stat : 17614 (java) S 17611 17614 17273 0 -1 1077944320 633260 13140 0 0 247786 403 5 3 20 0 15 0 54804359 11178180608 432175 33554432000 4194304 4196468 140736117303840 140736117286384 139996836634359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
/proc/17614/statm: 2729048 432175 3532 1 0 2690701 0
[pid=17614/tid=17667] ppid=17611 vsize=10916192 memory=1721912 CPUtime=2431.04 cores=0,2,4,6
/proc/17614/task/17667/stat : 17667 (java) R 17611 17614 17273 0 -1 4202560 403481 13140 0 0 243035 61 5 3 20 0 15 0 54804368 11178180608 432175 33554432000 4194304 4196468 140736117303840 139996808469432 139996443183551 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17668] ppid=17611 vsize=10916192 memory=1691588 CPUtime=7.69 cores=0,2,4,6
/proc/17614/task/17668/stat : 17668 (java) S 17611 17614 17273 0 -1 1077944384 13167 13140 0 0 696 65 5 3 20 0 15 0 54804369 11178180608 432175 33554432000 4194304 4196468 140736117303840 139996840876432 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17669] ppid=17611 vsize=10916192 memory=1721912 CPUtime=7.67 cores=0,2,4,6
/proc/17614/task/17669/stat : 17669 (java) S 17611 17614 17273 0 -1 1077944384 13171 13140 0 0 692 67 5 3 20 0 15 0 54804369 11178180608 432175 33554432000 4194304 4196468 140736117303840 139996745079056 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17670] ppid=17611 vsize=10916192 memory=1723960 CPUtime=7.69 cores=0,2,4,6
/proc/17614/task/17670/stat : 17670 (java) S 17611 17614 17273 0 -1 1077944384 17142 13140 0 0 695 66 5 3 20 0 15 0 54804369 11178180608 432175 33554432000 4194304 4196468 140736117303840 139996744026768 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17671] ppid=17611 vsize=10916192 memory=1726384 CPUtime=7.67 cores=0,2,4,6
/proc/17614/task/17671/stat : 17671 (java) S 17611 17614 17273 0 -1 1077944384 17075 13140 0 0 693 66 5 3 20 0 15 0 54804369 11178180608 432175 33554432000 4194304 4196468 140736117303840 139996742973968 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17672] ppid=17611 vsize=10916192 memory=1726384 CPUtime=2.57 cores=0,2,4,6
/proc/17614/task/17672/stat : 17672 (java) S 17611 17614 17273 0 -1 1077944384 19171 13140 0 0 227 22 5 3 20 0 15 0 54804371 11178180608 432175 33554432000 4194304 4196468 140736117303840 139996108491376 139996836645506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17673] ppid=17611 vsize=10916192 memory=1728700 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17673/stat : 17673 (java) S 17611 17614 17273 0 -1 1077944384 48 13140 0 0 0 0 5 3 20 0 15 0 54804371 11178180608 432175 33554432000 4194304 4196468 140736117303840 139996107437408 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17674] ppid=17611 vsize=10916192 memory=1728700 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17674/stat : 17674 (java) S 17611 17614 17273 0 -1 1077944384 28 13140 0 0 0 0 5 3 20 0 15 0 54804372 11178180608 432175 33554432000 4194304 4196468 140736117303840 139996002510464 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17675] ppid=17611 vsize=10916192 memory=1728700 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17675/stat : 17675 (java) S 17611 17614 17273 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 54804374 11178180608 432175 33554432000 4194304 4196468 140736117303840 139995868293712 139996836652955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17676] ppid=17611 vsize=10916192 memory=1728700 CPUtime=7.04 cores=0,2,4,6
/proc/17614/task/17676/stat : 17676 (java) S 17611 17614 17273 0 -1 1077944384 49039 13140 0 0 688 8 5 3 20 0 15 0 54804374 11178180608 432175 33554432000 4194304 4196468 140736117303840 139996073879664 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17677] ppid=17611 vsize=10916192 memory=1723960 CPUtime=6.97 cores=0,2,4,6
/proc/17614/task/17677/stat : 17677 (java) S 17611 17614 17273 0 -1 1077944384 49225 13140 0 0 683 6 5 3 20 0 15 0 54804374 11178180608 432175 33554432000 4194304 4196468 140736117303840 139996072826864 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17678] ppid=17611 vsize=10916192 memory=1728700 CPUtime=2.97 cores=0,2,4,6
/proc/17614/task/17678/stat : 17678 (java) S 17611 17614 17273 0 -1 1077944384 47113 13140 0 0 281 8 5 3 20 0 15 0 54804374 11178180608 432175 33554432000 4194304 4196468 140736117303840 139996071774576 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17679] ppid=17611 vsize=10916192 memory=1723960 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17679/stat : 17679 (java) S 17611 17614 17273 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 54804375 11178180608 432175 33554432000 4194304 4196468 140736117303840 139995734075872 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17680] ppid=17611 vsize=10916192 memory=1723960 CPUtime=1.29 cores=0,2,4,6
/proc/17614/task/17680/stat : 17680 (java) S 17611 17614 17273 0 -1 1077944384 2403 13140 0 0 61 60 5 3 20 0 15 0 54804375 11178180608 432175 33554432000 4194304 4196468 140736117303840 139996070722480 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
Current children cumulated CPU time: 2481.97 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1728700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2480.3 s]
/proc/loadavg: 1.41 1.59 1.56 3/216 17907
/proc/meminfo: memFree=25117820/32770624 swapFree=67108860/67108860
[pid=17614] ppid=17611 vsize=10916192 memory=1759368 CPUtime=2520.08 cores=0,2,4,6
/proc/17614/stat : 17614 (java) S 17611 17614 17273 0 -1 1077944320 644871 13140 0 0 251594 406 5 3 20 0 15 0 54804359 11178180608 439842 33554432000 4194304 4196468 140736117303840 140736117286384 139996836634359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
/proc/17614/statm: 2729048 439842 3532 1 0 2690701 0
[pid=17614/tid=17667] ppid=17611 vsize=10916192 memory=1749104 CPUtime=2469.01 cores=0,2,4,6
/proc/17614/task/17667/stat : 17667 (java) R 17611 17614 17273 0 -1 4202560 413421 13140 0 0 246831 62 5 3 20 0 15 0 54804368 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996808469432 139996443185682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17668] ppid=17611 vsize=10916192 memory=1759368 CPUtime=7.71 cores=0,2,4,6
/proc/17614/task/17668/stat : 17668 (java) S 17611 17614 17273 0 -1 1077944384 13513 13140 0 0 697 66 5 3 20 0 15 0 54804369 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996840876432 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17669] ppid=17611 vsize=10916192 memory=1759368 CPUtime=7.69 cores=0,2,4,6
/proc/17614/task/17669/stat : 17669 (java) S 17611 17614 17273 0 -1 1077944384 13244 13140 0 0 694 67 5 3 20 0 15 0 54804369 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996745079056 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17670] ppid=17611 vsize=10916192 memory=1759368 CPUtime=7.72 cores=0,2,4,6
/proc/17614/task/17670/stat : 17670 (java) S 17611 17614 17273 0 -1 1077944384 17353 13140 0 0 697 67 5 3 20 0 15 0 54804369 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996744026768 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17671] ppid=17611 vsize=10916192 memory=4028 CPUtime=7.69 cores=0,2,4,6
/proc/17614/task/17671/stat : 17671 (java) S 17611 17614 17273 0 -1 1077944384 17207 13140 0 0 694 67 5 3 20 0 15 0 54804369 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996742973968 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17672] ppid=17611 vsize=10916192 memory=17636 CPUtime=2.58 cores=0,2,4,6
/proc/17614/task/17672/stat : 17672 (java) S 17611 17614 17273 0 -1 1077944384 19376 13140 0 0 227 23 5 3 20 0 15 0 54804371 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996108491376 139996836645506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17673] ppid=17611 vsize=10916192 memory=1759368 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17673/stat : 17673 (java) S 17611 17614 17273 0 -1 1077944384 48 13140 0 0 0 0 5 3 20 0 15 0 54804371 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996107437408 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17674] ppid=17611 vsize=10916192 memory=1759368 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17674/stat : 17674 (java) S 17611 17614 17273 0 -1 1077944384 28 13140 0 0 0 0 5 3 20 0 15 0 54804372 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996002510464 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17675] ppid=17611 vsize=10916192 memory=1759368 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17675/stat : 17675 (java) S 17611 17614 17273 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 54804374 11178180608 439842 33554432000 4194304 4196468 140736117303840 139995868293712 139996836652955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17676] ppid=17611 vsize=10916192 memory=1759368 CPUtime=7.06 cores=0,2,4,6
/proc/17614/task/17676/stat : 17676 (java) S 17611 17614 17273 0 -1 1077944384 49256 13140 0 0 690 8 5 3 20 0 15 0 54804374 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996073879664 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17677] ppid=17611 vsize=10916192 memory=1753220 CPUtime=6.98 cores=0,2,4,6
/proc/17614/task/17677/stat : 17677 (java) S 17611 17614 17273 0 -1 1077944384 49464 13140 0 0 684 6 5 3 20 0 15 0 54804374 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996072826864 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17678] ppid=17611 vsize=10916192 memory=1753220 CPUtime=2.98 cores=0,2,4,6
/proc/17614/task/17678/stat : 17678 (java) S 17611 17614 17273 0 -1 1077944384 47344 13140 0 0 282 8 5 3 20 0 15 0 54804374 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996071774576 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17679] ppid=17611 vsize=10916192 memory=1703904 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17679/stat : 17679 (java) S 17611 17614 17273 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 54804375 11178180608 439842 33554432000 4194304 4196468 140736117303840 139995734075872 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17680] ppid=17611 vsize=10916192 memory=1759368 CPUtime=1.31 cores=0,2,4,6
/proc/17614/task/17680/stat : 17680 (java) S 17611 17614 17273 0 -1 1077944384 2420 13140 0 0 62 61 5 3 20 0 15 0 54804375 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996070722480 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1759368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2480.33 s]
# the end of solver process 17614 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.01 s, system=4.11648 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2480.3 s]
/proc/loadavg: 1.41 1.59 1.56 3/216 17907
/proc/meminfo: memFree=25117820/32770624 swapFree=67108860/67108860
[pid=17614] ppid=17611 vsize=10916192 memory=1759368 CPUtime=2520.08 cores=0,2,4,6
/proc/17614/stat : 17614 (java) S 17611 17614 17273 0 -1 1077944320 644871 13140 0 0 251594 406 5 3 20 0 15 0 54804359 11178180608 439842 33554432000 4194304 4196468 140736117303840 140736117286384 139996836634359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
/proc/17614/statm: 2729048 439842 3532 1 0 2690701 0
[pid=17614/tid=17667] ppid=17611 vsize=10916192 memory=1749104 CPUtime=2469.01 cores=0,2,4,6
/proc/17614/task/17667/stat : 17667 (java) R 17611 17614 17273 0 -1 4202560 413421 13140 0 0 246831 62 5 3 20 0 15 0 54804368 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996808469432 139996443185682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17668] ppid=17611 vsize=10916192 memory=1759368 CPUtime=7.71 cores=0,2,4,6
/proc/17614/task/17668/stat : 17668 (java) S 17611 17614 17273 0 -1 1077944384 13513 13140 0 0 697 66 5 3 20 0 15 0 54804369 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996840876432 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17669] ppid=17611 vsize=10916192 memory=1759368 CPUtime=7.69 cores=0,2,4,6
/proc/17614/task/17669/stat : 17669 (java) S 17611 17614 17273 0 -1 1077944384 13244 13140 0 0 694 67 5 3 20 0 15 0 54804369 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996745079056 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17670] ppid=17611 vsize=10916192 memory=1759368 CPUtime=7.72 cores=0,2,4,6
/proc/17614/task/17670/stat : 17670 (java) S 17611 17614 17273 0 -1 1077944384 17353 13140 0 0 697 67 5 3 20 0 15 0 54804369 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996744026768 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17671] ppid=17611 vsize=10916192 memory=4028 CPUtime=7.69 cores=0,2,4,6
/proc/17614/task/17671/stat : 17671 (java) S 17611 17614 17273 0 -1 1077944384 17207 13140 0 0 694 67 5 3 20 0 15 0 54804369 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996742973968 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17672] ppid=17611 vsize=10916192 memory=17636 CPUtime=2.58 cores=0,2,4,6
/proc/17614/task/17672/stat : 17672 (java) S 17611 17614 17273 0 -1 1077944384 19376 13140 0 0 227 23 5 3 20 0 15 0 54804371 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996108491376 139996836645506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17673] ppid=17611 vsize=10916192 memory=1759368 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17673/stat : 17673 (java) S 17611 17614 17273 0 -1 1077944384 48 13140 0 0 0 0 5 3 20 0 15 0 54804371 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996107437408 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17674] ppid=17611 vsize=10916192 memory=1759368 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17674/stat : 17674 (java) S 17611 17614 17273 0 -1 1077944384 28 13140 0 0 0 0 5 3 20 0 15 0 54804372 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996002510464 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17675] ppid=17611 vsize=10916192 memory=1759368 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17675/stat : 17675 (java) S 17611 17614 17273 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 54804374 11178180608 439842 33554432000 4194304 4196468 140736117303840 139995868293712 139996836652955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17676] ppid=17611 vsize=10916192 memory=1759368 CPUtime=7.06 cores=0,2,4,6
/proc/17614/task/17676/stat : 17676 (java) S 17611 17614 17273 0 -1 1077944384 49256 13140 0 0 690 8 5 3 20 0 15 0 54804374 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996073879664 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17677] ppid=17611 vsize=10916192 memory=1753220 CPUtime=6.98 cores=0,2,4,6
/proc/17614/task/17677/stat : 17677 (java) S 17611 17614 17273 0 -1 1077944384 49464 13140 0 0 684 6 5 3 20 0 15 0 54804374 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996072826864 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17678] ppid=17611 vsize=10916192 memory=1753220 CPUtime=2.98 cores=0,2,4,6
/proc/17614/task/17678/stat : 17678 (java) S 17611 17614 17273 0 -1 1077944384 47344 13140 0 0 282 8 5 3 20 0 15 0 54804374 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996071774576 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17679] ppid=17611 vsize=10916192 memory=1703904 CPUtime=0.08 cores=0,2,4,6
/proc/17614/task/17679/stat : 17679 (java) S 17611 17614 17273 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 54804375 11178180608 439842 33554432000 4194304 4196468 140736117303840 139995734075872 139996836644565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
[pid=17614/tid=17680] ppid=17611 vsize=10916192 memory=1759368 CPUtime=1.31 cores=0,2,4,6
/proc/17614/task/17680/stat : 17680 (java) S 17611 17614 17273 0 -1 1077944384 2420 13140 0 0 62 61 5 3 20 0 15 0 54804375 11178180608 439842 33554432000 4194304 4196468 140736117303840 139996070722480 139996836645506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9617408 140736117307564 140736117310812 140736117310812 140736117313487 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1759368 KiB
Child status: 143
Real time (s): 2480.33
CPU time (s): 2520.13
CPU user time (s): 2516.01
CPU system time (s): 4.11648
CPU usage (%): 101.604
Max. virtual memory (cumulated for all children) (KiB): 10918832
Max. memory (cumulated for all children) (KiB): 1993764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.01
system time used= 4.11648
maximum resident set size= 2004008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 658606
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106887
involuntary context switches= 4681
# summary of solver processes directly reported to runsolver:
# pid: 17614
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.01
# total CPU system time (s): 4.11648
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5882 second user time and 22.1799 second system time
The end
Begin job on node151 at 2018-07-23 21:00:12 IDJOB=4293846 IDBENCH=141246 IDSOLVER=2751 FILE ID=node151/4293846-1532372412 RUNJOBID= node151-1532369950-17304 PBS_JOBID= 21021572 Free space on /tmp= 55044 MiB SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13 BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko42_c18.xml COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293846-1532372412/watcher-4293846-1532372412 -o /tmp/evaluation-result-4293846-1532372412/solver-4293846-1532372412 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17304 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=689611923 -superng HOME/instance-4293846-1532372412.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ee3f8a7d47c87a95d16b6f1492d4a345 RANDOM SEED=689611923 node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26713620 kB MemAvailable: 31165652 kB Buffers: 138824 kB Cached: 4554964 kB SwapCached: 0 kB Active: 1721700 kB Inactive: 3813832 kB Active(anon): 792200 kB Inactive(anon): 69336 kB Active(file): 929500 kB Inactive(file): 3744496 kB Unevictable: 7824 kB Mlocked: 7824 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26624 kB Writeback: 0 kB AnonPages: 800184 kB Mapped: 50408 kB Shmem: 17032 kB Slab: 214904 kB SReclaimable: 187744 kB SUnreclaim: 27160 kB KernelStack: 3856 kB PageTables: 7096 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1798552 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 563200 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 55020 MiB End job on node151 at 2018-07-23 21:41:32