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) | 37447 | 2520.06 | 2459.24 |
| Name | QuadraticAssignment/ QuadraticAssignment-sko72_c18.xml |
| MD5SUM | 69672b68d8d3f9201b488571cf4784d4 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 35807 |
| Best CPU time to get the best result obtained on this benchmark | 2520.07 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5256 |
| Number of constraints | 2557 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 72 |
| Distribution of domain sizes | [{"size":8,"count":2556},{"size":72,"count":72}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 72 |
| Distribution of variable degrees | [{"degree":0,"count":2628},{"degree":2,"count":2556},{"degree":72,"count":72}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 72 |
| Distribution of constraint arities | [{"arity":3,"count":2556},{"arity":72,"count":1}] |
| Number of extensional constraints | 2556 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":2556},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.97/0.76 c Concrete v3.8.1528841891564 running 541.22/523.97 o 37592 541.55/524.06 o 37550 541.55/524.09 o 37451 542.12/524.21 o 37447 2520.00/2459.21 Exception in thread "main" java.util.concurrent.TimeoutException 2520.00/2459.21 at concrete.MAC.mac(MAC.scala:188) 2520.00/2459.21 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.00/2459.21 at scala.util.Try$.apply(Try.scala:209) 2520.00/2459.21 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.00/2459.21 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.00/2459.21 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.00/2459.21 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.00/2459.21 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.00/2459.21 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.00/2459.21 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.00/2459.21 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.00/2459.21 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.00/2459.21 at concrete.MAC.oneRun(MAC.scala:253) 2520.00/2459.21 at concrete.MAC.nextSolution(MAC.scala:272) 2520.00/2459.21 at concrete.MAC.nextSolution(MAC.scala:355) 2520.00/2459.21 at concrete.Solver.hasNext(Solver.scala:166) 2520.00/2459.21 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.00/2459.21 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.00/2459.21 at concrete.Solver.foreach(Solver.scala:68) 2520.00/2459.21 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.00/2459.21 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.00/2459.21 at scala.util.Success.map(Try.scala:209) 2520.00/2459.21 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.00/2459.21 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.00/2459.21 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.00/2459.21 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.00/2459.21 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.00/2459.21 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.00/2459.21 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.00/2459.21 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.00/2459.21 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.00/2459.21 at scala.collection.immutable.List.foreach(List.scala:389) 2520.00/2459.21 at scala.App.main(App.scala:76) 2520.00/2459.21 at scala.App.main$(App.scala:74) 2520.00/2459.21 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.00/2459.21 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.00/2459.21 v <instantiation cost="37447"> 2520.00/2459.21 v <list> 2520.00/2459.21 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] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] 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[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] 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[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] 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[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] 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[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] 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[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] 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[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] 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[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] 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[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] 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[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] 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[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] 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[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] 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[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] 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[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] 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[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] 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[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] 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[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] 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[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] 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[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] 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[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] 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[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] 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[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] 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[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] 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[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] 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[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] 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[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] 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[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] 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[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] 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[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] 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[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] 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[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] 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[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] 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[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] 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[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] 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[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] 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[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] 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[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] 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[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][70] d[36][71] 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[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] 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[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] 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[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] 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[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][70] d[53][71] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][71] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[67][68] d[67][69] d[67][70] d[67][71] d[68][69] d[68][70] d[68][71] d[69][70] d[69][71] d[70][71] 2520.00/2459.22 v </list> 2520.00/2459.22 v <values> 2520.00/2459.22 v 7 9 3 38 35 17 46 23 4 53 70 56 50 66 5 12 20 52 25 68 71 41 61 69 36 42 49 59 8 29 22 13 65 45 55 34 54 39 63 21 32 60 58 64 30 44 14 67 18 6 26 40 2 24 43 47 1 57 15 31 33 62 10 37 16 19 27 0 51 28 48 11 10 5 0 3 4 2 0 0 10 2 2 5 2 0 2 2 2 4 0 1 0 1 0 0 5 4 1 2 5 2 2 0 0 0 5 0 2 0 2 1 0 5 0 5 1 5 3 2 2 2 0 0 1 5 5 5 0 2 5 2 3 1 2 10 2 2 0 0 5 0 0 0 0 2 2 5 0 5 1 2 2 0 1 5 10 2 1 3 0 4 6 0 10 0 1 5 5 1 2 5 5 0 5 10 5 10 1 2 0 2 2 0 5 2 5 0 2 2 5 0 0 2 0 2 5 5 0 2 0 2 1 0 2 5 1 5 2 4 0 5 6 1 10 2 0 2 5 0 2 10 0 1 3 0 0 1 5 0 10 0 10 5 5 10 0 0 0 0 10 4 10 5 0 0 10 2 0 0 5 1 2 2 0 0 2 2 0 1 1 0 0 10 0 0 0 0 1 0 2 1 5 0 10 10 0 10 0 1 0 3 5 10 1 5 2 5 2 5 0 5 5 5 0 5 0 5 2 1 1 3 1 5 0 2 10 5 1 0 2 0 5 2 1 0 2 0 5 5 1 5 1 0 0 5 5 0 1 0 2 0 5 5 0 0 10 10 2 10 0 0 10 5 5 0 5 0 10 0 0 0 2 2 2 2 10 5 0 10 1 5 0 5 5 0 0 0 0 10 0 5 0 1 0 0 2 2 5 1 0 5 0 2 0 2 10 2 10 0 1 10 5 0 0 1 10 5 5 5 5 6 0 4 5 10 0 1 0 6 0 1 2 5 0 2 3 0 0 3 2 0 0 0 5 5 2 10 6 2 0 0 0 10 10 5 2 0 6 0 0 5 1 1 5 10 5 0 2 2 0 0 2 0 0 5 0 5 5 2 0 5 2 0 0 0 5 2 2 2 0 0 2 1 5 5 1 1 0 0 5 0 2 5 0 0 5 2 10 5 1 5 2 0 10 0 4 3 1 6 5 5 0 3 0 1 2 5 0 0 0 5 0 4 2 5 4 0 0 10 6 2 0 2 1 2 10 5 5 1 5 1 2 0 1 10 0 2 0 0 1 4 0 6 10 1 5 0 2 10 0 2 0 5 2 3 1 1 4 0 1 5 1 1 0 10 0 0 0 1 5 2 2 1 2 2 5 1 2 0 2 4 0 0 0 2 2 5 5 3 0 5 4 3 0 0 4 0 0 0 10 1 5 5 1 10 5 2 5 0 0 5 5 0 5 0 5 2 5 5 3 2 1 5 5 2 0 0 3 2 1 1 0 0 0 3 5 0 0 1 2 1 6 5 0 2 2 3 10 5 1 5 0 0 5 1 5 5 0 0 5 0 0 3 2 2 0 2 3 0 2 5 2 2 0 2 1 5 5 5 0 0 0 2 5 5 0 5 0 0 0 0 1 0 2 0 0 5 5 5 0 3 2 0 2 5 0 1 2 0 5 0 2 3 0 10 2 2 0 2 10 1 0 5 2 0 1 0 1 2 2 5 0 1 2 0 0 10 0 5 10 0 2 0 0 2 0 2 0 3 5 0 0 2 5 1 0 4 0 4 1 0 1 10 1 5 2 2 5 5 0 5 2 2 10 10 0 2 2 5 10 0 1 4 5 2 5 5 5 5 5 2 0 3 0 5 5 5 5 0 5 10 4 2 5 2 0 10 5 0 0 0 0 5 0 10 2 0 0 2 2 0 10 0 5 0 0 1 5 0 0 10 1 5 5 1 0 1 0 0 10 0 3 0 5 2 0 0 1 4 5 0 0 1 5 5 1 0 0 4 1 5 1 0 0 5 10 0 5 10 5 1 0 5 0 2 5 1 1 2 0 2 2 0 0 0 4 0 2 2 0 10 5 2 2 0 2 0 0 10 1 2 3 3 1 0 1 1 10 1 2 2 1 5 0 0 0 5 1 5 1 2 2 2 0 2 5 3 2 10 5 10 2 3 2 2 10 1 5 1 3 10 5 5 4 0 5 5 1 0 4 0 0 1 0 1 0 10 0 2 0 10 0 0 0 3 0 5 1 2 4 0 0 0 5 5 5 10 2 5 5 0 0 2 0 10 2 2 4 4 2 2 5 10 1 0 3 1 0 5 5 2 0 2 2 1 5 1 10 6 5 3 0 5 2 0 0 5 10 1 0 4 2 0 2 5 0 4 2 5 2 1 1 2 0 2 5 1 5 3 10 5 2 6 0 5 0 10 5 10 1 0 1 2 0 1 1 0 10 1 0 0 1 0 3 5 2 5 1 10 1 6 4 2 4 4 1 6 0 2 0 3 3 0 5 5 2 0 2 10 1 1 2 2 5 5 2 5 2 0 5 0 10 0 5 0 5 5 5 2 5 1 0 0 1 5 2 3 3 2 5 0 0 5 2 1 1 10 5 0 2 0 1 5 0 5 1 2 2 6 5 5 0 0 0 2 0 0 2 4 5 10 2 0 0 0 0 0 0 1 5 0 0 0 6 0 1 2 10 5 0 0 1 2 1 1 0 5 0 0 0 2 0 0 1 0 2 1 1 0 5 0 2 6 5 5 5 0 5 2 2 0 2 2 0 5 4 1 2 5 0 2 10 2 1 2 5 5 3 10 1 0 1 1 5 2 2 0 0 5 0 1 10 2 5 0 5 1 5 0 5 0 2 0 10 10 6 2 0 0 10 2 5 0 3 6 10 3 0 1 1 2 4 10 1 0 1 0 1 2 2 0 0 5 2 10 5 5 2 3 3 5 5 10 0 2 5 10 5 2 0 3 0 3 3 5 1 1 5 1 4 2 5 10 0 10 1 3 2 5 3 0 0 5 0 5 2 0 0 0 6 2 5 0 0 3 0 10 0 5 5 0 3 5 0 1 5 5 0 0 0 1 3 5 0 5 2 0 0 0 0 0 0 2 2 3 5 3 6 4 5 0 0 10 5 6 10 2 10 2 5 2 0 2 0 5 0 1 3 0 0 1 10 0 0 5 10 5 4 2 1 0 5 2 0 0 1 0 0 10 0 3 2 2 1 2 2 0 5 5 0 0 5 10 1 2 5 0 10 2 1 10 5 0 5 2 0 0 1 0 4 0 0 2 5 2 0 3 1 0 2 10 10 1 0 5 3 0 3 1 5 0 4 6 0 2 4 10 4 2 10 0 0 0 0 1 5 5 5 4 2 0 1 0 2 1 1 0 6 0 0 10 0 0 3 3 2 5 2 0 0 3 2 0 10 0 3 0 0 1 2 10 0 0 5 2 0 5 6 0 5 5 1 5 1 2 5 5 2 1 2 5 2 5 1 4 0 5 5 0 5 10 5 0 4 1 10 6 0 5 2 2 1 0 0 5 10 5 2 2 1 4 5 5 0 0 5 0 0 1 2 1 0 1 1 0 5 1 1 5 0 2 1 10 0 0 0 0 0 5 5 4 10 4 5 0 1 2 1 0 3 10 5 0 10 0 5 0 5 5 5 2 1 0 0 5 2 2 5 0 5 1 2 0 5 2 2 5 2 6 2 5 1 2 3 0 0 10 0 5 5 0 0 0 2 2 5 0 2 0 4 1 2 2 1 5 5 0 10 10 2 2 0 5 10 6 0 5 0 5 10 0 0 0 0 0 1 3 5 0 4 0 0 10 0 3 0 0 2 1 5 3 2 1 2 2 1 5 1 10 10 1 2 3 5 5 2 1 1 1 5 6 0 0 1 0 5 1 2 0 0 4 2 10 5 0 5 2 4 5 0 0 5 5 1 1 0 0 5 5 0 2 1 0 3 0 2 5 5 2 2 0 1 2 10 10 0 0 5 2 4 0 0 2 5 2 0 0 5 5 5 5 2 4 0 0 0 10 2 5 0 2 5 0 2 5 5 5 5 3 5 0 5 0 1 10 1 2 0 2 5 10 0 2 10 1 2 0 3 2 2 0 5 0 5 2 5 5 1 3 5 4 2 1 0 10 0 0 5 10 5 2 1 1 2 0 2 0 0 2 5 4 0 1 5 1 0 0 0 2 0 4 5 2 0 3 4 0 3 2 2 5 5 0 0 0 10 2 5 5 5 5 10 5 3 5 0 1 10 5 0 0 10 5 5 4 0 0 2 1 5 1 5 0 5 5 0 1 4 2 2 2 10 10 2 10 10 2 5 4 0 5 10 2 2 6 3 0 0 0 1 0 2 0 4 0 10 0 1 5 1 0 5 5 1 2 0 0 2 1 3 5 1 2 0 1 5 5 0 0 5 0 10 1 0 0 0 2 4 1 5 6 0 3 0 1 4 1 1 4 0 2 5 1 2 10 5 1 1 1 0 5 0 0 0 0 2 0 0 0 2 0 5 2 0 0 1 2 4 10 5 4 5 5 1 0 6 5 5 0 10 5 2 5 1 2 1 5 2 5 4 1 5 5 2 10 2 0 0 5 6 2 2 2 10 3 5 2 2 2 0 2 1 0 2 10 2 2 0 0 10 10 2 0 0 1 5 1 1 10 10 5 10 0 2 2 3 2 6 0 0 10 6 2 5 2 0 5 0 5 1 0 2 0 5 4 0 5 4 10 0 0 4 10 0 1 1 0 0 1 5 0 5 4 1 2 2 2 1 5 10 0 2 10 2 0 5 2 0 0 0 0 5 0 1 0 5 1 1 10 2 10 0 2 5 0 5 10 0 0 2 3 0 2 5 0 0 2 4 0 4 1 1 1 5 5 5 2 5 2 0 1 10 2 0 5 1 3 10 2 3 5 0 5 10 5 0 5 5 2 5 6 4 3 0 0 1 1 0 5 0 0 0 5 4 4 2 5 3 0 0 5 1 5 1 1 0 0 2 2 1 2 1 5 0 0 3 1 2 5 1 5 5 5 6 5 5 10 3 0 10 2 4 2 5 0 2 3 5 5 5 1 5 0 1 3 0 0 2 5 0 5 2 5 1 0 2 5 0 0 0 0 2 1 2 0 0 0 5 1 2 5 0 2 1 0 2 2 1 6 2 0 2 5 5 0 5 5 5 2 0 0 0 5 5 1 1 2 0 1 2 1 0 10 2 0 6 0 5 0 1 0 5 2 10 1 0 4 2 2 0 6 0 5 0 2 0 5 1 2 2 5 0 0 1 2 5 1 10 0 0 1 0 1 2 4 5 4 5 5 1 0 0 1 3 2 3 5 5 0 10 2 2 5 0 0 5 4 10 0 10 0 1 5 0 4 0 5 5 0 10 0 0 3 0 3 0 0 0 2 2 2 4 5 5 10 5 0 5 0 0 0 10 0 4 10 2 5 1 3 3 0 4 0 5 0 0 0 5 10 2 0 5 5 0 5 2 0 5 0 5 0 1 10 10 10 0 2 2 2 0 10 2 3 2 5 2 1 6 1 0 1 0 2 1 5 2 2 2 1 5 5 2 5 0 5 0 0 5 3 0 0 1 3 1 10 5 0 1 5 1 2 2 2 5 0 2 5 0 0 3 3 0 5 2 5 2 0 0 10 4 5 0 4 0 5 1 5 5 5 0 0 5 0 0 1 10 0 1 0 10 10 1 2 10 5 0 5 0 10 2 5 5 0 2 1 10 1 6 2 10 0 2 0 0 0 2 3 5 0 0 0 4 10 0 10 3 0 5 2 0 5 3 0 1 5 0 10 5 0 0 2 1 4 6 2 1 0 0 2 5 0 2 1 0 2 0 10 2 6 2 0 1 0 4 5 0 0 2 10 0 0 1 5 0 6 2 0 10 1 2 5 5 1 1 0 0 5 2 10 4 5 0 4 5 5 5 1 10 10 4 0 1 1 4 10 6 0 2520.00/2459.22 v </values> 2520.00/2459.22 v </instantiation> 2520.00/2459.22 s SATISFIABLE
OK 37447
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14957 MiB free)
memory of node 1: 16384 MiB (11901 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293838-1532369950/watcher-4293838-1532369950 -o /tmp/evaluation-result-4293838-1532369950/solver-4293838-1532369950 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17304 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=354827468 -superng HOME/instance-4293838-1532369950.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17334, runsolver pid=17327
[startup+0.100057 s]*
/proc/loadavg: 2.00 2.00 1.96 5/219 17417
/proc/meminfo: memFree=27476796/32770624 swapFree=67108860/67108860
[pid=17334] ppid=17327 vsize=113256 memory=1612 CPUtime=0.08 cores=0,2,4,6
/proc/17334/stat : 17334 (bash) S 17327 17334 17273 0 -1 4202496 976 12184 0 0 0 0 5 3 20 0 1 0 54558231 115974144 403 33554432000 4194304 5098028 140728220072048 140728220067880 140046575041536 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 1 0 0 7196144 7232144 8654848 140728220075158 140728220075304 140728220075304 140728220078062 0
/proc/17334/statm: 28314 403 319 221 0 119 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1612 KiB
[startup+0.210359 s]*
/proc/loadavg: 2.00 2.00 1.96 5/215 17465
/proc/meminfo: memFree=27462512/32770624 swapFree=67108860/67108860
[pid=17334] ppid=17327 vsize=10818904 memory=34076 CPUtime=0.23 cores=0,2,4,6
/proc/17334/stat : 17334 (java) S 17327 17334 17273 0 -1 1077944320 6802 12873 0 0 14 1 5 3 20 0 15 0 54558231 11078557696 8519 33554432000 4194304 4196468 140724100434448 140724100416992 140502337478391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
/proc/17334/statm: 2704726 8519 2968 1 0 2667149 0
[pid=17334/tid=17439] ppid=17327 vsize=10818904 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/17334/task/17439/stat : 17439 (java) R 17327 17334 17273 0 -1 4202560 3356 12873 0 0 8 1 5 3 20 0 15 0 54558242 11078557696 8519 33554432000 4194304 4196468 140724100434448 140502309295776 140502317754151 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17440] ppid=17327 vsize=10818904 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17440/stat : 17440 (java) S 17327 17334 17273 0 -1 1077944384 2 12873 0 0 0 0 5 3 20 0 15 0 54558243 11078557696 8519 33554432000 4194304 4196468 140724100434448 140502341720464 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17441] ppid=17327 vsize=10818904 memory=140447490112250 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17441/stat : 17441 (java) S 17327 17334 17273 0 -1 1077944384 1 12873 0 0 0 0 5 3 20 0 15 0 54558243 11078557696 8519 33554432000 4194304 4196468 140724100434448 140502273632528 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17443] ppid=17327 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17443/stat : 17443 (java) S 17327 17334 17273 0 -1 1077944384 1 12873 0 0 0 0 5 3 20 0 15 0 54558243 11078557696 8519 33554432000 4194304 4196468 140724100434448 140501909375632 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17444] ppid=17327 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17444/stat : 17444 (java) S 17327 17334 17273 0 -1 1077944384 2 12873 0 0 0 0 5 3 20 0 15 0 54558243 11078557696 8519 33554432000 4194304 4196468 140724100434448 140501908322832 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17448] ppid=17327 vsize=10818904 memory=140447490094720 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17448/stat : 17448 (java) S 17327 17334 17273 0 -1 1077944384 2 12873 0 0 0 0 5 3 20 0 15 0 54558244 11078557696 8519 33554432000 4194304 4196468 140724100434448 140501796756080 140502337489538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17450] ppid=17327 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17450/stat : 17450 (java) S 17327 17334 17273 0 -1 1077944384 33 12873 0 0 0 0 5 3 20 0 15 0 54558245 11078557696 8519 33554432000 4194304 4196468 140724100434448 140501795702048 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17452] ppid=17327 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17452/stat : 17452 (java) S 17327 17334 17273 0 -1 1077944384 1 12873 0 0 0 0 5 3 20 0 15 0 54558245 11078557696 8519 33554432000 4194304 4196468 140724100434448 140501198038640 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17455] ppid=17327 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17455/stat : 17455 (java) S 17327 17334 17273 0 -1 1077944384 3 12873 0 0 0 0 5 3 20 0 15 0 54558248 11078557696 8519 33554432000 4194304 4196468 140724100434448 140500890638928 140502337496987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17457] ppid=17327 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17334/task/17457/stat : 17457 (java) S 17327 17334 17273 0 -1 1077944384 554 12873 0 0 1 0 5 3 20 0 15 0 54558248 11078557696 8519 33554432000 4194304 4196468 140724100434448 140501762144368 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17458] ppid=17327 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17458/stat : 17458 (java) S 17327 17334 17273 0 -1 1077944384 57 12873 0 0 0 0 5 3 20 0 15 0 54558248 11078557696 8519 33554432000 4194304 4196468 140724100434448 140501761091568 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17460] ppid=17327 vsize=10818904 memory=140447490094720 CPUtime=0.11 cores=0,2,4,6
/proc/17334/task/17460/stat : 17460 (java) S 17327 17334 17273 0 -1 1077944384 595 12873 0 0 3 0 5 3 20 0 15 0 54558248 11078557696 8519 33554432000 4194304 4196468 140724100434448 140501760039280 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17463] ppid=17327 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17463/stat : 17463 (java) S 17327 17334 17273 0 -1 1077944384 3 12873 0 0 0 0 5 3 20 0 15 0 54558248 11078557696 8519 33554432000 4194304 4196468 140724100434448 140500857080288 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17465] ppid=17327 vsize=10818904 memory=140447490094720 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17465/stat : 17465 (java) S 17327 17334 17273 0 -1 1077944384 1 12873 0 0 0 0 5 3 20 0 15 0 54558248 11078557696 8519 33554432000 4194304 4196468 140724100434448 140501758987184 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 34076 KiB
[startup+0.31009 s]*
/proc/loadavg: 2.00 2.00 1.96 3/215 17465
/proc/meminfo: memFree=27435840/32770624 swapFree=67108860/67108860
[pid=17334] ppid=17327 vsize=10819352 memory=47896 CPUtime=0.36 cores=0,2,4,6
/proc/17334/stat : 17334 (java) S 17327 17334 17273 0 -1 1077944320 10116 12873 0 0 25 3 5 3 20 0 15 0 54558231 11079016448 11974 33554432000 4194304 4196468 140724100434448 140724100416992 140502337478391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
/proc/17334/statm: 2704838 11974 3087 1 0 2667149 0
[pid=17334/tid=17439] ppid=17327 vsize=10819352 memory=576461178948550685 CPUtime=0.26 cores=0,2,4,6
/proc/17334/task/17439/stat : 17439 (java) R 17327 17334 17273 0 -1 4202560 6623 12873 0 0 16 2 5 3 20 0 15 0 54558242 11079016448 11974 33554432000 4194304 4196468 140724100434448 140502309290400 140502319041947 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17440] ppid=17327 vsize=10819352 memory=302022878499700759 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17440/stat : 17440 (java) S 17327 17334 17273 0 -1 1077944384 2 12873 0 0 0 0 5 3 20 0 15 0 54558243 11079016448 11974 33554432000 4194304 4196468 140724100434448 140502341720464 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17441] ppid=17327 vsize=10819352 memory=15964838820165272 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17441/stat : 17441 (java) S 17327 17334 17273 0 -1 1077944384 1 12873 0 0 0 0 5 3 20 0 15 0 54558243 11079016448 11974 33554432000 4194304 4196468 140724100434448 140502273632528 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17443] ppid=17327 vsize=10819352 memory=-8033973737701895300 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17443/stat : 17443 (java) S 17327 17334 17273 0 -1 1077944384 1 12873 0 0 0 0 5 3 20 0 15 0 54558243 11079016448 11974 33554432000 4194304 4196468 140724100434448 140501909375632 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17444] ppid=17327 vsize=10819352 memory=3472285459100356710 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17444/stat : 17444 (java) S 17327 17334 17273 0 -1 1077944384 2 12873 0 0 0 0 5 3 20 0 15 0 54558243 11079016448 11974 33554432000 4194304 4196468 140724100434448 140501908322832 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17448] ppid=17327 vsize=10819352 memory=7008597094691890864 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17448/stat : 17448 (java) S 17327 17334 17273 0 -1 1077944384 2 12873 0 0 0 0 5 3 20 0 15 0 54558244 11079016448 11974 33554432000 4194304 4196468 140724100434448 140501796756080 140502337489538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17450] ppid=17327 vsize=10819352 memory=7945036255673856047 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17450/stat : 17450 (java) S 17327 17334 17273 0 -1 1077944384 33 12873 0 0 0 0 5 3 20 0 15 0 54558245 11079016448 11974 33554432000 4194304 4196468 140724100434448 140501795702048 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17452] ppid=17327 vsize=10819352 memory=-4866526891258710369 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17452/stat : 17452 (java) S 17327 17334 17273 0 -1 1077944384 1 12873 0 0 0 0 5 3 20 0 15 0 54558245 11079016448 11974 33554432000 4194304 4196468 140724100434448 140501198038640 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17455] ppid=17327 vsize=10819352 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17455/stat : 17455 (java) S 17327 17334 17273 0 -1 1077944384 3 12873 0 0 0 0 5 3 20 0 15 0 54558248 11079016448 11974 33554432000 4194304 4196468 140724100434448 140500890638928 140502337496987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17457] ppid=17327 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17334/task/17457/stat : 17457 (java) S 17327 17334 17273 0 -1 1077944384 556 12873 0 0 1 0 5 3 20 0 15 0 54558248 11079016448 11974 33554432000 4194304 4196468 140724100434448 140501762144368 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17458] ppid=17327 vsize=10819352 memory=8313491497846792056 CPUtime=0.09 cores=0,2,4,6
/proc/17334/task/17458/stat : 17458 (java) S 17327 17334 17273 0 -1 1077944384 62 12873 0 0 1 0 5 3 20 0 15 0 54558248 11079016448 11974 33554432000 4194304 4196468 140724100434448 140501761091568 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17460] ppid=17327 vsize=10819352 memory=140447490094720 CPUtime=0.13 cores=0,2,4,6
/proc/17334/task/17460/stat : 17460 (java) S 17327 17334 17273 0 -1 1077944384 634 12873 0 0 5 0 5 3 20 0 15 0 54558248 11079016448 11974 33554432000 4194304 4196468 140724100434448 140501760039280 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17463] ppid=17327 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17463/stat : 17463 (java) S 17327 17334 17273 0 -1 1077944384 3 12873 0 0 0 0 5 3 20 0 15 0 54558248 11079016448 11974 33554432000 4194304 4196468 140724100434448 140500857080288 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17465] ppid=17327 vsize=10819352 memory=140447490094720 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17465/stat : 17465 (java) S 17327 17334 17273 0 -1 1077944384 1 12873 0 0 0 0 5 3 20 0 15 0 54558248 11079016448 11974 33554432000 4194304 4196468 140724100434448 140501758987184 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 47896 KiB
[startup+0.700738 s]
/proc/loadavg: 2.00 2.00 1.96 4/215 17465
/proc/meminfo: memFree=27408512/32770624 swapFree=67108860/67108860
[pid=17334] ppid=17327 vsize=10819352 memory=83352 CPUtime=0.97 cores=0,2,4,6
/proc/17334/stat : 17334 (java) S 17327 17334 17273 0 -1 1077944320 17038 12873 0 0 84 5 5 3 20 0 15 0 54558231 11079016448 20838 33554432000 4194304 4196468 140724100434448 140724100416992 140502337478391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
/proc/17334/statm: 2704838 20838 3238 1 0 2667149 0
[pid=17334/tid=17439] ppid=17327 vsize=10819352 memory=67 CPUtime=0.65 cores=0,2,4,6
/proc/17334/task/17439/stat : 17439 (java) R 17327 17334 17273 0 -1 4202560 12247 12873 0 0 53 4 5 3 20 0 15 0 54558242 11079016448 20838 33554432000 4194304 4196468 140724100434448 140502309302656 140502320671125 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17440] ppid=17327 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17440/stat : 17440 (java) S 17327 17334 17273 0 -1 1077944384 2 12873 0 0 0 0 5 3 20 0 15 0 54558243 11079016448 20838 33554432000 4194304 4196468 140724100434448 140502341720464 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17441] ppid=17327 vsize=10819352 memory=152 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17441/stat : 17441 (java) S 17327 17334 17273 0 -1 1077944384 1 12873 0 0 0 0 5 3 20 0 15 0 54558243 11079016448 20838 33554432000 4194304 4196468 140724100434448 140502273632528 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17443] ppid=17327 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17443/stat : 17443 (java) S 17327 17334 17273 0 -1 1077944384 1 12873 0 0 0 0 5 3 20 0 15 0 54558243 11079016448 20838 33554432000 4194304 4196468 140724100434448 140501909375632 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17444] ppid=17327 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17444/stat : 17444 (java) S 17327 17334 17273 0 -1 1077944384 2 12873 0 0 0 0 5 3 20 0 15 0 54558243 11079016448 20838 33554432000 4194304 4196468 140724100434448 140501908322832 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17448] ppid=17327 vsize=10819352 memory=5792282575752947557 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17448/stat : 17448 (java) S 17327 17334 17273 0 -1 1077944384 5 12873 0 0 0 0 5 3 20 0 15 0 54558244 11079016448 20838 33554432000 4194304 4196468 140724100434448 140501796756080 140502337489538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17450] ppid=17327 vsize=10819352 memory=4640204490969339242 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17450/stat : 17450 (java) S 17327 17334 17273 0 -1 1077944384 33 12873 0 0 0 0 5 3 20 0 15 0 54558245 11079016448 20838 33554432000 4194304 4196468 140724100434448 140501795702048 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17452] ppid=17327 vsize=10819352 memory=6935649255759570496 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17452/stat : 17452 (java) S 17327 17334 17273 0 -1 1077944384 1 12873 0 0 0 0 5 3 20 0 15 0 54558245 11079016448 20838 33554432000 4194304 4196468 140724100434448 140501198038640 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17455] ppid=17327 vsize=10819352 memory=-8820188211957838939 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17455/stat : 17455 (java) S 17327 17334 17273 0 -1 1077944384 3 12873 0 0 0 0 5 3 20 0 15 0 54558248 11079016448 20838 33554432000 4194304 4196468 140724100434448 140500890638928 140502337496987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17457] ppid=17327 vsize=10819352 memory=8370611207638964880 CPUtime=0.15 cores=0,2,4,6
/proc/17334/task/17457/stat : 17457 (java) S 17327 17334 17273 0 -1 1077944384 932 12873 0 0 7 0 5 3 20 0 15 0 54558248 11079016448 20838 33554432000 4194304 4196468 140724100434448 140501762144368 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17458] ppid=17327 vsize=10819352 memory=-7737605734073691286 CPUtime=0.17 cores=0,2,4,6
/proc/17334/task/17458/stat : 17458 (java) S 17327 17334 17273 0 -1 1077944384 769 12873 0 0 9 0 5 3 20 0 15 0 54558248 11079016448 20838 33554432000 4194304 4196468 140724100434448 140501761091568 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17460] ppid=17327 vsize=10819352 memory=-7522837415730323359 CPUtime=0.21 cores=0,2,4,6
/proc/17334/task/17460/stat : 17460 (java) S 17327 17334 17273 0 -1 1077944384 846 12873 0 0 13 0 5 3 20 0 15 0 54558248 11079016448 20838 33554432000 4194304 4196468 140724100434448 140501760039280 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17463] ppid=17327 vsize=10819352 memory=-7523660553960122769 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17463/stat : 17463 (java) S 17327 17334 17273 0 -1 1077944384 3 12873 0 0 0 0 5 3 20 0 15 0 54558248 11079016448 20838 33554432000 4194304 4196468 140724100434448 140500857080288 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17465] ppid=17327 vsize=10819352 memory=11232 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17465/stat : 17465 (java) S 17327 17334 17273 0 -1 1077944384 1 12873 0 0 0 0 5 3 20 0 15 0 54558248 11079016448 20838 33554432000 4194304 4196468 140724100434448 140501758987184 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 83352 KiB
[startup+1.50068 s]
/proc/loadavg: 2.00 2.00 1.96 4/215 17465
/proc/meminfo: memFree=27321448/32770624 swapFree=67108860/67108860
[pid=17334] ppid=17327 vsize=10832204 memory=166664 CPUtime=2.99 cores=0,2,4,6
/proc/17334/stat : 17334 (java) S 17327 17334 17273 0 -1 1077944320 25399 12873 0 0 283 8 5 3 20 0 15 0 54558231 11092176896 41666 33554432000 4194304 4196468 140724100434448 140724100416992 140502337478391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
/proc/17334/statm: 2708051 41666 3456 1 0 2669709 0
[pid=17334/tid=17439] ppid=17327 vsize=10832204 memory=6791534058613427641 CPUtime=1.44 cores=0,2,4,6
/proc/17334/task/17439/stat : 17439 (java) R 17327 17334 17273 0 -1 4202560 16689 12873 0 0 130 6 5 3 20 0 15 0 54558242 11092176896 41666 33554432000 4194304 4196468 140724100434448 140502309286008 140502321558878 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17440] ppid=17327 vsize=10832204 memory=152 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17440/stat : 17440 (java) S 17327 17334 17273 0 -1 1077944384 2 12873 0 0 0 0 5 3 20 0 15 0 54558243 11092176896 41666 33554432000 4194304 4196468 140724100434448 140502341720464 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17441] ppid=17327 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17441/stat : 17441 (java) S 17327 17334 17273 0 -1 1077944384 1 12873 0 0 0 0 5 3 20 0 15 0 54558243 11092176896 41666 33554432000 4194304 4196468 140724100434448 140502273632528 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17443] ppid=17327 vsize=10832204 memory=280894753582752 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17443/stat : 17443 (java) S 17327 17334 17273 0 -1 1077944384 1 12873 0 0 0 0 5 3 20 0 15 0 54558243 11092176896 41666 33554432000 4194304 4196468 140724100434448 140501909375632 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17444] ppid=17327 vsize=10832204 memory=280894753587200 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17444/stat : 17444 (java) S 17327 17334 17273 0 -1 1077944384 2 12873 0 0 0 0 5 3 20 0 15 0 54558243 11092176896 41666 33554432000 4194304 4196468 140724100434448 140501908322832 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17448] ppid=17327 vsize=10832204 memory=140447376812495 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17448/stat : 17448 (java) S 17327 17334 17273 0 -1 1077944384 12 12873 0 0 0 0 5 3 20 0 15 0 54558244 11092176896 41666 33554432000 4194304 4196468 140724100434448 140501796756080 140502337489538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17450] ppid=17327 vsize=10832204 memory=51 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17450/stat : 17450 (java) S 17327 17334 17273 0 -1 1077944384 33 12873 0 0 0 0 5 3 20 0 15 0 54558245 11092176896 41666 33554432000 4194304 4196468 140724100434448 140501795702048 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17452] ppid=17327 vsize=10832204 memory=19 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17452/stat : 17452 (java) S 17327 17334 17273 0 -1 1077944384 1 12873 0 0 0 0 5 3 20 0 15 0 54558245 11092176896 41666 33554432000 4194304 4196468 140724100434448 140501198038640 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17455] ppid=17327 vsize=10832204 memory=133 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17455/stat : 17455 (java) S 17327 17334 17273 0 -1 1077944384 3 12873 0 0 0 0 5 3 20 0 15 0 54558248 11092176896 41666 33554432000 4194304 4196468 140724100434448 140500890638928 140502337496987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17457] ppid=17327 vsize=10832204 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/17334/task/17457/stat : 17457 (java) S 17327 17334 17273 0 -1 1077944384 1961 12873 0 0 51 0 5 3 20 0 15 0 54558248 11092176896 41666 33554432000 4194304 4196468 140724100434448 140501762144368 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17458] ppid=17327 vsize=10832204 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/17334/task/17458/stat : 17458 (java) R 17327 17334 17273 0 -1 4202560 2467 12873 0 0 55 0 5 3 20 0 15 0 54558248 11092176896 41666 33554432000 4194304 4196468 140724100434448 140501761072024 140502320975179 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17460] ppid=17327 vsize=10832204 memory=140447376811841 CPUtime=0.53 cores=0,2,4,6
/proc/17334/task/17460/stat : 17460 (java) S 17327 17334 17273 0 -1 1077944384 2032 12873 0 0 45 0 5 3 20 0 15 0 54558248 11092176896 41666 33554432000 4194304 4196468 140724100434448 140501760039280 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17463] ppid=17327 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17463/stat : 17463 (java) S 17327 17334 17273 0 -1 1077944384 3 12873 0 0 0 0 5 3 20 0 15 0 54558248 11092176896 41666 33554432000 4194304 4196468 140724100434448 140500857080288 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17465] ppid=17327 vsize=10832204 memory=-3395018503492161311 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17465/stat : 17465 (java) S 17327 17334 17273 0 -1 1077944384 1 12873 0 0 0 0 5 3 20 0 15 0 54558248 11092176896 41666 33554432000 4194304 4196468 140724100434448 140501758987184 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 10832204 KiB
Current children cumulated memory: 166664 KiB
[startup+3.10989 s]
/proc/loadavg: 2.16 2.04 1.97 4/215 17465
/proc/meminfo: memFree=27046544/32770624 swapFree=67108860/67108860
[pid=17334] ppid=17327 vsize=10842464 memory=250848 CPUtime=7.18 cores=0,2,4,6
/proc/17334/stat : 17334 (java) S 17327 17334 17273 0 -1 1077944320 38803 12873 0 0 696 14 5 3 20 0 15 0 54558231 11102683136 62712 33554432000 4194304 4196468 140724100434448 140724100416992 140502337478391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
/proc/17334/statm: 2710616 62712 3504 1 0 2672269 0
[pid=17334/tid=17439] ppid=17327 vsize=10842464 memory=51 CPUtime=2.97 cores=0,2,4,6
/proc/17334/task/17439/stat : 17439 (java) R 17327 17334 17273 0 -1 4202560 25373 12873 0 0 281 8 5 3 20 0 15 0 54558242 11102683136 62712 33554432000 4194304 4196468 140724100434448 140502309301184 140501950317271 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
################
# More data... #
################
/proc/17334/task/17439/stat : 17439 (java) R 17327 17334 17273 0 -1 4202560 165595 12873 0 0 230875 57 5 3 20 0 15 0 54558242 11178180608 1126944 33554432000 4194304 4196468 140724100434448 140502309313080 140501958793565 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17440] ppid=17327 vsize=10916192 memory=4507776 CPUtime=12.22 cores=0,2,4,6
/proc/17334/task/17440/stat : 17440 (java) S 17327 17334 17273 0 -1 1077944384 25090 12873 0 0 1148 66 5 3 20 0 15 0 54558243 11178180608 1126944 33554432000 4194304 4196468 140724100434448 140502341720464 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17441] ppid=17327 vsize=10916192 memory=4507776 CPUtime=12.24 cores=0,2,4,6
/proc/17334/task/17441/stat : 17441 (java) S 17327 17334 17273 0 -1 1077944384 19226 12873 0 0 1149 67 5 3 20 0 15 0 54558243 11178180608 1126944 33554432000 4194304 4196468 140724100434448 140502273632528 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17443] ppid=17327 vsize=10916192 memory=4507776 CPUtime=12.19 cores=0,2,4,6
/proc/17334/task/17443/stat : 17443 (java) S 17327 17334 17273 0 -1 1077944384 20711 12873 0 0 1143 68 5 3 20 0 15 0 54558243 11178180608 1126944 33554432000 4194304 4196468 140724100434448 140501909375632 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17444] ppid=17327 vsize=10916192 memory=4507776 CPUtime=12.22 cores=0,2,4,6
/proc/17334/task/17444/stat : 17444 (java) S 17327 17334 17273 0 -1 1077944384 26598 12873 0 0 1144 70 5 3 20 0 15 0 54558243 11178180608 1126944 33554432000 4194304 4196468 140724100434448 140501908322832 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17448] ppid=17327 vsize=10916192 memory=4507776 CPUtime=0.48 cores=0,2,4,6
/proc/17334/task/17448/stat : 17448 (java) S 17327 17334 17273 0 -1 1077944384 51921 12873 0 0 33 7 5 3 20 0 15 0 54558244 11178180608 1126944 33554432000 4194304 4196468 140724100434448 140501796756080 140502337489538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17450] ppid=17327 vsize=10916192 memory=4507776 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17450/stat : 17450 (java) S 17327 17334 17273 0 -1 1077944384 47 12873 0 0 0 0 5 3 20 0 15 0 54558245 11178180608 1126944 33554432000 4194304 4196468 140724100434448 140501795702176 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17452] ppid=17327 vsize=10916192 memory=4507776 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17452/stat : 17452 (java) S 17327 17334 17273 0 -1 1077944384 27 12873 0 0 0 0 5 3 20 0 15 0 54558245 11178180608 1126944 33554432000 4194304 4196468 140724100434448 140501198038656 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17455] ppid=17327 vsize=10916192 memory=4507776 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17455/stat : 17455 (java) S 17327 17334 17273 0 -1 1077944384 3 12873 0 0 0 0 5 3 20 0 15 0 54558248 11178180608 1126944 33554432000 4194304 4196468 140724100434448 140500890638928 140502337496987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17457] ppid=17327 vsize=10916192 memory=4028 CPUtime=9.78 cores=0,2,4,6
/proc/17334/task/17457/stat : 17457 (java) S 17327 17334 17273 0 -1 1077944384 77094 12873 0 0 963 7 5 3 20 0 15 0 54558248 11178180608 1126944 33554432000 4194304 4196468 140724100434448 140501762144368 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17458] ppid=17327 vsize=10916192 memory=4507776 CPUtime=10.53 cores=0,2,4,6
/proc/17334/task/17458/stat : 17458 (java) S 17327 17334 17273 0 -1 1077944384 73670 12873 0 0 1038 7 5 3 20 0 15 0 54558248 11178180608 1126944 33554432000 4194304 4196468 140724100434448 140501761091568 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17460] ppid=17327 vsize=10916192 memory=928 CPUtime=2.85 cores=0,2,4,6
/proc/17334/task/17460/stat : 17460 (java) S 17327 17334 17273 0 -1 1077944384 61088 12873 0 0 269 8 5 3 20 0 15 0 54558248 11178180608 1126944 33554432000 4194304 4196468 140724100434448 140501760039280 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17463] ppid=17327 vsize=10916192 memory=4507776 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17463/stat : 17463 (java) S 17327 17334 17273 0 -1 1077944384 3 12873 0 0 0 0 5 3 20 0 15 0 54558248 11178180608 1126944 33554432000 4194304 4196468 140724100434448 140500857080288 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17465] ppid=17327 vsize=10916192 memory=1236 CPUtime=1.21 cores=0,2,4,6
/proc/17334/task/17465/stat : 17465 (java) S 17327 17334 17273 0 -1 1077944384 2177 12873 0 0 57 56 5 3 20 0 15 0 54558248 11178180608 1126944 33554432000 4194304 4196468 140724100434448 140501758987184 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
Current children cumulated CPU time: 2382.5 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 4507776 KiB
[startup+2382.3 s]
/proc/loadavg: 1.81 1.71 1.75 4/215 17540
/proc/meminfo: memFree=22190172/32770624 swapFree=67108860/67108860
[pid=17334] ppid=17327 vsize=10916192 memory=4524468 CPUtime=2442.79 cores=0,2,4,6
/proc/17334/stat : 17334 (java) S 17327 17334 17273 0 -1 1077944320 529609 12873 0 0 243863 408 5 3 20 0 15 0 54558231 11178180608 1131117 33554432000 4194304 4196468 140724100434448 140724100416992 140502337478391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
/proc/17334/statm: 2729048 1131117 3538 1 0 2690701 0
[pid=17334/tid=17439] ppid=17327 vsize=10916192 memory=4524468 CPUtime=2369.3 cores=0,2,4,6
/proc/17334/task/17439/stat : 17439 (java) R 17327 17334 17273 0 -1 4202560 167730 12873 0 0 236865 57 5 3 20 0 15 0 54558242 11178180608 1131117 33554432000 4194304 4196468 140724100434448 140502309313744 140501946130368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17440] ppid=17327 vsize=10916192 memory=4524468 CPUtime=12.3 cores=0,2,4,6
/proc/17334/task/17440/stat : 17440 (java) S 17327 17334 17273 0 -1 1077944384 25602 12873 0 0 1156 66 5 3 20 0 15 0 54558243 11178180608 1131117 33554432000 4194304 4196468 140724100434448 140502341720464 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17441] ppid=17327 vsize=10916192 memory=4524468 CPUtime=12.33 cores=0,2,4,6
/proc/17334/task/17441/stat : 17441 (java) S 17327 17334 17273 0 -1 1077944384 19349 12873 0 0 1157 68 5 3 20 0 15 0 54558243 11178180608 1131117 33554432000 4194304 4196468 140724100434448 140502273632528 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17443] ppid=17327 vsize=10916192 memory=4524468 CPUtime=12.28 cores=0,2,4,6
/proc/17334/task/17443/stat : 17443 (java) S 17327 17334 17273 0 -1 1077944384 21640 12873 0 0 1152 68 5 3 20 0 15 0 54558243 11178180608 1131117 33554432000 4194304 4196468 140724100434448 140501909375632 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17444] ppid=17327 vsize=10916192 memory=4524468 CPUtime=12.32 cores=0,2,4,6
/proc/17334/task/17444/stat : 17444 (java) S 17327 17334 17273 0 -1 1077944384 26860 12873 0 0 1153 71 5 3 20 0 15 0 54558243 11178180608 1131117 33554432000 4194304 4196468 140724100434448 140501908322832 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17448] ppid=17327 vsize=10916192 memory=4524468 CPUtime=0.48 cores=0,2,4,6
/proc/17334/task/17448/stat : 17448 (java) S 17327 17334 17273 0 -1 1077944384 52089 12873 0 0 33 7 5 3 20 0 15 0 54558244 11178180608 1131117 33554432000 4194304 4196468 140724100434448 140501796756080 140502337489538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17450] ppid=17327 vsize=10916192 memory=4524468 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17450/stat : 17450 (java) S 17327 17334 17273 0 -1 1077944384 47 12873 0 0 0 0 5 3 20 0 15 0 54558245 11178180608 1131117 33554432000 4194304 4196468 140724100434448 140501795702176 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17452] ppid=17327 vsize=10916192 memory=4524468 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17452/stat : 17452 (java) S 17327 17334 17273 0 -1 1077944384 27 12873 0 0 0 0 5 3 20 0 15 0 54558245 11178180608 1131117 33554432000 4194304 4196468 140724100434448 140501198038656 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17455] ppid=17327 vsize=10916192 memory=4028 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17455/stat : 17455 (java) S 17327 17334 17273 0 -1 1077944384 3 12873 0 0 0 0 5 3 20 0 15 0 54558248 11178180608 1131117 33554432000 4194304 4196468 140724100434448 140500890638928 140502337496987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17457] ppid=17327 vsize=10916192 memory=4524468 CPUtime=9.78 cores=0,2,4,6
/proc/17334/task/17457/stat : 17457 (java) S 17327 17334 17273 0 -1 1077944384 77097 12873 0 0 963 7 5 3 20 0 15 0 54558248 11178180608 1131117 33554432000 4194304 4196468 140724100434448 140501762144368 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17458] ppid=17327 vsize=10916192 memory=15872 CPUtime=10.53 cores=0,2,4,6
/proc/17334/task/17458/stat : 17458 (java) S 17327 17334 17273 0 -1 1077944384 73672 12873 0 0 1038 7 5 3 20 0 15 0 54558248 11178180608 1131117 33554432000 4194304 4196468 140724100434448 140501761091568 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17460] ppid=17327 vsize=10916192 memory=4524468 CPUtime=2.85 cores=0,2,4,6
/proc/17334/task/17460/stat : 17460 (java) S 17327 17334 17273 0 -1 1077944384 61090 12873 0 0 269 8 5 3 20 0 15 0 54558248 11178180608 1131117 33554432000 4194304 4196468 140724100434448 140501760039280 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17463] ppid=17327 vsize=10916192 memory=4524468 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17463/stat : 17463 (java) S 17327 17334 17273 0 -1 1077944384 3 12873 0 0 0 0 5 3 20 0 15 0 54558248 11178180608 1131117 33554432000 4194304 4196468 140724100434448 140500857080288 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17465] ppid=17327 vsize=10916192 memory=4524468 CPUtime=1.23 cores=0,2,4,6
/proc/17334/task/17465/stat : 17465 (java) S 17327 17334 17273 0 -1 1077944384 2208 12873 0 0 58 57 5 3 20 0 15 0 54558248 11178180608 1131117 33554432000 4194304 4196468 140724100434448 140501758987184 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
Current children cumulated CPU time: 2442.79 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 4524468 KiB
[startup+2442.3 s]
/proc/loadavg: 1.75 1.71 1.75 4/215 17541
/proc/meminfo: memFree=22131216/32770624 swapFree=67108860/67108860
[pid=17334] ppid=17327 vsize=10916192 memory=4588556 CPUtime=2503.09 cores=0,2,4,6
/proc/17334/stat : 17334 (java) S 17327 17334 17273 0 -1 1077944320 533665 12873 0 0 249886 415 5 3 20 0 15 0 54558231 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140724100416992 140502337478391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
/proc/17334/statm: 2729048 1147139 3538 1 0 2690701 0
[pid=17334/tid=17439] ppid=17327 vsize=10916192 memory=4588556 CPUtime=2429.21 cores=0,2,4,6
/proc/17334/task/17439/stat : 17439 (java) R 17327 17334 17273 0 -1 4202560 169884 12873 0 0 242855 58 5 3 20 0 15 0 54558242 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140502309314000 140501944104256 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17440] ppid=17327 vsize=10916192 memory=4524468 CPUtime=12.4 cores=0,2,4,6
/proc/17334/task/17440/stat : 17440 (java) S 17327 17334 17273 0 -1 1077944384 25679 12873 0 0 1164 68 5 3 20 0 15 0 54558243 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140502341720464 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17441] ppid=17327 vsize=10916192 memory=4524468 CPUtime=12.42 cores=0,2,4,6
/proc/17334/task/17441/stat : 17441 (java) S 17327 17334 17273 0 -1 1077944384 19807 12873 0 0 1165 69 5 3 20 0 15 0 54558243 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140502273632528 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17443] ppid=17327 vsize=10916192 memory=4524468 CPUtime=12.38 cores=0,2,4,6
/proc/17334/task/17443/stat : 17443 (java) S 17327 17334 17273 0 -1 1077944384 22226 12873 0 0 1160 70 5 3 20 0 15 0 54558243 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501909375632 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17444] ppid=17327 vsize=10916192 memory=4524468 CPUtime=12.41 cores=0,2,4,6
/proc/17334/task/17444/stat : 17444 (java) S 17327 17334 17273 0 -1 1077944384 27436 12873 0 0 1161 72 5 3 20 0 15 0 54558243 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501908322832 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17448] ppid=17327 vsize=10916192 memory=4588556 CPUtime=0.48 cores=0,2,4,6
/proc/17334/task/17448/stat : 17448 (java) S 17327 17334 17273 0 -1 1077944384 52267 12873 0 0 33 7 5 3 20 0 15 0 54558244 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501796756080 140502337489538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17450] ppid=17327 vsize=10916192 memory=4588556 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17450/stat : 17450 (java) S 17327 17334 17273 0 -1 1077944384 47 12873 0 0 0 0 5 3 20 0 15 0 54558245 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501795702176 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17452] ppid=17327 vsize=10916192 memory=4588556 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17452/stat : 17452 (java) S 17327 17334 17273 0 -1 1077944384 27 12873 0 0 0 0 5 3 20 0 15 0 54558245 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501198038656 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17455] ppid=17327 vsize=10916192 memory=4588556 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17455/stat : 17455 (java) S 17327 17334 17273 0 -1 1077944384 3 12873 0 0 0 0 5 3 20 0 15 0 54558248 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140500890638928 140502337496987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17457] ppid=17327 vsize=10916192 memory=4524468 CPUtime=9.78 cores=0,2,4,6
/proc/17334/task/17457/stat : 17457 (java) S 17327 17334 17273 0 -1 1077944384 77099 12873 0 0 963 7 5 3 20 0 15 0 54558248 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501762144368 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17458] ppid=17327 vsize=10916192 memory=4028 CPUtime=10.53 cores=0,2,4,6
/proc/17334/task/17458/stat : 17458 (java) S 17327 17334 17273 0 -1 1077944384 73675 12873 0 0 1038 7 5 3 20 0 15 0 54558248 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501761091568 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17460] ppid=17327 vsize=10916192 memory=4588556 CPUtime=2.85 cores=0,2,4,6
/proc/17334/task/17460/stat : 17460 (java) S 17327 17334 17273 0 -1 1077944384 61092 12873 0 0 269 8 5 3 20 0 15 0 54558248 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501760039280 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17463] ppid=17327 vsize=10916192 memory=4588556 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17463/stat : 17463 (java) S 17327 17334 17273 0 -1 1077944384 3 12873 0 0 0 0 5 3 20 0 15 0 54558248 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140500857080288 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17465] ppid=17327 vsize=10916192 memory=6791534058613427641 CPUtime=1.26 cores=0,2,4,6
/proc/17334/task/17465/stat : 17465 (java) S 17327 17334 17273 0 -1 1077944384 2228 12873 0 0 59 59 5 3 20 0 15 0 54558248 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501758987184 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
Current children cumulated CPU time: 2503.09 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 4588556 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2459.2 s]
/proc/loadavg: 1.88 1.75 1.76 4/216 17549
/proc/meminfo: memFree=22129960/32770624 swapFree=67108860/67108860
[pid=17334] ppid=17327 vsize=10916192 memory=4588556 CPUtime=2520 cores=0,2,4,6
/proc/17334/stat : 17334 (java) S 17327 17334 17273 0 -1 1077944320 534405 12873 0 0 251576 416 5 3 20 0 15 0 54558231 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140724100416992 140502337478391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
/proc/17334/statm: 2729048 1147139 3538 1 0 2690701 0
[pid=17334/tid=17439] ppid=17327 vsize=10916192 memory=6656426216303648864 CPUtime=2446.1 cores=0,2,4,6
/proc/17334/task/17439/stat : 17439 (java) R 17327 17334 17273 0 -1 4202560 170624 12873 0 0 244544 58 5 3 20 0 15 0 54558242 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140502309314000 140501958794105 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17440] ppid=17327 vsize=10916192 memory=0 CPUtime=12.4 cores=0,2,4,6
/proc/17334/task/17440/stat : 17440 (java) S 17327 17334 17273 0 -1 1077944384 25679 12873 0 0 1164 68 5 3 20 0 15 0 54558243 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140502341720464 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17441] ppid=17327 vsize=10916192 memory=6944656592455097440 CPUtime=12.42 cores=0,2,4,6
/proc/17334/task/17441/stat : 17441 (java) S 17327 17334 17273 0 -1 1077944384 19807 12873 0 0 1165 69 5 3 20 0 15 0 54558243 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140502273632528 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17443] ppid=17327 vsize=10916192 memory=-4546129931942301828 CPUtime=12.38 cores=0,2,4,6
/proc/17334/task/17443/stat : 17443 (java) S 17327 17334 17273 0 -1 1077944384 22226 12873 0 0 1160 70 5 3 20 0 15 0 54558243 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501909375632 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17444] ppid=17327 vsize=10916192 memory=17552 CPUtime=12.41 cores=0,2,4,6
/proc/17334/task/17444/stat : 17444 (java) S 17327 17334 17273 0 -1 1077944384 27436 12873 0 0 1161 72 5 3 20 0 15 0 54558243 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501908322832 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17448] ppid=17327 vsize=10916192 memory=1296 CPUtime=0.48 cores=0,2,4,6
/proc/17334/task/17448/stat : 17448 (java) S 17327 17334 17273 0 -1 1077944384 52267 12873 0 0 33 7 5 3 20 0 15 0 54558244 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501796756080 140502337489538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17450] ppid=17327 vsize=10916192 memory=2428 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17450/stat : 17450 (java) S 17327 17334 17273 0 -1 1077944384 47 12873 0 0 0 0 5 3 20 0 15 0 54558245 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501795702176 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17452] ppid=17327 vsize=10916192 memory=5520 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17452/stat : 17452 (java) S 17327 17334 17273 0 -1 1077944384 27 12873 0 0 0 0 5 3 20 0 15 0 54558245 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501198038656 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17455] ppid=17327 vsize=10916192 memory=792 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17455/stat : 17455 (java) S 17327 17334 17273 0 -1 1077944384 3 12873 0 0 0 0 5 3 20 0 15 0 54558248 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140500890638928 140502337496987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17457] ppid=17327 vsize=10916192 memory=1228 CPUtime=9.78 cores=0,2,4,6
/proc/17334/task/17457/stat : 17457 (java) S 17327 17334 17273 0 -1 1077944384 77099 12873 0 0 963 7 5 3 20 0 15 0 54558248 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501762144368 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17458] ppid=17327 vsize=10916192 memory=1944 CPUtime=10.53 cores=0,2,4,6
/proc/17334/task/17458/stat : 17458 (java) S 17327 17334 17273 0 -1 1077944384 73675 12873 0 0 1038 7 5 3 20 0 15 0 54558248 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501761091568 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17460] ppid=17327 vsize=10916192 memory=1416 CPUtime=2.85 cores=0,2,4,6
/proc/17334/task/17460/stat : 17460 (java) S 17327 17334 17273 0 -1 1077944384 61092 12873 0 0 269 8 5 3 20 0 15 0 54558248 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501760039280 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17463] ppid=17327 vsize=10916192 memory=4612 CPUtime=0.08 cores=0,2,4,6
/proc/17334/task/17463/stat : 17463 (java) S 17327 17334 17273 0 -1 1077944384 3 12873 0 0 0 0 5 3 20 0 15 0 54558248 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140500857080288 140502337488597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
[pid=17334/tid=17465] ppid=17327 vsize=10916192 memory=8376 CPUtime=1.27 cores=0,2,4,6
/proc/17334/task/17465/stat : 17465 (java) S 17327 17334 17273 0 -1 1077944384 2228 12873 0 0 60 59 5 3 20 0 15 0 54558248 11178180608 1147139 33554432000 4194304 4196468 140724100434448 140501758987184 140502337489538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140724100442284 140724100445532 140724100445532 140724100448207 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 4588556 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2459.24 s]
# the end of solver process 17334 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.84 s, system=4.22142 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2459.24
CPU time (s): 2520.06
CPU user time (s): 2515.84
CPU system time (s): 4.22142
CPU usage (%): 102.473
Max. virtual memory (cumulated for all children) (KiB): 10918908
Max. memory (cumulated for all children) (KiB): 4588556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.84
system time used= 4.22142
maximum resident set size= 4592788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 548036
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65558
involuntary context switches= 3404
# summary of solver processes directly reported to runsolver:
# pid: 17334
# total CPU time (s): 2520.06
# total CPU user time (s): 2515.84
# total CPU system time (s): 4.22142
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5537 second user time and 23.3352 second system time
The end
Begin job on node151 at 2018-07-23 20:19:10 IDJOB=4293838 IDBENCH=141244 IDSOLVER=2751 FILE ID=node151/4293838-1532369950 RUNJOBID= node151-1532369950-17304 PBS_JOBID= 21021572 Free space on /tmp= 55072 MiB SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13 BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko72_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-4293838-1532369950/watcher-4293838-1532369950 -o /tmp/evaluation-result-4293838-1532369950/solver-4293838-1532369950 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17304 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=354827468 -superng HOME/instance-4293838-1532369950.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 69672b68d8d3f9201b488571cf4784d4 RANDOM SEED=354827468 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: 27505116 kB MemAvailable: 31954972 kB Buffers: 138060 kB Cached: 4553864 kB SwapCached: 0 kB Active: 932388 kB Inactive: 3813732 kB Active(anon): 4916 kB Inactive(anon): 69336 kB Active(file): 927472 kB Inactive(file): 3744396 kB Unevictable: 7824 kB Mlocked: 7824 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 52612 kB Writeback: 0 kB AnonPages: 62604 kB Mapped: 36912 kB Shmem: 17032 kB Slab: 214568 kB SReclaimable: 187644 kB SUnreclaim: 26924 kB KernelStack: 3104 kB PageTables: 5592 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 319516 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 55020 MiB End job on node151 at 2018-07-23 21:00:10