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-18) | SAT (TO) | 7348514 | 2520.0901 | 2506.8201 |
| 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.08 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281955-1503114232.xml" -tl '2520s' -p 1 -x 0 0.07/0.28 c [HOME/instance-4281955-1503114232.xml, -tl, 2520s, -p, 1, -x, 0] 0.25/0.34 c simple solver 0.25/0.41 c parse instance... 23.76/18.54 c solve instance... 107.38/99.12 o 7580069 107.38/99.18 o 7566572 205.22/195.91 o 7462763 205.22/195.95 o 7450680 205.36/196.01 o 7447576 1498.59/1487.50 o 7442381 1498.59/1487.55 o 7441514 1498.69/1487.60 o 7435469 1601.24/1589.82 o 7406314 1601.24/1589.88 o 7398065 1815.67/1803.77 o 7363500 1815.77/1803.81 o 7361291 1815.77/1803.88 o 7361049 1815.87/1803.92 o 7358145 1815.98/1804.01 o 7353465 1816.09/1804.18 o 7348514 2520.06/2506.80 s SATISFIABLE 2520.06/2506.80 v <instantiation> 2520.06/2506.80 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.06/2506.80 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.06/2506.80 v </instantiation> 2520.06/2506.80 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 (15054 MiB free)
memory of node 1: 16384 MiB (15341 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281955-1503114232/watcher-4281955-1503114232 -o /tmp/evaluation-result-4281955-1503114232/solver-4281955-1503114232 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8616 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1494078235 HOME/instance-4281955-1503114232.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=11507, runsolver pid=11504
[startup+0.104366 s]*
/proc/loadavg: 2.10 1.82 1.76 3/185 11516
/proc/meminfo: memFree=31390304/32770624 swapFree=67105588/67108860
[pid=11507] ppid=11504 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11507/stat : 11507 (xcsp3-exec) S 11504 11507 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113618358 9740288 345 18446744073709551615 4194304 5098028 140727442647424 140727442645528 139838398034556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 28377088 140727442649464 140727442649669 140727442649669 140727442653163 0
/proc/11507/statm: 2378 345 289 221 0 87 0
[pid=11511] ppid=11507 vsize=13507920 memory=16224 CPUtime=0.01 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11507 11507 8557 0 -1 1077944320 3854 0 0 0 1 0 0 0 20 0 8 0 113618366 13832110080 4056 18446744073709551615 4194304 4196468 140737302211376 140737302193920 140442464657143 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
/proc/11511/statm: 3376980 4056 2050 1 0 3366477 0
[pid=11511/tid=11512] ppid=11507 vsize=13507920 memory=7077796292425249400 CPUtime=0.01 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11507 11507 8557 0 -1 4202560 2587 0 0 0 1 0 0 0 20 0 8 0 113618366 13832110080 4056 18446744073709551615 4194304 4196468 140737302211376 140442468890280 140442457642475 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11513] ppid=11507 vsize=13507920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11513/stat : 11513 (java) S 11507 11507 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 113618367 13832110080 4056 18446744073709551615 4194304 4196468 140737302211376 140442421623056 140442464667349 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11514] ppid=11507 vsize=13507920 memory=139798941009536 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11514/stat : 11514 (java) S 11507 11507 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 113618367 13832110080 4056 18446744073709551615 4194304 4196468 140737302211376 140442420570512 140442464667349 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11515] ppid=11507 vsize=13507920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11515/stat : 11515 (java) S 11507 11507 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 113618367 13832110080 4056 18446744073709551615 4194304 4196468 140737302211376 140442419517968 140442464667349 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11516] ppid=11507 vsize=13507920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11516/stat : 11516 (java) S 11507 11507 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 113618367 13832110080 4056 18446744073709551615 4194304 4196468 140737302211376 140442418465424 140442464667349 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11517] ppid=11507 vsize=13508948 memory=139798941009536 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11517/stat : 11517 (java) S 11507 11507 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 113618368 13833162752 4056 18446744073709551615 4194304 4196468 140737302211376 140442010401264 140442464668290 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11518] ppid=11507 vsize=13508948 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11518/stat : 11518 (java) S 11507 11507 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 113618369 13833162752 4056 18446744073709551615 4194304 4196468 140737302211376 140442009347488 140442464667349 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11519] ppid=11507 vsize=13508948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11519/stat : 11519 (java) S 11507 11507 8557 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 113618369 13833162752 4056 18446744073709551615 4194304 4196468 140737302211376 140441940913504 140442464667349 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 17604 KiB
[startup+0.210372 s]*
/proc/loadavg: 2.10 1.82 1.76 2/192 11527
/proc/meminfo: memFree=31387188/32770624 swapFree=67105588/67108860
[pid=11507] ppid=11504 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11507/stat : 11507 (xcsp3-exec) S 11504 11507 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113618358 9740288 345 18446744073709551615 4194304 5098028 140727442647424 140727442645528 139838398034556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 28377088 140727442649464 140727442649669 140727442649669 140727442653163 0
/proc/11507/statm: 2378 345 289 221 0 87 0
[pid=11511] ppid=11507 vsize=13974352 memory=24836 CPUtime=0.07 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11507 11507 8557 0 -1 1077944320 5152 0 0 0 6 1 0 0 20 0 15 0 113618366 14309736448 6209 18446744073709551615 4194304 4196468 140737302211376 140737302193920 140442464657143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
/proc/11511/statm: 3493588 6209 2712 1 0 3482964 0
[pid=11511/tid=11512] ppid=11507 vsize=13974352 memory=8318255677412212789 CPUtime=0.05 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11507 11507 8557 0 -1 4202560 3318 0 0 0 5 0 0 0 20 0 15 0 113618366 14309736448 6209 18446744073709551615 4194304 4196468 140737302211376 140442468882832 140442464679069 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11513] ppid=11507 vsize=13974352 memory=328 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11513/stat : 11513 (java) S 11507 11507 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113618367 14309736448 6209 18446744073709551615 4194304 4196468 140737302211376 140442421623056 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11514] ppid=11507 vsize=13974352 memory=139798942061902 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11514/stat : 11514 (java) S 11507 11507 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113618367 14309736448 6209 18446744073709551615 4194304 4196468 140737302211376 140442420570512 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11515] ppid=11507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11515/stat : 11515 (java) S 11507 11507 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113618367 14309736448 6209 18446744073709551615 4194304 4196468 140737302211376 140442419517968 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11516] ppid=11507 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11516/stat : 11516 (java) S 11507 11507 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113618367 14309736448 6209 18446744073709551615 4194304 4196468 140737302211376 140442418465424 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11517] ppid=11507 vsize=13974352 memory=139798941009536 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11517/stat : 11517 (java) S 11507 11507 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113618368 14309736448 6209 18446744073709551615 4194304 4196468 140737302211376 140442010401264 140442464668290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11518] ppid=11507 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11518/stat : 11518 (java) S 11507 11507 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113618369 14309736448 6209 18446744073709551615 4194304 4196468 140737302211376 140442009347488 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11519] ppid=11507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11519/stat : 11519 (java) S 11507 11507 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113618369 14309736448 6209 18446744073709551615 4194304 4196468 140737302211376 140441940911600 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11520] ppid=11507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11520/stat : 11520 (java) S 11507 11507 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113618372 14309736448 6209 18446744073709551615 4194304 4196468 140737302211376 140441939860176 140442464675739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11521] ppid=11507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11521/stat : 11521 (java) S 11507 11507 8557 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 113618372 14309736448 6209 18446744073709551615 4194304 4196468 140737302211376 140441938806768 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11522] ppid=11507 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11522/stat : 11522 (java) S 11507 11507 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113618372 14309736448 6209 18446744073709551615 4194304 4196468 140737302211376 140441937754224 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11523] ppid=11507 vsize=13974352 memory=139798941009536 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11523/stat : 11523 (java) S 11507 11507 8557 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 15 0 113618372 14309736448 6209 18446744073709551615 4194304 4196468 140737302211376 140441936701680 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11524] ppid=11507 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11524/stat : 11524 (java) S 11507 11507 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113618372 14309736448 6209 18446744073709551615 4194304 4196468 140737302211376 140441935649376 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11527] ppid=11507 vsize=13974352 memory=139798941009536 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11527/stat : 11527 (java) S 11507 11507 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113618378 14309736448 6209 18446744073709551615 4194304 4196468 140737302211376 140441934596912 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26216 KiB
[startup+0.30978 s]*
/proc/loadavg: 2.10 1.82 1.76 2/195 11539
/proc/meminfo: memFree=31369484/32770624 swapFree=67105588/67108860
[pid=11507] ppid=11504 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11507/stat : 11507 (xcsp3-exec) S 11504 11507 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113618358 9740288 345 18446744073709551615 4194304 5098028 140727442647424 140727442645528 139838398034556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 28377088 140727442649464 140727442649669 140727442649669 140727442653163 0
/proc/11507/statm: 2378 345 289 221 0 87 0
[pid=11511] ppid=11507 vsize=13974352 memory=36928 CPUtime=0.25 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11507 11507 8557 0 -1 1077944320 8843 0 0 0 23 2 0 0 20 0 15 0 113618366 14309736448 9232 18446744073709551615 4194304 4196468 140737302211376 140737302193920 140442464657143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
/proc/11511/statm: 3493588 9232 2979 1 0 3482964 0
[pid=11511/tid=11512] ppid=11507 vsize=13974352 memory=-4075877051373423737 CPUtime=0.16 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11507 11507 8557 0 -1 4202560 6054 0 0 0 14 2 0 0 20 0 15 0 113618366 14309736448 9232 18446744073709551615 4194304 4196468 140737302211376 140442468879520 140442464679069 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11513] ppid=11507 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11513/stat : 11513 (java) S 11507 11507 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113618367 14309736448 9232 18446744073709551615 4194304 4196468 140737302211376 140442421623056 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11514] ppid=11507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11514/stat : 11514 (java) S 11507 11507 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113618367 14309736448 9232 18446744073709551615 4194304 4196468 140737302211376 140442420570512 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11515] ppid=11507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11515/stat : 11515 (java) S 11507 11507 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113618367 14309736448 9232 18446744073709551615 4194304 4196468 140737302211376 140442419517968 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11516] ppid=11507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11516/stat : 11516 (java) S 11507 11507 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113618367 14309736448 9232 18446744073709551615 4194304 4196468 140737302211376 140442418465424 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11517] ppid=11507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11517/stat : 11517 (java) S 11507 11507 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113618368 14309736448 9232 18446744073709551615 4194304 4196468 140737302211376 140442010401264 140442464668290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11518] ppid=11507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11518/stat : 11518 (java) S 11507 11507 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113618369 14309736448 9232 18446744073709551615 4194304 4196468 140737302211376 140442009347488 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11519] ppid=11507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11519/stat : 11519 (java) S 11507 11507 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113618369 14309736448 9232 18446744073709551615 4194304 4196468 140737302211376 140441940911600 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11520] ppid=11507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11520/stat : 11520 (java) S 11507 11507 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113618372 14309736448 9232 18446744073709551615 4194304 4196468 140737302211376 140441939860176 140442464675739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11521] ppid=11507 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11511/task/11521/stat : 11521 (java) R 11507 11507 8557 0 -1 4202560 355 0 0 0 1 0 0 0 20 0 15 0 113618372 14309736448 9232 18446744073709551615 4194304 4196468 140737302211376 140441938806768 140442448157349 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11522] ppid=11507 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/11511/task/11522/stat : 11522 (java) R 11507 11507 8557 0 -1 1077944384 407 0 0 0 1 0 0 0 20 0 15 0 113618372 14309736448 9232 18446744073709551615 4194304 4196468 140737302211376 140441937754224 140442464668290 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11523] ppid=11507 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/11511/task/11523/stat : 11523 (java) R 11507 11507 8557 0 -1 4202560 723 0 0 0 5 0 0 0 20 0 15 0 113618372 14309736448 9232 18446744073709551615 4194304 4196468 140737302211376 140441936701680 140442448737630 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11524] ppid=11507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11524/stat : 11524 (java) S 11507 11507 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113618372 14309736448 9232 18446744073709551615 4194304 4196468 140737302211376 140441935649376 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11527] ppid=11507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11527/stat : 11527 (java) S 11507 11507 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113618378 14309736448 9232 18446744073709551615 4194304 4196468 140737302211376 140441934596912 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38308 KiB
[startup+0.701371 s]
/proc/loadavg: 2.10 1.82 1.76 4/190 11554
/proc/meminfo: memFree=31357464/32770624 swapFree=67105588/67108860
[pid=11507] ppid=11504 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11507/stat : 11507 (xcsp3-exec) S 11504 11507 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113618358 9740288 345 18446744073709551615 4194304 5098028 140727442647424 140727442645528 139838398034556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 28377088 140727442649464 140727442649669 140727442649669 140727442653163 0
/proc/11507/statm: 2378 345 289 221 0 87 0
[pid=11511] ppid=11507 vsize=13978684 memory=84812 CPUtime=1.31 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11507 11507 8557 0 -1 1077944320 13369 0 0 0 127 4 0 0 20 0 15 0 113618366 14314172416 21203 18446744073709551615 4194304 4196468 140737302211376 140737302193920 140442464657143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
/proc/11511/statm: 3494671 21203 3166 1 0 3482964 0
[pid=11511/tid=11512] ppid=11507 vsize=13978684 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11507 11507 8557 0 -1 4202560 7871 0 0 0 51 3 0 0 20 0 15 0 113618366 14314172416 21203 18446744073709551615 4194304 4196468 140737302211376 140442468890704 140442095017090 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11513] ppid=11507 vsize=13978684 memory=8833 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11513/stat : 11513 (java) S 11507 11507 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113618367 14314172416 21203 18446744073709551615 4194304 4196468 140737302211376 140442421623056 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11514] ppid=11507 vsize=13978684 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11514/stat : 11514 (java) S 11507 11507 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113618367 14314172416 21203 18446744073709551615 4194304 4196468 140737302211376 140442420570512 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11515] ppid=11507 vsize=13978684 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11515/stat : 11515 (java) S 11507 11507 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113618367 14314172416 21203 18446744073709551615 4194304 4196468 140737302211376 140442419517968 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11516] ppid=11507 vsize=13978684 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11516/stat : 11516 (java) S 11507 11507 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113618367 14314172416 21203 18446744073709551615 4194304 4196468 140737302211376 140442418465424 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11517] ppid=11507 vsize=13978684 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11517/stat : 11517 (java) S 11507 11507 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113618368 14314172416 21203 18446744073709551615 4194304 4196468 140737302211376 140442010401264 140442464668290 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11518] ppid=11507 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11518/stat : 11518 (java) S 11507 11507 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113618369 14314172416 21203 18446744073709551615 4194304 4196468 140737302211376 140442009347488 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11519] ppid=11507 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11519/stat : 11519 (java) S 11507 11507 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113618369 14314172416 21203 18446744073709551615 4194304 4196468 140737302211376 140441940911600 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11520] ppid=11507 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11520/stat : 11520 (java) S 11507 11507 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113618372 14314172416 21203 18446744073709551615 4194304 4196468 140737302211376 140441939860176 140442464675739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11521] ppid=11507 vsize=13978684 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/11511/task/11521/stat : 11521 (java) R 11507 11507 8557 0 -1 4202560 1084 0 0 0 23 0 0 0 20 0 15 0 113618372 14314172416 21203 18446744073709551615 4194304 4196468 140737302211376 140441938797600 140442448157224 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11522] ppid=11507 vsize=13978684 memory=6656426216303648864 CPUtime=0.24 cores=1,3,5,7
/proc/11511/task/11522/stat : 11522 (java) R 11507 11507 8557 0 -1 4202560 1432 0 0 0 24 0 0 0 20 0 15 0 113618372 14314172416 21203 18446744073709551615 4194304 4196468 140737302211376 140441937740896 140442448143189 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11523] ppid=11507 vsize=13978684 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/11511/task/11523/stat : 11523 (java) R 11507 11507 8557 0 -1 4202560 1673 0 0 0 28 0 0 0 20 0 15 0 113618372 14314172416 21203 18446744073709551615 4194304 4196468 140737302211376 140441936701680 140442457756990 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11524] ppid=11507 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11524/stat : 11524 (java) S 11507 11507 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113618372 14314172416 21203 18446744073709551615 4194304 4196468 140737302211376 140441935649376 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11527] ppid=11507 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11527/stat : 11527 (java) S 11507 11507 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113618378 14314172416 21203 18446744073709551615 4194304 4196468 140737302211376 140441934596912 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 86192 KiB
[startup+1.50073 s]
/proc/loadavg: 2.10 1.82 1.76 2/190 11571
/proc/meminfo: memFree=31323596/32770624 swapFree=67105588/67108860
[pid=11507] ppid=11504 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11507/stat : 11507 (xcsp3-exec) S 11504 11507 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113618358 9740288 345 18446744073709551615 4194304 5098028 140727442647424 140727442645528 139838398034556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 28377088 140727442649464 140727442649669 140727442649669 140727442653163 0
/proc/11507/statm: 2378 345 289 221 0 87 0
[pid=11511] ppid=11507 vsize=13978684 memory=99520 CPUtime=2.47 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11507 11507 8557 0 -1 1077944320 14615 0 0 0 242 5 0 0 20 0 15 0 113618366 14314172416 24880 18446744073709551615 4194304 4196468 140737302211376 140737302193920 140442464657143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
/proc/11511/statm: 3494671 24880 3174 1 0 3482964 0
[pid=11511/tid=11512] ppid=11507 vsize=13978684 memory=279597673393208 CPUtime=1.33 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11507 11507 8557 0 -1 4202560 8135 0 0 0 130 3 0 0 20 0 15 0 113618366 14314172416 24880 18446744073709551615 4194304 4196468 140737302211376 140442468893624 140442095936807 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11513] ppid=11507 vsize=13978684 memory=279597673358560 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11513/stat : 11513 (java) S 11507 11507 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113618367 14314172416 24880 18446744073709551615 4194304 4196468 140737302211376 140442421623056 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11514] ppid=11507 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11514/stat : 11514 (java) S 11507 11507 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113618367 14314172416 24880 18446744073709551615 4194304 4196468 140737302211376 140442420570512 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11515] ppid=11507 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11515/stat : 11515 (java) S 11507 11507 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113618367 14314172416 24880 18446744073709551615 4194304 4196468 140737302211376 140442419517968 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11516] ppid=11507 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=11511/tid=11517] ppid=11507 vsize=13980732 memory=1380 CPUtime=0.19 cores=1,3,5,7
/proc/11511/task/11517/stat : 11517 (java) S 11507 11507 8557 0 -1 1077944384 3054 0 0 0 15 4 0 0 20 0 15 0 113618368 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140442010401264 140442464668290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11518] ppid=11507 vsize=13980732 memory=1738144 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11518/stat : 11518 (java) S 11507 11507 8557 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 113618369 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140442009347552 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11519] ppid=11507 vsize=13980732 memory=288284476415675406 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11519/stat : 11519 (java) S 11507 11507 8557 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 113618369 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140441940911616 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11520] ppid=11507 vsize=13980732 memory=1738144 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11520/stat : 11520 (java) S 11507 11507 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113618372 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140441939860176 140442464675739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11521] ppid=11507 vsize=13980732 memory=1738144 CPUtime=3.21 cores=1,3,5,7
/proc/11511/task/11521/stat : 11521 (java) S 11507 11507 8557 0 -1 1077944384 16525 0 0 0 318 3 0 0 20 0 15 0 113618372 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140441938806768 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11522] ppid=11507 vsize=13980732 memory=1380 CPUtime=2.98 cores=1,3,5,7
/proc/11511/task/11522/stat : 11522 (java) S 11507 11507 8557 0 -1 1077944384 15940 0 0 0 295 3 0 0 20 0 15 0 113618372 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140441937754224 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11523] ppid=11507 vsize=13980732 memory=4144 CPUtime=0.77 cores=1,3,5,7
/proc/11511/task/11523/stat : 11523 (java) S 11507 11507 8557 0 -1 1077944384 7965 0 0 0 75 2 0 0 20 0 15 0 113618372 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140441936701680 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11524] ppid=11507 vsize=13980732 memory=61916 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11524/stat : 11524 (java) S 11507 11507 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113618372 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140441935649376 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11527] ppid=11507 vsize=13980732 memory=1380 CPUtime=1.46 cores=1,3,5,7
/proc/11511/task/11527/stat : 11527 (java) S 11507 11507 8557 0 -1 1077944384 1379 0 0 0 64 82 0 0 20 0 15 0 113618378 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140441934596912 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
Current children cumulated CPU time: 2395.25 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1739524 KiB
[startup+2442.3 s]
/proc/loadavg: 1.85 1.90 1.87 3/214 11859
/proc/meminfo: memFree=29413012/32770624 swapFree=67105588/67108860
[pid=11507] ppid=11504 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11507/stat : 11507 (xcsp3-exec) S 11504 11507 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113618358 9740288 345 18446744073709551615 4194304 5098028 140727442647424 140727442645528 139838398034556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 28377088 140727442649464 140727442649669 140727442649669 140727442653163 0
/proc/11507/statm: 2378 345 289 221 0 87 0
[pid=11511] ppid=11507 vsize=13980732 memory=1738144 CPUtime=2455.29 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11507 11507 8557 0 -1 1077944320 104811 0 0 0 245308 221 0 0 20 0 15 0 113618366 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140737302193920 140442464657143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
/proc/11511/statm: 3495183 434536 3264 1 0 3483476 0
[pid=11511/tid=11512] ppid=11507 vsize=13980732 memory=1738144 CPUtime=2440.31 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11507 11507 8557 0 -1 4202560 49510 0 0 0 244015 16 0 0 20 0 15 0 113618366 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140442468893392 140442098043250 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11513] ppid=11507 vsize=13980732 memory=1380 CPUtime=1.57 cores=1,3,5,7
/proc/11511/task/11513/stat : 11513 (java) S 11507 11507 8557 0 -1 1077944384 2320 0 0 0 127 30 0 0 20 0 15 0 113618367 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140442421623056 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11514] ppid=11507 vsize=13980732 memory=1380 CPUtime=1.57 cores=1,3,5,7
/proc/11511/task/11514/stat : 11514 (java) S 11507 11507 8557 0 -1 1077944384 1863 0 0 0 129 28 0 0 20 0 15 0 113618367 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140442420570512 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11515] ppid=11507 vsize=13980732 memory=1738144 CPUtime=1.56 cores=1,3,5,7
/proc/11511/task/11515/stat : 11515 (java) S 11507 11507 8557 0 -1 1077944384 1962 0 0 0 127 29 0 0 20 0 15 0 113618367 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140442419517968 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11516] ppid=11507 vsize=13980732 memory=1738144 CPUtime=1.55 cores=1,3,5,7
/proc/11511/task/11516/stat : 11516 (java) S 11507 11507 8557 0 -1 1077944384 2844 0 0 0 126 29 0 0 20 0 15 0 113618367 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140442418465424 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11517] ppid=11507 vsize=13980732 memory=1738144 CPUtime=0.19 cores=1,3,5,7
/proc/11511/task/11517/stat : 11517 (java) S 11507 11507 8557 0 -1 1077944384 3059 0 0 0 15 4 0 0 20 0 15 0 113618368 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140442010401264 140442464668290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11518] ppid=11507 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11518/stat : 11518 (java) S 11507 11507 8557 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 113618369 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140442009347552 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11519] ppid=11507 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11519/stat : 11519 (java) S 11507 11507 8557 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 113618369 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140441940911616 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11520] ppid=11507 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11520/stat : 11520 (java) S 11507 11507 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113618372 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140441939860176 140442464675739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11521] ppid=11507 vsize=13980732 memory=1738144 CPUtime=3.21 cores=1,3,5,7
/proc/11511/task/11521/stat : 11521 (java) S 11507 11507 8557 0 -1 1077944384 16534 0 0 0 318 3 0 0 20 0 15 0 113618372 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140441938806768 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11522] ppid=11507 vsize=13980732 memory=1738144 CPUtime=2.98 cores=1,3,5,7
/proc/11511/task/11522/stat : 11522 (java) S 11507 11507 8557 0 -1 1077944384 15942 0 0 0 295 3 0 0 20 0 15 0 113618372 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140441937754224 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11523] ppid=11507 vsize=13980732 memory=1380 CPUtime=0.77 cores=1,3,5,7
/proc/11511/task/11523/stat : 11523 (java) S 11507 11507 8557 0 -1 1077944384 7967 0 0 0 75 2 0 0 20 0 15 0 113618372 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140441936701680 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11524] ppid=11507 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11524/stat : 11524 (java) S 11507 11507 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113618372 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140441935649376 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11527] ppid=11507 vsize=13980732 memory=1380 CPUtime=1.5 cores=1,3,5,7
/proc/11511/task/11527/stat : 11527 (java) S 11507 11507 8557 0 -1 1077944384 1411 0 0 0 66 84 0 0 20 0 15 0 113618378 14316269568 434536 18446744073709551615 4194304 4196468 140737302211376 140441934596912 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
Current children cumulated CPU time: 2455.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1739524 KiB
[startup+2502.3 s]
/proc/loadavg: 1.98 1.92 1.87 3/214 11861
/proc/meminfo: memFree=29359728/32770624 swapFree=67105588/67108860
[pid=11507] ppid=11504 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11507/stat : 11507 (xcsp3-exec) S 11504 11507 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113618358 9740288 345 18446744073709551615 4194304 5098028 140727442647424 140727442645528 139838398034556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 28377088 140727442649464 140727442649669 140727442649669 140727442653163 0
/proc/11507/statm: 2378 345 289 221 0 87 0
[pid=11511] ppid=11507 vsize=13980732 memory=1791404 CPUtime=2515.56 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11507 11507 8557 0 -1 1077944320 107171 0 0 0 251332 224 0 0 20 0 15 0 113618366 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140737302193920 140442464657143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
/proc/11511/statm: 3495183 447851 3267 1 0 3483476 0
[pid=11511/tid=11512] ppid=11507 vsize=13980732 memory=1738156 CPUtime=2500.25 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11507 11507 8557 0 -1 4202560 50615 0 0 0 250009 16 0 0 20 0 15 0 113618366 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140442468895936 140442098043445 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11513] ppid=11507 vsize=13980732 memory=1791404 CPUtime=1.61 cores=1,3,5,7
/proc/11511/task/11513/stat : 11513 (java) S 11507 11507 8557 0 -1 1077944384 2705 0 0 0 131 30 0 0 20 0 15 0 113618367 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140442421623056 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11514] ppid=11507 vsize=13980732 memory=1380 CPUtime=1.62 cores=1,3,5,7
/proc/11511/task/11514/stat : 11514 (java) S 11507 11507 8557 0 -1 1077944384 1915 0 0 0 134 28 0 0 20 0 15 0 113618367 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140442420570512 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11515] ppid=11507 vsize=13980732 memory=1738156 CPUtime=1.61 cores=1,3,5,7
/proc/11511/task/11515/stat : 11515 (java) S 11507 11507 8557 0 -1 1077944384 2239 0 0 0 131 30 0 0 20 0 15 0 113618367 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140442419517968 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11516] ppid=11507 vsize=13980732 memory=1791404 CPUtime=1.6 cores=1,3,5,7
/proc/11511/task/11516/stat : 11516 (java) S 11507 11507 8557 0 -1 1077944384 2919 0 0 0 131 29 0 0 20 0 15 0 113618367 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140442418465424 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11517] ppid=11507 vsize=13980732 memory=1380 CPUtime=0.19 cores=1,3,5,7
/proc/11511/task/11517/stat : 11517 (java) S 11507 11507 8557 0 -1 1077944384 3216 0 0 0 15 4 0 0 20 0 15 0 113618368 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140442010401264 140442464668290 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11518] ppid=11507 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11518/stat : 11518 (java) S 11507 11507 8557 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 113618369 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140442009347552 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11519] ppid=11507 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11519/stat : 11519 (java) S 11507 11507 8557 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 113618369 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140441940911616 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11520] ppid=11507 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11520/stat : 11520 (java) S 11507 11507 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113618372 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140441939860176 140442464675739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11521] ppid=11507 vsize=13980732 memory=1791404 CPUtime=3.21 cores=1,3,5,7
/proc/11511/task/11521/stat : 11521 (java) S 11507 11507 8557 0 -1 1077944384 16562 0 0 0 318 3 0 0 20 0 15 0 113618372 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140441938806768 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11522] ppid=11507 vsize=13980732 memory=1791404 CPUtime=3.07 cores=1,3,5,7
/proc/11511/task/11522/stat : 11522 (java) S 11507 11507 8557 0 -1 1077944384 16190 0 0 0 304 3 0 0 20 0 15 0 113618372 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140441937754224 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11523] ppid=11507 vsize=13980732 memory=4144 CPUtime=0.77 cores=1,3,5,7
/proc/11511/task/11523/stat : 11523 (java) S 11507 11507 8557 0 -1 1077944384 7969 0 0 0 75 2 0 0 20 0 15 0 113618372 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140441936701680 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11524] ppid=11507 vsize=13980732 memory=1791404 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11524/stat : 11524 (java) S 11507 11507 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113618372 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140441935649376 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11527] ppid=11507 vsize=13980732 memory=1791404 CPUtime=1.53 cores=1,3,5,7
/proc/11511/task/11527/stat : 11527 (java) S 11507 11507 8557 0 -1 1077944384 1442 0 0 0 67 86 0 0 20 0 15 0 113618378 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140441934596912 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
Current children cumulated CPU time: 2515.56 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1792784 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.8 s]
/proc/loadavg: 1.90 1.90 1.87 3/214 11861
/proc/meminfo: memFree=29359852/32770624 swapFree=67105588/67108860
[pid=11507] ppid=11504 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11507/stat : 11507 (xcsp3-exec) S 11504 11507 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113618358 9740288 345 18446744073709551615 4194304 5098028 140727442647424 140727442645528 139838398034556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 28377088 140727442649464 140727442649669 140727442649669 140727442653163 0
/proc/11507/statm: 2378 345 289 221 0 87 0
[pid=11511] ppid=11507 vsize=13980732 memory=1791404 CPUtime=2520.06 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11507 11507 8557 0 -1 1077944320 107174 0 0 0 251782 224 0 0 20 0 15 0 113618366 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140737302193920 140442464657143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
/proc/11511/statm: 3495183 447851 3267 1 0 3483476 0
[pid=11511/tid=11512] ppid=11507 vsize=13980732 memory=-8774313645642428999 CPUtime=2504.75 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11507 11507 8557 0 -1 4202560 50618 0 0 0 250459 16 0 0 20 0 15 0 113618366 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140442468895936 140442098043445 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11513] ppid=11507 vsize=13980732 memory=1791404 CPUtime=1.61 cores=1,3,5,7
/proc/11511/task/11513/stat : 11513 (java) S 11507 11507 8557 0 -1 1077944384 2705 0 0 0 131 30 0 0 20 0 15 0 113618367 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140442421623056 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11514] ppid=11507 vsize=13980732 memory=15540738687502695 CPUtime=1.62 cores=1,3,5,7
/proc/11511/task/11514/stat : 11514 (java) S 11507 11507 8557 0 -1 1077944384 1915 0 0 0 134 28 0 0 20 0 15 0 113618367 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140442420570512 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11515] ppid=11507 vsize=13980732 memory=956 CPUtime=1.61 cores=1,3,5,7
/proc/11511/task/11515/stat : 11515 (java) S 11507 11507 8557 0 -1 1077944384 2239 0 0 0 131 30 0 0 20 0 15 0 113618367 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140442419517968 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11516] ppid=11507 vsize=13980732 memory=1232 CPUtime=1.6 cores=1,3,5,7
/proc/11511/task/11516/stat : 11516 (java) S 11507 11507 8557 0 -1 1077944384 2919 0 0 0 131 29 0 0 20 0 15 0 113618367 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140442418465424 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11517] ppid=11507 vsize=13980732 memory=2240 CPUtime=0.19 cores=1,3,5,7
/proc/11511/task/11517/stat : 11517 (java) S 11507 11507 8557 0 -1 1077944384 3216 0 0 0 15 4 0 0 20 0 15 0 113618368 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140442010401264 140442464668290 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11518] ppid=11507 vsize=13980732 memory=4088 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11518/stat : 11518 (java) S 11507 11507 8557 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 113618369 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140442009347552 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11519] ppid=11507 vsize=13980732 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11519/stat : 11519 (java) S 11507 11507 8557 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 113618369 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140441940911616 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11520] ppid=11507 vsize=13980732 memory=920 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11520/stat : 11520 (java) S 11507 11507 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113618372 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140441939860176 140442464675739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11521] ppid=11507 vsize=13980732 memory=2032 CPUtime=3.21 cores=1,3,5,7
/proc/11511/task/11521/stat : 11521 (java) S 11507 11507 8557 0 -1 1077944384 16562 0 0 0 318 3 0 0 20 0 15 0 113618372 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140441938806768 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11522] ppid=11507 vsize=13980732 memory=832 CPUtime=3.07 cores=1,3,5,7
/proc/11511/task/11522/stat : 11522 (java) S 11507 11507 8557 0 -1 1077944384 16190 0 0 0 304 3 0 0 20 0 15 0 113618372 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140441937754224 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11523] ppid=11507 vsize=13980732 memory=16436 CPUtime=0.77 cores=1,3,5,7
/proc/11511/task/11523/stat : 11523 (java) S 11507 11507 8557 0 -1 1077944384 7969 0 0 0 75 2 0 0 20 0 15 0 113618372 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140441936701680 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11524] ppid=11507 vsize=13980732 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11524/stat : 11524 (java) S 11507 11507 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113618372 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140441935649376 140442464667349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
[pid=11511/tid=11527] ppid=11507 vsize=13980732 memory=3004 CPUtime=1.54 cores=1,3,5,7
/proc/11511/task/11527/stat : 11527 (java) S 11507 11507 8557 0 -1 1077944384 1442 0 0 0 67 87 0 0 20 0 15 0 113618378 14316269568 447851 18446744073709551615 4194304 4196468 140737302211376 140441934596912 140442464668290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140737302213041 140737302213217 140737302213217 140737302216655 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1792784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.82 s]
# the end of solver process 11507 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.84 s, system=2.25722 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.82
CPU time (s): 2520.09
CPU user time (s): 2517.84
CPU system time (s): 2.25722
CPU usage (%): 100.53
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1792784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.84
system time used= 2.25722
maximum resident set size= 1791764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107884
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58081
involuntary context switches= 843
# summary of solver processes directly reported to runsolver:
# pid: 11507
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.84
# total CPU system time (s): 2.25722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3713 second user time and 23.154 second system time
The end
Begin job on node126 at 2017-08-19 05:29:48 IDJOB=4281955 IDBENCH=123023 IDSOLVER=2677 FILE ID=node126/4281955-1503114232 RUNJOBID= node126-1503095802-8616 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-4281955-1503114232/watcher-4281955-1503114232 -o /tmp/evaluation-result-4281955-1503114232/solver-4281955-1503114232 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8616 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1494078235 HOME/instance-4281955-1503114232.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250 RANDOM SEED=1494078235 node126.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.81 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.81 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.81 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.81 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: 31125096 kB MemAvailable: 31679184 kB Buffers: 301588 kB Cached: 542004 kB SwapCached: 524 kB Active: 813444 kB Inactive: 358544 kB Active(anon): 283928 kB Inactive(anon): 93904 kB Active(file): 529516 kB Inactive(file): 264640 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67105588 kB Dirty: 7844 kB Writeback: 0 kB AnonPages: 368620 kB Mapped: 70004 kB Shmem: 49824 kB Slab: 178248 kB SReclaimable: 151536 kB SUnreclaim: 26712 kB KernelStack: 3760 kB PageTables: 5968 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1163152 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 309248 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 node126 at 2017-08-19 06:11:35