Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Concrete 3.12.2 | SAT (TO) | 1773 | 2400.07 | 2336.64 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-090.xml |
MD5SUM | d92bd6a6dba83323313b355bf487e521 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 941 |
Best CPU time to get the best result obtained on this benchmark | 1941.24 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 8189 |
Number of constraints | 4183 |
Number of domains | 179 |
Minimum domain size | 2 |
Maximum domain size | 179 |
Distribution of domain sizes | [{"size":2,"count":4096},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}, {"size":173,"count":1}, {"size":175,"count":1}, {"size":177,"count":1}, {"size":179,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 89 |
Distribution of variable degrees | [{"degree":0,"count":3916},{"degree":2,"count":4183},{"degree":89,"count":90}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 90 |
Distribution of constraint arities | [{"arity":2,"count":90},{"arity":3,"count":4006},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}, {"arity":87,"count":1}, {"arity":88,"count":1}, {"arity":89,"count":1}, {"arity":90,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4094 |
Distribution of constraint types | [{"type":"intension","count":4094},{"type":"sum","count":89}] |
Optimization problem | YES |
Type of objective | min SUM |
0.75/0.55 c Concrete v3.12.2.1568631193530 running 20.24/7.20 o 4133 22.13/7.87 o 3861 22.13/7.89 o 3805 22.44/7.92 o 3589 22.44/7.94 o 3477 22.77/8.01 o 3349 23.51/8.37 o 3061 23.51/8.38 o 2909 23.51/8.39 o 2861 23.93/8.52 o 2773 24.23/8.73 o 2405 24.23/8.74 o 2365 24.47/8.99 o 2005 30.92/14.63 o 1773 2400.01/2336.61 Exception in thread "main" java.util.concurrent.TimeoutException 2400.01/2336.61 at concrete.MAC.mac(MAC.scala:192) 2400.01/2336.61 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2400.01/2336.61 at scala.util.Try$.apply(Try.scala:212) 2400.01/2336.61 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2400.01/2336.61 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2400.01/2336.61 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2400.01/2336.61 at concrete.MAC.oneRun(MAC.scala:265) 2400.01/2336.61 at concrete.MAC.nextSolution(MAC.scala:284) 2400.01/2336.61 at concrete.MAC.nextSolution(MAC.scala:369) 2400.01/2336.61 at concrete.Solver.hasNext(Solver.scala:160) 2400.01/2336.61 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2400.01/2336.61 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2400.01/2336.61 at concrete.Solver.foreach(Solver.scala:67) 2400.01/2336.61 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73) 2400.01/2336.61 at scala.util.Success.map(Try.scala:264) 2400.01/2336.61 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2400.01/2336.61 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2400.01/2336.61 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.01/2336.61 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2400.01/2336.61 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.01/2336.61 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2400.01/2336.61 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2400.01/2336.61 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2400.01/2336.61 at scala.App.$anonfun$main$1(App.scala:75) 2400.01/2336.61 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2400.01/2336.61 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2400.01/2336.61 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2400.01/2336.61 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2400.01/2336.61 at scala.App.main(App.scala:75) 2400.01/2336.61 at scala.App.main$(App.scala:73) 2400.01/2336.61 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.01/2336.61 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.01/2336.61 v <instantiation 2400.01/2336.61 v cost = '1773'> 2400.01/2336.61 v <list> 2400.01/2336.61 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] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][80] y[0][81] y[0][82] y[0][83] y[0][84] y[0][85] y[0][86] y[0][87] y[0][88] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][80] y[1][81] y[1][82] y[1][83] y[1][84] y[1][85] y[1][86] y[1][87] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][80] y[2][81] y[2][82] y[2][83] y[2][84] y[2][85] y[2][86] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[3][80] y[3][81] y[3][82] y[3][83] y[3][84] y[3][85] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[4][80] y[4][81] y[4][82] y[4][83] y[4][84] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[5][80] y[5][81] y[5][82] y[5][83] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[6][80] y[6][81] y[6][82] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[7][80] y[7][81] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[8][79] y[8][80] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[9][78] y[9][79] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[10][77] y[10][78] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[11][76] y[11][77] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[12][75] y[12][76] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][70] y[13][71] y[13][72] y[13][73] y[13][74] y[13][75] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][70] y[14][71] y[14][72] y[14][73] y[14][74] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][70] y[15][71] y[15][72] y[15][73] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][70] y[16][71] y[16][72] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[17][70] y[17][71] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[18][69] y[18][70] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[19][68] y[19][69] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[20][68] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][60] y[25][61] y[25][62] y[25][63] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][60] y[26][61] y[26][62] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][60] y[27][61] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][60] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[35][52] y[35][53] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[36][51] y[36][52] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][50] y[37][51] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][50] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[45][42] y[45][43] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[46][41] y[46][42] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][40] y[47][41] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][40] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[55][32] y[55][33] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][30] y[56][31] y[56][32] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][30] y[57][31] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][30] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][20] y[65][21] y[65][22] y[65][23] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][20] y[66][21] y[66][22] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[67][20] y[67][21] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[68][19] y[68][20] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[69][18] y[69][19] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[70][17] y[70][18] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[71][16] y[71][17] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[72][15] y[72][16] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[73][10] y[73][11] y[73][12] y[73][13] y[73][14] y[73][15] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[74][9] y[74][10] y[74][11] y[74][12] y[74][13] y[74][14] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[75][8] y[75][9] y[75][10] y[75][11] y[75][12] y[75][13] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[76][7] y[76][8] y[76][9] y[76][10] y[76][11] y[76][12] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[77][8] y[77][9] y[77][10] y[77][11] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[78][7] y[78][8] y[78][9] y[78][10] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[79][8] y[79][9] y[80][0] y[80][1] y[80][2] y[80][3] y[80][4] y[80][5] y[80][6] y[80][7] y[80][8] y[81][0] y[81][1] y[81][2] y[81][3] y[81][4] y[81][5] y[81][6] y[81][7] y[82][0] y[82][1] y[82][2] y[82][3] y[82][4] y[82][5] y[82][6] y[83][0] y[83][1] y[83][2] y[83][3] y[83][4] y[83][5] y[84][0] y[84][1] y[84][2] y[84][3] y[84][4] y[85][0] y[85][1] y[85][2] y[85][3] y[86][0] y[86][1] y[86][2] y[87][0] y[87][1] y[88][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] 2400.01/2336.62 v </list> 2400.01/2336.62 v <values> 2400.01/2336.62 v 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -9 -6 -9 -2 -1 8 -1 -8 -3 4 -5 4 3 0 3 -2 -5 8 1 0 -1 -6 5 -2 7 0 -5 -4 1 -10 1 -6 3 -4 -3 4 -1 -2 1 2 5 -10 -5 0 7 2 -5 -4 5 4 -3 0 -5 -2 9 -6 -5 -8 13 -4 5 2 -1 2 7 0 -3 0 3 -2 -7 2 -1 0 -1 -2 3 -2 -1 2 1 2 -1 2 -1 0 -1 0 -1 81 36 81 4 1 64 1 64 9 16 25 16 9 0 9 4 25 64 1 0 1 36 25 4 49 0 25 16 1 100 1 36 9 16 9 16 1 4 1 4 25 100 25 0 49 4 25 16 25 16 9 0 25 4 81 36 25 64 169 16 25 4 1 4 49 0 9 0 9 4 49 4 1 0 1 4 9 4 1 4 1 4 1 4 1 0 1 0 1 2400.01/2336.62 v </values> 2400.01/2336.62 v </instantiation> 2400.01/2336.62 s SATISFIABLE
OK 1773
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 (14524 MiB free) memory of node 1: 16384 MiB (13170 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401449-1568679498/watcher-4401449-1568679498 -o /tmp/evaluation-result-4401449-1568679498/solver-4401449-1568679498 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568673291-25918 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1273672677 HOME/instance-4401449-1568679498.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=28414, runsolver pid=28411 [startup+0.100059 s]* /proc/loadavg: 1.24 1.37 1.49 3/219 28471 /proc/meminfo: memFree=28354704/32770624 swapFree=66939904/67108860 [pid=28414] ppid=28411 vsize=9972712 memory=18332 CPUtime=0.09 cores=0,2,4,6 /proc/28414/stat : 28414 (java) S 28411 28414 25887 0 -1 1077944320 4340 13313 0 0 1 0 5 3 20 0 6 0 443864716 10212057088 4583 33554432000 4194304 4196468 140726521203056 140726521185600 140234366770935 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 /proc/28414/statm: 2493178 4583 1931 1 0 2481616 0 [pid=28414/tid=28467] ppid=28411 vsize=9972712 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6 /proc/28414/task/28467/stat : 28467 (java) R 28411 28414 25887 0 -1 4202560 2127 13313 0 0 1 0 5 3 20 0 6 0 443864725 10212057088 4583 33554432000 4194304 4196468 140726521203056 140234338607696 140234366792861 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28468] ppid=28411 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28468/stat : 28468 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 6 0 443864726 10212057088 4583 33554432000 4194304 4196468 140726521203056 140234371013008 140234366781141 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28469] ppid=28411 vsize=9972712 memory=139995459843712 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28469/stat : 28469 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 6 0 443864726 10212057088 4583 33554432000 4194304 4196468 140726521203056 140234259286288 140234366781141 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28470] ppid=28411 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28470/stat : 28470 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 6 0 443864726 10212057088 4583 33554432000 4194304 4196468 140726521203056 140234258234000 140234366781141 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28471] ppid=28411 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28471/stat : 28471 (java) S 28411 28414 25887 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 6 0 443864726 10212057088 4583 33554432000 4194304 4196468 140726521203056 140234257181200 140234366781141 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 18332 KiB [startup+0.213405 s]* /proc/loadavg: 1.24 1.37 1.49 3/228 28480 /proc/meminfo: memFree=28332704/32770624 swapFree=66939904/67108860 [pid=28414] ppid=28411 vsize=10820196 memory=43392 CPUtime=0.27 cores=0,2,4,6 /proc/28414/stat : 28414 (java) S 28411 28414 25887 0 -1 1077944320 7123 13313 0 0 18 1 5 3 20 0 15 0 443864716 11079880704 10848 33554432000 4194304 4196468 140726521203056 140726521185600 140234366770935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 /proc/28414/statm: 2705049 10848 3300 1 0 2667149 0 [pid=28414/tid=28467] ppid=28411 vsize=10820196 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/28414/task/28467/stat : 28467 (java) R 28411 28414 25887 0 -1 4202560 3622 13313 0 0 11 1 5 3 20 0 15 0 443864725 11079880704 10848 33554432000 4194304 4196468 140726521203056 140234338585120 140234366792861 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28468] ppid=28411 vsize=10820196 memory=365 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28468/stat : 28468 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 443864726 11079880704 10848 33554432000 4194304 4196468 140726521203056 140234371013008 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28469] ppid=28411 vsize=10820196 memory=3688932465888163488 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28469/stat : 28469 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 443864726 11079880704 10848 33554432000 4194304 4196468 140726521203056 140234259286288 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28470] ppid=28411 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28470/stat : 28470 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 443864726 11079880704 10848 33554432000 4194304 4196468 140726521203056 140234258234000 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28471] ppid=28411 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28471/stat : 28471 (java) S 28411 28414 25887 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 443864726 11079880704 10848 33554432000 4194304 4196468 140726521203056 140234257181200 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28472] ppid=28411 vsize=10820196 memory=139995459843712 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28472/stat : 28472 (java) S 28411 28414 25887 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 443864727 11079880704 10848 33554432000 4194304 4196468 140726521203056 140233437289072 140234366782082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28473] ppid=28411 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28473/stat : 28473 (java) S 28411 28414 25887 0 -1 1077944384 13 13313 0 0 0 0 5 3 20 0 15 0 443864727 11079880704 10848 33554432000 4194304 4196468 140726521203056 140233366562080 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28474] ppid=28411 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28474/stat : 28474 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 443864728 11079880704 10848 33554432000 4194304 4196468 140726521203056 140233165235824 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28475] ppid=28411 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28475/stat : 28475 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864730 11079880704 10848 33554432000 4194304 4196468 140726521203056 140232924944976 140234366789531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28476] ppid=28411 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6 /proc/28414/task/28476/stat : 28476 (java) S 28411 28414 25887 0 -1 1077944384 479 13313 0 0 1 0 5 3 20 0 15 0 443864730 11079880704 10848 33554432000 4194304 4196468 140726521203056 140233436235888 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28477] ppid=28411 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6 /proc/28414/task/28477/stat : 28477 (java) S 28411 28414 25887 0 -1 1077944384 180 13313 0 0 1 0 5 3 20 0 15 0 443864730 11079880704 10848 33554432000 4194304 4196468 140726521203056 140233435183088 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28478] ppid=28411 vsize=10820196 memory=139995459843712 CPUtime=0.11 cores=0,2,4,6 /proc/28414/task/28478/stat : 28478 (java) S 28411 28414 25887 0 -1 1077944384 604 13313 0 0 3 0 5 3 20 0 15 0 443864730 11079880704 10848 33554432000 4194304 4196468 140726521203056 140233333004656 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28479] ppid=28411 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28479/stat : 28479 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864730 11079880704 10848 33554432000 4194304 4196468 140726521203056 140232891386336 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28480] ppid=28411 vsize=10820196 memory=139995459843712 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28480/stat : 28480 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 443864731 11079880704 10848 33554432000 4194304 4196468 140726521203056 140233331952560 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 Current children cumulated CPU time: 0.27 s Current children cumulated vsize: 10820196 KiB Current children cumulated memory: 43392 KiB [startup+0.310712 s]* /proc/loadavg: 1.24 1.37 1.49 3/228 28480 /proc/meminfo: memFree=28320380/32770624 swapFree=66939904/67108860 [pid=28414] ppid=28411 vsize=10820196 memory=51428 CPUtime=0.4 cores=0,2,4,6 /proc/28414/stat : 28414 (java) S 28411 28414 25887 0 -1 1077944320 10572 13313 0 0 29 3 5 3 20 0 15 0 443864716 11079880704 12857 33554432000 4194304 4196468 140726521203056 140726521185600 140234366770935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 /proc/28414/statm: 2705049 12857 3311 1 0 2667149 0 [pid=28414/tid=28467] ppid=28411 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6 /proc/28414/task/28467/stat : 28467 (java) R 28411 28414 25887 0 -1 4202560 7063 13313 0 0 19 2 5 3 20 0 15 0 443864725 11079880704 12857 33554432000 4194304 4196468 140726521203056 140234338593328 140234350851422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28468] ppid=28411 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28468/stat : 28468 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 443864726 11079880704 12857 33554432000 4194304 4196468 140726521203056 140234371013008 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28469] ppid=28411 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28469/stat : 28469 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 443864726 11079880704 12857 33554432000 4194304 4196468 140726521203056 140234259286288 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28470] ppid=28411 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28470/stat : 28470 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 443864726 11079880704 12857 33554432000 4194304 4196468 140726521203056 140234258234000 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28471] ppid=28411 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28471/stat : 28471 (java) S 28411 28414 25887 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 443864726 11079880704 12857 33554432000 4194304 4196468 140726521203056 140234257181200 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28472] ppid=28411 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28472/stat : 28472 (java) S 28411 28414 25887 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 443864727 11079880704 12857 33554432000 4194304 4196468 140726521203056 140233437289072 140234366782082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28473] ppid=28411 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28473/stat : 28473 (java) S 28411 28414 25887 0 -1 1077944384 13 13313 0 0 0 0 5 3 20 0 15 0 443864727 11079880704 12857 33554432000 4194304 4196468 140726521203056 140233366562080 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28474] ppid=28411 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28474/stat : 28474 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 443864728 11079880704 12857 33554432000 4194304 4196468 140726521203056 140233165235824 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28475] ppid=28411 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28475/stat : 28475 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864730 11079880704 12857 33554432000 4194304 4196468 140726521203056 140232924944976 140234366789531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28476] ppid=28411 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6 /proc/28414/task/28476/stat : 28476 (java) S 28411 28414 25887 0 -1 1077944384 480 13313 0 0 2 0 5 3 20 0 15 0 443864730 11079880704 12857 33554432000 4194304 4196468 140726521203056 140233436235888 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28477] ppid=28411 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6 /proc/28414/task/28477/stat : 28477 (java) S 28411 28414 25887 0 -1 1077944384 180 13313 0 0 1 0 5 3 20 0 15 0 443864730 11079880704 12857 33554432000 4194304 4196468 140726521203056 140233435183088 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28478] ppid=28411 vsize=10820196 memory=139995459843712 CPUtime=0.13 cores=0,2,4,6 /proc/28414/task/28478/stat : 28478 (java) S 28411 28414 25887 0 -1 1077944384 611 13313 0 0 5 0 5 3 20 0 15 0 443864730 11079880704 12857 33554432000 4194304 4196468 140726521203056 140233333004656 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28479] ppid=28411 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28479/stat : 28479 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864730 11079880704 12857 33554432000 4194304 4196468 140726521203056 140232891386336 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28480] ppid=28411 vsize=10820196 memory=139995459843712 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28480/stat : 28480 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 443864731 11079880704 12857 33554432000 4194304 4196468 140726521203056 140233331952560 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 Current children cumulated CPU time: 0.4 s Current children cumulated vsize: 10820196 KiB Current children cumulated memory: 51428 KiB [startup+0.701543 s] /proc/loadavg: 1.30 1.38 1.49 4/228 28480 /proc/meminfo: memFree=28306848/32770624 swapFree=66939904/67108860 [pid=28414] ppid=28411 vsize=10824364 memory=83600 CPUtime=1.11 cores=0,2,4,6 /proc/28414/stat : 28414 (java) S 28411 28414 25887 0 -1 1077944320 14645 13313 0 0 97 6 5 3 20 0 15 0 443864716 11084148736 20900 33554432000 4194304 4196468 140726521203056 140726521185600 140234366770935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 /proc/28414/statm: 2706091 20900 3501 1 0 2668173 0 [pid=28414/tid=28467] ppid=28411 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6 /proc/28414/task/28467/stat : 28467 (java) R 28411 28414 25887 0 -1 4202560 10014 13313 0 0 55 4 5 3 20 0 15 0 443864725 11084148736 20900 33554432000 4194304 4196468 140726521203056 140234338586928 140234350851422 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28468] ppid=28411 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28468/stat : 28468 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 443864726 11084148736 20900 33554432000 4194304 4196468 140726521203056 140234371013008 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28469] ppid=28411 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28469/stat : 28469 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 443864726 11084148736 20900 33554432000 4194304 4196468 140726521203056 140234259286288 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28470] ppid=28411 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28470/stat : 28470 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 443864726 11084148736 20900 33554432000 4194304 4196468 140726521203056 140234258234000 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28471] ppid=28411 vsize=10824364 memory=139998753981005 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28471/stat : 28471 (java) S 28411 28414 25887 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 443864726 11084148736 20900 33554432000 4194304 4196468 140726521203056 140234257181200 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28472] ppid=28411 vsize=10824364 memory=139998753981006 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28472/stat : 28472 (java) S 28411 28414 25887 0 -1 1077944384 5 13313 0 0 0 0 5 3 20 0 15 0 443864727 11084148736 20900 33554432000 4194304 4196468 140726521203056 140233437289072 140234366782082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28473] ppid=28411 vsize=10824364 memory=139998753981013 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28473/stat : 28473 (java) S 28411 28414 25887 0 -1 1077944384 13 13313 0 0 0 0 5 3 20 0 15 0 443864727 11084148736 20900 33554432000 4194304 4196468 140726521203056 140233366562080 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28474] ppid=28411 vsize=10824364 memory=139998753981016 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28474/stat : 28474 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 443864728 11084148736 20900 33554432000 4194304 4196468 140726521203056 140233165235824 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28475] ppid=28411 vsize=10824364 memory=139998753981035 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28475/stat : 28475 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864730 11084148736 20900 33554432000 4194304 4196468 140726521203056 140232924944976 140234366789531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28476] ppid=28411 vsize=10824364 memory=139998753981040 CPUtime=0.2 cores=0,2,4,6 /proc/28414/task/28476/stat : 28476 (java) R 28411 28414 25887 0 -1 4202560 956 13313 0 0 12 0 5 3 20 0 15 0 443864730 11084148736 20900 33554432000 4194304 4196468 140726521203056 140233436235888 140234344659463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28477] ppid=28411 vsize=10824364 memory=142502719914638 CPUtime=0.2 cores=0,2,4,6 /proc/28414/task/28477/stat : 28477 (java) R 28411 28414 25887 0 -1 4202560 585 13313 0 0 12 0 5 3 20 0 15 0 443864730 11084148736 20900 33554432000 4194304 4196468 140726521203056 140233435183088 140234350181910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28478] ppid=28411 vsize=10824364 memory=139998753981309 CPUtime=0.25 cores=0,2,4,6 /proc/28414/task/28478/stat : 28478 (java) S 28411 28414 25887 0 -1 1077944384 849 13313 0 0 17 0 5 3 20 0 15 0 443864730 11084148736 20900 33554432000 4194304 4196468 140726521203056 140233333004656 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28479] ppid=28411 vsize=10824364 memory=14056 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28479/stat : 28479 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864730 11084148736 20900 33554432000 4194304 4196468 140726521203056 140232891386336 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28480] ppid=28411 vsize=10824364 memory=2116 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28480/stat : 28480 (java) S 28411 28414 25887 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 443864731 11084148736 20900 33554432000 4194304 4196468 140726521203056 140233331952560 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 Current children cumulated CPU time: 1.11 s Current children cumulated vsize: 10824364 KiB Current children cumulated memory: 83600 KiB [startup+1.50154 s] /proc/loadavg: 1.30 1.38 1.49 5/228 28480 /proc/meminfo: memFree=28234004/32770624 swapFree=66939904/67108860 [pid=28414] ppid=28411 vsize=10832632 memory=255028 CPUtime=3.54 cores=0,2,4,6 /proc/28414/stat : 28414 (java) S 28411 28414 25887 0 -1 1077944320 28102 13313 0 0 334 12 5 3 20 0 15 0 443864716 11092615168 63757 33554432000 4194304 4196468 140726521203056 140726521185600 140234366770935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 /proc/28414/statm: 2708158 63757 3581 1 0 2670221 0 [pid=28414/tid=28467] ppid=28411 vsize=10832632 memory=143956 CPUtime=1.41 cores=0,2,4,6 /proc/28414/task/28467/stat : 28467 (java) R 28411 28414 25887 0 -1 4202560 15128 13313 0 0 126 7 5 3 20 0 15 0 443864725 11092615168 63757 33554432000 4194304 4196468 140726521203056 140234338588528 140234348334499 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28468] ppid=28411 vsize=10832632 memory=1620 CPUtime=0.1 cores=0,2,4,6 /proc/28414/task/28468/stat : 28468 (java) S 28411 28414 25887 0 -1 1077944384 55 13313 0 0 2 0 5 3 20 0 15 0 443864726 11092615168 63757 33554432000 4194304 4196468 140726521203056 140234371013008 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28469] ppid=28411 vsize=10832632 memory=8317482817917895235 CPUtime=0.1 cores=0,2,4,6 /proc/28414/task/28469/stat : 28469 (java) S 28411 28414 25887 0 -1 1077944384 24 13313 0 0 2 0 5 3 20 0 15 0 443864726 11092615168 63757 33554432000 4194304 4196468 140726521203056 140234259286288 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28470] ppid=28411 vsize=10832632 memory=0 CPUtime=0.1 cores=0,2,4,6 /proc/28414/task/28470/stat : 28470 (java) S 28411 28414 25887 0 -1 1077944384 224 13313 0 0 2 0 5 3 20 0 15 0 443864726 11092615168 63757 33554432000 4194304 4196468 140726521203056 140234258234000 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28471] ppid=28411 vsize=10832632 memory=279990663235360 CPUtime=0.1 cores=0,2,4,6 /proc/28414/task/28471/stat : 28471 (java) S 28411 28414 25887 0 -1 1077944384 45 13313 0 0 2 0 5 3 20 0 15 0 443864726 11092615168 63757 33554432000 4194304 4196468 140726521203056 140234257181200 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28472] ppid=28411 vsize=10832632 memory=139995331613968 CPUtime=0.09 cores=0,2,4,6 /proc/28414/task/28472/stat : 28472 (java) S 28411 28414 25887 0 -1 1077944384 929 13313 0 0 1 0 5 3 20 0 15 0 443864727 11092615168 63757 33554432000 4194304 4196468 140726521203056 140233437289072 140234366782082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28473] ppid=28411 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28473/stat : 28473 (java) S 28411 28414 25887 0 -1 1077944384 13 13313 0 0 0 0 5 3 20 0 15 0 443864727 11092615168 63757 33554432000 4194304 4196468 140726521203056 140233366562144 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28474] ppid=28411 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28474/stat : 28474 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864728 11092615168 63757 33554432000 4194304 4196468 140726521203056 140233165235840 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28475] ppid=28411 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28475/stat : 28475 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864730 11092615168 63757 33554432000 4194304 4196468 140726521203056 140232924944976 140234366789531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28476] ppid=28411 vsize=10832632 memory=4580 CPUtime=0.82 cores=0,2,4,6 /proc/28414/task/28476/stat : 28476 (java) S 28411 28414 25887 0 -1 1077944384 3480 13313 0 0 74 0 5 3 20 0 15 0 443864730 11092615168 63757 33554432000 4194304 4196468 140726521203056 140233436235888 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28477] ppid=28411 vsize=10832632 memory=279990663270080 CPUtime=0.81 cores=0,2,4,6 /proc/28414/task/28477/stat : 28477 (java) S 28411 28414 25887 0 -1 1077944384 3521 13313 0 0 73 0 5 3 20 0 15 0 443864730 11092615168 63757 33554432000 4194304 4196468 140726521203056 140233435183088 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28478] ppid=28411 vsize=10832632 memory=0 CPUtime=0.54 cores=0,2,4,6 /proc/28414/task/28478/stat : 28478 (java) S 28411 28414 25887 0 -1 1077944384 2461 13313 0 0 45 1 5 3 20 0 15 0 443864730 11092615168 63757 33554432000 4194304 4196468 140726521203056 140233333004656 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28479] ppid=28411 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28479/stat : 28479 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864730 11092615168 63757 33554432000 4194304 4196468 140726521203056 140232891386336 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28480] ppid=28411 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28480/stat : 28480 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864731 11092615168 63757 33554432000 4194304 4196468 140726521203056 140233331952560 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 Current children cumulated CPU time: 3.54 s Current children cumulated vsize: 10832632 KiB ################ # More data... # ################ /proc/28414/task/28467/stat : 28467 (java) R 28411 28414 25887 0 -1 4202560 113748 13313 0 0 217926 59 5 3 20 0 15 0 443864725 11109412864 149011 33554432000 4194304 4196468 140726521203056 140234338607072 140233929384150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28468] ppid=28411 vsize=10849036 memory=602804 CPUtime=14.78 cores=0,2,4,6 /proc/28414/task/28468/stat : 28468 (java) S 28411 28414 25887 0 -1 1077944384 20939 13313 0 0 1423 47 5 3 20 0 15 0 443864726 11109412864 149011 33554432000 4194304 4196468 140726521203056 140234371013008 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28469] ppid=28411 vsize=10849036 memory=592056 CPUtime=14.77 cores=0,2,4,6 /proc/28414/task/28469/stat : 28469 (java) S 28411 28414 25887 0 -1 1077944384 20921 13313 0 0 1419 50 5 3 20 0 15 0 443864726 11109412864 149011 33554432000 4194304 4196468 140726521203056 140234259286288 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28470] ppid=28411 vsize=10849036 memory=597076 CPUtime=14.78 cores=0,2,4,6 /proc/28414/task/28470/stat : 28470 (java) S 28411 28414 25887 0 -1 1077944384 22294 13313 0 0 1423 47 5 3 20 0 15 0 443864726 11109412864 149011 33554432000 4194304 4196468 140726521203056 140234258234000 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28471] ppid=28411 vsize=10849036 memory=597072 CPUtime=14.8 cores=0,2,4,6 /proc/28414/task/28471/stat : 28471 (java) S 28411 28414 25887 0 -1 1077944384 24068 13313 0 0 1427 45 5 3 20 0 15 0 443864726 11109412864 149011 33554432000 4194304 4196468 140726521203056 140234257181200 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28472] ppid=28411 vsize=10849036 memory=2832 CPUtime=5.38 cores=0,2,4,6 /proc/28414/task/28472/stat : 28472 (java) S 28411 28414 25887 0 -1 1077944384 14696 13313 0 0 474 56 5 3 20 0 15 0 443864727 11109412864 149011 33554432000 4194304 4196468 140726521203056 140233437289072 140234366782082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28473] ppid=28411 vsize=10849036 memory=668 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28473/stat : 28473 (java) S 28411 28414 25887 0 -1 1077944384 16 13313 0 0 0 0 5 3 20 0 15 0 443864727 11109412864 149011 33554432000 4194304 4196468 140726521203056 140233366562144 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28474] ppid=28411 vsize=10849036 memory=591544 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28474/stat : 28474 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864728 11109412864 149011 33554432000 4194304 4196468 140726521203056 140233165235840 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28475] ppid=28411 vsize=10849036 memory=591544 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28475/stat : 28475 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864730 11109412864 149011 33554432000 4194304 4196468 140726521203056 140232924944976 140234366789531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28476] ppid=28411 vsize=10849036 memory=3504 CPUtime=7.27 cores=0,2,4,6 /proc/28414/task/28476/stat : 28476 (java) S 28411 28414 25887 0 -1 1077944384 33111 13313 0 0 715 4 5 3 20 0 15 0 443864730 11109412864 149011 33554432000 4194304 4196468 140726521203056 140233436235888 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28477] ppid=28411 vsize=10849036 memory=47664 CPUtime=7.56 cores=0,2,4,6 /proc/28414/task/28477/stat : 28477 (java) S 28411 28414 25887 0 -1 1077944384 34826 13313 0 0 744 4 5 3 20 0 15 0 443864730 11109412864 149011 33554432000 4194304 4196468 140726521203056 140233435183088 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28478] ppid=28411 vsize=10849036 memory=218355 CPUtime=2.75 cores=0,2,4,6 /proc/28414/task/28478/stat : 28478 (java) S 28411 28414 25887 0 -1 1077944384 21814 13313 0 0 261 6 5 3 20 0 15 0 443864730 11109412864 149011 33554432000 4194304 4196468 140726521203056 140233333004656 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28479] ppid=28411 vsize=10849036 memory=210319 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28479/stat : 28479 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864730 11109412864 149011 33554432000 4194304 4196468 140726521203056 140232891386336 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28480] ppid=28411 vsize=10849036 memory=988 CPUtime=1.39 cores=0,2,4,6 /proc/28414/task/28480/stat : 28480 (java) S 28411 28414 25887 0 -1 1077944384 830 13313 0 0 64 67 5 3 20 0 15 0 443864731 11109412864 149011 33554432000 4194304 4196468 140726521203056 140233331952560 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 Current children cumulated CPU time: 2262.81 s Current children cumulated vsize: 10849036 KiB Current children cumulated memory: 596044 KiB [startup+2262.3 s] /proc/loadavg: 1.56 1.52 1.43 3/229 28941 /proc/meminfo: memFree=26786592/32770624 swapFree=66939904/67108860 [pid=28414] ppid=28411 vsize=10849036 memory=630920 CPUtime=2324.13 cores=0,2,4,6 /proc/28414/stat : 28414 (java) S 28411 28414 25887 0 -1 1077944320 315500 13313 0 0 232034 371 5 3 20 0 15 0 443864716 11109412864 157730 33554432000 4194304 4196468 140726521203056 140726521185600 140234366770935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 /proc/28414/statm: 2712259 157730 3642 1 0 2674317 0 [pid=28414/tid=28467] ppid=28411 vsize=10849036 memory=618728 CPUtime=2239.27 cores=0,2,4,6 /proc/28414/task/28467/stat : 28467 (java) R 28411 28414 25887 0 -1 4202560 117370 13313 0 0 223858 61 5 3 20 0 15 0 443864725 11109412864 157730 33554432000 4194304 4196468 140726521203056 140234338606800 140233927503883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28468] ppid=28411 vsize=10849036 memory=633360 CPUtime=15.23 cores=0,2,4,6 /proc/28414/task/28468/stat : 28468 (java) S 28411 28414 25887 0 -1 1077944384 21391 13313 0 0 1466 49 5 3 20 0 15 0 443864726 11109412864 157730 33554432000 4194304 4196468 140726521203056 140234371013008 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28469] ppid=28411 vsize=10849036 memory=631452 CPUtime=15.21 cores=0,2,4,6 /proc/28414/task/28469/stat : 28469 (java) S 28411 28414 25887 0 -1 1077944384 21302 13313 0 0 1461 52 5 3 20 0 15 0 443864726 11109412864 157730 33554432000 4194304 4196468 140726521203056 140234259286288 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28470] ppid=28411 vsize=10849036 memory=634048 CPUtime=15.24 cores=0,2,4,6 /proc/28414/task/28470/stat : 28470 (java) S 28411 28414 25887 0 -1 1077944384 22676 13313 0 0 1466 50 5 3 20 0 15 0 443864726 11109412864 157730 33554432000 4194304 4196468 140726521203056 140234258234000 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28471] ppid=28411 vsize=10849036 memory=2257 CPUtime=15.25 cores=0,2,4,6 /proc/28414/task/28471/stat : 28471 (java) S 28411 28414 25887 0 -1 1077944384 24543 13313 0 0 1469 48 5 3 20 0 15 0 443864726 11109412864 157730 33554432000 4194304 4196468 140726521203056 140234257181200 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28472] ppid=28411 vsize=10849036 memory=2241 CPUtime=5.52 cores=0,2,4,6 /proc/28414/task/28472/stat : 28472 (java) S 28411 28414 25887 0 -1 1077944384 14953 13313 0 0 486 58 5 3 20 0 15 0 443864727 11109412864 157730 33554432000 4194304 4196468 140726521203056 140233437289072 140234366782082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28473] ppid=28411 vsize=10849036 memory=634380 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28473/stat : 28473 (java) S 28411 28414 25887 0 -1 1077944384 16 13313 0 0 0 0 5 3 20 0 15 0 443864727 11109412864 157730 33554432000 4194304 4196468 140726521203056 140233366562144 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28474] ppid=28411 vsize=10849036 memory=631452 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28474/stat : 28474 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864728 11109412864 157730 33554432000 4194304 4196468 140726521203056 140233165235840 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28475] ppid=28411 vsize=10849036 memory=634896 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28475/stat : 28475 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864730 11109412864 157730 33554432000 4194304 4196468 140726521203056 140232924944976 140234366789531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28476] ppid=28411 vsize=10849036 memory=616656 CPUtime=7.27 cores=0,2,4,6 /proc/28414/task/28476/stat : 28476 (java) S 28411 28414 25887 0 -1 1077944384 33113 13313 0 0 715 4 5 3 20 0 15 0 443864730 11109412864 157730 33554432000 4194304 4196468 140726521203056 140233436235888 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28477] ppid=28411 vsize=10849036 memory=0 CPUtime=7.57 cores=0,2,4,6 /proc/28414/task/28477/stat : 28477 (java) S 28411 28414 25887 0 -1 1077944384 35253 13313 0 0 745 4 5 3 20 0 15 0 443864730 11109412864 157730 33554432000 4194304 4196468 140726521203056 140233435183088 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28478] ppid=28411 vsize=10849036 memory=633020 CPUtime=2.75 cores=0,2,4,6 /proc/28414/task/28478/stat : 28478 (java) S 28411 28414 25887 0 -1 1077944384 21816 13313 0 0 261 6 5 3 20 0 15 0 443864730 11109412864 157730 33554432000 4194304 4196468 140726521203056 140233333004656 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28479] ppid=28411 vsize=10849036 memory=634048 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28479/stat : 28479 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864730 11109412864 157730 33554432000 4194304 4196468 140726521203056 140232891386336 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28480] ppid=28411 vsize=10849036 memory=47668 CPUtime=1.43 cores=0,2,4,6 /proc/28414/task/28480/stat : 28480 (java) S 28411 28414 25887 0 -1 1077944384 848 13313 0 0 66 69 5 3 20 0 15 0 443864731 11109412864 157730 33554432000 4194304 4196468 140726521203056 140233331952560 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 Current children cumulated CPU time: 2324.13 s Current children cumulated vsize: 10849036 KiB Current children cumulated memory: 630920 KiB [startup+2322.3 s] /proc/loadavg: 1.73 1.57 1.45 3/229 28947 /proc/meminfo: memFree=26802172/32770624 swapFree=66939904/67108860 [pid=28414] ppid=28411 vsize=10849036 memory=630460 CPUtime=2385.44 cores=0,2,4,6 /proc/28414/stat : 28414 (java) S 28411 28414 25887 0 -1 1077944320 323693 13313 0 0 238156 380 5 3 20 0 15 0 443864716 11109412864 157615 33554432000 4194304 4196468 140726521203056 140726521185600 140234366770935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 /proc/28414/statm: 2712259 157615 3642 1 0 2674317 0 [pid=28414/tid=28467] ppid=28411 vsize=10849036 memory=615276 CPUtime=2298.6 cores=0,2,4,6 /proc/28414/task/28467/stat : 28467 (java) R 28411 28414 25887 0 -1 4202560 123264 13313 0 0 229789 63 5 3 20 0 15 0 443864725 11109412864 157615 33554432000 4194304 4196468 140726521203056 140234338607376 140233930034960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28468] ppid=28411 vsize=10849036 memory=609476 CPUtime=15.67 cores=0,2,4,6 /proc/28414/task/28468/stat : 28468 (java) S 28411 28414 25887 0 -1 1077944384 21951 13313 0 0 1509 50 5 3 20 0 15 0 443864726 11109412864 157615 33554432000 4194304 4196468 140726521203056 140234371013008 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28469] ppid=28411 vsize=10849036 memory=0 CPUtime=15.65 cores=0,2,4,6 /proc/28414/task/28469/stat : 28469 (java) S 28411 28414 25887 0 -1 1077944384 21680 13313 0 0 1504 53 5 3 20 0 15 0 443864726 11109412864 157615 33554432000 4194304 4196468 140726521203056 140234259286288 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28470] ppid=28411 vsize=10849036 memory=606396 CPUtime=15.67 cores=0,2,4,6 /proc/28414/task/28470/stat : 28470 (java) S 28411 28414 25887 0 -1 1077944384 23117 13313 0 0 1509 50 5 3 20 0 15 0 443864726 11109412864 157615 33554432000 4194304 4196468 140726521203056 140234258234000 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28471] ppid=28411 vsize=10849036 memory=604344 CPUtime=15.7 cores=0,2,4,6 /proc/28414/task/28471/stat : 28471 (java) S 28411 28414 25887 0 -1 1077944384 24955 13313 0 0 1513 49 5 3 20 0 15 0 443864726 11109412864 157615 33554432000 4194304 4196468 140726521203056 140234257181200 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28472] ppid=28411 vsize=10849036 memory=606396 CPUtime=5.68 cores=0,2,4,6 /proc/28414/task/28472/stat : 28472 (java) S 28411 28414 25887 0 -1 1077944384 15202 13313 0 0 500 60 5 3 20 0 15 0 443864727 11109412864 157615 33554432000 4194304 4196468 140726521203056 140233437289072 140234366782082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28473] ppid=28411 vsize=10849036 memory=617044 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28473/stat : 28473 (java) S 28411 28414 25887 0 -1 1077944384 16 13313 0 0 0 0 5 3 20 0 15 0 443864727 11109412864 157615 33554432000 4194304 4196468 140726521203056 140233366562144 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28474] ppid=28411 vsize=10849036 memory=621164 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28474/stat : 28474 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864728 11109412864 157615 33554432000 4194304 4196468 140726521203056 140233165235840 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28475] ppid=28411 vsize=10849036 memory=618416 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28475/stat : 28475 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864730 11109412864 157615 33554432000 4194304 4196468 140726521203056 140232924944976 140234366789531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28476] ppid=28411 vsize=10849036 memory=988 CPUtime=7.28 cores=0,2,4,6 /proc/28414/task/28476/stat : 28476 (java) S 28411 28414 25887 0 -1 1077944384 33349 13313 0 0 716 4 5 3 20 0 15 0 443864730 11109412864 157615 33554432000 4194304 4196468 140726521203056 140233436235888 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28477] ppid=28411 vsize=10849036 memory=606912 CPUtime=7.57 cores=0,2,4,6 /proc/28414/task/28477/stat : 28477 (java) S 28411 28414 25887 0 -1 1077944384 35256 13313 0 0 745 4 5 3 20 0 15 0 443864730 11109412864 157615 33554432000 4194304 4196468 140726521203056 140233435183088 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28478] ppid=28411 vsize=10849036 memory=606912 CPUtime=2.75 cores=0,2,4,6 /proc/28414/task/28478/stat : 28478 (java) S 28411 28414 25887 0 -1 1077944384 21818 13313 0 0 261 6 5 3 20 0 15 0 443864730 11109412864 157615 33554432000 4194304 4196468 140726521203056 140233333004656 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28479] ppid=28411 vsize=10849036 memory=621164 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28479/stat : 28479 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864730 11109412864 157615 33554432000 4194304 4196468 140726521203056 140232891386336 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28480] ppid=28411 vsize=10849036 memory=9580 CPUtime=1.47 cores=0,2,4,6 /proc/28414/task/28480/stat : 28480 (java) S 28411 28414 25887 0 -1 1077944384 866 13313 0 0 68 71 5 3 20 0 15 0 443864731 11109412864 157615 33554432000 4194304 4196468 140726521203056 140233331952560 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 Current children cumulated CPU time: 2385.44 s Current children cumulated vsize: 10849036 KiB Current children cumulated memory: 630460 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2336.6 s] /proc/loadavg: 1.93 1.62 1.47 3/229 28948 /proc/meminfo: memFree=26790152/32770624 swapFree=66939904/67108860 [pid=28414] ppid=28411 vsize=10849036 memory=632372 CPUtime=2400.01 cores=0,2,4,6 /proc/28414/stat : 28414 (java) S 28411 28414 25887 0 -1 1077944320 324955 13313 0 0 239611 382 5 3 20 0 15 0 443864716 11109412864 158093 33554432000 4194304 4196468 140726521203056 140726521185600 140234366770935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 /proc/28414/statm: 2712259 158093 3642 1 0 2674317 0 [pid=28414/tid=28467] ppid=28411 vsize=10849036 memory=1076 CPUtime=2312.77 cores=0,2,4,6 /proc/28414/task/28467/stat : 28467 (java) R 28411 28414 25887 0 -1 4202560 124245 13313 0 0 231205 64 5 3 20 0 15 0 443864725 11109412864 158093 33554432000 4194304 4196468 140726521203056 140234338606848 140233930034851 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28468] ppid=28411 vsize=10849036 memory=14008 CPUtime=15.77 cores=0,2,4,6 /proc/28414/task/28468/stat : 28468 (java) S 28411 28414 25887 0 -1 1077944384 21992 13313 0 0 1518 51 5 3 20 0 15 0 443864726 11109412864 158093 33554432000 4194304 4196468 140726521203056 140234371013008 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28469] ppid=28411 vsize=10849036 memory=26116 CPUtime=15.74 cores=0,2,4,6 /proc/28414/task/28469/stat : 28469 (java) S 28411 28414 25887 0 -1 1077944384 21736 13313 0 0 1513 53 5 3 20 0 15 0 443864726 11109412864 158093 33554432000 4194304 4196468 140726521203056 140234259286288 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28470] ppid=28411 vsize=10849036 memory=14056 CPUtime=15.77 cores=0,2,4,6 /proc/28414/task/28470/stat : 28470 (java) S 28411 28414 25887 0 -1 1077944384 23157 13313 0 0 1518 51 5 3 20 0 15 0 443864726 11109412864 158093 33554432000 4194304 4196468 140726521203056 140234258234000 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28471] ppid=28411 vsize=10849036 memory=2116 CPUtime=15.8 cores=0,2,4,6 /proc/28414/task/28471/stat : 28471 (java) S 28411 28414 25887 0 -1 1077944384 25081 13313 0 0 1522 50 5 3 20 0 15 0 443864726 11109412864 158093 33554432000 4194304 4196468 140726521203056 140234257181200 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28472] ppid=28411 vsize=10849036 memory=520 CPUtime=5.71 cores=0,2,4,6 /proc/28414/task/28472/stat : 28472 (java) S 28411 28414 25887 0 -1 1077944384 15218 13313 0 0 503 60 5 3 20 0 15 0 443864727 11109412864 158093 33554432000 4194304 4196468 140726521203056 140233437289072 140234366782082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28473] ppid=28411 vsize=10849036 memory=1560 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28473/stat : 28473 (java) S 28411 28414 25887 0 -1 1077944384 16 13313 0 0 0 0 5 3 20 0 15 0 443864727 11109412864 158093 33554432000 4194304 4196468 140726521203056 140233366562144 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28474] ppid=28411 vsize=10849036 memory=924 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28474/stat : 28474 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864728 11109412864 158093 33554432000 4194304 4196468 140726521203056 140233165235840 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28475] ppid=28411 vsize=10849036 memory=3688 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28475/stat : 28475 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864730 11109412864 158093 33554432000 4194304 4196468 140726521203056 140232924944976 140234366789531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28476] ppid=28411 vsize=10849036 memory=1984 CPUtime=7.28 cores=0,2,4,6 /proc/28414/task/28476/stat : 28476 (java) S 28411 28414 25887 0 -1 1077944384 33349 13313 0 0 716 4 5 3 20 0 15 0 443864730 11109412864 158093 33554432000 4194304 4196468 140726521203056 140233436235888 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28477] ppid=28411 vsize=10849036 memory=1440 CPUtime=7.57 cores=0,2,4,6 /proc/28414/task/28477/stat : 28477 (java) S 28411 28414 25887 0 -1 1077944384 35256 13313 0 0 745 4 5 3 20 0 15 0 443864730 11109412864 158093 33554432000 4194304 4196468 140726521203056 140233435183088 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28478] ppid=28411 vsize=10849036 memory=816 CPUtime=2.75 cores=0,2,4,6 /proc/28414/task/28478/stat : 28478 (java) S 28411 28414 25887 0 -1 1077944384 21818 13313 0 0 261 6 5 3 20 0 15 0 443864730 11109412864 158093 33554432000 4194304 4196468 140726521203056 140233333004656 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28479] ppid=28411 vsize=10849036 memory=2580 CPUtime=0.08 cores=0,2,4,6 /proc/28414/task/28479/stat : 28479 (java) S 28411 28414 25887 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 443864730 11109412864 158093 33554432000 4194304 4196468 140726521203056 140232891386336 140234366781141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 [pid=28414/tid=28480] ppid=28411 vsize=10849036 memory=1760 CPUtime=1.48 cores=0,2,4,6 /proc/28414/task/28480/stat : 28480 (java) S 28411 28414 25887 0 -1 1077944384 868 13313 0 0 68 72 5 3 20 0 15 0 443864731 11109412864 158093 33554432000 4194304 4196468 140726521203056 140233331952560 140234366782082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140726521211631 140726521214149 140726521214149 140726521216975 0 Current children cumulated CPU time: 2400.01 s Current children cumulated vsize: 10849036 KiB Current children cumulated memory: 632372 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2336.64 s] # the end of solver process 28414 was just reported to runsolver # cumulated CPU time of all completed processes: user=2396.2 s, system=3.8721 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2336.64 CPU time (s): 2400.07 CPU user time (s): 2396.2 CPU system time (s): 3.8721 CPU usage (%): 102.715 Max. virtual memory (cumulated for all children) (KiB): 10849036 Max. memory (cumulated for all children) (KiB): 1827236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2396.2 system time used= 3.8721 maximum resident set size= 1827236 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 339309 page faults= 0 swaps= 0 block input operations= 272 block output operations= 2832 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 156615 involuntary context switches= 6803 # summary of solver processes directly reported to runsolver: # pid: 28414 # total CPU time (s): 2400.07 # total CPU user time (s): 2396.2 # total CPU system time (s): 3.8721 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.2054 second user time and 22.7762 second system time The end
Begin job on node119 at 2019-09-17 02:17:38 IDJOB=4401449 IDBENCH=126995 IDSOLVER=2858 FILE ID=node119/4401449-1568679498 RUNJOBID= node119-1568673291-25918 PBS_JOBID= 21703790 Free space on /tmp= 61308 MiB SOLVER NAME= Concrete 3.12.2 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-090.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4401449-1568679498/watcher-4401449-1568679498 -o /tmp/evaluation-result-4401449-1568679498/solver-4401449-1568679498 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568673291-25918 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1273672677 HOME/instance-4401449-1568679498.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d92bd6a6dba83323313b355bf487e521 RANDOM SEED=1273672677 node119.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.47 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.47 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.47 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.47 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: 28359764 kB MemAvailable: 30833224 kB Buffers: 107356 kB Cached: 2649592 kB SwapCached: 61076 kB Active: 2400324 kB Inactive: 1410676 kB Active(anon): 993448 kB Inactive(anon): 110652 kB Active(file): 1406876 kB Inactive(file): 1300024 kB Unevictable: 107752 kB Mlocked: 107752 kB SwapTotal: 67108860 kB SwapFree: 66939904 kB Dirty: 35732 kB Writeback: 16 kB AnonPages: 1102392 kB Mapped: 62160 kB Shmem: 41040 kB Slab: 193788 kB SReclaimable: 164788 kB SUnreclaim: 29000 kB KernelStack: 3760 kB PageTables: 8272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2227084 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 874496 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61276 MiB End job on node119 at 2019-09-17 02:56:35