Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.9.2 | SAT (TO) | 9200 | 2520.12 | 2488.14 |
| 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.98/0.75 c Concrete v3.9.2.1532736233296 running 34.96/25.56 o 9306 35.26/25.60 o 9291 45.76/34.22 o 9266 46.02/34.30 o 9206 46.02/34.33 o 9200 2520.07/2488.11 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 2520.07/2488.11 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24) 2520.07/2488.11 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53) 2520.07/2488.11 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142) 2520.07/2488.11 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5) 2520.07/2488.11 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126) 2520.07/2488.11 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8) 2520.07/2488.11 at concrete.heuristic.value.BestCost.select(BestCost.scala:53) 2520.07/2488.11 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 2520.07/2488.11 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103) 2520.07/2488.11 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.07/2488.11 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 2520.07/2488.11 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103) 2520.07/2488.11 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.07/2488.11 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 2520.07/2488.11 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109) 2520.07/2488.11 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 2520.07/2488.11 at scala.Option.map(Option.scala:146) 2520.07/2488.11 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 2520.07/2488.11 at concrete.MAC.mac(MAC.scala:203) 2520.07/2488.11 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.07/2488.11 at scala.util.Try$.apply(Try.scala:209) 2520.07/2488.11 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.07/2488.11 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.07/2488.11 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.07/2488.11 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.07/2488.11 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.07/2488.11 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.07/2488.11 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.07/2488.11 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.07/2488.11 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.07/2488.11 at concrete.MAC.oneRun(MAC.scala:253) 2520.07/2488.11 at concrete.MAC.nextSolution(MAC.scala:272) 2520.07/2488.11 at concrete.MAC.nextSolution(MAC.scala:355) 2520.07/2488.11 at concrete.Solver.hasNext(Solver.scala:166) 2520.07/2488.11 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.07/2488.12 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.07/2488.12 at concrete.Solver.foreach(Solver.scala:68) 2520.07/2488.12 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.07/2488.12 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.07/2488.12 at scala.util.Success.map(Try.scala:209) 2520.07/2488.12 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.07/2488.12 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.07/2488.12 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.07/2488.12 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.07/2488.12 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.07/2488.12 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.07/2488.12 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.07/2488.12 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.07/2488.12 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.07/2488.12 at scala.collection.immutable.List.foreach(List.scala:389) 2520.07/2488.12 at scala.App.main(App.scala:76) 2520.07/2488.12 at scala.App.main$(App.scala:74) 2520.07/2488.12 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.07/2488.12 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.07/2488.12 v <instantiation cost="9200"> 2520.07/2488.12 v <list> 2520.07/2488.12 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.07/2488.12 v </list> 2520.07/2488.12 v <values> 2520.07/2488.12 v 10 23 6 2 22 21 16 40 4 33 14 25 12 0 5 28 35 37 1 27 36 15 31 32 17 8 19 30 24 7 11 3 13 20 39 26 41 38 29 18 34 9 5 10 0 2 5 1 0 0 5 0 4 2 2 1 10 0 0 1 1 0 2 5 0 2 0 2 5 1 5 5 1 5 0 0 0 5 5 3 0 2 1 2 1 2 5 3 1 0 2 0 10 1 10 5 0 10 3 0 2 10 0 3 5 2 6 0 5 2 2 0 5 0 0 2 0 0 0 0 3 0 4 10 0 4 10 6 6 5 2 2 2 5 0 2 0 0 0 2 0 5 3 2 0 5 5 2 1 0 10 0 0 6 1 1 1 1 0 4 0 4 5 1 1 2 1 1 2 2 0 10 5 1 10 10 1 1 5 5 6 1 5 0 1 2 2 0 5 0 3 1 5 0 1 5 5 0 0 1 5 0 0 2 1 0 2 2 0 2 0 10 1 1 2 6 4 0 2 2 0 2 2 0 0 0 0 0 2 2 0 0 5 5 0 5 2 1 5 2 0 2 5 5 5 1 0 5 2 1 10 5 0 2 4 0 0 1 0 2 0 0 5 2 0 2 2 0 2 2 0 2 1 5 2 3 6 0 3 0 0 5 0 0 0 1 5 2 6 0 0 0 5 5 5 0 10 0 5 1 5 2 10 0 1 0 5 5 5 1 5 0 0 0 2 0 3 0 1 0 0 2 0 0 5 1 0 0 5 1 5 0 4 5 2 1 5 0 0 1 0 0 2 2 5 0 4 1 1 5 2 5 0 6 2 4 2 3 1 0 0 5 1 6 0 0 2 0 5 5 2 5 5 1 0 1 0 2 5 5 6 1 10 1 2 0 2 4 2 0 3 10 5 2 0 5 5 0 1 0 0 10 0 4 2 2 1 5 0 2 1 5 0 5 0 2 5 0 1 5 0 10 2 5 0 2 0 5 10 0 10 5 5 2 0 1 5 2 5 1 1 5 2 0 3 10 5 0 5 0 10 5 10 1 1 3 10 1 2 4 0 2 1 0 0 10 10 0 0 0 0 5 1 5 1 1 0 5 5 0 4 6 10 1 0 1 5 0 0 1 2 0 0 0 5 2 5 1 0 0 10 2 2 10 5 2 0 5 5 2 0 0 6 0 5 1 5 0 4 2 0 0 0 5 0 10 10 4 1 1 5 0 0 2 0 1 0 0 5 5 0 1 0 0 5 2 5 5 0 1 0 5 0 2 0 3 5 2 0 3 0 0 2 0 5 5 1 1 2 0 5 0 2 1 0 5 5 3 2 10 5 0 5 2 0 1 1 5 0 1 5 5 0 2 0 0 2 5 5 5 0 5 2 0 2 10 0 0 0 6 0 5 0 4 2 5 2 1 10 10 2 0 2 0 10 0 1 10 5 1 2 1 10 0 0 0 0 0 0 0 10 2 0 5 4 10 5 10 3 2 5 0 0 10 2 0 5 5 0 2 1 0 5 1 0 2 0 1 2 5 0 0 1 0 0 0 2 0 2 0 2 3 0 10 5 5 0 1 10 1 0 2 0 0 5 0 5 5 0 0 2 0 5 2 2 0 0 0 5 2 5 0 5 2 10 10 1 2 0 2 2 2 10 5 2 0 6 2 0 1 1 0 2 10 0 0 2 5 1 10 4 10 2 5 0 2 5 1 5 0 2 5 2 6 2 2 2 1 0 4 0 5 3 2 5 5 5 1 5 1 0 5 10 2 2 10 0 6 0 0 2 5 5 2 2 0 5 6 5 3 4 10 2 0 1 1 2 0 1 2 5 3 5 1 3 3 0 10 1 5 2 5 5 1 2 1 4 3 4 5 0 4 2 1 0 2 0 0 4 5 2 3 0 2 0 2 1 2 0 0 1 5 5 5 5 4 10 2 5 5 3 0 5 10 2 2 4 2 2 5 0 1 2 4 5 10 3 4 1 2 10 5 0 0 0 0 1 1 5 2 1 2 2 10 2 4 3 5 4 3 10 0 10 10 3 2 5 2 10 2 5 10 5 2520.07/2488.12 v </values> 2520.07/2488.12 v </instantiation> 2520.07/2488.12 s SATISFIABLE
OK 9200
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 (6694 MiB free)
memory of node 1: 16384 MiB (8794 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304395-1534076859/watcher-4304395-1534076859 -o /tmp/evaluation-result-4304395-1534076859/solver-4304395-1534076859 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534062308-9591 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=404803069 HOME/instance-4304395-1534076859.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
solver pid=12039, runsolver pid=12036
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 1.48 1.54 1.60 3/206 12096
/proc/meminfo: memFree=15854468/32770624 swapFree=67108504/67108860
[pid=12039] ppid=12036 vsize=10005480 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/12039/stat : 12039 (java) S 12036 12039 9560 0 -1 1077944320 4349 12827 0 0 1 1 5 2 20 0 6 0 225249112 10245611520 4203 33554432000 4194304 4196468 140729348115728 140729348098272 140575148121847 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
/proc/12039/statm: 2501370 4203 1934 1 0 2489808 0
[pid=12039/tid=12092] ppid=12036 vsize=10005480 memory=4279135703946462605 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12092/stat : 12092 (java) R 12036 12039 9560 0 -1 4202560 2183 12827 0 0 0 0 5 2 20 0 6 0 225249121 10245611520 4203 33554432000 4194304 4196468 140729348115728 140575119958608 140575132202334 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12093] ppid=12036 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12093/stat : 12093 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 6 0 225249122 10245611520 4203 33554432000 4194304 4196468 140729348115728 140575152363792 140575148132053 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12094] ppid=12036 vsize=10005480 memory=139656761009792 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12094/stat : 12094 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 6 0 225249122 10245611520 4203 33554432000 4194304 4196468 140729348115728 140575023012240 140575148132053 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12095] ppid=12036 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12095/stat : 12095 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 6 0 225249122 10245611520 4203 33554432000 4194304 4196468 140729348115728 140575021959696 140575148132053 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12096] ppid=12036 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12096/stat : 12096 (java) S 12036 12039 9560 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 6 0 225249122 10245611520 4203 33554432000 4194304 4196468 140729348115728 140575020907152 140575148132053 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210768 s]*
/proc/loadavg: 1.48 1.54 1.60 3/215 12105
/proc/meminfo: memFree=15830104/32770624 swapFree=67108504/67108860
[pid=12039] ppid=12036 vsize=10982744 memory=42304 CPUtime=0.25 cores=0,2,4,6
/proc/12039/stat : 12039 (java) S 12036 12039 9560 0 -1 1077944320 7250 12827 0 0 16 2 5 2 20 0 15 0 225249112 11246329856 10576 33554432000 4194304 4196468 140729348115728 140729348098272 140575148121847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
/proc/12039/statm: 2745686 10576 2948 1 0 2708109 0
[pid=12039/tid=12092] ppid=12036 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/12039/task/12092/stat : 12092 (java) R 12036 12039 9560 0 -1 4202560 3820 12827 0 0 10 1 5 2 20 0 15 0 225249121 11246329856 10576 33554432000 4194304 4196468 140729348115728 140575119941048 140575129685399 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12093] ppid=12036 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12093/stat : 12093 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249122 11246329856 10576 33554432000 4194304 4196468 140729348115728 140575152363792 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12094] ppid=12036 vsize=10982744 memory=139656761009792 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12094/stat : 12094 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249122 11246329856 10576 33554432000 4194304 4196468 140729348115728 140575023012240 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12095] ppid=12036 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12095/stat : 12095 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249122 11246329856 10576 33554432000 4194304 4196468 140729348115728 140575021959696 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12096] ppid=12036 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12096/stat : 12096 (java) S 12036 12039 9560 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 225249122 11246329856 10576 33554432000 4194304 4196468 140729348115728 140575020907152 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12097] ppid=12036 vsize=10982744 memory=139656761009792 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12097/stat : 12097 (java) S 12036 12039 9560 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 225249123 11246329856 10576 33554432000 4194304 4196468 140729348115728 140574573095408 140575148132994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12098] ppid=12036 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12098/stat : 12098 (java) S 12036 12039 9560 0 -1 1077944384 13 12827 0 0 0 0 5 2 20 0 15 0 225249124 11246329856 10576 33554432000 4194304 4196468 140729348115728 140574011155872 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12099] ppid=12036 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12099/stat : 12099 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249124 11246329856 10576 33554432000 4194304 4196468 140729348115728 140573809829360 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12100] ppid=12036 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12100/stat : 12100 (java) S 12036 12039 9560 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 225249127 11246329856 10576 33554432000 4194304 4196468 140729348115728 140573502429904 140575148140443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12101] ppid=12036 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12039/task/12101/stat : 12101 (java) S 12036 12039 9560 0 -1 1077944384 475 12827 0 0 1 0 5 2 20 0 15 0 225249127 11246329856 10576 33554432000 4194304 4196468 140729348115728 140574572042224 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12102] ppid=12036 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12102/stat : 12102 (java) S 12036 12039 9560 0 -1 1077944384 130 12827 0 0 0 0 5 2 20 0 15 0 225249127 11246329856 10576 33554432000 4194304 4196468 140729348115728 140574570989680 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12103] ppid=12036 vsize=10982744 memory=139656761009792 CPUtime=0.1 cores=0,2,4,6
/proc/12039/task/12103/stat : 12103 (java) S 12036 12039 9560 0 -1 1077944384 603 12827 0 0 3 0 5 2 20 0 15 0 225249127 11246329856 10576 33554432000 4194304 4196468 140729348115728 140574569937136 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12104] ppid=12036 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12104/stat : 12104 (java) S 12036 12039 9560 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 225249127 11246329856 10576 33554432000 4194304 4196468 140729348115728 140573071632992 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12105] ppid=12036 vsize=10982744 memory=139656761009792 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12105/stat : 12105 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249127 11246329856 10576 33554432000 4194304 4196468 140729348115728 140574568885040 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42304 KiB
[startup+0.31017 s]*
/proc/loadavg: 1.48 1.54 1.60 3/215 12105
/proc/meminfo: memFree=15817936/32770624 swapFree=67108504/67108860
[pid=12039] ppid=12036 vsize=10983192 memory=54180 CPUtime=0.38 cores=0,2,4,6
/proc/12039/stat : 12039 (java) S 12036 12039 9560 0 -1 1077944320 10024 12827 0 0 28 3 5 2 20 0 15 0 225249112 11246788608 13545 33554432000 4194304 4196468 140729348115728 140729348098272 140575148121847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
/proc/12039/statm: 2745798 13545 3097 1 0 2708109 0
[pid=12039/tid=12092] ppid=12036 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/12039/task/12092/stat : 12092 (java) R 12036 12039 9560 0 -1 4202560 6736 12827 0 0 19 2 5 2 20 0 15 0 225249121 11246788608 13675 33554432000 4194304 4196468 140729348115728 140575119933856 140575129685433 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12093] ppid=12036 vsize=10983192 memory=5937242265999134801 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12093/stat : 12093 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249122 11246788608 13675 33554432000 4194304 4196468 140729348115728 140575152363792 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12094] ppid=12036 vsize=10983192 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12094/stat : 12094 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249122 11246788608 13675 33554432000 4194304 4196468 140729348115728 140575023012240 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12095] ppid=12036 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12095/stat : 12095 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249122 11246788608 13675 33554432000 4194304 4196468 140729348115728 140575021959696 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12096] ppid=12036 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12096/stat : 12096 (java) S 12036 12039 9560 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 225249122 11246788608 13675 33554432000 4194304 4196468 140729348115728 140575020907152 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12097] ppid=12036 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12097/stat : 12097 (java) S 12036 12039 9560 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 225249123 11246788608 13675 33554432000 4194304 4196468 140729348115728 140574573095408 140575148132994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12098] ppid=12036 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12098/stat : 12098 (java) S 12036 12039 9560 0 -1 1077944384 13 12827 0 0 0 0 5 2 20 0 15 0 225249124 11246788608 13675 33554432000 4194304 4196468 140729348115728 140574011155872 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12099] ppid=12036 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12099/stat : 12099 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249124 11246788608 13675 33554432000 4194304 4196468 140729348115728 140573809829360 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12100] ppid=12036 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12100/stat : 12100 (java) S 12036 12039 9560 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 225249127 11246788608 13741 33554432000 4194304 4196468 140729348115728 140573502429904 140575148140443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12101] ppid=12036 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12039/task/12101/stat : 12101 (java) S 12036 12039 9560 0 -1 1077944384 475 12827 0 0 2 0 5 2 20 0 15 0 225249127 11246788608 13741 33554432000 4194304 4196468 140729348115728 140574572042224 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12102] ppid=12036 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12039/task/12102/stat : 12102 (java) S 12036 12039 9560 0 -1 1077944384 133 12827 0 0 1 0 5 2 20 0 15 0 225249127 11246788608 13741 33554432000 4194304 4196468 140729348115728 140574570989680 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12103] ppid=12036 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/12039/task/12103/stat : 12103 (java) S 12036 12039 9560 0 -1 1077944384 614 12827 0 0 5 0 5 2 20 0 15 0 225249127 11246788608 13741 33554432000 4194304 4196468 140729348115728 140574569937136 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12104] ppid=12036 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12104/stat : 12104 (java) S 12036 12039 9560 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 225249127 11246788608 13741 33554432000 4194304 4196468 140729348115728 140573071632992 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12105] ppid=12036 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12105/stat : 12105 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249127 11246788608 13741 33554432000 4194304 4196468 140729348115728 140574568885040 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54180 KiB
[startup+0.700798 s]
/proc/loadavg: 1.48 1.54 1.60 3/215 12105
/proc/meminfo: memFree=15801076/32770624 swapFree=67108504/67108860
[pid=12039] ppid=12036 vsize=10983192 memory=88712 CPUtime=0.98 cores=0,2,4,6
/proc/12039/stat : 12039 (java) S 12036 12039 9560 0 -1 1077944320 16730 12827 0 0 87 4 5 2 20 0 15 0 225249112 11246788608 22178 33554432000 4194304 4196468 140729348115728 140729348098272 140575148121847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
/proc/12039/statm: 2745798 22178 3250 1 0 2708109 0
[pid=12039/tid=12092] ppid=12036 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/12039/task/12092/stat : 12092 (java) R 12036 12039 9560 0 -1 4202560 12165 12827 0 0 55 3 5 2 20 0 15 0 225249121 11246788608 22178 33554432000 4194304 4196468 140729348115728 140575119943888 140575129685385 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12093] ppid=12036 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12093/stat : 12093 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249122 11246788608 22178 33554432000 4194304 4196468 140729348115728 140575152363792 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12094] ppid=12036 vsize=10983192 memory=3816 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12094/stat : 12094 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249122 11246788608 22178 33554432000 4194304 4196468 140729348115728 140575023012240 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12095] ppid=12036 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12095/stat : 12095 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249122 11246788608 22178 33554432000 4194304 4196468 140729348115728 140575021959696 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12096] ppid=12036 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12096/stat : 12096 (java) S 12036 12039 9560 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 225249122 11246788608 22178 33554432000 4194304 4196468 140729348115728 140575020907152 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12097] ppid=12036 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12097/stat : 12097 (java) S 12036 12039 9560 0 -1 1077944384 5 12827 0 0 0 0 5 2 20 0 15 0 225249123 11246788608 22178 33554432000 4194304 4196468 140729348115728 140574573095408 140575148132994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12098] ppid=12036 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12098/stat : 12098 (java) S 12036 12039 9560 0 -1 1077944384 13 12827 0 0 0 0 5 2 20 0 15 0 225249124 11246788608 22178 33554432000 4194304 4196468 140729348115728 140574011155872 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12099] ppid=12036 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12099/stat : 12099 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249124 11246788608 22178 33554432000 4194304 4196468 140729348115728 140573809829360 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12100] ppid=12036 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12100/stat : 12100 (java) S 12036 12039 9560 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 225249127 11246788608 22178 33554432000 4194304 4196468 140729348115728 140573502429904 140575148140443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12101] ppid=12036 vsize=10983192 memory=13252 CPUtime=0.14 cores=0,2,4,6
/proc/12039/task/12101/stat : 12101 (java) S 12036 12039 9560 0 -1 1077944384 863 12827 0 0 7 0 5 2 20 0 15 0 225249127 11246788608 22178 33554432000 4194304 4196468 140729348115728 140574572042224 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12102] ppid=12036 vsize=10983192 memory=15460 CPUtime=0.16 cores=0,2,4,6
/proc/12039/task/12102/stat : 12102 (java) S 12036 12039 9560 0 -1 1077944384 794 12827 0 0 9 0 5 2 20 0 15 0 225249127 11246788608 22178 33554432000 4194304 4196468 140729348115728 140574570989680 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12103] ppid=12036 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/12039/task/12103/stat : 12103 (java) S 12036 12039 9560 0 -1 1077944384 683 12827 0 0 13 0 5 2 20 0 15 0 225249127 11246788608 22178 33554432000 4194304 4196468 140729348115728 140574569937136 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12104] ppid=12036 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12104/stat : 12104 (java) S 12036 12039 9560 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 225249127 11246788608 22178 33554432000 4194304 4196468 140729348115728 140573071632992 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12105] ppid=12036 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12105/stat : 12105 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249127 11246788608 22178 33554432000 4194304 4196468 140729348115728 140574568885040 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88712 KiB
[startup+1.50873 s]
/proc/loadavg: 1.48 1.54 1.60 3/215 12105
/proc/meminfo: memFree=15757652/32770624 swapFree=67108504/67108860
[pid=12039] ppid=12036 vsize=10998092 memory=194512 CPUtime=2.93 cores=0,2,4,6
/proc/12039/stat : 12039 (java) S 12036 12039 9560 0 -1 1077944320 26007 12827 0 0 276 10 5 2 20 0 15 0 225249112 11262046208 48628 33554432000 4194304 4196468 140729348115728 140729348098272 140575148121847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
/proc/12039/statm: 2749523 48628 3472 1 0 2711181 0
[pid=12039/tid=12092] ppid=12036 vsize=10998092 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/12039/task/12092/stat : 12092 (java) R 12036 12039 9560 0 -1 4202560 17083 12827 0 0 129 6 5 2 20 0 15 0 225249121 11262046208 48628 33554432000 4194304 4196468 140729348115728 140575119940328 140575127649480 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12093] ppid=12036 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12039/task/12093/stat : 12093 (java) S 12036 12039 9560 0 -1 1077944384 180 12827 0 0 1 0 5 2 20 0 15 0 225249122 11262046208 48628 33554432000 4194304 4196468 140729348115728 140575152363792 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12094] ppid=12036 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12039/task/12094/stat : 12094 (java) S 12036 12039 9560 0 -1 1077944384 49 12827 0 0 1 0 5 2 20 0 15 0 225249122 11262046208 48628 33554432000 4194304 4196468 140729348115728 140575023012240 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12095] ppid=12036 vsize=10998092 memory=3539892194917298225 CPUtime=0.08 cores=0,2,4,6
/proc/12039/task/12095/stat : 12095 (java) S 12036 12039 9560 0 -1 1077944384 24 12827 0 0 1 0 5 2 20 0 15 0 225249122 11262046208 48628 33554432000 4194304 4196468 140729348115728 140575021959696 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12096] ppid=12036 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12039/task/12096/stat : 12096 (java) S 12036 12039 9560 0 -1 1077944384 20 12827 0 0 1 0 5 2 20 0 15 0 225249122 11262046208 48628 33554432000 4194304 4196468 140729348115728 140575020907152 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12097] ppid=12036 vsize=10998092 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/12039/task/12097/stat : 12097 (java) S 12036 12039 9560 0 -1 1077944384 47 12827 0 0 1 0 5 2 20 0 15 0 225249123 11262046208 48628 33554432000 4194304 4196468 140729348115728 140574573095408 140575148132994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12098] ppid=12036 vsize=10998092 memory=279313266059520 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12098/stat : 12098 (java) S 12036 12039 9560 0 -1 1077944384 13 12827 0 0 0 0 5 2 20 0 15 0 225249124 11262046208 48628 33554432000 4194304 4196468 140729348115728 140574011155872 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12099] ppid=12036 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12099/stat : 12099 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249124 11262046208 48628 33554432000 4194304 4196468 140729348115728 140573809829360 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12100] ppid=12036 vsize=10998092 memory=4552 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12100/stat : 12100 (java) S 12036 12039 9560 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 225249127 11262046208 48628 33554432000 4194304 4196468 140729348115728 140573502429904 140575148140443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12101] ppid=12036 vsize=10998092 memory=3732 CPUtime=0.58 cores=0,2,4,6
/proc/12039/task/12101/stat : 12101 (java) S 12036 12039 9560 0 -1 1077944384 2816 12827 0 0 51 0 5 2 20 0 15 0 225249127 11262046208 48628 33554432000 4194304 4196468 140729348115728 140574572042224 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12102] ppid=12036 vsize=10998092 memory=1228 CPUtime=0.5 cores=0,2,4,6
/proc/12039/task/12102/stat : 12102 (java) S 12036 12039 9560 0 -1 1077944384 1834 12827 0 0 43 0 5 2 20 0 15 0 225249127 11262046208 48628 33554432000 4194304 4196468 140729348115728 140574570989680 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12103] ppid=12036 vsize=10998092 memory=10624 CPUtime=0.51 cores=0,2,4,6
/proc/12039/task/12103/stat : 12103 (java) S 12036 12039 9560 0 -1 1077944384 1739 12827 0 0 44 0 5 2 20 0 15 0 225249127 11262046208 48628 33554432000 4194304 4196468 140729348115728 140574569937136 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12104] ppid=12036 vsize=10998092 memory=1624 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12104/stat : 12104 (java) S 12036 12039 9560 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 225249127 11262046208 48628 33554432000 4194304 4196468 140729348115728 140573071632992 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12105] ppid=12036 vsize=10998092 memory=6768 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12105/stat : 12105 (java) S 12036 12039 9560 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 225249127 11262046208 48628 33554432000 4194304 4196468 140729348115728 140574568885040 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/12039/task/12092/stat : 12092 (java) R 12036 12039 9560 0 -1 4202560 98314 12827 0 0 237174 33 5 2 20 0 15 0 225249121 11345952768 101938 33554432000 4194304 4196468 140729348115728 140575119949456 140574718056375 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12093] ppid=12036 vsize=11080032 memory=407752 CPUtime=5.22 cores=0,2,4,6
/proc/12039/task/12093/stat : 12093 (java) S 12036 12039 9560 0 -1 1077944384 17802 12827 0 0 479 36 5 2 20 0 15 0 225249122 11345952768 101938 33554432000 4194304 4196468 140729348115728 140575152363792 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12094] ppid=12036 vsize=11080032 memory=407012 CPUtime=5.26 cores=0,2,4,6
/proc/12039/task/12094/stat : 12094 (java) S 12036 12039 9560 0 -1 1077944384 13757 12827 0 0 482 37 5 2 20 0 15 0 225249122 11345952768 101938 33554432000 4194304 4196468 140729348115728 140575023012240 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12095] ppid=12036 vsize=11080032 memory=407752 CPUtime=5.25 cores=0,2,4,6
/proc/12039/task/12095/stat : 12095 (java) S 12036 12039 9560 0 -1 1077944384 13585 12827 0 0 482 36 5 2 20 0 15 0 225249122 11345952768 101938 33554432000 4194304 4196468 140729348115728 140575021959696 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12096] ppid=12036 vsize=11080032 memory=407752 CPUtime=5.27 cores=0,2,4,6
/proc/12039/task/12096/stat : 12096 (java) S 12036 12039 9560 0 -1 1077944384 12889 12827 0 0 485 35 5 2 20 0 15 0 225249122 11345952768 101938 33554432000 4194304 4196468 140729348115728 140575020907152 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12097] ppid=12036 vsize=11080032 memory=407752 CPUtime=3.89 cores=0,2,4,6
/proc/12039/task/12097/stat : 12097 (java) S 12036 12039 9560 0 -1 1077944384 14614 12827 0 0 358 24 5 2 20 0 15 0 225249123 11345952768 101938 33554432000 4194304 4196468 140729348115728 140574573095408 140575148132994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12098] ppid=12036 vsize=11080032 memory=407012 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12098/stat : 12098 (java) S 12036 12039 9560 0 -1 1077944384 23 12827 0 0 0 0 5 2 20 0 15 0 225249124 11345952768 101938 33554432000 4194304 4196468 140729348115728 140574011156000 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12099] ppid=12036 vsize=11080032 memory=407012 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12099/stat : 12099 (java) S 12036 12039 9560 0 -1 1077944384 23 12827 0 0 0 0 5 2 20 0 15 0 225249124 11345952768 101938 33554432000 4194304 4196468 140729348115728 140573809829376 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12100] ppid=12036 vsize=11080032 memory=3816 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12100/stat : 12100 (java) S 12036 12039 9560 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 225249127 11345952768 101938 33554432000 4194304 4196468 140729348115728 140573502429904 140575148140443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12101] ppid=12036 vsize=11080032 memory=61180 CPUtime=6.9 cores=0,2,4,6
/proc/12039/task/12101/stat : 12101 (java) S 12036 12039 9560 0 -1 1077944384 53337 12827 0 0 676 7 5 2 20 0 15 0 225249127 11345952768 101938 33554432000 4194304 4196468 140729348115728 140574572042224 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12102] ppid=12036 vsize=11080032 memory=407508 CPUtime=5.97 cores=0,2,4,6
/proc/12039/task/12102/stat : 12102 (java) S 12036 12039 9560 0 -1 1077944384 44269 12827 0 0 584 6 5 2 20 0 15 0 225249127 11345952768 101938 33554432000 4194304 4196468 140729348115728 140574570989680 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12103] ppid=12036 vsize=11080032 memory=405364 CPUtime=2.8 cores=0,2,4,6
/proc/12039/task/12103/stat : 12103 (java) S 12036 12039 9560 0 -1 1077944384 41630 12827 0 0 267 6 5 2 20 0 15 0 225249127 11345952768 101938 33554432000 4194304 4196468 140729348115728 140574569937136 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12104] ppid=12036 vsize=11080032 memory=407752 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12104/stat : 12104 (java) S 12036 12039 9560 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 225249127 11345952768 101938 33554432000 4194304 4196468 140729348115728 140573071632992 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12105] ppid=12036 vsize=11080032 memory=407752 CPUtime=1.31 cores=0,2,4,6
/proc/12039/task/12105/stat : 12105 (java) S 12036 12039 9560 0 -1 1077944384 2657 12827 0 0 62 62 5 2 20 0 15 0 225249127 11345952768 101938 33554432000 4194304 4196468 140729348115728 140574568885040 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
Current children cumulated CPU time: 2413.48 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 407752 KiB
[startup+2442.3 s]
/proc/loadavg: 1.72 1.66 1.68 3/215 12330
/proc/meminfo: memFree=12190016/32770624 swapFree=67108504/67108860
[pid=12039] ppid=12036 vsize=11080032 memory=409800 CPUtime=2473.93 cores=0,2,4,6
/proc/12039/stat : 12039 (java) S 12036 12039 9560 0 -1 1077944320 316673 12827 0 0 247131 255 5 2 20 0 15 0 225249112 11345952768 102450 33554432000 4194304 4196468 140729348115728 140729348098272 140575148121847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
/proc/12039/statm: 2770008 102450 3530 1 0 2731661 0
[pid=12039/tid=12092] ppid=12036 vsize=11080032 memory=409944 CPUtime=2431.88 cores=0,2,4,6
/proc/12039/task/12092/stat : 12092 (java) R 12036 12039 9560 0 -1 4202560 98569 12827 0 0 243148 33 5 2 20 0 15 0 225249121 11345952768 102450 33554432000 4194304 4196468 140729348115728 140575119956576 140574700286105 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12093] ppid=12036 vsize=11080032 memory=409108 CPUtime=5.37 cores=0,2,4,6
/proc/12039/task/12093/stat : 12093 (java) S 12036 12039 9560 0 -1 1077944384 17998 12827 0 0 493 37 5 2 20 0 15 0 225249122 11345952768 102450 33554432000 4194304 4196468 140729348115728 140575152363792 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12094] ppid=12036 vsize=11080032 memory=409108 CPUtime=5.39 cores=0,2,4,6
/proc/12039/task/12094/stat : 12094 (java) S 12036 12039 9560 0 -1 1077944384 13934 12827 0 0 495 37 5 2 20 0 15 0 225249122 11345952768 102450 33554432000 4194304 4196468 140729348115728 140575023012240 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12095] ppid=12036 vsize=11080032 memory=407512 CPUtime=5.39 cores=0,2,4,6
/proc/12039/task/12095/stat : 12095 (java) S 12036 12039 9560 0 -1 1077944384 13713 12827 0 0 495 37 5 2 20 0 15 0 225249122 11345952768 102450 33554432000 4194304 4196468 140729348115728 140575021959696 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12096] ppid=12036 vsize=11080032 memory=408472 CPUtime=5.4 cores=0,2,4,6
/proc/12039/task/12096/stat : 12096 (java) S 12036 12039 9560 0 -1 1077944384 13188 12827 0 0 498 35 5 2 20 0 15 0 225249122 11345952768 102450 33554432000 4194304 4196468 140729348115728 140575020907152 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12097] ppid=12036 vsize=11080032 memory=164 CPUtime=3.99 cores=0,2,4,6
/proc/12039/task/12097/stat : 12097 (java) S 12036 12039 9560 0 -1 1077944384 14788 12827 0 0 367 25 5 2 20 0 15 0 225249123 11345952768 102450 33554432000 4194304 4196468 140729348115728 140574573095408 140575148132994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12098] ppid=12036 vsize=11080032 memory=409944 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12098/stat : 12098 (java) S 12036 12039 9560 0 -1 1077944384 23 12827 0 0 0 0 5 2 20 0 15 0 225249124 11345952768 102450 33554432000 4194304 4196468 140729348115728 140574011156000 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12099] ppid=12036 vsize=11080032 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12099/stat : 12099 (java) S 12036 12039 9560 0 -1 1077944384 23 12827 0 0 0 0 5 2 20 0 15 0 225249124 11345952768 102450 33554432000 4194304 4196468 140729348115728 140573809829376 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12100] ppid=12036 vsize=11080032 memory=409108 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12100/stat : 12100 (java) S 12036 12039 9560 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 225249127 11345952768 102450 33554432000 4194304 4196468 140729348115728 140573502429904 140575148140443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12101] ppid=12036 vsize=11080032 memory=409108 CPUtime=6.9 cores=0,2,4,6
/proc/12039/task/12101/stat : 12101 (java) S 12036 12039 9560 0 -1 1077944384 53478 12827 0 0 676 7 5 2 20 0 15 0 225249127 11345952768 102450 33554432000 4194304 4196468 140729348115728 140574572042224 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12102] ppid=12036 vsize=11080032 memory=409800 CPUtime=5.98 cores=0,2,4,6
/proc/12039/task/12102/stat : 12102 (java) S 12036 12039 9560 0 -1 1077944384 44449 12827 0 0 585 6 5 2 20 0 15 0 225249127 11345952768 102450 33554432000 4194304 4196468 140729348115728 140574570989680 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12103] ppid=12036 vsize=11080032 memory=409800 CPUtime=2.8 cores=0,2,4,6
/proc/12039/task/12103/stat : 12103 (java) S 12036 12039 9560 0 -1 1077944384 41637 12827 0 0 267 6 5 2 20 0 15 0 225249127 11345952768 102450 33554432000 4194304 4196468 140729348115728 140574569937136 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12104] ppid=12036 vsize=11080032 memory=409800 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12104/stat : 12104 (java) S 12036 12039 9560 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 225249127 11345952768 102450 33554432000 4194304 4196468 140729348115728 140573071632992 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12105] ppid=12036 vsize=11080032 memory=409800 CPUtime=1.35 cores=0,2,4,6
/proc/12039/task/12105/stat : 12105 (java) S 12036 12039 9560 0 -1 1077944384 2673 12827 0 0 64 64 5 2 20 0 15 0 225249127 11345952768 102450 33554432000 4194304 4196468 140729348115728 140574568885040 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
Current children cumulated CPU time: 2473.93 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 409800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2488.11 s]
/proc/loadavg: 1.87 1.71 1.69 3/215 12330
/proc/meminfo: memFree=12188792/32770624 swapFree=67108504/67108860
[pid=12039] ppid=12036 vsize=11080032 memory=411788 CPUtime=2520.07 cores=0,2,4,6
/proc/12039/stat : 12039 (java) S 12036 12039 9560 0 -1 1077944320 319049 12827 0 0 251741 259 5 2 20 0 15 0 225249112 11345952768 102947 33554432000 4194304 4196468 140729348115728 140729348098272 140575148121847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
/proc/12039/statm: 2770008 102947 3530 1 0 2731661 0
[pid=12039/tid=12092] ppid=12036 vsize=11080032 memory=412080 CPUtime=2477.48 cores=0,2,4,6
/proc/12039/task/12092/stat : 12092 (java) R 12036 12039 9560 0 -1 4202560 98944 12827 0 0 247708 33 5 2 20 0 15 0 225249121 11345952768 102947 33554432000 4194304 4196468 140729348115728 140575119950064 140574703885758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12093] ppid=12036 vsize=11080032 memory=411552 CPUtime=5.47 cores=0,2,4,6
/proc/12039/task/12093/stat : 12093 (java) S 12036 12039 9560 0 -1 1077944384 18307 12827 0 0 503 37 5 2 20 0 15 0 225249122 11345952768 102947 33554432000 4194304 4196468 140729348115728 140575152363792 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12094] ppid=12036 vsize=11080032 memory=411552 CPUtime=5.5 cores=0,2,4,6
/proc/12039/task/12094/stat : 12094 (java) S 12036 12039 9560 0 -1 1077944384 14271 12827 0 0 505 38 5 2 20 0 15 0 225249122 11345952768 102947 33554432000 4194304 4196468 140729348115728 140575023012240 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12095] ppid=12036 vsize=11080032 memory=411552 CPUtime=5.5 cores=0,2,4,6
/proc/12039/task/12095/stat : 12095 (java) S 12036 12039 9560 0 -1 1077944384 13934 12827 0 0 506 37 5 2 20 0 15 0 225249122 11345952768 102947 33554432000 4194304 4196468 140729348115728 140575021959696 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12096] ppid=12036 vsize=11080032 memory=411948 CPUtime=5.51 cores=0,2,4,6
/proc/12039/task/12096/stat : 12096 (java) S 12036 12039 9560 0 -1 1077944384 13781 12827 0 0 508 36 5 2 20 0 15 0 225249122 11345952768 102947 33554432000 4194304 4196468 140729348115728 140575020907152 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12097] ppid=12036 vsize=11080032 memory=411552 CPUtime=4.07 cores=0,2,4,6
/proc/12039/task/12097/stat : 12097 (java) S 12036 12039 9560 0 -1 1077944384 14980 12827 0 0 374 26 5 2 20 0 15 0 225249123 11345952768 102947 33554432000 4194304 4196468 140729348115728 140574573095408 140575148132994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12098] ppid=12036 vsize=11080032 memory=411552 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12098/stat : 12098 (java) S 12036 12039 9560 0 -1 1077944384 23 12827 0 0 0 0 5 2 20 0 15 0 225249124 11345952768 102947 33554432000 4194304 4196468 140729348115728 140574011156000 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12099] ppid=12036 vsize=11080032 memory=411844 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12099/stat : 12099 (java) S 12036 12039 9560 0 -1 1077944384 23 12827 0 0 0 0 5 2 20 0 15 0 225249124 11345952768 102947 33554432000 4194304 4196468 140729348115728 140573809829376 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12100] ppid=12036 vsize=11080032 memory=411784 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12100/stat : 12100 (java) S 12036 12039 9560 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 225249127 11345952768 102947 33554432000 4194304 4196468 140729348115728 140573502429904 140575148140443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12101] ppid=12036 vsize=11080032 memory=279313267456896 CPUtime=6.91 cores=0,2,4,6
/proc/12039/task/12101/stat : 12101 (java) S 12036 12039 9560 0 -1 1077944384 53480 12827 0 0 677 7 5 2 20 0 15 0 225249127 11345952768 102947 33554432000 4194304 4196468 140729348115728 140574572042224 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12102] ppid=12036 vsize=11080032 memory=411552 CPUtime=5.98 cores=0,2,4,6
/proc/12039/task/12102/stat : 12102 (java) S 12036 12039 9560 0 -1 1077944384 44696 12827 0 0 585 6 5 2 20 0 15 0 225249127 11345952768 102947 33554432000 4194304 4196468 140729348115728 140574570989680 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12103] ppid=12036 vsize=11080032 memory=-7312819264721349979 CPUtime=2.81 cores=0,2,4,6
/proc/12039/task/12103/stat : 12103 (java) S 12036 12039 9560 0 -1 1077944384 41718 12827 0 0 268 6 5 2 20 0 15 0 225249127 11345952768 102947 33554432000 4194304 4196468 140729348115728 140574569937136 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12104] ppid=12036 vsize=11080032 memory=411552 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12104/stat : 12104 (java) S 12036 12039 9560 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 225249127 11345952768 102947 33554432000 4194304 4196468 140729348115728 140573071632992 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12105] ppid=12036 vsize=11080032 memory=411552 CPUtime=1.37 cores=0,2,4,6
/proc/12039/task/12105/stat : 12105 (java) S 12036 12039 9560 0 -1 1077944384 2692 12827 0 0 65 65 5 2 20 0 15 0 225249127 11345952768 102947 33554432000 4194304 4196468 140729348115728 140574568885040 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 411788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2488.14 s]
# the end of solver process 12039 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.49 s, system=2.62774 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2488.11 s]
/proc/loadavg: 1.87 1.71 1.69 3/215 12330
/proc/meminfo: memFree=12188792/32770624 swapFree=67108504/67108860
[pid=12039] ppid=12036 vsize=11080032 memory=411788 CPUtime=2520.07 cores=0,2,4,6
/proc/12039/stat : 12039 (java) S 12036 12039 9560 0 -1 1077944320 319049 12827 0 0 251741 259 5 2 20 0 15 0 225249112 11345952768 102947 33554432000 4194304 4196468 140729348115728 140729348098272 140575148121847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
/proc/12039/statm: 2770008 102947 3530 1 0 2731661 0
[pid=12039/tid=12092] ppid=12036 vsize=11080032 memory=412080 CPUtime=2477.48 cores=0,2,4,6
/proc/12039/task/12092/stat : 12092 (java) R 12036 12039 9560 0 -1 4202560 98944 12827 0 0 247708 33 5 2 20 0 15 0 225249121 11345952768 102947 33554432000 4194304 4196468 140729348115728 140575119950064 140574703885758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12093] ppid=12036 vsize=11080032 memory=411552 CPUtime=5.47 cores=0,2,4,6
/proc/12039/task/12093/stat : 12093 (java) S 12036 12039 9560 0 -1 1077944384 18307 12827 0 0 503 37 5 2 20 0 15 0 225249122 11345952768 102947 33554432000 4194304 4196468 140729348115728 140575152363792 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12094] ppid=12036 vsize=11080032 memory=411552 CPUtime=5.5 cores=0,2,4,6
/proc/12039/task/12094/stat : 12094 (java) S 12036 12039 9560 0 -1 1077944384 14271 12827 0 0 505 38 5 2 20 0 15 0 225249122 11345952768 102947 33554432000 4194304 4196468 140729348115728 140575023012240 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12095] ppid=12036 vsize=11080032 memory=411552 CPUtime=5.5 cores=0,2,4,6
/proc/12039/task/12095/stat : 12095 (java) S 12036 12039 9560 0 -1 1077944384 13934 12827 0 0 506 37 5 2 20 0 15 0 225249122 11345952768 102947 33554432000 4194304 4196468 140729348115728 140575021959696 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12096] ppid=12036 vsize=11080032 memory=411948 CPUtime=5.51 cores=0,2,4,6
/proc/12039/task/12096/stat : 12096 (java) S 12036 12039 9560 0 -1 1077944384 13781 12827 0 0 508 36 5 2 20 0 15 0 225249122 11345952768 102947 33554432000 4194304 4196468 140729348115728 140575020907152 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12097] ppid=12036 vsize=11080032 memory=411552 CPUtime=4.07 cores=0,2,4,6
/proc/12039/task/12097/stat : 12097 (java) S 12036 12039 9560 0 -1 1077944384 14980 12827 0 0 374 26 5 2 20 0 15 0 225249123 11345952768 102947 33554432000 4194304 4196468 140729348115728 140574573095408 140575148132994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12098] ppid=12036 vsize=11080032 memory=411552 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12098/stat : 12098 (java) S 12036 12039 9560 0 -1 1077944384 23 12827 0 0 0 0 5 2 20 0 15 0 225249124 11345952768 102947 33554432000 4194304 4196468 140729348115728 140574011156000 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12099] ppid=12036 vsize=11080032 memory=411844 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12099/stat : 12099 (java) S 12036 12039 9560 0 -1 1077944384 23 12827 0 0 0 0 5 2 20 0 15 0 225249124 11345952768 102947 33554432000 4194304 4196468 140729348115728 140573809829376 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12100] ppid=12036 vsize=11080032 memory=411784 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12100/stat : 12100 (java) S 12036 12039 9560 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 225249127 11345952768 102947 33554432000 4194304 4196468 140729348115728 140573502429904 140575148140443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12101] ppid=12036 vsize=11080032 memory=279313267456896 CPUtime=6.91 cores=0,2,4,6
/proc/12039/task/12101/stat : 12101 (java) S 12036 12039 9560 0 -1 1077944384 53480 12827 0 0 677 7 5 2 20 0 15 0 225249127 11345952768 102947 33554432000 4194304 4196468 140729348115728 140574572042224 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12102] ppid=12036 vsize=11080032 memory=411552 CPUtime=5.98 cores=0,2,4,6
/proc/12039/task/12102/stat : 12102 (java) S 12036 12039 9560 0 -1 1077944384 44696 12827 0 0 585 6 5 2 20 0 15 0 225249127 11345952768 102947 33554432000 4194304 4196468 140729348115728 140574570989680 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12103] ppid=12036 vsize=11080032 memory=-7312819264721349979 CPUtime=2.81 cores=0,2,4,6
/proc/12039/task/12103/stat : 12103 (java) S 12036 12039 9560 0 -1 1077944384 41718 12827 0 0 268 6 5 2 20 0 15 0 225249127 11345952768 102947 33554432000 4194304 4196468 140729348115728 140574569937136 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12104] ppid=12036 vsize=11080032 memory=411552 CPUtime=0.07 cores=0,2,4,6
/proc/12039/task/12104/stat : 12104 (java) S 12036 12039 9560 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 225249127 11345952768 102947 33554432000 4194304 4196468 140729348115728 140573071632992 140575148132053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
[pid=12039/tid=12105] ppid=12036 vsize=11080032 memory=411552 CPUtime=1.37 cores=0,2,4,6
/proc/12039/task/12105/stat : 12105 (java) S 12036 12039 9560 0 -1 1077944384 2692 12827 0 0 65 65 5 2 20 0 15 0 225249127 11345952768 102947 33554432000 4194304 4196468 140729348115728 140574568885040 140575148132994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22614016 140729348119149 140729348121948 140729348121948 140729348124623 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 411788 KiB
Child status: 143
Real time (s): 2488.14
CPU time (s): 2520.12
CPU user time (s): 2517.49
CPU system time (s): 2.62774
CPU usage (%): 101.285
Max. virtual memory (cumulated for all children) (KiB): 11082740
Max. memory (cumulated for all children) (KiB): 882188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.49
system time used= 2.62774
maximum resident set size= 882220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333024
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142059
involuntary context switches= 5146
# summary of solver processes directly reported to runsolver:
# pid: 12039
# total CPU time (s): 2520.12
# total CPU user time (s): 2517.49
# total CPU system time (s): 2.62774
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.397 second user time and 24.8657 second system time
The end
Begin job on node104 at 2018-08-12 14:27:39 IDJOB=4304395 IDBENCH=141246 IDSOLVER=2780 FILE ID=node104/4304395-1534076859 RUNJOBID= node104-1534062308-9591 PBS_JOBID= 21036981 Free space on /tmp= 37524 MiB SOLVER NAME= Concrete 3.9.2 BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko42_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304395-1534076859/watcher-4304395-1534076859 -o /tmp/evaluation-result-4304395-1534076859/solver-4304395-1534076859 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534062308-9591 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=404803069 HOME/instance-4304395-1534076859.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ee3f8a7d47c87a95d16b6f1492d4a345 RANDOM SEED=404803069 node104.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.11 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.11 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.11 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.11 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: 15860912 kB MemAvailable: 31284588 kB Buffers: 180840 kB Cached: 15280520 kB SwapCached: 8 kB Active: 8272680 kB Inactive: 7865344 kB Active(anon): 627680 kB Inactive(anon): 100964 kB Active(file): 7645000 kB Inactive(file): 7764380 kB Unevictable: 7360 kB Mlocked: 7360 kB SwapTotal: 67108860 kB SwapFree: 67108504 kB Dirty: 25940 kB Writeback: 0 kB AnonPages: 822548 kB Mapped: 65092 kB Shmem: 49636 kB Slab: 470972 kB SReclaimable: 442756 kB SUnreclaim: 28216 kB KernelStack: 3840 kB PageTables: 7280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1561912 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 710656 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 37500 MiB End job on node104 at 2018-08-12 15:09:08