Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | SAT (TO) | 7566572 | 2400.67 | 500.524 |
| 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.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4245659-1500686296.xml" -tl '2400s' -p 8 -x 3 0.00/0.18 c [HOME/instance-4245659-1500686296.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.23 c 8 solvers in parallel 0.00/0.30 c parse instance... 326.45/171.83 c solve instance... 488.94/198.28 o 7844359 491.95/200.57 o 7830277 492.76/200.83 o 7826722 496.05/203.14 o 7759699 499.43/205.21 o 7741320 502.63/207.48 o 7733914 528.58/231.50 o 7729404 532.50/233.82 o 7728996 533.67/234.15 o 7724936 538.34/236.49 o 7723314 1477.46/368.16 o 7702667 1766.89/420.27 o 7580069 1767.73/420.47 o 7566572 2400.67/500.55 s SATISFIABLE 2400.67/500.55 v <instantiation> 2400.67/500.55 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> 2400.67/500.55 v <values>0 27 71 38 1 26 47 61 30 9 52 17 49 35 23 65 4 20 11 42 7 44 43 79 64 36 69 6 76 29 16 66 78 8 2 3 75 28 68 51 15 33 22 72 53 41 73 55 59 31 58 60 10 32 54 34 25 46 5 18 48 63 74 62 67 19 77 45 57 37 13 39 24 50 12 56 14 70 40 21 11 15 76 21 91 11 93 26 4 71 89 82 91 12 4 56 1 6 36 25 36 61 58 50 59 2 6 21 82 0 36 80 10 95 82 20 35 85 6 79 86 84 11 8 57 35 74 76 69 76 40 63 56 77 26 71 41 35 29 1 11 56 27 9 61 21 89 18 40 39 0 82 44 30 75 1 18 85 76 5 77 12 21 5 78 57 7 3 13 27 83 37 54 81 46 48 49 91 43 99 85 60 71 76 80 76 28 70 43 55 23 98 56 26 27 28 81 6 64 83 26 87 60 94 78 97 66 49 62 30 80 19 73 22 31 58 21 53 36 2 81 40 27 44 26 75 62 42 21 18 94 18 34 3 75 25 57 70 24 58 13 22 94 9 63 79 41 34 27 80 1 43 81 86 23 20 30 35 22 17 50 33 26 22 29 45 69 36 23 28 52 15 45 58 20 17 40 19 85 84 29 0 38 71 62 49 24 98 20 72 83 93 89 39 18 51 32 78 1 32 96 65 85 36 37 16 51 55 96 87 77 87 21 56 24 39 62 94 17 21 20 47 1 6 44 26 42 73 79 21 17 4 57 83 68 58 95 96 74 6 7 77 86 12 18 13 6 3 72 29 54 58 97 28 11 42 95 98 30 45 87 3 31 85 45 51 26 69 27 46 14 66 22 91 81 57 27 75 33 90 71 70 92 44 84 10 71 56 4 37 51 56 83 99 13 54 48 72 45 48 94 94 2 79 25 89 29 59 85 41 53 15 14 46 90 21 76 62 36 44 4 41 76 40 63 2 67 6 72 20 26 13 86 3 87 60 91 14 99 44 96 70 15 0 77 89 74 62 10 46 11 90 32 83 60 29 74 66 22 87 65 68 19 15 71 66 13 12 97 17 32 21 37 75 41 23 51 21 39 21 40 71 9 32 71 41 56 35 62 58 42 30 48 79 2 16 94 73 17 26 96 90 73 87 61 6 1 79 49 1 18 82 45 49 68 13 47 45 26 15 23 38 39 31 1 97 24 48 2 31 86 7 57 49 8 61 21 29 96 99 60 70 51 20 97 89 60 80 12 27 71 46 93 73 68 87 53 39 77 66 64 6 91 63 6 44 88 36 38 17 56 73 99 56 72 44 61 0 48 87 93 81 33 64 14 81 0 60 38 57 63 53 34 58 59 22 87 30 91 1 97 97 19 78 51 90 61 9 16 78 11 15 63 21 90 51 89 52 56 4 63 72 9 31 7 78 19 3 78 13 94 49 54 72 96 28 94 90 66 4 76 3 15 44 70 35 42 81 90 84 0 52 80 67 10 30 69 66 79 92 25 11 58 10 17 28 84 83 98 15 55 32 35 31 53 72 78 7 50 37 47 4 66 86 99 93 19 38 84 42 5 18 30 3 64 99 14 81 62 57 7 64 52 28 86 79 84 3 68 91 72 17 27 51 47 80 48 10 91 55 33 36 3 83 43 69 18 68 57 70 96 62 83 1 84 90 14 17 68 27 0 75 69 24 95 74 95 47 5 61 20 26 77 55 74 98 3 19 81 87 32 30 44 20 83 53 99 78 29 96 56 95 68 6 11 8 94 13 69 80 33 78 46 71 55 61 73 76 33 0 23 56 97 72 54 46 34 21 74 89 73 67 53 84 41 92 57 12 68 31 61 30 8 98 28 55 94 5 10 43 17 80 69 19 31 76 16 21 3 77 9 81 6 72 77 93 92 80 93 35 2 31 33 93 57 93 44 11 44 13 76 32 51 84 40 77 78 10 36 32 46 45 90 58 43 92 49 37 56 99 54 98 76 44 91 10 55 38 15 43 54 85 67 20 12 44 6 30 79 42 29 85 25 37 12 64 58 85 97 5 38 23 98 20 60 81 43 8 82 92 96 12 74 24 94 7 49 84 30 88 44 35 0 38 29 93 60 4 53 45 74 49 47 54 69 61 39 83 55 54 44 68 20 28 42 64 32 79 64 62 55 4 74 97 49 23 11 92 5 17 55 61 81 28 29 85 61 28 26 56 84 36 17 46 26 62 32 26 47 71 65 65 78 2 82 82 6 87 54 87 68 24 28 49 88 98 33 80 66 53 10 42 26 26 92 29 48 65 96 30 97 66 2 40 31 65 40 89 67 33 55 86 26 79 88 89 15 96 54 24 3 31 56 64 25 23 34 77 76 30 12 35 85 89 8 6 22 7 5 54 6 70 73 14 32 91 97 97 95 86 73 91 25 46 72 57 18 27 65 72 94 21 38 62 69 46 40 81 68 12 81 66 5 28 27 75 89 9 9 31 60 68 38 10 60 73 32 1 71 68 4 60 88 9 43 77 39 78 56 26 22 36 6 22 66 26 46 1 29 61 32 28 33 54 76 2 41 43 62 92 78 30 27 88 55 42 71 30 99 69 41 0 61 88 3 3 62 34 22 75 21 27 99 37 54 29 79 11 13 93 14 91 21 23 8 72 60 13 88 87 31 25 18 7 70 30 78 47 40 74 48 40 60 27 5 76 23 38 95 75 54 75 69 41 82 84 27 97 87 91 13 22 41 17 19 88 67 9 46 59 74 23 29 17 6 98 50 94 14 54 19 87 2 90 40 35 31 67 70 82 1 20 76 42 37 71 84 51 2 35 93 1 7 92 9 7 93 65 17 49 39 55 52 70 0 71 26 12 87 34 84 71 79 26 37 12 26 79 68 96 66 37 21 19 93 93 60 79 29 3 9 45 22 13 33 89 51 52 49 56 66 52 53 56 3 18 71 67 21 7 53 90 50 1 80 34 22 22 9 80 18 28 29 24 17 79 2 62 27 39 52 46 97 27 42 31 81 47 12 63 9 2 76 63 28 93 64 18 0 55 58 76 84 12 5 93 84 74 24 56 48 27 81 53 91 0 59 11 88 63 59 67 85 26 53 98 18 47 86 95 60 14 90 37 20 54 95 46 12 29 89 77 85 27 94 64 19 66 53 8 68 54 23 44 17 52 63 58 4 16 59 80 79 69 27 2 8 96 39 90 72 67 81 58 86 4 98 21 21 86 31 24 24 21 22 35 3 15 67 25 35 41 19 21 90 29 25 79 5 37 15 98 91 69 42 54 47 72 1 92 48 27 5 31 87 8 91 5 85 97 69 88 48 34 30 56 25 10 57 42 26 28 58 7 17 40 3 22 17 27 20 37 55 23 42 91 2 83 96 13 17 82 56 49 60 35 59 2 40 35 3 4 56 37 37 13 82 50 90 26 35 30 99 74 70 60 33 43 51 67 23 30 86 52 69 31 97 87 37 68 62 30 59 66 0 15 30 85 99 73 95 13 1 91 98 18 92 4 49 18 12 26 63 83 48 39 52 1 53 5 6 75 51 69 29 2 17 26 98 99 2 73 3 19 41 24 85 38 76 46 81 58 49 97 23 91 17 60 32 45 85 44 73 50 17 77 31 62 18 91 16 2 80 74 3 88 50 93 2 36 75 73 75 18 32 84 74 40 75 53 69 35 25 73 9 97 36 13 64 25 26 13 19 81 81 66 12 60 52 99 82 85 61 93 16 69 50 92 27 55 43 23 47 55 71 73 61 22 54 68 70 94 89 15 53 64 56 3 17 45 83 56 96 89 43 19 50 29 84 92 74 51 63 28 34 76 44 11 20 8 4 11 2 65 45 67 4 7 28 14 25 43 84 98 16 93 63 35 17 23 8 82 25 25 65 73 75 54 93 25 90 35 84 15 7 62 19 17 87 11 75 54 45 81 12 57 43 17 80 94 26 81 24 41 57 2 10 41 9 42 30 85 15 5 52 46 97 67 41 94 1 78 21 44 1 9 76 17 50 28 17 93 67 70 17 99 65 57 13 89 25 85 64 0 45 16 38 3 91 65 57 42 87 26 17 28 98 67 27 27 82 85 20 84 21 7 26 77 89 70 23 81 55 45 67 2 3 64 51 30 52 0 88 1 52 17 4 57 1 91 78 2 33 4 54 63 57 89 6 32 9 70 7 50 53 64 17 60 51 6 49 81 97 34 65 69 66 43 92 20 20 99 64 15 76 10 85 41 64 47 70 45 79 28 48 65 99 47 33 72 12 52 80 52 87 12 99 68 22 24 84 94 61 47 75 43 90 29 24 25 87 96 70 22 85 74 97 39 8 66 21 49 63 86 48 32 91 64 3 23 69 99 61 9 52 19 10 15 86 96 24 78 70 54 1 57 81 30 20 21 79 53 0 29 91 92 27 25 67 93 72 6 7 12 22 85 62 93 41 72 64 24 16 19 1 51 4 48 52 40 99 86 55 23 83 36 40 11 70 37 97 23 81 74 88 43 92 53 67 33 30 90 53 50 18 4 21 4 35 18 33 43 84 94 5 25 55 45 79 57 93 20 74 12 77 39 80 60 54 88 59 87 79 44 22 15 48 11 99 62 81 75 31 56 81 82 12 15 37 15 18 10 7 20 94 89 54 54 68 75 46 48 31 81 31 10 40 57 26 62 77 65 73 89 39 83 49 32 20 56 48 67 33 18 54 77 97 47 21 13 68 87 32 39 56 34 2 26 42 61 39 37 22 35 82 30 57 10 11 20 0 80 20 4 91 41 74 73 16 13 48 84 80 42 36 18 76 31 27 33 99 35 10 9 66 28 88 73 8 58 85 51 48 0 87 85 79 86 84 62 9 82 60 86 53 59 10 35 76 92 69 39 46 12 33 55 68 47 8 58 90 97 40 49 10 62 12 46 36 48 78 87 92 22 13 50 19 62 54 44 8 95 34 75 43 19 3 44 85 40 53 47 3 87 25 8 39 34 91 87 78 53 62 69 30 21 40 38 67 96 30 45 33 41 33 27 1 72 59 49 50 82 13 51 49 90 46 39 5 62 95 2 29 82 67 62 43 76 32 37 34 76 5 53 0 66 65 98 66 83 36 29 57 48 97 82 1 3 50 62 61 17 62 44 15 36 48 49 59 92 26 51 54 74 69 10 94 30 55 80 47 8 96 29 45 1 99 53 94 74 23 98 69 67 51 71 74 50 82 87 2 41 38 0 2 81 29 92 33 25 57 17 83 20 78 6 1 49 1 9 35 31 85 59 76 88 58 98 63 14 48 72 69 87 69 63 36 79 55 46 95 21 11 22 25 55 62 7 35 85 89 88 52 90 31 37 86 74 88 3 85 5 69 32 96 85 70 52 19 86 44 73 92 94 24 45 49 62 63 22 40 18 1 53 41 13 24 18 46 43 54 35 52 49 57 59 58 63 27 55 85 19 10 64 33 63 25 39 10 89 5 71 33 18 66 71 78 23 82 46 57 77 42 14 89 27 67 83 79 31 88 75 91 1 71 63 34 0 91 82 94 56 24 53 66 81 92 54 57 68 1 41 12 6 67 98 41 29 5 81 3 44 55 46 18 18 64 69 99 56 30 26 22 61 48 13 38 48 71 79 92 44 29 83 15 35 32 98 32 74 84 93 28 98 15 9 22 26 92 65 80 70 61 11 97 3 9 92 29 80 29 97 93 44 94 39 79 9 56 99 70 6 19 57 99 94 10 85 9 33 48 55 46 3 89 32 2 56 38 84 14 78 61 53 81 95 28 67 20 80 30 48 68 28 87 46 82 37 15 29 87 26 85 25 11 15 78 44 73 32 21 32 48 30 28 28 22 93 42 26 63 28 63 85 8 50 42 42 37 49 78 24 37 49 63 58 42 99 86 41 84 20 89 75 58 77 31 26 84 71 25 59 16 35 47 17 32 91 64 44 40 91 30 91 9 3 31 24 49 50 82 85 19 14 99 40 95 37 4 39 1 10 27 66 34 84 87 48 75 80 20 47 23 5 20 51 96 75 28 37 77 9 17 86 44 31 91 75 57 45 94 5 21 79 41 66 63 38 12 35 45 54 21 22 85 47 69 4 15 90 48 82 4 75 24 56 98 23 37 64 5 63 54 49 55 48 74 83 33 44 96 96 5 76 21 35 72 13 73 30 45 31 45 44 12 64 4 94 54 99 9 9 63 18 72 23 70 2 60 32 41 17 14 0 3 22 25 23 37 99 95 93 8 64 71 1 36 74 87 78 82 67 72 9 3 12 25 51 66 13 12 66 79 3 89 70 47 30 62 17 90 80 40 71 28 15 26 4 66 70 89 42 36 13 48 83 67 46 91 84 12 75 86 3 89 45 76 19 71 25 32 52 98 33 68 92 55 14 37 79 53 71 47 84 5 17 30 13 16 93 80 98 58 40 17 60 99 61 62 79 34 62 98 91 85 80 10 63 66 44 80 88 69 55 87 0 20 13 66 68 95 46 29 57 44 5 76 92 28 44 9 84 41 58 66 53 3 71 29 20 11 80 62 13 61 77 45 90 91 80 77 33 62 22 72 75 36 5 87 2 56 60 59 62 91 23 96 88 30 56 33 25 3 74 46 14 27 3 19 35 77 65 46 91 84 60 67 91 52 13 3 75 38 34 34 13 72 67 35 79 6 78 80 40 84 52 76 34 44 59 3 76 8 92 56 9 26 44 31 69 37 29 10 12 57 62 62 9 9 13 33 9 38 96 68 3 22 65 24 39 93 67 69 12 58 10 43 56 34 63 18 63 22 91 27 70 71 96 49 39 77 45 6 12 29 88 23 46 82 79 27 55 80 23 61 58 45 28 80 96 95 52 81 27 47 29 41 21 0 81 22 73 26 62 8 84 1 42 36 64 86 93 3 4 11 84 47 98 3 8 96 16 87 10 90 58 36 42 16 55 87 90 99 37 80 40 22 49 54 59 26 54 35 16 79 73 72 58 12 73 84 30 64 7 8 16 16 50 86 48 50 96 2 74 46 23 94 10 30 92 80 64 58 69 89 30 67 8 62 94 12 33 56 19 49 97 50 34 50 59 8 1 10 81 66 55 38 99 90 21 91 92 88 15 45 79 12 98 59 47 0 69 22 63 31 72 53 48 35 44 92 25 31 32 75 78 8 28 99 36 58 11 32 10 24 72 0 81 89 61 11 92 7 71 89 8 46 30 49 10 32 28 39 17 21 91 60 50 6 25 80 77 52 32 26 53 2 98 15 46 45 45 94 47 26 50 1 </values> 2400.67/500.55 v </instantiation> 2400.67/500.55 c Unexpected resolution interruption!
OK 7566572
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245659-1500686296/watcher-4245659-1500686296 -o /tmp/evaluation-result-4245659-1500686296/solver-4245659-1500686296 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2133917330 HOME/instance-4245659-1500686296.xml pid=29648 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 15.86 15.32 14.96 10/271 29651 /proc/meminfo: memFree=27811492/32770624 swapFree=5972/225620 [pid=29651] ppid=29648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29651/stat : 29651 (xcsp3-exec) S 29648 29651 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899062 9740288 346 33554432000 4194304 5098028 140735374561568 140735374559672 139672800051836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23416832 140735374570638 140735374570848 140735374570848 140735374573547 0 /proc/29651/statm: 2378 346 289 221 0 87 0 [startup+0.100137 s] /proc/loadavg: 15.86 15.32 14.96 10/271 29651 /proc/meminfo: memFree=27811492/32770624 swapFree=5972/225620 [pid=29651] ppid=29648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29651/stat : 29651 (xcsp3-exec) S 29648 29651 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899062 9740288 346 33554432000 4194304 5098028 140735374561568 140735374559672 139672800051836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23416832 140735374570638 140735374570848 140735374570848 140735374573547 0 /proc/29651/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200295 s] /proc/loadavg: 15.86 15.32 14.96 10/271 29651 /proc/meminfo: memFree=27811492/32770624 swapFree=5972/225620 [pid=29651] ppid=29648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29651/stat : 29651 (xcsp3-exec) S 29648 29651 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899062 9740288 346 33554432000 4194304 5098028 140735374561568 140735374559672 139672800051836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23416832 140735374570638 140735374570848 140735374570848 140735374573547 0 /proc/29651/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300244 s] /proc/loadavg: 15.86 15.32 14.96 10/271 29651 /proc/meminfo: memFree=27811492/32770624 swapFree=5972/225620 [pid=29651] ppid=29648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29651/stat : 29651 (xcsp3-exec) S 29648 29651 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899062 9740288 346 33554432000 4194304 5098028 140735374561568 140735374559672 139672800051836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23416832 140735374570638 140735374570848 140735374570848 140735374573547 0 /proc/29651/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700169 s] /proc/loadavg: 15.86 15.32 14.96 10/271 29651 /proc/meminfo: memFree=27811492/32770624 swapFree=5972/225620 [pid=29651] ppid=29648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29651/stat : 29651 (xcsp3-exec) S 29648 29651 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899062 9740288 346 33554432000 4194304 5098028 140735374561568 140735374559672 139672800051836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23416832 140735374570638 140735374570848 140735374570848 140735374573547 0 /proc/29651/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50081 s] /proc/loadavg: 15.86 15.32 14.96 10/292 29672 /proc/meminfo: memFree=27720024/32770624 swapFree=5972/225988 [pid=29651] ppid=29648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29651/stat : 29651 (xcsp3-exec) S 29648 29651 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899062 9740288 346 33554432000 4194304 5098028 140735374561568 140735374559672 139672800051836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23416832 140735374570638 140735374570848 140735374570848 140735374573547 0 /proc/29651/statm: 2378 346 289 221 0 87 0 [pid=29652] ppid=29651 vsize=13267208 CPUtime=2.91 cores=0,2,4,6,8,10,12,14 /proc/29652/stat : 29652 (java) S 29651 29651 14626 0 -1 1077944320 14768 0 0 0 285 6 0 0 20 0 20 0 3899062 13585620992 25896 33554432000 4194304 4196468 140725022355824 140725022338368 140604311178999 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 /proc/29652/statm: 3316802 25896 3198 1 0 3304035 0 [pid=29652/tid=29653] ppid=29651 vsize=13267208 CPUtime=1.48 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29653/stat : 29653 (java) R 29651 29651 14626 0 -1 4202560 6141 0 0 0 145 3 0 0 20 0 20 0 3899062 13585620992 25896 33554432000 4194304 4196468 140725022355824 140604315415128 140604293642237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29655] ppid=29651 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29655/stat : 29655 (java) S 29651 29651 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899063 13585620992 25896 33554432000 4194304 4196468 140725022355824 140604278737552 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29656] ppid=29651 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29656/stat : 29656 (java) S 29651 29651 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899063 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603909409296 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29657] ppid=29651 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29657/stat : 29657 (java) S 29651 29651 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3899063 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603908356496 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29658] ppid=29651 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29658/stat : 29658 (java) S 29651 29651 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3899063 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603907303696 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29659] ppid=29651 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29659/stat : 29659 (java) S 29651 29651 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3899063 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603906251920 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29660] ppid=29651 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29660/stat : 29660 (java) S 29651 29651 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899063 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603905199120 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29661] ppid=29651 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29661/stat : 29661 (java) S 29651 29651 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899063 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603904146320 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29662] ppid=29651 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29662/stat : 29662 (java) S 29651 29651 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899063 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603903093520 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29663] ppid=29651 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29663/stat : 29663 (java) S 29651 29651 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3899065 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603639216496 140604311190146 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29664] ppid=29651 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29664/stat : 29664 (java) S 29651 29651 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3899066 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603638162464 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29665] ppid=29651 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29665/stat : 29665 (java) S 29651 29651 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3899066 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603637109616 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29666] ppid=29651 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29666/stat : 29666 (java) S 29651 29651 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3899070 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603636057936 140604311197595 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29667] ppid=29651 vsize=13267208 CPUtime=0.33 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29667/stat : 29667 (java) S 29651 29651 14626 0 -1 1077944384 1167 0 0 0 33 0 0 0 20 0 20 0 3899070 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603635006320 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29668] ppid=29651 vsize=13267208 CPUtime=0.36 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29668/stat : 29668 (java) S 29651 29651 14626 0 -1 1077944384 1963 0 0 0 36 0 0 0 20 0 20 0 3899070 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603633953520 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29669] ppid=29651 vsize=13267208 CPUtime=0.34 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29669/stat : 29669 (java) S 29651 29651 14626 0 -1 1077944384 1949 0 0 0 34 0 0 0 20 0 20 0 3899070 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603632900720 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29670] ppid=29651 vsize=13267208 CPUtime=0.36 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29670/stat : 29670 (java) S 29651 29651 14626 0 -1 1077944384 2232 0 0 0 36 0 0 0 20 0 20 0 3899070 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603631847920 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29671] ppid=29651 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29671/stat : 29671 (java) S 29651 29651 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3899070 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603630795360 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29672] ppid=29651 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29672/stat : 29672 (java) S 29651 29651 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3899070 13585620992 25896 33554432000 4194304 4196468 140725022355824 140603629742640 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 Current children cumulated CPU time (s) 2.91 Current children cumulated vsize (KiB) 13276720 [startup+3.10093 s] /proc/loadavg: 14.91 15.13 14.90 11/292 29672 /proc/meminfo: memFree=27703828/32770624 swapFree=5972/225988 [pid=29651] ppid=29648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29651/stat : 29651 (xcsp3-exec) S 29648 29651 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899062 9740288 346 33554432000 4194304 5098028 140735374561568 140735374559672 139672800051836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23416832 140735374570638 140735374570848 140735374570848 140735374573547 0 /proc/29651/statm: 2378 346 289 221 0 87 0 [pid=29652] ppid=29651 vsize=13269256 CPUtime=4.89 cores=0,2,4,6,8,10,12,14 /proc/29652/stat : 29652 (java) S 29651 29651 14626 0 -1 1077944320 17907 0 0 0 482 7 0 0 20 0 20 0 3899062 13587718144 40028 33554432000 4194304 4196468 140725022355824 140725022338368 140604311178999 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 /proc/29652/statm: 3317314 40028 3216 1 0 3304547 0 [pid=29652/tid=29653] ppid=29651 vsize=13269256 CPUtime=3.08 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29653/stat : 29653 (java) R 29651 29651 14626 0 -1 4202560 7472 0 0 0 304 4 0 0 20 0 20 0 3899062 13587718144 40028 33554432000 4194304 4196468 140725022355824 140604315416680 140603952203856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29655] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29655/stat : 29655 (java) S 29651 29651 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899063 13587718144 40028 33554432000 4194304 4196468 140725022355824 140604278737552 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29656] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29656/stat : 29656 (java) S 29651 29651 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899063 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603909409296 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29657] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29657/stat : 29657 (java) S 29651 29651 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3899063 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603908356496 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29658] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29658/stat : 29658 (java) S 29651 29651 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3899063 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603907303696 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29659] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29659/stat : 29659 (java) S 29651 29651 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3899063 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603906251920 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29660] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29660/stat : 29660 (java) S 29651 29651 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899063 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603905199120 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29661] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29661/stat : 29661 (java) S 29651 29651 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899063 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603904146320 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29662] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29662/stat : 29662 (java) S 29651 29651 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899063 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603903093520 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29663] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29663/stat : 29663 (java) S 29651 29651 14626 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 3899065 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603639216496 140604311190146 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29664] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29664/stat : 29664 (java) S 29651 29651 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3899066 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603638162464 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29665] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29665/stat : 29665 (java) S 29651 29651 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3899066 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603637109616 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29666] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29666/stat : 29666 (java) S 29651 29651 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3899070 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603636057936 140604311197595 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29667] ppid=29651 vsize=13269256 CPUtime=0.46 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29667/stat : 29667 (java) S 29651 29651 14626 0 -1 1077944384 1576 0 0 0 45 1 0 0 20 0 20 0 3899070 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603635006320 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29668] ppid=29651 vsize=13269256 CPUtime=0.45 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29668/stat : 29668 (java) S 29651 29651 14626 0 -1 1077944384 2319 0 0 0 45 0 0 0 20 0 20 0 3899070 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603633953520 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29669] ppid=29651 vsize=13269256 CPUtime=0.44 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29669/stat : 29669 (java) S 29651 29651 14626 0 -1 1077944384 2406 0 0 0 44 0 0 0 20 0 20 0 3899070 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603632900720 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29670] ppid=29651 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29670/stat : 29670 (java) S 29651 29651 14626 0 -1 1077944384 2765 0 0 0 42 0 0 0 20 0 20 0 3899070 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603631847920 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29671] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29671/stat : 29671 (java) S 29651 29651 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3899070 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603630795360 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29672] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29672/stat : 29672 (java) D 29651 29651 14626 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 3899070 13587718144 40028 33554432000 4194304 4196468 140725022355824 140603629742560 140604296035086 0 4 0 16800975 18446744072099699845 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 Current children cumulated CPU time (s) 4.89 Current children cumulated vsize (KiB) 13278768 [startup+6.30093 s] /proc/loadavg: 14.91 15.13 14.90 19/292 29672 /proc/meminfo: memFree=27562632/32770624 swapFree=5972/225996 [pid=29651] ppid=29648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29651/stat : 29651 (xcsp3-exec) S 29648 29651 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899062 9740288 346 33554432000 4194304 5098028 140735374561568 140735374559672 139672800051836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23416832 140735374570638 140735374570848 140735374570848 140735374573547 0 /proc/29651/statm: 2378 346 289 221 0 87 0 [pid=29652] ppid=29651 vsize=13269256 CPUtime=9.55 cores=0,2,4,6,8,10,12,14 /proc/29652/stat : 29652 (java) S 29651 29651 14626 0 -1 1077944320 20617 0 0 0 847 108 0 0 20 0 20 0 3899062 13587718144 92505 33554432000 4194304 4196468 140725022355824 140725022338368 140604311178999 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 /proc/29652/statm: 3317314 92505 3244 1 0 3304547 0 [pid=29652/tid=29653] ppid=29651 vsize=13269256 CPUtime=6.06 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29653/stat : 29653 (java) R 29651 29651 14626 0 -1 4202560 7572 0 0 0 602 4 0 0 20 0 20 0 3899062 13587718144 92505 33554432000 4194304 4196468 140725022355824 140604315413672 140603952203878 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29655] ppid=29651 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29655/stat : 29655 (java) S 29651 29651 14626 0 -1 1077944384 166 0 0 0 9 11 0 0 20 0 20 0 3899063 13587718144 92505 33554432000 4194304 4196468 140725022355824 140604278737552 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29656] ppid=29651 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29656/stat : 29656 (java) S 29651 29651 14626 0 -1 1077944384 165 0 0 0 8 12 0 0 20 0 20 0 3899063 13587718144 92505 33554432000 4194304 4196468 140725022355824 140603909409296 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29657] ppid=29651 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29657/stat : 29657 (java) S 29651 29651 14626 0 -1 1077944384 131 0 0 0 7 12 0 0 20 0 20 0 3899063 13587718144 92505 33554432000 4194304 4196468 140725022355824 140603908356496 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29658] ppid=29651 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29658/stat : 29658 (java) S 29651 29651 14626 0 -1 1077944384 131 0 0 0 7 13 0 0 20 0 20 0 3899063 13587718144 92505 33554432000 4194304 4196468 140725022355824 140603907303696 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29659] ppid=29651 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29659/stat : 29659 (java) S 29651 29651 14626 0 -1 1077944384 132 0 0 0 7 13 0 0 20 0 20 0 3899063 13587718144 92505 33554432000 4194304 4196468 140725022355824 140603906251920 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29660] ppid=29651 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29660/stat : 29660 (java) S 29651 29651 14626 0 -1 1077944384 271 0 0 0 7 13 0 0 20 0 20 0 3899063 13587718144 92505 33554432000 4194304 4196468 140725022355824 140603905199120 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29661] ppid=29651 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29661/stat : 29661 (java) S 29651 29651 14626 0 -1 1077944384 169 0 0 0 7 13 0 0 20 0 20 0 3899063 13587718144 92505 33554432000 4194304 4196468 140725022355824 140603904146320 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29662] ppid=29651 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29662/stat : 29662 (java) S 29651 29651 14626 0 -1 1077944384 496 0 0 0 6 10 0 0 20 0 20 0 3899063 13587718144 92505 33554432000 4194304 4196468 140725022355824 140603903093520 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29663] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29663/stat : 29663 (java) S 29651 29651 14626 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 20 0 3899065 13587718144 92505 33554432000 4194304 4196468 140725022355824 140603639216496 140604311190146 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29664] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29664/stat : 29664 (java) S 29651 29651 14626 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 3899066 13587718144 92505 33554432000 4194304 4196468 140725022355824 140603638162464 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29665] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29665/stat : 29665 (java) S 29651 29651 14626 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3899066 13587718144 92505 33554432000 4194304 4196468 140725022355824 140603637109616 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29666] ppid=29651 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29666/stat : 29666 (java) S 29651 29651 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3899070 13587718144 92505 33554432000 4194304 4196468 140725022355824 140603636057936 140604311197595 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 ################ # More data... # ################ /proc/29652/task/30370/stat : 30370 (java) R 29651 29651 14626 0 -1 4202560 2155 0 0 0 4169 0 0 0 20 0 28 0 3941109 14133010432 2553341 33554432000 4194304 4196468 140725022355824 140603618569768 140603955295531 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30371] ppid=29651 vsize=13801768 CPUtime=41.12 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30371/stat : 30371 (java) R 29651 29651 14626 0 -1 4202560 5068 0 0 0 4112 0 0 0 20 0 28 0 3941109 14133010432 2553341 33554432000 4194304 4196468 140725022355824 140603616464408 140603955294890 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 Current children cumulated CPU time (s) 2100.91 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+500.501 s] /proc/loadavg: 15.19 13.90 14.12 17/301 30372 /proc/meminfo: memFree=21192560/32770624 swapFree=5972/226656 [pid=29651] ppid=29648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29651/stat : 29651 (xcsp3-exec) S 29648 29651 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899062 9740288 346 33554432000 4194304 5098028 140735374561568 140735374559672 139672800051836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23416832 140735374570638 140735374570848 140735374570848 140735374573547 0 /proc/29651/statm: 2378 346 289 221 0 87 0 [pid=29652] ppid=29651 vsize=13801768 CPUtime=2400.67 cores=0,2,4,6,8,10,12,14 /proc/29652/stat : 29652 (java) S 29651 29651 14626 0 -1 1077944320 1294061 0 0 0 235839 4228 0 0 20 0 28 0 3899062 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140725022338368 140604311178999 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 /proc/29652/statm: 3450442 2553359 3314 1 0 3437675 0 [pid=29652/tid=29653] ppid=29651 vsize=13801768 CPUtime=148.44 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29653/stat : 29653 (java) S 29651 29651 14626 0 -1 1077944384 22243 0 0 0 14833 11 0 0 20 0 28 0 3899062 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140604315419776 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29655] ppid=29651 vsize=13801768 CPUtime=75.98 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29655/stat : 29655 (java) S 29651 29651 14626 0 -1 1077944384 25291 0 0 0 7052 546 0 0 20 0 28 0 3899063 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140604278737552 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29656] ppid=29651 vsize=13801768 CPUtime=76.05 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29656/stat : 29656 (java) S 29651 29651 14626 0 -1 1077944384 26688 0 0 0 7101 504 0 0 20 0 28 0 3899063 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603909409296 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29657] ppid=29651 vsize=13801768 CPUtime=76.74 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29657/stat : 29657 (java) S 29651 29651 14626 0 -1 1077944384 25135 0 0 0 7178 496 0 0 20 0 28 0 3899063 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603908356496 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29658] ppid=29651 vsize=13801768 CPUtime=76.11 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29658/stat : 29658 (java) S 29651 29651 14626 0 -1 1077944384 28253 0 0 0 7092 519 0 0 20 0 28 0 3899063 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603907303696 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29659] ppid=29651 vsize=13801768 CPUtime=76.16 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29659/stat : 29659 (java) S 29651 29651 14626 0 -1 1077944384 28829 0 0 0 7077 539 0 0 20 0 28 0 3899063 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603906251920 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29660] ppid=29651 vsize=13801768 CPUtime=75.81 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29660/stat : 29660 (java) S 29651 29651 14626 0 -1 1077944384 36193 0 0 0 7069 512 0 0 20 0 28 0 3899063 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603905199120 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29661] ppid=29651 vsize=13801768 CPUtime=76.12 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29661/stat : 29661 (java) S 29651 29651 14626 0 -1 1077944384 43115 0 0 0 7071 541 0 0 20 0 28 0 3899063 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603904146320 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29662] ppid=29651 vsize=13801768 CPUtime=75.98 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29662/stat : 29662 (java) S 29651 29651 14626 0 -1 1077944384 14815 0 0 0 7158 440 0 0 20 0 28 0 3899063 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603903093520 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29663] ppid=29651 vsize=13801768 CPUtime=11.28 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29663/stat : 29663 (java) S 29651 29651 14626 0 -1 1077944384 70214 0 0 0 1119 9 0 0 20 0 28 0 3899065 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603639216496 140604311190146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29664] ppid=29651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29664/stat : 29664 (java) S 29651 29651 14626 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 28 0 3899066 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603638162528 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29665] ppid=29651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29665/stat : 29665 (java) S 29651 29651 14626 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 28 0 3899066 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603637109632 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29666] ppid=29651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29666/stat : 29666 (java) S 29651 29651 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3899070 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603636057936 140604311197595 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29667] ppid=29651 vsize=13801768 CPUtime=4.85 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29667/stat : 29667 (java) S 29651 29651 14626 0 -1 1077944384 26689 0 0 0 482 3 0 0 20 0 28 0 3899070 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603635006320 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29668] ppid=29651 vsize=13801768 CPUtime=4.68 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29668/stat : 29668 (java) S 29651 29651 14626 0 -1 1077944384 25837 0 0 0 465 3 0 0 20 0 28 0 3899070 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603633953520 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29669] ppid=29651 vsize=13801768 CPUtime=5.19 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29669/stat : 29669 (java) S 29651 29651 14626 0 -1 1077944384 28690 0 0 0 515 4 0 0 20 0 28 0 3899070 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603632900720 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29670] ppid=29651 vsize=13801768 CPUtime=1.2 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29670/stat : 29670 (java) S 29651 29651 14626 0 -1 1077944384 21013 0 0 0 116 4 0 0 20 0 28 0 3899070 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603631847920 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29671] ppid=29651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29671/stat : 29671 (java) S 29651 29651 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3899070 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603630795360 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29672] ppid=29651 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29672/stat : 29672 (java) S 29651 29651 14626 0 -1 1077944384 2036 0 0 0 10 13 0 0 20 0 28 0 3899070 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603629742640 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30364] ppid=29651 vsize=13801768 CPUtime=74.01 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30364/stat : 30364 (java) R 29651 29651 14626 0 -1 4202560 131200 0 0 0 7392 9 0 0 20 0 28 0 3941109 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603619621752 140603955295531 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30365] ppid=29651 vsize=13801768 CPUtime=74.38 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30365/stat : 30365 (java) R 29651 29651 14626 0 -1 4202560 5256 0 0 0 7438 0 0 0 20 0 28 0 3941109 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603617517248 140603955294916 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30366] ppid=29651 vsize=13801768 CPUtime=74.48 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30366/stat : 30366 (java) R 29651 29651 14626 0 -1 4202560 33034 0 0 0 7445 3 0 0 20 0 28 0 3941109 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603620678048 140603955295740 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30367] ppid=29651 vsize=13801768 CPUtime=74.35 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30367/stat : 30367 (java) R 29651 29651 14626 0 -1 4202560 3731 0 0 0 7434 1 0 0 20 0 28 0 3941109 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603615412680 140603955295531 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30368] ppid=29651 vsize=13801768 CPUtime=73.86 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30368/stat : 30368 (java) R 29651 29651 14626 0 -1 4202560 4978 0 0 0 7386 0 0 0 20 0 28 0 3941109 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603621728648 140603955226434 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30369] ppid=29651 vsize=13801768 CPUtime=74.42 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30369/stat : 30369 (java) R 29651 29651 14626 0 -1 4202560 31877 0 0 0 7439 3 0 0 20 0 28 0 3941109 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603614359816 140603955295423 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30370] ppid=29651 vsize=13801768 CPUtime=74.34 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30370/stat : 30370 (java) R 29651 29651 14626 0 -1 4202560 2648 0 0 0 7434 0 0 0 20 0 28 0 3941109 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603618569768 140603955226379 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30371] ppid=29651 vsize=13801768 CPUtime=73.55 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30371/stat : 30371 (java) R 29651 29651 14626 0 -1 4202560 6921 0 0 0 7354 1 0 0 20 0 28 0 3941109 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603616464840 140603955226506 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 Current children cumulated CPU time (s) 2400.67 Current children cumulated vsize (KiB) 13811280 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 29652 sig 9 ??? kill 29651 sig 9 ??? kill -29651 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+500.501 s] /proc/loadavg: 15.19 13.90 14.12 17/301 30372 /proc/meminfo: memFree=21192560/32770624 swapFree=5972/226656 [pid=29651] ppid=29648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29651/stat : 29651 (xcsp3-exec) S 29648 29651 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899062 9740288 346 33554432000 4194304 5098028 140735374561568 140735374559672 139672800051836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23416832 140735374570638 140735374570848 140735374570848 140735374573547 0 /proc/29651/statm: 2378 346 289 221 0 87 0 [pid=29652] ppid=29651 vsize=13801768 CPUtime=2400.67 cores=0,2,4,6,8,10,12,14 /proc/29652/stat : 29652 (java) S 29651 29651 14626 0 -1 1077944320 1294061 0 0 0 235839 4228 0 0 20 0 28 0 3899062 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140725022338368 140604311178999 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 /proc/29652/statm: 3450442 2553359 3314 1 0 3437675 0 [pid=29652/tid=29653] ppid=29651 vsize=13801768 CPUtime=148.44 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29653/stat : 29653 (java) S 29651 29651 14626 0 -1 1077944384 22243 0 0 0 14833 11 0 0 20 0 28 0 3899062 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140604315419776 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29655] ppid=29651 vsize=13801768 CPUtime=75.98 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29655/stat : 29655 (java) S 29651 29651 14626 0 -1 1077944384 25291 0 0 0 7052 546 0 0 20 0 28 0 3899063 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140604278737552 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29656] ppid=29651 vsize=13801768 CPUtime=76.05 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29656/stat : 29656 (java) S 29651 29651 14626 0 -1 1077944384 26688 0 0 0 7101 504 0 0 20 0 28 0 3899063 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603909409296 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29657] ppid=29651 vsize=13801768 CPUtime=76.74 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29657/stat : 29657 (java) S 29651 29651 14626 0 -1 1077944384 25135 0 0 0 7178 496 0 0 20 0 28 0 3899063 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603908356496 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29658] ppid=29651 vsize=13801768 CPUtime=76.11 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29658/stat : 29658 (java) S 29651 29651 14626 0 -1 1077944384 28253 0 0 0 7092 519 0 0 20 0 28 0 3899063 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603907303696 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29659] ppid=29651 vsize=13801768 CPUtime=76.16 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29659/stat : 29659 (java) S 29651 29651 14626 0 -1 1077944384 28829 0 0 0 7077 539 0 0 20 0 28 0 3899063 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603906251920 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29660] ppid=29651 vsize=13801768 CPUtime=75.81 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29660/stat : 29660 (java) S 29651 29651 14626 0 -1 1077944384 36193 0 0 0 7069 512 0 0 20 0 28 0 3899063 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603905199120 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29661] ppid=29651 vsize=13801768 CPUtime=76.12 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29661/stat : 29661 (java) S 29651 29651 14626 0 -1 1077944384 43115 0 0 0 7071 541 0 0 20 0 28 0 3899063 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603904146320 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29662] ppid=29651 vsize=13801768 CPUtime=75.98 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29662/stat : 29662 (java) S 29651 29651 14626 0 -1 1077944384 14815 0 0 0 7158 440 0 0 20 0 28 0 3899063 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603903093520 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29663] ppid=29651 vsize=13801768 CPUtime=11.28 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29663/stat : 29663 (java) S 29651 29651 14626 0 -1 1077944384 70214 0 0 0 1119 9 0 0 20 0 28 0 3899065 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603639216496 140604311190146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29664] ppid=29651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29664/stat : 29664 (java) S 29651 29651 14626 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 28 0 3899066 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603638162528 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29665] ppid=29651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29665/stat : 29665 (java) S 29651 29651 14626 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 28 0 3899066 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603637109632 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29666] ppid=29651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29666/stat : 29666 (java) S 29651 29651 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3899070 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603636057936 140604311197595 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29667] ppid=29651 vsize=13801768 CPUtime=4.85 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29667/stat : 29667 (java) S 29651 29651 14626 0 -1 1077944384 26689 0 0 0 482 3 0 0 20 0 28 0 3899070 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603635006320 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29668] ppid=29651 vsize=13801768 CPUtime=4.68 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29668/stat : 29668 (java) S 29651 29651 14626 0 -1 1077944384 25837 0 0 0 465 3 0 0 20 0 28 0 3899070 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603633953520 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29669] ppid=29651 vsize=13801768 CPUtime=5.19 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29669/stat : 29669 (java) S 29651 29651 14626 0 -1 1077944384 28690 0 0 0 515 4 0 0 20 0 28 0 3899070 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603632900720 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29670] ppid=29651 vsize=13801768 CPUtime=1.2 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29670/stat : 29670 (java) S 29651 29651 14626 0 -1 1077944384 21013 0 0 0 116 4 0 0 20 0 28 0 3899070 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603631847920 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29671] ppid=29651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29671/stat : 29671 (java) S 29651 29651 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3899070 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603630795360 140604311189205 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=29672] ppid=29651 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/29652/task/29672/stat : 29672 (java) S 29651 29651 14626 0 -1 1077944384 2036 0 0 0 10 13 0 0 20 0 28 0 3899070 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603629742640 140604311190146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30364] ppid=29651 vsize=13801768 CPUtime=74.01 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30364/stat : 30364 (java) R 29651 29651 14626 0 -1 4202560 131200 0 0 0 7392 9 0 0 20 0 28 0 3941109 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603619621752 140603955295531 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30365] ppid=29651 vsize=13801768 CPUtime=74.38 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30365/stat : 30365 (java) R 29651 29651 14626 0 -1 4202560 5256 0 0 0 7438 0 0 0 20 0 28 0 3941109 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603617517248 140603955294916 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30366] ppid=29651 vsize=13801768 CPUtime=74.48 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30366/stat : 30366 (java) R 29651 29651 14626 0 -1 4202560 33034 0 0 0 7445 3 0 0 20 0 28 0 3941109 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603620678048 140603955295740 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30367] ppid=29651 vsize=13801768 CPUtime=74.35 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30367/stat : 30367 (java) R 29651 29651 14626 0 -1 4202560 3731 0 0 0 7434 1 0 0 20 0 28 0 3941109 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603615412680 140603955295531 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30368] ppid=29651 vsize=13801768 CPUtime=73.86 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30368/stat : 30368 (java) R 29651 29651 14626 0 -1 4202560 4978 0 0 0 7386 0 0 0 20 0 28 0 3941109 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603621728648 140603955226434 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30369] ppid=29651 vsize=13801768 CPUtime=74.42 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30369/stat : 30369 (java) R 29651 29651 14626 0 -1 4202560 31877 0 0 0 7439 3 0 0 20 0 28 0 3941109 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603614359816 140603955295423 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30370] ppid=29651 vsize=13801768 CPUtime=74.34 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30370/stat : 30370 (java) R 29651 29651 14626 0 -1 4202560 2648 0 0 0 7434 0 0 0 20 0 28 0 3941109 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603618569768 140603955226379 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 [pid=29652/tid=30371] ppid=29651 vsize=13801768 CPUtime=73.55 cores=0,2,4,6,8,10,12,14 /proc/29652/task/30371/stat : 30371 (java) R 29651 29651 14626 0 -1 4202560 6921 0 0 0 7354 1 0 0 20 0 28 0 3941109 14133010432 2553359 33554432000 4194304 4196468 140725022355824 140603616464840 140603955226506 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15396864 140725022364860 140725022365036 140725022365036 140725022367695 0 Current children cumulated CPU time (s) 2400.67 Current children cumulated vsize (KiB) 13811280 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 29651 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1462 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2072 # CPU time returned by wait4() is 0.003534 # while last known CPU time is 2400.67 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 500.524 CPU time (s): 2400.67 CPU user time (s): 2358.39 CPU system time (s): 42.28 CPU usage (%): 479.631 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001462 system time used= 0.002072 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 517 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 2 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.9739 second user time and 5.84947 second system time The end
Begin job on node105 at 2017-07-22 03:18:16 IDJOB=4245659 IDBENCH=123023 IDSOLVER=2626 FILE ID=node105/4245659-1500686296 RUNJOBID= node105-1500682495-14657 PBS_JOBID= 20623326 Free space on /tmp= 62000 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai80a.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245659-1500686296/watcher-4245659-1500686296 -o /tmp/evaluation-result-4245659-1500686296/solver-4245659-1500686296 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2133917330 HOME/instance-4245659-1500686296.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250 RANDOM SEED=2133917330 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 2000.000 cache size : 8192 KB physical id : 0 siblings : 8 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.33 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.33 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 : 8 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 : 8 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.33 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.33 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 : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 27811844 kB MemAvailable: 27870000 kB Buffers: 53112 kB Cached: 313960 kB SwapCached: 0 kB Active: 4342964 kB Inactive: 234260 kB Active(anon): 4213132 kB Inactive(anon): 8640 kB Active(file): 129832 kB Inactive(file): 225620 kB Unevictable: 5972 kB Mlocked: 6004 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7996 kB Writeback: 0 kB AnonPages: 4363412 kB Mapped: 43152 kB Shmem: 8884 kB Slab: 70068 kB SReclaimable: 37080 kB SUnreclaim: 32988 kB KernelStack: 5056 kB PageTables: 13492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 5487384 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4212736 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61992 MiB End job on node105 at 2017-07-22 03:26:36