Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-07-26) | SAT (TO) | 1155 | 258.64001 | 240.00999 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml |
| MD5SUM | 72502af2971f560ebaea982d6c1ff669 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 684 |
| Best CPU time to get the best result obtained on this benchmark | 251.92799 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 992 |
| Number of constraints | 960 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":31},{"size":2,"count":930},{"size":101,"count":30}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 59 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":31},{"degree":2,"count":60},{"degree":4,"count":870},{"degree":59,"count":30}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":1,"count":30},{"arity":3,"count":870},{"arity":30,"count":60}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 30 |
| Distribution of constraint types | [{"type":"intension","count":30},{"type":"sum","count":870},{"type":"count","count":60}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.10 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255372-1501620367.xml" -tl '264s' -p 1 -x 3 0.00/0.28 c [HOME/instance-4255372-1501620367.xml, -tl, 264s, -p, 1, -x, 3] 0.00/0.34 c simple solver 0.00/0.40 c parse instance... 0.00/0.78 c solve instance... 8.43/3.02 o 1535 8.43/3.03 o 1526 8.43/3.07 o 1435 8.43/3.07 o 1431 8.76/3.10 o 1418 8.76/3.15 o 1409 8.76/3.16 o 1401 8.76/3.17 o 1395 9.06/3.21 o 1390 9.06/3.23 o 1388 10.88/3.88 o 1371 15.70/5.89 o 1245 16.01/5.91 o 1220 16.01/5.91 o 1219 16.01/5.93 o 1218 16.01/5.94 o 1216 16.01/5.94 o 1215 16.01/5.96 o 1212 16.57/6.11 o 1209 16.57/6.12 o 1207 16.85/6.25 o 1205 16.85/6.25 o 1196 48.63/35.90 o 1155 258.64/240.00 s SATISFIABLE 258.64/240.00 v <instantiation> 258.64/240.00 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] </list> 258.64/240.00 v <values>0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 25 45 54 17 58 42 35 86 33 42 86 34 41 75 79 59 50 22 63 98 24 18 83 65 8 76 94 55 13 43 </values> 258.64/240.00 v </instantiation> 258.64/240.00 c Unexpected resolution interruption!
OK 1155
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-4255372-1501620367/watcher-4255372-1501620367 -o /tmp/evaluation-result-4255372-1501620367/solver-4255372-1501620367 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11515 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1860422740 HOME/instance-4255372-1501620367.xml pid=21424 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 1.74 1.81 1.85 3/201 21427 /proc/meminfo: memFree=30313092/32770624 swapFree=0/289584 [pid=21427] ppid=21424 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/21427/stat : 21427 (runsolver) D 21424 21427 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9542468 24240128 108 18446744073709551615 4194304 4338465 140731363983104 140731363980744 140052311769815 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 17747968 140731363991644 140731363992134 140731363992134 140731363995594 0 /proc/21427/statm: 5918 108 54 36 0 2156 0 [startup+0.100106 s] /proc/loadavg: 1.74 1.81 1.85 3/201 21427 /proc/meminfo: memFree=30313092/32770624 swapFree=0/289584 [pid=21427] ppid=21424 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/21427/stat : 21427 (runsolver) D 21424 21427 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9542468 24240128 108 18446744073709551615 4194304 4338465 140731363983104 140731363980744 140052311769815 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 17747968 140731363991644 140731363992134 140731363992134 140731363995594 0 /proc/21427/statm: 5918 108 54 36 0 2156 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23672 [startup+0.200258 s] /proc/loadavg: 1.74 1.81 1.85 3/201 21427 /proc/meminfo: memFree=30313092/32770624 swapFree=0/289584 [pid=21427] ppid=21424 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/21427/stat : 21427 (xcsp3-exec) S 21424 21427 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9542468 9740288 345 18446744073709551615 4194304 5098028 140736488703168 140736488701272 140451512181372 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 31158272 140736488706459 140736488706663 140736488706663 140736488710123 0 /proc/21427/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300583 s] /proc/loadavg: 1.74 1.81 1.85 3/201 21427 /proc/meminfo: memFree=30313092/32770624 swapFree=0/289584 [pid=21427] ppid=21424 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/21427/stat : 21427 (xcsp3-exec) S 21424 21427 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9542468 9740288 345 18446744073709551615 4194304 5098028 140736488703168 140736488701272 140451512181372 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 31158272 140736488706459 140736488706663 140736488706663 140736488710123 0 /proc/21427/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700227 s] /proc/loadavg: 1.74 1.81 1.85 3/201 21427 /proc/meminfo: memFree=30313092/32770624 swapFree=0/289584 [pid=21427] ppid=21424 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/21427/stat : 21427 (xcsp3-exec) S 21424 21427 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9542468 9740288 345 18446744073709551615 4194304 5098028 140736488703168 140736488701272 140451512181372 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 31158272 140736488706459 140736488706663 140736488706663 140736488710123 0 /proc/21427/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50068 s] /proc/loadavg: 1.74 1.81 1.85 5/217 21443 /proc/meminfo: memFree=30225024/32770624 swapFree=0/289528 [pid=21427] ppid=21424 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/21427/stat : 21427 (xcsp3-exec) S 21424 21427 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9542468 9740288 345 18446744073709551615 4194304 5098028 140736488703168 140736488701272 140451512181372 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 31158272 140736488706459 140736488706663 140736488706663 140736488710123 0 /proc/21427/statm: 2378 345 289 221 0 87 0 [pid=21429] ppid=21427 vsize=13980732 CPUtime=3.82 cores=1,3,5,7 /proc/21429/stat : 21429 (java) S 21427 21427 5234 0 -1 1077944320 29061 0 0 0 375 7 0 0 20 0 15 0 9542478 14316269568 33379 18446744073709551615 4194304 4196468 140728738852688 140728738835232 139911874367223 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 /proc/21429/statm: 3495183 33379 3182 1 0 3483484 0 [pid=21429/tid=21430] ppid=21427 vsize=13980732 CPUtime=1.34 cores=1,3,5,7 /proc/21429/task/21430/stat : 21430 (java) R 21427 21427 5234 0 -1 4202560 9023 0 0 0 130 4 0 0 20 0 15 0 9542478 14316269568 33379 18446744073709551615 4194304 4196468 140728738852688 139911878603336 139911463262503 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21431] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21431/stat : 21431 (java) S 21427 21427 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9542479 14316269568 33379 18446744073709551615 4194304 4196468 140728738852688 139911793781264 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21432] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21432/stat : 21432 (java) S 21427 21427 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9542479 14316269568 33379 18446744073709551615 4194304 4196468 140728738852688 139911792728720 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21433] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21433/stat : 21433 (java) S 21427 21427 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9542479 14316269568 33379 18446744073709551615 4194304 4196468 140728738852688 139911791675664 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21434] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21434/stat : 21434 (java) S 21427 21427 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9542479 14316269568 33379 18446744073709551615 4194304 4196468 140728738852688 139911790623120 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21435] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21435/stat : 21435 (java) S 21427 21427 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9542480 14316269568 33379 18446744073709551615 4194304 4196468 140728738852688 139911352548080 139911874378370 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21436] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21436/stat : 21436 (java) S 21427 21427 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9542481 14316269568 33379 18446744073709551615 4194304 4196468 140728738852688 139911351494304 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21437] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21437/stat : 21437 (java) S 21427 21427 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9542481 14316269568 33379 18446744073709551615 4194304 4196468 140728738852688 139911350441200 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21438] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21438/stat : 21438 (java) S 21427 21427 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9542484 14316269568 33379 18446744073709551615 4194304 4196468 140728738852688 139911349389776 139911874385819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21439] ppid=21427 vsize=13980732 CPUtime=0.91 cores=1,3,5,7 /proc/21429/task/21439/stat : 21439 (java) R 21427 21427 5234 0 -1 4202560 9656 0 0 0 90 1 0 0 20 0 15 0 9542484 14316269568 33379 18446744073709551615 4194304 4196468 140728738852688 139911348317992 139911859263127 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21440] ppid=21427 vsize=13980732 CPUtime=0.93 cores=1,3,5,7 /proc/21429/task/21440/stat : 21440 (java) R 21427 21427 5234 0 -1 4202560 4673 0 0 0 93 0 0 0 20 0 15 0 9542484 14316269568 33379 18446744073709551615 4194304 4196468 140728738852688 139911347274128 139911859249031 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21441] ppid=21427 vsize=13980732 CPUtime=0.62 cores=1,3,5,7 /proc/21429/task/21441/stat : 21441 (java) S 21427 21427 5234 0 -1 1077944384 4399 0 0 0 61 1 0 0 20 0 15 0 9542484 14316269568 33379 18446744073709551615 4194304 4196468 140728738852688 139911346231280 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21442] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21442/stat : 21442 (java) S 21427 21427 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9542484 14316269568 33379 18446744073709551615 4194304 4196468 140728738852688 139911345178976 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21443] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21443/stat : 21443 (java) S 21427 21427 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9542488 14316269568 33379 18446744073709551615 4194304 4196468 140728738852688 139911344127024 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 Current children cumulated CPU time (s) 3.82 Current children cumulated vsize (KiB) 13990244 [startup+3.10071 s] /proc/loadavg: 1.74 1.81 1.85 5/217 21443 /proc/meminfo: memFree=30146824/32770624 swapFree=0/289528 [pid=21427] ppid=21424 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/21427/stat : 21427 (xcsp3-exec) S 21424 21427 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9542468 9740288 345 18446744073709551615 4194304 5098028 140736488703168 140736488701272 140451512181372 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 31158272 140736488706459 140736488706663 140736488706663 140736488710123 0 /proc/21427/statm: 2378 345 289 221 0 87 0 [pid=21429] ppid=21427 vsize=13980732 CPUtime=8.76 cores=1,3,5,7 /proc/21429/stat : 21429 (java) S 21427 21427 5234 0 -1 1077944320 58646 0 0 0 860 16 0 0 20 0 15 0 9542478 14316269568 70947 18446744073709551615 4194304 4196468 140728738852688 140728738835232 139911874367223 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 /proc/21429/statm: 3495183 70947 3208 1 0 3483484 0 [pid=21429/tid=21430] ppid=21427 vsize=13980732 CPUtime=2.91 cores=1,3,5,7 /proc/21429/task/21430/stat : 21430 (java) R 21427 21427 5234 0 -1 4202560 9777 0 0 0 285 6 0 0 20 0 15 0 9542478 14316269568 70947 18446744073709551615 4194304 4196468 140728738852688 139911878605960 139911469306747 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21431] ppid=21427 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/21429/task/21431/stat : 21431 (java) S 21427 21427 5234 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 9542479 14316269568 70947 18446744073709551615 4194304 4196468 140728738852688 139911793781264 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21432] ppid=21427 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/21429/task/21432/stat : 21432 (java) S 21427 21427 5234 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 15 0 9542479 14316269568 70947 18446744073709551615 4194304 4196468 140728738852688 139911792728720 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21433] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21433/stat : 21433 (java) S 21427 21427 5234 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 15 0 9542479 14316269568 70947 18446744073709551615 4194304 4196468 140728738852688 139911791675664 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21434] ppid=21427 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/21429/task/21434/stat : 21434 (java) S 21427 21427 5234 0 -1 1077944384 436 0 0 0 1 0 0 0 20 0 15 0 9542479 14316269568 70947 18446744073709551615 4194304 4196468 140728738852688 139911790623120 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21435] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21435/stat : 21435 (java) S 21427 21427 5234 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 15 0 9542480 14316269568 70947 18446744073709551615 4194304 4196468 140728738852688 139911352548080 139911874378370 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21436] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21436/stat : 21436 (java) S 21427 21427 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9542481 14316269568 70947 18446744073709551615 4194304 4196468 140728738852688 139911351494304 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21437] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21437/stat : 21437 (java) S 21427 21427 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9542481 14316269568 70947 18446744073709551615 4194304 4196468 140728738852688 139911350441200 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21438] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21438/stat : 21438 (java) S 21427 21427 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9542484 14316269568 70947 18446744073709551615 4194304 4196468 140728738852688 139911349389776 139911874385819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21439] ppid=21427 vsize=13980732 CPUtime=2.47 cores=1,3,5,7 /proc/21429/task/21439/stat : 21439 (java) R 21427 21427 5234 0 -1 4202560 14332 0 0 0 246 1 0 0 20 0 15 0 9542484 14316269568 70947 18446744073709551615 4194304 4196468 140728738852688 139911348322936 139911855911363 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21440] ppid=21427 vsize=13980732 CPUtime=2.53 cores=1,3,5,7 /proc/21429/task/21440/stat : 21440 (java) R 21427 21427 5234 0 -1 4202560 26256 0 0 0 250 3 0 0 20 0 15 0 9542484 14316269568 70947 18446744073709551615 4194304 4196468 140728738852688 139911347269000 139911859482499 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21441] ppid=21427 vsize=13980732 CPUtime=0.72 cores=1,3,5,7 /proc/21429/task/21441/stat : 21441 (java) S 21427 21427 5234 0 -1 1077944384 5980 0 0 0 71 1 0 0 20 0 15 0 9542484 14316269568 70947 18446744073709551615 4194304 4196468 140728738852688 139911346231280 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21442] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21442/stat : 21442 (java) S 21427 21427 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9542484 14316269568 70947 18446744073709551615 4194304 4196468 140728738852688 139911345178976 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21443] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21443/stat : 21443 (java) S 21427 21427 5234 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 9542488 14316269568 70947 18446744073709551615 4194304 4196468 140728738852688 139911344127024 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 Current children cumulated CPU time (s) 8.76 Current children cumulated vsize (KiB) 13990244 [startup+6.30137 s] /proc/loadavg: 1.68 1.80 1.85 3/217 21443 /proc/meminfo: memFree=30011980/32770624 swapFree=0/289532 [pid=21427] ppid=21424 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/21427/stat : 21427 (xcsp3-exec) S 21424 21427 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9542468 9740288 345 18446744073709551615 4194304 5098028 140736488703168 140736488701272 140451512181372 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 31158272 140736488706459 140736488706663 140736488706663 140736488710123 0 /proc/21427/statm: 2378 345 289 221 0 87 0 [pid=21429] ppid=21427 vsize=13980732 CPUtime=17.14 cores=1,3,5,7 /proc/21429/stat : 21429 (java) S 21427 21427 5234 0 -1 1077944320 67212 0 0 0 1692 22 0 0 20 0 15 0 9542478 14316269568 78047 18446744073709551615 4194304 4196468 140728738852688 140728738835232 139911874367223 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 /proc/21429/statm: 3495183 78047 3222 1 0 3483484 0 [pid=21429/tid=21430] ppid=21427 vsize=13980732 CPUtime=6.07 cores=1,3,5,7 /proc/21429/task/21430/stat : 21430 (java) R 21427 21427 5234 0 -1 4202560 9837 0 0 0 601 6 0 0 20 0 15 0 9542478 14316269568 78047 18446744073709551615 4194304 4196468 140728738852688 139911878603696 139911463263332 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21431] ppid=21427 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/21429/task/21431/stat : 21431 (java) S 21427 21427 5234 0 -1 1077944384 133 0 0 0 3 1 0 0 20 0 15 0 9542479 14316269568 78047 18446744073709551615 4194304 4196468 140728738852688 139911793781264 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21432] ppid=21427 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/21429/task/21432/stat : 21432 (java) S 21427 21427 5234 0 -1 1077944384 79 0 0 0 3 1 0 0 20 0 15 0 9542479 14316269568 78047 18446744073709551615 4194304 4196468 140728738852688 139911792728720 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21433] ppid=21427 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/21429/task/21433/stat : 21433 (java) S 21427 21427 5234 0 -1 1077944384 318 0 0 0 2 1 0 0 20 0 15 0 9542479 14316269568 78047 18446744073709551615 4194304 4196468 140728738852688 139911791675664 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21434] ppid=21427 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/21429/task/21434/stat : 21434 (java) S 21427 21427 5234 0 -1 1077944384 461 0 0 0 3 1 0 0 20 0 15 0 9542479 14316269568 78047 18446744073709551615 4194304 4196468 140728738852688 139911790623120 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21435] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21435/stat : 21435 (java) S 21427 21427 5234 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 9542480 14316269568 78047 18446744073709551615 4194304 4196468 140728738852688 139911352548080 139911874378370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21436] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21436/stat : 21436 (java) S 21427 21427 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9542481 14316269568 78047 18446744073709551615 4194304 4196468 140728738852688 139911351494368 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21437] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21437/stat : 21437 (java) S 21427 21427 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9542481 14316269568 78047 18446744073709551615 4194304 4196468 140728738852688 139911350441216 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21438] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21438/stat : 21438 (java) S 21427 21427 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9542484 14316269568 78047 18446744073709551615 4194304 4196468 140728738852688 139911349389776 139911874385819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21439] ppid=21427 vsize=13980732 CPUtime=4.88 cores=1,3,5,7 /proc/21429/task/21439/stat : 21439 (java) S 21427 21427 5234 0 -1 1077944384 16757 0 0 0 486 2 0 0 20 0 15 0 9542484 14316269568 78047 18446744073709551615 4194304 4196468 140728738852688 139911348336880 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21440] ppid=21427 vsize=13980732 CPUtime=5.04 cores=1,3,5,7 /proc/21429/task/21440/stat : 21440 (java) R 21427 21427 5234 0 -1 4202560 31187 0 0 0 499 5 0 0 20 0 15 0 9542484 14316269568 78047 18446744073709551615 4194304 4196468 140728738852688 139911347270560 139911855888623 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21441] ppid=21427 vsize=13980732 CPUtime=0.91 cores=1,3,5,7 /proc/21429/task/21441/stat : 21441 (java) S 21427 21427 5234 0 -1 1077944384 6841 0 0 0 89 2 0 0 20 0 15 0 9542484 14316269568 78047 18446744073709551615 4194304 4196468 140728738852688 139911346231280 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21442] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21442/stat : 21442 (java) S 21427 21427 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9542484 14316269568 78047 18446744073709551615 4194304 4196468 140728738852688 139911345178976 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21443] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21443/stat : 21443 (java) S 21427 21427 5234 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 9542488 14316269568 78047 18446744073709551615 4194304 4196468 140728738852688 139911344127024 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 Current children cumulated CPU time (s) 17.14 Current children cumulated vsize (KiB) 13990244 [startup+12.7007 s] /proc/loadavg: 1.63 1.79 1.84 3/217 21443 /proc/meminfo: memFree=29851340/32770624 swapFree=0/289544 [pid=21427] ppid=21424 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/21427/stat : 21427 (xcsp3-exec) S 21424 21427 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9542468 9740288 345 18446744073709551615 4194304 5098028 140736488703168 140736488701272 140451512181372 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 31158272 140736488706459 140736488706663 140736488706663 140736488710123 0 /proc/21427/statm: 2378 345 289 221 0 87 0 [pid=21429] ppid=21427 vsize=13980732 CPUtime=24.41 cores=1,3,5,7 /proc/21429/stat : 21429 (java) S 21427 21427 5234 0 -1 1077944320 75306 0 0 0 2411 30 0 0 20 0 15 0 9542478 14316269568 114518 18446744073709551615 4194304 4196468 140728738852688 140728738835232 139911874367223 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 /proc/21429/statm: 3495183 114518 3226 1 0 3483484 0 [pid=21429/tid=21430] ppid=21427 vsize=13980732 CPUtime=12.38 cores=1,3,5,7 /proc/21429/task/21430/stat : 21430 (java) R 21427 21427 5234 0 -1 4202560 11782 0 0 0 1230 8 0 0 20 0 15 0 9542478 14316269568 114518 18446744073709551615 4194304 4196468 140728738852688 139911878604568 139911471139537 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21431] ppid=21427 vsize=13980732 CPUtime=0.13 cores=1,3,5,7 /proc/21429/task/21431/stat : 21431 (java) S 21427 21427 5234 0 -1 1077944384 229 0 0 0 10 3 0 0 20 0 15 0 9542479 14316269568 114518 18446744073709551615 4194304 4196468 140728738852688 139911793781264 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21432] ppid=21427 vsize=13980732 CPUtime=0.11 cores=1,3,5,7 /proc/21429/task/21432/stat : 21432 (java) S 21427 21427 5234 0 -1 1077944384 1275 0 0 0 9 2 0 0 20 0 15 0 9542479 14316269568 114518 18446744073709551615 4194304 4196468 140728738852688 139911792728720 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 ################ # More data... # ################ [pid=21429/tid=21436] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21436/stat : 21436 (java) S 21427 21427 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9542481 14316269568 216006 18446744073709551615 4194304 4196468 140728738852688 139911351494368 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21437] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21437/stat : 21437 (java) S 21427 21427 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9542481 14316269568 216006 18446744073709551615 4194304 4196468 140728738852688 139911350441216 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21438] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21438/stat : 21438 (java) S 21427 21427 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9542484 14316269568 216006 18446744073709551615 4194304 4196468 140728738852688 139911349389776 139911874385819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21439] ppid=21427 vsize=13980732 CPUtime=6.06 cores=1,3,5,7 /proc/21429/task/21439/stat : 21439 (java) S 21427 21427 5234 0 -1 1077944384 29497 0 0 0 603 3 0 0 20 0 15 0 9542484 14316269568 216006 18446744073709551615 4194304 4196468 140728738852688 139911348336880 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21440] ppid=21427 vsize=13980732 CPUtime=5.77 cores=1,3,5,7 /proc/21429/task/21440/stat : 21440 (java) S 21427 21427 5234 0 -1 1077944384 39574 0 0 0 571 6 0 0 20 0 15 0 9542484 14316269568 216006 18446744073709551615 4194304 4196468 140728738852688 139911347284336 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21441] ppid=21427 vsize=13980732 CPUtime=0.97 cores=1,3,5,7 /proc/21429/task/21441/stat : 21441 (java) S 21427 21427 5234 0 -1 1077944384 9907 0 0 0 95 2 0 0 20 0 15 0 9542484 14316269568 216006 18446744073709551615 4194304 4196468 140728738852688 139911346231280 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21442] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21442/stat : 21442 (java) S 21427 21427 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9542484 14316269568 216006 18446744073709551615 4194304 4196468 140728738852688 139911345178976 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21443] ppid=21427 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/21429/task/21443/stat : 21443 (java) S 21427 21427 5234 0 -1 1077944384 1508 0 0 0 1 3 0 0 20 0 15 0 9542488 14316269568 216006 18446744073709551615 4194304 4196468 140728738852688 139911344127024 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 Current children cumulated CPU time (s) 116.91 Current children cumulated vsize (KiB) 13990244 [startup+162.301 s] /proc/loadavg: 1.59 1.73 1.82 3/215 21600 /proc/meminfo: memFree=30690204/32770624 swapFree=0/289700 [pid=21427] ppid=21424 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/21427/stat : 21427 (xcsp3-exec) S 21424 21427 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9542468 9740288 345 18446744073709551615 4194304 5098028 140736488703168 140736488701272 140451512181372 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 31158272 140736488706459 140736488706663 140736488706663 140736488710123 0 /proc/21427/statm: 2378 345 289 221 0 87 0 [pid=21429] ppid=21427 vsize=13980732 CPUtime=178.7 cores=1,3,5,7 /proc/21429/stat : 21429 (java) S 21427 21427 5234 0 -1 1077944320 117294 0 0 0 17741 129 0 0 20 0 15 0 9542478 14316269568 248208 18446744073709551615 4194304 4196468 140728738852688 140728738835232 139911874367223 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 /proc/21429/statm: 3495183 248208 3229 1 0 3483484 0 [pid=21429/tid=21430] ppid=21427 vsize=13980732 CPUtime=160.88 cores=1,3,5,7 /proc/21429/task/21430/stat : 21430 (java) R 21427 21427 5234 0 -1 4202560 20618 0 0 0 16076 12 0 0 20 0 15 0 9542478 14316269568 248208 18446744073709551615 4194304 4196468 140728738852688 139911878606896 139911471139708 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21431] ppid=21427 vsize=13980732 CPUtime=1.17 cores=1,3,5,7 /proc/21429/task/21431/stat : 21431 (java) S 21427 21427 5234 0 -1 1077944384 1614 0 0 0 93 24 0 0 20 0 15 0 9542479 14316269568 248208 18446744073709551615 4194304 4196468 140728738852688 139911793781264 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21432] ppid=21427 vsize=13980732 CPUtime=1.16 cores=1,3,5,7 /proc/21429/task/21432/stat : 21432 (java) S 21427 21427 5234 0 -1 1077944384 3756 0 0 0 93 23 0 0 20 0 15 0 9542479 14316269568 248208 18446744073709551615 4194304 4196468 140728738852688 139911792728720 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21433] ppid=21427 vsize=13980732 CPUtime=1.16 cores=1,3,5,7 /proc/21429/task/21433/stat : 21433 (java) S 21427 21427 5234 0 -1 1077944384 1795 0 0 0 91 25 0 0 20 0 15 0 9542479 14316269568 248208 18446744073709551615 4194304 4196468 140728738852688 139911791675664 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21434] ppid=21427 vsize=13980732 CPUtime=1.17 cores=1,3,5,7 /proc/21429/task/21434/stat : 21434 (java) S 21427 21427 5234 0 -1 1077944384 2703 0 0 0 92 25 0 0 20 0 15 0 9542479 14316269568 248208 18446744073709551615 4194304 4196468 140728738852688 139911790623120 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21435] ppid=21427 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/21429/task/21435/stat : 21435 (java) S 21427 21427 5234 0 -1 1077944384 1788 0 0 0 4 1 0 0 20 0 15 0 9542480 14316269568 248208 18446744073709551615 4194304 4196468 140728738852688 139911352548080 139911874378370 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21436] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21436/stat : 21436 (java) S 21427 21427 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9542481 14316269568 248208 18446744073709551615 4194304 4196468 140728738852688 139911351494368 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21437] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21437/stat : 21437 (java) S 21427 21427 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9542481 14316269568 248208 18446744073709551615 4194304 4196468 140728738852688 139911350441216 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21438] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21438/stat : 21438 (java) S 21427 21427 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9542484 14316269568 248208 18446744073709551615 4194304 4196468 140728738852688 139911349389776 139911874385819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21439] ppid=21427 vsize=13980732 CPUtime=6.12 cores=1,3,5,7 /proc/21429/task/21439/stat : 21439 (java) S 21427 21427 5234 0 -1 1077944384 29855 0 0 0 609 3 0 0 20 0 15 0 9542484 14316269568 248208 18446744073709551615 4194304 4196468 140728738852688 139911348336880 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21440] ppid=21427 vsize=13980732 CPUtime=5.84 cores=1,3,5,7 /proc/21429/task/21440/stat : 21440 (java) S 21427 21427 5234 0 -1 1077944384 41010 0 0 0 578 6 0 0 20 0 15 0 9542484 14316269568 248208 18446744073709551615 4194304 4196468 140728738852688 139911347284336 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21441] ppid=21427 vsize=13980732 CPUtime=0.98 cores=1,3,5,7 /proc/21429/task/21441/stat : 21441 (java) S 21427 21427 5234 0 -1 1077944384 11271 0 0 0 95 3 0 0 20 0 15 0 9542484 14316269568 248208 18446744073709551615 4194304 4196468 140728738852688 139911346231280 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21442] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21442/stat : 21442 (java) S 21427 21427 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9542484 14316269568 248208 18446744073709551615 4194304 4196468 140728738852688 139911345178976 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21443] ppid=21427 vsize=13980732 CPUtime=0.08 cores=1,3,5,7 /proc/21429/task/21443/stat : 21443 (java) S 21427 21427 5234 0 -1 1077944384 1531 0 0 0 4 4 0 0 20 0 15 0 9542488 14316269568 248208 18446744073709551615 4194304 4196468 140728738852688 139911344127024 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 Current children cumulated CPU time (s) 178.7 Current children cumulated vsize (KiB) 13990244 [startup+222.307 s] /proc/loadavg: 1.32 1.64 1.78 3/214 21602 /proc/meminfo: memFree=30887488/32770624 swapFree=0/289720 [pid=21427] ppid=21424 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/21427/stat : 21427 (xcsp3-exec) S 21424 21427 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9542468 9740288 345 18446744073709551615 4194304 5098028 140736488703168 140736488701272 140451512181372 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 31158272 140736488706459 140736488706663 140736488706663 140736488710123 0 /proc/21427/statm: 2378 345 289 221 0 87 0 [pid=21429] ppid=21427 vsize=13980732 CPUtime=240.46 cores=1,3,5,7 /proc/21429/stat : 21429 (java) S 21427 21427 5234 0 -1 1077944320 122903 0 0 0 23903 143 0 0 20 0 15 0 9542478 14316269568 200761 18446744073709551615 4194304 4196468 140728738852688 140728738835232 139911874367223 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 /proc/21429/statm: 3495183 200761 3244 1 0 3483484 0 [pid=21429/tid=21430] ppid=21427 vsize=13980732 CPUtime=220.29 cores=1,3,5,7 /proc/21429/task/21430/stat : 21430 (java) R 21427 21427 5234 0 -1 4202560 21184 0 0 0 22017 12 0 0 20 0 15 0 9542478 14316269568 200761 18446744073709551615 4194304 4196468 140728738852688 139911878606896 139911469404784 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21431] ppid=21427 vsize=13980732 CPUtime=1.73 cores=1,3,5,7 /proc/21429/task/21431/stat : 21431 (java) S 21427 21427 5234 0 -1 1077944384 2105 0 0 0 146 27 0 0 20 0 15 0 9542479 14316269568 200761 18446744073709551615 4194304 4196468 140728738852688 139911793781264 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21432] ppid=21427 vsize=13980732 CPUtime=1.73 cores=1,3,5,7 /proc/21429/task/21432/stat : 21432 (java) S 21427 21427 5234 0 -1 1077944384 4198 0 0 0 147 26 0 0 20 0 15 0 9542479 14316269568 200761 18446744073709551615 4194304 4196468 140728738852688 139911792728720 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21433] ppid=21427 vsize=13980732 CPUtime=1.72 cores=1,3,5,7 /proc/21429/task/21433/stat : 21433 (java) S 21427 21427 5234 0 -1 1077944384 2273 0 0 0 144 28 0 0 20 0 15 0 9542479 14316269568 200761 18446744073709551615 4194304 4196468 140728738852688 139911791675664 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21434] ppid=21427 vsize=13980732 CPUtime=1.74 cores=1,3,5,7 /proc/21429/task/21434/stat : 21434 (java) S 21427 21427 5234 0 -1 1077944384 3319 0 0 0 145 29 0 0 20 0 15 0 9542479 14316269568 200761 18446744073709551615 4194304 4196468 140728738852688 139911790623120 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21435] ppid=21427 vsize=13980732 CPUtime=0.07 cores=1,3,5,7 /proc/21429/task/21435/stat : 21435 (java) S 21427 21427 5234 0 -1 1077944384 4100 0 0 0 6 1 0 0 20 0 15 0 9542480 14316269568 200761 18446744073709551615 4194304 4196468 140728738852688 139911352548080 139911874378370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21436] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21436/stat : 21436 (java) S 21427 21427 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9542481 14316269568 200761 18446744073709551615 4194304 4196468 140728738852688 139911351494368 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21437] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21437/stat : 21437 (java) S 21427 21427 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9542481 14316269568 200761 18446744073709551615 4194304 4196468 140728738852688 139911350441216 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21438] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21438/stat : 21438 (java) S 21427 21427 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9542484 14316269568 200761 18446744073709551615 4194304 4196468 140728738852688 139911349389776 139911874385819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21439] ppid=21427 vsize=13980732 CPUtime=6.12 cores=1,3,5,7 /proc/21429/task/21439/stat : 21439 (java) S 21427 21427 5234 0 -1 1077944384 29855 0 0 0 609 3 0 0 20 0 15 0 9542484 14316269568 200761 18446744073709551615 4194304 4196468 140728738852688 139911348336880 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21440] ppid=21427 vsize=13980732 CPUtime=5.87 cores=1,3,5,7 /proc/21429/task/21440/stat : 21440 (java) S 21427 21427 5234 0 -1 1077944384 41692 0 0 0 581 6 0 0 20 0 15 0 9542484 14316269568 200761 18446744073709551615 4194304 4196468 140728738852688 139911347284336 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21441] ppid=21427 vsize=13980732 CPUtime=0.98 cores=1,3,5,7 /proc/21429/task/21441/stat : 21441 (java) S 21427 21427 5234 0 -1 1077944384 11271 0 0 0 95 3 0 0 20 0 15 0 9542484 14316269568 200761 18446744073709551615 4194304 4196468 140728738852688 139911346231280 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21442] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21442/stat : 21442 (java) S 21427 21427 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9542484 14316269568 200761 18446744073709551615 4194304 4196468 140728738852688 139911345178976 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21443] ppid=21427 vsize=13980732 CPUtime=0.11 cores=1,3,5,7 /proc/21429/task/21443/stat : 21443 (java) S 21427 21427 5234 0 -1 1077944384 1553 0 0 0 4 7 0 0 20 0 15 0 9542488 14316269568 200761 18446744073709551615 4194304 4196468 140728738852688 139911344127024 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 Current children cumulated CPU time (s) 240.46 Current children cumulated vsize (KiB) 13990244 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 1.18 1.58 1.76 3/214 21603 /proc/meminfo: memFree=30940000/32770624 swapFree=0/289728 [pid=21427] ppid=21424 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/21427/stat : 21427 (xcsp3-exec) S 21424 21427 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9542468 9740288 345 18446744073709551615 4194304 5098028 140736488703168 140736488701272 140451512181372 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 31158272 140736488706459 140736488706663 140736488706663 140736488710123 0 /proc/21427/statm: 2378 345 289 221 0 87 0 [pid=21429] ppid=21427 vsize=13980732 CPUtime=258.64 cores=1,3,5,7 /proc/21429/stat : 21429 (java) S 21427 21427 5234 0 -1 1077944320 126678 0 0 0 25719 145 0 0 20 0 15 0 9542478 14316269568 183835 18446744073709551615 4194304 4196468 140728738852688 140728738835232 139911874367223 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 /proc/21429/statm: 3495183 183835 3244 1 0 3483484 0 [pid=21429/tid=21430] ppid=21427 vsize=13980732 CPUtime=237.84 cores=1,3,5,7 /proc/21429/task/21430/stat : 21430 (java) R 21427 21427 5234 0 -1 4202560 21813 0 0 0 23771 13 0 0 20 0 15 0 9542478 14316269568 183835 18446744073709551615 4194304 4196468 140728738852688 139911878606592 139911470255468 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21431] ppid=21427 vsize=13980732 CPUtime=1.88 cores=1,3,5,7 /proc/21429/task/21431/stat : 21431 (java) S 21427 21427 5234 0 -1 1077944384 2211 0 0 0 161 27 0 0 20 0 15 0 9542479 14316269568 183835 18446744073709551615 4194304 4196468 140728738852688 139911793781264 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21432] ppid=21427 vsize=13980732 CPUtime=1.87 cores=1,3,5,7 /proc/21429/task/21432/stat : 21432 (java) S 21427 21427 5234 0 -1 1077944384 4269 0 0 0 161 26 0 0 20 0 15 0 9542479 14316269568 183835 18446744073709551615 4194304 4196468 140728738852688 139911792728720 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21433] ppid=21427 vsize=13980732 CPUtime=1.87 cores=1,3,5,7 /proc/21429/task/21433/stat : 21433 (java) S 21427 21427 5234 0 -1 1077944384 2307 0 0 0 159 28 0 0 20 0 15 0 9542479 14316269568 183835 18446744073709551615 4194304 4196468 140728738852688 139911791675664 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21434] ppid=21427 vsize=13980732 CPUtime=1.88 cores=1,3,5,7 /proc/21429/task/21434/stat : 21434 (java) S 21427 21427 5234 0 -1 1077944384 3563 0 0 0 159 29 0 0 20 0 15 0 9542479 14316269568 183835 18446744073709551615 4194304 4196468 140728738852688 139911790623120 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21435] ppid=21427 vsize=13980732 CPUtime=0.09 cores=1,3,5,7 /proc/21429/task/21435/stat : 21435 (java) S 21427 21427 5234 0 -1 1077944384 4295 0 0 0 7 2 0 0 20 0 15 0 9542480 14316269568 183835 18446744073709551615 4194304 4196468 140728738852688 139911352548080 139911874378370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21436] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21436/stat : 21436 (java) S 21427 21427 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9542481 14316269568 183835 18446744073709551615 4194304 4196468 140728738852688 139911351494368 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21437] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21437/stat : 21437 (java) S 21427 21427 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9542481 14316269568 183835 18446744073709551615 4194304 4196468 140728738852688 139911350441216 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21438] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21438/stat : 21438 (java) S 21427 21427 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9542484 14316269568 183835 18446744073709551615 4194304 4196468 140728738852688 139911349389776 139911874385819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21439] ppid=21427 vsize=13980732 CPUtime=6.12 cores=1,3,5,7 /proc/21429/task/21439/stat : 21439 (java) S 21427 21427 5234 0 -1 1077944384 30111 0 0 0 609 3 0 0 20 0 15 0 9542484 14316269568 183835 18446744073709551615 4194304 4196468 140728738852688 139911348336880 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21440] ppid=21427 vsize=13980732 CPUtime=5.9 cores=1,3,5,7 /proc/21429/task/21440/stat : 21440 (java) S 21427 21427 5234 0 -1 1077944384 43308 0 0 0 584 6 0 0 20 0 15 0 9542484 14316269568 183835 18446744073709551615 4194304 4196468 140728738852688 139911347284336 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21441] ppid=21427 vsize=13980732 CPUtime=0.98 cores=1,3,5,7 /proc/21429/task/21441/stat : 21441 (java) S 21427 21427 5234 0 -1 1077944384 11880 0 0 0 95 3 0 0 20 0 15 0 9542484 14316269568 183835 18446744073709551615 4194304 4196468 140728738852688 139911346231280 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21442] ppid=21427 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/21429/task/21442/stat : 21442 (java) S 21427 21427 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9542484 14316269568 183835 18446744073709551615 4194304 4196468 140728738852688 139911345178976 139911874377429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 [pid=21429/tid=21443] ppid=21427 vsize=13980732 CPUtime=0.12 cores=1,3,5,7 /proc/21429/task/21443/stat : 21443 (java) S 21427 21427 5234 0 -1 1077944384 1568 0 0 0 5 7 0 0 20 0 15 0 9542488 14316269568 183835 18446744073709551615 4194304 4196468 140728738852688 139911344127024 139911874378370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35323904 140728738861524 140728738861699 140728738861699 140728738865103 0 Current children cumulated CPU time (s) 258.64 Current children cumulated vsize (KiB) 13990244 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 21429 sig 9 ??? kill 21427 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 21427 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1893 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=117 # CPU time returned by wait4() is 0.00201 # while last known CPU time is 258.64 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 240.01 CPU time (s): 258.64 CPU user time (s): 257.19 CPU system time (s): 1.45 CPU usage (%): 107.762 Max. virtual memory (cumulated for all children) (KiB): 13995452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001893 system time used= 0.000117 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509 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 1.08702 second user time and 1.51262 second system time The end
Begin job on node134 at 2017-08-01 22:32:06 IDJOB=4255372 IDBENCH=124448 IDSOLVER=2637 FILE ID=node134/4255372-1501620367 RUNJOBID= node134-1501616951-11515 PBS_JOBID= Free space on /tmp= 61892 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n31-k5.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4255372-1501620367/watcher-4255372-1501620367 -o /tmp/evaluation-result-4255372-1501620367/solver-4255372-1501620367 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11515 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1860422740 HOME/instance-4255372-1501620367.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 72502af2971f560ebaea982d6c1ff669 RANDOM SEED=1860422740 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30313072 kB MemAvailable: 30498052 kB Buffers: 98752 kB Cached: 367680 kB SwapCached: 0 kB Active: 1751140 kB Inactive: 296156 kB Active(anon): 1582708 kB Inactive(anon): 6652 kB Active(file): 168432 kB Inactive(file): 289504 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7840 kB Writeback: 4 kB AnonPages: 1574396 kB Mapped: 42000 kB Shmem: 8892 kB Slab: 110752 kB SReclaimable: 85760 kB SUnreclaim: 24992 kB KernelStack: 3536 kB PageTables: 7968 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2995320 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1439744 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 61884 MiB End job on node134 at 2017-08-01 22:36:06