Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | SAT (TO) | 1060 | 2400.47 | 307.412 |
| 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 | 2400.02 |
| 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.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246360-1500687694.xml" -tl '2400s' -p 8 -x 3 0.00/0.19 c [HOME/instance-4246360-1500687694.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.24 c 8 solvers in parallel 0.00/0.31 c parse instance... 0.00/1.08 c solve instance... 3.69/1.19 o 3518 3.69/1.21 o 3425 4.42/1.22 o 1588 7.41/1.62 o 1398 9.79/1.91 o 1242 16.08/2.74 o 1216 16.08/2.75 o 1207 16.08/2.79 o 1191 16.85/2.83 o 1188 17.61/2.95 o 1186 17.61/2.99 o 1165 18.40/3.05 o 1136 297.24/38.19 o 1132 579.07/74.20 o 1065 1261.95/162.10 o 1061 2193.08/281.14 o 1060 2400.47/307.44 s SATISFIABLE 2400.47/307.44 v <instantiation> 2400.47/307.44 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> 2400.47/307.44 v <values>0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 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 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 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 95 4 32 91 43 100 59 27 70 39 66 100 64 74 25 48 16 37 44 31 73 50 64 83 17 96 19 53 93 23 </values> 2400.47/307.44 v </instantiation> 2400.47/307.44 c Unexpected resolution interruption!
OK 1060
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-4246360-1500687694/watcher-4246360-1500687694 -o /tmp/evaluation-result-4246360-1500687694/solver-4246360-1500687694 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1831040200 HOME/instance-4246360-1500687694.xml pid=5617 running on 8 cores: 1,3,5,7,9,11,13,15 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: 14.94 15.33 14.66 10/273 5620 /proc/meminfo: memFree=29591192/32770624 swapFree=5696/280456 [pid=5620] ppid=5617 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5620/stat : 5620 (xcsp3-exec) S 5617 5620 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4036878 9740288 345 33554432000 4194304 5098028 140720329059824 140720329057928 140714339353212 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12476416 140720329061518 140720329061728 140720329061728 140720329064427 0 /proc/5620/statm: 2378 345 289 221 0 87 0 [startup+0.100104 s] /proc/loadavg: 14.94 15.33 14.66 10/273 5620 /proc/meminfo: memFree=29591192/32770624 swapFree=5696/280456 [pid=5620] ppid=5617 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5620/stat : 5620 (xcsp3-exec) S 5617 5620 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4036878 9740288 345 33554432000 4194304 5098028 140720329059824 140720329057928 140714339353212 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12476416 140720329061518 140720329061728 140720329061728 140720329064427 0 /proc/5620/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200285 s] /proc/loadavg: 14.94 15.33 14.66 10/273 5620 /proc/meminfo: memFree=29591192/32770624 swapFree=5696/280456 [pid=5620] ppid=5617 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5620/stat : 5620 (xcsp3-exec) S 5617 5620 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4036878 9740288 345 33554432000 4194304 5098028 140720329059824 140720329057928 140714339353212 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12476416 140720329061518 140720329061728 140720329061728 140720329064427 0 /proc/5620/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300215 s] /proc/loadavg: 14.94 15.33 14.66 10/273 5620 /proc/meminfo: memFree=29591192/32770624 swapFree=5696/280456 [pid=5620] ppid=5617 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5620/stat : 5620 (xcsp3-exec) S 5617 5620 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4036878 9740288 345 33554432000 4194304 5098028 140720329059824 140720329057928 140714339353212 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12476416 140720329061518 140720329061728 140720329061728 140720329064427 0 /proc/5620/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700193 s] /proc/loadavg: 14.94 15.33 14.66 10/273 5620 /proc/meminfo: memFree=29591192/32770624 swapFree=5696/280456 [pid=5620] ppid=5617 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5620/stat : 5620 (xcsp3-exec) S 5617 5620 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4036878 9740288 345 33554432000 4194304 5098028 140720329059824 140720329057928 140714339353212 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12476416 140720329061518 140720329061728 140720329061728 140720329064427 0 /proc/5620/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50111 s] /proc/loadavg: 14.94 15.33 14.66 25/295 5642 /proc/meminfo: memFree=29396992/32770624 swapFree=5696/280492 [pid=5620] ppid=5617 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5620/stat : 5620 (xcsp3-exec) S 5617 5620 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4036878 9740288 345 33554432000 4194304 5098028 140720329059824 140720329057928 140714339353212 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12476416 140720329061518 140720329061728 140720329061728 140720329064427 0 /proc/5620/statm: 2378 345 289 221 0 87 0 [pid=5621] ppid=5620 vsize=13801768 CPUtime=6.62 cores=1,3,5,7,9,11,13,15 /proc/5621/stat : 5621 (java) S 5620 5620 7102 0 -1 1077944320 24855 0 0 0 647 15 0 0 20 0 28 0 4036879 14133010432 52806 33554432000 4194304 4196468 140721330617616 140721330600160 139772893511415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 /proc/5621/statm: 3450442 52806 3262 1 0 3437675 0 [pid=5621/tid=5622] ppid=5620 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5622/stat : 5622 (java) S 5620 5620 7102 0 -1 1077944384 7706 0 0 0 102 6 0 0 20 0 28 0 4036879 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772897752192 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5624] ppid=5620 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5624/stat : 5624 (java) S 5620 5620 7102 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4036880 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772811991568 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5625] ppid=5620 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5625/stat : 5625 (java) S 5620 5620 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4036880 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772810939024 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5626] ppid=5620 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5626/stat : 5626 (java) S 5620 5620 7102 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 4036880 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772809885968 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5627] ppid=5620 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5627/stat : 5627 (java) S 5620 5620 7102 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4036880 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772808833424 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5628] ppid=5620 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5628/stat : 5628 (java) S 5620 5620 7102 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4036880 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772807781392 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5629] ppid=5620 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5629/stat : 5629 (java) S 5620 5620 7102 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 4036880 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772806728848 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5630] ppid=5620 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5630/stat : 5630 (java) S 5620 5620 7102 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 4036880 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772805675792 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5631] ppid=5620 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5631/stat : 5631 (java) S 5620 5620 7102 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 28 0 4036880 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772804623248 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5632] ppid=5620 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5632/stat : 5632 (java) S 5620 5620 7102 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 28 0 4036882 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772086860016 139772893522562 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5633] ppid=5620 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5633/stat : 5633 (java) S 5620 5620 7102 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4036883 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772085806240 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5634] ppid=5620 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5634/stat : 5634 (java) S 5620 5620 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4036883 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772084753136 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5635] ppid=5620 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5635/stat : 5635 (java) S 5620 5620 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4036887 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772083701712 139772893530011 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5636] ppid=5620 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5636/stat : 5636 (java) R 5620 5620 7102 0 -1 4202560 3066 0 0 0 88 0 0 0 20 0 28 0 4036887 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772082635864 139772875055132 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5637] ppid=5620 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5637/stat : 5637 (java) R 5620 5620 7102 0 -1 4202560 3622 0 0 0 93 0 0 0 20 0 28 0 4036887 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772081578312 139772876994876 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5638] ppid=5620 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5638/stat : 5638 (java) R 5620 5620 7102 0 -1 4202560 4079 0 0 0 87 1 0 0 20 0 28 0 4036887 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772080531056 139772874701161 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5639] ppid=5620 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5639/stat : 5639 (java) R 5620 5620 7102 0 -1 4202560 3759 0 0 0 77 1 0 0 20 0 28 0 4036887 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772079488632 139772886608251 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5640] ppid=5620 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5640/stat : 5640 (java) S 5620 5620 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4036887 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772078438880 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5641] ppid=5620 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5641/stat : 5641 (java) S 5620 5620 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4036888 14133010432 52806 33554432000 4194304 4196468 140721330617616 139772077386416 139772893522562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 Current children cumulated CPU time (s) 6.62 Current children cumulated vsize (KiB) 13811280 [startup+3.10119 s] /proc/loadavg: 14.94 15.33 14.66 21/302 5689 /proc/meminfo: memFree=29377788/32770624 swapFree=5696/280492 [pid=5620] ppid=5617 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5620/stat : 5620 (xcsp3-exec) S 5617 5620 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4036878 9740288 345 33554432000 4194304 5098028 140720329059824 140720329057928 140714339353212 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12476416 140720329061518 140720329061728 140720329061728 140720329064427 0 /proc/5620/statm: 2378 345 289 221 0 87 0 [pid=5621] ppid=5620 vsize=13802796 CPUtime=19.17 cores=1,3,5,7,9,11,13,15 /proc/5621/stat : 5621 (java) S 5620 5620 7102 0 -1 1077944320 31030 0 0 0 1894 23 0 0 20 0 28 0 4036879 14134063104 63495 33554432000 4194304 4196468 140721330617616 140721330600160 139772893511415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 /proc/5621/statm: 3450699 63495 3272 1 0 3437932 0 [pid=5621/tid=5622] ppid=5620 vsize=13802796 CPUtime=1.08 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5622/stat : 5622 (java) S 5620 5620 7102 0 -1 1077944384 7767 0 0 0 102 6 0 0 20 0 28 0 4036879 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772897752192 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5624] ppid=5620 vsize=13802796 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5624/stat : 5624 (java) S 5620 5620 7102 0 -1 1077944384 98 0 0 0 1 1 0 0 20 0 28 0 4036880 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772811991568 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5625] ppid=5620 vsize=13802796 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5625/stat : 5625 (java) S 5620 5620 7102 0 -1 1077944384 42 0 0 0 1 1 0 0 20 0 28 0 4036880 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772810939024 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5626] ppid=5620 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5626/stat : 5626 (java) S 5620 5620 7102 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 28 0 4036880 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772809885968 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5627] ppid=5620 vsize=13802796 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5627/stat : 5627 (java) S 5620 5620 7102 0 -1 1077944384 49 0 0 0 2 1 0 0 20 0 28 0 4036880 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772808833424 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5628] ppid=5620 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5628/stat : 5628 (java) S 5620 5620 7102 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 4036880 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772807781392 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5629] ppid=5620 vsize=13802796 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5629/stat : 5629 (java) S 5620 5620 7102 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 28 0 4036880 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772806728848 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5630] ppid=5620 vsize=13802796 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5630/stat : 5630 (java) S 5620 5620 7102 0 -1 1077944384 47 0 0 0 1 1 0 0 20 0 28 0 4036880 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772805675792 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5631] ppid=5620 vsize=13802796 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5631/stat : 5631 (java) S 5620 5620 7102 0 -1 1077944384 37 0 0 0 2 1 0 0 20 0 28 0 4036880 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772804623248 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5632] ppid=5620 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5632/stat : 5632 (java) S 5620 5620 7102 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 28 0 4036882 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772086860016 139772893522562 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5633] ppid=5620 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5633/stat : 5633 (java) S 5620 5620 7102 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4036883 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772085806304 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5634] ppid=5620 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5634/stat : 5634 (java) S 5620 5620 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4036883 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772084753152 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5635] ppid=5620 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5635/stat : 5635 (java) S 5620 5620 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4036887 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772083701712 139772893530011 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5636] ppid=5620 vsize=13802796 CPUtime=1.87 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5636/stat : 5636 (java) R 5620 5620 7102 0 -1 4202560 4199 0 0 0 186 1 0 0 20 0 28 0 4036887 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772082643032 139772874689243 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5637] ppid=5620 vsize=13802796 CPUtime=2.06 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5637/stat : 5637 (java) R 5620 5620 7102 0 -1 4202560 4593 0 0 0 205 1 0 0 20 0 28 0 4036887 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772081585680 139772878929809 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5638] ppid=5620 vsize=13802796 CPUtime=2.12 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5638/stat : 5638 (java) R 5620 5620 7102 0 -1 4202560 4983 0 0 0 210 2 0 0 20 0 28 0 4036887 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772080530208 139772878623551 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5639] ppid=5620 vsize=13802796 CPUtime=1.04 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5639/stat : 5639 (java) S 5620 5620 7102 0 -1 1077944384 4812 0 0 0 103 1 0 0 20 0 28 0 4036887 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772079491696 139772893522562 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5640] ppid=5620 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5640/stat : 5640 (java) S 5620 5620 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4036887 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772078438880 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5641] ppid=5620 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5641/stat : 5641 (java) S 5620 5620 7102 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4036888 14134063104 63495 33554432000 4194304 4196468 140721330617616 139772077386416 139772893522562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 Current children cumulated CPU time (s) 19.17 Current children cumulated vsize (KiB) 13812308 [startup+6.30162 s] /proc/loadavg: 15.03 15.35 14.67 17/302 5745 /proc/meminfo: memFree=29200980/32770624 swapFree=5696/280492 [pid=5620] ppid=5617 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5620/stat : 5620 (xcsp3-exec) S 5617 5620 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4036878 9740288 345 33554432000 4194304 5098028 140720329059824 140720329057928 140714339353212 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12476416 140720329061518 140720329061728 140720329061728 140720329064427 0 /proc/5620/statm: 2378 345 289 221 0 87 0 [pid=5621] ppid=5620 vsize=13802796 CPUtime=44.57 cores=1,3,5,7,9,11,13,15 /proc/5621/stat : 5621 (java) S 5620 5620 7102 0 -1 1077944320 33088 0 0 0 4412 45 0 0 20 0 28 0 4036879 14134063104 99524 33554432000 4194304 4196468 140721330617616 140721330600160 139772893511415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 /proc/5621/statm: 3450699 99524 3281 1 0 3437932 0 [pid=5621/tid=5622] ppid=5620 vsize=13802796 CPUtime=1.08 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5622/stat : 5622 (java) S 5620 5620 7102 0 -1 1077944384 7767 0 0 0 102 6 0 0 20 0 28 0 4036879 14134063104 99524 33554432000 4194304 4196468 140721330617616 139772897752192 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5624] ppid=5620 vsize=13802796 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5624/stat : 5624 (java) S 5620 5620 7102 0 -1 1077944384 172 0 0 0 3 3 0 0 20 0 28 0 4036880 14134063104 99524 33554432000 4194304 4196468 140721330617616 139772811991568 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5625] ppid=5620 vsize=13802796 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5625/stat : 5625 (java) S 5620 5620 7102 0 -1 1077944384 61 0 0 0 3 3 0 0 20 0 28 0 4036880 14134063104 99524 33554432000 4194304 4196468 140721330617616 139772810939024 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5626] ppid=5620 vsize=13802796 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5626/stat : 5626 (java) S 5620 5620 7102 0 -1 1077944384 49 0 0 0 3 3 0 0 20 0 28 0 4036880 14134063104 99524 33554432000 4194304 4196468 140721330617616 139772809885968 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5627] ppid=5620 vsize=13802796 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5627/stat : 5627 (java) S 5620 5620 7102 0 -1 1077944384 76 0 0 0 4 4 0 0 20 0 28 0 4036880 14134063104 99524 33554432000 4194304 4196468 140721330617616 139772808833424 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5628] ppid=5620 vsize=13802796 CPUtime=0.05 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5628/stat : 5628 (java) S 5620 5620 7102 0 -1 1077944384 51 0 0 0 2 3 0 0 20 0 28 0 4036880 14134063104 99524 33554432000 4194304 4196468 140721330617616 139772807781392 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5629] ppid=5620 vsize=13802796 CPUtime=0.05 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5629/stat : 5629 (java) S 5620 5620 7102 0 -1 1077944384 58 0 0 0 2 3 0 0 20 0 28 0 4036880 14134063104 99524 33554432000 4194304 4196468 140721330617616 139772806728848 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5630] ppid=5620 vsize=13802796 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5630/stat : 5630 (java) S 5620 5620 7102 0 -1 1077944384 73 0 0 0 3 4 0 0 20 0 28 0 4036880 14134063104 99524 33554432000 4194304 4196468 140721330617616 139772805675792 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5631] ppid=5620 vsize=13802796 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5631/stat : 5631 (java) S 5620 5620 7102 0 -1 1077944384 691 0 0 0 5 2 0 0 20 0 28 0 4036880 14134063104 99524 33554432000 4194304 4196468 140721330617616 139772804623248 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5632] ppid=5620 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5632/stat : 5632 (java) S 5620 5620 7102 0 -1 1077944384 426 0 0 0 1 0 0 0 20 0 28 0 4036882 14134063104 99524 33554432000 4194304 4196468 140721330617616 139772086860016 139772893522562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5633] ppid=5620 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5633/stat : 5633 (java) S 5620 5620 7102 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4036883 14134063104 99524 33554432000 4194304 4196468 140721330617616 139772085806304 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5634] ppid=5620 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5634/stat : 5634 (java) S 5620 5620 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4036883 14134063104 99524 33554432000 4194304 4196468 140721330617616 139772084753152 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5635] ppid=5620 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5635/stat : 5635 (java) S 5620 5620 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4036887 14134063104 99524 33554432000 4194304 4196468 140721330617616 139772083701712 139772893530011 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 ################ # More data... # ################ [pid=5621/tid=5842] ppid=5620 vsize=13802796 CPUtime=58.46 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5842/stat : 5842 (java) R 5620 5620 7102 0 -1 4202560 498 0 0 0 5846 0 0 0 20 0 28 0 4053089 14134063104 372003 33554432000 4194304 4196468 140721330617616 139772065161304 139772487637100 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5843] ppid=5620 vsize=13802796 CPUtime=58.75 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5843/stat : 5843 (java) R 5620 5620 7102 0 -1 4202560 1047 0 0 0 5875 0 0 0 20 0 28 0 4053089 14134063104 372003 33554432000 4194304 4196468 140721330617616 139772068318824 139772487158996 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 Current children cumulated CPU time (s) 1735.15 Current children cumulated vsize (KiB) 13812308 [startup+282.302 s] /proc/loadavg: 14.58 15.47 14.92 10/292 6232 /proc/meminfo: memFree=29014220/32770624 swapFree=5696/281772 [pid=5620] ppid=5617 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5620/stat : 5620 (xcsp3-exec) S 5617 5620 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4036878 9740288 345 33554432000 4194304 5098028 140720329059824 140720329057928 140714339353212 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12476416 140720329061518 140720329061728 140720329061728 140720329064427 0 /proc/5620/statm: 2378 345 289 221 0 87 0 [pid=5621] ppid=5620 vsize=13802796 CPUtime=2202.25 cores=1,3,5,7,9,11,13,15 /proc/5621/stat : 5621 (java) S 5620 5620 7102 0 -1 1077944320 143574 0 0 0 219680 545 0 0 20 0 28 0 4036879 14134063104 323118 33554432000 4194304 4196468 140721330617616 140721330600160 139772893511415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 /proc/5621/statm: 3450699 323118 3303 1 0 3437932 0 [pid=5621/tid=5622] ppid=5620 vsize=13802796 CPUtime=1.09 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5622/stat : 5622 (java) S 5620 5620 7102 0 -1 1077944384 8101 0 0 0 103 6 0 0 20 0 28 0 4036879 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772897752192 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5624] ppid=5620 vsize=13802796 CPUtime=1 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5624/stat : 5624 (java) S 5620 5620 7102 0 -1 1077944384 3829 0 0 0 62 38 0 0 20 0 28 0 4036880 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772811991568 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5625] ppid=5620 vsize=13802796 CPUtime=1.05 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5625/stat : 5625 (java) S 5620 5620 7102 0 -1 1077944384 1713 0 0 0 65 40 0 0 20 0 28 0 4036880 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772810939024 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5626] ppid=5620 vsize=13802796 CPUtime=1.05 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5626/stat : 5626 (java) S 5620 5620 7102 0 -1 1077944384 2881 0 0 0 65 40 0 0 20 0 28 0 4036880 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772809885968 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5627] ppid=5620 vsize=13802796 CPUtime=1.03 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5627/stat : 5627 (java) S 5620 5620 7102 0 -1 1077944384 2379 0 0 0 65 38 0 0 20 0 28 0 4036880 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772808833424 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5628] ppid=5620 vsize=13802796 CPUtime=1.02 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5628/stat : 5628 (java) S 5620 5620 7102 0 -1 1077944384 1936 0 0 0 63 39 0 0 20 0 28 0 4036880 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772807781392 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5629] ppid=5620 vsize=13802796 CPUtime=1.06 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5629/stat : 5629 (java) S 5620 5620 7102 0 -1 1077944384 3339 0 0 0 63 43 0 0 20 0 28 0 4036880 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772806728848 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5630] ppid=5620 vsize=13802796 CPUtime=1.07 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5630/stat : 5630 (java) S 5620 5620 7102 0 -1 1077944384 2836 0 0 0 65 42 0 0 20 0 28 0 4036880 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772805675792 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5631] ppid=5620 vsize=13802796 CPUtime=1.04 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5631/stat : 5631 (java) S 5620 5620 7102 0 -1 1077944384 3265 0 0 0 64 40 0 0 20 0 28 0 4036880 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772804623248 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5632] ppid=5620 vsize=13802796 CPUtime=2.72 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5632/stat : 5632 (java) S 5620 5620 7102 0 -1 1077944384 13697 0 0 0 103 169 0 0 20 0 28 0 4036882 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772086860016 139772893522562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5633] ppid=5620 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5633/stat : 5633 (java) S 5620 5620 7102 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4036883 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772085806304 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5634] ppid=5620 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5634/stat : 5634 (java) S 5620 5620 7102 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 4036883 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772084753152 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5635] ppid=5620 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5635/stat : 5635 (java) S 5620 5620 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4036887 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772083701712 139772893530011 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5636] ppid=5620 vsize=13802796 CPUtime=2.93 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5636/stat : 5636 (java) S 5620 5620 7102 0 -1 1077944384 12588 0 0 0 292 1 0 0 20 0 28 0 4036887 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772082649840 139772893522562 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5637] ppid=5620 vsize=13802796 CPUtime=3.47 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5637/stat : 5637 (java) S 5620 5620 7102 0 -1 1077944384 18565 0 0 0 345 2 0 0 20 0 28 0 4036887 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772081597296 139772893522562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5638] ppid=5620 vsize=13802796 CPUtime=3.19 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5638/stat : 5638 (java) S 5620 5620 7102 0 -1 1077944384 12040 0 0 0 316 3 0 0 20 0 28 0 4036887 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772080544240 139772893522562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5639] ppid=5620 vsize=13802796 CPUtime=1.2 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5639/stat : 5639 (java) S 5620 5620 7102 0 -1 1077944384 12146 0 0 0 118 2 0 0 20 0 28 0 4036887 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772079491696 139772893522562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5640] ppid=5620 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5640/stat : 5640 (java) S 5620 5620 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4036887 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772078438880 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5641] ppid=5620 vsize=13802796 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5641/stat : 5641 (java) S 5620 5620 7102 0 -1 1077944384 1229 0 0 0 6 8 0 0 20 0 28 0 4036888 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772077386416 139772893522562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=6225] ppid=5620 vsize=13802796 CPUtime=1.14 cores=1,3,5,7,9,11,13,15 /proc/5621/task/6225/stat : 6225 (java) R 5620 5620 7102 0 -1 4202560 19 0 0 0 114 0 0 0 20 0 28 0 4064993 14134063104 323118 33554432000 4194304 4196468 140721330617616 139771993115768 139772487637012 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=6226] ppid=5620 vsize=13802796 CPUtime=1.14 cores=1,3,5,7,9,11,13,15 /proc/5621/task/6226/stat : 6226 (java) R 5620 5620 7102 0 -1 4202560 18 0 0 0 114 0 0 0 20 0 28 0 4064993 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772066213368 139772877850291 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=6227] ppid=5620 vsize=13802796 CPUtime=1.14 cores=1,3,5,7,9,11,13,15 /proc/5621/task/6227/stat : 6227 (java) R 5620 5620 7102 0 -1 4202560 18 0 0 0 114 0 0 0 20 0 28 0 4064993 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772064108688 139772487305245 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=6228] ppid=5620 vsize=13802796 CPUtime=1.13 cores=1,3,5,7,9,11,13,15 /proc/5621/task/6228/stat : 6228 (java) R 5620 5620 7102 0 -1 4202560 17 0 0 0 113 0 0 0 20 0 28 0 4064993 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772068319336 139772488447503 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=6229] ppid=5620 vsize=13802796 CPUtime=1.14 cores=1,3,5,7,9,11,13,15 /proc/5621/task/6229/stat : 6229 (java) R 5620 5620 7102 0 -1 4202560 17 0 0 0 114 0 0 0 20 0 28 0 4064993 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772067269632 139772487305167 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=6230] ppid=5620 vsize=13802796 CPUtime=1.13 cores=1,3,5,7,9,11,13,15 /proc/5621/task/6230/stat : 6230 (java) R 5620 5620 7102 0 -1 4202560 17 0 0 0 113 0 0 0 20 0 28 0 4064993 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772069371992 139772487058473 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=6231] ppid=5620 vsize=13802796 CPUtime=1.11 cores=1,3,5,7,9,11,13,15 /proc/5621/task/6231/stat : 6231 (java) R 5620 5620 7102 0 -1 4202560 17 0 0 0 111 0 0 0 20 0 28 0 4064993 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772065161608 139772486291411 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=6232] ppid=5620 vsize=13802796 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/5621/task/6232/stat : 6232 (java) R 5620 5620 7102 0 -1 4202560 17 0 0 0 112 0 0 0 20 0 28 0 4064993 14134063104 323118 33554432000 4194304 4196468 140721330617616 139772063055160 139772487426540 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 Current children cumulated CPU time (s) 2202.25 Current children cumulated vsize (KiB) 13812308 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+307.402 s] /proc/loadavg: 13.11 15.06 14.80 10/291 6232 /proc/meminfo: memFree=26152924/32770624 swapFree=5696/281792 [pid=5620] ppid=5617 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5620/stat : 5620 (xcsp3-exec) S 5617 5620 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4036878 9740288 345 33554432000 4194304 5098028 140720329059824 140720329057928 140714339353212 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12476416 140720329061518 140720329061728 140720329061728 140720329064427 0 /proc/5620/statm: 2378 345 289 221 0 87 0 [pid=5621] ppid=5620 vsize=13802796 CPUtime=2400.47 cores=1,3,5,7,9,11,13,15 /proc/5621/stat : 5621 (java) S 5620 5620 7102 0 -1 1077944320 154100 0 0 0 239483 564 0 0 20 0 28 0 4036879 14134063104 296545 33554432000 4194304 4196468 140721330617616 140721330600160 139772893511415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 /proc/5621/statm: 3450699 296545 3303 1 0 3437932 0 [pid=5621/tid=5622] ppid=5620 vsize=13802796 CPUtime=1.09 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5622/stat : 5622 (java) S 5620 5620 7102 0 -1 1077944384 8101 0 0 0 103 6 0 0 20 0 28 0 4036879 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772897752192 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5624] ppid=5620 vsize=13802796 CPUtime=1.07 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5624/stat : 5624 (java) S 5620 5620 7102 0 -1 1077944384 4095 0 0 0 68 39 0 0 20 0 28 0 4036880 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772811991568 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5625] ppid=5620 vsize=13802796 CPUtime=1.1 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5625/stat : 5625 (java) S 5620 5620 7102 0 -1 1077944384 2055 0 0 0 70 40 0 0 20 0 28 0 4036880 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772810939024 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5626] ppid=5620 vsize=13802796 CPUtime=1.11 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5626/stat : 5626 (java) S 5620 5620 7102 0 -1 1077944384 3171 0 0 0 70 41 0 0 20 0 28 0 4036880 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772809885968 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5627] ppid=5620 vsize=13802796 CPUtime=1.08 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5627/stat : 5627 (java) S 5620 5620 7102 0 -1 1077944384 2950 0 0 0 70 38 0 0 20 0 28 0 4036880 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772808833424 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5628] ppid=5620 vsize=13802796 CPUtime=1.08 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5628/stat : 5628 (java) S 5620 5620 7102 0 -1 1077944384 2620 0 0 0 68 40 0 0 20 0 28 0 4036880 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772807781392 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5629] ppid=5620 vsize=13802796 CPUtime=1.11 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5629/stat : 5629 (java) S 5620 5620 7102 0 -1 1077944384 4174 0 0 0 68 43 0 0 20 0 28 0 4036880 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772806728848 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5630] ppid=5620 vsize=13802796 CPUtime=1.11 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5630/stat : 5630 (java) S 5620 5620 7102 0 -1 1077944384 2967 0 0 0 69 42 0 0 20 0 28 0 4036880 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772805675792 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5631] ppid=5620 vsize=13802796 CPUtime=1.1 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5631/stat : 5631 (java) S 5620 5620 7102 0 -1 1077944384 3661 0 0 0 69 41 0 0 20 0 28 0 4036880 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772804623248 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5632] ppid=5620 vsize=13802796 CPUtime=2.99 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5632/stat : 5632 (java) S 5620 5620 7102 0 -1 1077944384 15152 0 0 0 114 185 0 0 20 0 28 0 4036882 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772086860016 139772893522562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5633] ppid=5620 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5633/stat : 5633 (java) S 5620 5620 7102 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4036883 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772085806304 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5634] ppid=5620 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5634/stat : 5634 (java) S 5620 5620 7102 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 4036883 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772084753152 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5635] ppid=5620 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5635/stat : 5635 (java) S 5620 5620 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4036887 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772083701712 139772893530011 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5636] ppid=5620 vsize=13802796 CPUtime=2.93 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5636/stat : 5636 (java) S 5620 5620 7102 0 -1 1077944384 12598 0 0 0 292 1 0 0 20 0 28 0 4036887 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772082649840 139772893522562 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5637] ppid=5620 vsize=13802796 CPUtime=3.47 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5637/stat : 5637 (java) S 5620 5620 7102 0 -1 1077944384 18573 0 0 0 345 2 0 0 20 0 28 0 4036887 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772081597296 139772893522562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5638] ppid=5620 vsize=13802796 CPUtime=3.19 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5638/stat : 5638 (java) S 5620 5620 7102 0 -1 1077944384 12050 0 0 0 316 3 0 0 20 0 28 0 4036887 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772080544240 139772893522562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5639] ppid=5620 vsize=13802796 CPUtime=1.2 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5639/stat : 5639 (java) S 5620 5620 7102 0 -1 1077944384 12666 0 0 0 118 2 0 0 20 0 28 0 4036887 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772079491696 139772893522562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5640] ppid=5620 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5640/stat : 5640 (java) S 5620 5620 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4036887 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772078438880 139772893521621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=5641] ppid=5620 vsize=13802796 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/5621/task/5641/stat : 5641 (java) S 5620 5620 7102 0 -1 1077944384 1338 0 0 0 7 8 0 0 20 0 28 0 4036888 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772077386416 139772893522562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=6225] ppid=5620 vsize=13802796 CPUtime=25.85 cores=1,3,5,7,9,11,13,15 /proc/5621/task/6225/stat : 6225 (java) R 5620 5620 7102 0 -1 4202560 1078 0 0 0 2585 0 0 0 20 0 28 0 4064993 14134063104 296545 33554432000 4194304 4196468 140721330617616 139771993115080 139772487637069 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=6226] ppid=5620 vsize=13802796 CPUtime=25.86 cores=1,3,5,7,9,11,13,15 /proc/5621/task/6226/stat : 6226 (java) R 5620 5620 7102 0 -1 4202560 597 0 0 0 2586 0 0 0 20 0 28 0 4064993 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772066216240 139772486281578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=6227] ppid=5620 vsize=13802796 CPUtime=25.87 cores=1,3,5,7,9,11,13,15 /proc/5621/task/6227/stat : 6227 (java) R 5620 5620 7102 0 -1 4202560 614 0 0 0 2587 0 0 0 20 0 28 0 4064993 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772064108936 139772487304982 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=6228] ppid=5620 vsize=13802796 CPUtime=25.91 cores=1,3,5,7,9,11,13,15 /proc/5621/task/6228/stat : 6228 (java) R 5620 5620 7102 0 -1 4202560 794 0 0 0 2591 0 0 0 20 0 28 0 4064993 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772068319288 139772487167039 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=6229] ppid=5620 vsize=13802796 CPUtime=25.95 cores=1,3,5,7,9,11,13,15 /proc/5621/task/6229/stat : 6229 (java) R 5620 5620 7102 0 -1 4202560 382 0 0 0 2595 0 0 0 20 0 28 0 4064993 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772067266592 139772487305072 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=6230] ppid=5620 vsize=13802796 CPUtime=25.73 cores=1,3,5,7,9,11,13,15 /proc/5621/task/6230/stat : 6230 (java) R 5620 5620 7102 0 -1 4202560 329 0 0 0 2573 0 0 0 20 0 28 0 4064993 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772069372520 139772487054521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=6231] ppid=5620 vsize=13802796 CPUtime=25.81 cores=1,3,5,7,9,11,13,15 /proc/5621/task/6231/stat : 6231 (java) R 5620 5620 7102 0 -1 4202560 490 0 0 0 2581 0 0 0 20 0 28 0 4064993 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772065161416 139772487057785 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 [pid=5621/tid=6232] ppid=5620 vsize=13802796 CPUtime=25.59 cores=1,3,5,7,9,11,13,15 /proc/5621/task/6232/stat : 6232 (java) R 5620 5620 7102 0 -1 4202560 755 0 0 0 2559 0 0 0 20 0 28 0 4064993 14134063104 296545 33554432000 4194304 4196468 140721330617616 139772063055752 139772485811974 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8716288 140721330623676 140721330623852 140721330623852 140721330626511 0 Current children cumulated CPU time (s) 2400.47 Current children cumulated vsize (KiB) 13812308 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 5621 sig 9 ??? kill 5620 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 5620 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=2353 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=784 # CPU time returned by wait4() is 0.003137 # while last known CPU time is 2400.47 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 307.412 CPU time (s): 2400.47 CPU user time (s): 2394.83 CPU system time (s): 5.64 CPU usage (%): 780.863 Max. virtual memory (cumulated for all children) (KiB): 13812308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.002353 system time used= 0.000784 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 516 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 3.77819 second user time and 4.6058 second system time The end
Begin job on node130 at 2017-07-22 03:41:34 IDJOB=4246360 IDBENCH=124448 IDSOLVER=2626 FILE ID=node130/4246360-1500687694 RUNJOBID= node130-1500684118-8560 PBS_JOBID= 20623029 Free space on /tmp= 61952 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 -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246360-1500687694/watcher-4246360-1500687694 -o /tmp/evaluation-result-4246360-1500687694/solver-4246360-1500687694 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1831040200 HOME/instance-4246360-1500687694.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 72502af2971f560ebaea982d6c1ff669 RANDOM SEED=1831040200 node130.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.34 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.34 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.34 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.34 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.34 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.34 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.34 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.34 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29591192 kB MemAvailable: 29746280 kB Buffers: 112232 kB Cached: 326296 kB SwapCached: 0 kB Active: 2458504 kB Inactive: 289304 kB Active(anon): 2311940 kB Inactive(anon): 8848 kB Active(file): 146564 kB Inactive(file): 280456 kB Unevictable: 5696 kB Mlocked: 5696 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7880 kB Writeback: 0 kB AnonPages: 2314956 kB Mapped: 42468 kB Shmem: 8844 kB Slab: 121400 kB SReclaimable: 87808 kB SUnreclaim: 33592 kB KernelStack: 4688 kB PageTables: 9520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4482084 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2183168 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 61912 MiB End job on node130 at 2017-07-22 03:46:41