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) | 32 | 2400.0801 | 1113.04 |
| Name | ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml |
| MD5SUM | 8013d5ca2692908d001f725061313983 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 33 |
| Best CPU time to get the best result obtained on this benchmark | 3312.9099 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1225 |
| Number of constraints | 354026 |
| Number of domains | 1 |
| Minimum domain size | 1225 |
| Maximum domain size | 1225 |
| Distribution of domain sizes | [{"size":1225,"count":1225}] |
| Minimum variable degree | 1158 |
| Maximum variable degree | 1158 |
| Distribution of variable degrees | [{"degree":1158,"count":1225}] |
| Minimum constraint arity | 4 |
| Maximum constraint arity | 1225 |
| Distribution of constraint arities | [{"arity":4,"count":354025},{"arity":1225,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 354025 |
| Distribution of constraint types | [{"type":"intension","count":354025},{"type":"lex","count":1}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.08 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4249343-1502082728.xml" -tl '2400s' -p 4 -x 3 0.00/0.26 c [HOME/instance-4249343-1502082728.xml, -tl, 2400s, -p, 4, -x, 3] 0.00/0.33 c 4 solvers in parallel 0.00/0.39 c parse instance... 306.22/109.90 c solve instance... 438.48/147.94 o 34 778.66/437.43 o 33 785.50/439.67 o 32 2400.03/1110.70 s SATISFIABLE 2400.03/1110.70 v <instantiation> 2400.03/1110.70 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] </list> 2400.03/1110.70 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 1 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 1 2 3 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 0 1 2 3 4 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 0 1 2 3 4 5 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 0 1 2 3 4 5 6 7 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 0 1 2 3 4 5 6 7 8 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 0 1 2 3 4 5 6 7 8 9 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 1 2 3 4 5 6 7 8 9 10 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 0 1 2 3 4 5 6 7 8 9 10 11 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 0 1 2 3 4 5 6 7 8 9 10 11 12 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 21 21 21 21 21 21 21 21 21 21 21 21 21 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 22 22 22 22 22 22 22 22 22 22 22 22 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 23 23 23 23 23 23 23 23 23 23 23 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 24 24 24 24 24 24 24 24 24 24 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 25 25 25 25 25 25 25 25 25 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 26 26 26 26 26 26 26 26 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 27 27 27 27 27 27 27 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 28 28 28 28 28 28 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 29 29 29 29 29 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 30 30 30 30 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 31 31 31 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 32 32 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 31 32 30 31 32 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 31 32 30 32 31 </values> 2400.03/1110.70 v </instantiation> 2400.03/1110.70 c Unexpected resolution interruption!
OK 32
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-4249343-1502082728/watcher-4249343-1502082728 -o /tmp/evaluation-result-4249343-1502082728/solver-4249343-1502082728 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15621 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1990186918 HOME/instance-4249343-1502082728.xml pid=16475 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.13 2.06 2.36 4/203 16478 /proc/meminfo: memFree=26664468/32770624 swapFree=0/368240 [pid=16478] ppid=16475 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/16478/stat : 16478 (runsolver) D 16475 16478 2911 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 107925939 24240128 106 18446744073709551615 4194304 4338465 140727291694096 140727291691736 139859163849431 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 28200960 140727291695190 140727291695689 140727291695689 140727291699146 0 /proc/16478/statm: 5918 106 53 36 0 2156 0 [startup+0.100151 s] /proc/loadavg: 2.13 2.06 2.36 4/203 16478 /proc/meminfo: memFree=26664468/32770624 swapFree=0/368240 [pid=16478] ppid=16475 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/16478/stat : 16478 (xcsp3-exec) S 16475 16478 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 107925939 9740288 345 18446744073709551615 4194304 5098028 140721679783904 140721679782008 139762457502332 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 29577216 140721679786392 140721679786602 140721679786602 140721679790059 0 /proc/16478/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200292 s] /proc/loadavg: 2.13 2.06 2.36 4/203 16478 /proc/meminfo: memFree=26664468/32770624 swapFree=0/368240 [pid=16478] ppid=16475 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/16478/stat : 16478 (xcsp3-exec) S 16475 16478 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 107925939 9740288 345 18446744073709551615 4194304 5098028 140721679783904 140721679782008 139762457502332 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 29577216 140721679786392 140721679786602 140721679786602 140721679790059 0 /proc/16478/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300253 s] /proc/loadavg: 2.13 2.06 2.36 4/203 16478 /proc/meminfo: memFree=26664468/32770624 swapFree=0/368240 [pid=16478] ppid=16475 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/16478/stat : 16478 (xcsp3-exec) S 16475 16478 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 107925939 9740288 345 18446744073709551615 4194304 5098028 140721679783904 140721679782008 139762457502332 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 29577216 140721679786392 140721679786602 140721679786602 140721679790059 0 /proc/16478/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700333 s] /proc/loadavg: 2.13 2.06 2.36 4/203 16478 /proc/meminfo: memFree=26664468/32770624 swapFree=0/368240 [pid=16478] ppid=16475 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/16478/stat : 16478 (xcsp3-exec) S 16475 16478 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 107925939 9740288 345 18446744073709551615 4194304 5098028 140721679783904 140721679782008 139762457502332 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 29577216 140721679786392 140721679786602 140721679786602 140721679790059 0 /proc/16478/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50071 s] /proc/loadavg: 2.13 2.06 2.36 3/219 16494 /proc/meminfo: memFree=26383244/32770624 swapFree=0/368284 [pid=16478] ppid=16475 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/16478/stat : 16478 (xcsp3-exec) S 16475 16478 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 107925939 9740288 345 18446744073709551615 4194304 5098028 140721679783904 140721679782008 139762457502332 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 29577216 140721679786392 140721679786602 140721679786602 140721679790059 0 /proc/16478/statm: 2378 345 289 221 0 87 0 [pid=16480] ppid=16478 vsize=12917280 CPUtime=3.4 cores=0,2,4,6 /proc/16480/stat : 16480 (java) S 16478 16478 2911 0 -1 1077944320 13995 0 0 0 294 46 0 0 20 0 15 0 107925947 13227294720 119895 18446744073709551615 4194304 4196468 140728698870832 140728698853376 140363638689527 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 /proc/16480/statm: 3229320 119895 3177 1 0 3217612 0 [pid=16480/tid=16481] ppid=16478 vsize=12917280 CPUtime=0.9 cores=0,2,4,6 /proc/16480/task/16481/stat : 16481 (java) S 16478 16478 2911 0 -1 1077944384 7969 0 0 0 86 4 0 0 20 0 15 0 107925948 13227294720 119895 18446744073709551615 4194304 4196468 140728698870832 140363642926288 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16482] ppid=16478 vsize=12917280 CPUtime=0.43 cores=0,2,4,6 /proc/16480/task/16482/stat : 16482 (java) R 16478 16478 2911 0 -1 4202560 310 0 0 0 34 9 0 0 20 0 15 0 107925948 13227294720 119895 18446744073709551615 4194304 4196468 140728698870832 140363561516376 140363623390174 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16483] ppid=16478 vsize=12917280 CPUtime=0.43 cores=0,2,4,6 /proc/16480/task/16483/stat : 16483 (java) R 16478 16478 2911 0 -1 4202560 265 0 0 0 34 9 0 0 20 0 15 0 107925948 13227294720 119895 18446744073709551615 4194304 4196468 140728698870832 140363560463496 140363623685536 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16484] ppid=16478 vsize=12917280 CPUtime=0.43 cores=0,2,4,6 /proc/16480/task/16484/stat : 16484 (java) R 16478 16478 2911 0 -1 4202560 155 0 0 0 34 9 0 0 20 0 15 0 107925948 13227294720 119895 18446744073709551615 4194304 4196468 140728698870832 140363559410576 140363623390215 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16485] ppid=16478 vsize=12917280 CPUtime=0.44 cores=0,2,4,6 /proc/16480/task/16485/stat : 16485 (java) R 16478 16478 2911 0 -1 4202560 170 0 0 0 34 10 0 0 20 0 15 0 107925948 13227294720 119895 18446744073709551615 4194304 4196468 140728698870832 140363238992656 140363623390163 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16486] ppid=16478 vsize=12917280 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16486/stat : 16486 (java) S 16478 16478 2911 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 107925950 13227294720 119895 18446744073709551615 4194304 4196468 140728698870832 140363122639808 140363638699733 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16487] ppid=16478 vsize=12917280 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16487/stat : 16487 (java) S 16478 16478 2911 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 107925950 13227294720 119895 18446744073709551615 4194304 4196468 140728698870832 140363121587232 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16488] ppid=16478 vsize=12917280 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16488/stat : 16488 (java) S 16478 16478 2911 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 107925950 13227294720 119895 18446744073709551615 4194304 4196468 140728698870832 140363120534384 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16489] ppid=16478 vsize=12917280 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16489/stat : 16489 (java) S 16478 16478 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107925953 13227294720 119895 18446744073709551615 4194304 4196468 140728698870832 140363119482704 140363638708123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16490] ppid=16478 vsize=12917280 CPUtime=0.22 cores=0,2,4,6 /proc/16480/task/16490/stat : 16490 (java) S 16478 16478 2911 0 -1 1077944384 1151 0 0 0 22 0 0 0 20 0 15 0 107925953 13227294720 119895 18446744073709551615 4194304 4196468 140728698870832 140363118431088 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16491] ppid=16478 vsize=12917280 CPUtime=0.24 cores=0,2,4,6 /proc/16480/task/16491/stat : 16491 (java) S 16478 16478 2911 0 -1 1077944384 1212 0 0 0 24 0 0 0 20 0 15 0 107925953 13227294720 119895 18446744073709551615 4194304 4196468 140728698870832 140363117378288 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16492] ppid=16478 vsize=12917280 CPUtime=0.21 cores=0,2,4,6 /proc/16480/task/16492/stat : 16492 (java) S 16478 16478 2911 0 -1 1077944384 1371 0 0 0 21 0 0 0 20 0 15 0 107925953 13227294720 119895 18446744073709551615 4194304 4196468 140728698870832 140363116320976 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16493] ppid=16478 vsize=12917280 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16493/stat : 16493 (java) S 16478 16478 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107925953 13227294720 119895 18446744073709551615 4194304 4196468 140728698870832 140363115272928 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16494] ppid=16478 vsize=12917280 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16494/stat : 16494 (java) S 16478 16478 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107925957 13227294720 119895 18446744073709551615 4194304 4196468 140728698870832 140363114220208 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 Current children cumulated CPU time (s) 3.4 Current children cumulated vsize (KiB) 12926792 [startup+3.10082 s] /proc/loadavg: 2.12 2.06 2.36 4/219 16494 /proc/meminfo: memFree=26077544/32770624 swapFree=0/368284 [pid=16478] ppid=16475 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/16478/stat : 16478 (xcsp3-exec) S 16475 16478 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 107925939 9740288 345 18446744073709551615 4194304 5098028 140721679783904 140721679782008 139762457502332 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 29577216 140721679786392 140721679786602 140721679786602 140721679790059 0 /proc/16478/statm: 2378 345 289 221 0 87 0 [pid=16480] ppid=16478 vsize=12917280 CPUtime=6.87 cores=0,2,4,6 /proc/16480/stat : 16480 (java) S 16478 16478 2911 0 -1 1077944320 16677 0 0 0 623 64 0 0 20 0 15 0 107925947 13227294720 206639 18446744073709551615 4194304 4196468 140728698870832 140728698853376 140363638689527 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 /proc/16480/statm: 3229320 206639 3221 1 0 3217612 0 [pid=16480/tid=16481] ppid=16478 vsize=12917280 CPUtime=2.18 cores=0,2,4,6 /proc/16480/task/16481/stat : 16481 (java) R 16478 16478 2911 0 -1 4202560 8419 0 0 0 210 8 0 0 20 0 15 0 107925948 13227294720 206639 18446744073709551615 4194304 4196468 140728698870832 140363642927376 140363242865643 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16482] ppid=16478 vsize=12917280 CPUtime=0.73 cores=0,2,4,6 /proc/16480/task/16482/stat : 16482 (java) S 16478 16478 2911 0 -1 1077944384 407 0 0 0 60 13 0 0 20 0 15 0 107925948 13227294720 206639 18446744073709551615 4194304 4196468 140728698870832 140363561516176 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16483] ppid=16478 vsize=12917280 CPUtime=0.72 cores=0,2,4,6 /proc/16480/task/16483/stat : 16483 (java) S 16478 16478 2911 0 -1 1077944384 328 0 0 0 59 13 0 0 20 0 15 0 107925948 13227294720 206639 18446744073709551615 4194304 4196468 140728698870832 140363560463376 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16484] ppid=16478 vsize=12917280 CPUtime=0.72 cores=0,2,4,6 /proc/16480/task/16484/stat : 16484 (java) S 16478 16478 2911 0 -1 1077944384 437 0 0 0 60 12 0 0 20 0 15 0 107925948 13227294720 206639 18446744073709551615 4194304 4196468 140728698870832 140363559410576 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16485] ppid=16478 vsize=12917280 CPUtime=0.72 cores=0,2,4,6 /proc/16480/task/16485/stat : 16485 (java) S 16478 16478 2911 0 -1 1077944384 246 0 0 0 59 13 0 0 20 0 15 0 107925948 13227294720 206639 18446744073709551615 4194304 4196468 140728698870832 140363238992656 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16486] ppid=16478 vsize=12917280 CPUtime=0.04 cores=0,2,4,6 /proc/16480/task/16486/stat : 16486 (java) S 16478 16478 2911 0 -1 1077944384 632 0 0 0 4 0 0 0 20 0 15 0 107925950 13227294720 206639 18446744073709551615 4194304 4196468 140728698870832 140363122641264 140363638700674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16487] ppid=16478 vsize=12917280 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16487/stat : 16487 (java) S 16478 16478 2911 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 107925950 13227294720 206639 18446744073709551615 4194304 4196468 140728698870832 140363121587296 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16488] ppid=16478 vsize=12917280 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16488/stat : 16488 (java) S 16478 16478 2911 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 107925950 13227294720 206639 18446744073709551615 4194304 4196468 140728698870832 140363120534400 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16489] ppid=16478 vsize=12917280 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16489/stat : 16489 (java) S 16478 16478 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107925953 13227294720 206639 18446744073709551615 4194304 4196468 140728698870832 140363119482704 140363638708123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16490] ppid=16478 vsize=12917280 CPUtime=0.65 cores=0,2,4,6 /proc/16480/task/16490/stat : 16490 (java) S 16478 16478 2911 0 -1 1077944384 1874 0 0 0 65 0 0 0 20 0 15 0 107925953 13227294720 206639 18446744073709551615 4194304 4196468 140728698870832 140363118431088 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16491] ppid=16478 vsize=12917280 CPUtime=0.74 cores=0,2,4,6 /proc/16480/task/16491/stat : 16491 (java) S 16478 16478 2911 0 -1 1077944384 1505 0 0 0 74 0 0 0 20 0 15 0 107925953 13227294720 206639 18446744073709551615 4194304 4196468 140728698870832 140363117378288 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16492] ppid=16478 vsize=12917280 CPUtime=0.29 cores=0,2,4,6 /proc/16480/task/16492/stat : 16492 (java) S 16478 16478 2911 0 -1 1077944384 1530 0 0 0 29 0 0 0 20 0 15 0 107925953 13227294720 206639 18446744073709551615 4194304 4196468 140728698870832 140363116325488 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16493] ppid=16478 vsize=12917280 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16493/stat : 16493 (java) S 16478 16478 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107925953 13227294720 206639 18446744073709551615 4194304 4196468 140728698870832 140363115272928 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16494] ppid=16478 vsize=12917280 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16494/stat : 16494 (java) S 16478 16478 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107925957 13227294720 206639 18446744073709551615 4194304 4196468 140728698870832 140363114220208 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 Current children cumulated CPU time (s) 6.87 Current children cumulated vsize (KiB) 12926792 [startup+6.30076 s] /proc/loadavg: 2.12 2.06 2.36 5/219 16494 /proc/meminfo: memFree=25430352/32770624 swapFree=0/368280 [pid=16478] ppid=16475 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/16478/stat : 16478 (xcsp3-exec) S 16475 16478 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 107925939 9740288 345 18446744073709551615 4194304 5098028 140721679783904 140721679782008 139762457502332 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 29577216 140721679786392 140721679786602 140721679786602 140721679790059 0 /proc/16478/statm: 2378 345 289 221 0 87 0 [pid=16480] ppid=16478 vsize=12919328 CPUtime=14.65 cores=0,2,4,6 /proc/16480/stat : 16480 (java) S 16478 16478 2911 0 -1 1077944320 34376 0 0 0 1335 130 0 0 20 0 15 0 107925947 13229391872 369554 18446744073709551615 4194304 4196468 140728698870832 140728698853376 140363638689527 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 /proc/16480/statm: 3229832 369554 3252 1 0 3218124 0 [pid=16480/tid=16481] ppid=16478 vsize=12919328 CPUtime=4.75 cores=0,2,4,6 /proc/16480/task/16481/stat : 16481 (java) S 16478 16478 2911 0 -1 1077944384 10563 0 0 0 465 10 0 0 20 0 15 0 107925948 13229391872 369554 18446744073709551615 4194304 4196468 140728698870832 140363642928016 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16482] ppid=16478 vsize=12919328 CPUtime=1.18 cores=0,2,4,6 /proc/16480/task/16482/stat : 16482 (java) R 16478 16478 2911 0 -1 4202560 850 0 0 0 90 28 0 0 20 0 15 0 107925948 13229391872 369554 18446744073709551615 4194304 4196468 140728698870832 140363561516376 140363620315559 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16483] ppid=16478 vsize=12919328 CPUtime=1.18 cores=0,2,4,6 /proc/16480/task/16483/stat : 16483 (java) R 16478 16478 2911 0 -1 4202560 920 0 0 0 90 28 0 0 20 0 15 0 107925948 13229391872 369554 18446744073709551615 4194304 4196468 140728698870832 140363560463576 140363623717392 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16484] ppid=16478 vsize=12919328 CPUtime=1.17 cores=0,2,4,6 /proc/16480/task/16484/stat : 16484 (java) R 16478 16478 2911 0 -1 4202560 855 0 0 0 90 27 0 0 20 0 15 0 107925948 13229391872 369554 18446744073709551615 4194304 4196468 140728698870832 140363559410464 140363623717383 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16485] ppid=16478 vsize=12919328 CPUtime=1.18 cores=0,2,4,6 /proc/16480/task/16485/stat : 16485 (java) R 16478 16478 2911 0 -1 4202560 943 0 0 0 89 29 0 0 20 0 15 0 107925948 13229391872 369554 18446744073709551615 4194304 4196468 140728698870832 140363238992656 140363623717410 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16486] ppid=16478 vsize=12919328 CPUtime=0.05 cores=0,2,4,6 /proc/16480/task/16486/stat : 16486 (java) S 16478 16478 2911 0 -1 1077944384 911 0 0 0 5 0 0 0 20 0 15 0 107925950 13229391872 369554 18446744073709551615 4194304 4196468 140728698870832 140363122639776 140363638699733 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16487] ppid=16478 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16487/stat : 16487 (java) S 16478 16478 2911 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 107925950 13229391872 369554 18446744073709551615 4194304 4196468 140728698870832 140363121587296 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16488] ppid=16478 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16488/stat : 16488 (java) S 16478 16478 2911 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 107925950 13229391872 369554 18446744073709551615 4194304 4196468 140728698870832 140363120534400 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16489] ppid=16478 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16489/stat : 16489 (java) S 16478 16478 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107925953 13229391872 369554 18446744073709551615 4194304 4196468 140728698870832 140363119482704 140363638708123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16490] ppid=16478 vsize=12919328 CPUtime=2.22 cores=0,2,4,6 /proc/16480/task/16490/stat : 16490 (java) S 16478 16478 2911 0 -1 1077944384 7039 0 0 0 221 1 0 0 20 0 15 0 107925953 13229391872 369554 18446744073709551615 4194304 4196468 140728698870832 140363118416080 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16491] ppid=16478 vsize=12919328 CPUtime=2.26 cores=0,2,4,6 /proc/16480/task/16491/stat : 16491 (java) S 16478 16478 2911 0 -1 1077944384 7217 0 0 0 225 1 0 0 20 0 15 0 107925953 13229391872 369554 18446744073709551615 4194304 4196468 140728698870832 140363117363280 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16492] ppid=16478 vsize=12919328 CPUtime=0.56 cores=0,2,4,6 /proc/16480/task/16492/stat : 16492 (java) S 16478 16478 2911 0 -1 1077944384 3732 0 0 0 56 0 0 0 20 0 15 0 107925953 13229391872 369554 18446744073709551615 4194304 4196468 140728698870832 140363116325488 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16493] ppid=16478 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16493/stat : 16493 (java) S 16478 16478 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107925953 13229391872 369554 18446744073709551615 4194304 4196468 140728698870832 140363115272928 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16494] ppid=16478 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16494/stat : 16494 (java) S 16478 16478 2911 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 107925957 13229391872 369554 18446744073709551615 4194304 4196468 140728698870832 140363114220208 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 Current children cumulated CPU time (s) 14.65 Current children cumulated vsize (KiB) 12928840 [startup+12.7008 s] /proc/loadavg: 2.18 2.08 2.36 3/219 16494 /proc/meminfo: memFree=24029192/32770624 swapFree=0/368284 [pid=16478] ppid=16475 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/16478/stat : 16478 (xcsp3-exec) S 16475 16478 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 107925939 9740288 345 18446744073709551615 4194304 5098028 140721679783904 140721679782008 139762457502332 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 29577216 140721679786392 140721679786602 140721679786602 140721679790059 0 /proc/16478/statm: 2378 345 289 221 0 87 0 [pid=16480] ppid=16478 vsize=12919328 CPUtime=31.43 cores=0,2,4,6 /proc/16480/stat : 16480 (java) S 16478 16478 2911 0 -1 1077944320 46465 0 0 0 2871 272 0 0 20 0 15 0 107925947 13229391872 683016 18446744073709551615 4194304 4196468 140728698870832 140728698853376 140363638689527 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 /proc/16480/statm: 3229832 683016 3252 1 0 3218124 0 [pid=16480/tid=16481] ppid=16478 vsize=12919328 CPUtime=7.37 cores=0,2,4,6 /proc/16480/task/16481/stat : 16481 (java) S 16478 16478 2911 0 -1 1077944384 11870 0 0 0 727 10 0 0 20 0 15 0 107925948 13229391872 683016 18446744073709551615 4194304 4196468 140728698870832 140363642928416 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16482] ppid=16478 vsize=12919328 CPUtime=4.65 cores=0,2,4,6 /proc/16480/task/16482/stat : 16482 (java) R 16478 16478 2911 0 -1 4202560 2730 0 0 0 402 63 0 0 20 0 15 0 107925948 13229391872 683016 18446744073709551615 4194304 4196468 140728698870832 140363561516176 140363623717392 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16483] ppid=16478 vsize=12919328 CPUtime=4.63 cores=0,2,4,6 /proc/16480/task/16483/stat : 16483 (java) R 16478 16478 2911 0 -1 4202560 2393 0 0 0 401 62 0 0 20 0 15 0 107925948 13229391872 683016 18446744073709551615 4194304 4196468 140728698870832 140363560463576 140363623717383 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 ################ # More data... # ################ [pid=16480/tid=16485] ppid=16478 vsize=13185584 CPUtime=274.5 cores=0,2,4,6 /proc/16480/task/16485/stat : 16485 (java) S 16478 16478 2911 0 -1 1077944384 26694 0 0 0 27222 228 0 0 20 0 19 0 107925948 13502038016 2639768 18446744073709551615 4194304 4196468 140728698870832 140363238992656 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16486] ppid=16478 vsize=13185584 CPUtime=21.77 cores=0,2,4,6 /proc/16480/task/16486/stat : 16486 (java) S 16478 16478 2911 0 -1 1077944384 126649 0 0 0 2167 10 0 0 20 0 19 0 107925950 13502038016 2639768 18446744073709551615 4194304 4196468 140728698870832 140363122641264 140363638700674 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16487] ppid=16478 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16487/stat : 16487 (java) S 16478 16478 2911 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 107925950 13502038016 2639768 18446744073709551615 4194304 4196468 140728698870832 140363121587296 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16488] ppid=16478 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16488/stat : 16488 (java) S 16478 16478 2911 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 19 0 107925950 13502038016 2639768 18446744073709551615 4194304 4196468 140728698870832 140363120534400 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16489] ppid=16478 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16489/stat : 16489 (java) S 16478 16478 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 107925953 13502038016 2639768 18446744073709551615 4194304 4196468 140728698870832 140363119482704 140363638708123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16490] ppid=16478 vsize=13185584 CPUtime=5.31 cores=0,2,4,6 /proc/16480/task/16490/stat : 16490 (java) S 16478 16478 2911 0 -1 1077944384 34258 0 0 0 528 3 0 0 20 0 19 0 107925953 13502038016 2639768 18446744073709551615 4194304 4196468 140728698870832 140363118431088 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16491] ppid=16478 vsize=13185584 CPUtime=6 cores=0,2,4,6 /proc/16480/task/16491/stat : 16491 (java) S 16478 16478 2911 0 -1 1077944384 39875 0 0 0 596 4 0 0 20 0 19 0 107925953 13502038016 2639768 18446744073709551615 4194304 4196468 140728698870832 140363117378288 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16492] ppid=16478 vsize=13185584 CPUtime=1.13 cores=0,2,4,6 /proc/16480/task/16492/stat : 16492 (java) S 16478 16478 2911 0 -1 1077944384 20703 0 0 0 110 3 0 0 20 0 19 0 107925953 13502038016 2639768 18446744073709551615 4194304 4196468 140728698870832 140363116325488 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16493] ppid=16478 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16493/stat : 16493 (java) S 16478 16478 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 107925953 13502038016 2639768 18446744073709551615 4194304 4196468 140728698870832 140363115272928 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16494] ppid=16478 vsize=13185584 CPUtime=0.59 cores=0,2,4,6 /proc/16480/task/16494/stat : 16494 (java) S 16478 16478 2911 0 -1 1077944384 2907 0 0 0 31 28 0 0 20 0 19 0 107925957 13502038016 2639768 18446744073709551615 4194304 4196468 140728698870832 140363114220208 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16562] ppid=16478 vsize=13185584 CPUtime=142.76 cores=0,2,4,6 /proc/16480/task/16562/stat : 16562 (java) S 16478 16478 2911 0 -1 1077944384 12386 0 0 0 14274 2 0 0 20 0 19 0 107969907 13502038016 2639768 18446744073709551615 4194304 4196468 140728698870832 140363105157296 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16563] ppid=16478 vsize=13185584 CPUtime=142.65 cores=0,2,4,6 /proc/16480/task/16563/stat : 16563 (java) S 16478 16478 2911 0 -1 1077944384 18747 0 0 0 14263 2 0 0 20 0 19 0 107969907 13502038016 2639768 18446744073709551615 4194304 4196468 140728698870832 140363103053136 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16564] ppid=16478 vsize=13185584 CPUtime=438.6 cores=0,2,4,6 /proc/16480/task/16564/stat : 16564 (java) R 16478 16478 2911 0 -1 4202560 26955 0 0 0 43859 1 0 0 20 0 19 0 107969907 13502038016 2639768 18446744073709551615 4194304 4196468 140728698870832 140363104102248 140363245792640 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16565] ppid=16478 vsize=13185584 CPUtime=143.63 cores=0,2,4,6 /proc/16480/task/16565/stat : 16565 (java) S 16478 16478 2911 0 -1 1077944384 15558 0 0 0 14362 1 0 0 20 0 19 0 107969907 13502038016 2639768 18446744073709551615 4194304 4196468 140728698870832 140363106210896 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 Current children cumulated CPU time (s) 2351.61 Current children cumulated vsize (KiB) 13195096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1110.7 s] /proc/loadavg: 3.83 4.54 3.93 7/223 16971 /proc/meminfo: memFree=17377828/32770624 swapFree=0/368732 [pid=16478] ppid=16475 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/16478/stat : 16478 (xcsp3-exec) S 16475 16478 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 107925939 9740288 345 18446744073709551615 4194304 5098028 140721679783904 140721679782008 139762457502332 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 29577216 140721679786392 140721679786602 140721679786602 140721679790059 0 /proc/16478/statm: 2378 345 289 221 0 87 0 [pid=16480] ppid=16478 vsize=13185584 CPUtime=2400.03 cores=0,2,4,6 /proc/16480/stat : 16480 (java) S 16478 16478 2911 0 -1 1077944320 472289 0 0 0 239000 1003 0 0 20 0 19 0 107925947 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140728698853376 140363638689527 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 /proc/16480/statm: 3296396 2639769 3271 1 0 3284688 0 [pid=16480/tid=16481] ppid=16478 vsize=13185584 CPUtime=39.61 cores=0,2,4,6 /proc/16480/task/16481/stat : 16481 (java) S 16478 16478 2911 0 -1 1077944384 20912 0 0 0 3949 12 0 0 20 0 19 0 107925948 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363642930304 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16482] ppid=16478 vsize=13185584 CPUtime=273.49 cores=0,2,4,6 /proc/16480/task/16482/stat : 16482 (java) S 16478 16478 2911 0 -1 1077944384 21823 0 0 0 27098 251 0 0 20 0 19 0 107925948 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363561516176 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16483] ppid=16478 vsize=13185584 CPUtime=274.81 cores=0,2,4,6 /proc/16480/task/16483/stat : 16483 (java) S 16478 16478 2911 0 -1 1077944384 32048 0 0 0 27249 232 0 0 20 0 19 0 107925948 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363560463376 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16484] ppid=16478 vsize=13185584 CPUtime=274.77 cores=0,2,4,6 /proc/16480/task/16484/stat : 16484 (java) S 16478 16478 2911 0 -1 1077944384 26246 0 0 0 27249 228 0 0 20 0 19 0 107925948 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363559410576 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16485] ppid=16478 vsize=13185584 CPUtime=274.5 cores=0,2,4,6 /proc/16480/task/16485/stat : 16485 (java) S 16478 16478 2911 0 -1 1077944384 26694 0 0 0 27222 228 0 0 20 0 19 0 107925948 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363238992656 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16486] ppid=16478 vsize=13185584 CPUtime=21.77 cores=0,2,4,6 /proc/16480/task/16486/stat : 16486 (java) S 16478 16478 2911 0 -1 1077944384 126667 0 0 0 2167 10 0 0 20 0 19 0 107925950 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363122641264 140363638700674 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16487] ppid=16478 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16487/stat : 16487 (java) S 16478 16478 2911 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 107925950 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363121587296 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16488] ppid=16478 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16488/stat : 16488 (java) S 16478 16478 2911 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 19 0 107925950 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363120534400 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16489] ppid=16478 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16489/stat : 16489 (java) S 16478 16478 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 107925953 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363119482704 140363638708123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16490] ppid=16478 vsize=13185584 CPUtime=5.31 cores=0,2,4,6 /proc/16480/task/16490/stat : 16490 (java) S 16478 16478 2911 0 -1 1077944384 34264 0 0 0 528 3 0 0 20 0 19 0 107925953 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363118431088 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16491] ppid=16478 vsize=13185584 CPUtime=6 cores=0,2,4,6 /proc/16480/task/16491/stat : 16491 (java) S 16478 16478 2911 0 -1 1077944384 39902 0 0 0 596 4 0 0 20 0 19 0 107925953 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363117378288 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16492] ppid=16478 vsize=13185584 CPUtime=1.13 cores=0,2,4,6 /proc/16480/task/16492/stat : 16492 (java) S 16478 16478 2911 0 -1 1077944384 21040 0 0 0 110 3 0 0 20 0 19 0 107925953 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363116325488 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16493] ppid=16478 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/16480/task/16493/stat : 16493 (java) S 16478 16478 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 107925953 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363115272928 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16494] ppid=16478 vsize=13185584 CPUtime=0.61 cores=0,2,4,6 /proc/16480/task/16494/stat : 16494 (java) S 16478 16478 2911 0 -1 1077944384 2981 0 0 0 33 28 0 0 20 0 19 0 107925957 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363114220208 140363638700674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16562] ppid=16478 vsize=13185584 CPUtime=142.76 cores=0,2,4,6 /proc/16480/task/16562/stat : 16562 (java) S 16478 16478 2911 0 -1 1077944384 12386 0 0 0 14274 2 0 0 20 0 19 0 107969907 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363105157296 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16563] ppid=16478 vsize=13185584 CPUtime=142.65 cores=0,2,4,6 /proc/16480/task/16563/stat : 16563 (java) S 16478 16478 2911 0 -1 1077944384 18747 0 0 0 14263 2 0 0 20 0 19 0 107969907 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363103053136 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16564] ppid=16478 vsize=13185584 CPUtime=487 cores=0,2,4,6 /proc/16480/task/16564/stat : 16564 (java) R 16478 16478 2911 0 -1 4202560 29953 0 0 0 48698 2 0 0 20 0 19 0 107969907 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363104102664 140363241398357 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 [pid=16480/tid=16565] ppid=16478 vsize=13185584 CPUtime=143.63 cores=0,2,4,6 /proc/16480/task/16565/stat : 16565 (java) S 16478 16478 2911 0 -1 1077944384 15558 0 0 0 14362 1 0 0 20 0 19 0 107969907 13502038016 2639769 18446744073709551615 4194304 4196468 140728698870832 140363106210896 140363638699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140728698876374 140728698876550 140728698876550 140728698879951 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 13195096 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -16478 ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 16480 sig 9 ??? kill 16478 sig 9 ??? end of watcher thread Solver just ended. Dumping a history of the last processes samples [startup+1112 s] /proc/loadavg: 3.83 4.54 3.93 5/206 16973 /proc/meminfo: memFree=27944140/32770624 swapFree=0/368732 [pid=16478] ppid=16475 vsize=0 CPUtime=0 cores=0,2,4,6 /proc/16478/stat : 16478 (xcsp3-exec) D 16475 16478 2911 0 -1 4203524 510 0 0 0 0 0 0 0 20 0 1 0 107925939 0 0 18446744073709551615 0 0 0 0 0 0 65536 5 65538 18446744073709551615 0 0 17 2 0 0 8 0 0 0 0 0 0 0 0 0 0 /proc/16478/statm: 0 0 0 0 0 0 0 [pid=16480] ppid=16478 vsize=0 CPUtime=2400.08 cores=0,2,4,6 /proc/16480/stat : 16480 (java) Z 16478 16478 2911 0 -1 4228108 473060 0 0 0 239001 1007 0 0 20 0 2 0 107925947 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 0 0 0 0 0 0 0 0 /proc/16480/statm: 0 0 0 0 0 0 0 [pid=16480/tid=16484] ppid=16478 vsize=0 CPUtime=274.81 cores=0,2,4,6 /proc/16480/task/16484/stat : 16484 (java) D 16478 16478 2911 0 -1 4203588 26247 0 0 0 27249 232 0 0 20 0 2 0 107925948 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 0 [startup+1112.4 s] /proc/loadavg: 4.08 4.58 3.94 5/206 16973 /proc/meminfo: memFree=27944704/32770624 swapFree=0/368700 [pid=16478] ppid=16475 vsize=0 CPUtime=0 cores=0,2,4,6 /proc/16478/stat : 16478 (xcsp3-exec) D 16475 16478 2911 0 -1 4203524 510 0 0 0 0 0 0 0 20 0 1 0 107925939 0 0 18446744073709551615 0 0 0 0 0 0 65536 5 65538 18446744073709551615 0 0 17 2 0 0 8 0 0 0 0 0 0 0 0 0 0 /proc/16478/statm: 0 0 0 0 0 0 0 [pid=16480] ppid=16478 vsize=0 CPUtime=2400.08 cores=0,2,4,6 /proc/16480/stat : 16480 (java) Z 16478 16478 2911 0 -1 4228108 473060 0 0 0 239001 1007 0 0 20 0 2 0 107925947 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 0 0 0 0 0 0 0 0 /proc/16480/statm: 0 0 0 0 0 0 0 [pid=16480/tid=16484] ppid=16478 vsize=0 CPUtime=274.81 cores=0,2,4,6 /proc/16480/task/16484/stat : 16484 (java) D 16478 16478 2911 0 -1 4203588 26247 0 0 0 27249 232 0 0 20 0 2 0 107925948 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 0 [startup+1112.6 s] /proc/loadavg: 4.08 4.58 3.94 5/206 16973 /proc/meminfo: memFree=27944704/32770624 swapFree=0/368700 [pid=16478] ppid=16475 vsize=0 CPUtime=0 cores=0,2,4,6 /proc/16478/stat : 16478 (xcsp3-exec) D 16475 16478 2911 0 -1 4203524 510 0 0 0 0 0 0 0 20 0 1 0 107925939 0 0 18446744073709551615 0 0 0 0 0 0 65536 5 65538 18446744073709551615 0 0 17 2 0 0 8 0 0 0 0 0 0 0 0 0 0 /proc/16478/statm: 0 0 0 0 0 0 0 [pid=16480] ppid=16478 vsize=0 CPUtime=2400.08 cores=0,2,4,6 /proc/16480/stat : 16480 (java) Z 16478 16478 2911 0 -1 4228108 473060 0 0 0 239001 1007 0 0 20 0 2 0 107925947 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 0 0 0 0 0 0 0 0 /proc/16480/statm: 0 0 0 0 0 0 0 [pid=16480/tid=16484] ppid=16478 vsize=0 CPUtime=274.81 cores=0,2,4,6 /proc/16480/task/16484/stat : 16484 (java) D 16478 16478 2911 0 -1 4203588 26247 0 0 0 27249 232 0 0 20 0 2 0 107925948 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 0 [startup+1112.7 s] /proc/loadavg: 4.08 4.58 3.94 5/206 16973 /proc/meminfo: memFree=27944704/32770624 swapFree=0/368700 [pid=16478] ppid=16475 vsize=0 CPUtime=0 cores=0,2,4,6 /proc/16478/stat : 16478 (xcsp3-exec) D 16475 16478 2911 0 -1 4203524 510 0 0 0 0 0 0 0 20 0 1 0 107925939 0 0 18446744073709551615 0 0 0 0 0 0 65536 5 65538 18446744073709551615 0 0 17 2 0 0 8 0 0 0 0 0 0 0 0 0 0 /proc/16478/statm: 0 0 0 0 0 0 0 [pid=16480] ppid=16478 vsize=0 CPUtime=2400.08 cores=0,2,4,6 /proc/16480/stat : 16480 (java) Z 16478 16478 2911 0 -1 4228108 473060 0 0 0 239001 1007 0 0 20 0 2 0 107925947 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 0 0 0 0 0 0 0 0 /proc/16480/statm: 0 0 0 0 0 0 0 [pid=16480/tid=16484] ppid=16478 vsize=0 CPUtime=274.81 cores=0,2,4,6 /proc/16480/task/16484/stat : 16484 (java) D 16478 16478 2911 0 -1 4203588 26247 0 0 0 27249 232 0 0 20 0 2 0 107925948 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16478 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2060 # CPU time returned by wait4() is 0.00206 # while last known CPU time is 2400.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1113.04 CPU time (s): 2400.08 CPU user time (s): 2390.01 CPU system time (s): 10.07 CPU usage (%): 215.632 Max. virtual memory (cumulated for all children) (KiB): 13195096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.00206 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 510 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= 4 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.65094 second user time and 8.06099 second system time The end
Begin job on node132 at 2017-08-07 06:57:47 IDJOB=4249343 IDBENCH=139738 IDSOLVER=2626 FILE ID=node132/4249343-1502082728 RUNJOBID= node132-1502078046-15621 PBS_JOBID= Free space on /tmp= 62000 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s1/ChessboardColoration-int-35-35.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-4249343-1502082728/watcher-4249343-1502082728 -o /tmp/evaluation-result-4249343-1502082728/solver-4249343-1502082728 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15621 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1990186918 HOME/instance-4249343-1502082728.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8013d5ca2692908d001f725061313983 RANDOM SEED=1990186918 node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26664468 kB MemAvailable: 27243556 kB Buffers: 227076 kB Cached: 650644 kB SwapCached: 0 kB Active: 5272392 kB Inactive: 400868 kB Active(anon): 4796340 kB Inactive(anon): 32628 kB Active(file): 476052 kB Inactive(file): 368240 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 27740 kB Writeback: 4 kB AnonPages: 4795400 kB Mapped: 61496 kB Shmem: 33468 kB Slab: 127464 kB SReclaimable: 101264 kB SUnreclaim: 26200 kB KernelStack: 3568 kB PageTables: 14332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 6182936 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4558848 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61996 MiB End job on node132 at 2017-08-07 07:16:20