Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-08-09) | SAT (TO) | 7348514 | 2520.0601 | 2507.52 |
| Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml |
| MD5SUM | c9a66f606132a3c8760ec6756f0c4250 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 7129639 |
| Best CPU time to get the best result obtained on this benchmark | 2519.7 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6480 |
| Number of constraints | 3128 |
| Number of domains | 2 |
| Minimum domain size | 80 |
| Maximum domain size | 100 |
| Distribution of domain sizes | [{"size":80,"count":80},{"size":100,"count":3127}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 80 |
| Distribution of variable degrees | [{"degree":0,"count":3273},{"degree":2,"count":3127},{"degree":77,"count":3},{"degree":78,"count":14},{"degree":79,"count":29},{"degree":80,"count":34}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 80 |
| Distribution of constraint arities | [{"arity":3,"count":3127},{"arity":80,"count":1}] |
| Number of extensional constraints | 3127 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":3127},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.09 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269205-1502732774.xml" -tl '2520s' -p 1 -x 0 0.09/0.27 c [HOME/instance-4269205-1502732774.xml, -tl, 2520s, -p, 1, -x, 0] 0.28/0.33 c simple solver 0.28/0.40 c parse instance... 22.24/18.10 c solve instance... 105.87/98.64 o 7580069 106.01/98.70 o 7566572 204.16/195.74 o 7462763 204.16/195.79 o 7450680 204.28/195.84 o 7447576 1496.07/1485.70 o 7442381 1496.07/1485.75 o 7441514 1496.17/1485.80 o 7435469 1598.44/1587.77 o 7406314 1598.56/1587.83 o 7398065 1812.67/1801.46 o 7363500 1812.77/1801.51 o 7361291 1812.77/1801.57 o 7361049 1812.87/1801.62 o 7358145 1812.97/1801.71 o 7353465 1813.08/1801.88 o 7348514 2520.03/2507.50 s SATISFIABLE 2520.03/2507.50 v <instantiation> 2520.03/2507.50 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] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[10][11] d[10][12] d[10][13] d[10][14] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][54] d[30][55] d[30][56] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][78] d[31][79] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][56] d[38][57] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][76] d[47][77] d[47][78] d[47][79] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[68][69] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][78] d[69][79] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[75][76] d[75][77] d[75][78] d[75][79] d[76][77] d[76][78] d[76][79] d[77][78] d[77][79] d[78][79] </list> 2520.03/2507.50 v <values>50 79 33 74 70 31 43 76 35 73 26 29 52 42 23 2 39 40 65 15 18 67 5 46 57 75 6 49 14 17 1 13 61 56 58 0 47 7 64 3 16 44 30 78 21 11 4 62 55 12 28 77 9 8 32 34 10 24 54 68 45 63 19 41 27 37 48 59 69 25 51 38 20 53 66 36 22 71 72 60 51 11 22 25 12 97 92 12 12 48 53 15 5 3 82 7 80 46 18 80 10 22 9 53 92 75 40 6 32 60 24 32 50 84 82 97 30 43 36 15 98 75 51 77 23 66 64 96 60 85 66 61 19 29 55 10 62 46 12 8 33 84 21 8 73 41 50 59 67 90 76 59 2 57 14 36 22 24 55 83 76 22 24 12 71 39 60 3 79 60 61 92 44 13 27 3 96 56 64 50 16 66 28 34 58 25 84 9 28 54 58 71 88 19 93 52 67 30 82 11 12 87 56 73 63 69 43 30 85 94 15 70 74 89 50 19 45 89 55 43 29 17 61 81 53 92 21 22 47 99 81 43 20 23 68 28 92 79 50 86 7 38 94 16 44 31 6 40 70 29 78 1 74 15 32 98 92 94 15 9 94 76 80 4 3 92 86 38 27 16 82 57 30 91 0 80 67 2 98 48 97 49 22 80 53 83 35 29 61 15 88 26 93 9 13 81 65 71 81 32 58 3 53 48 10 41 22 45 61 44 26 78 32 1 65 75 47 81 37 98 88 30 80 54 97 67 45 42 67 37 90 50 52 26 59 61 0 37 25 54 66 11 57 3 62 97 99 1 96 99 35 85 34 36 64 49 55 55 89 62 28 27 98 40 62 62 87 36 16 99 53 99 95 99 33 79 71 27 46 84 77 89 33 39 15 55 89 25 67 28 21 7 21 67 91 22 90 46 26 29 56 45 64 71 3 92 17 24 89 45 55 22 89 72 15 3 1 51 60 26 92 20 3 74 85 50 63 93 16 76 26 90 90 28 8 62 75 13 17 88 52 0 10 97 80 34 70 84 3 60 92 88 44 64 17 96 17 81 55 63 80 2 99 91 20 87 99 40 67 32 34 66 70 5 56 36 67 1 71 12 45 45 87 3 0 26 51 81 79 23 69 61 83 25 76 60 98 10 47 95 93 82 69 66 88 9 76 46 95 8 99 13 93 70 3 87 72 91 78 25 74 72 30 64 10 42 9 42 89 76 79 29 68 37 81 54 18 21 58 21 80 10 17 73 26 11 73 73 74 75 36 69 32 46 81 64 64 79 25 72 13 80 61 27 69 85 60 49 51 18 23 13 84 19 84 91 36 45 75 32 91 88 93 3 9 50 85 53 18 40 62 91 35 75 16 76 2 44 79 45 31 97 38 17 23 77 74 25 3 32 96 72 96 68 97 29 93 23 63 78 81 24 96 79 8 49 26 25 23 41 0 3 27 61 21 25 11 39 70 69 14 85 72 24 31 57 23 87 66 20 99 74 19 15 52 91 10 21 21 54 30 64 76 53 70 69 27 86 49 68 52 91 22 2 48 17 32 9 73 97 23 43 89 55 12 81 27 86 22 57 94 72 46 85 64 97 5 6 13 40 63 66 97 91 60 15 3 35 34 96 66 76 75 88 26 72 14 81 89 38 26 30 86 91 95 68 73 8 62 27 21 70 13 46 18 32 56 25 6 21 79 6 77 31 5 79 54 97 96 48 32 35 1 25 63 22 40 91 44 45 86 17 79 8 64 6 54 88 6 66 70 45 51 35 56 42 23 32 77 13 47 41 85 18 92 57 23 35 85 5 55 92 28 77 75 37 32 21 91 94 64 87 41 31 5 3 9 19 97 34 8 77 44 44 19 80 96 71 66 41 17 97 57 32 16 49 26 45 82 39 30 9 12 86 13 71 1 19 31 61 91 68 23 21 42 41 51 15 35 49 75 21 45 90 2 48 23 71 62 79 1 1 24 49 79 38 13 15 26 12 31 68 73 71 18 2 87 37 17 56 40 73 70 35 6 77 39 4 85 30 4 8 24 37 88 70 11 53 93 81 56 4 98 53 33 78 18 86 82 53 10 2 62 6 31 81 12 35 56 67 74 52 50 41 43 78 22 83 40 23 90 36 72 92 23 54 4 80 67 97 40 27 69 64 58 49 51 7 10 19 50 1 55 31 17 35 55 20 72 93 43 99 58 90 44 31 6 10 85 5 56 10 78 54 77 71 29 76 77 2 93 16 37 80 12 19 80 56 51 43 33 98 5 93 36 46 10 38 32 93 76 49 54 76 57 91 92 84 81 45 57 62 69 13 92 9 11 94 44 78 60 58 48 5 54 86 5 69 79 25 72 4 8 17 8 25 94 92 56 87 25 36 60 16 69 86 90 59 84 67 85 55 94 91 3 31 98 54 19 81 19 90 41 27 21 21 47 15 42 22 46 1 37 15 2 29 21 26 29 21 72 27 24 43 24 35 77 61 75 89 36 78 42 92 62 69 78 71 49 34 30 54 0 21 62 28 12 70 68 73 39 60 38 86 9 21 31 9 55 29 3 56 30 77 43 76 41 54 88 2 26 99 27 71 46 27 41 30 61 1 43 22 20 9 26 88 32 22 41 66 33 49 46 87 85 38 33 40 21 1 43 66 26 49 8 21 59 72 51 91 95 6 58 7 75 84 68 52 35 39 91 76 45 8 13 19 33 68 30 53 69 78 50 62 3 27 96 41 87 55 72 67 39 21 30 44 7 56 3 68 85 53 45 47 87 30 67 46 27 23 18 13 31 81 61 66 8 42 32 32 15 89 46 39 26 12 44 15 17 27 58 49 68 68 84 33 71 7 10 68 13 3 60 88 92 60 24 45 98 94 66 62 75 81 60 70 89 89 75 9 71 56 91 38 65 28 17 17 30 28 58 96 22 25 83 25 67 94 4 87 61 78 46 89 18 90 33 81 26 94 19 95 79 1 58 93 50 21 53 31 21 55 95 13 38 66 21 30 49 69 90 50 20 3 58 1 22 51 56 75 84 18 32 39 28 95 96 28 98 30 82 91 41 69 17 25 21 23 23 79 48 88 90 74 76 4 51 29 93 31 72 79 99 13 6 37 27 87 60 59 18 22 55 88 95 54 38 9 75 7 41 27 13 48 19 84 27 91 75 70 47 99 74 60 14 47 34 40 23 41 41 1 68 3 10 64 65 99 24 41 55 66 69 24 79 36 17 98 29 79 15 68 20 26 59 51 98 82 64 1 5 69 86 81 54 66 18 92 74 81 6 29 0 28 44 12 94 23 57 59 6 7 34 31 67 71 15 63 53 12 24 44 46 51 12 53 58 47 96 79 66 61 15 35 0 2 84 29 15 48 68 31 80 29 26 6 98 23 63 88 34 40 5 74 79 55 80 24 23 77 29 85 31 82 39 4 91 72 33 51 27 99 33 65 10 83 85 33 12 10 2 87 12 92 80 83 46 58 92 89 27 53 56 17 1 81 5 83 10 69 53 71 16 63 30 95 50 67 46 9 19 85 94 72 22 96 86 48 95 2 74 81 9 54 78 23 14 27 89 47 85 55 51 44 37 26 56 67 72 66 70 49 44 63 69 27 28 41 81 59 35 36 22 83 18 46 49 12 71 69 56 91 69 10 46 97 44 3 62 63 91 33 43 93 58 82 22 34 39 64 1 13 71 45 62 42 67 99 94 72 26 98 62 69 33 80 68 74 99 9 30 96 71 71 14 35 90 83 75 63 69 76 65 46 0 29 24 38 87 57 94 90 57 25 61 33 90 94 62 69 12 50 73 9 31 12 57 34 5 85 2 58 48 17 99 20 87 52 0 24 96 44 68 46 16 84 35 48 89 22 82 54 61 81 69 14 88 31 66 12 58 48 48 25 59 92 87 58 46 66 72 87 53 92 11 67 1 44 63 41 23 6 52 77 81 47 31 87 16 32 1 32 47 92 32 57 92 62 2 94 25 1 20 63 17 14 5 5 30 86 30 20 59 39 82 96 33 54 41 11 62 94 23 53 29 74 74 38 74 2 47 98 6 71 29 26 98 69 86 18 80 46 5 30 36 55 99 28 29 38 85 94 19 90 79 6 68 56 4 43 97 52 99 65 87 74 35 87 47 43 20 68 53 69 56 99 48 47 65 20 22 80 99 41 71 84 52 70 67 47 99 83 51 85 34 57 76 94 10 28 40 44 99 97 15 65 68 82 99 55 29 62 84 61 4 17 33 5 11 26 87 31 26 48 20 49 98 28 2 88 47 65 42 29 82 3 30 10 54 61 33 71 17 92 82 36 85 78 63 2 24 62 66 81 53 98 86 75 78 70 94 59 7 73 95 87 47 52 19 16 5 32 52 99 98 44 80 3 20 39 96 35 47 87 49 75 18 36 8 0 17 8 31 92 93 47 26 53 51 26 93 83 28 11 64 38 89 96 37 85 82 20 12 47 81 74 85 42 39 44 79 96 54 61 43 60 53 64 4 12 44 69 55 30 7 54 35 5 45 74 94 29 84 60 97 7 9 49 29 90 4 74 13 21 56 94 89 76 15 2 37 46 65 48 72 77 72 29 36 62 51 87 91 3 60 44 10 15 74 67 77 11 70 20 59 14 4 77 45 2 14 29 40 57 63 86 98 0 67 40 30 90 81 62 12 2 68 8 11 8 79 73 83 72 62 1 12 22 84 80 10 56 13 15 47 62 27 75 32 0 2 9 34 14 27 63 84 39 3 56 30 5 31 90 93 8 4 31 96 13 63 9 49 7 52 51 11 35 35 28 17 16 54 52 67 0 55 94 28 92 10 44 5 83 79 42 78 10 90 56 89 15 94 7 76 58 3 84 30 19 74 80 49 10 2 24 0 45 17 21 8 88 52 88 38 8 54 11 13 0 28 23 54 59 16 19 48 94 99 62 14 64 76 79 70 28 35 42 87 61 16 42 16 76 0 96 25 5 54 18 91 13 45 60 65 70 4 12 58 36 33 12 17 80 62 91 90 52 13 4 42 30 97 83 26 13 52 40 64 95 80 37 39 17 9 0 28 30 11 25 50 82 0 36 26 80 85 6 56 56 74 44 35 61 4 10 56 45 63 0 77 85 21 1 9 57 11 18 29 76 2 26 6 76 1 8 36 59 84 15 11 40 80 46 91 39 12 61 66 61 89 20 63 72 97 6 58 21 64 93 33 87 1 81 44 59 38 34 99 21 87 60 44 73 88 21 97 73 77 93 17 24 56 48 48 7 57 97 42 26 43 58 14 4 91 99 40 37 81 28 82 49 17 35 56 3 13 35 37 23 48 50 40 2 30 60 22 42 3 55 42 34 20 81 37 13 28 65 23 76 67 24 5 2 19 8 17 25 11 44 4 75 73 57 43 75 7 87 17 99 45 15 82 8 25 84 17 13 35 45 20 93 30 63 65 94 62 28 82 51 0 42 48 62 50 6 84 66 98 0 15 65 95 62 48 3 76 23 17 57 34 7 66 2 77 3 43 75 15 67 69 62 53 82 62 33 89 48 70 62 39 18 25 31 29 43 51 79 59 37 87 55 56 11 75 12 76 82 48 80 82 44 45 95 56 74 18 41 93 33 20 88 5 87 41 76 54 53 1 99 59 75 87 37 49 12 4 26 18 66 51 52 6 95 49 29 39 91 86 26 0 73 9 73 97 30 85 86 99 92 7 47 38 93 62 80 69 79 84 50 64 36 83 33 0 3 84 90 70 1 51 28 17 57 48 64 43 3 24 19 27 57 3 72 13 17 55 86 81 1 35 74 48 57 66 56 22 80 36 84 85 42 10 28 33 9 91 70 73 27 73 20 18 11 74 52 4 54 42 80 22 20 48 4 60 86 35 2 37 91 94 34 61 34 68 91 56 57 22 58 34 47 75 11 42 25 6 9 91 10 0 91 37 98 28 87 63 58 50 27 47 44 11 64 3 53 37 54 90 54 20 88 19 77 94 98 81 53 89 86 84 95 63 44 79 53 27 93 85 1 26 14 84 9 37 37 26 74 20 39 52 49 96 55 71 37 87 79 7 37 26 12 7 40 70 84 1 98 1 82 90 35 27 93 17 5 7 46 73 73 12 44 3 91 30 22 63 72 64 79 40 36 12 52 9 4 6 78 46 97 20 97 48 18 78 14 96 59 49 61 69 48 4 90 44 82 96 55 37 54 44 60 74 23 47 64 75 16 28 22 50 65 1 94 85 30 15 89 55 30 62 20 52 87 32 91 43 98 96 56 87 18 28 26 17 53 3 83 71 63 16 26 42 78 37 93 13 11 8 9 14 72 63 35 48 78 22 79 21 31 56 55 36 76 77 69 6 12 71 35 48 52 1 23 9 98 84 48 41 77 10 81 36 18 50 3 89 4 40 8 47 18 57 40 46 22 31 13 0 3 85 32 53 95 56 72 23 31 97 94 41 74 53 71 78 57 21 73 83 54 13 39 98 46 96 20 33 22 78 0 68 8 55 50 47 82 78 10 36 76 43 92 49 84 58 60 6 53 35 54 30 59 29 10 33 46 40 71 95 44 84 92 84 3 62 66 76 45 1 29 25 45 29 24 32 17 70 62 82 19 60 67 77 5 65 14 35 24 80 91 46 45 17 33 10 3 17 49 20 67 19 24 15 25 69 17 86 63 62 80 9 49 44 34 30 88 99 63 28 78 49 28 99 71 46 76 59 18 79 3 12 34 42 78 22 32 7 44 27 33 2 25 34 65 84 85 28 30 73 5 33 75 31 30 2 77 31 52 45 39 87 24 37 61 93 6 49 37 71 1 49 40 69 26 41 45 85 89 92 86 18 67 5 31 46 3 28 85 19 4 30 39 27 88 29 72 89 84 57 91 81 77 68 45 89 78 21 71 93 14 21 84 96 54 2 35 66 69 52 41 54 13 9 89 11 92 37 81 8 27 63 63 80 82 66 42 75 21 64 46 32 73 79 26 10 19 40 2 49 85 58 80 85 62 21 93 40 20 91 26 58 94 60 19 27 5 54 83 28 85 6 76 64 66 21 70 32 76 42 57 12 26 32 38 2 32 48 84 94 78 67 18 26 39 86 18 57 85 93 25 68 51 44 57 11 22 42 73 9 39 84 48 73 4 57 89 67 85 41 55 22 45 0 89 31 79 63 56 70 57 29 32 13 21 55 81 97 63 52 27 33 6 54 96 4 72 25 29 98 1 66 33 90 80 50 18 26 78 97 17 67 49 9 40 26 57 83 94 35 1 50 58 29 56 20 38 87 </values> 2520.03/2507.50 v </instantiation> 2520.03/2507.50 c Unexpected resolution interruption!
OK 7348514
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15283 MiB free)
memory of node 1: 16384 MiB (15552 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269205-1502732774/watcher-4269205-1502732774 -o /tmp/evaluation-result-4269205-1502732774/solver-4269205-1502732774 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1870635793 HOME/instance-4269205-1502732774.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5888, runsolver pid=5885
[startup+0.100139 s]*
/proc/loadavg: 2.11 1.89 1.87 3/201 5891
/proc/meminfo: memFree=31572448/32770624 swapFree=67108764/67108860
[pid=5888] ppid=5885 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5888/stat : 5888 (xcsp3-exec) S 5885 5888 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120783932 9740288 345 18446744073709551615 4194304 5098028 140730552321360 140730552319464 140290943648380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25882624 140730552328568 140730552328773 140730552328773 140730552332267 0
/proc/5888/statm: 2378 345 289 221 0 87 0
[pid=5890] ppid=5888 vsize=13358712 memory=13576 CPUtime=0 cores=1,3,5,7
/proc/5890/stat : 5890 (java) S 5888 5888 4674 0 -1 1077944320 3134 0 0 0 0 0 0 0 20 0 6 0 120783941 13679321088 3328 18446744073709551615 4194304 4196468 140736762788432 140736762770976 140396689489655 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
/proc/5890/statm: 3339678 3394 1803 1 0 3329175 0
[pid=5890/tid=5891] ppid=5888 vsize=13358712 memory=8508281356421924513 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5891/stat : 5891 (java) R 5888 5888 4674 0 -1 4202560 2045 0 0 0 0 0 0 0 20 0 6 0 120783941 13679321088 3526 18446744073709551615 4194304 4196468 140736762788432 140396693725776 140396673570142 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5892] ppid=5888 vsize=13358712 memory=4122819170707441977 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5892/stat : 5892 (java) S 5888 5888 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 120783942 13679321088 3526 18446744073709551615 4194304 4196468 140736762788432 140396646456208 140396689499861 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5893] ppid=5888 vsize=13358712 memory=140234707940992 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5893/stat : 5893 (java) S 5888 5888 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 120783942 13679321088 3526 18446744073709551615 4194304 4196468 140736762788432 140396645403408 140396689499861 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5894] ppid=5888 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5894/stat : 5894 (java) S 5888 5888 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 120783942 13679321088 3526 18446744073709551615 4194304 4196468 140736762788432 140396644351120 140396689499861 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5895] ppid=5888 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5895/stat : 5895 (java) S 5888 5888 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 120783942 13679321088 3526 18446744073709551615 4194304 4196468 140736762788432 140396286110736 140396689499861 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 14956 KiB
[startup+0.210056 s]*
/proc/loadavg: 2.11 1.89 1.87 5/214 5904
/proc/meminfo: memFree=31562800/32770624 swapFree=67108764/67108860
[pid=5888] ppid=5885 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5888/stat : 5888 (xcsp3-exec) S 5885 5888 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120783932 9740288 345 18446744073709551615 4194304 5098028 140730552321360 140730552319464 140290943648380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25882624 140730552328568 140730552328773 140730552328773 140730552332267 0
/proc/5888/statm: 2378 345 289 221 0 87 0
[pid=5890] ppid=5888 vsize=13974352 memory=26440 CPUtime=0.09 cores=1,3,5,7
/proc/5890/stat : 5890 (java) S 5888 5888 4674 0 -1 1077944320 5058 0 0 0 8 1 0 0 20 0 15 0 120783941 14309736448 6610 18446744073709551615 4194304 4196468 140736762788432 140736762770976 140396689489655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
/proc/5890/statm: 3493588 6610 2719 1 0 3482964 0
[pid=5890/tid=5891] ppid=5888 vsize=13974352 memory=7022364594140610616 CPUtime=0.07 cores=1,3,5,7
/proc/5890/task/5891/stat : 5891 (java) R 5888 5888 4674 0 -1 4202560 3219 0 0 0 6 1 0 0 20 0 15 0 120783941 14309736448 6674 18446744073709551615 4194304 4196468 140736762788432 140396693721264 140396673570142 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5892] ppid=5888 vsize=13974352 memory=4294979926 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5892/stat : 5892 (java) S 5888 5888 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120783942 14309736448 6674 18446744073709551615 4194304 4196468 140736762788432 140396646456208 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5893] ppid=5888 vsize=13974352 memory=140234708844347 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5893/stat : 5893 (java) S 5888 5888 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120783942 14309736448 6674 18446744073709551615 4194304 4196468 140736762788432 140396645403408 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5894] ppid=5888 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5894/stat : 5894 (java) S 5888 5888 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120783942 14309736448 6674 18446744073709551615 4194304 4196468 140736762788432 140396644351120 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5895] ppid=5888 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5895/stat : 5895 (java) S 5888 5888 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120783942 14309736448 6674 18446744073709551615 4194304 4196468 140736762788432 140396286110736 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5896] ppid=5888 vsize=13974352 memory=140234707940992 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5896/stat : 5896 (java) S 5888 5888 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120783943 14309736448 6674 18446744073709551615 4194304 4196468 140736762788432 140396167403632 140396689500802 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5897] ppid=5888 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5897/stat : 5897 (java) S 5888 5888 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120783944 14309736448 6674 18446744073709551615 4194304 4196468 140736762788432 140396166349600 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5898] ppid=5888 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5898/stat : 5898 (java) S 5888 5888 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120783944 14309736448 6674 18446744073709551615 4194304 4196468 140736762788432 140396165297264 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5899] ppid=5888 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5899/stat : 5899 (java) S 5888 5888 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120783946 14309736448 6674 18446744073709551615 4194304 4196468 140736762788432 140396164245584 140396689508251 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5900] ppid=5888 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5900/stat : 5900 (java) S 5888 5888 4674 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 120783946 14309736448 6674 18446744073709551615 4194304 4196468 140736762788432 140396163193456 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5901] ppid=5888 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5901/stat : 5901 (java) S 5888 5888 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120783946 14309736448 6674 18446744073709551615 4194304 4196468 140736762788432 140396162140656 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5902] ppid=5888 vsize=13974352 memory=140234707940992 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5902/stat : 5902 (java) S 5888 5888 4674 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 15 0 120783946 14309736448 6674 18446744073709551615 4194304 4196468 140736762788432 140396161088368 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5903] ppid=5888 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5903/stat : 5903 (java) S 5888 5888 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120783947 14309736448 6674 18446744073709551615 4194304 4196468 140736762788432 140396160035808 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5904] ppid=5888 vsize=13974352 memory=140234707940992 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5904/stat : 5904 (java) S 5888 5888 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120783951 14309736448 6674 18446744073709551615 4194304 4196468 140736762788432 140396158982576 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 27820 KiB
[startup+0.310335 s]*
/proc/loadavg: 2.11 1.89 1.87 3/214 5904
/proc/meminfo: memFree=31548728/32770624 swapFree=67108764/67108860
[pid=5888] ppid=5885 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5888/stat : 5888 (xcsp3-exec) S 5885 5888 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120783932 9740288 345 18446744073709551615 4194304 5098028 140730552321360 140730552319464 140290943648380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25882624 140730552328568 140730552328773 140730552328773 140730552332267 0
/proc/5888/statm: 2378 345 289 221 0 87 0
[pid=5890] ppid=5888 vsize=13974352 memory=37268 CPUtime=0.28 cores=1,3,5,7
/proc/5890/stat : 5890 (java) S 5888 5888 4674 0 -1 1077944320 8841 0 0 0 25 3 0 0 20 0 15 0 120783941 14309736448 9317 18446744073709551615 4194304 4196468 140736762788432 140736762770976 140396689489655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
/proc/5890/statm: 3493588 9317 2982 1 0 3482964 0
[pid=5890/tid=5891] ppid=5888 vsize=13974352 memory=4278483708103473607 CPUtime=0.17 cores=1,3,5,7
/proc/5890/task/5891/stat : 5891 (java) R 5888 5888 4674 0 -1 4202560 6097 0 0 0 15 2 0 0 20 0 15 0 120783941 14309736448 9317 18446744073709551615 4194304 4196468 140736762788432 140396693723728 140396689511581 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5892] ppid=5888 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5892/stat : 5892 (java) S 5888 5888 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120783942 14309736448 9317 18446744073709551615 4194304 4196468 140736762788432 140396646456208 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5893] ppid=5888 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5893/stat : 5893 (java) S 5888 5888 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120783942 14309736448 9317 18446744073709551615 4194304 4196468 140736762788432 140396645403408 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5894] ppid=5888 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5894/stat : 5894 (java) S 5888 5888 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120783942 14309736448 9317 18446744073709551615 4194304 4196468 140736762788432 140396644351120 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5895] ppid=5888 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5895/stat : 5895 (java) S 5888 5888 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120783942 14309736448 9317 18446744073709551615 4194304 4196468 140736762788432 140396286110736 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5896] ppid=5888 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5896/stat : 5896 (java) S 5888 5888 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120783943 14309736448 9317 18446744073709551615 4194304 4196468 140736762788432 140396167403632 140396689500802 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5897] ppid=5888 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5897/stat : 5897 (java) S 5888 5888 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120783944 14309736448 9317 18446744073709551615 4194304 4196468 140736762788432 140396166349600 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5898] ppid=5888 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5898/stat : 5898 (java) S 5888 5888 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120783944 14309736448 9317 18446744073709551615 4194304 4196468 140736762788432 140396165297264 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5899] ppid=5888 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5899/stat : 5899 (java) S 5888 5888 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120783946 14309736448 9317 18446744073709551615 4194304 4196468 140736762788432 140396164245584 140396689508251 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5900] ppid=5888 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5890/task/5900/stat : 5900 (java) S 5888 5888 4674 0 -1 1077944384 486 0 0 0 2 0 0 0 20 0 15 0 120783946 14309736448 9317 18446744073709551615 4194304 4196468 140736762788432 140396163193456 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5901] ppid=5888 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5890/task/5901/stat : 5901 (java) S 5888 5888 4674 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 15 0 120783946 14309736448 9317 18446744073709551615 4194304 4196468 140736762788432 140396162140656 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5902] ppid=5888 vsize=13974352 memory=140234707940992 CPUtime=0.06 cores=1,3,5,7
/proc/5890/task/5902/stat : 5902 (java) R 5888 5888 4674 0 -1 4202560 733 0 0 0 6 0 0 0 20 0 15 0 120783946 14309736448 9317 18446744073709551615 4194304 4196468 140736762788432 140396161088496 140396668013885 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5903] ppid=5888 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5903/stat : 5903 (java) S 5888 5888 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120783947 14309736448 9317 18446744073709551615 4194304 4196468 140736762788432 140396160035808 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5904] ppid=5888 vsize=13974352 memory=140234707940992 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5904/stat : 5904 (java) S 5888 5888 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120783951 14309736448 9317 18446744073709551615 4194304 4196468 140736762788432 140396158982576 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38648 KiB
[startup+0.70122 s]
/proc/loadavg: 2.11 1.89 1.87 5/214 5904
/proc/meminfo: memFree=31530888/32770624 swapFree=67108764/67108860
[pid=5888] ppid=5885 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5888/stat : 5888 (xcsp3-exec) S 5885 5888 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120783932 9740288 345 18446744073709551615 4194304 5098028 140730552321360 140730552319464 140290943648380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25882624 140730552328568 140730552328773 140730552328773 140730552332267 0
/proc/5888/statm: 2378 345 289 221 0 87 0
[pid=5890] ppid=5888 vsize=13978684 memory=86360 CPUtime=1.34 cores=1,3,5,7
/proc/5890/stat : 5890 (java) S 5888 5888 4674 0 -1 1077944320 13204 0 0 0 129 5 0 0 20 0 15 0 120783941 14314172416 21590 18446744073709551615 4194304 4196468 140736762788432 140736762770976 140396689489655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
/proc/5890/statm: 3494671 21590 3163 1 0 3482964 0
[pid=5890/tid=5891] ppid=5888 vsize=13978684 memory=5788922476706229588 CPUtime=0.54 cores=1,3,5,7
/proc/5890/task/5891/stat : 5891 (java) R 5888 5888 4674 0 -1 4202560 7874 0 0 0 51 3 0 0 20 0 15 0 120783941 14314172416 21590 18446744073709551615 4194304 4196468 140736762788432 140396693723600 140396323766624 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5892] ppid=5888 vsize=13978684 memory=7590642703118913872 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5892/stat : 5892 (java) S 5888 5888 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120783942 14314172416 21590 18446744073709551615 4194304 4196468 140736762788432 140396646456208 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5893] ppid=5888 vsize=13978684 memory=280469149189704 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5893/stat : 5893 (java) S 5888 5888 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120783942 14314172416 21590 18446744073709551615 4194304 4196468 140736762788432 140396645403408 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5894] ppid=5888 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5894/stat : 5894 (java) S 5888 5888 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120783942 14314172416 21590 18446744073709551615 4194304 4196468 140736762788432 140396644351120 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5895] ppid=5888 vsize=13978684 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5895/stat : 5895 (java) S 5888 5888 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120783942 14314172416 21590 18446744073709551615 4194304 4196468 140736762788432 140396286110736 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5896] ppid=5888 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5896/stat : 5896 (java) S 5888 5888 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120783943 14314172416 21590 18446744073709551615 4194304 4196468 140736762788432 140396167403632 140396689500802 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5897] ppid=5888 vsize=13978684 memory=-1807685287725067907 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5897/stat : 5897 (java) S 5888 5888 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120783944 14314172416 21590 18446744073709551615 4194304 4196468 140736762788432 140396166349600 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5898] ppid=5888 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5898/stat : 5898 (java) S 5888 5888 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120783944 14314172416 21590 18446744073709551615 4194304 4196468 140736762788432 140396165297264 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5899] ppid=5888 vsize=13978684 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5899/stat : 5899 (java) S 5888 5888 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120783946 14314172416 21590 18446744073709551615 4194304 4196468 140736762788432 140396164245584 140396689508251 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5900] ppid=5888 vsize=13978684 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/5890/task/5900/stat : 5900 (java) R 5888 5888 4674 0 -1 4202560 1229 0 0 0 24 0 0 0 20 0 15 0 120783946 14314172416 21590 18446744073709551615 4194304 4196468 140736762788432 140396163174472 140396672988569 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5901] ppid=5888 vsize=13978684 memory=2776 CPUtime=0.24 cores=1,3,5,7
/proc/5890/task/5901/stat : 5901 (java) R 5888 5888 4674 0 -1 4202560 1077 0 0 0 24 0 0 0 20 0 15 0 120783946 14314172416 21590 18446744073709551615 4194304 4196468 140736762788432 140396162127472 140396671033744 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5902] ppid=5888 vsize=13978684 memory=4278483708103473607 CPUtime=0.28 cores=1,3,5,7
/proc/5890/task/5902/stat : 5902 (java) R 5888 5888 4674 0 -1 4202560 1717 0 0 0 28 0 0 0 20 0 15 0 120783946 14314172416 21590 18446744073709551615 4194304 4196468 140736762788432 140396161088368 140396669204452 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5903] ppid=5888 vsize=13978684 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5903/stat : 5903 (java) S 5888 5888 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120783947 14314172416 21590 18446744073709551615 4194304 4196468 140736762788432 140396160035808 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5904] ppid=5888 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5904/stat : 5904 (java) S 5888 5888 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120783951 14314172416 21590 18446744073709551615 4194304 4196468 140736762788432 140396158982576 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 87740 KiB
[startup+1.50126 s]
/proc/loadavg: 2.11 1.89 1.87 5/214 5904
/proc/meminfo: memFree=31491920/32770624 swapFree=67108764/67108860
[pid=5888] ppid=5885 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5888/stat : 5888 (xcsp3-exec) S 5885 5888 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120783932 9740288 345 18446744073709551615 4194304 5098028 140730552321360 140730552319464 140290943648380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25882624 140730552328568 140730552328773 140730552328773 140730552332267 0
/proc/5888/statm: 2378 345 289 221 0 87 0
[pid=5890] ppid=5888 vsize=13978684 memory=99552 CPUtime=2.47 cores=1,3,5,7
/proc/5890/stat : 5890 (java) S 5888 5888 4674 0 -1 1077944320 14704 0 0 0 241 6 0 0 20 0 15 0 120783941 14314172416 24888 18446744073709551615 4194304 4196468 140736762788432 140736762770976 140396689489655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
/proc/5890/statm: 3494671 24888 3174 1 0 3482964 0
[pid=5890/tid=5891] ppid=5888 vsize=13978684 memory=280469149179824 CPUtime=1.35 cores=1,3,5,7
/proc/5890/task/5891/stat : 5891 (java) R 5888 5888 4674 0 -1 4202560 8148 0 0 0 131 4 0 0 20 0 15 0 120783941 14314172416 24888 18446744073709551615 4194304 4196468 140736762788432 140396693725752 140396671952871 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5892] ppid=5888 vsize=13978684 memory=280469149158432 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5892/stat : 5892 (java) S 5888 5888 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120783942 14314172416 24888 18446744073709551615 4194304 4196468 140736762788432 140396646456208 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5893] ppid=5888 vsize=13978684 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5893/stat : 5893 (java) S 5888 5888 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120783942 14314172416 24888 18446744073709551615 4194304 4196468 140736762788432 140396645403408 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5894] ppid=5888 vsize=13978684 memory=3047711428313195656 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5894/stat : 5894 (java) S 5888 5888 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120783942 14314172416 24888 18446744073709551615 4194304 4196468 140736762788432 140396644351120 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5895] ppid=5888 vsize=13978684 memory=3047711428313588876 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5895/stat : 5895 (java) S 5888 5888 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120783942 14314172416 24888 18446744073709551615 4194304 4196468 140736762788432 140396286110736 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5896] ppid=5888 vsize=13978684 memory=280469149240704 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5896/stat : 5896 (java) S 5888 5888 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120783943 14314172416 24888 18446744073709551615 4194304 4196468 140736762788432 140396167403632 140396689500802 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5897] ppid=5888 vsize=13978684 memory=280469149057264 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5897/stat : 5897 (java) S 5888 5888 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120783944 14314172416 24888 18446744073709551615 4194304 4196468 140736762788432 140396166349600 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5898] ppid=5888 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=5890/tid=5896] ppid=5888 vsize=13980732 memory=1853348 CPUtime=0.16 cores=1,3,5,7
/proc/5890/task/5896/stat : 5896 (java) S 5888 5888 4674 0 -1 1077944384 3229 0 0 0 12 4 0 0 20 0 15 0 120783943 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396167403632 140396689500802 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5897] ppid=5888 vsize=13980732 memory=1853348 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5897/stat : 5897 (java) S 5888 5888 4674 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 120783944 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396166349664 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5898] ppid=5888 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5898/stat : 5898 (java) S 5888 5888 4674 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 120783944 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396165297280 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5899] ppid=5888 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5899/stat : 5899 (java) S 5888 5888 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120783946 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396164245584 140396689508251 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5900] ppid=5888 vsize=13980732 memory=1853348 CPUtime=3.11 cores=1,3,5,7
/proc/5890/task/5900/stat : 5900 (java) S 5888 5888 4674 0 -1 1077944384 16830 0 0 0 308 3 0 0 20 0 15 0 120783946 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396163193456 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5901] ppid=5888 vsize=13980732 memory=7680170660397595203 CPUtime=3.26 cores=1,3,5,7
/proc/5890/task/5901/stat : 5901 (java) S 5888 5888 4674 0 -1 1077944384 18448 0 0 0 323 3 0 0 20 0 15 0 120783946 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396162140656 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5902] ppid=5888 vsize=13980732 memory=1228 CPUtime=0.79 cores=1,3,5,7
/proc/5890/task/5902/stat : 5902 (java) S 5888 5888 4674 0 -1 1077944384 8477 0 0 0 77 2 0 0 20 0 15 0 120783946 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396161088368 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5903] ppid=5888 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5903/stat : 5903 (java) S 5888 5888 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120783947 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396160035808 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5904] ppid=5888 vsize=13980732 memory=1380 CPUtime=1.6 cores=1,3,5,7
/proc/5890/task/5904/stat : 5904 (java) S 5888 5888 4674 0 -1 1077944384 1538 0 0 0 71 89 0 0 20 0 15 0 120783951 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396158982576 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
Current children cumulated CPU time: 2454.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1854728 KiB
[startup+2502.3 s]
/proc/loadavg: 1.72 1.79 1.87 3/214 6240
/proc/meminfo: memFree=29323156/32770624 swapFree=67108764/67108860
[pid=5888] ppid=5885 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5888/stat : 5888 (xcsp3-exec) S 5885 5888 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120783932 9740288 345 18446744073709551615 4194304 5098028 140730552321360 140730552319464 140290943648380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25882624 140730552328568 140730552328773 140730552328773 140730552332267 0
/proc/5888/statm: 2378 345 289 221 0 87 0
[pid=5890] ppid=5888 vsize=13980732 memory=1853348 CPUtime=2514.83 cores=1,3,5,7
/proc/5890/stat : 5890 (java) S 5888 5888 4674 0 -1 1077944320 107042 0 0 0 251255 228 0 0 20 0 15 0 120783941 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140736762770976 140396689489655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
/proc/5890/statm: 3495183 463337 3264 1 0 3483476 0
[pid=5890/tid=5891] ppid=5888 vsize=13980732 memory=1853348 CPUtime=2500.88 cores=1,3,5,7
/proc/5890/task/5891/stat : 5891 (java) R 5888 5888 4674 0 -1 4202560 47981 0 0 0 250073 15 0 0 20 0 15 0 120783941 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396693726440 140396331289477 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5892] ppid=5888 vsize=13980732 memory=1853348 CPUtime=1.19 cores=1,3,5,7
/proc/5890/task/5892/stat : 5892 (java) S 5888 5888 4674 0 -1 1077944384 2627 0 0 0 88 31 0 0 20 0 15 0 120783942 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396646456208 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5893] ppid=5888 vsize=13980732 memory=1380 CPUtime=1.2 cores=1,3,5,7
/proc/5890/task/5893/stat : 5893 (java) S 5888 5888 4674 0 -1 1077944384 1969 0 0 0 91 29 0 0 20 0 15 0 120783942 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396645403408 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5894] ppid=5888 vsize=13980732 memory=1380 CPUtime=1.2 cores=1,3,5,7
/proc/5890/task/5894/stat : 5894 (java) S 5888 5888 4674 0 -1 1077944384 2387 0 0 0 90 30 0 0 20 0 15 0 120783942 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396644351120 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5895] ppid=5888 vsize=13980732 memory=1853348 CPUtime=1.21 cores=1,3,5,7
/proc/5890/task/5895/stat : 5895 (java) S 5888 5888 4674 0 -1 1077944384 1890 0 0 0 90 31 0 0 20 0 15 0 120783942 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396286110736 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5896] ppid=5888 vsize=13980732 memory=1380 CPUtime=0.16 cores=1,3,5,7
/proc/5890/task/5896/stat : 5896 (java) S 5888 5888 4674 0 -1 1077944384 3235 0 0 0 12 4 0 0 20 0 15 0 120783943 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396167403632 140396689500802 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5897] ppid=5888 vsize=13980732 memory=1853348 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5897/stat : 5897 (java) S 5888 5888 4674 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 120783944 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396166349664 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5898] ppid=5888 vsize=13980732 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5898/stat : 5898 (java) S 5888 5888 4674 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 120783944 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396165297280 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5899] ppid=5888 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5899/stat : 5899 (java) S 5888 5888 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120783946 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396164245584 140396689508251 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5900] ppid=5888 vsize=13980732 memory=4148 CPUtime=3.2 cores=1,3,5,7
/proc/5890/task/5900/stat : 5900 (java) S 5888 5888 4674 0 -1 1077944384 17034 0 0 0 317 3 0 0 20 0 15 0 120783946 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396163193456 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5901] ppid=5888 vsize=13980732 memory=1380 CPUtime=3.26 cores=1,3,5,7
/proc/5890/task/5901/stat : 5901 (java) S 5888 5888 4674 0 -1 1077944384 18471 0 0 0 323 3 0 0 20 0 15 0 120783946 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396162140656 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5902] ppid=5888 vsize=13980732 memory=1853348 CPUtime=0.79 cores=1,3,5,7
/proc/5890/task/5902/stat : 5902 (java) S 5888 5888 4674 0 -1 1077944384 8485 0 0 0 77 2 0 0 20 0 15 0 120783946 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396161088368 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5903] ppid=5888 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5903/stat : 5903 (java) S 5888 5888 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120783947 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396160035808 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5904] ppid=5888 vsize=13980732 memory=1380 CPUtime=1.63 cores=1,3,5,7
/proc/5890/task/5904/stat : 5904 (java) S 5888 5888 4674 0 -1 1077944384 1568 0 0 0 72 91 0 0 20 0 15 0 120783951 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396158982576 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
Current children cumulated CPU time: 2514.83 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1854728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.5 s]
/proc/loadavg: 1.66 1.77 1.87 3/214 6240
/proc/meminfo: memFree=29323164/32770624 swapFree=67108764/67108860
[pid=5888] ppid=5885 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5888/stat : 5888 (xcsp3-exec) S 5885 5888 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120783932 9740288 345 18446744073709551615 4194304 5098028 140730552321360 140730552319464 140290943648380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25882624 140730552328568 140730552328773 140730552328773 140730552332267 0
/proc/5888/statm: 2378 345 289 221 0 87 0
[pid=5890] ppid=5888 vsize=13980732 memory=1853348 CPUtime=2520.03 cores=1,3,5,7
/proc/5890/stat : 5890 (java) S 5888 5888 4674 0 -1 1077944320 107178 0 0 0 251775 228 0 0 20 0 15 0 120783941 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140736762770976 140396689489655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
/proc/5890/statm: 3495183 463337 3264 1 0 3483476 0
[pid=5890/tid=5891] ppid=5888 vsize=13980732 memory=1853348 CPUtime=2506.08 cores=1,3,5,7
/proc/5890/task/5891/stat : 5891 (java) R 5888 5888 4674 0 -1 4202560 48115 0 0 0 250593 15 0 0 20 0 15 0 120783941 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396693726440 140396329794805 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5892] ppid=5888 vsize=13980732 memory=1853348 CPUtime=1.19 cores=1,3,5,7
/proc/5890/task/5892/stat : 5892 (java) S 5888 5888 4674 0 -1 1077944384 2627 0 0 0 88 31 0 0 20 0 15 0 120783942 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396646456208 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5893] ppid=5888 vsize=13980732 memory=1380 CPUtime=1.2 cores=1,3,5,7
/proc/5890/task/5893/stat : 5893 (java) S 5888 5888 4674 0 -1 1077944384 1969 0 0 0 91 29 0 0 20 0 15 0 120783942 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396645403408 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5894] ppid=5888 vsize=13980732 memory=1380 CPUtime=1.2 cores=1,3,5,7
/proc/5890/task/5894/stat : 5894 (java) S 5888 5888 4674 0 -1 1077944384 2387 0 0 0 90 30 0 0 20 0 15 0 120783942 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396644351120 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5895] ppid=5888 vsize=13980732 memory=164 CPUtime=1.21 cores=1,3,5,7
/proc/5890/task/5895/stat : 5895 (java) S 5888 5888 4674 0 -1 1077944384 1890 0 0 0 90 31 0 0 20 0 15 0 120783942 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396286110736 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5896] ppid=5888 vsize=13980732 memory=1380 CPUtime=0.16 cores=1,3,5,7
/proc/5890/task/5896/stat : 5896 (java) S 5888 5888 4674 0 -1 1077944384 3235 0 0 0 12 4 0 0 20 0 15 0 120783943 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396167403632 140396689500802 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5897] ppid=5888 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5897/stat : 5897 (java) S 5888 5888 4674 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 120783944 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396166349664 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5898] ppid=5888 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5898/stat : 5898 (java) S 5888 5888 4674 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 120783944 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396165297280 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5899] ppid=5888 vsize=13980732 memory=1853348 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5899/stat : 5899 (java) S 5888 5888 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120783946 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396164245584 140396689508251 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5900] ppid=5888 vsize=13980732 memory=1380 CPUtime=3.2 cores=1,3,5,7
/proc/5890/task/5900/stat : 5900 (java) S 5888 5888 4674 0 -1 1077944384 17034 0 0 0 317 3 0 0 20 0 15 0 120783946 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396163193456 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5901] ppid=5888 vsize=13980732 memory=1380 CPUtime=3.26 cores=1,3,5,7
/proc/5890/task/5901/stat : 5901 (java) S 5888 5888 4674 0 -1 1077944384 18471 0 0 0 323 3 0 0 20 0 15 0 120783946 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396162140656 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5902] ppid=5888 vsize=13980732 memory=1853348 CPUtime=0.79 cores=1,3,5,7
/proc/5890/task/5902/stat : 5902 (java) S 5888 5888 4674 0 -1 1077944384 8485 0 0 0 77 2 0 0 20 0 15 0 120783946 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396161088368 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5903] ppid=5888 vsize=13980732 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5903/stat : 5903 (java) S 5888 5888 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120783947 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396160035808 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5904] ppid=5888 vsize=13980732 memory=7680170660397595203 CPUtime=1.63 cores=1,3,5,7
/proc/5890/task/5904/stat : 5904 (java) S 5888 5888 4674 0 -1 1077944384 1570 0 0 0 72 91 0 0 20 0 15 0 120783951 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396158982576 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1854728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.52 s]
# the end of solver process 5888 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.77 s, system=2.29344 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2507.5 s]
/proc/loadavg: 1.66 1.77 1.87 3/214 6240
/proc/meminfo: memFree=29323164/32770624 swapFree=67108764/67108860
[pid=5888] ppid=5885 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5888/stat : 5888 (xcsp3-exec) S 5885 5888 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120783932 9740288 345 18446744073709551615 4194304 5098028 140730552321360 140730552319464 140290943648380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25882624 140730552328568 140730552328773 140730552328773 140730552332267 0
/proc/5888/statm: 2378 345 289 221 0 87 0
[pid=5890] ppid=5888 vsize=13980732 memory=1853348 CPUtime=2520.03 cores=1,3,5,7
/proc/5890/stat : 5890 (java) S 5888 5888 4674 0 -1 1077944320 107178 0 0 0 251775 228 0 0 20 0 15 0 120783941 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140736762770976 140396689489655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
/proc/5890/statm: 3495183 463337 3264 1 0 3483476 0
[pid=5890/tid=5891] ppid=5888 vsize=13980732 memory=1853348 CPUtime=2506.08 cores=1,3,5,7
/proc/5890/task/5891/stat : 5891 (java) R 5888 5888 4674 0 -1 4202560 48115 0 0 0 250593 15 0 0 20 0 15 0 120783941 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396693726440 140396329794805 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5892] ppid=5888 vsize=13980732 memory=1853348 CPUtime=1.19 cores=1,3,5,7
/proc/5890/task/5892/stat : 5892 (java) S 5888 5888 4674 0 -1 1077944384 2627 0 0 0 88 31 0 0 20 0 15 0 120783942 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396646456208 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5893] ppid=5888 vsize=13980732 memory=1380 CPUtime=1.2 cores=1,3,5,7
/proc/5890/task/5893/stat : 5893 (java) S 5888 5888 4674 0 -1 1077944384 1969 0 0 0 91 29 0 0 20 0 15 0 120783942 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396645403408 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5894] ppid=5888 vsize=13980732 memory=1380 CPUtime=1.2 cores=1,3,5,7
/proc/5890/task/5894/stat : 5894 (java) S 5888 5888 4674 0 -1 1077944384 2387 0 0 0 90 30 0 0 20 0 15 0 120783942 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396644351120 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5895] ppid=5888 vsize=13980732 memory=164 CPUtime=1.21 cores=1,3,5,7
/proc/5890/task/5895/stat : 5895 (java) S 5888 5888 4674 0 -1 1077944384 1890 0 0 0 90 31 0 0 20 0 15 0 120783942 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396286110736 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5896] ppid=5888 vsize=13980732 memory=1380 CPUtime=0.16 cores=1,3,5,7
/proc/5890/task/5896/stat : 5896 (java) S 5888 5888 4674 0 -1 1077944384 3235 0 0 0 12 4 0 0 20 0 15 0 120783943 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396167403632 140396689500802 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5897] ppid=5888 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5897/stat : 5897 (java) S 5888 5888 4674 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 120783944 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396166349664 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5898] ppid=5888 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5898/stat : 5898 (java) S 5888 5888 4674 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 120783944 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396165297280 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5899] ppid=5888 vsize=13980732 memory=1853348 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5899/stat : 5899 (java) S 5888 5888 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120783946 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396164245584 140396689508251 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5900] ppid=5888 vsize=13980732 memory=1380 CPUtime=3.2 cores=1,3,5,7
/proc/5890/task/5900/stat : 5900 (java) S 5888 5888 4674 0 -1 1077944384 17034 0 0 0 317 3 0 0 20 0 15 0 120783946 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396163193456 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5901] ppid=5888 vsize=13980732 memory=1380 CPUtime=3.26 cores=1,3,5,7
/proc/5890/task/5901/stat : 5901 (java) S 5888 5888 4674 0 -1 1077944384 18471 0 0 0 323 3 0 0 20 0 15 0 120783946 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396162140656 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5902] ppid=5888 vsize=13980732 memory=1853348 CPUtime=0.79 cores=1,3,5,7
/proc/5890/task/5902/stat : 5902 (java) S 5888 5888 4674 0 -1 1077944384 8485 0 0 0 77 2 0 0 20 0 15 0 120783946 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396161088368 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5903] ppid=5888 vsize=13980732 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/5890/task/5903/stat : 5903 (java) S 5888 5888 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120783947 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396160035808 140396689499861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
[pid=5890/tid=5904] ppid=5888 vsize=13980732 memory=7680170660397595203 CPUtime=1.63 cores=1,3,5,7
/proc/5890/task/5904/stat : 5904 (java) S 5888 5888 4674 0 -1 1077944384 1570 0 0 0 72 91 0 0 20 0 15 0 120783951 14316269568 463337 18446744073709551615 4194304 4196468 140736762788432 140396158982576 140396689500802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140736762794417 140736762794593 140736762794593 140736762798031 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1854728 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.52
CPU time (s): 2520.06
CPU user time (s): 2517.77
CPU system time (s): 2.29344
CPU usage (%): 100.5
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1854728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.77
system time used= 2.29344
maximum resident set size= 1853640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108072
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58025
involuntary context switches= 976
# summary of solver processes directly reported to runsolver:
# pid: 5888
# total CPU time (s): 2520.06
# total CPU user time (s): 2517.77
# total CPU system time (s): 2.29344
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0734 second user time and 24.5225 second system time
The end
Begin job on node134 at 2017-08-14 19:32:21 IDJOB=4269205 IDBENCH=123023 IDSOLVER=2660 FILE ID=node134/4269205-1502732774 RUNJOBID= node134-1502649032-24471 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai80a.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4269205-1502732774/watcher-4269205-1502732774 -o /tmp/evaluation-result-4269205-1502732774/solver-4269205-1502732774 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1870635793 HOME/instance-4269205-1502732774.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250 RANDOM SEED=1870635793 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31576576 kB MemAvailable: 31818044 kB Buffers: 261616 kB Cached: 270656 kB SwapCached: 4 kB Active: 537064 kB Inactive: 199392 kB Active(anon): 150972 kB Inactive(anon): 94532 kB Active(file): 386092 kB Inactive(file): 104860 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108764 kB Dirty: 8080 kB Writeback: 0 kB AnonPages: 203400 kB Mapped: 71004 kB Shmem: 41564 kB Slab: 160184 kB SReclaimable: 132700 kB SUnreclaim: 27484 kB KernelStack: 3504 kB PageTables: 5704 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1169876 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 137216 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62016 MiB End job on node134 at 2017-08-14 20:14:08