Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | SAT (TO) | 1053 | 1821.88 | 252.144 |
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.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400249-1568710771.xml" -tl '2016s' -p 8 0.11/0.20 c Choco e747e1e 0.11/0.20 c [HOME/instance-4400249-1568710771.xml, -tl, 2016s, -p, 8] 0.34/0.24 c 8 solvers in parallel 0.34/0.31 c parse instance... 15.96/4.57 c solve instance... 22.97/5.55 o 238965 22.97/5.59 o 223301 23.67/5.61 o 222957 23.67/5.64 o 208685 24.30/5.80 o 208341 24.96/5.82 o 208005 24.96/5.84 o 195085 24.96/5.86 o 194725 24.96/5.87 o 194389 24.96/5.89 o 194077 25.33/5.91 o 182469 25.33/5.93 o 182093 25.33/5.94 o 181757 25.33/5.96 o 181429 25.33/5.98 o 181141 25.33/6.00 o 170805 25.85/6.03 o 170413 25.85/6.06 o 170061 25.85/6.09 o 169165 26.25/6.12 o 160061 26.72/6.33 o 159653 29.96/8.96 o 159285 30.20/9.01 o 158957 30.20/9.05 o 158637 30.20/9.10 o 158357 30.55/9.14 o 158117 30.55/9.16 o 150205 30.85/9.20 o 149781 31.48/9.31 o 149397 31.48/9.36 o 149053 31.87/9.44 o 148733 32.10/9.53 o 148437 32.26/9.61 o 148181 32.26/9.69 o 147965 32.45/9.79 o 141205 32.69/9.83 o 140765 32.69/9.87 o 140365 33.32/10.05 o 140005 33.54/10.11 o 139685 33.54/10.15 o 139373 33.81/10.26 o 139101 33.99/10.30 o 138869 34.17/10.41 o 138677 34.37/10.58 o 133029 34.57/10.67 o 131733 35.46/10.87 o 130389 38.89/13.58 o 130221 38.89/13.59 o 5237 49.84/16.84 o 5229 50.25/16.94 o 4989 50.25/16.98 o 4773 53.93/17.51 o 4693 53.93/17.53 o 4381 54.50/17.69 o 4301 54.92/17.71 o 3989 55.62/17.85 o 3805 69.72/19.64 o 2877 70.41/19.74 o 2749 138.88/28.46 o 2725 141.55/31.07 o 2565 141.85/31.14 o 2453 141.85/31.17 o 2445 142.31/31.21 o 2429 142.31/31.28 o 2389 142.93/31.32 o 2269 147.60/31.92 o 1973 147.60/31.93 o 1925 172.35/36.64 o 1845 172.35/36.69 o 1821 201.38/41.77 o 1781 203.27/42.03 o 1693 203.90/42.11 o 1461 213.35/43.37 o 1421 285.91/54.51 o 1349 405.05/70.87 o 1341 405.39/71.06 o 1293 408.19/73.55 o 1237 549.65/91.31 o 1165 608.57/98.75 o 1117 1740.96/241.94 o 1101 1803.63/249.89 o 1053 1821.19/252.09 s SATISFIABLE 1821.19/252.09 v <instantiation> 1821.19/252.09 v <list>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] </list> 1821.19/252.09 v <values>1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 4 -1 -2 3 -2 3 -4 -3 -4 1 4 1 4 -1 0 -1 0 -5 -6 1 -4 -1 0 3 4 -1 -4 3 -4 11 4 -1 -4 -3 2 -5 0 -7 0 -3 4 3 -6 3 0 3 -6 5 2 1 2 7 0 5 -2 3 -2 -1 2 -1 2 -5 -2 -1 2 -1 -2 -7 -4 -5 -2 -1 2 -9 -2 -3 2 -3 2 -3 -2 -1 4 -1 0 -1 2 -1 1 16 1 4 9 4 9 16 9 16 1 16 1 16 1 0 1 0 25 36 1 16 1 0 9 16 1 16 9 16 121 16 1 16 9 4 25 0 49 0 9 16 9 36 9 0 9 36 25 4 1 4 49 0 25 4 9 4 1 4 1 4 25 4 1 4 1 4 49 16 25 4 1 4 81 4 9 4 9 4 9 4 1 16 1 0 1 4 1 </values> 1821.19/252.09 v </instantiation> 1821.19/252.09 c Unexpected resolution interruption!
OK 1053
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: 16375 MiB (14415 MiB free) memory of node 1: 16384 MiB (15447 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400249-1568710771/watcher-4400249-1568710771 -o /tmp/evaluation-result-4400249-1568710771/solver-4400249-1568710771 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 557275604 HOME/instance-4400249-1568710771.xml running on 8 cores: 0-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=26168, runsolver pid=26165 Current StackSize limit: 8192 KiB [startup+0.10014 s]* /proc/loadavg: 5.92 7.58 8.01 2/211 26189 /proc/meminfo: memFree=30562500/32770688 swapFree=66961212/67108860 [pid=26168] ppid=26165 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26168/stat : 26168 (xcsp3-exec) S 26165 26168 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447018780 115843072 362 33554432000 4194304 5098028 140731180297952 140731180296056 140183255900796 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35291136 140731180299132 140731180299374 140731180299374 140731180302282 0 /proc/26168/statm: 28282 362 304 221 0 87 0 [pid=26170] ppid=26168 vsize=28227396 memory=28828 CPUtime=0.11 cores=0-7 /proc/26170/stat : 26170 (java) S 26168 26168 18670 0 -1 1077944320 5664 0 0 0 10 1 0 0 20 0 20 0 447018780 28904853504 7207 33554432000 4194304 4196468 140732783507328 140732783489872 140646099226359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 /proc/26170/statm: 7056849 7207 3122 1 0 7019032 0 [pid=26170/tid=26171] ppid=26168 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/26170/task/26171/stat : 26171 (java) R 26168 26168 18670 0 -1 4202560 3587 0 0 0 8 0 0 0 20 0 20 0 447018781 28904853504 7207 33554432000 4194304 4196468 140732783507328 140646103459840 140646099238294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26172] ppid=26168 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/26170/task/26172/stat : 26172 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 7207 33554432000 4194304 4196468 140732783507328 140645651045264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26173] ppid=26168 vsize=28227396 memory=140607756232320 CPUtime=0 cores=0-7 /proc/26170/task/26173/stat : 26173 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 7207 33554432000 4194304 4196468 140732783507328 140645649992464 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26174] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26174/stat : 26174 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 7207 33554432000 4194304 4196468 140732783507328 140645648940176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26175] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26175/stat : 26175 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 7207 33554432000 4194304 4196468 140732783507328 140645647887376 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26176] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26176/stat : 26176 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 7207 33554432000 4194304 4196468 140732783507328 140645646834064 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26177] ppid=26168 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26170/task/26177/stat : 26177 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 7207 33554432000 4194304 4196468 140732783507328 140645645781264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26178] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26178/stat : 26178 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 7207 33554432000 4194304 4196468 140732783507328 140645644728976 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26179] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26179/stat : 26179 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 7207 33554432000 4194304 4196468 140732783507328 140645643676176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26180] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26180/stat : 26180 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018783 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644813822576 140646099237506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26181] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26181/stat : 26181 (java) S 26168 26168 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447018784 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644812768544 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26182] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26182/stat : 26182 (java) S 26168 26168 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447018784 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644560529008 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26183] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26183/stat : 26183 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644559477328 140646099244955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26184] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26184/stat : 26184 (java) S 26168 26168 18670 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644558424176 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26185] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26185/stat : 26185 (java) S 26168 26168 18670 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644557371376 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26186] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26186/stat : 26186 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644556319088 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26187] ppid=26168 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/26170/task/26187/stat : 26187 (java) R 26168 26168 18670 0 -1 4202560 356 0 0 0 1 0 0 0 20 0 20 0 447018787 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644555266288 140646099238294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26188] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26188/stat : 26188 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644554214240 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26189] ppid=26168 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26170/task/26189/stat : 26189 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644553161520 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30276 KiB [startup+0.211351 s]* /proc/loadavg: 5.92 7.58 8.01 3/211 26189 /proc/meminfo: memFree=30549508/32770688 swapFree=66961212/67108860 [pid=26168] ppid=26165 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26168/stat : 26168 (xcsp3-exec) S 26165 26168 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447018780 115843072 362 33554432000 4194304 5098028 140731180297952 140731180296056 140183255900796 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35291136 140731180299132 140731180299374 140731180299374 140731180302282 0 /proc/26168/statm: 28282 362 304 221 0 87 0 [pid=26170] ppid=26168 vsize=28227396 memory=41096 CPUtime=0.34 cores=0-7 /proc/26170/stat : 26170 (java) S 26168 26168 18670 0 -1 1077944320 9483 0 0 0 30 4 0 0 20 0 20 0 447018780 28904853504 10274 33554432000 4194304 4196468 140732783507328 140732783489872 140646099226359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 /proc/26170/statm: 7056849 10274 3312 1 0 7019032 0 [pid=26170/tid=26171] ppid=26168 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/26170/task/26171/stat : 26171 (java) R 26168 26168 18670 0 -1 4202560 6586 0 0 0 18 2 0 0 20 0 20 0 447018781 28904853504 10274 33554432000 4194304 4196468 140732783507328 140646103455664 140646083306846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26172] ppid=26168 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/26170/task/26172/stat : 26172 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 10274 33554432000 4194304 4196468 140732783507328 140645651045264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26173] ppid=26168 vsize=28227396 memory=140607759534588 CPUtime=0 cores=0-7 /proc/26170/task/26173/stat : 26173 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 10274 33554432000 4194304 4196468 140732783507328 140645649992464 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26174] ppid=26168 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26170/task/26174/stat : 26174 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 10274 33554432000 4194304 4196468 140732783507328 140645648940176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26175] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26175/stat : 26175 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 10274 33554432000 4194304 4196468 140732783507328 140645647887376 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26176] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26176/stat : 26176 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 10274 33554432000 4194304 4196468 140732783507328 140645646834064 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26177] ppid=26168 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26170/task/26177/stat : 26177 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 10274 33554432000 4194304 4196468 140732783507328 140645645781264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26178] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26178/stat : 26178 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 10274 33554432000 4194304 4196468 140732783507328 140645644728976 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26179] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26179/stat : 26179 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 10274 33554432000 4194304 4196468 140732783507328 140645643676176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26180] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26180/stat : 26180 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018783 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644813822576 140646099237506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26181] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26181/stat : 26181 (java) S 26168 26168 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447018784 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644812768544 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26182] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26182/stat : 26182 (java) S 26168 26168 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447018784 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644560529008 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26183] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26183/stat : 26183 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644559477328 140646099244955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26184] ppid=26168 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/26170/task/26184/stat : 26184 (java) S 26168 26168 18670 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 20 0 447018787 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644558424176 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26185] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26185/stat : 26185 (java) S 26168 26168 18670 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644557371376 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26186] ppid=26168 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/26170/task/26186/stat : 26186 (java) S 26168 26168 18670 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 20 0 447018787 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644556319088 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26187] ppid=26168 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/26170/task/26187/stat : 26187 (java) R 26168 26168 18670 0 -1 4202560 758 0 0 0 7 0 0 0 20 0 20 0 447018787 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644555266288 140646077910464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26188] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26188/stat : 26188 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644554214240 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26189] ppid=26168 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26170/task/26189/stat : 26189 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644553161520 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42544 KiB [startup+0.310764 s]* /proc/loadavg: 5.92 7.58 8.01 3/211 26189 /proc/meminfo: memFree=30544524/32770688 swapFree=66961212/67108860 [pid=26168] ppid=26165 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26168/stat : 26168 (xcsp3-exec) S 26165 26168 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447018780 115843072 362 33554432000 4194304 5098028 140731180297952 140731180296056 140183255900796 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35291136 140731180299132 140731180299374 140731180299374 140731180302282 0 /proc/26168/statm: 28282 362 304 221 0 87 0 [pid=26170] ppid=26168 vsize=28231652 memory=47092 CPUtime=0.52 cores=0-7 /proc/26170/stat : 26170 (java) S 26168 26168 18670 0 -1 1077944320 10586 0 0 0 47 5 0 0 20 0 20 0 447018780 28909211648 11773 33554432000 4194304 4196468 140732783507328 140732783489872 140646099226359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 /proc/26170/statm: 7057913 11773 3334 1 0 7019032 0 [pid=26170/tid=26171] ppid=26168 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/26170/task/26171/stat : 26171 (java) R 26168 26168 18670 0 -1 4202560 7576 0 0 0 26 3 0 0 20 0 20 0 447018781 28909211648 11773 33554432000 4194304 4196468 140732783507328 140646103447872 140646083306846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26172] ppid=26168 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26172/stat : 26172 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28909211648 11773 33554432000 4194304 4196468 140732783507328 140645651045264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26173] ppid=26168 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26173/stat : 26173 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018782 28909211648 11773 33554432000 4194304 4196468 140732783507328 140645649992464 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26174] ppid=26168 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26174/stat : 26174 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28909211648 11773 33554432000 4194304 4196468 140732783507328 140645648940176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26175] ppid=26168 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26175/stat : 26175 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018782 28909211648 11773 33554432000 4194304 4196468 140732783507328 140645647887376 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26176] ppid=26168 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/26170/task/26176/stat : 26176 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28909211648 11773 33554432000 4194304 4196468 140732783507328 140645646834064 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26177] ppid=26168 vsize=28231652 memory=140607632798639 CPUtime=0 cores=0-7 /proc/26170/task/26177/stat : 26177 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018782 28909211648 11773 33554432000 4194304 4196468 140732783507328 140645645781264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26178] ppid=26168 vsize=28231652 memory=140607632800944 CPUtime=0 cores=0-7 /proc/26170/task/26178/stat : 26178 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28909211648 11773 33554432000 4194304 4196468 140732783507328 140645644728976 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26179] ppid=26168 vsize=28231652 memory=140607632803248 CPUtime=0 cores=0-7 /proc/26170/task/26179/stat : 26179 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28909211648 11773 33554432000 4194304 4196468 140732783507328 140645643676176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26180] ppid=26168 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26180/stat : 26180 (java) S 26168 26168 18670 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447018783 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644813822576 140646099237506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26181] ppid=26168 vsize=28231652 memory=281215265613456 CPUtime=0 cores=0-7 /proc/26170/task/26181/stat : 26181 (java) S 26168 26168 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447018784 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644812768544 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26182] ppid=26168 vsize=28231652 memory=281215265620368 CPUtime=0 cores=0-7 /proc/26170/task/26182/stat : 26182 (java) S 26168 26168 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447018784 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644560529008 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26183] ppid=26168 vsize=28231652 memory=281215265561616 CPUtime=0 cores=0-7 /proc/26170/task/26183/stat : 26183 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018787 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644559477328 140646099244955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26184] ppid=26168 vsize=28231652 memory=281215265634192 CPUtime=0.02 cores=0-7 /proc/26170/task/26184/stat : 26184 (java) S 26168 26168 18670 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 20 0 447018787 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644558424176 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26185] ppid=26168 vsize=28231652 memory=281215265641104 CPUtime=0.01 cores=0-7 /proc/26170/task/26185/stat : 26185 (java) S 26168 26168 18670 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 20 0 447018787 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644557371376 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26186] ppid=26168 vsize=28231652 memory=281215265638800 CPUtime=0.03 cores=0-7 /proc/26170/task/26186/stat : 26186 (java) S 26168 26168 18670 0 -1 1077944384 149 0 0 0 3 0 0 0 20 0 20 0 447018787 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644556319088 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26187] ppid=26168 vsize=28231652 memory=281215265654960 CPUtime=0.12 cores=0-7 /proc/26170/task/26187/stat : 26187 (java) S 26168 26168 18670 0 -1 1077944384 839 0 0 0 12 0 0 0 20 0 20 0 447018787 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644555266288 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26188] ppid=26168 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26188/stat : 26188 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018787 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644554214240 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26189] ppid=26168 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/26170/task/26189/stat : 26189 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018787 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644553161520 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48540 KiB [startup+0.701037 s] /proc/loadavg: 5.92 7.58 8.01 6/211 26189 /proc/meminfo: memFree=30516336/32770688 swapFree=66961212/67108860 [pid=26168] ppid=26165 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26168/stat : 26168 (xcsp3-exec) S 26165 26168 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447018780 115843072 362 33554432000 4194304 5098028 140731180297952 140731180296056 140183255900796 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35291136 140731180299132 140731180299374 140731180299374 140731180302282 0 /proc/26168/statm: 28282 362 304 221 0 87 0 [pid=26170] ppid=26168 vsize=28233776 memory=110684 CPUtime=2.04 cores=0-7 /proc/26170/stat : 26170 (java) S 26168 26168 18670 0 -1 1077944320 15754 0 0 0 197 7 0 0 20 0 20 0 447018780 28911386624 27671 33554432000 4194304 4196468 140732783507328 140732783489872 140646099226359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 /proc/26170/statm: 7058444 27671 3450 1 0 7019544 0 [pid=26170/tid=26171] ppid=26168 vsize=28233776 memory=281215266012848 CPUtime=0.67 cores=0-7 /proc/26170/task/26171/stat : 26171 (java) R 26168 26168 18670 0 -1 4202560 8444 0 0 0 63 4 0 0 20 0 20 0 447018781 28911386624 27671 33554432000 4194304 4196468 140732783507328 140646103462928 140645700287557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26172] ppid=26168 vsize=28233776 memory=140607633007472 CPUtime=0 cores=0-7 /proc/26170/task/26172/stat : 26172 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28911386624 27671 33554432000 4194304 4196468 140732783507328 140645651045264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26173] ppid=26168 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/26170/task/26173/stat : 26173 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018782 28911386624 27671 33554432000 4194304 4196468 140732783507328 140645649992464 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26174] ppid=26168 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/26170/task/26174/stat : 26174 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28911386624 27671 33554432000 4194304 4196468 140732783507328 140645648940176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 ################ # More data... # ################ /proc/meminfo: memFree=25481400/32770688 swapFree=66961212/67108860 [pid=26168] ppid=26165 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26168/stat : 26168 (xcsp3-exec) S 26165 26168 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447018780 115843072 362 33554432000 4194304 5098028 140731180297952 140731180296056 140183255900796 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35291136 140731180299132 140731180299374 140731180299374 140731180302282 0 /proc/26168/statm: 28282 362 304 221 0 87 0 [pid=26170] ppid=26168 vsize=28768336 memory=5102780 CPUtime=1594.09 cores=0-7 /proc/26170/stat : 26170 (java) S 26168 26168 18670 0 -1 1077944320 273996 0 0 0 158949 460 0 0 20 0 28 0 447018780 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140732783489872 140646099226359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 /proc/26170/statm: 7192084 1275695 3568 1 0 7153184 0 [pid=26170/tid=26171] ppid=26168 vsize=28768336 memory=5102780 CPUtime=4.49 cores=0-7 /proc/26170/task/26171/stat : 26171 (java) S 26168 26168 18670 0 -1 1077944384 16179 0 0 0 434 15 0 0 20 0 28 0 447018781 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140646103467136 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26172] ppid=26168 vsize=28768336 memory=5102780 CPUtime=0.88 cores=0-7 /proc/26170/task/26172/stat : 26172 (java) S 26168 26168 18670 0 -1 1077944384 1338 0 0 0 69 19 0 0 20 0 28 0 447018782 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140645651045264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26173] ppid=26168 vsize=28768336 memory=5102780 CPUtime=0.92 cores=0-7 /proc/26170/task/26173/stat : 26173 (java) S 26168 26168 18670 0 -1 1077944384 1235 0 0 0 74 18 0 0 20 0 28 0 447018782 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140645649992464 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26174] ppid=26168 vsize=28768336 memory=5102780 CPUtime=0.91 cores=0-7 /proc/26170/task/26174/stat : 26174 (java) S 26168 26168 18670 0 -1 1077944384 1211 0 0 0 72 19 0 0 20 0 28 0 447018782 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140645648940176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26175] ppid=26168 vsize=28768336 memory=5102780 CPUtime=0.9 cores=0-7 /proc/26170/task/26175/stat : 26175 (java) S 26168 26168 18670 0 -1 1077944384 2893 0 0 0 71 19 0 0 20 0 28 0 447018782 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140645647887376 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26176] ppid=26168 vsize=28768336 memory=1448 CPUtime=0.89 cores=0-7 /proc/26170/task/26176/stat : 26176 (java) S 26168 26168 18670 0 -1 1077944384 866 0 0 0 71 18 0 0 20 0 28 0 447018782 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140645646834064 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26177] ppid=26168 vsize=28768336 memory=7596555962989241961 CPUtime=0.94 cores=0-7 /proc/26170/task/26177/stat : 26177 (java) S 26168 26168 18670 0 -1 1077944384 1120 0 0 0 74 20 0 0 20 0 28 0 447018782 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140645645781264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26178] ppid=26168 vsize=28768336 memory=1448 CPUtime=0.92 cores=0-7 /proc/26170/task/26178/stat : 26178 (java) S 26168 26168 18670 0 -1 1077944384 1355 0 0 0 72 20 0 0 20 0 28 0 447018782 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140645644728976 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26179] ppid=26168 vsize=28768336 memory=5102780 CPUtime=0.91 cores=0-7 /proc/26170/task/26179/stat : 26179 (java) S 26168 26168 18670 0 -1 1077944384 1157 0 0 0 69 22 0 0 20 0 28 0 447018782 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140645643676176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26180] ppid=26168 vsize=28768336 memory=164 CPUtime=0.13 cores=0-7 /proc/26170/task/26180/stat : 26180 (java) S 26168 26168 18670 0 -1 1077944384 10525 0 0 0 10 3 0 0 20 0 28 0 447018783 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644813822576 140646099237506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26181] ppid=26168 vsize=28768336 memory=8238879570240492391 CPUtime=0 cores=0-7 /proc/26170/task/26181/stat : 26181 (java) S 26168 26168 18670 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 447018784 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644812768608 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26182] ppid=26168 vsize=28768336 memory=5102780 CPUtime=0 cores=0-7 /proc/26170/task/26182/stat : 26182 (java) S 26168 26168 18670 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 447018784 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644560529024 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26183] ppid=26168 vsize=28768336 memory=2044 CPUtime=0 cores=0-7 /proc/26170/task/26183/stat : 26183 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447018787 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644559477328 140646099244955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26184] ppid=26168 vsize=28768336 memory=5102256 CPUtime=6.3 cores=0-7 /proc/26170/task/26184/stat : 26184 (java) S 26168 26168 18670 0 -1 1077944384 40536 0 0 0 622 8 0 0 20 0 28 0 447018787 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644558424176 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26185] ppid=26168 vsize=28768336 memory=1448 CPUtime=5.02 cores=0-7 /proc/26170/task/26185/stat : 26185 (java) S 26168 26168 18670 0 -1 1077944384 31945 0 0 0 495 7 0 0 20 0 28 0 447018787 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644557371376 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26186] ppid=26168 vsize=28768336 memory=5102780 CPUtime=5.65 cores=0-7 /proc/26170/task/26186/stat : 26186 (java) S 26168 26168 18670 0 -1 1077944384 32531 0 0 0 559 6 0 0 20 0 28 0 447018787 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644556319088 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26187] ppid=26168 vsize=28768336 memory=1448 CPUtime=1.43 cores=0-7 /proc/26170/task/26187/stat : 26187 (java) S 26168 26168 18670 0 -1 1077944384 23445 0 0 0 138 5 0 0 20 0 28 0 447018787 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644555266288 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26188] ppid=26168 vsize=28768336 memory=5102780 CPUtime=0 cores=0-7 /proc/26170/task/26188/stat : 26188 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447018787 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644554214240 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26189] ppid=26168 vsize=28768336 memory=1448 CPUtime=0.07 cores=0-7 /proc/26170/task/26189/stat : 26189 (java) S 26168 26168 18670 0 -1 1077944384 3685 0 0 0 5 2 0 0 20 0 28 0 447018787 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644553161520 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26835] ppid=26168 vsize=28768336 memory=5102780 CPUtime=123.37 cores=0-7 /proc/26170/task/26835/stat : 26835 (java) R 26168 26168 18670 0 -1 4202560 3208 0 0 0 12336 1 0 0 20 0 28 0 447028656 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140643896471096 140645705303104 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26836] ppid=26168 vsize=28768336 memory=1448 CPUtime=123.3 cores=0-7 /proc/26170/task/26836/stat : 26836 (java) R 26168 26168 18670 0 -1 4202560 843 0 0 0 12330 0 0 0 20 0 28 0 447028656 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140643891208792 140645711288160 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26837] ppid=26168 vsize=28768336 memory=1448 CPUtime=123.34 cores=0-7 /proc/26170/task/26837/stat : 26837 (java) R 26168 26168 18670 0 -1 4202560 1243 0 0 0 12333 1 0 0 20 0 28 0 447028656 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140643897524184 140645707319718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26838] ppid=26168 vsize=28768336 memory=5102780 CPUtime=122.61 cores=0-7 /proc/26170/task/26838/stat : 26838 (java) R 26168 26168 18670 0 -1 4202560 15955 0 0 0 12181 80 0 0 20 0 28 0 447028656 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140643894368248 140645711696527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26839] ppid=26168 vsize=28768336 memory=1448 CPUtime=123.33 cores=0-7 /proc/26170/task/26839/stat : 26839 (java) R 26168 26168 18670 0 -1 4202560 1173 0 0 0 12333 0 0 0 20 0 28 0 447028656 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644544180600 140645707319701 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26840] ppid=26168 vsize=28768336 memory=3612 CPUtime=122.07 cores=0-7 /proc/26170/task/26840/stat : 26840 (java) R 26168 26168 18670 0 -1 4202560 2309 0 0 0 12207 0 0 0 20 0 28 0 447028656 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140643892261000 140645709635234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26841] ppid=26168 vsize=28768336 memory=47088 CPUtime=123.32 cores=0-7 /proc/26170/task/26841/stat : 26841 (java) R 26168 26168 18670 0 -1 4202560 1090 0 0 0 12332 0 0 0 20 0 28 0 447028656 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140643895421480 140645712811952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26842] ppid=26168 vsize=28768336 memory=984 CPUtime=122.65 cores=0-7 /proc/26170/task/26842/stat : 26842 (java) R 26168 26168 18670 0 -1 4202560 1423 0 0 0 12264 1 0 0 20 0 28 0 447028656 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140643893313608 140645707246599 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 Current children cumulated CPU time: 1594.09 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 5104228 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 7.38 7.28 7.75 9/220 26891 /proc/meminfo: memFree=25481880/32770688 swapFree=66961212/67108860 [pid=26168] ppid=26165 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26168/stat : 26168 (xcsp3-exec) S 26165 26168 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447018780 115843072 362 33554432000 4194304 5098028 140731180297952 140731180296056 140183255900796 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35291136 140731180299132 140731180299374 140731180299374 140731180302282 0 /proc/26168/statm: 28282 362 304 221 0 87 0 [pid=26170] ppid=26168 vsize=28768336 memory=5102388 CPUtime=1821.19 cores=0-7 /proc/26170/stat : 26170 (java) S 26168 26168 18670 0 -1 1077944320 281626 0 0 0 181653 466 0 0 20 0 28 0 447018780 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140732783489872 140646099226359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 /proc/26170/statm: 7192084 1275597 3568 1 0 7153184 0 [pid=26170/tid=26171] ppid=26168 vsize=28768336 memory=6791534058613427641 CPUtime=4.49 cores=0-7 /proc/26170/task/26171/stat : 26171 (java) S 26168 26168 18670 0 -1 1077944384 16698 0 0 0 434 15 0 0 20 0 28 0 447018781 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140646103467136 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26172] ppid=26168 vsize=28768336 memory=4872558044660077418 CPUtime=0.88 cores=0-7 /proc/26170/task/26172/stat : 26172 (java) S 26168 26168 18670 0 -1 1077944384 1338 0 0 0 69 19 0 0 20 0 28 0 447018782 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140645651045264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26173] ppid=26168 vsize=28768336 memory=2120 CPUtime=0.92 cores=0-7 /proc/26170/task/26173/stat : 26173 (java) S 26168 26168 18670 0 -1 1077944384 1235 0 0 0 74 18 0 0 20 0 28 0 447018782 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140645649992464 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26174] ppid=26168 vsize=28768336 memory=496 CPUtime=0.91 cores=0-7 /proc/26170/task/26174/stat : 26174 (java) S 26168 26168 18670 0 -1 1077944384 1211 0 0 0 72 19 0 0 20 0 28 0 447018782 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140645648940176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26175] ppid=26168 vsize=28768336 memory=1556 CPUtime=0.9 cores=0-7 /proc/26170/task/26175/stat : 26175 (java) S 26168 26168 18670 0 -1 1077944384 2893 0 0 0 71 19 0 0 20 0 28 0 447018782 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140645647887376 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26176] ppid=26168 vsize=28768336 memory=0 CPUtime=0.89 cores=0-7 /proc/26170/task/26176/stat : 26176 (java) S 26168 26168 18670 0 -1 1077944384 866 0 0 0 71 18 0 0 20 0 28 0 447018782 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140645646834064 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26177] ppid=26168 vsize=28768336 memory=-7816663703405220396 CPUtime=0.94 cores=0-7 /proc/26170/task/26177/stat : 26177 (java) S 26168 26168 18670 0 -1 1077944384 1120 0 0 0 74 20 0 0 20 0 28 0 447018782 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140645645781264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26178] ppid=26168 vsize=28768336 memory=33 CPUtime=0.92 cores=0-7 /proc/26170/task/26178/stat : 26178 (java) S 26168 26168 18670 0 -1 1077944384 1355 0 0 0 72 20 0 0 20 0 28 0 447018782 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140645644728976 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26179] ppid=26168 vsize=28768336 memory=6656426216303648864 CPUtime=0.91 cores=0-7 /proc/26170/task/26179/stat : 26179 (java) S 26168 26168 18670 0 -1 1077944384 1157 0 0 0 69 22 0 0 20 0 28 0 447018782 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140645643676176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26180] ppid=26168 vsize=28768336 memory=7380109406876493632 CPUtime=0.13 cores=0-7 /proc/26170/task/26180/stat : 26180 (java) S 26168 26168 18670 0 -1 1077944384 10547 0 0 0 10 3 0 0 20 0 28 0 447018783 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644813822576 140646099237506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26181] ppid=26168 vsize=28768336 memory=5793436075404846183 CPUtime=0 cores=0-7 /proc/26170/task/26181/stat : 26181 (java) S 26168 26168 18670 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 447018784 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644812768608 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26182] ppid=26168 vsize=28768336 memory=7380109406876493632 CPUtime=0 cores=0-7 /proc/26170/task/26182/stat : 26182 (java) S 26168 26168 18670 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 447018784 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644560529024 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26183] ppid=26168 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/26170/task/26183/stat : 26183 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447018787 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644559477328 140646099244955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26184] ppid=26168 vsize=28768336 memory=1412 CPUtime=6.3 cores=0-7 /proc/26170/task/26184/stat : 26184 (java) S 26168 26168 18670 0 -1 1077944384 40554 0 0 0 622 8 0 0 20 0 28 0 447018787 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644558424176 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26185] ppid=26168 vsize=28768336 memory=4020 CPUtime=5.02 cores=0-7 /proc/26170/task/26185/stat : 26185 (java) S 26168 26168 18670 0 -1 1077944384 31951 0 0 0 495 7 0 0 20 0 28 0 447018787 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644557371376 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26186] ppid=26168 vsize=28768336 memory=1448 CPUtime=5.65 cores=0-7 /proc/26170/task/26186/stat : 26186 (java) S 26168 26168 18670 0 -1 1077944384 32537 0 0 0 559 6 0 0 20 0 28 0 447018787 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644556319088 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26187] ppid=26168 vsize=28768336 memory=5102508 CPUtime=1.43 cores=0-7 /proc/26170/task/26187/stat : 26187 (java) S 26168 26168 18670 0 -1 1077944384 24647 0 0 0 138 5 0 0 20 0 28 0 447018787 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644555266288 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26188] ppid=26168 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/26170/task/26188/stat : 26188 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447018787 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644554214240 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26189] ppid=26168 vsize=28768336 memory=4872558044660077418 CPUtime=0.09 cores=0-7 /proc/26170/task/26189/stat : 26189 (java) S 26168 26168 18670 0 -1 1077944384 3786 0 0 0 6 3 0 0 20 0 28 0 447018787 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644553161520 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26884] ppid=26168 vsize=28768336 memory=1984 CPUtime=2.1 cores=0-7 /proc/26170/task/26884/stat : 26884 (java) R 26168 26168 18670 0 -1 4202560 142 0 0 0 210 0 0 0 20 0 28 0 447043770 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140643892264840 140645703977367 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26885] ppid=26168 vsize=28768336 memory=2424 CPUtime=2.04 cores=0-7 /proc/26170/task/26885/stat : 26885 (java) R 26168 26168 18670 0 -1 4202560 54 0 0 0 204 0 0 0 20 0 28 0 447043770 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140643895423864 140645707319544 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26886] ppid=26168 vsize=28768336 memory=1760 CPUtime=2.1 cores=0-7 /proc/26170/task/26886/stat : 26886 (java) R 26168 26168 18670 0 -1 4202560 93 0 0 0 210 0 0 0 20 0 28 0 447043770 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140643893318376 140645707319701 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26887] ppid=26168 vsize=28768336 memory=111636 CPUtime=2.1 cores=0-7 /proc/26170/task/26887/stat : 26887 (java) R 26168 26168 18670 0 -1 4202560 136 0 0 0 210 0 0 0 20 0 28 0 447043770 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140643894373064 140645711288004 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26888] ppid=26168 vsize=28768336 memory=800 CPUtime=2.1 cores=0-7 /proc/26170/task/26888/stat : 26888 (java) R 26168 26168 18670 0 -1 4202560 71 0 0 0 210 0 0 0 20 0 28 0 447043770 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644544187464 140645711920815 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26889] ppid=26168 vsize=28768336 memory=1808 CPUtime=2.1 cores=0-7 /proc/26170/task/26889/stat : 26889 (java) R 26168 26168 18670 0 -1 4202560 188 0 0 0 210 0 0 0 20 0 28 0 447043770 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140643897531336 140645703360030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26890] ppid=26168 vsize=28768336 memory=5102212 CPUtime=2.1 cores=0-7 /proc/26170/task/26890/stat : 26890 (java) R 26168 26168 18670 0 -1 4202560 85 0 0 0 210 0 0 0 20 0 28 0 447043770 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140643891215688 140645707319681 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 [pid=26170/tid=26891] ppid=26168 vsize=28768336 memory=2832 CPUtime=2.09 cores=0-7 /proc/26170/task/26891/stat : 26891 (java) R 26168 26168 18670 0 -1 4202560 96 0 0 0 209 0 0 0 20 0 28 0 447043770 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140643896478920 140645712767345 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0 Current children cumulated CPU time: 1821.19 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 5103836 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.04 s] # the end of solver process 26168 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001299 s, system=0.001299 s [startup+252.144 s] # the end of solver process 26170 was just reported to runsolver # cumulated CPU time of all completed processes: user=1817.17 s, system=4.71451 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+252.133 s]* /proc/loadavg: 7.38 7.28 7.75 2/193 26893 /proc/meminfo: memFree=30502932/32770688 swapFree=66961212/67108860 Current cumulated CPU time of completed processes: 0.002598 s Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 252.144 CPU time (s): 1821.88 CPU user time (s): 1817.17 CPU system time (s): 4.71451 CPU usage (%): 722.558 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 5104228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1817.17 system time used= 4.71451 maximum resident set size= 5102780 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283188 page faults= 0 swaps= 0 block input operations= 0 block output operations= 528 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19273 involuntary context switches= 21151 # summary of solver processes directly reported to runsolver: # pid: 26168,26170 # total CPU time (s): 1821.88 # total CPU user time (s): 1817.17 # total CPU system time (s): 4.71451 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.04525 second user time and 3.51795 second system time The end
Begin job on node116 at 2019-09-17 10:58:50 IDJOB=4400249 IDBENCH=126995 IDSOLVER=2855 FILE ID=node116/4400249-1568710771 RUNJOBID= node116-1568700981-18697 PBS_JOBID= 21703912 Free space on /tmp= 61232 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-090.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400249-1568710771/watcher-4400249-1568710771 -o /tmp/evaluation-result-4400249-1568710771/solver-4400249-1568710771 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 557275604 HOME/instance-4400249-1568710771.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d92bd6a6dba83323313b355bf487e521 RANDOM SEED=557275604 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 30579644 kB MemAvailable: 31845852 kB Buffers: 153144 kB Cached: 1407576 kB SwapCached: 46584 kB Active: 1026452 kB Inactive: 583888 kB Active(anon): 3572 kB Inactive(anon): 94964 kB Active(file): 1022880 kB Inactive(file): 488924 kB Unevictable: 110568 kB Mlocked: 110568 kB SwapTotal: 67108860 kB SwapFree: 66961212 kB Dirty: 26820 kB Writeback: 0 kB AnonPages: 112464 kB Mapped: 48020 kB Shmem: 40296 kB Slab: 169424 kB SReclaimable: 140476 kB SUnreclaim: 28948 kB KernelStack: 3392 kB PageTables: 5044 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 506428 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61208 MiB End job on node116 at 2019-09-17 11:03:02