Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Concrete 3.10 | SAT (TO) | 1789 | 2400.15 | 2326.63 |
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.69/0.56 c Concrete v3.10.1560635388952 running 19.35/7.14 o 2757 19.63/7.23 o 2653 19.63/7.29 o 2533 22.57/8.26 o 2517 22.57/8.28 o 2485 22.87/8.35 o 2397 22.87/8.36 o 2341 23.13/8.43 o 2285 26.02/10.29 o 2093 135.24/111.85 o 1933 150.14/125.90 o 1813 466.29/432.50 o 1789 2400.09/2326.60 Exception in thread "main" java.util.concurrent.TimeoutException 2400.09/2326.60 at concrete.MAC.mac(MAC.scala:189) 2400.09/2326.60 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253) 2400.09/2326.60 at scala.util.Try$.apply(Try.scala:212) 2400.09/2326.60 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2400.09/2326.60 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2400.09/2326.60 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2400.09/2326.60 at concrete.MAC.oneRun(MAC.scala:253) 2400.09/2326.60 at concrete.MAC.nextSolution(MAC.scala:272) 2400.09/2326.60 at concrete.MAC.nextSolution(MAC.scala:355) 2400.09/2326.60 at concrete.Solver.hasNext(Solver.scala:160) 2400.09/2326.60 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2400.09/2326.60 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2400.09/2326.60 at concrete.Solver.foreach(Solver.scala:67) 2400.09/2326.60 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:72) 2400.09/2326.60 at scala.util.Success.map(Try.scala:264) 2400.09/2326.60 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67) 2400.09/2326.60 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2400.09/2326.60 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.09/2326.60 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2400.09/2326.60 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.09/2326.60 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2400.09/2326.60 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2400.09/2326.60 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2400.09/2326.60 at scala.App.$anonfun$main$1(App.scala:75) 2400.09/2326.60 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2400.09/2326.60 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2400.09/2326.60 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2400.09/2326.60 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2400.09/2326.60 at scala.App.main(App.scala:75) 2400.09/2326.60 at scala.App.main$(App.scala:73) 2400.09/2326.60 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.09/2326.60 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.09/2326.61 v <instantiation 2400.09/2326.61 v cost = '1789'> 2400.09/2326.61 v <list> 2400.09/2326.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.09/2326.62 v </list> 2400.09/2326.62 v <values> 2400.09/2326.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 7 -10 3 -2 7 -4 5 8 5 2 -3 4 1 -2 -3 0 5 6 -1 10 1 -12 -9 4 -3 6 7 -4 1 0 1 4 -1 4 -1 -2 -3 4 -1 0 1 2 3 4 -1 6 3 -4 9 -2 3 2 -7 12 3 2 3 2 5 -2 1 -6 -9 8 1 2 3 -2 1 0 -1 0 5 2 5 4 -3 2 -7 -4 -3 -2 1 2 3 0 3 0 -1 49 100 9 4 49 16 25 64 25 4 9 16 1 4 9 0 25 36 1 100 1 144 81 16 9 36 49 16 1 0 1 16 1 16 1 4 9 16 1 0 1 4 9 16 1 36 9 16 81 4 9 4 49 144 9 4 9 4 25 4 1 36 81 64 1 4 9 4 1 0 1 0 25 4 25 16 9 4 49 16 9 4 1 4 9 0 9 0 1 2400.09/2326.62 v </values> 2400.09/2326.62 v </instantiation> 2400.09/2326.62 s SATISFIABLE
OK 1789
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 (9899 MiB free) memory of node 1: 16384 MiB (12353 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392189-1568313641/watcher-4392189-1568313641 -o /tmp/evaluation-result-4392189-1568313641/solver-4392189-1568313641 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568301258-4657 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1463846121 HOME/instance-4392189-1568313641.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=8657, runsolver pid=8654 [startup+0.100092 s]* /proc/loadavg: 1.27 1.40 1.47 3/218 8714 /proc/meminfo: memFree=22783132/32770624 swapFree=66997112/67108860 [pid=8657] ppid=8654 vsize=9972712 memory=14912 CPUtime=0.08 cores=0,2,4,6 /proc/8657/stat : 8657 (java) S 8654 8657 14487 0 -1 1077944320 4491 13005 0 0 1 0 5 2 20 0 6 0 407617147 10212057088 3728 33554432000 4194304 4196468 140728071255056 140728071237600 139982978604791 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 /proc/8657/statm: 2493178 3728 1935 1 0 2481616 0 [pid=8657/tid=8710] ppid=8654 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6 /proc/8657/task/8710/stat : 8710 (java) R 8654 8657 14487 0 -1 4202560 2311 13005 0 0 1 0 5 2 20 0 6 0 407617156 10212057088 3794 33554432000 4194304 4196468 140728071255056 139982950441552 139982962685308 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8711] ppid=8654 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8711/stat : 8711 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 6 0 407617156 10212057088 3794 33554432000 4194304 4196468 140728071255056 139982982847504 139982978614997 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8712] ppid=8654 vsize=9972712 memory=16241347747833496 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8712/stat : 8712 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 6 0 407617156 10212057088 3794 33554432000 4194304 4196468 140728071255056 139982551747728 139982978614997 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8713] ppid=8654 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8713/stat : 8713 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 6 0 407617156 10212057088 3794 33554432000 4194304 4196468 140728071255056 139982550694672 139982978614997 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8714] ppid=8654 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8714/stat : 8714 (java) S 8654 8657 14487 0 -1 1077944384 2 13005 0 0 0 0 5 2 20 0 6 0 407617156 10212057088 3794 33554432000 4194304 4196468 140728071255056 139982549642128 139982978614997 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 Current children cumulated CPU time: 0.08 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 14912 KiB [startup+0.212547 s]* /proc/loadavg: 1.27 1.40 1.47 3/227 8723 /proc/meminfo: memFree=22761908/32770624 swapFree=66997112/67108860 [pid=8657] ppid=8654 vsize=10818940 memory=38052 CPUtime=0.25 cores=0,2,4,6 /proc/8657/stat : 8657 (java) S 8654 8657 14487 0 -1 1077944320 7327 13005 0 0 16 2 5 2 20 0 15 0 407617147 11078594560 9513 33554432000 4194304 4196468 140728071255056 140728071237600 139982978604791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 /proc/8657/statm: 2704735 9513 2983 1 0 2667149 0 [pid=8657/tid=8710] ppid=8654 vsize=10818940 memory=734403540614644017 CPUtime=0.18 cores=0,2,4,6 /proc/8657/task/8710/stat : 8710 (java) R 8654 8657 14487 0 -1 4202560 3757 13005 0 0 10 1 5 2 20 0 15 0 407617156 11078594560 9521 33554432000 4194304 4196468 140728071255056 139982950445072 139982978626717 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8711] ppid=8654 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8711/stat : 8711 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 407617156 11078594560 9521 33554432000 4194304 4196468 140728071255056 139982982847504 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8712] ppid=8654 vsize=10818940 memory=16241347747833496 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8712/stat : 8712 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 407617156 11078594560 9521 33554432000 4194304 4196468 140728071255056 139982551747728 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8713] ppid=8654 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8713/stat : 8713 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 407617156 11078594560 9521 33554432000 4194304 4196468 140728071255056 139982550694672 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8714] ppid=8654 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8714/stat : 8714 (java) S 8654 8657 14487 0 -1 1077944384 2 13005 0 0 0 0 5 2 20 0 15 0 407617156 11078594560 9521 33554432000 4194304 4196468 140728071255056 139982549642128 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8715] ppid=8654 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8715/stat : 8715 (java) S 8654 8657 14487 0 -1 1077944384 2 13005 0 0 0 0 5 2 20 0 15 0 407617158 11078594560 9521 33554432000 4194304 4196468 140728071255056 139982048942320 139982978615938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8716] ppid=8654 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8716/stat : 8716 (java) S 8654 8657 14487 0 -1 1077944384 13 13005 0 0 0 0 5 2 20 0 15 0 407617158 11078594560 9521 33554432000 4194304 4196468 140728071255056 139981976757408 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8717] ppid=8654 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8717/stat : 8717 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 407617159 11078594560 9521 33554432000 4194304 4196468 140728071255056 139981775430384 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8718] ppid=8654 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8718/stat : 8718 (java) S 8654 8657 14487 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 407617162 11078594560 9521 33554432000 4194304 4196468 140728071255056 139981535139792 139982978623387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8719] ppid=8654 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/8657/task/8719/stat : 8719 (java) S 8654 8657 14487 0 -1 1077944384 362 13005 0 0 1 0 5 2 20 0 15 0 407617162 11078594560 9521 33554432000 4194304 4196468 140728071255056 139982047890160 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8720] ppid=8654 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6 /proc/8657/task/8720/stat : 8720 (java) S 8654 8657 14487 0 -1 1077944384 283 13005 0 0 1 0 5 2 20 0 15 0 407617162 11078594560 9521 33554432000 4194304 4196468 140728071255056 139982046837616 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8721] ppid=8654 vsize=10818940 memory=139870897628800 CPUtime=0.09 cores=0,2,4,6 /proc/8657/task/8721/stat : 8721 (java) S 8654 8657 14487 0 -1 1077944384 696 13005 0 0 2 0 5 2 20 0 15 0 407617162 11078594560 9521 33554432000 4194304 4196468 140728071255056 139982045784560 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8722] ppid=8654 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8722/stat : 8722 (java) S 8654 8657 14487 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 407617162 11078594560 9521 33554432000 4194304 4196468 140728071255056 139981501582176 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8723] ppid=8654 vsize=10818940 memory=139870897628800 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8723/stat : 8723 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 407617162 11078594560 9521 33554432000 4194304 4196468 140728071255056 139981943200304 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 10818940 KiB Current children cumulated memory: 38052 KiB [startup+0.310561 s]* /proc/loadavg: 1.27 1.40 1.47 5/227 8723 /proc/meminfo: memFree=22750908/32770624 swapFree=66997112/67108860 [pid=8657] ppid=8654 vsize=10819084 memory=46588 CPUtime=0.39 cores=0,2,4,6 /proc/8657/stat : 8657 (java) S 8654 8657 14487 0 -1 1077944320 10899 13005 0 0 28 4 5 2 20 0 15 0 407617147 11078742016 11647 33554432000 4194304 4196468 140728071255056 140728071237600 139982978604791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 /proc/8657/statm: 2704771 11647 3040 1 0 2667149 0 [pid=8657/tid=8710] ppid=8654 vsize=10819092 memory=8317482817917895235 CPUtime=0.28 cores=0,2,4,6 /proc/8657/task/8710/stat : 8710 (java) R 8654 8657 14487 0 -1 4202560 7268 13005 0 0 19 2 5 2 20 0 15 0 407617156 11078750208 11647 33554432000 4194304 4196468 140728071255056 139982950404048 139982978626717 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8711] ppid=8654 vsize=10819092 memory=-7384621950708166502 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8711/stat : 8711 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 407617156 11078750208 11647 33554432000 4194304 4196468 140728071255056 139982982847504 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8712] ppid=8654 vsize=10819136 memory=4134692831991783777 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8712/stat : 8712 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 407617156 11078795264 11647 33554432000 4194304 4196468 140728071255056 139982551747728 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8713] ppid=8654 vsize=10819136 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8713/stat : 8713 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 407617156 11078795264 11712 33554432000 4194304 4196468 140728071255056 139982550694672 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8714] ppid=8654 vsize=10819136 memory=-1 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8714/stat : 8714 (java) S 8654 8657 14487 0 -1 1077944384 2 13005 0 0 0 0 5 2 20 0 15 0 407617156 11078795264 11712 33554432000 4194304 4196468 140728071255056 139982549642128 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8715] ppid=8654 vsize=10819136 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8715/stat : 8715 (java) S 8654 8657 14487 0 -1 1077944384 2 13005 0 0 0 0 5 2 20 0 15 0 407617158 11078795264 11712 33554432000 4194304 4196468 140728071255056 139982048942320 139982978615938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8716] ppid=8654 vsize=10819136 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8716/stat : 8716 (java) S 8654 8657 14487 0 -1 1077944384 13 13005 0 0 0 0 5 2 20 0 15 0 407617158 11078795264 11712 33554432000 4194304 4196468 140728071255056 139981976757408 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8717] ppid=8654 vsize=10819136 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8717/stat : 8717 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 407617159 11078795264 11712 33554432000 4194304 4196468 140728071255056 139981775430384 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8718] ppid=8654 vsize=10819136 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8718/stat : 8718 (java) S 8654 8657 14487 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 407617162 11078795264 11712 33554432000 4194304 4196468 140728071255056 139981535139792 139982978623387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8719] ppid=8654 vsize=10819136 memory=0 CPUtime=0.09 cores=0,2,4,6 /proc/8657/task/8719/stat : 8719 (java) S 8654 8657 14487 0 -1 1077944384 371 13005 0 0 2 0 5 2 20 0 15 0 407617162 11078795264 11712 33554432000 4194304 4196468 140728071255056 139982047890160 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8720] ppid=8654 vsize=10819136 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/8657/task/8720/stat : 8720 (java) S 8654 8657 14487 0 -1 1077944384 286 13005 0 0 1 0 5 2 20 0 15 0 407617162 11078795264 11712 33554432000 4194304 4196468 140728071255056 139982046837616 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8721] ppid=8654 vsize=10819160 memory=0 CPUtime=0.12 cores=0,2,4,6 /proc/8657/task/8721/stat : 8721 (java) R 8654 8657 14487 0 -1 4202560 742 13005 0 0 5 0 5 2 20 0 15 0 407617162 11078819840 11712 33554432000 4194304 4196468 140728071255056 139982045784560 139982978626138 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8722] ppid=8654 vsize=10819160 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8722/stat : 8722 (java) S 8654 8657 14487 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 407617162 11078819840 11712 33554432000 4194304 4196468 140728071255056 139981501582176 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8723] ppid=8654 vsize=10819160 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8723/stat : 8723 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 407617162 11078819840 11712 33554432000 4194304 4196468 140728071255056 139981943200304 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 Current children cumulated CPU time: 0.39 s Current children cumulated vsize: 10819084 KiB Current children cumulated memory: 46588 KiB [startup+0.70073 s] /proc/loadavg: 1.27 1.40 1.47 3/227 8723 /proc/meminfo: memFree=22738504/32770624 swapFree=66997112/67108860 [pid=8657] ppid=8654 vsize=10824340 memory=81500 CPUtime=1.14 cores=0,2,4,6 /proc/8657/stat : 8657 (java) S 8654 8657 14487 0 -1 1077944320 15077 13005 0 0 101 6 5 2 20 0 15 0 407617147 11084124160 20375 33554432000 4194304 4196468 140728071255056 140728071237600 139982978604791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 /proc/8657/statm: 2706085 20375 3496 1 0 2668173 0 [pid=8657/tid=8710] ppid=8654 vsize=10824340 memory=0 CPUtime=0.66 cores=0,2,4,6 /proc/8657/task/8710/stat : 8710 (java) R 8654 8657 14487 0 -1 4202560 10550 13005 0 0 55 4 5 2 20 0 15 0 407617156 11084124160 20375 33554432000 4194304 4196468 140728071255056 139982950427216 139982978626717 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8711] ppid=8654 vsize=10824340 memory=3504 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8711/stat : 8711 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 407617156 11084124160 20375 33554432000 4194304 4196468 140728071255056 139982982847504 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8712] ppid=8654 vsize=10824340 memory=37872 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8712/stat : 8712 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 407617156 11084124160 20375 33554432000 4194304 4196468 140728071255056 139982551747728 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8713] ppid=8654 vsize=10824340 memory=3028 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8713/stat : 8713 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 407617156 11084124160 20375 33554432000 4194304 4196468 140728071255056 139982550694672 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8714] ppid=8654 vsize=10824340 memory=2012 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8714/stat : 8714 (java) S 8654 8657 14487 0 -1 1077944384 2 13005 0 0 0 0 5 2 20 0 15 0 407617156 11084124160 20375 33554432000 4194304 4196468 140728071255056 139982549642128 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8715] ppid=8654 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8715/stat : 8715 (java) S 8654 8657 14487 0 -1 1077944384 5 13005 0 0 0 0 5 2 20 0 15 0 407617158 11084124160 20375 33554432000 4194304 4196468 140728071255056 139982048942320 139982978615938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8716] ppid=8654 vsize=10824340 memory=-6592860228303572950 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8716/stat : 8716 (java) S 8654 8657 14487 0 -1 1077944384 13 13005 0 0 0 0 5 2 20 0 15 0 407617158 11084124160 20375 33554432000 4194304 4196468 140728071255056 139981976757408 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8717] ppid=8654 vsize=10824340 memory=3470692292451393600 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8717/stat : 8717 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 407617159 11084124160 20375 33554432000 4194304 4196468 140728071255056 139981775430384 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8718] ppid=8654 vsize=10824340 memory=4207095701905760320 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8718/stat : 8718 (java) S 8654 8657 14487 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 407617162 11084124160 20375 33554432000 4194304 4196468 140728071255056 139981535139792 139982978623387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8719] ppid=8654 vsize=10824340 memory=7742969266734009136 CPUtime=0.21 cores=0,2,4,6 /proc/8657/task/8719/stat : 8719 (java) S 8654 8657 14487 0 -1 1077944384 730 13005 0 0 14 0 5 2 20 0 15 0 407617162 11084124160 20375 33554432000 4194304 4196468 140728071255056 139982047890160 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8720] ppid=8654 vsize=10824340 memory=6935649255911810368 CPUtime=0.19 cores=0,2,4,6 /proc/8657/task/8720/stat : 8720 (java) S 8654 8657 14487 0 -1 1077944384 576 13005 0 0 12 0 5 2 20 0 15 0 407617162 11084124160 20375 33554432000 4194304 4196468 140728071255056 139982046837616 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8721] ppid=8654 vsize=10824340 memory=7250080924377825376 CPUtime=0.24 cores=0,2,4,6 /proc/8657/task/8721/stat : 8721 (java) S 8654 8657 14487 0 -1 1077944384 984 13005 0 0 17 0 5 2 20 0 15 0 407617162 11084124160 20375 33554432000 4194304 4196468 140728071255056 139982045784560 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8722] ppid=8654 vsize=10824340 memory=4627829255015776352 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8722/stat : 8722 (java) S 8654 8657 14487 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 407617162 11084124160 20375 33554432000 4194304 4196468 140728071255056 139981501582176 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8723] ppid=8654 vsize=10824340 memory=6935649255759568960 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8723/stat : 8723 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 407617162 11084124160 20375 33554432000 4194304 4196468 140728071255056 139981943200304 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 Current children cumulated CPU time: 1.14 s Current children cumulated vsize: 10824340 KiB Current children cumulated memory: 81500 KiB [startup+1.5022 s] /proc/loadavg: 1.27 1.40 1.47 5/227 8723 /proc/meminfo: memFree=22669836/32770624 swapFree=66997112/67108860 [pid=8657] ppid=8654 vsize=10832608 memory=248088 CPUtime=3.26 cores=0,2,4,6 /proc/8657/stat : 8657 (java) S 8654 8657 14487 0 -1 1077944320 26171 13005 0 0 305 14 5 2 20 0 15 0 407617147 11092590592 62022 33554432000 4194304 4196468 140728071255056 140728071237600 139982978604791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 /proc/8657/statm: 2708152 62022 3573 1 0 2670221 0 [pid=8657/tid=8710] ppid=8654 vsize=10832608 memory=7 CPUtime=1.41 cores=0,2,4,6 /proc/8657/task/8710/stat : 8710 (java) R 8654 8657 14487 0 -1 4202560 14178 13005 0 0 127 7 5 2 20 0 15 0 407617156 11092590592 62022 33554432000 4194304 4196468 140728071255056 139982950429248 139982978626717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8711] ppid=8654 vsize=10832608 memory=37872 CPUtime=0.09 cores=0,2,4,6 /proc/8657/task/8711/stat : 8711 (java) S 8654 8657 14487 0 -1 1077944384 36 13005 0 0 2 0 5 2 20 0 15 0 407617156 11092590592 62022 33554432000 4194304 4196468 140728071255056 139982982847504 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8712] ppid=8654 vsize=10832608 memory=3028 CPUtime=0.09 cores=0,2,4,6 /proc/8657/task/8712/stat : 8712 (java) S 8654 8657 14487 0 -1 1077944384 216 13005 0 0 2 0 5 2 20 0 15 0 407617156 11092590592 62022 33554432000 4194304 4196468 140728071255056 139982551747728 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8713] ppid=8654 vsize=10832608 memory=2012 CPUtime=0.09 cores=0,2,4,6 /proc/8657/task/8713/stat : 8713 (java) S 8654 8657 14487 0 -1 1077944384 20 13005 0 0 2 0 5 2 20 0 15 0 407617156 11092590592 62022 33554432000 4194304 4196468 140728071255056 139982550694672 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8714] ppid=8654 vsize=10832608 memory=0 CPUtime=0.09 cores=0,2,4,6 /proc/8657/task/8714/stat : 8714 (java) S 8654 8657 14487 0 -1 1077944384 53 13005 0 0 2 0 5 2 20 0 15 0 407617156 11092590592 62022 33554432000 4194304 4196468 140728071255056 139982549642128 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8715] ppid=8654 vsize=10832608 memory=3477430095703285352 CPUtime=0.08 cores=0,2,4,6 /proc/8657/task/8715/stat : 8715 (java) S 8654 8657 14487 0 -1 1077944384 57 13005 0 0 1 0 5 2 20 0 15 0 407617158 11092590592 62022 33554432000 4194304 4196468 140728071255056 139982048942320 139982978615938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8716] ppid=8654 vsize=10832608 memory=3833161624319373824 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8716/stat : 8716 (java) S 8654 8657 14487 0 -1 1077944384 14 13005 0 0 0 0 5 2 20 0 15 0 407617158 11092590592 62022 33554432000 4194304 4196468 140728071255056 139981976757472 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8717] ppid=8654 vsize=10832608 memory=4049615911407268608 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8717/stat : 8717 (java) R 8654 8657 14487 0 -1 4202560 1 13005 0 0 0 0 5 2 20 0 15 0 407617159 11092590592 62022 33554432000 4194304 4196468 140728071255056 139981775428880 139982582517894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8718] ppid=8654 vsize=10832608 memory=3543266591656653100 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8718/stat : 8718 (java) S 8654 8657 14487 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 407617162 11092590592 62022 33554432000 4194304 4196468 140728071255056 139981535139792 139982978623387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8719] ppid=8654 vsize=10832608 memory=0 CPUtime=0.72 cores=0,2,4,6 /proc/8657/task/8719/stat : 8719 (java) S 8654 8657 14487 0 -1 1077944384 3749 13005 0 0 64 1 5 2 20 0 15 0 407617162 11092590592 62022 33554432000 4194304 4196468 140728071255056 139982047890160 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8720] ppid=8654 vsize=10832608 memory=0 CPUtime=0.65 cores=0,2,4,6 /proc/8657/task/8720/stat : 8720 (java) R 8654 8657 14487 0 -1 1077944384 3243 13005 0 0 58 0 5 2 20 0 15 0 407617162 11092590592 62022 33554432000 4194304 4196468 140728071255056 139982046837616 139982978615938 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8721] ppid=8654 vsize=10832608 memory=0 CPUtime=0.5 cores=0,2,4,6 /proc/8657/task/8721/stat : 8721 (java) R 8654 8657 14487 0 -1 4202560 2392 13005 0 0 43 0 5 2 20 0 15 0 407617162 11092590592 62022 33554432000 4194304 4196468 140728071255056 139982045784560 139982957879544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8722] ppid=8654 vsize=10832608 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8722/stat : 8722 (java) S 8654 8657 14487 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 407617162 11092590592 62022 33554432000 4194304 4196468 140728071255056 139981501582176 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8723] ppid=8654 vsize=10832608 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8723/stat : 8723 (java) S 8654 8657 14487 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 407617162 11092590592 62022 33554432000 4194304 4196468 140728071255056 139981943200304 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 Current children cumulated CPU time: 3.26 s Current children cumulated vsize: 10832608 KiB ################ # More data... # ################ /proc/8657/task/8710/stat : 8710 (java) R 8654 8657 14487 0 -1 4202560 83612 13005 0 0 217878 53 5 2 20 0 15 0 407617156 11109388288 116124 33554432000 4194304 4196468 140728071255056 139982950441120 139982590289031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8711] ppid=8654 vsize=10849012 memory=465520 CPUtime=14.8 cores=0,2,4,6 /proc/8657/task/8711/stat : 8711 (java) S 8654 8657 14487 0 -1 1077944384 15796 13005 0 0 1437 36 5 2 20 0 15 0 407617156 11109388288 116124 33554432000 4194304 4196468 140728071255056 139982982847504 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8712] ppid=8654 vsize=10849012 memory=464496 CPUtime=14.79 cores=0,2,4,6 /proc/8657/task/8712/stat : 8712 (java) S 8654 8657 14487 0 -1 1077944384 19171 13005 0 0 1436 36 5 2 20 0 15 0 407617156 11109388288 116124 33554432000 4194304 4196468 140728071255056 139982551747728 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8713] ppid=8654 vsize=10849012 memory=466036 CPUtime=14.82 cores=0,2,4,6 /proc/8657/task/8713/stat : 8713 (java) S 8654 8657 14487 0 -1 1077944384 17287 13005 0 0 1439 36 5 2 20 0 15 0 407617156 11109388288 116124 33554432000 4194304 4196468 140728071255056 139982550694672 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8714] ppid=8654 vsize=10849012 memory=466036 CPUtime=14.75 cores=0,2,4,6 /proc/8657/task/8714/stat : 8714 (java) S 8654 8657 14487 0 -1 1077944384 12895 13005 0 0 1437 31 5 2 20 0 15 0 407617156 11109388288 116124 33554432000 4194304 4196468 140728071255056 139982549642128 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8715] ppid=8654 vsize=10849012 memory=466036 CPUtime=5.62 cores=0,2,4,6 /proc/8657/task/8715/stat : 8715 (java) S 8654 8657 14487 0 -1 1077944384 14572 13005 0 0 504 51 5 2 20 0 15 0 407617158 11109388288 116124 33554432000 4194304 4196468 140728071255056 139982048942320 139982978615938 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8716] ppid=8654 vsize=10849012 memory=37940 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8716/stat : 8716 (java) S 8654 8657 14487 0 -1 1077944384 19 13005 0 0 0 0 5 2 20 0 15 0 407617158 11109388288 116124 33554432000 4194304 4196468 140728071255056 139981976757472 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8717] ppid=8654 vsize=10849012 memory=465520 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8717/stat : 8717 (java) S 8654 8657 14487 0 -1 1077944384 6 13005 0 0 0 0 5 2 20 0 15 0 407617159 11109388288 116124 33554432000 4194304 4196468 140728071255056 139981775430400 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8718] ppid=8654 vsize=10849012 memory=465520 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8718/stat : 8718 (java) S 8654 8657 14487 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 407617162 11109388288 116124 33554432000 4194304 4196468 140728071255056 139981535139792 139982978623387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8719] ppid=8654 vsize=10849012 memory=466548 CPUtime=10.87 cores=0,2,4,6 /proc/8657/task/8719/stat : 8719 (java) S 8654 8657 14487 0 -1 1077944384 33290 13005 0 0 1072 8 5 2 20 0 15 0 407617162 11109388288 116124 33554432000 4194304 4196468 140728071255056 139982047890160 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8720] ppid=8654 vsize=10849012 memory=3504 CPUtime=11.66 cores=0,2,4,6 /proc/8657/task/8720/stat : 8720 (java) S 8654 8657 14487 0 -1 1077944384 37204 13005 0 0 1151 8 5 2 20 0 15 0 407617162 11109388288 116124 33554432000 4194304 4196468 140728071255056 139982046837616 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8721] ppid=8654 vsize=10849012 memory=1980 CPUtime=5.52 cores=0,2,4,6 /proc/8657/task/8721/stat : 8721 (java) S 8654 8657 14487 0 -1 1077944384 30493 13005 0 0 536 9 5 2 20 0 15 0 407617162 11109388288 116124 33554432000 4194304 4196468 140728071255056 139982045784560 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8722] ppid=8654 vsize=10849012 memory=2512 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8722/stat : 8722 (java) S 8654 8657 14487 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 407617162 11109388288 116124 33554432000 4194304 4196468 140728071255056 139981501582176 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8723] ppid=8654 vsize=10849012 memory=451052 CPUtime=1.38 cores=0,2,4,6 /proc/8657/task/8723/stat : 8723 (java) S 8654 8657 14487 0 -1 1077944384 1278 13005 0 0 65 66 5 2 20 0 15 0 407617162 11109388288 116124 33554432000 4194304 4196468 140728071255056 139981943200304 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 Current children cumulated CPU time: 2273.07 s Current children cumulated vsize: 10849012 KiB Current children cumulated memory: 464496 KiB [startup+2262.3 s] /proc/loadavg: 1.22 1.53 1.53 3/227 9087 /proc/meminfo: memFree=21376532/32770624 swapFree=66997112/67108860 [pid=8657] ppid=8654 vsize=10849012 memory=442636 CPUtime=2334.39 cores=0,2,4,6 /proc/8657/stat : 8657 (java) S 8654 8657 14487 0 -1 1077944320 270525 13005 0 0 233123 309 5 2 20 0 15 0 407617147 11109388288 110659 33554432000 4194304 4196468 140728071255056 140728071237600 139982978604791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 /proc/8657/statm: 2712253 110659 3637 1 0 2674317 0 [pid=8657/tid=8710] ppid=8654 vsize=10849012 memory=452924 CPUtime=2238.71 cores=0,2,4,6 /proc/8657/task/8710/stat : 8710 (java) R 8654 8657 14487 0 -1 4202560 85230 13005 0 0 223811 53 5 2 20 0 15 0 407617156 11109388288 110659 33554432000 4194304 4196468 140728071255056 139982950440848 139982584388952 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8711] ppid=8654 vsize=10849012 memory=437324 CPUtime=15.25 cores=0,2,4,6 /proc/8657/task/8711/stat : 8711 (java) S 8654 8657 14487 0 -1 1077944384 15982 13005 0 0 1481 37 5 2 20 0 15 0 407617156 11109388288 110659 33554432000 4194304 4196468 140728071255056 139982982847504 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8712] ppid=8654 vsize=10849012 memory=436292 CPUtime=15.23 cores=0,2,4,6 /proc/8657/task/8712/stat : 8712 (java) S 8654 8657 14487 0 -1 1077944384 19375 13005 0 0 1479 37 5 2 20 0 15 0 407617156 11109388288 110659 33554432000 4194304 4196468 140728071255056 139982551747728 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8713] ppid=8654 vsize=10849012 memory=443152 CPUtime=15.26 cores=0,2,4,6 /proc/8657/task/8713/stat : 8713 (java) S 8654 8657 14487 0 -1 1077944384 17654 13005 0 0 1483 36 5 2 20 0 15 0 407617156 11109388288 110659 33554432000 4194304 4196468 140728071255056 139982550694672 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8714] ppid=8654 vsize=10849012 memory=442636 CPUtime=15.2 cores=0,2,4,6 /proc/8657/task/8714/stat : 8714 (java) S 8654 8657 14487 0 -1 1077944384 13032 13005 0 0 1481 32 5 2 20 0 15 0 407617156 11109388288 110659 33554432000 4194304 4196468 140728071255056 139982549642128 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8715] ppid=8654 vsize=10849012 memory=8112282956445269571 CPUtime=5.77 cores=0,2,4,6 /proc/8657/task/8715/stat : 8715 (java) S 8654 8657 14487 0 -1 1077944384 14734 13005 0 0 518 52 5 2 20 0 15 0 407617158 11109388288 110659 33554432000 4194304 4196468 140728071255056 139982048942320 139982978615938 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8716] ppid=8654 vsize=10849012 memory=288230583166042426 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8716/stat : 8716 (java) S 8654 8657 14487 0 -1 1077944384 19 13005 0 0 0 0 5 2 20 0 15 0 407617158 11109388288 110659 33554432000 4194304 4196468 140728071255056 139981976757472 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8717] ppid=8654 vsize=10849012 memory=436292 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8717/stat : 8717 (java) S 8654 8657 14487 0 -1 1077944384 6 13005 0 0 0 0 5 2 20 0 15 0 407617159 11109388288 110659 33554432000 4194304 4196468 140728071255056 139981775430400 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8718] ppid=8654 vsize=10849012 memory=436804 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8718/stat : 8718 (java) S 8654 8657 14487 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 407617162 11109388288 110659 33554432000 4194304 4196468 140728071255056 139981535139792 139982978623387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8719] ppid=8654 vsize=10849012 memory=3504 CPUtime=10.87 cores=0,2,4,6 /proc/8657/task/8719/stat : 8719 (java) S 8654 8657 14487 0 -1 1077944384 33291 13005 0 0 1072 8 5 2 20 0 15 0 407617162 11109388288 110659 33554432000 4194304 4196468 140728071255056 139982047890160 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8720] ppid=8654 vsize=10849012 memory=37940 CPUtime=11.66 cores=0,2,4,6 /proc/8657/task/8720/stat : 8720 (java) S 8654 8657 14487 0 -1 1077944384 37204 13005 0 0 1151 8 5 2 20 0 15 0 407617162 11109388288 110659 33554432000 4194304 4196468 140728071255056 139982046837616 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8721] ppid=8654 vsize=10849012 memory=3504 CPUtime=5.52 cores=0,2,4,6 /proc/8657/task/8721/stat : 8721 (java) S 8654 8657 14487 0 -1 1077944384 30493 13005 0 0 536 9 5 2 20 0 15 0 407617162 11109388288 110659 33554432000 4194304 4196468 140728071255056 139982045784560 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8722] ppid=8654 vsize=10849012 memory=37940 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8722/stat : 8722 (java) S 8654 8657 14487 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 407617162 11109388288 110659 33554432000 4194304 4196468 140728071255056 139981501582176 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8723] ppid=8654 vsize=10849012 memory=437832 CPUtime=1.42 cores=0,2,4,6 /proc/8657/task/8723/stat : 8723 (java) S 8654 8657 14487 0 -1 1077944384 1293 13005 0 0 67 68 5 2 20 0 15 0 407617162 11109388288 110659 33554432000 4194304 4196468 140728071255056 139981943200304 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 Current children cumulated CPU time: 2334.39 s Current children cumulated vsize: 10849012 KiB Current children cumulated memory: 442636 KiB [startup+2322.3 s] /proc/loadavg: 1.13 1.44 1.50 3/227 9093 /proc/meminfo: memFree=21369068/32770624 swapFree=66997112/67108860 [pid=8657] ppid=8654 vsize=10849012 memory=448520 CPUtime=2395.69 cores=0,2,4,6 /proc/8657/stat : 8657 (java) S 8654 8657 14487 0 -1 1077944320 275189 13005 0 0 239245 317 5 2 20 0 15 0 407617147 11109388288 112130 33554432000 4194304 4196468 140728071255056 140728071237600 139982978604791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 /proc/8657/statm: 2712253 112130 3637 1 0 2674317 0 [pid=8657/tid=8710] ppid=8654 vsize=10849012 memory=455592 CPUtime=2298.04 cores=0,2,4,6 /proc/8657/task/8710/stat : 8710 (java) R 8654 8657 14487 0 -1 4202560 88992 13005 0 0 229743 54 5 2 20 0 15 0 407617156 11109388288 112130 33554432000 4194304 4196468 140728071255056 139982950440848 139982583325064 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8711] ppid=8654 vsize=10849012 memory=2433 CPUtime=15.7 cores=0,2,4,6 /proc/8657/task/8711/stat : 8711 (java) S 8654 8657 14487 0 -1 1077944384 16100 13005 0 0 1526 37 5 2 20 0 15 0 407617156 11109388288 112130 33554432000 4194304 4196468 140728071255056 139982982847504 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8712] ppid=8654 vsize=10849012 memory=449092 CPUtime=15.68 cores=0,2,4,6 /proc/8657/task/8712/stat : 8712 (java) S 8654 8657 14487 0 -1 1077944384 19530 13005 0 0 1523 38 5 2 20 0 15 0 407617156 11109388288 112130 33554432000 4194304 4196468 140728071255056 139982551747728 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8713] ppid=8654 vsize=10849012 memory=449088 CPUtime=15.7 cores=0,2,4,6 /proc/8657/task/8713/stat : 8713 (java) S 8654 8657 14487 0 -1 1077944384 17810 13005 0 0 1526 37 5 2 20 0 15 0 407617156 11109388288 112130 33554432000 4194304 4196468 140728071255056 139982550694672 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8714] ppid=8654 vsize=10849012 memory=279740682608105 CPUtime=15.64 cores=0,2,4,6 /proc/8657/task/8714/stat : 8714 (java) S 8654 8657 14487 0 -1 1077944384 13435 13005 0 0 1524 33 5 2 20 0 15 0 407617156 11109388288 112130 33554432000 4194304 4196468 140728071255056 139982549642128 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8715] ppid=8654 vsize=10849012 memory=452000 CPUtime=5.94 cores=0,2,4,6 /proc/8657/task/8715/stat : 8715 (java) S 8654 8657 14487 0 -1 1077944384 14792 13005 0 0 532 55 5 2 20 0 15 0 407617158 11109388288 112130 33554432000 4194304 4196468 140728071255056 139982048942320 139982978615938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8716] ppid=8654 vsize=10849012 memory=448520 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8716/stat : 8716 (java) S 8654 8657 14487 0 -1 1077944384 19 13005 0 0 0 0 5 2 20 0 15 0 407617158 11109388288 112130 33554432000 4194304 4196468 140728071255056 139981976757472 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8717] ppid=8654 vsize=10849012 memory=448520 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8717/stat : 8717 (java) S 8654 8657 14487 0 -1 1077944384 6 13005 0 0 0 0 5 2 20 0 15 0 407617159 11109388288 112130 33554432000 4194304 4196468 140728071255056 139981775430400 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8718] ppid=8654 vsize=10849012 memory=453028 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8718/stat : 8718 (java) S 8654 8657 14487 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 407617162 11109388288 112130 33554432000 4194304 4196468 140728071255056 139981535139792 139982978623387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8719] ppid=8654 vsize=10849012 memory=453540 CPUtime=10.87 cores=0,2,4,6 /proc/8657/task/8719/stat : 8719 (java) S 8654 8657 14487 0 -1 1077944384 33293 13005 0 0 1072 8 5 2 20 0 15 0 407617162 11109388288 112130 33554432000 4194304 4196468 140728071255056 139982047890160 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8720] ppid=8654 vsize=10849012 memory=452000 CPUtime=11.66 cores=0,2,4,6 /proc/8657/task/8720/stat : 8720 (java) S 8654 8657 14487 0 -1 1077944384 37206 13005 0 0 1151 8 5 2 20 0 15 0 407617162 11109388288 112130 33554432000 4194304 4196468 140728071255056 139982046837616 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8721] ppid=8654 vsize=10849012 memory=3504 CPUtime=5.52 cores=0,2,4,6 /proc/8657/task/8721/stat : 8721 (java) S 8654 8657 14487 0 -1 1077944384 30495 13005 0 0 536 9 5 2 20 0 15 0 407617162 11109388288 112130 33554432000 4194304 4196468 140728071255056 139982045784560 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8722] ppid=8654 vsize=10849012 memory=450060 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8722/stat : 8722 (java) S 8654 8657 14487 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 407617162 11109388288 112130 33554432000 4194304 4196468 140728071255056 139981501582176 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8723] ppid=8654 vsize=10849012 memory=451600 CPUtime=1.45 cores=0,2,4,6 /proc/8657/task/8723/stat : 8723 (java) S 8654 8657 14487 0 -1 1077944384 1299 13005 0 0 68 70 5 2 20 0 15 0 407617162 11109388288 112130 33554432000 4194304 4196468 140728071255056 139981943200304 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 Current children cumulated CPU time: 2395.69 s Current children cumulated vsize: 10849012 KiB Current children cumulated memory: 448520 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2326.6 s] /proc/loadavg: 1.04 1.41 1.49 3/227 9093 /proc/meminfo: memFree=21366076/32770624 swapFree=66997112/67108860 [pid=8657] ppid=8654 vsize=10849012 memory=454980 CPUtime=2400.09 cores=0,2,4,6 /proc/8657/stat : 8657 (java) S 8654 8657 14487 0 -1 1077944320 275656 13005 0 0 239684 318 5 2 20 0 15 0 407617147 11109388288 113745 33554432000 4194304 4196468 140728071255056 140728071237600 139982978604791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 /proc/8657/statm: 2712253 113745 3637 1 0 2674317 0 [pid=8657/tid=8710] ppid=8654 vsize=10849012 memory=1548 CPUtime=2302.29 cores=0,2,4,6 /proc/8657/task/8710/stat : 8710 (java) R 8654 8657 14487 0 -1 4202560 89390 13005 0 0 230168 54 5 2 20 0 15 0 407617156 11109388288 113745 33554432000 4194304 4196468 140728071255056 139982950441040 139982584389304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8711] ppid=8654 vsize=10849012 memory=8488 CPUtime=15.74 cores=0,2,4,6 /proc/8657/task/8711/stat : 8711 (java) S 8654 8657 14487 0 -1 1077944384 16114 13005 0 0 1529 38 5 2 20 0 15 0 407617156 11109388288 113745 33554432000 4194304 4196468 140728071255056 139982982847504 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8712] ppid=8654 vsize=10849012 memory=1704 CPUtime=15.71 cores=0,2,4,6 /proc/8657/task/8712/stat : 8712 (java) S 8654 8657 14487 0 -1 1077944384 19553 13005 0 0 1526 38 5 2 20 0 15 0 407617156 11109388288 113745 33554432000 4194304 4196468 140728071255056 139982551747728 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8713] ppid=8654 vsize=10849012 memory=2012 CPUtime=15.74 cores=0,2,4,6 /proc/8657/task/8713/stat : 8713 (java) S 8654 8657 14487 0 -1 1077944384 17815 13005 0 0 1530 37 5 2 20 0 15 0 407617156 11109388288 113745 33554432000 4194304 4196468 140728071255056 139982550694672 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8714] ppid=8654 vsize=10849012 memory=1388 CPUtime=15.68 cores=0,2,4,6 /proc/8657/task/8714/stat : 8714 (java) S 8654 8657 14487 0 -1 1077944384 13452 13005 0 0 1528 33 5 2 20 0 15 0 407617156 11109388288 113745 33554432000 4194304 4196468 140728071255056 139982549642128 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8715] ppid=8654 vsize=10849012 memory=776 CPUtime=5.95 cores=0,2,4,6 /proc/8657/task/8715/stat : 8715 (java) S 8654 8657 14487 0 -1 1077944384 14800 13005 0 0 533 55 5 2 20 0 15 0 407617158 11109388288 113745 33554432000 4194304 4196468 140728071255056 139982048942320 139982978615938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8716] ppid=8654 vsize=10849012 memory=2012 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8716/stat : 8716 (java) S 8654 8657 14487 0 -1 1077944384 19 13005 0 0 0 0 5 2 20 0 15 0 407617158 11109388288 113745 33554432000 4194304 4196468 140728071255056 139981976757472 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8717] ppid=8654 vsize=10849012 memory=1388 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8717/stat : 8717 (java) S 8654 8657 14487 0 -1 1077944384 6 13005 0 0 0 0 5 2 20 0 15 0 407617159 11109388288 113745 33554432000 4194304 4196468 140728071255056 139981775430400 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8718] ppid=8654 vsize=10849012 memory=776 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8718/stat : 8718 (java) S 8654 8657 14487 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 407617162 11109388288 113745 33554432000 4194304 4196468 140728071255056 139981535139792 139982978623387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8719] ppid=8654 vsize=10849012 memory=3500 CPUtime=10.87 cores=0,2,4,6 /proc/8657/task/8719/stat : 8719 (java) S 8654 8657 14487 0 -1 1077944384 33293 13005 0 0 1072 8 5 2 20 0 15 0 407617162 11109388288 113745 33554432000 4194304 4196468 140728071255056 139982047890160 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8720] ppid=8654 vsize=10849012 memory=2828 CPUtime=11.66 cores=0,2,4,6 /proc/8657/task/8720/stat : 8720 (java) S 8654 8657 14487 0 -1 1077944384 37206 13005 0 0 1151 8 5 2 20 0 15 0 407617162 11109388288 113745 33554432000 4194304 4196468 140728071255056 139982046837616 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8721] ppid=8654 vsize=10849012 memory=452000 CPUtime=5.52 cores=0,2,4,6 /proc/8657/task/8721/stat : 8721 (java) S 8654 8657 14487 0 -1 1077944384 30495 13005 0 0 536 9 5 2 20 0 15 0 407617162 11109388288 113745 33554432000 4194304 4196468 140728071255056 139982045784560 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8722] ppid=8654 vsize=10849012 memory=454052 CPUtime=0.07 cores=0,2,4,6 /proc/8657/task/8722/stat : 8722 (java) S 8654 8657 14487 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 407617162 11109388288 113745 33554432000 4194304 4196468 140728071255056 139981501582176 139982978614997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 [pid=8657/tid=8723] ppid=8654 vsize=10849012 memory=446984 CPUtime=1.46 cores=0,2,4,6 /proc/8657/task/8723/stat : 8723 (java) S 8654 8657 14487 0 -1 1077944384 1301 13005 0 0 68 71 5 2 20 0 15 0 407617162 11109388288 113745 33554432000 4194304 4196468 140728071255056 139981943200304 139982978615938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7892992 140728071256821 140728071259333 140728071259333 140728071262159 0 Current children cumulated CPU time: 2400.09 s Current children cumulated vsize: 10849012 KiB Current children cumulated memory: 454980 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2326.63 s] # the end of solver process 8657 was just reported to runsolver # cumulated CPU time of all completed processes: user=2396.92 s, system=3.22302 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2326.63 CPU time (s): 2400.15 CPU user time (s): 2396.92 CPU system time (s): 3.22302 CPU usage (%): 103.16 Max. virtual memory (cumulated for all children) (KiB): 10849012 Max. memory (cumulated for all children) (KiB): 1490460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2396.92 system time used= 3.22302 maximum resident set size= 1492528 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 289779 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2800 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 186739 involuntary context switches= 8098 # summary of solver processes directly reported to runsolver: # pid: 8657 # total CPU time (s): 2400.15 # total CPU user time (s): 2396.92 # total CPU system time (s): 3.22302 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.1981 second user time and 22.3231 second system time The end
Begin job on node103 at 2019-09-12 20:39:42 IDJOB=4392189 IDBENCH=126995 IDSOLVER=2837 FILE ID=node103/4392189-1568313641 RUNJOBID= node103-1568301258-4657 PBS_JOBID= 21701108 Free space on /tmp= 57232 MiB SOLVER NAME= Concrete 3.10 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-4392189-1568313641/watcher-4392189-1568313641 -o /tmp/evaluation-result-4392189-1568313641/solver-4392189-1568313641 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568301258-4657 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1463846121 HOME/instance-4392189-1568313641.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d92bd6a6dba83323313b355bf487e521 RANDOM SEED=1463846121 node103.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.74 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.74 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.74 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.74 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: 22786944 kB MemAvailable: 30880996 kB Buffers: 139352 kB Cached: 8175088 kB SwapCached: 8920 kB Active: 2728196 kB Inactive: 6569716 kB Active(anon): 971884 kB Inactive(anon): 53084 kB Active(file): 1756312 kB Inactive(file): 6516632 kB Unevictable: 107416 kB Mlocked: 107416 kB SwapTotal: 67108860 kB SwapFree: 66997112 kB Dirty: 35224 kB Writeback: 0 kB AnonPages: 1082712 kB Mapped: 56300 kB Shmem: 32812 kB Slab: 279612 kB SReclaimable: 249568 kB SUnreclaim: 30044 kB KernelStack: 3760 kB PageTables: 8188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2178136 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 860160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 57196 MiB End job on node103 at 2019-09-12 21:18:29