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 4.0.5 (2017-07-05) | SAT (TO) | 32 | 2400.02 | 939.211 |
| 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.09 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4249342-1502050311.xml" -tl '2400s' -p 4 -x 0 0.00/0.26 c [HOME/instance-4249342-1502050311.xml, -tl, 2400s, -p, 4, -x, 0] 0.00/0.32 c 4 solvers in parallel 0.00/0.39 c parse instance... 280.35/103.53 c solve instance... 455.63/151.63 o 34 733.26/425.14 o 33 739.57/427.21 o 32 2400.02/939.20 s SATISFIABLE 2400.02/939.20 v <instantiation> 2400.02/939.20 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.02/939.20 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.02/939.20 v </instantiation> 2400.02/939.20 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-4249342-1502050311/watcher-4249342-1502050311 -o /tmp/evaluation-result-4249342-1502050311/solver-4249342-1502050311 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31899 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1606031801 HOME/instance-4249342-1502050311.xml pid=5056 running on 4 cores: 1,3,5,7 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.25 2.09 2.63 3/204 5059 /proc/meminfo: memFree=25983744/32770624 swapFree=0/322168 [pid=5059] ppid=5056 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/5059/stat : 5059 (runsolver) D 5056 5059 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 52846361 24240128 108 18446744073709551615 4194304 4338465 140727925170192 140727925167832 140125139133143 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 38719488 140727925178454 140727925178953 140727925178953 140727925182410 0 /proc/5059/statm: 5918 108 54 36 0 2156 0 [startup+0.100162 s] /proc/loadavg: 2.25 2.09 2.63 3/204 5059 /proc/meminfo: memFree=25983744/32770624 swapFree=0/322168 [pid=5059] ppid=5056 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5059/stat : 5059 (xcsp3-exec) S 5056 5059 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52846361 9740288 345 18446744073709551615 4194304 5098028 140735713026992 140735713025096 140671416246908 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7495680 140735713034648 140735713034858 140735713034858 140735713038315 0 /proc/5059/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200318 s] /proc/loadavg: 2.25 2.09 2.63 3/204 5059 /proc/meminfo: memFree=25983744/32770624 swapFree=0/322168 [pid=5059] ppid=5056 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5059/stat : 5059 (xcsp3-exec) S 5056 5059 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52846361 9740288 345 18446744073709551615 4194304 5098028 140735713026992 140735713025096 140671416246908 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7495680 140735713034648 140735713034858 140735713034858 140735713038315 0 /proc/5059/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300616 s] /proc/loadavg: 2.25 2.09 2.63 3/204 5059 /proc/meminfo: memFree=25983744/32770624 swapFree=0/322168 [pid=5059] ppid=5056 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5059/stat : 5059 (xcsp3-exec) S 5056 5059 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52846361 9740288 345 18446744073709551615 4194304 5098028 140735713026992 140735713025096 140671416246908 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7495680 140735713034648 140735713034858 140735713034858 140735713038315 0 /proc/5059/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700317 s] /proc/loadavg: 2.25 2.09 2.63 3/204 5059 /proc/meminfo: memFree=25983744/32770624 swapFree=0/322168 [pid=5059] ppid=5056 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5059/stat : 5059 (xcsp3-exec) S 5056 5059 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52846361 9740288 345 18446744073709551615 4194304 5098028 140735713026992 140735713025096 140671416246908 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7495680 140735713034648 140735713034858 140735713034858 140735713038315 0 /proc/5059/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50158 s] /proc/loadavg: 2.25 2.09 2.63 3/220 5075 /proc/meminfo: memFree=25700908/32770624 swapFree=0/322232 [pid=5059] ppid=5056 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5059/stat : 5059 (xcsp3-exec) S 5056 5059 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52846361 9740288 345 18446744073709551615 4194304 5098028 140735713026992 140735713025096 140671416246908 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7495680 140735713034648 140735713034858 140735713034858 140735713038315 0 /proc/5059/statm: 2378 345 289 221 0 87 0 [pid=5061] ppid=5059 vsize=12917280 CPUtime=3.42 cores=1,3,5,7 /proc/5061/stat : 5061 (java) S 5059 5059 25100 0 -1 1077944320 13890 0 0 0 297 45 0 0 20 0 15 0 52846370 13227294720 119342 18446744073709551615 4194304 4196468 140722768726288 140722768708832 140611710668535 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 /proc/5061/statm: 3229320 119342 3176 1 0 3217612 0 [pid=5061/tid=5062] ppid=5059 vsize=12917280 CPUtime=0.89 cores=1,3,5,7 /proc/5061/task/5062/stat : 5062 (java) S 5059 5059 25100 0 -1 1077944384 7973 0 0 0 83 6 0 0 20 0 15 0 52846370 13227294720 119342 18446744073709551615 4194304 4196468 140722768726288 140611714905184 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5063] ppid=5059 vsize=12917280 CPUtime=0.44 cores=1,3,5,7 /proc/5061/task/5063/stat : 5063 (java) R 5059 5059 25100 0 -1 4202560 176 0 0 0 36 8 0 0 20 0 15 0 52846371 13227294720 119342 18446744073709551615 4194304 4196468 140722768726288 140611667634704 140611695126133 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5064] ppid=5059 vsize=12917280 CPUtime=0.45 cores=1,3,5,7 /proc/5061/task/5064/stat : 5064 (java) R 5059 5059 25100 0 -1 4202560 184 0 0 0 36 9 0 0 20 0 15 0 52846371 13227294720 119342 18446744073709551615 4194304 4196468 140722768726288 140611666582160 140611703765035 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5065] ppid=5059 vsize=12917280 CPUtime=0.45 cores=1,3,5,7 /proc/5061/task/5065/stat : 5065 (java) R 5059 5059 25100 0 -1 4202560 160 0 0 0 36 9 0 0 20 0 15 0 52846371 13227294720 119342 18446744073709551615 4194304 4196468 140722768726288 140611665529304 140611695126133 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5066] ppid=5059 vsize=12917280 CPUtime=0.45 cores=1,3,5,7 /proc/5061/task/5066/stat : 5066 (java) R 5059 5059 25100 0 -1 4202560 181 0 0 0 36 9 0 0 20 0 15 0 52846371 13227294720 119342 18446744073709551615 4194304 4196468 140722768726288 140611664476760 140611695369098 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5067] ppid=5059 vsize=12917280 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5067/stat : 5067 (java) S 5059 5059 25100 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 52846372 13227294720 119342 18446744073709551615 4194304 4196468 140722768726288 140610933982528 140611710678741 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5068] ppid=5059 vsize=12917280 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5068/stat : 5068 (java) S 5059 5059 25100 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 52846373 13227294720 119342 18446744073709551615 4194304 4196468 140722768726288 140610932930208 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5069] ppid=5059 vsize=12917280 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5069/stat : 5069 (java) S 5059 5059 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 52846373 13227294720 119342 18446744073709551615 4194304 4196468 140722768726288 140610931877104 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5070] ppid=5059 vsize=12917280 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5070/stat : 5070 (java) S 5059 5059 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52846375 13227294720 119342 18446744073709551615 4194304 4196468 140722768726288 140610930825680 140611710687131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5071] ppid=5059 vsize=12917280 CPUtime=0.21 cores=1,3,5,7 /proc/5061/task/5071/stat : 5071 (java) S 5059 5059 25100 0 -1 1077944384 1390 0 0 0 21 0 0 0 20 0 15 0 52846375 13227294720 119342 18446744073709551615 4194304 4196468 140722768726288 140610929772784 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5072] ppid=5059 vsize=12917280 CPUtime=0.23 cores=1,3,5,7 /proc/5061/task/5072/stat : 5072 (java) S 5059 5059 25100 0 -1 1077944384 1092 0 0 0 23 0 0 0 20 0 15 0 52846375 13227294720 119342 18446744073709551615 4194304 4196468 140722768726288 140610928720240 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5073] ppid=5059 vsize=12917280 CPUtime=0.21 cores=1,3,5,7 /proc/5061/task/5073/stat : 5073 (java) S 5059 5059 25100 0 -1 1077944384 1340 0 0 0 21 0 0 0 20 0 15 0 52846375 13227294720 119342 18446744073709551615 4194304 4196468 140722768726288 140610927662672 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5074] ppid=5059 vsize=12917280 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5074/stat : 5074 (java) S 5059 5059 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52846375 13227294720 119342 18446744073709551615 4194304 4196468 140722768726288 140610926614880 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5075] ppid=5059 vsize=12917280 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5075/stat : 5075 (java) S 5059 5059 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52846379 13227294720 119342 18446744073709551615 4194304 4196468 140722768726288 140610925562928 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 Current children cumulated CPU time (s) 3.42 Current children cumulated vsize (KiB) 12926792 [startup+3.10076 s] /proc/loadavg: 2.39 2.12 2.64 4/220 5075 /proc/meminfo: memFree=25396508/32770624 swapFree=0/322232 [pid=5059] ppid=5056 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5059/stat : 5059 (xcsp3-exec) S 5056 5059 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52846361 9740288 345 18446744073709551615 4194304 5098028 140735713026992 140735713025096 140671416246908 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7495680 140735713034648 140735713034858 140735713034858 140735713038315 0 /proc/5059/statm: 2378 345 289 221 0 87 0 [pid=5061] ppid=5059 vsize=12917280 CPUtime=6.81 cores=1,3,5,7 /proc/5061/stat : 5061 (java) S 5059 5059 25100 0 -1 1077944320 16613 0 0 0 618 63 0 0 20 0 15 0 52846370 13227294720 207800 18446744073709551615 4194304 4196468 140722768726288 140722768708832 140611710668535 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 /proc/5061/statm: 3229320 207800 3223 1 0 3217612 0 [pid=5061/tid=5062] ppid=5059 vsize=12917280 CPUtime=2.21 cores=1,3,5,7 /proc/5061/task/5062/stat : 5062 (java) R 5059 5059 25100 0 -1 4202560 8441 0 0 0 211 10 0 0 20 0 15 0 52846370 13227294720 207800 18446744073709551615 4194304 4196468 140722768726288 140611714905760 140611344076326 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5063] ppid=5059 vsize=12917280 CPUtime=0.69 cores=1,3,5,7 /proc/5061/task/5063/stat : 5063 (java) S 5059 5059 25100 0 -1 1077944384 300 0 0 0 57 12 0 0 20 0 15 0 52846371 13227294720 207800 18446744073709551615 4194304 4196468 140722768726288 140611667634704 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5064] ppid=5059 vsize=12917280 CPUtime=0.68 cores=1,3,5,7 /proc/5061/task/5064/stat : 5064 (java) S 5059 5059 25100 0 -1 1077944384 327 0 0 0 56 12 0 0 20 0 15 0 52846371 13227294720 207800 18446744073709551615 4194304 4196468 140722768726288 140611666582160 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5065] ppid=5059 vsize=12917280 CPUtime=0.7 cores=1,3,5,7 /proc/5061/task/5065/stat : 5065 (java) S 5059 5059 25100 0 -1 1077944384 265 0 0 0 57 13 0 0 20 0 15 0 52846371 13227294720 207800 18446744073709551615 4194304 4196468 140722768726288 140611665529104 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5066] ppid=5059 vsize=12917280 CPUtime=0.69 cores=1,3,5,7 /proc/5061/task/5066/stat : 5066 (java) S 5059 5059 25100 0 -1 1077944384 316 0 0 0 57 12 0 0 20 0 15 0 52846371 13227294720 207800 18446744073709551615 4194304 4196468 140722768726288 140611664476560 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5067] ppid=5059 vsize=12917280 CPUtime=0.04 cores=1,3,5,7 /proc/5061/task/5067/stat : 5067 (java) S 5059 5059 25100 0 -1 1077944384 645 0 0 0 4 0 0 0 20 0 15 0 52846372 13227294720 207800 18446744073709551615 4194304 4196468 140722768726288 140610933983984 140611710679682 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5068] ppid=5059 vsize=12917280 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5068/stat : 5068 (java) S 5059 5059 25100 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 52846373 13227294720 207800 18446744073709551615 4194304 4196468 140722768726288 140610932930272 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5069] ppid=5059 vsize=12917280 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5069/stat : 5069 (java) S 5059 5059 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 52846373 13227294720 207800 18446744073709551615 4194304 4196468 140722768726288 140610931877120 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5070] ppid=5059 vsize=12917280 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5070/stat : 5070 (java) S 5059 5059 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52846375 13227294720 207800 18446744073709551615 4194304 4196468 140722768726288 140610930825680 140611710687131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5071] ppid=5059 vsize=12917280 CPUtime=0.68 cores=1,3,5,7 /proc/5061/task/5071/stat : 5071 (java) S 5059 5059 25100 0 -1 1077944384 1680 0 0 0 68 0 0 0 20 0 15 0 52846375 13227294720 207800 18446744073709551615 4194304 4196468 140722768726288 140610929772784 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5072] ppid=5059 vsize=12917280 CPUtime=0.76 cores=1,3,5,7 /proc/5061/task/5072/stat : 5072 (java) S 5059 5059 25100 0 -1 1077944384 1835 0 0 0 76 0 0 0 20 0 15 0 52846375 13227294720 207800 18446744073709551615 4194304 4196468 140722768726288 140610928720240 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5073] ppid=5059 vsize=12917280 CPUtime=0.28 cores=1,3,5,7 /proc/5061/task/5073/stat : 5073 (java) S 5059 5059 25100 0 -1 1077944384 1505 0 0 0 28 0 0 0 20 0 15 0 52846375 13227294720 207800 18446744073709551615 4194304 4196468 140722768726288 140610927667184 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5074] ppid=5059 vsize=12917280 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5074/stat : 5074 (java) S 5059 5059 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52846375 13227294720 207800 18446744073709551615 4194304 4196468 140722768726288 140610926614880 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5075] ppid=5059 vsize=12917280 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5075/stat : 5075 (java) S 5059 5059 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52846379 13227294720 207800 18446744073709551615 4194304 4196468 140722768726288 140610925562928 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 Current children cumulated CPU time (s) 6.81 Current children cumulated vsize (KiB) 12926792 [startup+6.30162 s] /proc/loadavg: 2.39 2.12 2.64 6/220 5075 /proc/meminfo: memFree=24740940/32770624 swapFree=0/322232 [pid=5059] ppid=5056 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5059/stat : 5059 (xcsp3-exec) S 5056 5059 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52846361 9740288 345 18446744073709551615 4194304 5098028 140735713026992 140735713025096 140671416246908 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7495680 140735713034648 140735713034858 140735713034858 140735713038315 0 /proc/5059/statm: 2378 345 289 221 0 87 0 [pid=5061] ppid=5059 vsize=12919328 CPUtime=15.12 cores=1,3,5,7 /proc/5061/stat : 5061 (java) S 5059 5059 25100 0 -1 1077944320 34060 0 0 0 1379 133 0 0 20 0 15 0 52846370 13229391872 384959 18446744073709551615 4194304 4196468 140722768726288 140722768708832 140611710668535 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 /proc/5061/statm: 3229832 384959 3256 1 0 3218124 0 [pid=5061/tid=5062] ppid=5059 vsize=12919328 CPUtime=4.88 cores=1,3,5,7 /proc/5061/task/5062/stat : 5062 (java) S 5059 5059 25100 0 -1 1077944384 10854 0 0 0 476 12 0 0 20 0 15 0 52846370 13229391872 384959 18446744073709551615 4194304 4196468 140722768726288 140611714907040 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5063] ppid=5059 vsize=12919328 CPUtime=1.2 cores=1,3,5,7 /proc/5061/task/5063/stat : 5063 (java) R 5059 5059 25100 0 -1 4202560 1084 0 0 0 91 29 0 0 20 0 15 0 52846371 13229391872 384959 18446744073709551615 4194304 4196468 140722768726288 140611667634592 140611695695817 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5064] ppid=5059 vsize=12919328 CPUtime=1.2 cores=1,3,5,7 /proc/5061/task/5064/stat : 5064 (java) R 5059 5059 25100 0 -1 4202560 995 0 0 0 91 29 0 0 20 0 15 0 52846371 13229391872 384959 18446744073709551615 4194304 4196468 140722768726288 140611666582360 140611695690656 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5065] ppid=5059 vsize=12919328 CPUtime=1.19 cores=1,3,5,7 /proc/5061/task/5065/stat : 5065 (java) R 5059 5059 25100 0 -1 4202560 1021 0 0 0 90 29 0 0 20 0 15 0 52846371 13229391872 384959 18446744073709551615 4194304 4196468 140722768726288 140611665528992 140611703771507 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5066] ppid=5059 vsize=12919328 CPUtime=1.15 cores=1,3,5,7 /proc/5061/task/5066/stat : 5066 (java) R 5059 5059 25100 0 -1 4202560 858 0 0 0 88 27 0 0 20 0 15 0 52846371 13229391872 384959 18446744073709551615 4194304 4196468 140722768726288 140611664476760 140611692294480 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5067] ppid=5059 vsize=12919328 CPUtime=0.04 cores=1,3,5,7 /proc/5061/task/5067/stat : 5067 (java) S 5059 5059 25100 0 -1 1077944384 958 0 0 0 4 0 0 0 20 0 15 0 52846372 13229391872 384959 18446744073709551615 4194304 4196468 140722768726288 140610933982496 140611710678741 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5068] ppid=5059 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5068/stat : 5068 (java) S 5059 5059 25100 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 52846373 13229391872 384959 18446744073709551615 4194304 4196468 140722768726288 140610932930272 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5069] ppid=5059 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5069/stat : 5069 (java) S 5059 5059 25100 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 52846373 13229391872 384959 18446744073709551615 4194304 4196468 140722768726288 140610931877120 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5070] ppid=5059 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5070/stat : 5070 (java) S 5059 5059 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52846375 13229391872 384959 18446744073709551615 4194304 4196468 140722768726288 140610930825680 140611710687131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5071] ppid=5059 vsize=12919328 CPUtime=2.37 cores=1,3,5,7 /proc/5061/task/5071/stat : 5071 (java) S 5059 5059 25100 0 -1 1077944384 6842 0 0 0 236 1 0 0 20 0 15 0 52846375 13229391872 384959 18446744073709551615 4194304 4196468 140722768726288 140610929764064 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5072] ppid=5059 vsize=12919328 CPUtime=2.45 cores=1,3,5,7 /proc/5061/task/5072/stat : 5072 (java) S 5059 5059 25100 0 -1 1077944384 6761 0 0 0 244 1 0 0 20 0 15 0 52846375 13229391872 384959 18446744073709551615 4194304 4196468 140722768726288 140610928711520 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5073] ppid=5059 vsize=12919328 CPUtime=0.56 cores=1,3,5,7 /proc/5061/task/5073/stat : 5073 (java) S 5059 5059 25100 0 -1 1077944384 3336 0 0 0 55 1 0 0 20 0 15 0 52846375 13229391872 384959 18446744073709551615 4194304 4196468 140722768726288 140610927667184 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5074] ppid=5059 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5074/stat : 5074 (java) S 5059 5059 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52846375 13229391872 384959 18446744073709551615 4194304 4196468 140722768726288 140610926614880 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5075] ppid=5059 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5075/stat : 5075 (java) S 5059 5059 25100 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 52846379 13229391872 384959 18446744073709551615 4194304 4196468 140722768726288 140610925562928 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 Current children cumulated CPU time (s) 15.12 Current children cumulated vsize (KiB) 12928840 [startup+12.7016 s] /proc/loadavg: 2.62 2.18 2.66 3/220 5075 /proc/meminfo: memFree=23256044/32770624 swapFree=0/322244 [pid=5059] ppid=5056 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5059/stat : 5059 (xcsp3-exec) S 5056 5059 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52846361 9740288 345 18446744073709551615 4194304 5098028 140735713026992 140735713025096 140671416246908 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7495680 140735713034648 140735713034858 140735713034858 140735713038315 0 /proc/5059/statm: 2378 345 289 221 0 87 0 [pid=5061] ppid=5059 vsize=12919328 CPUtime=31.31 cores=1,3,5,7 /proc/5061/stat : 5061 (java) S 5059 5059 25100 0 -1 1077944320 46992 0 0 0 2863 268 0 0 20 0 15 0 52846370 13229391872 683399 18446744073709551615 4194304 4196468 140722768726288 140722768708832 140611710668535 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 /proc/5061/statm: 3229832 683399 3256 1 0 3218124 0 [pid=5061/tid=5062] ppid=5059 vsize=12919328 CPUtime=7.72 cores=1,3,5,7 /proc/5061/task/5062/stat : 5062 (java) S 5059 5059 25100 0 -1 1077944384 12266 0 0 0 759 13 0 0 20 0 15 0 52846370 13229391872 683399 18446744073709551615 4194304 4196468 140722768726288 140611714907040 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5063] ppid=5059 vsize=12919328 CPUtime=4.43 cores=1,3,5,7 /proc/5061/task/5063/stat : 5063 (java) R 5059 5059 25100 0 -1 4202560 2977 0 0 0 380 63 0 0 20 0 15 0 52846371 13229391872 683399 18446744073709551615 4194304 4196468 140722768726288 140611667634904 140611695695933 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5064] ppid=5059 vsize=12919328 CPUtime=4.44 cores=1,3,5,7 /proc/5061/task/5064/stat : 5064 (java) R 5059 5059 25100 0 -1 4202560 3406 0 0 0 382 62 0 0 20 0 15 0 52846371 13229391872 683399 18446744073709551615 4194304 4196468 140722768726288 140611666582360 140611695116567 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 ################ # More data... # ################ /proc/5059/statm: 2378 345 289 221 0 87 0 [pid=5061] ppid=5059 vsize=13185584 CPUtime=2270.45 cores=1,3,5,7 /proc/5061/stat : 5061 (java) S 5059 5059 25100 0 -1 1077944320 552638 0 0 0 226044 1001 0 0 20 0 19 0 52846370 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140722768708832 140611710668535 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 /proc/5061/statm: 3296396 2678323 3280 1 0 3284688 0 [pid=5061/tid=5062] ppid=5059 vsize=13185584 CPUtime=40.55 cores=1,3,5,7 /proc/5061/task/5062/stat : 5062 (java) S 5059 5059 25100 0 -1 1077944384 21551 0 0 0 4040 15 0 0 20 0 19 0 52846370 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140611714909312 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5063] ppid=5059 vsize=13185584 CPUtime=327.73 cores=1,3,5,7 /proc/5061/task/5063/stat : 5063 (java) R 5059 5059 25100 0 -1 4202560 36484 0 0 0 32520 253 0 0 20 0 19 0 52846371 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140611667634592 140611692264993 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5064] ppid=5059 vsize=13185584 CPUtime=329.25 cores=1,3,5,7 /proc/5061/task/5064/stat : 5064 (java) R 5059 5059 25100 0 -1 4202560 44369 0 0 0 32696 229 0 0 20 0 19 0 52846371 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140611666582360 140611695619528 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5065] ppid=5059 vsize=13185584 CPUtime=327.98 cores=1,3,5,7 /proc/5061/task/5065/stat : 5065 (java) R 5059 5059 25100 0 -1 4202560 28892 0 0 0 32562 236 0 0 20 0 19 0 52846371 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140611665529304 140611695653831 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5066] ppid=5059 vsize=13185584 CPUtime=328.98 cores=1,3,5,7 /proc/5061/task/5066/stat : 5066 (java) R 5059 5059 25100 0 -1 4202560 41735 0 0 0 32680 218 0 0 20 0 19 0 52846371 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140611664476760 140611695653546 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5067] ppid=5059 vsize=13185584 CPUtime=22.83 cores=1,3,5,7 /proc/5061/task/5067/stat : 5067 (java) S 5059 5059 25100 0 -1 1077944384 143324 0 0 0 2272 11 0 0 20 0 19 0 52846372 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140610933982304 140611710678741 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5068] ppid=5059 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5068/stat : 5068 (java) S 5059 5059 25100 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 52846373 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140610932930272 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5069] ppid=5059 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5069/stat : 5069 (java) S 5059 5059 25100 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 52846373 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140610931877120 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5070] ppid=5059 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5070/stat : 5070 (java) S 5059 5059 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52846375 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140610930825680 140611710687131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5071] ppid=5059 vsize=13185584 CPUtime=6.12 cores=1,3,5,7 /proc/5061/task/5071/stat : 5071 (java) S 5059 5059 25100 0 -1 1077944384 35825 0 0 0 609 3 0 0 20 0 19 0 52846375 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140610929772832 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5072] ppid=5059 vsize=13185584 CPUtime=5.9 cores=1,3,5,7 /proc/5061/task/5072/stat : 5072 (java) S 5059 5059 25100 0 -1 1077944384 35142 0 0 0 586 4 0 0 20 0 19 0 52846375 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140610928720000 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5073] ppid=5059 vsize=13185584 CPUtime=1.12 cores=1,3,5,7 /proc/5061/task/5073/stat : 5073 (java) S 5059 5059 25100 0 -1 1077944384 18054 0 0 0 109 3 0 0 20 0 19 0 52846375 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140610927667232 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5074] ppid=5059 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5074/stat : 5074 (java) S 5059 5059 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52846375 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140610926614880 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5075] ppid=5059 vsize=13185584 CPUtime=0.65 cores=1,3,5,7 /proc/5061/task/5075/stat : 5075 (java) S 5059 5059 25100 0 -1 1077944384 3301 0 0 0 28 37 0 0 20 0 19 0 52846379 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140610925562928 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5144] ppid=5059 vsize=13185584 CPUtime=141.72 cores=1,3,5,7 /proc/5061/task/5144/stat : 5144 (java) S 5059 5059 25100 0 -1 1077944384 5962 0 0 0 14170 2 0 0 20 0 19 0 52889082 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140610712251152 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5145] ppid=5059 vsize=13185584 CPUtime=142.06 cores=1,3,5,7 /proc/5061/task/5145/stat : 5145 (java) S 5059 5059 25100 0 -1 1077944384 64335 0 0 0 14203 3 0 0 20 0 19 0 52889082 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140610713304832 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5146] ppid=5059 vsize=13185584 CPUtime=142.6 cores=1,3,5,7 /proc/5061/task/5146/stat : 5146 (java) S 5059 5059 25100 0 -1 1077944384 5259 0 0 0 14259 1 0 0 20 0 19 0 52889082 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140610715409920 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5147] ppid=5059 vsize=13185584 CPUtime=142.59 cores=1,3,5,7 /proc/5061/task/5147/stat : 5147 (java) S 5059 5059 25100 0 -1 1077944384 17645 0 0 0 14258 1 0 0 20 0 19 0 52889082 13502038016 2678323 18446744073709551615 4194304 4196468 140722768726288 140610714361232 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 Current children cumulated CPU time (s) 2270.45 Current children cumulated vsize (KiB) 13195096 [startup+882.307 s] /proc/loadavg: 3.11 3.77 3.28 3/223 5179 /proc/meminfo: memFree=15258672/32770624 swapFree=0/322520 [pid=5059] ppid=5056 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5059/stat : 5059 (xcsp3-exec) S 5056 5059 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52846361 9740288 345 18446744073709551615 4194304 5098028 140735713026992 140735713025096 140671416246908 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7495680 140735713034648 140735713034858 140735713034858 140735713038315 0 /proc/5059/statm: 2378 345 289 221 0 87 0 [pid=5061] ppid=5059 vsize=13185584 CPUtime=2343.09 cores=1,3,5,7 /proc/5061/stat : 5061 (java) S 5059 5059 25100 0 -1 1077944320 563566 0 0 0 233305 1004 0 0 20 0 19 0 52846370 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140722768708832 140611710668535 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 /proc/5061/statm: 3296396 2678324 3280 1 0 3284688 0 [pid=5061/tid=5062] ppid=5059 vsize=13185584 CPUtime=40.55 cores=1,3,5,7 /proc/5061/task/5062/stat : 5062 (java) S 5059 5059 25100 0 -1 1077944384 21551 0 0 0 4040 15 0 0 20 0 19 0 52846370 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140611714909312 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5063] ppid=5059 vsize=13185584 CPUtime=330.62 cores=1,3,5,7 /proc/5061/task/5063/stat : 5063 (java) S 5059 5059 25100 0 -1 1077944384 36517 0 0 0 32809 253 0 0 20 0 19 0 52846371 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140611667634704 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5064] ppid=5059 vsize=13185584 CPUtime=332.19 cores=1,3,5,7 /proc/5061/task/5064/stat : 5064 (java) S 5059 5059 25100 0 -1 1077944384 44640 0 0 0 32990 229 0 0 20 0 19 0 52846371 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140611666582160 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5065] ppid=5059 vsize=13185584 CPUtime=330.92 cores=1,3,5,7 /proc/5061/task/5065/stat : 5065 (java) S 5059 5059 25100 0 -1 1077944384 29300 0 0 0 32856 236 0 0 20 0 19 0 52846371 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140611665529104 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5066] ppid=5059 vsize=13185584 CPUtime=331.92 cores=1,3,5,7 /proc/5061/task/5066/stat : 5066 (java) S 5059 5059 25100 0 -1 1077944384 41771 0 0 0 32974 218 0 0 20 0 19 0 52846371 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140611664476560 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5067] ppid=5059 vsize=13185584 CPUtime=23.12 cores=1,3,5,7 /proc/5061/task/5067/stat : 5067 (java) S 5059 5059 25100 0 -1 1077944384 143334 0 0 0 2301 11 0 0 20 0 19 0 52846372 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610933983984 140611710679682 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5068] ppid=5059 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5068/stat : 5068 (java) S 5059 5059 25100 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 52846373 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610932930272 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5069] ppid=5059 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5069/stat : 5069 (java) S 5059 5059 25100 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 52846373 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610931877120 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5070] ppid=5059 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5070/stat : 5070 (java) S 5059 5059 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52846375 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610930825680 140611710687131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5071] ppid=5059 vsize=13185584 CPUtime=6.12 cores=1,3,5,7 /proc/5061/task/5071/stat : 5071 (java) S 5059 5059 25100 0 -1 1077944384 35828 0 0 0 609 3 0 0 20 0 19 0 52846375 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610929772784 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5072] ppid=5059 vsize=13185584 CPUtime=5.91 cores=1,3,5,7 /proc/5061/task/5072/stat : 5072 (java) S 5059 5059 25100 0 -1 1077944384 35400 0 0 0 587 4 0 0 20 0 19 0 52846375 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610928720240 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5073] ppid=5059 vsize=13185584 CPUtime=1.12 cores=1,3,5,7 /proc/5061/task/5073/stat : 5073 (java) S 5059 5059 25100 0 -1 1077944384 18079 0 0 0 109 3 0 0 20 0 19 0 52846375 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610927667184 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5074] ppid=5059 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5074/stat : 5074 (java) S 5059 5059 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52846375 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610926614880 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5075] ppid=5059 vsize=13185584 CPUtime=0.68 cores=1,3,5,7 /proc/5061/task/5075/stat : 5075 (java) S 5059 5059 25100 0 -1 1077944384 3341 0 0 0 31 37 0 0 20 0 19 0 52846379 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610925562928 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5144] ppid=5059 vsize=13185584 CPUtime=142.61 cores=1,3,5,7 /proc/5061/task/5144/stat : 5144 (java) S 5059 5059 25100 0 -1 1077944384 6008 0 0 0 14259 2 0 0 20 0 19 0 52889082 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610712256304 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5145] ppid=5059 vsize=13185584 CPUtime=143.16 cores=1,3,5,7 /proc/5061/task/5145/stat : 5145 (java) S 5059 5059 25100 0 -1 1077944384 72758 0 0 0 14312 4 0 0 20 0 19 0 52889082 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610713309904 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5146] ppid=5059 vsize=13185584 CPUtime=199.37 cores=1,3,5,7 /proc/5061/task/5146/stat : 5146 (java) R 5059 5059 25100 0 -1 4202560 6596 0 0 0 19936 1 0 0 20 0 19 0 52889082 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610715412376 140611347665695 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5147] ppid=5059 vsize=13185584 CPUtime=144.43 cores=1,3,5,7 /proc/5061/task/5147/stat : 5147 (java) S 5059 5059 25100 0 -1 1077944384 17683 0 0 0 14442 1 0 0 20 0 19 0 52889082 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610714363344 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 Current children cumulated CPU time (s) 2343.09 Current children cumulated vsize (KiB) 13195096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+939.201 s] /proc/loadavg: 2.45 3.46 3.21 3/223 5181 /proc/meminfo: memFree=15258364/32770624 swapFree=0/322556 [pid=5059] ppid=5056 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5059/stat : 5059 (xcsp3-exec) S 5056 5059 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52846361 9740288 345 18446744073709551615 4194304 5098028 140735713026992 140735713025096 140671416246908 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7495680 140735713034648 140735713034858 140735713034858 140735713038315 0 /proc/5059/statm: 2378 345 289 221 0 87 0 [pid=5061] ppid=5059 vsize=13185584 CPUtime=2400.02 cores=1,3,5,7 /proc/5061/stat : 5061 (java) S 5059 5059 25100 0 -1 1077944320 566052 0 0 0 238996 1006 0 0 20 0 19 0 52846370 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140722768708832 140611710668535 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 /proc/5061/statm: 3296396 2678324 3280 1 0 3284688 0 [pid=5061/tid=5062] ppid=5059 vsize=13185584 CPUtime=40.55 cores=1,3,5,7 /proc/5061/task/5062/stat : 5062 (java) S 5059 5059 25100 0 -1 1077944384 21551 0 0 0 4040 15 0 0 20 0 19 0 52846370 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140611714909312 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5063] ppid=5059 vsize=13185584 CPUtime=330.62 cores=1,3,5,7 /proc/5061/task/5063/stat : 5063 (java) S 5059 5059 25100 0 -1 1077944384 36517 0 0 0 32809 253 0 0 20 0 19 0 52846371 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140611667634704 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5064] ppid=5059 vsize=13185584 CPUtime=332.19 cores=1,3,5,7 /proc/5061/task/5064/stat : 5064 (java) S 5059 5059 25100 0 -1 1077944384 44640 0 0 0 32990 229 0 0 20 0 19 0 52846371 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140611666582160 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5065] ppid=5059 vsize=13185584 CPUtime=330.92 cores=1,3,5,7 /proc/5061/task/5065/stat : 5065 (java) S 5059 5059 25100 0 -1 1077944384 29300 0 0 0 32856 236 0 0 20 0 19 0 52846371 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140611665529104 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5066] ppid=5059 vsize=13185584 CPUtime=331.92 cores=1,3,5,7 /proc/5061/task/5066/stat : 5066 (java) S 5059 5059 25100 0 -1 1077944384 41771 0 0 0 32974 218 0 0 20 0 19 0 52846371 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140611664476560 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5067] ppid=5059 vsize=13185584 CPUtime=23.12 cores=1,3,5,7 /proc/5061/task/5067/stat : 5067 (java) S 5059 5059 25100 0 -1 1077944384 143344 0 0 0 2301 11 0 0 20 0 19 0 52846372 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610933983984 140611710679682 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5068] ppid=5059 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5068/stat : 5068 (java) S 5059 5059 25100 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 52846373 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610932930272 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5069] ppid=5059 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5069/stat : 5069 (java) S 5059 5059 25100 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 52846373 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610931877120 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5070] ppid=5059 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5070/stat : 5070 (java) S 5059 5059 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52846375 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610930825680 140611710687131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5071] ppid=5059 vsize=13185584 CPUtime=6.12 cores=1,3,5,7 /proc/5061/task/5071/stat : 5071 (java) S 5059 5059 25100 0 -1 1077944384 35834 0 0 0 609 3 0 0 20 0 19 0 52846375 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610929772784 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5072] ppid=5059 vsize=13185584 CPUtime=5.91 cores=1,3,5,7 /proc/5061/task/5072/stat : 5072 (java) S 5059 5059 25100 0 -1 1077944384 35415 0 0 0 587 4 0 0 20 0 19 0 52846375 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610928720240 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5073] ppid=5059 vsize=13185584 CPUtime=1.12 cores=1,3,5,7 /proc/5061/task/5073/stat : 5073 (java) S 5059 5059 25100 0 -1 1077944384 18086 0 0 0 109 3 0 0 20 0 19 0 52846375 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610927667184 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5074] ppid=5059 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/5061/task/5074/stat : 5074 (java) S 5059 5059 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52846375 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610926614880 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5075] ppid=5059 vsize=13185584 CPUtime=0.72 cores=1,3,5,7 /proc/5061/task/5075/stat : 5075 (java) S 5059 5059 25100 0 -1 1077944384 3405 0 0 0 32 40 0 0 20 0 19 0 52846379 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610925562928 140611710679682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5144] ppid=5059 vsize=13185584 CPUtime=142.61 cores=1,3,5,7 /proc/5061/task/5144/stat : 5144 (java) S 5059 5059 25100 0 -1 1077944384 6008 0 0 0 14259 2 0 0 20 0 19 0 52889082 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610712256304 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5145] ppid=5059 vsize=13185584 CPUtime=143.16 cores=1,3,5,7 /proc/5061/task/5145/stat : 5145 (java) S 5059 5059 25100 0 -1 1077944384 72758 0 0 0 14312 4 0 0 20 0 19 0 52889082 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610713309904 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5146] ppid=5059 vsize=13185584 CPUtime=256.26 cores=1,3,5,7 /proc/5061/task/5146/stat : 5146 (java) R 5059 5059 25100 0 -1 4202560 8980 0 0 0 25625 1 0 0 20 0 19 0 52889082 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610715412376 140611347665695 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 [pid=5061/tid=5147] ppid=5059 vsize=13185584 CPUtime=144.43 cores=1,3,5,7 /proc/5061/task/5147/stat : 5147 (java) S 5059 5059 25100 0 -1 1077944384 17683 0 0 0 14442 1 0 0 20 0 19 0 52889082 13502038016 2678324 18446744073709551615 4194304 4196468 140722768726288 140610714363344 140611710678741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140722768732630 140722768732806 140722768732806 140722768736207 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 13195096 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 5061 sig 9 ??? kill 5059 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 5059 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=906 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1313 # CPU time returned by wait4() is 0.002219 # while last known CPU time is 2400.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 939.211 CPU time (s): 2400.02 CPU user time (s): 2389.96 CPU system time (s): 10.06 CPU usage (%): 255.536 Max. virtual memory (cumulated for all children) (KiB): 13195096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000906 system time used= 0.001313 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 508 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= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.00367 second user time and 7.05442 second system time The end
Begin job on node133 at 2017-08-06 21:57:44 IDJOB=4249342 IDBENCH=139738 IDSOLVER=2625 FILE ID=node133/4249342-1502050311 RUNJOBID= node133-1502042263-31899 PBS_JOBID= Free space on /tmp= 62000 MiB SOLVER NAME= choco-solver 4.0.5 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-4249342-1502050311/watcher-4249342-1502050311 -o /tmp/evaluation-result-4249342-1502050311/solver-4249342-1502050311 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31899 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1606031801 HOME/instance-4249342-1502050311.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8013d5ca2692908d001f725061313983 RANDOM SEED=1606031801 node133.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.17 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.17 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.17 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.17 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: 25983872 kB MemAvailable: 26493808 kB Buffers: 201064 kB Cached: 599948 kB SwapCached: 0 kB Active: 6007728 kB Inactive: 347088 kB Active(anon): 5553680 kB Inactive(anon): 24920 kB Active(file): 454048 kB Inactive(file): 322168 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 27948 kB Writeback: 4 kB AnonPages: 5552800 kB Mapped: 52072 kB Shmem: 25276 kB Slab: 125520 kB SReclaimable: 99108 kB SUnreclaim: 26412 kB KernelStack: 3600 kB PageTables: 15864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 7119304 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 5257216 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61992 MiB End job on node133 at 2017-08-06 22:13:23