Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.8-SuperNG 2018-06-13 | SAT (TO) | 13709 | 2520.15 | 2482.94 |
| Name | QuadraticAssignment/ QuadraticAssignment-sko49_c18.xml |
| MD5SUM | 69d2b1c9cf4919b13dd8bc483772d8bf |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 12137 |
| Best CPU time to get the best result obtained on this benchmark | 2520.09 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2450 |
| Number of constraints | 1177 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 49 |
| Distribution of domain sizes | [{"size":8,"count":1176},{"size":49,"count":49}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 49 |
| Distribution of variable degrees | [{"degree":0,"count":1225},{"degree":2,"count":1176},{"degree":49,"count":49}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 49 |
| Distribution of constraint arities | [{"arity":3,"count":1176},{"arity":49,"count":1}] |
| Number of extensional constraints | 1176 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":1176},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.98/0.73 c Concrete v3.8.1528841891564 running 66.12/57.06 o 13971 66.12/57.10 o 13869 66.40/57.14 o 13781 2339.32/2304.43 o 13767 2339.65/2304.74 o 13760 2478.75/2442.42 o 13730 2479.38/2442.95 o 13717 2479.38/2443.00 o 13713 2480.12/2443.68 o 13711 2480.23/2443.73 o 13709 2520.09/2482.91 Exception in thread "main" java.util.concurrent.TimeoutException 2520.09/2482.91 at concrete.MAC.mac(MAC.scala:188) 2520.09/2482.91 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.09/2482.91 at scala.util.Try$.apply(Try.scala:209) 2520.09/2482.91 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.09/2482.91 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.09/2482.91 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.09/2482.91 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.09/2482.91 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.09/2482.91 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.09/2482.91 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.09/2482.91 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.09/2482.91 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.09/2482.91 at concrete.MAC.oneRun(MAC.scala:253) 2520.09/2482.91 at concrete.MAC.nextSolution(MAC.scala:272) 2520.09/2482.91 at concrete.MAC.nextSolution(MAC.scala:355) 2520.09/2482.91 at concrete.Solver.hasNext(Solver.scala:166) 2520.09/2482.91 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.09/2482.91 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.09/2482.91 at concrete.Solver.foreach(Solver.scala:68) 2520.09/2482.91 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.09/2482.91 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.09/2482.91 at scala.util.Success.map(Try.scala:209) 2520.09/2482.91 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.09/2482.91 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.09/2482.91 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.09/2482.91 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.09/2482.91 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.09/2482.91 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.09/2482.91 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.09/2482.91 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.09/2482.91 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.09/2482.91 at scala.collection.immutable.List.foreach(List.scala:389) 2520.09/2482.91 at scala.App.main(App.scala:76) 2520.09/2482.91 at scala.App.main$(App.scala:74) 2520.09/2482.91 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.09/2482.91 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.09/2482.92 v <instantiation cost="13709"> 2520.09/2482.92 v <list> 2520.09/2482.92 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] x[42] x[43] x[44] x[45] x[46] x[47] x[48] 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[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] 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[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] 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[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] 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[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] 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[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] 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[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] 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[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] 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[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] 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[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] 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[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] 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[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] 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[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] 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[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] 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[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] 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[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] 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[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] 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[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] 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[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] 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[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] 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[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] 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[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] 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[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] 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[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] 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[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] 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[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] 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[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] 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[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] 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[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] 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[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] 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[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] 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[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] 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[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] 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[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] 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[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[44][45] d[44][46] d[44][47] d[44][48] d[45][46] d[45][47] d[45][48] d[46][47] d[46][48] d[47][48] 2520.09/2482.92 v </list> 2520.09/2482.92 v <values> 2520.09/2482.92 v 15 8 31 48 23 46 35 22 32 7 21 30 0 5 27 3 41 12 26 25 4 17 28 40 13 29 36 9 33 18 20 24 16 42 11 19 6 37 10 39 1 43 45 14 34 38 47 44 2 0 6 2 0 0 6 5 0 5 5 5 0 1 0 5 5 3 1 5 10 2 1 1 0 5 0 1 10 0 10 2 0 5 2 0 0 0 5 5 5 2 0 5 1 5 2 5 0 1 1 10 1 4 5 1 0 5 1 2 1 0 4 2 10 2 2 1 2 3 5 5 3 5 10 10 0 2 0 0 0 10 4 6 5 0 0 5 5 0 10 5 2 1 3 0 2 2 0 5 1 10 5 5 2 2 1 2 0 2 0 0 0 3 0 0 5 5 5 1 5 0 5 5 0 10 0 0 0 10 6 0 2 2 0 0 5 5 0 0 0 0 2 2 2 0 10 1 5 10 2 1 2 0 0 0 5 10 0 3 3 2 0 0 1 0 2 0 0 0 1 5 0 0 1 0 2 5 1 1 2 0 4 0 10 0 0 0 10 0 2 2 2 10 2 5 1 10 1 1 0 10 2 1 1 3 2 5 2 1 5 1 5 0 0 0 0 1 2 2 0 2 0 1 0 2 0 2 5 2 1 10 0 0 5 1 4 1 0 0 1 5 6 0 5 0 0 2 10 5 0 0 0 1 0 0 3 2 1 2 5 0 5 0 0 0 1 2 4 0 5 0 5 1 0 1 2 5 0 3 5 2 0 10 5 2 10 2 5 0 0 1 0 0 1 2 5 1 5 10 4 5 0 5 0 5 5 0 0 2 3 0 0 0 1 0 10 10 2 10 0 1 1 0 0 0 10 2 2 0 3 0 2 0 0 2 0 5 1 0 0 4 2 2 0 2 4 0 5 2 2 4 1 2 10 1 10 2 2 5 5 5 5 6 2 2 3 5 10 0 0 1 2 10 10 3 1 0 0 1 0 0 0 10 10 2 4 1 0 5 1 2 1 1 0 5 0 2 5 0 0 0 3 10 2 0 0 5 5 0 5 0 5 1 4 1 0 5 5 2 0 1 0 0 10 2 2 5 10 0 5 0 5 4 0 0 5 2 1 0 3 2 0 5 0 2 5 0 0 0 5 5 3 0 2 4 0 5 0 2 0 0 0 6 10 0 4 1 1 1 0 1 5 2 0 10 5 0 0 5 2 2 5 1 0 5 2 5 0 2 2 0 0 1 0 2 5 5 0 5 0 5 10 5 0 0 5 0 0 0 10 5 2 1 5 2 5 2 1 0 3 5 2 0 0 1 2 5 0 0 1 5 5 0 6 5 0 0 5 5 0 6 5 0 0 3 2 0 0 0 1 2 0 5 2 1 5 0 0 10 10 10 1 0 10 0 10 2 2 5 2 3 5 10 5 0 2 0 5 5 5 2 0 5 2 2 2 5 2 0 2 0 0 0 2 1 0 4 10 2 1 1 10 0 6 2 0 0 0 10 0 4 5 1 0 3 2 5 2 3 2 2 2 5 2 0 4 0 0 5 2 1 10 0 5 2 0 2 1 1 1 1 0 5 2 0 1 2 0 5 4 0 3 10 0 10 4 2 4 0 5 6 3 5 0 0 2 5 10 5 1 1 0 0 2 5 5 0 0 2 6 3 1 2 0 2 5 5 0 1 2 0 5 0 0 0 5 0 2 2 0 0 5 0 0 0 3 5 1 0 1 2 0 5 0 2 5 5 2 2 5 5 1 5 0 2 5 1 10 1 10 1 5 0 0 2 0 0 2 3 5 5 5 4 5 2 5 5 2 1 0 0 2 10 0 1 2 2 4 0 2 1 0 2 0 2 5 5 5 2 2 0 4 2 0 0 4 6 0 2 3 1 5 0 0 0 1 2 1 2 0 1 0 5 2 5 5 2 5 5 6 6 2 0 1 10 0 0 0 0 0 2 10 5 2 5 0 0 5 5 4 0 2 5 5 1 10 1 2 2 4 5 2 5 5 1 1 10 5 5 5 5 1 5 1 10 5 5 5 3 5 0 10 2 2 10 0 0 2 2 3 0 0 2 5 0 5 0 1 1 1 2 10 0 2 10 0 0 5 5 2 2 0 2 1 5 2 2 2 5 6 0 5 0 5 0 2 1 1 2 5 3 0 10 10 10 5 5 1 1 2 6 0 4 0 5 3 1 2 2 0 3 1 10 5 1 5 2 0 0 10 0 0 0 0 0 0 10 0 0 0 2 2 0 10 1 10 1 2 3 5 5 3 0 2 2 0 1 3 0 2 10 10 0 3 2 0 1 0 3 2 0 2 4 1 6 2 4 5 0 5 5 0 0 5 2 0 6 5 1 2 0 6 4 0 5 0 1 5 1 2 5 0 0 0 1 0 1 2 0 5 0 0 0 0 0 0 0 2 6 5 1 6 3 5 0 1 2 2 0 10 5 0 1 5 5 0 0 2 5 1 5 3 0 4 3 0 0 1 10 0 2 2 3 2 0 1 5 10 3 5 5 2 2 0 3 0 0 2 5 5 2 0 2 1 5 10 1 5 2 2 0 4 2 5 10 0 0 2 0 0 4 5 5 2 0 0 2 2 0 5 5 0 1 6 1 1 1 5 0 0 4 0 5 5 3 5 2 5 3 10 5 10 5 1 0 3 1 5 2 2 1 2 2 4 0 5 0 5 0 5 5 5 2 5 2 10 1 1 1 0 0 5 2 0 3 0 5 2 0 0 0 0 0 0 2 10 3 10 2 3 2 2 0 1 2 0 2520.09/2482.92 v </values> 2520.09/2482.92 v </instantiation> 2520.09/2482.92 s SATISFIABLE
OK 13709
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 (14004 MiB free)
memory of node 1: 16384 MiB (11901 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293866-1532377400/watcher-4293866-1532377400 -o /tmp/evaluation-result-4293866-1532377400/solver-4293866-1532377400 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17305 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2012884648 -superng HOME/instance-4293866-1532377400.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18463, runsolver pid=18460
[startup+0.100123 s]*
/proc/loadavg: 1.84 1.66 1.67 3/207 18520
/proc/meminfo: memFree=26518128/32770624 swapFree=67108860/67108860
[pid=18463] ppid=18460 vsize=9972712 memory=18328 CPUtime=0.09 cores=1,3,5,7
/proc/18463/stat : 18463 (java) S 18460 18463 17273 0 -1 1077944320 4252 13232 0 0 1 1 4 3 20 0 6 0 55303172 10212057088 4582 33554432000 4194304 4196468 140733283773232 140733283755776 140645116845815 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
/proc/18463/statm: 2493178 4582 1930 1 0 2481616 0
[pid=18463/tid=18516] ppid=18460 vsize=9972712 memory=4279135704047190159 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18516/stat : 18516 (java) R 18460 18463 17273 0 -1 4202560 2064 13232 0 0 0 0 4 3 20 0 6 0 55303181 10212057088 4648 33554432000 4194304 4196468 140733283773232 140645088682576 140645116867741 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18517] ppid=18460 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18517/stat : 18517 (java) S 18460 18463 17273 0 -1 1077944384 2 13232 0 0 0 0 4 3 20 0 6 0 55303181 10212057088 4648 33554432000 4194304 4196468 140733283773232 140645121087760 140645116856021 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18518] ppid=18460 vsize=9972712 memory=140670507370112 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18518/stat : 18518 (java) S 18460 18463 17273 0 -1 1077944384 1 13232 0 0 0 0 4 3 20 0 6 0 55303181 10212057088 4648 33554432000 4194304 4196468 140733283773232 140645019978128 140645116856021 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18519] ppid=18460 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18519/stat : 18519 (java) S 18460 18463 17273 0 -1 1077944384 1 13232 0 0 0 0 4 3 20 0 6 0 55303182 10212057088 4648 33554432000 4194304 4196468 140733283773232 140645018925584 140645116856021 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18520] ppid=18460 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18520/stat : 18520 (java) S 18460 18463 17273 0 -1 1077944384 2 13232 0 0 0 0 4 3 20 0 6 0 55303182 10212057088 4648 33554432000 4194304 4196468 140733283773232 140645017873040 140645116856021 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB
[startup+0.209994 s]*
/proc/loadavg: 1.84 1.66 1.67 3/216 18529
/proc/meminfo: memFree=26498744/32770624 swapFree=67108860/67108860
[pid=18463] ppid=18460 vsize=10818904 memory=45080 CPUtime=0.25 cores=1,3,5,7
/proc/18463/stat : 18463 (java) S 18460 18463 17273 0 -1 1077944320 9136 13232 0 0 16 2 4 3 20 0 15 0 55303172 11078557696 11270 33554432000 4194304 4196468 140733283773232 140733283755776 140645116845815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
/proc/18463/statm: 2704726 11270 2964 1 0 2667149 0
[pid=18463/tid=18516] ppid=18460 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/18463/task/18516/stat : 18516 (java) R 18460 18463 17273 0 -1 4202560 5766 13232 0 0 10 1 4 3 20 0 15 0 55303181 11078557696 11270 33554432000 4194304 4196468 140733283773232 140645088670624 140645100926302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18517] ppid=18460 vsize=10818904 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18517/stat : 18517 (java) S 18460 18463 17273 0 -1 1077944384 2 13232 0 0 0 0 4 3 20 0 15 0 55303181 11078557696 11270 33554432000 4194304 4196468 140733283773232 140645121087760 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18518] ppid=18460 vsize=10818904 memory=288371046659081856 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18518/stat : 18518 (java) S 18460 18463 17273 0 -1 1077944384 1 13232 0 0 0 0 4 3 20 0 15 0 55303181 11078557696 11270 33554432000 4194304 4196468 140733283773232 140645019978128 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18519] ppid=18460 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18519/stat : 18519 (java) S 18460 18463 17273 0 -1 1077944384 1 13232 0 0 0 0 4 3 20 0 15 0 55303182 11078557696 11270 33554432000 4194304 4196468 140733283773232 140645018925584 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18520] ppid=18460 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18520/stat : 18520 (java) S 18460 18463 17273 0 -1 1077944384 2 13232 0 0 0 0 4 3 20 0 15 0 55303182 11078557696 11270 33554432000 4194304 4196468 140733283773232 140645017873040 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18521] ppid=18460 vsize=10818904 memory=140670507370112 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18521/stat : 18521 (java) S 18460 18463 17273 0 -1 1077944384 2 13232 0 0 0 0 4 3 20 0 15 0 55303183 11078557696 11270 33554432000 4194304 4196468 140733283773232 140644329667056 140645116856962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18522] ppid=18460 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18522/stat : 18522 (java) S 18460 18463 17273 0 -1 1077944384 33 13232 0 0 0 0 4 3 20 0 15 0 55303183 11078557696 11270 33554432000 4194304 4196468 140733283773232 140644328613280 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18523] ppid=18460 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18523/stat : 18523 (java) S 18460 18463 17273 0 -1 1077944384 1 13232 0 0 0 0 4 3 20 0 15 0 55303184 11078557696 11270 33554432000 4194304 4196468 140733283773232 140644198639088 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18524] ppid=18460 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18524/stat : 18524 (java) S 18460 18463 17273 0 -1 1077944384 3 13232 0 0 0 0 4 3 20 0 15 0 55303186 11078557696 11270 33554432000 4194304 4196468 140733283773232 140643698301648 140645116864411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18525] ppid=18460 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18463/task/18525/stat : 18525 (java) S 18460 18463 17273 0 -1 1077944384 507 13232 0 0 1 0 4 3 20 0 15 0 55303186 11078557696 11270 33554432000 4194304 4196468 140733283773232 140644295055344 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18526] ppid=18460 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18463/task/18526/stat : 18526 (java) S 18460 18463 17273 0 -1 1077944384 89 13232 0 0 1 0 4 3 20 0 15 0 55303186 11078557696 11270 33554432000 4194304 4196468 140733283773232 140644294002800 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18527] ppid=18460 vsize=10818904 memory=140670507370112 CPUtime=0.1 cores=1,3,5,7
/proc/18463/task/18527/stat : 18527 (java) R 18460 18463 17273 0 -1 4202560 539 13232 0 0 3 0 4 3 20 0 15 0 55303186 11078557696 11270 33554432000 4194304 4196468 140733283773232 140644292950256 140645095550511 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18528] ppid=18460 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18528/stat : 18528 (java) S 18460 18463 17273 0 -1 1077944384 3 13232 0 0 0 0 4 3 20 0 15 0 55303186 11078557696 11270 33554432000 4194304 4196468 140733283773232 140643664743008 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18529] ppid=18460 vsize=10818904 memory=140670507370112 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18529/stat : 18529 (java) S 18460 18463 17273 0 -1 1077944384 1 13232 0 0 0 0 4 3 20 0 15 0 55303187 11078557696 11270 33554432000 4194304 4196468 140733283773232 140644291898160 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45080 KiB
[startup+0.310484 s]*
/proc/loadavg: 1.84 1.66 1.67 3/216 18529
/proc/meminfo: memFree=26485720/32770624 swapFree=67108860/67108860
[pid=18463] ppid=18460 vsize=10819352 memory=52956 CPUtime=0.38 cores=1,3,5,7
/proc/18463/stat : 18463 (java) S 18460 18463 17273 0 -1 1077944320 10341 13232 0 0 28 3 4 3 20 0 15 0 55303172 11079016448 13239 33554432000 4194304 4196468 140733283773232 140733283755776 140645116845815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
/proc/18463/statm: 2704838 13239 3083 1 0 2667149 0
[pid=18463/tid=18516] ppid=18460 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/18463/task/18516/stat : 18516 (java) R 18460 18463 17273 0 -1 4202560 6956 13232 0 0 19 1 4 3 20 0 15 0 55303181 11079016448 13239 33554432000 4194304 4196468 140733283773232 140645088657824 140645097121145 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18517] ppid=18460 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18517/stat : 18517 (java) S 18460 18463 17273 0 -1 1077944384 2 13232 0 0 0 0 4 3 20 0 15 0 55303181 11079016448 13239 33554432000 4194304 4196468 140733283773232 140645121087760 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18518] ppid=18460 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18518/stat : 18518 (java) S 18460 18463 17273 0 -1 1077944384 1 13232 0 0 0 0 4 3 20 0 15 0 55303181 11079016448 13239 33554432000 4194304 4196468 140733283773232 140645019978128 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18519] ppid=18460 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18519/stat : 18519 (java) S 18460 18463 17273 0 -1 1077944384 1 13232 0 0 0 0 4 3 20 0 15 0 55303182 11079016448 13239 33554432000 4194304 4196468 140733283773232 140645018925584 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18520] ppid=18460 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18520/stat : 18520 (java) S 18460 18463 17273 0 -1 1077944384 2 13232 0 0 0 0 4 3 20 0 15 0 55303182 11079016448 13239 33554432000 4194304 4196468 140733283773232 140645017873040 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18521] ppid=18460 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18521/stat : 18521 (java) S 18460 18463 17273 0 -1 1077944384 2 13232 0 0 0 0 4 3 20 0 15 0 55303183 11079016448 13239 33554432000 4194304 4196468 140733283773232 140644329667056 140645116856962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18522] ppid=18460 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18522/stat : 18522 (java) S 18460 18463 17273 0 -1 1077944384 33 13232 0 0 0 0 4 3 20 0 15 0 55303183 11079016448 13239 33554432000 4194304 4196468 140733283773232 140644328613280 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18523] ppid=18460 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18523/stat : 18523 (java) S 18460 18463 17273 0 -1 1077944384 1 13232 0 0 0 0 4 3 20 0 15 0 55303184 11079016448 13239 33554432000 4194304 4196468 140733283773232 140644198639088 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18524] ppid=18460 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18524/stat : 18524 (java) S 18460 18463 17273 0 -1 1077944384 3 13232 0 0 0 0 4 3 20 0 15 0 55303186 11079016448 13239 33554432000 4194304 4196468 140733283773232 140643698301648 140645116864411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18525] ppid=18460 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18463/task/18525/stat : 18525 (java) S 18460 18463 17273 0 -1 1077944384 508 13232 0 0 1 0 4 3 20 0 15 0 55303186 11079016448 13239 33554432000 4194304 4196468 140733283773232 140644295055344 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18526] ppid=18460 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18463/task/18526/stat : 18526 (java) S 18460 18463 17273 0 -1 1077944384 89 13232 0 0 1 0 4 3 20 0 15 0 55303186 11079016448 13239 33554432000 4194304 4196468 140733283773232 140644294002800 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18527] ppid=18460 vsize=10819352 memory=140670507370112 CPUtime=0.12 cores=1,3,5,7
/proc/18463/task/18527/stat : 18527 (java) S 18460 18463 17273 0 -1 1077944384 551 13232 0 0 5 0 4 3 20 0 15 0 55303186 11079016448 13239 33554432000 4194304 4196468 140733283773232 140644292950256 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18528] ppid=18460 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18528/stat : 18528 (java) S 18460 18463 17273 0 -1 1077944384 3 13232 0 0 0 0 4 3 20 0 15 0 55303186 11079016448 13239 33554432000 4194304 4196468 140733283773232 140643664743008 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18529] ppid=18460 vsize=10819352 memory=140670507370112 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18529/stat : 18529 (java) S 18460 18463 17273 0 -1 1077944384 1 13232 0 0 0 0 4 3 20 0 15 0 55303187 11079016448 13239 33554432000 4194304 4196468 140733283773232 140644291898160 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52956 KiB
[startup+0.700761 s]
/proc/loadavg: 1.84 1.66 1.67 4/216 18529
/proc/meminfo: memFree=26467704/32770624 swapFree=67108860/67108860
[pid=18463] ppid=18460 vsize=10819352 memory=85204 CPUtime=0.98 cores=1,3,5,7
/proc/18463/stat : 18463 (java) S 18460 18463 17273 0 -1 1077944320 16400 13232 0 0 86 5 4 3 20 0 15 0 55303172 11079016448 21301 33554432000 4194304 4196468 140733283773232 140733283755776 140645116845815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
/proc/18463/statm: 2704838 21301 3246 1 0 2667149 0
[pid=18463/tid=18516] ppid=18460 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/18463/task/18516/stat : 18516 (java) R 18460 18463 17273 0 -1 4202560 11975 13232 0 0 56 3 4 3 20 0 15 0 55303181 11079016448 21301 33554432000 4194304 4196468 140733283773232 140645088666640 140645097121505 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18517] ppid=18460 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18517/stat : 18517 (java) S 18460 18463 17273 0 -1 1077944384 2 13232 0 0 0 0 4 3 20 0 15 0 55303181 11079016448 21301 33554432000 4194304 4196468 140733283773232 140645121087760 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18518] ppid=18460 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18518/stat : 18518 (java) S 18460 18463 17273 0 -1 1077944384 1 13232 0 0 0 0 4 3 20 0 15 0 55303181 11079016448 21301 33554432000 4194304 4196468 140733283773232 140645019978128 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18519] ppid=18460 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18519/stat : 18519 (java) S 18460 18463 17273 0 -1 1077944384 1 13232 0 0 0 0 4 3 20 0 15 0 55303182 11079016448 21301 33554432000 4194304 4196468 140733283773232 140645018925584 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18520] ppid=18460 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18520/stat : 18520 (java) S 18460 18463 17273 0 -1 1077944384 2 13232 0 0 0 0 4 3 20 0 15 0 55303182 11079016448 21301 33554432000 4194304 4196468 140733283773232 140645017873040 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18521] ppid=18460 vsize=10819352 memory=6935649255861544529 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18521/stat : 18521 (java) S 18460 18463 17273 0 -1 1077944384 5 13232 0 0 0 0 4 3 20 0 15 0 55303183 11079016448 21301 33554432000 4194304 4196468 140733283773232 140644329667056 140645116856962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18522] ppid=18460 vsize=10819352 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18522/stat : 18522 (java) S 18460 18463 17273 0 -1 1077944384 33 13232 0 0 0 0 4 3 20 0 15 0 55303183 11079016448 21301 33554432000 4194304 4196468 140733283773232 140644328613280 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18523] ppid=18460 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18523/stat : 18523 (java) S 18460 18463 17273 0 -1 1077944384 1 13232 0 0 0 0 4 3 20 0 15 0 55303184 11079016448 21301 33554432000 4194304 4196468 140733283773232 140644198639088 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18524] ppid=18460 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18524/stat : 18524 (java) S 18460 18463 17273 0 -1 1077944384 3 13232 0 0 0 0 4 3 20 0 15 0 55303186 11079016448 21301 33554432000 4194304 4196468 140733283773232 140643698301648 140645116864411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18525] ppid=18460 vsize=10819352 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/18463/task/18525/stat : 18525 (java) S 18460 18463 17273 0 -1 1077944384 867 13232 0 0 7 0 4 3 20 0 15 0 55303186 11079016448 21301 33554432000 4194304 4196468 140733283773232 140644295055344 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18526] ppid=18460 vsize=10819352 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/18463/task/18526/stat : 18526 (java) S 18460 18463 17273 0 -1 1077944384 718 13232 0 0 9 0 4 3 20 0 15 0 55303186 11079016448 21301 33554432000 4194304 4196468 140733283773232 140644294002800 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18527] ppid=18460 vsize=10819352 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/18463/task/18527/stat : 18527 (java) S 18460 18463 17273 0 -1 1077944384 599 13232 0 0 12 0 4 3 20 0 15 0 55303186 11079016448 21301 33554432000 4194304 4196468 140733283773232 140644292950256 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18528] ppid=18460 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18528/stat : 18528 (java) S 18460 18463 17273 0 -1 1077944384 3 13232 0 0 0 0 4 3 20 0 15 0 55303186 11079016448 21301 33554432000 4194304 4196468 140733283773232 140643664743008 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18529] ppid=18460 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18529/stat : 18529 (java) S 18460 18463 17273 0 -1 1077944384 2 13232 0 0 0 0 4 3 20 0 15 0 55303187 11079016448 21301 33554432000 4194304 4196468 140733283773232 140644291898160 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85204 KiB
[startup+1.50075 s]
/proc/loadavg: 1.84 1.66 1.67 4/216 18529
/proc/meminfo: memFree=26430872/32770624 swapFree=67108860/67108860
[pid=18463] ppid=18460 vsize=10834252 memory=196616 CPUtime=2.7 cores=1,3,5,7
/proc/18463/stat : 18463 (java) S 18460 18463 17273 0 -1 1077944320 25518 13232 0 0 253 10 4 3 20 0 15 0 55303172 11094274048 49154 33554432000 4194304 4196468 140733283773232 140733283755776 140645116845815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
/proc/18463/statm: 2708563 49154 3481 1 0 2670221 0
[pid=18463/tid=18516] ppid=18460 vsize=10834252 memory=4951091520830867572 CPUtime=1.42 cores=1,3,5,7
/proc/18463/task/18516/stat : 18516 (java) R 18460 18463 17273 0 -1 4202560 17283 13232 0 0 129 6 4 3 20 0 15 0 55303181 11094274048 49154 33554432000 4194304 4196468 140733283773232 140645088653840 140645100038504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18517] ppid=18460 vsize=10834252 memory=4134606225630022328 CPUtime=0.08 cores=1,3,5,7
/proc/18463/task/18517/stat : 18517 (java) S 18460 18463 17273 0 -1 1077944384 24 13232 0 0 1 0 4 3 20 0 15 0 55303181 11094274048 49154 33554432000 4194304 4196468 140733283773232 140645121087760 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18518] ppid=18460 vsize=10834252 memory=-5153075247754915967 CPUtime=0.08 cores=1,3,5,7
/proc/18463/task/18518/stat : 18518 (java) S 18460 18463 17273 0 -1 1077944384 186 13232 0 0 1 0 4 3 20 0 15 0 55303181 11094274048 49154 33554432000 4194304 4196468 140733283773232 140645019978128 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18519] ppid=18460 vsize=10834252 memory=-9108904494586641568 CPUtime=0.08 cores=1,3,5,7
/proc/18463/task/18519/stat : 18519 (java) S 18460 18463 17273 0 -1 1077944384 77 13232 0 0 1 0 4 3 20 0 15 0 55303182 11094274048 49154 33554432000 4194304 4196468 140733283773232 140645018925584 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18520] ppid=18460 vsize=10834252 memory=118980 CPUtime=0.08 cores=1,3,5,7
/proc/18463/task/18520/stat : 18520 (java) S 18460 18463 17273 0 -1 1077944384 20 13232 0 0 1 0 4 3 20 0 15 0 55303182 11094274048 49154 33554432000 4194304 4196468 140733283773232 140645017873040 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18521] ppid=18460 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18463/task/18521/stat : 18521 (java) S 18460 18463 17273 0 -1 1077944384 764 13232 0 0 1 0 4 3 20 0 15 0 55303183 11094274048 49154 33554432000 4194304 4196468 140733283773232 140644329667056 140645116856962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18522] ppid=18460 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18522/stat : 18522 (java) S 18460 18463 17273 0 -1 1077944384 34 13232 0 0 0 0 4 3 20 0 15 0 55303183 11094274048 49154 33554432000 4194304 4196468 140733283773232 140644328613344 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18523] ppid=18460 vsize=10834252 memory=281340759048480 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18523/stat : 18523 (java) S 18460 18463 17273 0 -1 1077944384 2 13232 0 0 0 0 4 3 20 0 15 0 55303184 11094274048 49154 33554432000 4194304 4196468 140733283773232 140644198639104 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18524] ppid=18460 vsize=10834252 memory=281340759463424 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18524/stat : 18524 (java) S 18460 18463 17273 0 -1 1077944384 3 13232 0 0 0 0 4 3 20 0 15 0 55303186 11094274048 49154 33554432000 4194304 4196468 140733283773232 140643698301648 140645116864411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18525] ppid=18460 vsize=10834252 memory=140670379533952 CPUtime=0.42 cores=1,3,5,7
/proc/18463/task/18525/stat : 18525 (java) S 18460 18463 17273 0 -1 1077944384 2054 13232 0 0 35 0 4 3 20 0 15 0 55303186 11094274048 49154 33554432000 4194304 4196468 140733283773232 140644295055344 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18526] ppid=18460 vsize=10834252 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/18463/task/18526/stat : 18526 (java) S 18460 18463 17273 0 -1 1077944384 1249 13232 0 0 36 0 4 3 20 0 15 0 55303186 11094274048 49154 33554432000 4194304 4196468 140733283773232 140644294002800 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18527] ppid=18460 vsize=10834252 memory=1200 CPUtime=0.51 cores=1,3,5,7
/proc/18463/task/18527/stat : 18527 (java) S 18460 18463 17273 0 -1 1077944384 1629 13232 0 0 44 0 4 3 20 0 15 0 55303186 11094274048 49154 33554432000 4194304 4196468 140733283773232 140644292950256 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18528] ppid=18460 vsize=10834252 memory=15872 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18528/stat : 18528 (java) S 18460 18463 17273 0 -1 1077944384 3 13232 0 0 0 0 4 3 20 0 15 0 55303186 11094274048 49154 33554432000 4194304 4196468 140733283773232 140643664743008 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18529] ppid=18460 vsize=10834252 memory=11340 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18529/stat : 18529 (java) S 18460 18463 17273 0 -1 1077944384 2 13232 0 0 0 0 4 3 20 0 15 0 55303187 11094274048 49154 33554432000 4194304 4196468 140733283773232 140644291898160 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/18463/task/18516/stat : 18516 (java) R 18460 18463 17273 0 -1 4202560 204395 13232 0 0 237524 53 4 3 20 0 15 0 55303181 11178180608 658301 33554432000 4194304 4196468 140733283773232 140645088680512 140644708764353 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18517] ppid=18460 vsize=10916192 memory=2620868 CPUtime=5.87 cores=1,3,5,7
/proc/18463/task/18517/stat : 18517 (java) S 18460 18463 17273 0 -1 1077944384 24104 13232 0 0 522 58 4 3 20 0 15 0 55303181 11178180608 658301 33554432000 4194304 4196468 140733283773232 140645121087760 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18518] ppid=18460 vsize=10916192 memory=2620872 CPUtime=5.87 cores=1,3,5,7
/proc/18463/task/18518/stat : 18518 (java) S 18460 18463 17273 0 -1 1077944384 26398 13232 0 0 519 61 4 3 20 0 15 0 55303181 11178180608 658301 33554432000 4194304 4196468 140733283773232 140645019978128 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18519] ppid=18460 vsize=10916192 memory=2641412 CPUtime=5.87 cores=1,3,5,7
/proc/18463/task/18519/stat : 18519 (java) S 18460 18463 17273 0 -1 1077944384 25624 13232 0 0 520 60 4 3 20 0 15 0 55303182 11178180608 658301 33554432000 4194304 4196468 140733283773232 140645018925584 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18520] ppid=18460 vsize=10916192 memory=2640896 CPUtime=5.88 cores=1,3,5,7
/proc/18463/task/18520/stat : 18520 (java) S 18460 18463 17273 0 -1 1077944384 29310 13232 0 0 520 61 4 3 20 0 15 0 55303182 11178180608 658301 33554432000 4194304 4196468 140733283773232 140645017873040 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18521] ppid=18460 vsize=10916192 memory=2640896 CPUtime=0.49 cores=1,3,5,7
/proc/18463/task/18521/stat : 18521 (java) S 18460 18463 17273 0 -1 1077944384 25077 13232 0 0 35 7 4 3 20 0 15 0 55303183 11178180608 658301 33554432000 4194304 4196468 140733283773232 140644329667056 140645116856962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18522] ppid=18460 vsize=10916192 memory=2640896 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18522/stat : 18522 (java) S 18460 18463 17273 0 -1 1077944384 46 13232 0 0 0 0 4 3 20 0 15 0 55303183 11178180608 658301 33554432000 4194304 4196468 140733283773232 140644328613408 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18523] ppid=18460 vsize=10916192 memory=2633204 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18523/stat : 18523 (java) S 18460 18463 17273 0 -1 1077944384 26 13232 0 0 0 0 4 3 20 0 15 0 55303184 11178180608 658301 33554432000 4194304 4196468 140733283773232 140644198639104 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18524] ppid=18460 vsize=10916192 memory=2640896 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18524/stat : 18524 (java) S 18460 18463 17273 0 -1 1077944384 3 13232 0 0 0 0 4 3 20 0 15 0 55303186 11178180608 658301 33554432000 4194304 4196468 140733283773232 140643698301648 140645116864411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18525] ppid=18460 vsize=10916192 memory=0 CPUtime=7.91 cores=1,3,5,7
/proc/18463/task/18525/stat : 18525 (java) S 18460 18463 17273 0 -1 1077944384 79447 13232 0 0 777 7 4 3 20 0 15 0 55303186 11178180608 658301 33554432000 4194304 4196468 140733283773232 140644295055344 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18526] ppid=18460 vsize=10916192 memory=3848 CPUtime=7.02 cores=1,3,5,7
/proc/18463/task/18526/stat : 18526 (java) S 18460 18463 17273 0 -1 1077944384 69869 13232 0 0 688 7 4 3 20 0 15 0 55303186 11178180608 658301 33554432000 4194304 4196468 140733283773232 140644294002800 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18527] ppid=18460 vsize=10916192 memory=2620872 CPUtime=2.89 cores=1,3,5,7
/proc/18463/task/18527/stat : 18527 (java) S 18460 18463 17273 0 -1 1077944384 50965 13232 0 0 274 8 4 3 20 0 15 0 55303186 11178180608 658301 33554432000 4194304 4196468 140733283773232 140644292950256 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18528] ppid=18460 vsize=10916192 memory=2620872 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18528/stat : 18528 (java) S 18460 18463 17273 0 -1 1077944384 3 13232 0 0 0 0 4 3 20 0 15 0 55303186 11178180608 658301 33554432000 4194304 4196468 140733283773232 140643664743008 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18529] ppid=18460 vsize=10916192 memory=2640896 CPUtime=1.25 cores=1,3,5,7
/proc/18463/task/18529/stat : 18529 (java) S 18460 18463 17273 0 -1 1077944384 2978 13232 0 0 54 64 4 3 20 0 15 0 55303187 11178180608 658301 33554432000 4194304 4196468 140733283773232 140644291898160 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
Current children cumulated CPU time: 2418.39 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2633204 KiB
[startup+2442.3 s]
/proc/loadavg: 1.69 1.69 1.80 3/217 18760
/proc/meminfo: memFree=23902148/32770624 swapFree=67108860/67108860
[pid=18463] ppid=18460 vsize=10916192 memory=2568732 CPUtime=2478.65 cores=1,3,5,7
/proc/18463/stat : 18463 (java) S 18460 18463 17273 0 -1 1077944320 552445 13232 0 0 247478 380 4 3 20 0 15 0 55303172 11178180608 642183 33554432000 4194304 4196468 140733283773232 140733283755776 140645116845815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
/proc/18463/statm: 2729048 642183 3533 1 0 2690701 0
[pid=18463/tid=18516] ppid=18460 vsize=10916192 memory=1296 CPUtime=2435.75 cores=1,3,5,7
/proc/18463/task/18516/stat : 18516 (java) R 18460 18463 17273 0 -1 4202560 206761 13232 0 0 243514 54 4 3 20 0 15 0 55303181 11178180608 642183 33554432000 4194304 4196468 140733283773232 140645088680928 140644708757268 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18517] ppid=18460 vsize=10916192 memory=2568732 CPUtime=5.95 cores=1,3,5,7
/proc/18463/task/18517/stat : 18517 (java) S 18460 18463 17273 0 -1 1077944384 25764 13232 0 0 529 59 4 3 20 0 15 0 55303181 11178180608 642183 33554432000 4194304 4196468 140733283773232 140645121087760 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18518] ppid=18460 vsize=10916192 memory=2609696 CPUtime=5.94 cores=1,3,5,7
/proc/18463/task/18518/stat : 18518 (java) S 18460 18463 17273 0 -1 1077944384 27522 13232 0 0 526 61 4 3 20 0 15 0 55303181 11178180608 642183 33554432000 4194304 4196468 140733283773232 140645019978128 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18519] ppid=18460 vsize=10916192 memory=2609696 CPUtime=5.94 cores=1,3,5,7
/proc/18463/task/18519/stat : 18519 (java) S 18460 18463 17273 0 -1 1077944384 26349 13232 0 0 527 60 4 3 20 0 15 0 55303182 11178180608 642183 33554432000 4194304 4196468 140733283773232 140645018925584 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18520] ppid=18460 vsize=10916192 memory=2599952 CPUtime=5.95 cores=1,3,5,7
/proc/18463/task/18520/stat : 18520 (java) S 18460 18463 17273 0 -1 1077944384 31620 13232 0 0 527 61 4 3 20 0 15 0 55303182 11178180608 642183 33554432000 4194304 4196468 140733283773232 140645017873040 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18521] ppid=18460 vsize=10916192 memory=2591232 CPUtime=0.5 cores=1,3,5,7
/proc/18463/task/18521/stat : 18521 (java) S 18460 18463 17273 0 -1 1077944384 25709 13232 0 0 36 7 4 3 20 0 15 0 55303183 11178180608 642183 33554432000 4194304 4196468 140733283773232 140644329667056 140645116856962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18522] ppid=18460 vsize=10916192 memory=2593280 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18522/stat : 18522 (java) S 18460 18463 17273 0 -1 1077944384 46 13232 0 0 0 0 4 3 20 0 15 0 55303183 11178180608 642183 33554432000 4194304 4196468 140733283773232 140644328613408 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18523] ppid=18460 vsize=10916192 memory=2589252 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18523/stat : 18523 (java) S 18460 18463 17273 0 -1 1077944384 26 13232 0 0 0 0 4 3 20 0 15 0 55303184 11178180608 642183 33554432000 4194304 4196468 140733283773232 140644198639104 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18524] ppid=18460 vsize=10916192 memory=2589252 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18524/stat : 18524 (java) S 18460 18463 17273 0 -1 1077944384 3 13232 0 0 0 0 4 3 20 0 15 0 55303186 11178180608 642183 33554432000 4194304 4196468 140733283773232 140643698301648 140645116864411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18525] ppid=18460 vsize=10916192 memory=2568732 CPUtime=7.92 cores=1,3,5,7
/proc/18463/task/18525/stat : 18525 (java) S 18460 18463 17273 0 -1 1077944384 81121 13232 0 0 778 7 4 3 20 0 15 0 55303186 11178180608 642183 33554432000 4194304 4196468 140733283773232 140644295055344 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18526] ppid=18460 vsize=10916192 memory=2568732 CPUtime=7.03 cores=1,3,5,7
/proc/18463/task/18526/stat : 18526 (java) S 18460 18463 17273 0 -1 1077944384 70516 13232 0 0 689 7 4 3 20 0 15 0 55303186 11178180608 642183 33554432000 4194304 4196468 140733283773232 140644294002800 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18527] ppid=18460 vsize=10916192 memory=7307775835300193384 CPUtime=2.9 cores=1,3,5,7
/proc/18463/task/18527/stat : 18527 (java) S 18460 18463 17273 0 -1 1077944384 51770 13232 0 0 275 8 4 3 20 0 15 0 55303186 11178180608 642183 33554432000 4194304 4196468 140733283773232 140644292950256 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18528] ppid=18460 vsize=10916192 memory=2568732 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18528/stat : 18528 (java) S 18460 18463 17273 0 -1 1077944384 3 13232 0 0 0 0 4 3 20 0 15 0 55303186 11178180608 642183 33554432000 4194304 4196468 140733283773232 140643664743008 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18529] ppid=18460 vsize=10916192 memory=2568732 CPUtime=1.28 cores=1,3,5,7
/proc/18463/task/18529/stat : 18529 (java) S 18460 18463 17273 0 -1 1077944384 3047 13232 0 0 56 65 4 3 20 0 15 0 55303187 11178180608 642183 33554432000 4194304 4196468 140733283773232 140644291898160 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
Current children cumulated CPU time: 2478.65 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2568732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2482.9 s]
/proc/loadavg: 1.68 1.68 1.79 3/217 18761
/proc/meminfo: memFree=23898368/32770624 swapFree=67108860/67108860
[pid=18463] ppid=18460 vsize=10916192 memory=2502568 CPUtime=2520.09 cores=1,3,5,7
/proc/18463/stat : 18463 (java) S 18460 18463 17273 0 -1 1077944320 570544 13232 0 0 251619 383 4 3 20 0 15 0 55303172 11178180608 625642 33554432000 4194304 4196468 140733283773232 140733283755776 140645116845815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
/proc/18463/statm: 2729048 625642 3533 1 0 2690701 0
[pid=18463/tid=18516] ppid=18460 vsize=10916192 memory=2502568 CPUtime=2476.22 cores=1,3,5,7
/proc/18463/task/18516/stat : 18516 (java) R 18460 18463 17273 0 -1 4202560 209245 13232 0 0 247561 54 4 3 20 0 15 0 55303181 11178180608 625642 33554432000 4194304 4196468 140733283773232 140645088671328 140644714716447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18517] ppid=18460 vsize=10916192 memory=2502568 CPUtime=6.05 cores=1,3,5,7
/proc/18463/task/18517/stat : 18517 (java) S 18460 18463 17273 0 -1 1077944384 26045 13232 0 0 539 59 4 3 20 0 15 0 55303181 11178180608 625642 33554432000 4194304 4196468 140733283773232 140645121087760 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18518] ppid=18460 vsize=10916192 memory=2508212 CPUtime=6.05 cores=1,3,5,7
/proc/18463/task/18518/stat : 18518 (java) S 18460 18463 17273 0 -1 1077944384 27867 13232 0 0 536 62 4 3 20 0 15 0 55303181 11178180608 625642 33554432000 4194304 4196468 140733283773232 140645019978128 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18519] ppid=18460 vsize=10916192 memory=2508212 CPUtime=6.05 cores=1,3,5,7
/proc/18463/task/18519/stat : 18519 (java) S 18460 18463 17273 0 -1 1077944384 27070 13232 0 0 537 61 4 3 20 0 15 0 55303182 11178180608 625642 33554432000 4194304 4196468 140733283773232 140645018925584 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18520] ppid=18460 vsize=10916192 memory=2521024 CPUtime=6.04 cores=1,3,5,7
/proc/18463/task/18520/stat : 18520 (java) S 18460 18463 17273 0 -1 1077944384 32826 13232 0 0 536 61 4 3 20 0 15 0 55303182 11178180608 625642 33554432000 4194304 4196468 140733283773232 140645017873040 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18521] ppid=18460 vsize=10916192 memory=2528204 CPUtime=0.53 cores=1,3,5,7
/proc/18463/task/18521/stat : 18521 (java) S 18460 18463 17273 0 -1 1077944384 26020 13232 0 0 38 8 4 3 20 0 15 0 55303183 11178180608 625642 33554432000 4194304 4196468 140733283773232 140644329667056 140645116856962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18522] ppid=18460 vsize=10916192 memory=2546160 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18522/stat : 18522 (java) S 18460 18463 17273 0 -1 1077944384 46 13232 0 0 0 0 4 3 20 0 15 0 55303183 11178180608 625642 33554432000 4194304 4196468 140733283773232 140644328613408 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18523] ppid=18460 vsize=10916192 memory=2530256 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18523/stat : 18523 (java) S 18460 18463 17273 0 -1 1077944384 26 13232 0 0 0 0 4 3 20 0 15 0 55303184 11178180608 625642 33554432000 4194304 4196468 140733283773232 140644198639104 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18524] ppid=18460 vsize=10916192 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18524/stat : 18524 (java) S 18460 18463 17273 0 -1 1077944384 3 13232 0 0 0 0 4 3 20 0 15 0 55303186 11178180608 625642 33554432000 4194304 4196468 140733283773232 140643698301648 140645116864411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18525] ppid=18460 vsize=10916192 memory=2502568 CPUtime=8.32 cores=1,3,5,7
/proc/18463/task/18525/stat : 18525 (java) S 18460 18463 17273 0 -1 1077944384 88058 13232 0 0 817 8 4 3 20 0 15 0 55303186 11178180608 625642 33554432000 4194304 4196468 140733283773232 140644295055344 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18526] ppid=18460 vsize=10916192 memory=0 CPUtime=7.16 cores=1,3,5,7
/proc/18463/task/18526/stat : 18526 (java) S 18460 18463 17273 0 -1 1077944384 75394 13232 0 0 701 8 4 3 20 0 15 0 55303186 11178180608 625642 33554432000 4194304 4196468 140733283773232 140644294002800 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18527] ppid=18460 vsize=10916192 memory=4028 CPUtime=2.91 cores=1,3,5,7
/proc/18463/task/18527/stat : 18527 (java) S 18460 18463 17273 0 -1 1077944384 52680 13232 0 0 276 8 4 3 20 0 15 0 55303186 11178180608 625642 33554432000 4194304 4196468 140733283773232 140644292950256 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18528] ppid=18460 vsize=10916192 memory=2502568 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18528/stat : 18528 (java) S 18460 18463 17273 0 -1 1077944384 3 13232 0 0 0 0 4 3 20 0 15 0 55303186 11178180608 625642 33554432000 4194304 4196468 140733283773232 140643664743008 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18529] ppid=18460 vsize=10916192 memory=2502568 CPUtime=1.3 cores=1,3,5,7
/proc/18463/task/18529/stat : 18529 (java) S 18460 18463 17273 0 -1 1077944384 3073 13232 0 0 57 66 4 3 20 0 15 0 55303187 11178180608 625642 33554432000 4194304 4196468 140733283773232 140644291898160 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2502568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2482.94 s]
# the end of solver process 18463 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.26 s, system=3.89145 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2482.9 s]
/proc/loadavg: 1.68 1.68 1.79 3/217 18761
/proc/meminfo: memFree=23898368/32770624 swapFree=67108860/67108860
[pid=18463] ppid=18460 vsize=10916192 memory=2502568 CPUtime=2520.09 cores=1,3,5,7
/proc/18463/stat : 18463 (java) S 18460 18463 17273 0 -1 1077944320 570544 13232 0 0 251619 383 4 3 20 0 15 0 55303172 11178180608 625642 33554432000 4194304 4196468 140733283773232 140733283755776 140645116845815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
/proc/18463/statm: 2729048 625642 3533 1 0 2690701 0
[pid=18463/tid=18516] ppid=18460 vsize=10916192 memory=2502568 CPUtime=2476.22 cores=1,3,5,7
/proc/18463/task/18516/stat : 18516 (java) R 18460 18463 17273 0 -1 4202560 209245 13232 0 0 247561 54 4 3 20 0 15 0 55303181 11178180608 625642 33554432000 4194304 4196468 140733283773232 140645088671328 140644714716447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18517] ppid=18460 vsize=10916192 memory=2502568 CPUtime=6.05 cores=1,3,5,7
/proc/18463/task/18517/stat : 18517 (java) S 18460 18463 17273 0 -1 1077944384 26045 13232 0 0 539 59 4 3 20 0 15 0 55303181 11178180608 625642 33554432000 4194304 4196468 140733283773232 140645121087760 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18518] ppid=18460 vsize=10916192 memory=2508212 CPUtime=6.05 cores=1,3,5,7
/proc/18463/task/18518/stat : 18518 (java) S 18460 18463 17273 0 -1 1077944384 27867 13232 0 0 536 62 4 3 20 0 15 0 55303181 11178180608 625642 33554432000 4194304 4196468 140733283773232 140645019978128 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18519] ppid=18460 vsize=10916192 memory=2508212 CPUtime=6.05 cores=1,3,5,7
/proc/18463/task/18519/stat : 18519 (java) S 18460 18463 17273 0 -1 1077944384 27070 13232 0 0 537 61 4 3 20 0 15 0 55303182 11178180608 625642 33554432000 4194304 4196468 140733283773232 140645018925584 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18520] ppid=18460 vsize=10916192 memory=2521024 CPUtime=6.04 cores=1,3,5,7
/proc/18463/task/18520/stat : 18520 (java) S 18460 18463 17273 0 -1 1077944384 32826 13232 0 0 536 61 4 3 20 0 15 0 55303182 11178180608 625642 33554432000 4194304 4196468 140733283773232 140645017873040 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18521] ppid=18460 vsize=10916192 memory=2528204 CPUtime=0.53 cores=1,3,5,7
/proc/18463/task/18521/stat : 18521 (java) S 18460 18463 17273 0 -1 1077944384 26020 13232 0 0 38 8 4 3 20 0 15 0 55303183 11178180608 625642 33554432000 4194304 4196468 140733283773232 140644329667056 140645116856962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18522] ppid=18460 vsize=10916192 memory=2546160 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18522/stat : 18522 (java) S 18460 18463 17273 0 -1 1077944384 46 13232 0 0 0 0 4 3 20 0 15 0 55303183 11178180608 625642 33554432000 4194304 4196468 140733283773232 140644328613408 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18523] ppid=18460 vsize=10916192 memory=2530256 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18523/stat : 18523 (java) S 18460 18463 17273 0 -1 1077944384 26 13232 0 0 0 0 4 3 20 0 15 0 55303184 11178180608 625642 33554432000 4194304 4196468 140733283773232 140644198639104 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18524] ppid=18460 vsize=10916192 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18524/stat : 18524 (java) S 18460 18463 17273 0 -1 1077944384 3 13232 0 0 0 0 4 3 20 0 15 0 55303186 11178180608 625642 33554432000 4194304 4196468 140733283773232 140643698301648 140645116864411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18525] ppid=18460 vsize=10916192 memory=2502568 CPUtime=8.32 cores=1,3,5,7
/proc/18463/task/18525/stat : 18525 (java) S 18460 18463 17273 0 -1 1077944384 88058 13232 0 0 817 8 4 3 20 0 15 0 55303186 11178180608 625642 33554432000 4194304 4196468 140733283773232 140644295055344 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18526] ppid=18460 vsize=10916192 memory=0 CPUtime=7.16 cores=1,3,5,7
/proc/18463/task/18526/stat : 18526 (java) S 18460 18463 17273 0 -1 1077944384 75394 13232 0 0 701 8 4 3 20 0 15 0 55303186 11178180608 625642 33554432000 4194304 4196468 140733283773232 140644294002800 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18527] ppid=18460 vsize=10916192 memory=4028 CPUtime=2.91 cores=1,3,5,7
/proc/18463/task/18527/stat : 18527 (java) S 18460 18463 17273 0 -1 1077944384 52680 13232 0 0 276 8 4 3 20 0 15 0 55303186 11178180608 625642 33554432000 4194304 4196468 140733283773232 140644292950256 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18528] ppid=18460 vsize=10916192 memory=2502568 CPUtime=0.07 cores=1,3,5,7
/proc/18463/task/18528/stat : 18528 (java) S 18460 18463 17273 0 -1 1077944384 3 13232 0 0 0 0 4 3 20 0 15 0 55303186 11178180608 625642 33554432000 4194304 4196468 140733283773232 140643664743008 140645116856021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
[pid=18463/tid=18529] ppid=18460 vsize=10916192 memory=2502568 CPUtime=1.3 cores=1,3,5,7
/proc/18463/task/18529/stat : 18529 (java) S 18460 18463 17273 0 -1 1077944384 3073 13232 0 0 57 66 4 3 20 0 15 0 55303187 11178180608 625642 33554432000 4194304 4196468 140733283773232 140644291898160 140645116856962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35663872 140733283776683 140733283779932 140733283779932 140733283782607 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2502568 KiB
Child status: 143
Real time (s): 2482.94
CPU time (s): 2520.15
CPU user time (s): 2516.26
CPU system time (s): 3.89145
CPU usage (%): 101.499
Max. virtual memory (cumulated for all children) (KiB): 10918828
Max. memory (cumulated for all children) (KiB): 3410072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.26
system time used= 3.89145
maximum resident set size= 3410084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 585581
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70203
involuntary context switches= 1348
# summary of solver processes directly reported to runsolver:
# pid: 18463
# total CPU time (s): 2520.15
# total CPU user time (s): 2516.26
# total CPU system time (s): 3.89145
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0514 second user time and 18.1215 second system time
The end
Begin job on node151 at 2018-07-23 22:23:20 IDJOB=4293866 IDBENCH=141251 IDSOLVER=2751 FILE ID=node151/4293866-1532377400 RUNJOBID= node151-1532369950-17305 PBS_JOBID= 21021572 Free space on /tmp= 55048 MiB SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13 BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko49_c18.xml COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293866-1532377400/watcher-4293866-1532377400 -o /tmp/evaluation-result-4293866-1532377400/solver-4293866-1532377400 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17305 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2012884648 -superng HOME/instance-4293866-1532377400.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 69d2b1c9cf4919b13dd8bc483772d8bf RANDOM SEED=2012884648 node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26527136 kB MemAvailable: 30983868 kB Buffers: 141208 kB Cached: 4557028 kB SwapCached: 0 kB Active: 1908096 kB Inactive: 3816460 kB Active(anon): 976556 kB Inactive(anon): 69336 kB Active(file): 931540 kB Inactive(file): 3747124 kB Unevictable: 7824 kB Mlocked: 7824 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26436 kB Writeback: 0 kB AnonPages: 1042060 kB Mapped: 50636 kB Shmem: 17032 kB Slab: 215436 kB SReclaimable: 187804 kB SUnreclaim: 27632 kB KernelStack: 3824 kB PageTables: 6612 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2138788 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 802816 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 55020 MiB End job on node151 at 2018-07-23 23:04:43