Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.9.2 | SAT (TO) | 37704 | 2520.33 | 2491.11 |
| 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 |
1.00/0.73 c Concrete v3.9.2.1532736233296 running 473.40/457.54 o 38052 473.68/457.65 o 37854 473.68/457.69 o 37783 474.26/457.81 o 37704 2520.22/2491.09 Exception in thread "main" java.util.concurrent.TimeoutException 2520.22/2491.09 at concrete.MAC.mac(MAC.scala:188) 2520.22/2491.09 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.22/2491.09 at scala.util.Try$.apply(Try.scala:209) 2520.22/2491.09 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.22/2491.09 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.22/2491.09 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.22/2491.09 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.22/2491.09 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.22/2491.09 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.22/2491.09 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.22/2491.09 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.22/2491.09 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.22/2491.09 at concrete.MAC.oneRun(MAC.scala:253) 2520.22/2491.09 at concrete.MAC.nextSolution(MAC.scala:272) 2520.22/2491.09 at concrete.MAC.nextSolution(MAC.scala:355) 2520.22/2491.09 at concrete.Solver.hasNext(Solver.scala:166) 2520.22/2491.09 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.22/2491.09 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.22/2491.09 at concrete.Solver.foreach(Solver.scala:68) 2520.22/2491.09 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.22/2491.09 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.22/2491.09 at scala.util.Success.map(Try.scala:209) 2520.22/2491.09 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.22/2491.09 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.22/2491.09 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.22/2491.09 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.22/2491.09 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.22/2491.09 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.22/2491.09 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.22/2491.09 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.22/2491.09 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.22/2491.09 at scala.collection.immutable.List.foreach(List.scala:389) 2520.22/2491.09 at scala.App.main(App.scala:76) 2520.22/2491.09 at scala.App.main$(App.scala:74) 2520.22/2491.09 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.22/2491.09 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.22/2491.10 v <instantiation cost="37704"> 2520.22/2491.10 v <list> 2520.22/2491.10 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.22/2491.10 v </list> 2520.22/2491.10 v <values> 2520.22/2491.10 v 39 8 38 31 47 5 0 63 41 23 27 24 4 29 21 43 55 2 66 62 53 32 45 9 26 54 34 7 1 37 58 59 57 6 46 67 30 20 69 17 12 64 49 51 52 33 16 28 13 11 68 18 42 25 10 61 19 70 48 44 22 40 65 50 36 3 56 71 14 15 35 60 10 0 2 10 1 6 0 10 1 10 1 2 1 2 10 0 1 3 3 2 10 2 1 1 5 1 2 5 6 2 0 10 0 4 2 0 5 1 2 2 0 0 2 0 2 0 5 1 0 0 0 0 2 2 0 0 10 2 10 0 5 5 2 1 2 0 0 10 0 0 2 10 2 2 4 0 1 4 0 5 5 1 2 2 1 5 0 10 5 0 3 1 1 0 10 1 2 0 5 5 2 0 0 0 5 1 0 4 0 0 2 10 0 0 10 2 5 2 1 0 6 2 4 0 5 4 5 5 1 1 1 2 5 0 0 0 5 1 4 1 5 10 5 5 0 2 1 5 5 0 2 5 0 5 5 2 5 10 5 5 0 0 1 1 2 0 0 0 1 2 0 0 1 5 1 0 3 10 5 5 0 5 5 2 10 0 0 0 5 5 5 0 0 1 5 2 10 0 1 0 2 0 1 1 5 2 0 10 5 5 5 1 10 0 1 0 0 1 0 5 10 0 1 1 0 5 2 0 2 0 0 6 0 5 10 0 5 0 2 5 10 5 1 2 5 0 4 0 0 5 1 0 1 0 1 2 2 1 5 1 3 0 5 2 0 2 1 10 5 1 4 0 2 0 2 3 5 0 0 0 10 10 0 5 5 0 4 0 0 0 0 0 5 10 5 0 5 0 2 0 5 0 5 0 0 4 2 1 4 2 1 0 5 6 0 5 0 0 1 0 1 4 0 2 10 0 2 5 2 0 0 10 1 10 0 0 1 5 0 0 5 6 0 5 1 4 0 0 2 0 5 2 4 5 2 1 0 5 4 5 5 10 5 5 3 0 0 0 0 0 2 5 6 1 1 2 5 2 5 5 2 2 2 10 0 2 5 2 1 5 10 10 2 2 0 5 10 2 1 2 3 5 4 0 3 5 5 5 10 10 2 2 0 2 4 1 2 2 10 0 1 2 4 2 0 10 1 2 5 2 5 0 0 6 10 0 2 10 6 5 2 2 0 0 0 0 0 10 2 0 5 10 2 0 1 10 1 10 0 0 2 3 4 5 0 3 5 1 1 10 1 0 0 10 2 3 2 2 1 0 1 0 5 4 2 0 10 1 0 0 2 2 4 0 2 0 0 0 1 10 1 5 2 4 2 2 5 2 0 0 0 2 0 0 5 2 0 5 1 0 1 5 5 10 4 1 1 0 2 10 0 0 5 0 5 0 5 1 2 5 5 0 0 5 5 5 5 6 0 0 5 0 2 5 6 1 2 10 0 5 0 2 6 4 0 3 3 5 2 2 0 1 0 3 10 0 0 0 0 0 2 2 0 5 2 2 2 1 2 3 0 0 10 10 10 3 0 10 5 1 2 0 0 5 3 2 1 0 0 2 4 5 1 10 2 1 0 0 5 2 0 4 5 0 0 0 3 5 5 0 1 1 0 3 0 0 5 1 10 1 0 2 5 0 5 10 4 5 1 10 0 0 2 5 5 2 0 0 2 2 1 2 0 2 4 5 0 5 5 2 4 5 2 10 5 3 5 5 5 2 5 2 5 0 5 0 0 0 0 3 0 2 10 1 3 1 0 5 0 0 5 5 5 1 1 0 2 10 0 3 5 0 5 0 5 2 1 2 2 0 0 0 0 0 1 5 5 5 0 0 1 6 0 1 0 5 3 0 3 2 0 1 3 5 5 0 0 0 1 1 5 2 10 0 10 1 6 2 0 3 0 2 2 5 10 5 0 1 10 2 1 5 2 5 2 0 10 0 5 10 0 0 2 0 5 0 0 6 5 0 1 5 2 5 5 5 5 0 1 0 0 0 0 2 1 5 0 0 1 3 5 0 3 5 2 2 5 3 3 2 2 0 0 1 5 3 2 2 2 3 0 2 10 0 5 3 0 0 5 5 5 5 0 2 0 3 2 5 0 2 0 2 0 5 2 10 2 0 5 0 5 5 0 0 10 1 1 2 5 10 0 5 5 0 4 0 2 5 0 0 0 1 2 1 1 0 5 5 1 0 2 1 0 0 0 5 0 10 3 0 2 0 2 1 1 5 5 10 2 10 10 0 0 10 10 2 5 2 2 10 1 0 5 2 2 5 5 0 1 10 5 0 6 2 5 0 10 3 2 0 2 5 0 2 0 5 2 0 5 0 0 0 1 0 0 6 5 1 0 0 0 1 10 3 2 5 0 2 3 10 2 5 2 5 0 0 5 2 5 2 1 1 0 0 1 5 2 0 0 3 2 10 5 5 0 4 0 10 0 5 5 10 4 1 5 5 5 10 0 0 10 1 0 0 5 0 10 1 6 5 3 1 10 5 0 2 0 0 3 1 1 2 0 0 5 0 0 0 10 1 2 5 1 1 5 0 4 5 2 1 0 0 10 0 1 1 1 0 1 0 0 2 2 0 0 2 5 5 4 1 5 1 2 2 1 6 2 1 5 0 0 1 2 1 0 0 0 5 0 0 5 0 0 1 5 2 5 5 5 1 0 0 0 5 0 10 0 2 0 5 2 5 5 0 5 1 0 5 0 0 5 2 2 5 3 0 5 5 10 1 1 1 5 2 2 0 0 5 0 0 5 4 5 5 5 5 1 5 10 0 1 0 5 0 2 5 2 0 2 2 3 2 1 5 0 1 3 0 2 0 3 1 0 2 0 10 0 4 1 10 4 1 0 2 2 3 1 0 5 0 10 5 2 0 2 1 0 2 6 5 10 6 2 1 2 2 0 1 3 0 10 0 1 10 0 5 0 0 0 2 0 1 10 1 0 3 5 0 0 0 5 5 1 10 3 0 10 1 1 1 1 0 0 0 2 0 0 0 2 0 2 0 1 0 0 2 2 0 0 5 3 0 2 0 5 2 2 0 5 0 2 5 5 0 0 1 5 0 5 2 0 10 2 1 5 5 1 2 0 2 2 5 4 4 4 0 1 5 0 1 5 2 2 0 1 5 3 0 0 2 0 1 3 2 1 1 2 5 0 5 1 0 0 2 5 0 2 2 2 2 0 5 2 2 4 0 0 10 10 2 1 10 0 0 2 5 0 5 10 10 5 0 0 0 0 5 3 1 10 5 0 2 0 10 1 4 5 5 5 2 3 1 6 5 2 0 4 0 5 2 0 10 5 10 5 2 0 5 0 5 5 2 2 2 10 2 10 5 5 4 1 2 5 0 5 6 0 2 1 3 0 0 1 2 5 5 5 0 0 0 0 0 2 4 0 2 2 2 1 2 2 4 10 1 10 0 3 10 0 0 0 6 5 2 5 2 0 1 0 2 5 2 0 3 5 2 0 5 4 0 0 2 0 1 5 5 0 4 1 0 0 0 5 1 6 5 0 0 10 5 5 0 4 0 2 2 5 0 0 1 1 1 2 0 2 3 0 2 1 1 5 0 1 2 5 5 1 2 1 5 5 5 2 5 10 10 0 5 5 5 2 5 5 10 1 5 2 0 5 0 0 5 0 5 0 1 2 1 5 1 5 0 4 5 0 0 5 2 4 2 4 0 6 5 2 0 2 0 5 0 0 2 0 0 0 1 5 2 5 1 0 2 2 3 5 2 0 4 2 0 4 0 2 2 10 5 2 0 0 2 5 4 1 1 2 2 0 1 2 0 0 5 0 5 2 1 5 2 3 0 10 3 1 1 2 2 5 5 10 3 2 4 1 1 10 2 10 5 2 0 5 5 0 0 5 2 0 0 1 5 2 0 1 0 2 10 0 3 5 0 0 6 1 5 10 6 5 0 1 1 0 3 5 2 5 5 2 1 6 1 0 2 1 3 0 5 0 0 1 5 5 10 2 2 2 2 10 0 0 4 0 2 0 0 4 0 1 2 0 0 1 0 2 0 10 5 5 3 2 1 6 0 5 2 0 2 1 1 5 5 5 5 10 1 5 2 2 0 5 2 5 0 0 2 2 5 3 5 3 5 10 2 2 6 6 5 0 2 2 4 0 1 1 3 3 0 2 5 0 0 3 2 5 6 4 0 2 0 0 0 5 2 0 5 0 2 4 0 4 0 5 3 2 2 3 2 0 0 1 2 0 1 2 10 10 0 0 1 3 10 4 0 0 2 10 10 3 5 0 0 0 5 0 0 0 2 0 2 5 0 0 5 3 2 0 1 10 0 4 0 2 3 2 0 0 0 0 0 10 10 0 10 0 3 2 1 1 1 5 1 5 0 5 2 6 2 6 0 5 10 0 10 0 0 1 1 5 0 0 1 5 10 0 1 4 5 5 2 2 5 0 10 5 0 2 4 0 1 0 0 2 3 1 5 0 0 0 5 1 1 3 0 1 2 5 10 1 2 0 0 2 2 10 5 0 1 10 5 2 2 5 0 2 5 5 5 5 1 5 0 4 5 5 5 0 6 5 5 5 2 1 0 1 2 5 2 0 0 0 5 0 5 2 1 0 0 3 0 2 0 5 5 10 1 1 5 6 2 0 5 5 10 0 1 2 2 10 5 2 1 2 5 2 0 0 0 5 5 0 4 1 3 0 5 0 10 3 0 0 3 2 2 2 0 2 1 0 1 6 0 0 2 0 3 0 0 4 0 10 5 4 5 0 0 2 2 0 4 2 0 0 0 6 0 5 5 1 2 0 2 2 2 1 10 1 0 0 0 5 2 1 0 5 2 0 0 5 2 0 2 1 2 5 2 1 0 5 10 0 2 3 5 0 0 5 3 0 2 0 0 5 5 1 10 0 10 5 1 4 1 0 0 2 10 2 2 5 10 0 5 2 1 0 0 0 5 5 0 2 3 5 5 2 2 2 0 0 5 0 10 10 2 10 0 5 2 0 0 10 5 5 0 0 2 0 0 5 1 5 5 5 1 10 0 0 3 2 3 5 2 6 2 1 1 0 4 5 0 0 6 2 3 10 0 1 0 5 2 0 5 0 0 5 0 1 3 5 0 0 0 5 0 5 0 2 5 0 1 0 5 0 5 0 0 0 0 1 4 1 2 2 0 0 0 1 2 5 0 2 0 5 4 5 4 2 1 5 0 1 2 0 4 0 1 2 0 1 0 5 10 0 1 0 0 3 5 0 2 4 0 2 5 0 0 2 0 1 1 5 10 5 5 2 4 6 4 3 6 1 0 3 2 10 1 4 5 10 1 2 5 5 0 0 1 5 0 2 0 0 0 0 2 2 5 5 0 0 4 4 4 2 10 0 1 5 0 4 0 0 1 5 2 0 2 0 5 0 0 0 0 5 0 5 5 1 0 0 10 3 0 0 1 2 3 1 2 6 0 0 5 5 2 4 10 1 5 4 0 3 0 2 10 5 5 5 0 5 2 4 1 5 10 3 2 1 0 5 2 5 0 5 5 10 0 0 2 2 4 2 1 0 10 5 4 1 5 5 2 10 0 1 1 5 0 0 5 2 0 0 0 1 2 5 0 0 2 5 5 5 5 5 5 10 10 5 5 0 10 3 2 0 1 6 5 1 5 1 0 1 5 5 0 5 2 0 0 5 0 1 10 5 10 0 1 0 10 2 5 6 0 10 5 2 2 10 0 2 5 10 0 2 5 5 0 2 0 0 5 2 10 0 2 5 2 2 0 5 2 5 0 5 0 1 0 5 5 2 5 0 0 5 0 2 0 10 0 5 1 1 0 2 2 2 2 10 2 0 5 10 0 5 0 2 0 0 1 3 4 10 10 4 1 5 10 0 5 5 5 2 10 10 0 5 5 10 3 5 4 5 0 10 5 0 10 5 10 10 2 1 10 1 0 1 5 10 1 10 0 0 5 0 10 5 4 5 10 2520.22/2491.10 v </values> 2520.22/2491.10 v </instantiation> 2520.22/2491.10 s SATISFIABLE
OK 37704
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 (6187 MiB free)
memory of node 1: 16384 MiB (9404 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304391-1534074813/watcher-4304391-1534074813 -o /tmp/evaluation-result-4304391-1534074813/solver-4304391-1534074813 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534062308-9592 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=404803069 HOME/instance-4304391-1534074813.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11823, runsolver pid=11820
[startup+0.10014 s]*
/proc/loadavg: 1.57 1.63 1.66 3/206 11880
/proc/meminfo: memFree=15957876/32770624 swapFree=67108504/67108860
[pid=11823] ppid=11820 vsize=10005480 memory=17340 CPUtime=0.09 cores=1,3,5,7
/proc/11823/stat : 11823 (java) S 11820 11823 9560 0 -1 1077944320 4461 12992 0 0 1 0 5 3 20 0 6 0 225044473 10245611520 4335 33554432000 4194304 4196468 140724763621296 140724763603840 139787768889079 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
/proc/11823/statm: 2501370 4335 1957 1 0 2489808 0
[pid=11823/tid=11876] ppid=11820 vsize=10088124 memory=4279135703913103502 CPUtime=0.09 cores=1,3,5,7
/proc/11823/task/11876/stat : 11876 (java) R 11820 11823 9560 0 -1 4202560 2386 12992 0 0 1 0 5 3 20 0 7 0 225044482 10330238976 4401 33554432000 4194304 4196468 140724763621296 139787740732176 139787768911005 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11877] ppid=11820 vsize=10088124 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11877/stat : 11877 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 7 0 225044483 10330238976 4401 33554432000 4194304 4196468 140724763621296 139787773131024 139787768899285 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11878] ppid=11820 vsize=10088124 memory=140708883187328 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11878/stat : 11878 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 7 0 225044483 10330238976 4401 33554432000 4194304 4196468 140724763621296 139787638466960 139787768899285 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11879] ppid=11820 vsize=10088124 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11879/stat : 11879 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 7 0 225044483 10330238976 4401 33554432000 4194304 4196468 140724763621296 139787637414416 139787768899285 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11880] ppid=11820 vsize=10088124 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11880/stat : 11880 (java) S 11820 11823 9560 0 -1 1077944384 2 12992 0 0 0 0 5 3 20 0 7 0 225044483 10330238976 4401 33554432000 4194304 4196468 140724763621296 139787636361872 139787768899285 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11881] ppid=11820 vsize=10088124 memory=140708883187328 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11881/stat : 11881 (java) S 11820 11823 9560 0 -1 1077944384 2 12992 0 0 0 0 5 3 20 0 7 0 225044484 10330238976 4401 33554432000 4194304 4196468 140724763621296 139787194100208 139787768900226 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17340 KiB
[startup+0.209799 s]*
/proc/loadavg: 1.57 1.63 1.66 3/215 11889
/proc/meminfo: memFree=15933796/32770624 swapFree=67108504/67108860
[pid=11823] ppid=11820 vsize=10985364 memory=48680 CPUtime=0.27 cores=1,3,5,7
/proc/11823/stat : 11823 (java) S 11820 11823 9560 0 -1 1077944320 8742 12992 0 0 17 2 5 3 20 0 15 0 225044473 11249012736 12520 33554432000 4194304 4196468 140724763621296 140724763603840 139787768889079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
/proc/11823/statm: 2746341 12381 2949 1 0 2708764 0
[pid=11823/tid=11876] ppid=11820 vsize=10982776 memory=-6517102902069810590 CPUtime=0.2 cores=1,3,5,7
/proc/11823/task/11876/stat : 11876 (java) R 11820 11823 9560 0 -1 4202560 5806 12992 0 0 11 1 5 3 20 0 15 0 225044482 11246362624 12383 33554432000 4194304 4196468 140724763621296 139787740713888 139787761568797 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11877] ppid=11820 vsize=10982776 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11877/stat : 11877 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044483 11246362624 12383 33554432000 4194304 4196468 140724763621296 139787773131024 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11878] ppid=11820 vsize=10982776 memory=140708883187328 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11878/stat : 11878 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044483 11246362624 12449 33554432000 4194304 4196468 140724763621296 139787638466960 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11879] ppid=11820 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11879/stat : 11879 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044483 11246362624 12449 33554432000 4194304 4196468 140724763621296 139787637414416 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11880] ppid=11820 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11880/stat : 11880 (java) S 11820 11823 9560 0 -1 1077944384 2 12992 0 0 0 0 5 3 20 0 15 0 225044483 11246362624 12449 33554432000 4194304 4196468 140724763621296 139787636361872 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11881] ppid=11820 vsize=10982776 memory=140708883187328 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11881/stat : 11881 (java) S 11820 11823 9560 0 -1 1077944384 2 12992 0 0 0 0 5 3 20 0 15 0 225044484 11246362624 12449 33554432000 4194304 4196468 140724763621296 139787194100208 139787768900226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11882] ppid=11820 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11882/stat : 11882 (java) S 11820 11823 9560 0 -1 1077944384 13 12992 0 0 0 0 5 3 20 0 15 0 225044485 11246362624 12515 33554432000 4194304 4196468 140724763621296 139786569377184 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11883] ppid=11820 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11883/stat : 11883 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044485 11246362624 12515 33554432000 4194304 4196468 140724763621296 139786421528048 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11884] ppid=11820 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11884/stat : 11884 (java) S 11820 11823 9560 0 -1 1077944384 3 12992 0 0 0 0 5 3 20 0 15 0 225044488 11246362624 12515 33554432000 4194304 4196468 140724763621296 139786114128592 139787768907675 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11885] ppid=11820 vsize=10982776 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11823/task/11885/stat : 11885 (java) S 11820 11823 9560 0 -1 1077944384 361 12992 0 0 1 0 5 3 20 0 15 0 225044488 11246362624 12515 33554432000 4194304 4196468 140724763621296 139787193047024 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11886] ppid=11820 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11886/stat : 11886 (java) S 11820 11823 9560 0 -1 1077944384 251 12992 0 0 0 0 5 3 20 0 15 0 225044488 11246329856 12568 33554432000 4194304 4196468 140724763621296 139787191994480 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11887] ppid=11820 vsize=10982744 memory=140708883187328 CPUtime=0.11 cores=1,3,5,7
/proc/11823/task/11887/stat : 11887 (java) S 11820 11823 9560 0 -1 1077944384 610 12992 0 0 3 0 5 3 20 0 15 0 225044488 11246329856 12568 33554432000 4194304 4196468 140724763621296 139787190941936 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11888] ppid=11820 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11888/stat : 11888 (java) S 11820 11823 9560 0 -1 1077944384 3 12992 0 0 0 0 5 3 20 0 15 0 225044488 11246329856 12568 33554432000 4194304 4196468 140724763621296 139785683331680 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11889] ppid=11820 vsize=10982744 memory=140708883187328 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11889/stat : 11889 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044488 11246329856 12568 33554432000 4194304 4196468 140724763621296 139787189889840 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 48680 KiB
[startup+0.310154 s]*
/proc/loadavg: 1.60 1.64 1.67 3/215 11889
/proc/meminfo: memFree=15920276/32770624 swapFree=67108504/67108860
[pid=11823] ppid=11820 vsize=10983192 memory=58148 CPUtime=0.39 cores=1,3,5,7
/proc/11823/stat : 11823 (java) S 11820 11823 9560 0 -1 1077944320 10613 12992 0 0 28 3 5 3 20 0 15 0 225044473 11246788608 14537 33554432000 4194304 4196468 140724763621296 140724763603840 139787768889079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
/proc/11823/statm: 2745798 14537 3068 1 0 2708109 0
[pid=11823/tid=11876] ppid=11820 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/11823/task/11876/stat : 11876 (java) R 11820 11823 9560 0 -1 4202560 7166 12992 0 0 19 2 5 3 20 0 15 0 225044482 11246788608 14537 33554432000 4194304 4196468 140724763621296 139787740701088 139787752075917 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11877] ppid=11820 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11877/stat : 11877 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044483 11246788608 14537 33554432000 4194304 4196468 140724763621296 139787773131024 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11878] ppid=11820 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11878/stat : 11878 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044483 11246788608 14537 33554432000 4194304 4196468 140724763621296 139787638466960 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11879] ppid=11820 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11879/stat : 11879 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044483 11246788608 14537 33554432000 4194304 4196468 140724763621296 139787637414416 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11880] ppid=11820 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11880/stat : 11880 (java) S 11820 11823 9560 0 -1 1077944384 2 12992 0 0 0 0 5 3 20 0 15 0 225044483 11246788608 14537 33554432000 4194304 4196468 140724763621296 139787636361872 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11881] ppid=11820 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11881/stat : 11881 (java) S 11820 11823 9560 0 -1 1077944384 2 12992 0 0 0 0 5 3 20 0 15 0 225044484 11246788608 14537 33554432000 4194304 4196468 140724763621296 139787194100208 139787768900226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11882] ppid=11820 vsize=10983192 memory=140708883187327 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11882/stat : 11882 (java) S 11820 11823 9560 0 -1 1077944384 13 12992 0 0 0 0 5 3 20 0 15 0 225044485 11246788608 14537 33554432000 4194304 4196468 140724763621296 139786569377184 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11883] ppid=11820 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11883/stat : 11883 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044485 11246788608 14537 33554432000 4194304 4196468 140724763621296 139786421528048 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11884] ppid=11820 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11884/stat : 11884 (java) S 11820 11823 9560 0 -1 1077944384 3 12992 0 0 0 0 5 3 20 0 15 0 225044488 11246788608 14537 33554432000 4194304 4196468 140724763621296 139786114128592 139787768907675 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11885] ppid=11820 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11823/task/11885/stat : 11885 (java) S 11820 11823 9560 0 -1 1077944384 362 12992 0 0 1 0 5 3 20 0 15 0 225044488 11246788608 14537 33554432000 4194304 4196468 140724763621296 139787193047024 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11886] ppid=11820 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/11823/task/11886/stat : 11886 (java) S 11820 11823 9560 0 -1 1077944384 251 12992 0 0 1 0 5 3 20 0 15 0 225044488 11246788608 14537 33554432000 4194304 4196468 140724763621296 139787191994480 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11887] ppid=11820 vsize=10983192 memory=140708883187328 CPUtime=0.13 cores=1,3,5,7
/proc/11823/task/11887/stat : 11887 (java) S 11820 11823 9560 0 -1 1077944384 618 12992 0 0 5 0 5 3 20 0 15 0 225044488 11246788608 14537 33554432000 4194304 4196468 140724763621296 139787190941936 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11888] ppid=11820 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11888/stat : 11888 (java) S 11820 11823 9560 0 -1 1077944384 3 12992 0 0 0 0 5 3 20 0 15 0 225044488 11246788608 14537 33554432000 4194304 4196468 140724763621296 139785683331680 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11889] ppid=11820 vsize=10983192 memory=140708883187328 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11889/stat : 11889 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044488 11246788608 14537 33554432000 4194304 4196468 140724763621296 139787189889840 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 58148 KiB
[startup+0.700778 s]
/proc/loadavg: 1.60 1.64 1.67 3/215 11889
/proc/meminfo: memFree=15911468/32770624 swapFree=67108504/67108860
[pid=11823] ppid=11820 vsize=10983192 memory=90852 CPUtime=1 cores=1,3,5,7
/proc/11823/stat : 11823 (java) S 11820 11823 9560 0 -1 1077944320 16730 12992 0 0 87 5 5 3 20 0 15 0 225044473 11246788608 22713 33554432000 4194304 4196468 140724763621296 140724763603840 139787768889079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
/proc/11823/statm: 2745798 22713 3247 1 0 2708109 0
[pid=11823/tid=11876] ppid=11820 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/11823/task/11876/stat : 11876 (java) R 11820 11823 9560 0 -1 4202560 12231 12992 0 0 56 3 5 3 20 0 15 0 225044482 11246788608 22713 33554432000 4194304 4196468 140724763621296 139787740709904 139787750452560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11877] ppid=11820 vsize=10983192 memory=15402158749129768 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11877/stat : 11877 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044483 11246788608 22713 33554432000 4194304 4196468 140724763621296 139787773131024 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11878] ppid=11820 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11878/stat : 11878 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044483 11246788608 22713 33554432000 4194304 4196468 140724763621296 139787638466960 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11879] ppid=11820 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11879/stat : 11879 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044483 11246788608 22713 33554432000 4194304 4196468 140724763621296 139787637414416 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11880] ppid=11820 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11880/stat : 11880 (java) S 11820 11823 9560 0 -1 1077944384 2 12992 0 0 0 0 5 3 20 0 15 0 225044483 11246788608 22713 33554432000 4194304 4196468 140724763621296 139787636361872 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11881] ppid=11820 vsize=10983192 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11881/stat : 11881 (java) S 11820 11823 9560 0 -1 1077944384 5 12992 0 0 0 0 5 3 20 0 15 0 225044484 11246788608 22713 33554432000 4194304 4196468 140724763621296 139787194100208 139787768900226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11882] ppid=11820 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11882/stat : 11882 (java) S 11820 11823 9560 0 -1 1077944384 13 12992 0 0 0 0 5 3 20 0 15 0 225044485 11246788608 22713 33554432000 4194304 4196468 140724763621296 139786569377184 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11883] ppid=11820 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11883/stat : 11883 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044485 11246788608 22713 33554432000 4194304 4196468 140724763621296 139786421528048 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11884] ppid=11820 vsize=10983192 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11884/stat : 11884 (java) S 11820 11823 9560 0 -1 1077944384 3 12992 0 0 0 0 5 3 20 0 15 0 225044488 11246788608 22713 33554432000 4194304 4196468 140724763621296 139786114128592 139787768907675 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11885] ppid=11820 vsize=10983192 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/11823/task/11885/stat : 11885 (java) S 11820 11823 9560 0 -1 1077944384 938 12992 0 0 10 0 5 3 20 0 15 0 225044488 11246788608 22713 33554432000 4194304 4196468 140724763621296 139787193047024 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11886] ppid=11820 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/11823/task/11886/stat : 11886 (java) S 11820 11823 9560 0 -1 1077944384 661 12992 0 0 7 0 5 3 20 0 15 0 225044488 11246788608 22713 33554432000 4194304 4196468 140724763621296 139787191994480 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11887] ppid=11820 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/11823/task/11887/stat : 11887 (java) S 11820 11823 9560 0 -1 1077944384 681 12992 0 0 12 0 5 3 20 0 15 0 225044488 11246788608 22713 33554432000 4194304 4196468 140724763621296 139787190941936 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11888] ppid=11820 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11888/stat : 11888 (java) S 11820 11823 9560 0 -1 1077944384 3 12992 0 0 0 0 5 3 20 0 15 0 225044488 11246788608 22713 33554432000 4194304 4196468 140724763621296 139785683331680 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11889] ppid=11820 vsize=10983192 memory=281417531523312 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11889/stat : 11889 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044488 11246788608 22713 33554432000 4194304 4196468 140724763621296 139787189889840 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90852 KiB
[startup+1.50082 s]
/proc/loadavg: 1.60 1.64 1.67 3/215 11889
/proc/meminfo: memFree=15864632/32770624 swapFree=67108504/67108860
[pid=11823] ppid=11820 vsize=10996044 memory=194304 CPUtime=3.18 cores=1,3,5,7
/proc/11823/stat : 11823 (java) S 11820 11823 9560 0 -1 1077944320 27630 12992 0 0 301 9 5 3 20 0 15 0 225044473 11259949056 48576 33554432000 4194304 4196468 140724763621296 140724763603840 139787768889079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
/proc/11823/statm: 2749011 48576 3445 1 0 2710669 0
[pid=11823/tid=11876] ppid=11820 vsize=10996044 memory=13 CPUtime=1.47 cores=1,3,5,7
/proc/11823/task/11876/stat : 11876 (java) R 11820 11823 9560 0 -1 4202560 16913 12992 0 0 133 6 5 3 20 0 15 0 225044482 11259949056 48576 33554432000 4194304 4196468 140724763621296 139787740669256 139787768911005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11877] ppid=11820 vsize=10996044 memory=9 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11877/stat : 11877 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044483 11259949056 48576 33554432000 4194304 4196468 140724763621296 139787773131024 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11878] ppid=11820 vsize=10996044 memory=18 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11878/stat : 11878 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044483 11259949056 48576 33554432000 4194304 4196468 140724763621296 139787638466960 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11879] ppid=11820 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11879/stat : 11879 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044483 11259949056 48576 33554432000 4194304 4196468 140724763621296 139787637414416 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11880] ppid=11820 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11880/stat : 11880 (java) S 11820 11823 9560 0 -1 1077944384 2 12992 0 0 0 0 5 3 20 0 15 0 225044483 11259949056 48576 33554432000 4194304 4196468 140724763621296 139787636361872 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11881] ppid=11820 vsize=10996044 memory=6296145895617287010 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11881/stat : 11881 (java) S 11820 11823 9560 0 -1 1077944384 13 12992 0 0 0 0 5 3 20 0 15 0 225044484 11259949056 48576 33554432000 4194304 4196468 140724763621296 139787194100208 139787768900226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11882] ppid=11820 vsize=10996044 memory=7451039923985344596 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11882/stat : 11882 (java) S 11820 11823 9560 0 -1 1077944384 13 12992 0 0 0 0 5 3 20 0 15 0 225044485 11259949056 48576 33554432000 4194304 4196468 140724763621296 139786569377184 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11883] ppid=11820 vsize=10996044 memory=7521664953257324395 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11883/stat : 11883 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044485 11259949056 48576 33554432000 4194304 4196468 140724763621296 139786421528048 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11884] ppid=11820 vsize=10996044 memory=7011348500760778584 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11884/stat : 11884 (java) S 11820 11823 9560 0 -1 1077944384 3 12992 0 0 0 0 5 3 20 0 15 0 225044488 11259949056 48576 33554432000 4194304 4196468 140724763621296 139786114128592 139787768907675 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11885] ppid=11820 vsize=10996044 memory=7594030375856204907 CPUtime=0.71 cores=1,3,5,7
/proc/11823/task/11885/stat : 11885 (java) R 11820 11823 9560 0 -1 4202560 3724 12992 0 0 63 0 5 3 20 0 15 0 225044488 11259949056 48576 33554432000 4194304 4196468 140724763621296 139787193033048 139787750433641 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11886] ppid=11820 vsize=10996044 memory=7378958222464411759 CPUtime=0.66 cores=1,3,5,7
/proc/11823/task/11886/stat : 11886 (java) R 11820 11823 9560 0 -1 4202560 3139 12992 0 0 58 0 5 3 20 0 15 0 225044488 11259949056 48576 33554432000 4194304 4196468 140724763621296 139787191980504 139787750411183 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11887] ppid=11820 vsize=10996044 memory=7234286685682034537 CPUtime=0.53 cores=1,3,5,7
/proc/11823/task/11887/stat : 11887 (java) S 11820 11823 9560 0 -1 1077944384 1627 12992 0 0 45 0 5 3 20 0 15 0 225044488 11259949056 48576 33554432000 4194304 4196468 140724763621296 139787190941936 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11888] ppid=11820 vsize=10996044 memory=7662427738953642086 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11888/stat : 11888 (java) S 11820 11823 9560 0 -1 1077944384 3 12992 0 0 0 0 5 3 20 0 15 0 225044488 11259949056 48576 33554432000 4194304 4196468 140724763621296 139785683331680 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11889] ppid=11820 vsize=10996044 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11889/stat : 11889 (java) S 11820 11823 9560 0 -1 1077944384 1 12992 0 0 0 0 5 3 20 0 15 0 225044488 11259949056 48576 33554432000 4194304 4196468 140724763621296 139787189889840 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
################
# More data... #
################
/proc/11823/task/11878/stat : 11878 (java) S 11820 11823 9560 0 -1 1077944384 17996 12992 0 0 225 23 5 3 20 0 15 0 225044483 11345952768 182648 33554432000 4194304 4196468 140724763621296 139787638466960 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11879] ppid=11820 vsize=11080032 memory=730604 CPUtime=2.57 cores=1,3,5,7
/proc/11823/task/11879/stat : 11879 (java) S 11820 11823 9560 0 -1 1077944384 15107 12992 0 0 226 23 5 3 20 0 15 0 225044483 11345952768 182648 33554432000 4194304 4196468 140724763621296 139787637414416 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11880] ppid=11820 vsize=11080032 memory=730592 CPUtime=2.56 cores=1,3,5,7
/proc/11823/task/11880/stat : 11880 (java) S 11820 11823 9560 0 -1 1077944384 17730 12992 0 0 224 24 5 3 20 0 15 0 225044483 11345952768 182648 33554432000 4194304 4196468 140724763621296 139787636361872 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11881] ppid=11820 vsize=11080032 memory=730604 CPUtime=0.62 cores=1,3,5,7
/proc/11823/task/11881/stat : 11881 (java) S 11820 11823 9560 0 -1 1077944384 13190 12992 0 0 45 9 5 3 20 0 15 0 225044484 11345952768 182648 33554432000 4194304 4196468 140724763621296 139787194100208 139787768900226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11882] ppid=11820 vsize=11080032 memory=730592 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11882/stat : 11882 (java) S 11820 11823 9560 0 -1 1077944384 46 12992 0 0 0 0 5 3 20 0 15 0 225044485 11345952768 182648 33554432000 4194304 4196468 140724763621296 139786569377248 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11883] ppid=11820 vsize=11080032 memory=720156 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11883/stat : 11883 (java) S 11820 11823 9560 0 -1 1077944384 15 12992 0 0 0 0 5 3 20 0 15 0 225044485 11345952768 182648 33554432000 4194304 4196468 140724763621296 139786421528064 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11884] ppid=11820 vsize=11080032 memory=730592 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11884/stat : 11884 (java) S 11820 11823 9560 0 -1 1077944384 3 12992 0 0 0 0 5 3 20 0 15 0 225044488 11345952768 182648 33554432000 4194304 4196468 140724763621296 139786114128592 139787768907675 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11885] ppid=11820 vsize=11080032 memory=3816 CPUtime=9.99 cores=1,3,5,7
/proc/11823/task/11885/stat : 11885 (java) S 11820 11823 9560 0 -1 1077944384 83586 12992 0 0 980 11 5 3 20 0 15 0 225044488 11345952768 182648 33554432000 4194304 4196468 140724763621296 139787193047024 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11886] ppid=11820 vsize=11080032 memory=236782 CPUtime=7.73 cores=1,3,5,7
/proc/11823/task/11886/stat : 11886 (java) S 11820 11823 9560 0 -1 1077944384 64632 12992 0 0 759 6 5 3 20 0 15 0 225044488 11345952768 182648 33554432000 4194304 4196468 140724763621296 139787191994480 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11887] ppid=11820 vsize=11080032 memory=239748 CPUtime=2.68 cores=1,3,5,7
/proc/11823/task/11887/stat : 11887 (java) S 11820 11823 9560 0 -1 1077944384 54372 12992 0 0 253 7 5 3 20 0 15 0 225044488 11345952768 182648 33554432000 4194304 4196468 140724763621296 139787190941936 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11888] ppid=11820 vsize=11080032 memory=808 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11888/stat : 11888 (java) S 11820 11823 9560 0 -1 1077944384 3 12992 0 0 0 0 5 3 20 0 15 0 225044488 11345952768 182648 33554432000 4194304 4196468 140724763621296 139785683331680 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11889] ppid=11820 vsize=11080032 memory=1796 CPUtime=1.14 cores=1,3,5,7
/proc/11823/task/11889/stat : 11889 (java) S 11820 11823 9560 0 -1 1077944384 1598 12992 0 0 49 57 5 3 20 0 15 0 225044488 11345952768 182648 33554432000 4194304 4196468 140724763621296 139787189889840 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
Current children cumulated CPU time: 2411.1 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 730592 KiB
[startup+2442.3 s]
/proc/loadavg: 1.66 1.61 1.61 3/215 12119
/proc/meminfo: memFree=15457636/32770624 swapFree=67108504/67108860
[pid=11823] ppid=11820 vsize=11080032 memory=718796 CPUtime=2471.27 cores=1,3,5,7
/proc/11823/stat : 11823 (java) S 11820 11823 9560 0 -1 1077944320 398039 12992 0 0 246909 210 5 3 20 0 15 0 225044473 11345952768 179699 33554432000 4194304 4196468 140724763621296 140724763603840 139787768889079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
/proc/11823/statm: 2770008 179699 3533 1 0 2731661 0
[pid=11823/tid=11876] ppid=11820 vsize=11080032 memory=718796 CPUtime=2439.24 cores=1,3,5,7
/proc/11823/task/11876/stat : 11876 (java) R 11820 11823 9560 0 -1 4202560 107859 12992 0 0 243882 34 5 3 20 0 15 0 225044482 11345952768 179699 33554432000 4194304 4196468 140724763621296 139787740724432 139787329848019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11877] ppid=11820 vsize=11080032 memory=721360 CPUtime=2.62 cores=1,3,5,7
/proc/11823/task/11877/stat : 11877 (java) S 11820 11823 9560 0 -1 1077944384 18655 12992 0 0 230 24 5 3 20 0 15 0 225044483 11345952768 179699 33554432000 4194304 4196468 140724763621296 139787773131024 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11878] ppid=11820 vsize=11080032 memory=721360 CPUtime=2.61 cores=1,3,5,7
/proc/11823/task/11878/stat : 11878 (java) S 11820 11823 9560 0 -1 1077944384 18480 12992 0 0 229 24 5 3 20 0 15 0 225044483 11345952768 179699 33554432000 4194304 4196468 140724763621296 139787638466960 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11879] ppid=11820 vsize=11080032 memory=724952 CPUtime=2.61 cores=1,3,5,7
/proc/11823/task/11879/stat : 11879 (java) S 11820 11823 9560 0 -1 1077944384 15287 12992 0 0 230 23 5 3 20 0 15 0 225044483 11345952768 179699 33554432000 4194304 4196468 140724763621296 139787637414416 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11880] ppid=11820 vsize=11080032 memory=730604 CPUtime=2.6 cores=1,3,5,7
/proc/11823/task/11880/stat : 11880 (java) S 11820 11823 9560 0 -1 1077944384 17905 12992 0 0 228 24 5 3 20 0 15 0 225044483 11345952768 179699 33554432000 4194304 4196468 140724763621296 139787636361872 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11881] ppid=11820 vsize=11080032 memory=727496 CPUtime=0.63 cores=1,3,5,7
/proc/11823/task/11881/stat : 11881 (java) S 11820 11823 9560 0 -1 1077944384 13374 12992 0 0 45 10 5 3 20 0 15 0 225044484 11345952768 179699 33554432000 4194304 4196468 140724763621296 139787194100208 139787768900226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11882] ppid=11820 vsize=11080032 memory=730572 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11882/stat : 11882 (java) S 11820 11823 9560 0 -1 1077944384 46 12992 0 0 0 0 5 3 20 0 15 0 225044485 11345952768 179699 33554432000 4194304 4196468 140724763621296 139786569377248 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11883] ppid=11820 vsize=11080032 memory=724952 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11883/stat : 11883 (java) S 11820 11823 9560 0 -1 1077944384 15 12992 0 0 0 0 5 3 20 0 15 0 225044485 11345952768 179699 33554432000 4194304 4196468 140724763621296 139786421528064 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11884] ppid=11820 vsize=11080032 memory=721360 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11884/stat : 11884 (java) S 11820 11823 9560 0 -1 1077944384 3 12992 0 0 0 0 5 3 20 0 15 0 225044488 11345952768 179699 33554432000 4194304 4196468 140724763621296 139786114128592 139787768907675 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11885] ppid=11820 vsize=11080032 memory=718796 CPUtime=9.99 cores=1,3,5,7
/proc/11823/task/11885/stat : 11885 (java) S 11820 11823 9560 0 -1 1077944384 83589 12992 0 0 980 11 5 3 20 0 15 0 225044488 11345952768 179699 33554432000 4194304 4196468 140724763621296 139787193047024 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11886] ppid=11820 vsize=11080032 memory=736728 CPUtime=7.73 cores=1,3,5,7
/proc/11823/task/11886/stat : 11886 (java) S 11820 11823 9560 0 -1 1077944384 64634 12992 0 0 759 6 5 3 20 0 15 0 225044488 11345952768 179699 33554432000 4194304 4196468 140724763621296 139787191994480 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11887] ppid=11820 vsize=11080032 memory=720156 CPUtime=2.68 cores=1,3,5,7
/proc/11823/task/11887/stat : 11887 (java) S 11820 11823 9560 0 -1 1077944384 54374 12992 0 0 253 7 5 3 20 0 15 0 225044488 11345952768 179699 33554432000 4194304 4196468 140724763621296 139787190941936 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11888] ppid=11820 vsize=11080032 memory=724952 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11888/stat : 11888 (java) S 11820 11823 9560 0 -1 1077944384 3 12992 0 0 0 0 5 3 20 0 15 0 225044488 11345952768 179699 33554432000 4194304 4196468 140724763621296 139785683331680 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11889] ppid=11820 vsize=11080032 memory=718796 CPUtime=1.17 cores=1,3,5,7
/proc/11823/task/11889/stat : 11889 (java) S 11820 11823 9560 0 -1 1077944384 1627 12992 0 0 50 59 5 3 20 0 15 0 225044488 11345952768 179699 33554432000 4194304 4196468 140724763621296 139787189889840 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
Current children cumulated CPU time: 2471.27 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 718796 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2490.8 s]
/proc/loadavg: 1.45 1.57 1.60 3/215 12120
/proc/meminfo: memFree=15477328/32770624 swapFree=67108504/67108860
[pid=11823] ppid=11820 vsize=11080032 memory=657748 CPUtime=2520.01 cores=1,3,5,7
/proc/11823/stat : 11823 (java) S 11820 11823 9560 0 -1 1077944320 400031 12992 0 0 251781 212 5 3 20 0 15 0 225044473 11345952768 164437 33554432000 4194304 4196468 140724763621296 140724763603840 139787768889079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
/proc/11823/statm: 2770008 164437 3533 1 0 2731661 0
[pid=11823/tid=11876] ppid=11820 vsize=11080032 memory=288230596050944315 CPUtime=2487.63 cores=1,3,5,7
/proc/11823/task/11876/stat : 11876 (java) R 11820 11823 9560 0 -1 4202560 108233 12992 0 0 248721 34 5 3 20 0 15 0 225044482 11345952768 164437 33554432000 4194304 4196468 140724763621296 139787740711136 139787312399272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11877] ppid=11820 vsize=11080032 memory=14127849082719513 CPUtime=2.69 cores=1,3,5,7
/proc/11823/task/11877/stat : 11877 (java) S 11820 11823 9560 0 -1 1077944384 19104 12992 0 0 237 24 5 3 20 0 15 0 225044483 11345952768 164437 33554432000 4194304 4196468 140724763621296 139787773131024 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11878] ppid=11820 vsize=11080032 memory=6791534058613427641 CPUtime=2.68 cores=1,3,5,7
/proc/11823/task/11878/stat : 11878 (java) S 11820 11823 9560 0 -1 1077944384 18671 12992 0 0 236 24 5 3 20 0 15 0 225044483 11345952768 164437 33554432000 4194304 4196468 140724763621296 139787638466960 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11879] ppid=11820 vsize=11080032 memory=576461252204721717 CPUtime=2.68 cores=1,3,5,7
/proc/11823/task/11879/stat : 11879 (java) S 11820 11823 9560 0 -1 1077944384 15383 12992 0 0 237 23 5 3 20 0 15 0 225044483 11345952768 164437 33554432000 4194304 4196468 140724763621296 139787637414416 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11880] ppid=11820 vsize=11080032 memory=288283389822519401 CPUtime=2.68 cores=1,3,5,7
/proc/11823/task/11880/stat : 11880 (java) S 11820 11823 9560 0 -1 1077944384 18022 12992 0 0 235 25 5 3 20 0 15 0 225044483 11345952768 164437 33554432000 4194304 4196468 140724763621296 139787636361872 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11881] ppid=11820 vsize=11080032 memory=658260 CPUtime=0.66 cores=1,3,5,7
/proc/11823/task/11881/stat : 11881 (java) S 11820 11823 9560 0 -1 1077944384 13571 12992 0 0 48 10 5 3 20 0 15 0 225044484 11345952768 164437 33554432000 4194304 4196468 140724763621296 139787194100208 139787768900226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11882] ppid=11820 vsize=11080032 memory=2144 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11882/stat : 11882 (java) S 11820 11823 9560 0 -1 1077944384 46 12992 0 0 0 0 5 3 20 0 15 0 225044485 11345952768 164437 33554432000 4194304 4196468 140724763621296 139786569377248 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11883] ppid=11820 vsize=11080032 memory=1752 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11883/stat : 11883 (java) S 11820 11823 9560 0 -1 1077944384 15 12992 0 0 0 0 5 3 20 0 15 0 225044485 11345952768 164437 33554432000 4194304 4196468 140724763621296 139786421528064 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11884] ppid=11820 vsize=11080032 memory=748 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11884/stat : 11884 (java) S 11820 11823 9560 0 -1 1077944384 3 12992 0 0 0 0 5 3 20 0 15 0 225044488 11345952768 164437 33554432000 4194304 4196468 140724763621296 139786114128592 139787768907675 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11885] ppid=11820 vsize=11080032 memory=1820 CPUtime=9.99 cores=1,3,5,7
/proc/11823/task/11885/stat : 11885 (java) S 11820 11823 9560 0 -1 1077944384 83598 12992 0 0 980 11 5 3 20 0 15 0 225044488 11345952768 164437 33554432000 4194304 4196468 140724763621296 139787193047024 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11886] ppid=11820 vsize=11080032 memory=6791534058613427641 CPUtime=7.74 cores=1,3,5,7
/proc/11823/task/11886/stat : 11886 (java) S 11820 11823 9560 0 -1 1077944384 64798 12992 0 0 760 6 5 3 20 0 15 0 225044488 11345952768 164437 33554432000 4194304 4196468 140724763621296 139787191994480 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11887] ppid=11820 vsize=11080032 memory=374744 CPUtime=2.69 cores=1,3,5,7
/proc/11823/task/11887/stat : 11887 (java) S 11820 11823 9560 0 -1 1077944384 54742 12992 0 0 254 7 5 3 20 0 15 0 225044488 11345952768 164437 33554432000 4194304 4196468 140724763621296 139787190941936 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11888] ppid=11820 vsize=11080032 memory=1752 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11888/stat : 11888 (java) S 11820 11823 9560 0 -1 1077944384 3 12992 0 0 0 0 5 3 20 0 15 0 225044488 11345952768 164437 33554432000 4194304 4196468 140724763621296 139785683331680 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11889] ppid=11820 vsize=11080032 memory=748 CPUtime=1.19 cores=1,3,5,7
/proc/11823/task/11889/stat : 11889 (java) S 11820 11823 9560 0 -1 1077944384 1654 12992 0 0 51 60 5 3 20 0 15 0 225044488 11345952768 164437 33554432000 4194304 4196468 140724763621296 139787189889840 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 657748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2491.11 s]
# the end of solver process 11823 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.16 s, system=2.16733 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2491 s]*
/proc/loadavg: 1.42 1.56 1.59 3/217 12122
/proc/meminfo: memFree=15473728/32770624 swapFree=67108504/67108860
[pid=11823] ppid=11820 vsize=11342184 memory=659888 CPUtime=2520.22 cores=1,3,5,7
/proc/11823/stat : 11823 (java) S 11820 11823 9560 0 -1 1077944320 400173 12992 0 0 251802 212 5 3 20 0 17 0 225044473 11614396416 164972 33554432000 4194304 4196468 140724763621296 140724763603840 139787768889079 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
/proc/11823/statm: 2835546 164972 3534 1 0 2797199 0
[pid=11823/tid=11876] ppid=11820 vsize=11342184 memory=6791534058613427641 CPUtime=2487.84 cores=1,3,5,7
/proc/11823/task/11876/stat : 11876 (java) R 11820 11823 9560 0 -1 4202560 108233 12992 0 0 248742 34 5 3 20 0 17 0 225044482 11614396416 164972 33554432000 4194304 4196468 140724763621296 139787740711136 139787312398988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11877] ppid=11820 vsize=11342184 memory=4872558044660077418 CPUtime=2.69 cores=1,3,5,7
/proc/11823/task/11877/stat : 11877 (java) S 11820 11823 9560 0 -1 1077944384 19104 12992 0 0 237 24 5 3 20 0 17 0 225044483 11614396416 164972 33554432000 4194304 4196468 140724763621296 139787773131024 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11878] ppid=11820 vsize=11342184 memory=748 CPUtime=2.68 cores=1,3,5,7
/proc/11823/task/11878/stat : 11878 (java) S 11820 11823 9560 0 -1 1077944384 18671 12992 0 0 236 24 5 3 20 0 17 0 225044483 11614396416 164972 33554432000 4194304 4196468 140724763621296 139787638466960 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11879] ppid=11820 vsize=11342184 memory=1820 CPUtime=2.68 cores=1,3,5,7
/proc/11823/task/11879/stat : 11879 (java) S 11820 11823 9560 0 -1 1077944384 15383 12992 0 0 237 23 5 3 20 0 17 0 225044483 11614396416 164972 33554432000 4194304 4196468 140724763621296 139787637414416 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11880] ppid=11820 vsize=11342184 memory=4552 CPUtime=2.68 cores=1,3,5,7
/proc/11823/task/11880/stat : 11880 (java) S 11820 11823 9560 0 -1 1077944384 18022 12992 0 0 235 25 5 3 20 0 17 0 225044483 11614396416 164972 33554432000 4194304 4196468 140724763621296 139787636361872 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11881] ppid=11820 vsize=11342184 memory=3732 CPUtime=0.66 cores=1,3,5,7
/proc/11823/task/11881/stat : 11881 (java) S 11820 11823 9560 0 -1 1077944384 13571 12992 0 0 48 10 5 3 20 0 17 0 225044484 11614396416 164972 33554432000 4194304 4196468 140724763621296 139787194100208 139787768900226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11882] ppid=11820 vsize=11342184 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11882/stat : 11882 (java) S 11820 11823 9560 0 -1 1077944384 46 12992 0 0 0 0 5 3 20 0 17 0 225044485 11614396416 164972 33554432000 4194304 4196468 140724763621296 139786569377248 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11883] ppid=11820 vsize=11342184 memory=10624 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11883/stat : 11883 (java) S 11820 11823 9560 0 -1 1077944384 15 12992 0 0 0 0 5 3 20 0 17 0 225044485 11614396416 164972 33554432000 4194304 4196468 140724763621296 139786421528064 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11884] ppid=11820 vsize=11342184 memory=1624 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11884/stat : 11884 (java) S 11820 11823 9560 0 -1 1077944384 77 12992 0 0 0 0 5 3 20 0 17 0 225044488 11614396416 164972 33554432000 4194304 4196468 140724763621296 139786114128592 139787768907675 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11885] ppid=11820 vsize=11342184 memory=6768 CPUtime=9.99 cores=1,3,5,7
/proc/11823/task/11885/stat : 11885 (java) S 11820 11823 9560 0 -1 1077944384 83598 12992 0 0 980 11 5 3 20 0 17 0 225044488 11614396416 164972 33554432000 4194304 4196468 140724763621296 139787193047024 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11886] ppid=11820 vsize=11342184 memory=658260 CPUtime=7.74 cores=1,3,5,7
/proc/11823/task/11886/stat : 11886 (java) S 11820 11823 9560 0 -1 1077944384 64798 12992 0 0 760 6 5 3 20 0 17 0 225044488 11614396416 164972 33554432000 4194304 4196468 140724763621296 139787191994480 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11887] ppid=11820 vsize=11342184 memory=1296 CPUtime=2.69 cores=1,3,5,7
/proc/11823/task/11887/stat : 11887 (java) S 11820 11823 9560 0 -1 1077944384 54742 12992 0 0 254 7 5 3 20 0 17 0 225044488 11614396416 164972 33554432000 4194304 4196468 140724763621296 139787190941936 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11888] ppid=11820 vsize=11342184 memory=1068 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/11888/stat : 11888 (java) S 11820 11823 9560 0 -1 1077944384 3 12992 0 0 0 0 5 3 20 0 17 0 225044488 11614396416 164972 33554432000 4194304 4196468 140724763621296 139785683331680 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=11889] ppid=11820 vsize=11342184 memory=15084 CPUtime=1.19 cores=1,3,5,7
/proc/11823/task/11889/stat : 11889 (java) S 11820 11823 9560 0 -1 1077944384 1654 12992 0 0 51 60 5 3 20 0 17 0 225044488 11614396416 164972 33554432000 4194304 4196468 140724763621296 139787189889840 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=12121] ppid=11820 vsize=11342184 memory=34696 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/12121/stat : 12121 (java) S 11820 11823 9560 0 -1 1077944384 18 12992 0 0 0 0 5 3 20 0 17 0 225293554 11614396416 164972 33554432000 4194304 4196468 140724763621296 139785347785328 139787768899285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
[pid=11823/tid=12122] ppid=11820 vsize=11342184 memory=13776 CPUtime=0.08 cores=1,3,5,7
/proc/11823/task/12122/stat : 12122 (java) S 11820 11823 9560 0 -1 1077944384 48 12992 0 0 0 0 5 3 20 0 17 0 225293554 11614396416 164972 33554432000 4194304 4196468 140724763621296 139785280673504 139787768900226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140724763630189 140724763632988 140724763632988 140724763635663 0
Current children cumulated CPU time: 2520.22 s
Current children cumulated vsize: 11342184 KiB
Current children cumulated memory: 659888 KiB
Child status: 143
Real time (s): 2491.11
CPU time (s): 2520.33
CPU user time (s): 2518.16
CPU system time (s): 2.16733
CPU usage (%): 101.173
Max. virtual memory (cumulated for all children) (KiB): 11342184
Max. memory (cumulated for all children) (KiB): 1310476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.16
system time used= 2.16733
maximum resident set size= 1312064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 414216
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72655
involuntary context switches= 1497
# summary of solver processes directly reported to runsolver:
# pid: 11823
# total CPU time (s): 2520.33
# total CPU user time (s): 2518.16
# total CPU system time (s): 2.16733
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5829 second user time and 26.2207 second system time
The end
Begin job on node104 at 2018-08-12 13:53:33 IDJOB=4304391 IDBENCH=141244 IDSOLVER=2780 FILE ID=node104/4304391-1534074813 RUNJOBID= node104-1534062308-9592 PBS_JOBID= 21036981 Free space on /tmp= 37528 MiB SOLVER NAME= Concrete 3.9.2 BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko72_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304391-1534074813/watcher-4304391-1534074813 -o /tmp/evaluation-result-4304391-1534074813/solver-4304391-1534074813 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534062308-9592 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=404803069 HOME/instance-4304391-1534074813.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 69672b68d8d3f9201b488571cf4784d4 RANDOM SEED=404803069 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 15965764 kB MemAvailable: 31387940 kB Buffers: 179904 kB Cached: 15280260 kB SwapCached: 8 kB Active: 8164644 kB Inactive: 7864440 kB Active(anon): 520292 kB Inactive(anon): 100964 kB Active(file): 7644352 kB Inactive(file): 7763476 kB Unevictable: 7360 kB Mlocked: 7360 kB SwapTotal: 67108860 kB SwapFree: 67108504 kB Dirty: 26780 kB Writeback: 0 kB AnonPages: 576288 kB Mapped: 64928 kB Shmem: 49636 kB Slab: 471236 kB SReclaimable: 442808 kB SUnreclaim: 28428 kB KernelStack: 3488 kB PageTables: 6732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1600592 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 344064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 37500 MiB End job on node104 at 2018-08-12 14:35:04