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 2018-06-13 | SAT (TO) | 9183 | 2520.06 | 2468.53 |
| 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.75 c Concrete v3.8.1528841891564 running 33.15/25.12 o 9616 33.15/25.17 o 9592 33.42/25.20 o 9582 33.42/25.25 o 9581 42.76/32.79 o 9577 42.91/32.82 o 9561 42.91/32.85 o 9534 42.91/32.86 o 9531 42.91/32.87 o 9507 43.33/33.02 o 9470 78.78/66.83 o 9451 78.78/66.84 o 9450 78.78/66.85 o 9406 78.78/66.86 o 9405 78.96/66.92 o 9379 93.29/80.97 o 9371 1628.88/1595.64 o 9335 1628.88/1595.65 o 9318 1629.09/1595.84 o 9303 1629.19/1595.91 o 9294 1629.19/1595.98 o 9289 1629.30/1596.03 o 9287 1633.87/1600.36 o 9274 1633.87/1600.37 o 9262 1638.05/1604.46 o 9258 1640.70/1607.05 o 9256 1660.35/1626.25 o 9248 1660.35/1626.27 o 9220 1660.45/1626.30 o 9208 1660.45/1626.32 o 9200 1660.45/1626.33 o 9186 1660.96/1626.84 o 9183 2520.01/2468.51 Exception in thread "main" java.util.concurrent.TimeoutException 2520.01/2468.51 at concrete.MAC.mac(MAC.scala:188) 2520.01/2468.51 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.01/2468.51 at scala.util.Try$.apply(Try.scala:209) 2520.01/2468.51 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.01/2468.51 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.01/2468.51 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.01/2468.51 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.01/2468.51 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.01/2468.51 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.01/2468.51 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.01/2468.51 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.01/2468.51 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.01/2468.51 at concrete.MAC.oneRun(MAC.scala:253) 2520.01/2468.51 at concrete.MAC.nextSolution(MAC.scala:272) 2520.01/2468.51 at concrete.MAC.nextSolution(MAC.scala:355) 2520.01/2468.51 at concrete.Solver.hasNext(Solver.scala:166) 2520.01/2468.51 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.01/2468.51 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.01/2468.51 at concrete.Solver.foreach(Solver.scala:68) 2520.01/2468.51 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.01/2468.51 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.01/2468.51 at scala.util.Success.map(Try.scala:209) 2520.01/2468.51 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.01/2468.51 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.01/2468.51 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.01/2468.51 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.01/2468.51 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.01/2468.51 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.01/2468.51 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.01/2468.51 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.01/2468.51 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.01/2468.51 at scala.collection.immutable.List.foreach(List.scala:389) 2520.01/2468.51 at scala.App.main(App.scala:76) 2520.01/2468.51 at scala.App.main$(App.scala:74) 2520.01/2468.51 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.01/2468.51 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.01/2468.52 v <instantiation cost="9183"> 2520.01/2468.52 v <list> 2520.01/2468.52 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.01/2468.52 v </list> 2520.01/2468.52 v <values> 2520.01/2468.52 v 28 14 30 15 2 36 20 24 26 22 38 0 39 40 7 21 8 3 32 37 19 12 10 27 13 6 4 31 35 9 1 16 17 11 25 5 23 34 29 18 41 33 5 0 2 1 5 0 5 0 0 1 0 5 0 5 0 0 1 3 2 2 0 10 3 2 2 1 0 0 3 0 5 0 1 5 10 0 5 0 5 2 6 5 0 2 5 0 0 5 0 2 2 10 5 2 2 10 5 5 5 2 0 0 2 10 2 2 1 0 2 0 6 0 0 5 1 0 5 0 1 5 1 0 2 2 1 1 3 2 10 0 3 0 2 0 5 3 0 0 2 10 5 5 5 2 0 2 0 5 0 5 2 5 1 0 5 2 1 5 0 5 5 1 2 0 0 4 5 5 0 2 2 0 5 5 5 0 5 0 2 0 2 5 2 0 5 5 1 2 0 0 0 0 0 0 2 5 0 2 5 1 2 0 5 5 10 5 2 0 1 0 0 1 10 1 0 0 1 3 10 1 6 10 1 1 1 5 5 2 5 1 0 5 0 1 1 5 0 0 6 10 10 5 0 2 5 2 0 0 10 0 1 0 5 10 0 6 0 0 0 5 5 0 3 5 5 10 2 1 0 1 0 4 1 2 10 5 4 5 4 0 2 5 10 10 3 0 0 1 2 6 2 5 0 0 2 1 0 0 4 0 0 0 5 0 2 1 4 0 0 0 3 5 5 2 1 2 2 4 2 1 1 0 1 1 5 0 1 0 0 5 6 1 1 5 2 1 4 2 5 2 0 10 4 0 1 2 2 0 0 5 2 10 2 0 2 0 1 5 0 2 5 5 2 0 5 2 2 0 3 2 4 2 0 5 0 2 0 0 5 0 0 2 1 2 2 2 2 0 0 2 0 10 2 1 0 2 0 2 2 2 5 5 0 0 1 0 1 0 0 2 0 10 2 2 0 0 5 1 2 1 2 2 5 5 10 0 3 5 0 5 0 2 10 3 4 0 0 0 6 5 5 5 0 10 2 0 2 2 1 5 4 2 0 0 2 0 5 0 1 1 10 5 0 0 2 5 2 5 2 10 3 2 10 4 1 0 0 5 1 0 2 0 2 0 5 4 1 0 5 2 1 5 2 1 0 1 5 1 0 0 0 0 0 0 0 4 6 5 0 3 0 1 5 5 5 0 2 1 0 0 1 5 1 0 0 0 5 2 0 0 5 2 0 0 1 2 5 1 0 0 2 2 3 5 2 2 2 0 3 0 0 5 4 2 1 5 5 10 2 4 2 2 5 1 1 1 0 0 5 1 5 2 2 0 0 0 10 10 0 1 4 0 0 2 5 1 10 1 5 0 0 2 5 5 1 6 5 0 2 6 3 10 2 6 5 1 0 5 0 0 2 0 2 0 0 2 2 1 1 5 4 2 2 5 5 0 0 5 0 10 4 2 2 2 0 0 1 0 2 1 0 2 5 5 5 1 0 2 5 1 0 2 1 0 2 0 2 1 0 0 6 5 0 4 3 0 0 10 0 10 6 2 5 5 5 0 1 5 0 0 5 5 5 10 0 0 2 1 1 2 10 2 1 0 2 0 5 5 5 5 3 0 1 5 0 1 2 0 5 0 2 1 5 10 0 5 0 1 1 1 2 5 4 1 5 2 3 0 5 5 5 2 0 0 5 0 10 1 2 1 10 1 2 0 2 5 0 2 0 0 10 2 3 10 5 1 0 2 0 0 10 4 5 1 0 6 3 0 4 0 10 0 10 2 0 2 0 0 4 1 5 4 5 0 5 2 3 6 5 1 0 1 5 5 5 2 2 0 2 6 10 2 5 0 3 1 0 1 6 4 2 10 0 1 5 2 10 10 5 5 0 5 1 2 5 5 2 0 5 4 5 2 10 10 1 0 10 0 3 1 0 3 5 10 4 1 0 10 0 0 3 5 1 0 10 3 2 10 0 2 5 2 5 5 0 10 0 0 10 5 4 5 5 1 10 10 0 10 1 0 5 0 0 1 5 5 0 0 3 0 2 10 5 0 2 2 3 4 10 2 10 2520.01/2468.52 v </values> 2520.01/2468.52 v </instantiation> 2520.01/2468.52 s SATISFIABLE
OK 9183
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 (10428 MiB free)
memory of node 1: 16384 MiB (12388 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293845-1532378449/watcher-4293845-1532378449 -o /tmp/evaluation-result-4293845-1532378449/solver-4293845-1532378449 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532371073-15152 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=905230537 HOME/instance-4293845-1532378449.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=16303, runsolver pid=16300
[startup+0.100098 s]*
/proc/loadavg: 1.22 1.39 1.48 2/203 16356
/proc/meminfo: memFree=23360160/32770624 swapFree=67108860/67108860
[pid=16303] ppid=16300 vsize=9972712 memory=16284 CPUtime=0.09 cores=0,2,4,6
/proc/16303/stat : 16303 (java) S 16300 16303 15121 0 -1 1077944320 4245 13263 0 0 1 0 5 3 20 0 6 0 55408088 10212057088 4071 33554432000 4194304 4196468 140735592907552 140735592890096 139984759906039 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
/proc/16303/statm: 2493178 4071 1919 1 0 2481616 0
[pid=16303/tid=16356] ppid=16300 vsize=9972712 memory=4279135703980474253 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16356/stat : 16356 (java) R 16300 16303 15121 0 -1 4202560 2073 13263 0 0 0 0 5 3 20 0 6 0 55408097 10212057088 4137 33554432000 4194304 4196468 140735592907552 139984731742800 139984759927965 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16357] ppid=16300 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16357/stat : 16357 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 6 0 55408098 10212057088 4137 33554432000 4194304 4196468 140735592907552 139984764147984 139984759916245 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16358] ppid=16300 vsize=9972712 memory=140653303600768 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16358/stat : 16358 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 6 0 55408098 10212057088 4137 33554432000 4194304 4196468 140735592907552 139984663038352 139984759916245 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16359] ppid=16300 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16359/stat : 16359 (java) S 16300 16303 15121 0 -1 1077944384 2 13263 0 0 0 0 5 3 20 0 6 0 55408098 10212057088 4137 33554432000 4194304 4196468 140735592907552 139984331729424 139984759916245 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16360] ppid=16300 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16360/stat : 16360 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 6 0 55408098 10212057088 4137 33554432000 4194304 4196468 140735592907552 139984330676880 139984759916245 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16284 KiB
[startup+0.209936 s]*
/proc/loadavg: 1.22 1.39 1.48 3/216 16369
/proc/meminfo: memFree=23337916/32770624 swapFree=67108860/67108860
[pid=16303] ppid=16300 vsize=10818904 memory=40260 CPUtime=0.26 cores=0,2,4,6
/proc/16303/stat : 16303 (java) S 16300 16303 15121 0 -1 1077944320 7249 13263 0 0 16 2 5 3 20 0 15 0 55408088 11078557696 10065 33554432000 4194304 4196468 140735592907552 140735592890096 139984759906039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
/proc/16303/statm: 2704726 10065 2958 1 0 2667149 0
[pid=16303/tid=16356] ppid=16300 vsize=10818904 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/16303/task/16356/stat : 16356 (java) R 16300 16303 15121 0 -1 4202560 3881 13263 0 0 10 1 5 3 20 0 15 0 55408097 11078557696 10131 33554432000 4194304 4196468 140735592907552 139984731702080 139984740181853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16357] ppid=16300 vsize=10818904 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16357/stat : 16357 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408098 11078557696 10131 33554432000 4194304 4196468 140735592907552 139984764147984 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16358] ppid=16300 vsize=10818904 memory=140653303600768 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16358/stat : 16358 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408098 11078557696 10131 33554432000 4194304 4196468 140735592907552 139984663038352 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16359] ppid=16300 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16359/stat : 16359 (java) S 16300 16303 15121 0 -1 1077944384 2 13263 0 0 0 0 5 3 20 0 15 0 55408098 11078557696 10131 33554432000 4194304 4196468 140735592907552 139984331729424 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16360] ppid=16300 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16360/stat : 16360 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408098 11078557696 10131 33554432000 4194304 4196468 140735592907552 139984330676880 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16361] ppid=16300 vsize=10818904 memory=140653303600768 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16361/stat : 16361 (java) S 16300 16303 15121 0 -1 1077944384 2 13263 0 0 0 0 5 3 20 0 15 0 55408099 11078557696 10131 33554432000 4194304 4196468 140735592907552 139984219408880 139984759917186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16362] ppid=16300 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16362/stat : 16362 (java) S 16300 16303 15121 0 -1 1077944384 13 13263 0 0 0 0 5 3 20 0 15 0 55408100 11078557696 10131 33554432000 4194304 4196468 140735592907552 139983654479264 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16363] ppid=16300 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16363/stat : 16363 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408100 11078557696 10131 33554432000 4194304 4196468 140735592907552 139983520261616 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16364] ppid=16300 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16364/stat : 16364 (java) S 16300 16303 15121 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 55408103 11078557696 10131 33554432000 4194304 4196468 140735592907552 139983279971024 139984759924635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16365] ppid=16300 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16303/task/16365/stat : 16365 (java) S 16300 16303 15121 0 -1 1077944384 543 13263 0 0 1 0 5 3 20 0 15 0 55408103 11078557696 10131 33554432000 4194304 4196468 140735592907552 139984218355696 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16366] ppid=16300 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16366/stat : 16366 (java) S 16300 16303 15121 0 -1 1077944384 58 13263 0 0 0 0 5 3 20 0 15 0 55408103 11078557696 10131 33554432000 4194304 4196468 140735592907552 139984217303152 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16367] ppid=16300 vsize=10818904 memory=140653303600768 CPUtime=0.11 cores=0,2,4,6
/proc/16303/task/16367/stat : 16367 (java) S 16300 16303 15121 0 -1 1077944384 618 13263 0 0 3 0 5 3 20 0 15 0 55408103 11078557696 10131 33554432000 4194304 4196468 140735592907552 139984216250608 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16368] ppid=16300 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16368/stat : 16368 (java) S 16300 16303 15121 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 55408103 11078557696 10197 33554432000 4194304 4196468 140735592907552 139983246412384 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16369] ppid=16300 vsize=10818904 memory=140653303600768 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16369/stat : 16369 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408103 11078557696 10197 33554432000 4194304 4196468 140735592907552 139984215198512 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 40260 KiB
[startup+0.310108 s]*
/proc/loadavg: 1.22 1.39 1.48 3/216 16369
/proc/meminfo: memFree=23324528/32770624 swapFree=67108860/67108860
[pid=16303] ppid=16300 vsize=10819352 memory=53704 CPUtime=0.38 cores=0,2,4,6
/proc/16303/stat : 16303 (java) S 16300 16303 15121 0 -1 1077944320 10508 13263 0 0 27 3 5 3 20 0 15 0 55408088 11079016448 13426 33554432000 4194304 4196468 140735592907552 140735592890096 139984759906039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
/proc/16303/statm: 2704838 13426 3077 1 0 2667149 0
[pid=16303/tid=16356] ppid=16300 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/16303/task/16356/stat : 16356 (java) R 16300 16303 15121 0 -1 4202560 7115 13263 0 0 19 2 5 3 20 0 15 0 55408097 11079016448 13492 33554432000 4194304 4196468 140735592907552 139984731718048 139984743986526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16357] ppid=16300 vsize=10819352 memory=7300986251812819024 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16357/stat : 16357 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408098 11079016448 13492 33554432000 4194304 4196468 140735592907552 139984764147984 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16358] ppid=16300 vsize=10819352 memory=2080 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16358/stat : 16358 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408098 11079016448 13492 33554432000 4194304 4196468 140735592907552 139984663038352 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16359] ppid=16300 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16359/stat : 16359 (java) S 16300 16303 15121 0 -1 1077944384 2 13263 0 0 0 0 5 3 20 0 15 0 55408098 11079016448 13492 33554432000 4194304 4196468 140735592907552 139984331729424 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16360] ppid=16300 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16360/stat : 16360 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408098 11079016448 13492 33554432000 4194304 4196468 140735592907552 139984330676880 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16361] ppid=16300 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16361/stat : 16361 (java) S 16300 16303 15121 0 -1 1077944384 2 13263 0 0 0 0 5 3 20 0 15 0 55408099 11079016448 13492 33554432000 4194304 4196468 140735592907552 139984219408880 139984759917186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16362] ppid=16300 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16362/stat : 16362 (java) S 16300 16303 15121 0 -1 1077944384 13 13263 0 0 0 0 5 3 20 0 15 0 55408100 11079016448 13492 33554432000 4194304 4196468 140735592907552 139983654479264 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16363] ppid=16300 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16363/stat : 16363 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408100 11079016448 13492 33554432000 4194304 4196468 140735592907552 139983520261616 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16364] ppid=16300 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16364/stat : 16364 (java) S 16300 16303 15121 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 55408103 11079016448 13492 33554432000 4194304 4196468 140735592907552 139983279971024 139984759924635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16365] ppid=16300 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/16303/task/16365/stat : 16365 (java) S 16300 16303 15121 0 -1 1077944384 546 13263 0 0 2 0 5 3 20 0 15 0 55408103 11079016448 13492 33554432000 4194304 4196468 140735592907552 139984218355696 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16366] ppid=16300 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16303/task/16366/stat : 16366 (java) R 16300 16303 15121 0 -1 1077944384 59 13263 0 0 1 0 5 3 20 0 15 0 55408103 11079016448 13492 33554432000 4194304 4196468 140735592907552 139984217303152 139984759917186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16367] ppid=16300 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/16303/task/16367/stat : 16367 (java) R 16300 16303 15121 0 -1 1077944384 624 13263 0 0 4 0 5 3 20 0 15 0 55408103 11079016448 13492 33554432000 4194304 4196468 140735592907552 139984216250608 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16368] ppid=16300 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16368/stat : 16368 (java) S 16300 16303 15121 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 55408103 11079016448 13492 33554432000 4194304 4196468 140735592907552 139983246412384 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16369] ppid=16300 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16369/stat : 16369 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408103 11079016448 13492 33554432000 4194304 4196468 140735592907552 139984215198512 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53704 KiB
[startup+0.700722 s]
/proc/loadavg: 1.22 1.39 1.48 3/216 16369
/proc/meminfo: memFree=23314132/32770624 swapFree=67108860/67108860
[pid=16303] ppid=16300 vsize=10819352 memory=86336 CPUtime=0.99 cores=0,2,4,6
/proc/16303/stat : 16303 (java) S 16300 16303 15121 0 -1 1077944320 16736 13263 0 0 86 5 5 3 20 0 15 0 55408088 11079016448 21584 33554432000 4194304 4196468 140735592907552 140735592890096 139984759906039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
/proc/16303/statm: 2704838 21584 3237 1 0 2667149 0
[pid=16303/tid=16356] ppid=16300 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/16303/task/16356/stat : 16356 (java) R 16300 16303 15121 0 -1 4202560 12159 13263 0 0 55 3 5 3 20 0 15 0 55408097 11079016448 21584 33554432000 4194304 4196468 140735592907552 139984731728976 139984743986526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16357] ppid=16300 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16357/stat : 16357 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408098 11079016448 21584 33554432000 4194304 4196468 140735592907552 139984764147984 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16358] ppid=16300 vsize=10819352 memory=4136 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16358/stat : 16358 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408098 11079016448 21584 33554432000 4194304 4196468 140735592907552 139984663038352 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16359] ppid=16300 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16359/stat : 16359 (java) S 16300 16303 15121 0 -1 1077944384 2 13263 0 0 0 0 5 3 20 0 15 0 55408098 11079016448 21584 33554432000 4194304 4196468 140735592907552 139984331729424 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16360] ppid=16300 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16360/stat : 16360 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408098 11079016448 21584 33554432000 4194304 4196468 140735592907552 139984330676880 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16361] ppid=16300 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16361/stat : 16361 (java) S 16300 16303 15121 0 -1 1077944384 5 13263 0 0 0 0 5 3 20 0 15 0 55408099 11079016448 21584 33554432000 4194304 4196468 140735592907552 139984219408880 139984759917186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16362] ppid=16300 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16362/stat : 16362 (java) S 16300 16303 15121 0 -1 1077944384 13 13263 0 0 0 0 5 3 20 0 15 0 55408100 11079016448 21584 33554432000 4194304 4196468 140735592907552 139983654479264 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16363] ppid=16300 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16363/stat : 16363 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408100 11079016448 21584 33554432000 4194304 4196468 140735592907552 139983520261616 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16364] ppid=16300 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16364/stat : 16364 (java) S 16300 16303 15121 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 55408103 11079016448 21584 33554432000 4194304 4196468 140735592907552 139983279971024 139984759924635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16365] ppid=16300 vsize=10819352 memory=13252 CPUtime=0.15 cores=0,2,4,6
/proc/16303/task/16365/stat : 16365 (java) S 16300 16303 15121 0 -1 1077944384 955 13263 0 0 7 0 5 3 20 0 15 0 55408103 11079016448 21584 33554432000 4194304 4196468 140735592907552 139984218355696 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16366] ppid=16300 vsize=10819352 memory=15460 CPUtime=0.17 cores=0,2,4,6
/proc/16303/task/16366/stat : 16366 (java) S 16300 16303 15121 0 -1 1077944384 709 13263 0 0 9 0 5 3 20 0 15 0 55408103 11079016448 21584 33554432000 4194304 4196468 140735592907552 139984217303152 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16367] ppid=16300 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/16303/task/16367/stat : 16367 (java) S 16300 16303 15121 0 -1 1077944384 695 13263 0 0 13 0 5 3 20 0 15 0 55408103 11079016448 21584 33554432000 4194304 4196468 140735592907552 139984216250608 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16368] ppid=16300 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16368/stat : 16368 (java) S 16300 16303 15121 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 55408103 11079016448 21584 33554432000 4194304 4196468 140735592907552 139983246412384 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16369] ppid=16300 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16369/stat : 16369 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408103 11079016448 21584 33554432000 4194304 4196468 140735592907552 139984215198512 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86336 KiB
[startup+1.50073 s]
/proc/loadavg: 1.22 1.39 1.48 3/216 16369
/proc/meminfo: memFree=23269724/32770624 swapFree=67108860/67108860
[pid=16303] ppid=16300 vsize=10834252 memory=189128 CPUtime=2.57 cores=0,2,4,6
/proc/16303/stat : 16303 (java) S 16300 16303 15121 0 -1 1077944320 23906 13263 0 0 239 10 5 3 20 0 15 0 55408088 11094274048 47282 33554432000 4194304 4196468 140735592907552 140735592890096 139984759906039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
/proc/16303/statm: 2708563 47282 3478 1 0 2670221 0
[pid=16303/tid=16356] ppid=16300 vsize=10834252 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/16303/task/16356/stat : 16356 (java) R 16300 16303 15121 0 -1 4202560 17031 13263 0 0 130 5 5 3 20 0 15 0 55408097 11094274048 47282 33554432000 4194304 4196468 140735592907552 139984731713904 139984759927965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16357] ppid=16300 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16303/task/16357/stat : 16357 (java) S 16300 16303 15121 0 -1 1077944384 28 13263 0 0 1 0 5 3 20 0 15 0 55408098 11094274048 47282 33554432000 4194304 4196468 140735592907552 139984764147984 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16358] ppid=16300 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16303/task/16358/stat : 16358 (java) S 16300 16303 15121 0 -1 1077944384 15 13263 0 0 1 0 5 3 20 0 15 0 55408098 11094274048 47282 33554432000 4194304 4196468 140735592907552 139984663038352 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16359] ppid=16300 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16303/task/16359/stat : 16359 (java) S 16300 16303 15121 0 -1 1077944384 72 13263 0 0 1 0 5 3 20 0 15 0 55408098 11094274048 47282 33554432000 4194304 4196468 140735592907552 139984331729424 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16360] ppid=16300 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16303/task/16360/stat : 16360 (java) S 16300 16303 15121 0 -1 1077944384 179 13263 0 0 1 0 5 3 20 0 15 0 55408098 11094274048 47282 33554432000 4194304 4196468 140735592907552 139984330676880 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16361] ppid=16300 vsize=10834252 memory=1399103955520229747 CPUtime=0.09 cores=0,2,4,6
/proc/16303/task/16361/stat : 16361 (java) S 16300 16303 15121 0 -1 1077944384 54 13263 0 0 1 0 5 3 20 0 15 0 55408099 11094274048 47282 33554432000 4194304 4196468 140735592907552 139984219408880 139984759917186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16362] ppid=16300 vsize=10834252 memory=281306399320320 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16362/stat : 16362 (java) S 16300 16303 15121 0 -1 1077944384 14 13263 0 0 0 0 5 3 20 0 15 0 55408100 11094274048 47282 33554432000 4194304 4196468 140735592907552 139983654479328 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16363] ppid=16300 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16363/stat : 16363 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408100 11094274048 47282 33554432000 4194304 4196468 140735592907552 139983520261632 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16364] ppid=16300 vsize=10834252 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16364/stat : 16364 (java) S 16300 16303 15121 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 55408103 11094274048 47282 33554432000 4194304 4196468 140735592907552 139983279971024 139984759924635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16365] ppid=16300 vsize=10834252 memory=1704 CPUtime=0.36 cores=0,2,4,6
/proc/16303/task/16365/stat : 16365 (java) R 16300 16303 15121 0 -1 4202560 1479 13263 0 0 28 0 5 3 20 0 15 0 55408103 11094274048 47282 33554432000 4194304 4196468 140735592907552 139984218355696 139984743404626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16366] ppid=16300 vsize=10834252 memory=9924 CPUtime=0.39 cores=0,2,4,6
/proc/16303/task/16366/stat : 16366 (java) S 16300 16303 15121 0 -1 1077944384 1248 13263 0 0 31 0 5 3 20 0 15 0 55408103 11094274048 47282 33554432000 4194304 4196468 140735592907552 139984217303152 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16367] ppid=16300 vsize=10834252 memory=5788 CPUtime=0.5 cores=0,2,4,6
/proc/16303/task/16367/stat : 16367 (java) S 16300 16303 15121 0 -1 1077944384 1591 13263 0 0 42 0 5 3 20 0 15 0 55408103 11094274048 47282 33554432000 4194304 4196468 140735592907552 139984216250608 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16368] ppid=16300 vsize=10834252 memory=1936 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16368/stat : 16368 (java) S 16300 16303 15121 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 55408103 11094274048 47282 33554432000 4194304 4196468 140735592907552 139983246412384 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16369] ppid=16300 vsize=10834252 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16369/stat : 16369 (java) S 16300 16303 15121 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 55408103 11094274048 47282 33554432000 4194304 4196468 140735592907552 139984215198512 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/16303/task/16356/stat : 16356 (java) R 16300 16303 15121 0 -1 4202560 153802 13263 0 0 236352 46 5 3 20 0 15 0 55408097 11178180608 124215 33554432000 4194304 4196468 140735592907552 139984731740080 139984346567733 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16357] ppid=16300 vsize=10916192 memory=496516 CPUtime=10.15 cores=0,2,4,6
/proc/16303/task/16357/stat : 16357 (java) S 16300 16303 15121 0 -1 1077944384 14968 13263 0 0 957 50 5 3 20 0 15 0 55408098 11178180608 124215 33554432000 4194304 4196468 140735592907552 139984764147984 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16358] ppid=16300 vsize=10916192 memory=56 CPUtime=10.18 cores=0,2,4,6
/proc/16303/task/16358/stat : 16358 (java) S 16300 16303 15121 0 -1 1077944384 19587 13263 0 0 961 49 5 3 20 0 15 0 55408098 11178180608 124215 33554432000 4194304 4196468 140735592907552 139984663038352 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16359] ppid=16300 vsize=10916192 memory=496860 CPUtime=10.21 cores=0,2,4,6
/proc/16303/task/16359/stat : 16359 (java) S 16300 16303 15121 0 -1 1077944384 13172 13263 0 0 963 50 5 3 20 0 15 0 55408098 11178180608 124215 33554432000 4194304 4196468 140735592907552 139984331729424 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16360] ppid=16300 vsize=10916192 memory=496860 CPUtime=10.15 cores=0,2,4,6
/proc/16303/task/16360/stat : 16360 (java) S 16300 16303 15121 0 -1 1077944384 15667 13263 0 0 954 53 5 3 20 0 15 0 55408098 11178180608 124215 33554432000 4194304 4196468 140735592907552 139984330676880 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16361] ppid=16300 vsize=10916192 memory=496860 CPUtime=6.65 cores=0,2,4,6
/proc/16303/task/16361/stat : 16361 (java) S 16300 16303 15121 0 -1 1077944384 14849 13263 0 0 620 37 5 3 20 0 15 0 55408099 11178180608 124215 33554432000 4194304 4196468 140735592907552 139984219408880 139984759917186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16362] ppid=16300 vsize=10916192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16362/stat : 16362 (java) S 16300 16303 15121 0 -1 1077944384 25 13263 0 0 0 0 5 3 20 0 15 0 55408100 11178180608 124215 33554432000 4194304 4196468 140735592907552 139983654479392 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16363] ppid=16300 vsize=10916192 memory=492176 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16363/stat : 16363 (java) S 16300 16303 15121 0 -1 1077944384 31 13263 0 0 0 0 5 3 20 0 15 0 55408100 11178180608 124215 33554432000 4194304 4196468 140735592907552 139983520261632 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16364] ppid=16300 vsize=10916192 memory=496860 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16364/stat : 16364 (java) S 16300 16303 15121 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 55408103 11178180608 124215 33554432000 4194304 4196468 140735592907552 139983279971024 139984759924635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16365] ppid=16300 vsize=10916192 memory=496860 CPUtime=8.04 cores=0,2,4,6
/proc/16303/task/16365/stat : 16365 (java) S 16300 16303 15121 0 -1 1077944384 54913 13263 0 0 787 9 5 3 20 0 15 0 55408103 11178180608 124215 33554432000 4194304 4196468 140735592907552 139984218355696 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16366] ppid=16300 vsize=10916192 memory=4128 CPUtime=7.87 cores=0,2,4,6
/proc/16303/task/16366/stat : 16366 (java) S 16300 16303 15121 0 -1 1077944384 55791 13263 0 0 771 8 5 3 20 0 15 0 55408103 11178180608 124215 33554432000 4194304 4196468 140735592907552 139984217303152 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16367] ppid=16300 vsize=10916192 memory=2200 CPUtime=3.79 cores=0,2,4,6
/proc/16303/task/16367/stat : 16367 (java) S 16300 16303 15121 0 -1 1077944384 56768 13263 0 0 363 8 5 3 20 0 15 0 55408103 11178180608 124215 33554432000 4194304 4196468 140735592907552 139984216250608 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16368] ppid=16300 vsize=10916192 memory=4136 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16368/stat : 16368 (java) S 16300 16303 15121 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 55408103 11178180608 124215 33554432000 4194304 4196468 140735592907552 139983246412384 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16369] ppid=16300 vsize=10916192 memory=17760 CPUtime=1.4 cores=0,2,4,6
/proc/16303/task/16369/stat : 16369 (java) S 16300 16303 15121 0 -1 1077944384 2353 13263 0 0 64 68 5 3 20 0 15 0 55408103 11178180608 124215 33554432000 4194304 4196468 140735592907552 139984215198512 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
Current children cumulated CPU time: 2431.87 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 496860 KiB
[startup+2442.3 s]
/proc/loadavg: 1.54 1.66 1.68 3/216 16596
/proc/meminfo: memFree=20719744/32770624 swapFree=67108860/67108860
[pid=16303] ppid=16300 vsize=10916192 memory=498972 CPUtime=2493.2 cores=0,2,4,6
/proc/16303/stat : 16303 (java) S 16300 16303 15121 0 -1 1077944320 406878 13263 0 0 248966 346 5 3 20 0 15 0 55408088 11178180608 124743 33554432000 4194304 4196468 140735592907552 140735592890096 139984759906039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
/proc/16303/statm: 2729048 124743 3530 1 0 2690701 0
[pid=16303/tid=16356] ppid=16300 vsize=10916192 memory=498972 CPUtime=2423.39 cores=0,2,4,6
/proc/16303/task/16356/stat : 16356 (java) R 16300 16303 15121 0 -1 4202560 155159 13263 0 0 242284 47 5 3 20 0 15 0 55408097 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984731734928 139984343467231 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16357] ppid=16300 vsize=10916192 memory=0 CPUtime=10.52 cores=0,2,4,6
/proc/16303/task/16357/stat : 16357 (java) S 16300 16303 15121 0 -1 1077944384 15074 13263 0 0 993 51 5 3 20 0 15 0 55408098 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984764147984 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16358] ppid=16300 vsize=10916192 memory=498972 CPUtime=10.55 cores=0,2,4,6
/proc/16303/task/16358/stat : 16358 (java) S 16300 16303 15121 0 -1 1077944384 19628 13263 0 0 997 50 5 3 20 0 15 0 55408098 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984663038352 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16359] ppid=16300 vsize=10916192 memory=498972 CPUtime=10.59 cores=0,2,4,6
/proc/16303/task/16359/stat : 16359 (java) S 16300 16303 15121 0 -1 1077944384 13258 13263 0 0 1000 51 5 3 20 0 15 0 55408098 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984331729424 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16360] ppid=16300 vsize=10916192 memory=498972 CPUtime=10.52 cores=0,2,4,6
/proc/16303/task/16360/stat : 16360 (java) S 16300 16303 15121 0 -1 1077944384 15835 13263 0 0 990 54 5 3 20 0 15 0 55408098 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984330676880 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16361] ppid=16300 vsize=10916192 memory=498972 CPUtime=6.88 cores=0,2,4,6
/proc/16303/task/16361/stat : 16361 (java) S 16300 16303 15121 0 -1 1077944384 15016 13263 0 0 642 38 5 3 20 0 15 0 55408099 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984219408880 139984759917186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16362] ppid=16300 vsize=10916192 memory=498972 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16362/stat : 16362 (java) S 16300 16303 15121 0 -1 1077944384 25 13263 0 0 0 0 5 3 20 0 15 0 55408100 11178180608 124743 33554432000 4194304 4196468 140735592907552 139983654479392 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16363] ppid=16300 vsize=10916192 memory=498972 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16363/stat : 16363 (java) S 16300 16303 15121 0 -1 1077944384 31 13263 0 0 0 0 5 3 20 0 15 0 55408100 11178180608 124743 33554432000 4194304 4196468 140735592907552 139983520261632 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16364] ppid=16300 vsize=10916192 memory=498972 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16364/stat : 16364 (java) S 16300 16303 15121 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139983279971024 139984759924635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16365] ppid=16300 vsize=10916192 memory=498972 CPUtime=8.13 cores=0,2,4,6
/proc/16303/task/16365/stat : 16365 (java) S 16300 16303 15121 0 -1 1077944384 55095 13263 0 0 796 9 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984218355696 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16366] ppid=16300 vsize=10916192 memory=498972 CPUtime=7.97 cores=0,2,4,6
/proc/16303/task/16366/stat : 16366 (java) S 16300 16303 15121 0 -1 1077944384 56108 13263 0 0 781 8 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984217303152 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16367] ppid=16300 vsize=10916192 memory=17760 CPUtime=3.84 cores=0,2,4,6
/proc/16303/task/16367/stat : 16367 (java) S 16300 16303 15121 0 -1 1077944384 57089 13263 0 0 368 8 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984216250608 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16368] ppid=16300 vsize=10916192 memory=498972 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16368/stat : 16368 (java) S 16300 16303 15121 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139983246412384 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16369] ppid=16300 vsize=10916192 memory=2200 CPUtime=1.43 cores=0,2,4,6
/proc/16303/task/16369/stat : 16369 (java) S 16300 16303 15121 0 -1 1077944384 2367 13263 0 0 65 70 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984215198512 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
Current children cumulated CPU time: 2493.2 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 498972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2468.5 s]
/proc/loadavg: 1.77 1.70 1.69 3/216 16596
/proc/meminfo: memFree=20720224/32770624 swapFree=67108860/67108860
[pid=16303] ppid=16300 vsize=10916192 memory=498972 CPUtime=2520.01 cores=0,2,4,6
/proc/16303/stat : 16303 (java) S 16300 16303 15121 0 -1 1077944320 409154 13263 0 0 251643 350 5 3 20 0 15 0 55408088 11178180608 124743 33554432000 4194304 4196468 140735592907552 140735592890096 139984759906039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
/proc/16303/statm: 2729048 124743 3530 1 0 2690701 0
[pid=16303/tid=16356] ppid=16300 vsize=10916192 memory=498972 CPUtime=2449.3 cores=0,2,4,6
/proc/16303/task/16356/stat : 16356 (java) R 16300 16303 15121 0 -1 4202560 156536 13263 0 0 244874 48 5 3 20 0 15 0 55408097 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984731740560 139984346567648 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16357] ppid=16300 vsize=10916192 memory=498972 CPUtime=10.68 cores=0,2,4,6
/proc/16303/task/16357/stat : 16357 (java) S 16300 16303 15121 0 -1 1077944384 15107 13263 0 0 1009 51 5 3 20 0 15 0 55408098 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984764147984 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16358] ppid=16300 vsize=10916192 memory=498972 CPUtime=10.72 cores=0,2,4,6
/proc/16303/task/16358/stat : 16358 (java) S 16300 16303 15121 0 -1 1077944384 19948 13263 0 0 1014 50 5 3 20 0 15 0 55408098 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984663038352 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16359] ppid=16300 vsize=10916192 memory=498972 CPUtime=10.75 cores=0,2,4,6
/proc/16303/task/16359/stat : 16359 (java) S 16300 16303 15121 0 -1 1077944384 13289 13263 0 0 1016 51 5 3 20 0 15 0 55408098 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984331729424 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16360] ppid=16300 vsize=10916192 memory=56 CPUtime=10.69 cores=0,2,4,6
/proc/16303/task/16360/stat : 16360 (java) S 16300 16303 15121 0 -1 1077944384 15885 13263 0 0 1007 54 5 3 20 0 15 0 55408098 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984330676880 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16361] ppid=16300 vsize=10916192 memory=498972 CPUtime=6.98 cores=0,2,4,6
/proc/16303/task/16361/stat : 16361 (java) S 16300 16303 15121 0 -1 1077944384 15037 13263 0 0 651 39 5 3 20 0 15 0 55408099 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984219408880 139984759917186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16362] ppid=16300 vsize=10916192 memory=498972 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16362/stat : 16362 (java) S 16300 16303 15121 0 -1 1077944384 25 13263 0 0 0 0 5 3 20 0 15 0 55408100 11178180608 124743 33554432000 4194304 4196468 140735592907552 139983654479392 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16363] ppid=16300 vsize=10916192 memory=498972 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16363/stat : 16363 (java) S 16300 16303 15121 0 -1 1077944384 31 13263 0 0 0 0 5 3 20 0 15 0 55408100 11178180608 124743 33554432000 4194304 4196468 140735592907552 139983520261632 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16364] ppid=16300 vsize=10916192 memory=498972 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16364/stat : 16364 (java) S 16300 16303 15121 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139983279971024 139984759924635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16365] ppid=16300 vsize=10916192 memory=8 CPUtime=8.17 cores=0,2,4,6
/proc/16303/task/16365/stat : 16365 (java) S 16300 16303 15121 0 -1 1077944384 55390 13263 0 0 800 9 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984218355696 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16366] ppid=16300 vsize=10916192 memory=498972 CPUtime=8.01 cores=0,2,4,6
/proc/16303/task/16366/stat : 16366 (java) S 16300 16303 15121 0 -1 1077944384 56111 13263 0 0 785 8 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984217303152 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16367] ppid=16300 vsize=10916192 memory=498972 CPUtime=3.87 cores=0,2,4,6
/proc/16303/task/16367/stat : 16367 (java) S 16300 16303 15121 0 -1 1077944384 57231 13263 0 0 371 8 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984216250608 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16368] ppid=16300 vsize=10916192 memory=498972 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16368/stat : 16368 (java) S 16300 16303 15121 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139983246412384 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16369] ppid=16300 vsize=10916192 memory=498972 CPUtime=1.45 cores=0,2,4,6
/proc/16303/task/16369/stat : 16369 (java) S 16300 16303 15121 0 -1 1077944384 2371 13263 0 0 66 71 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984215198512 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 498972 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.53 s]
# the end of solver process 16303 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.51 s, system=3.54618 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468.5 s]
/proc/loadavg: 1.77 1.70 1.69 3/216 16596
/proc/meminfo: memFree=20720224/32770624 swapFree=67108860/67108860
[pid=16303] ppid=16300 vsize=10916192 memory=498972 CPUtime=2520.01 cores=0,2,4,6
/proc/16303/stat : 16303 (java) S 16300 16303 15121 0 -1 1077944320 409154 13263 0 0 251643 350 5 3 20 0 15 0 55408088 11178180608 124743 33554432000 4194304 4196468 140735592907552 140735592890096 139984759906039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
/proc/16303/statm: 2729048 124743 3530 1 0 2690701 0
[pid=16303/tid=16356] ppid=16300 vsize=10916192 memory=498972 CPUtime=2449.3 cores=0,2,4,6
/proc/16303/task/16356/stat : 16356 (java) R 16300 16303 15121 0 -1 4202560 156536 13263 0 0 244874 48 5 3 20 0 15 0 55408097 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984731740560 139984346567648 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16357] ppid=16300 vsize=10916192 memory=498972 CPUtime=10.68 cores=0,2,4,6
/proc/16303/task/16357/stat : 16357 (java) S 16300 16303 15121 0 -1 1077944384 15107 13263 0 0 1009 51 5 3 20 0 15 0 55408098 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984764147984 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16358] ppid=16300 vsize=10916192 memory=498972 CPUtime=10.72 cores=0,2,4,6
/proc/16303/task/16358/stat : 16358 (java) S 16300 16303 15121 0 -1 1077944384 19948 13263 0 0 1014 50 5 3 20 0 15 0 55408098 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984663038352 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16359] ppid=16300 vsize=10916192 memory=498972 CPUtime=10.75 cores=0,2,4,6
/proc/16303/task/16359/stat : 16359 (java) S 16300 16303 15121 0 -1 1077944384 13289 13263 0 0 1016 51 5 3 20 0 15 0 55408098 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984331729424 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16360] ppid=16300 vsize=10916192 memory=56 CPUtime=10.69 cores=0,2,4,6
/proc/16303/task/16360/stat : 16360 (java) S 16300 16303 15121 0 -1 1077944384 15885 13263 0 0 1007 54 5 3 20 0 15 0 55408098 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984330676880 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16361] ppid=16300 vsize=10916192 memory=498972 CPUtime=6.98 cores=0,2,4,6
/proc/16303/task/16361/stat : 16361 (java) S 16300 16303 15121 0 -1 1077944384 15037 13263 0 0 651 39 5 3 20 0 15 0 55408099 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984219408880 139984759917186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16362] ppid=16300 vsize=10916192 memory=498972 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16362/stat : 16362 (java) S 16300 16303 15121 0 -1 1077944384 25 13263 0 0 0 0 5 3 20 0 15 0 55408100 11178180608 124743 33554432000 4194304 4196468 140735592907552 139983654479392 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16363] ppid=16300 vsize=10916192 memory=498972 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16363/stat : 16363 (java) S 16300 16303 15121 0 -1 1077944384 31 13263 0 0 0 0 5 3 20 0 15 0 55408100 11178180608 124743 33554432000 4194304 4196468 140735592907552 139983520261632 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16364] ppid=16300 vsize=10916192 memory=498972 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16364/stat : 16364 (java) S 16300 16303 15121 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139983279971024 139984759924635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16365] ppid=16300 vsize=10916192 memory=8 CPUtime=8.17 cores=0,2,4,6
/proc/16303/task/16365/stat : 16365 (java) S 16300 16303 15121 0 -1 1077944384 55390 13263 0 0 800 9 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984218355696 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16366] ppid=16300 vsize=10916192 memory=498972 CPUtime=8.01 cores=0,2,4,6
/proc/16303/task/16366/stat : 16366 (java) S 16300 16303 15121 0 -1 1077944384 56111 13263 0 0 785 8 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984217303152 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16367] ppid=16300 vsize=10916192 memory=498972 CPUtime=3.87 cores=0,2,4,6
/proc/16303/task/16367/stat : 16367 (java) S 16300 16303 15121 0 -1 1077944384 57231 13263 0 0 371 8 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984216250608 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16368] ppid=16300 vsize=10916192 memory=498972 CPUtime=0.08 cores=0,2,4,6
/proc/16303/task/16368/stat : 16368 (java) S 16300 16303 15121 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139983246412384 139984759916245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
[pid=16303/tid=16369] ppid=16300 vsize=10916192 memory=498972 CPUtime=1.45 cores=0,2,4,6
/proc/16303/task/16369/stat : 16369 (java) S 16300 16303 15121 0 -1 1077944384 2371 13263 0 0 66 71 5 3 20 0 15 0 55408103 11178180608 124743 33554432000 4194304 4196468 140735592907552 139984215198512 139984759917186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34205696 140735592913519 140735592916316 140735592916316 140735592918991 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 498972 KiB
Child status: 143
Real time (s): 2468.53
CPU time (s): 2520.06
CPU user time (s): 2516.51
CPU system time (s): 3.54618
CPU usage (%): 102.088
Max. virtual memory (cumulated for all children) (KiB): 10918828
Max. memory (cumulated for all children) (KiB): 907224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.51
system time used= 3.54618
maximum resident set size= 909312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423194
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 206674
involuntary context switches= 5633
# summary of solver processes directly reported to runsolver:
# pid: 16303
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.51
# total CPU system time (s): 3.54618
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2876 second user time and 23.3872 second system time
The end
Begin job on node105 at 2018-07-23 22:40:49 IDJOB=4293845 IDBENCH=141246 IDSOLVER=2750 FILE ID=node105/4293845-1532378449 RUNJOBID= node105-1532371073-15152 PBS_JOBID= 21021573 Free space on /tmp= 44828 MiB SOLVER NAME= Concrete 3.8 2018-06-13 BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko42_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293845-1532378449/watcher-4293845-1532378449 -o /tmp/evaluation-result-4293845-1532378449/solver-4293845-1532378449 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532371073-15152 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=905230537 HOME/instance-4293845-1532378449.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ee3f8a7d47c87a95d16b6f1492d4a345 RANDOM SEED=905230537 node105.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.32 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.32 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.32 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.32 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: 23364180 kB MemAvailable: 31301896 kB Buffers: 200232 kB Cached: 7882684 kB SwapCached: 0 kB Active: 2100432 kB Inactive: 6671616 kB Active(anon): 643288 kB Inactive(anon): 65656 kB Active(file): 1457144 kB Inactive(file): 6605960 kB Unevictable: 7336 kB Mlocked: 7336 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26556 kB Writeback: 0 kB AnonPages: 696452 kB Mapped: 50468 kB Shmem: 17036 kB Slab: 330468 kB SReclaimable: 303072 kB SUnreclaim: 27396 kB KernelStack: 3552 kB PageTables: 6708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1317268 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 585728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44800 MiB End job on node105 at 2018-07-23 23:21:58