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) | 1511 | 257.07999 | 240.024 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml |
| MD5SUM | 65a76f6052f0c7193e3442ad9f3b990a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 743 |
| Best CPU time to get the best result obtained on this benchmark | 251.907 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1122 |
| Number of constraints | 1088 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 63 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 32 |
| Distribution of constraint types | [{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.09 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255366-1501620218.xml" -tl '264s' -p 1 -x 3 0.00/0.29 c [HOME/instance-4255366-1501620218.xml, -tl, 264s, -p, 1, -x, 3] 0.00/0.35 c simple solver 0.00/0.41 c parse instance... 0.00/0.80 c solve instance... 8.45/3.04 o 1801 8.78/3.10 o 1799 8.78/3.13 o 1782 8.78/3.15 o 1779 8.78/3.17 o 1728 8.78/3.18 o 1725 11.23/3.93 o 1713 11.23/3.94 o 1699 11.23/3.98 o 1689 57.69/46.83 o 1657 57.69/46.83 o 1651 57.83/46.98 o 1579 57.83/46.98 o 1562 57.94/47.00 o 1554 71.94/60.41 o 1539 72.26/60.79 o 1537 72.56/61.02 o 1511 257.08/240.02 s SATISFIABLE 257.08/240.02 v <instantiation> 257.08/240.02 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] 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] u[31] u[32] </list> 257.08/240.02 v <values>0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 1 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 58 17 44 56 51 95 32 90 42 100 33 99 25 16 74 41 34 17 38 10 36 67 63 21 90 88 11 79 64 61 12 22 </values> 257.08/240.02 v </instantiation> 257.08/240.02 c Unexpected resolution interruption!
OK 1511
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-4255366-1501620218/watcher-4255366-1501620218 -o /tmp/evaluation-result-4255366-1501620218/solver-4255366-1501620218 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501617193-9962 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 832389539 HOME/instance-4255366-1501620218.xml pid=11788 running on 4 cores: 0,2,4,6 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.84 1.81 1.79 3/195 11791 /proc/meminfo: memFree=31503888/32770624 swapFree=0/191732 [pid=11791] ppid=11788 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/11791/stat : 11791 (runsolver) D 11788 11791 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10642066 24240128 108 18446744073709551615 4194304 4338465 140723451387872 140723451385512 140553533883095 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 36626432 140723451396190 140723451396678 140723451396678 140723451400138 0 /proc/11791/statm: 5918 108 54 36 0 2156 0 [startup+0.101392 s] /proc/loadavg: 1.84 1.81 1.79 3/195 11791 /proc/meminfo: memFree=31503888/32770624 swapFree=0/191732 [pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10642066 9740288 344 18446744073709551615 4194304 5098028 140728359349408 140728359347512 140303557878396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36257792 140728359354780 140728359354983 140728359354983 140728359358443 0 /proc/11791/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200248 s] /proc/loadavg: 1.84 1.81 1.79 3/195 11791 /proc/meminfo: memFree=31503888/32770624 swapFree=0/191732 [pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10642066 9740288 344 18446744073709551615 4194304 5098028 140728359349408 140728359347512 140303557878396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36257792 140728359354780 140728359354983 140728359354983 140728359358443 0 /proc/11791/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300241 s] /proc/loadavg: 1.84 1.81 1.79 3/195 11791 /proc/meminfo: memFree=31503888/32770624 swapFree=0/191732 [pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10642066 9740288 344 18446744073709551615 4194304 5098028 140728359349408 140728359347512 140303557878396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36257792 140728359354780 140728359354983 140728359354983 140728359358443 0 /proc/11791/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700162 s] /proc/loadavg: 1.84 1.81 1.79 3/195 11791 /proc/meminfo: memFree=31503888/32770624 swapFree=0/191732 [pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10642066 9740288 344 18446744073709551615 4194304 5098028 140728359349408 140728359347512 140303557878396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36257792 140728359354780 140728359354983 140728359354983 140728359358443 0 /proc/11791/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50123 s] /proc/loadavg: 1.85 1.82 1.79 6/211 11807 /proc/meminfo: memFree=31415288/32770624 swapFree=0/191764 [pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10642066 9740288 344 18446744073709551615 4194304 5098028 140728359349408 140728359347512 140303557878396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36257792 140728359354780 140728359354983 140728359354983 140728359358443 0 /proc/11791/statm: 2378 344 289 221 0 87 0 [pid=11793] ppid=11791 vsize=13980732 CPUtime=3.83 cores=0,2,4,6 /proc/11793/stat : 11793 (java) S 11791 11791 5131 0 -1 1077944320 34595 0 0 0 374 9 0 0 20 0 15 0 10642076 14316269568 33943 18446744073709551615 4194304 4196468 140724252022256 140724252004800 140698781892343 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 /proc/11793/statm: 3495183 33943 3180 1 0 3483484 0 [pid=11793/tid=11794] ppid=11791 vsize=13980732 CPUtime=1.32 cores=0,2,4,6 /proc/11793/task/11794/stat : 11794 (java) R 11791 11791 5131 0 -1 4202560 8706 0 0 0 127 5 0 0 20 0 15 0 10642076 14316269568 33943 18446744073709551615 4194304 4196468 140724252022256 140698786129144 140698386970863 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11795] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11795/stat : 11795 (java) S 11791 11791 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10642077 14316269568 33943 18446744073709551615 4194304 4196468 140724252022256 140698701306896 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11796] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11796/stat : 11796 (java) S 11791 11791 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10642077 14316269568 33943 18446744073709551615 4194304 4196468 140724252022256 140698380659856 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11797] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11797/stat : 11797 (java) S 11791 11791 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10642077 14316269568 33943 18446744073709551615 4194304 4196468 140724252022256 140698379606800 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11798] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11798/stat : 11798 (java) S 11791 11791 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10642077 14316269568 33943 18446744073709551615 4194304 4196468 140724252022256 140698378554256 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11799] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11799/stat : 11799 (java) S 11791 11791 5131 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10642078 14316269568 33943 18446744073709551615 4194304 4196468 140724252022256 140697967196400 140698781903490 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11800] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11800/stat : 11800 (java) S 11791 11791 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10642078 14316269568 33943 18446744073709551615 4194304 4196468 140724252022256 140697966142624 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11801] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11801/stat : 11801 (java) S 11791 11791 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10642079 14316269568 33943 18446744073709551615 4194304 4196468 140724252022256 140697965089520 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11802] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11802/stat : 11802 (java) S 11791 11791 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10642081 14316269568 33943 18446744073709551615 4194304 4196468 140724252022256 140697964038096 140698781910939 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11803] ppid=11791 vsize=13980732 CPUtime=0.91 cores=0,2,4,6 /proc/11793/task/11803/stat : 11803 (java) R 11791 11791 5131 0 -1 4202560 13738 0 0 0 90 1 0 0 20 0 15 0 10642081 14316269568 33943 18446744073709551615 4194304 4196468 140724252022256 140697962967192 140698763436850 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11804] ppid=11791 vsize=13980732 CPUtime=0.94 cores=0,2,4,6 /proc/11793/task/11804/stat : 11804 (java) R 11791 11791 5131 0 -1 4202560 6747 0 0 0 94 0 0 0 20 0 15 0 10642081 14316269568 33943 18446744073709551615 4194304 4196468 140724252022256 140697894111136 140698761138627 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11805] ppid=11791 vsize=13980732 CPUtime=0.6 cores=0,2,4,6 /proc/11793/task/11805/stat : 11805 (java) S 11791 11791 5131 0 -1 1077944384 4085 0 0 0 60 0 0 0 20 0 15 0 10642081 14316269568 33943 18446744073709551615 4194304 4196468 140724252022256 140697893067248 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11806] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11806/stat : 11806 (java) S 11791 11791 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10642081 14316269568 33943 18446744073709551615 4194304 4196468 140724252022256 140697892014944 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11807] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11807/stat : 11807 (java) S 11791 11791 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10642086 14316269568 33943 18446744073709551615 4194304 4196468 140724252022256 140697890961968 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 Current children cumulated CPU time (s) 3.83 Current children cumulated vsize (KiB) 13990244 [startup+3.10068 s] /proc/loadavg: 1.85 1.82 1.79 5/211 11807 /proc/meminfo: memFree=31330984/32770624 swapFree=0/191764 [pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10642066 9740288 344 18446744073709551615 4194304 5098028 140728359349408 140728359347512 140303557878396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36257792 140728359354780 140728359354983 140728359354983 140728359358443 0 /proc/11791/statm: 2378 344 289 221 0 87 0 [pid=11793] ppid=11791 vsize=13980732 CPUtime=8.78 cores=0,2,4,6 /proc/11793/stat : 11793 (java) S 11791 11791 5131 0 -1 1077944320 62433 0 0 0 862 16 0 0 20 0 15 0 10642076 14316269568 66943 18446744073709551615 4194304 4196468 140724252022256 140724252004800 140698781892343 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 /proc/11793/statm: 3495183 66943 3205 1 0 3483484 0 [pid=11793/tid=11794] ppid=11791 vsize=13980732 CPUtime=2.88 cores=0,2,4,6 /proc/11793/task/11794/stat : 11794 (java) R 11791 11791 5131 0 -1 4202560 9689 0 0 0 282 6 0 0 20 0 15 0 10642076 14316269568 66943 18446744073709551615 4194304 4196468 140724252022256 140698786126920 140698387022698 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11795] ppid=11791 vsize=13980732 CPUtime=0.01 cores=0,2,4,6 /proc/11793/task/11795/stat : 11795 (java) S 11791 11791 5131 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 15 0 10642077 14316269568 66956 18446744073709551615 4194304 4196468 140724252022256 140698701306896 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11796] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11796/stat : 11796 (java) S 11791 11791 5131 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 15 0 10642077 14316269568 66956 18446744073709551615 4194304 4196468 140724252022256 140698380659856 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11797] ppid=11791 vsize=13980732 CPUtime=0.02 cores=0,2,4,6 /proc/11793/task/11797/stat : 11797 (java) S 11791 11791 5131 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 15 0 10642077 14316269568 66956 18446744073709551615 4194304 4196468 140724252022256 140698379606800 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11798] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11798/stat : 11798 (java) S 11791 11791 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10642077 14316269568 66956 18446744073709551615 4194304 4196468 140724252022256 140698378554256 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11799] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11799/stat : 11799 (java) S 11791 11791 5131 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 10642078 14316269568 66956 18446744073709551615 4194304 4196468 140724252022256 140697967196400 140698781903490 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11800] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11800/stat : 11800 (java) S 11791 11791 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10642078 14316269568 66956 18446744073709551615 4194304 4196468 140724252022256 140697966142624 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11801] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11801/stat : 11801 (java) S 11791 11791 5131 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10642079 14316269568 66956 18446744073709551615 4194304 4196468 140724252022256 140697965089520 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11802] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11802/stat : 11802 (java) S 11791 11791 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10642081 14316269568 66956 18446744073709551615 4194304 4196468 140724252022256 140697964038096 140698781910939 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11803] ppid=11791 vsize=13980732 CPUtime=2.51 cores=0,2,4,6 /proc/11793/task/11803/stat : 11803 (java) R 11791 11791 5131 0 -1 4202560 31637 0 0 0 247 4 0 0 20 0 15 0 10642081 14316269568 66956 18446744073709551615 4194304 4196468 140724252022256 140697962972688 140698774989235 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11804] ppid=11791 vsize=13980732 CPUtime=2.54 cores=0,2,4,6 /proc/11793/task/11804/stat : 11804 (java) R 11791 11791 5131 0 -1 4202560 12232 0 0 0 252 2 0 0 20 0 15 0 10642081 14316269568 66956 18446744073709551615 4194304 4196468 140724252022256 140697894101320 140698765276943 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11805] ppid=11791 vsize=13980732 CPUtime=0.74 cores=0,2,4,6 /proc/11793/task/11805/stat : 11805 (java) S 11791 11791 5131 0 -1 1077944384 6341 0 0 0 73 1 0 0 20 0 15 0 10642081 14316269568 66956 18446744073709551615 4194304 4196468 140724252022256 140697893067248 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11806] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11806/stat : 11806 (java) S 11791 11791 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10642081 14316269568 66956 18446744073709551615 4194304 4196468 140724252022256 140697892014944 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11807] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11807/stat : 11807 (java) S 11791 11791 5131 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10642086 14316269568 66956 18446744073709551615 4194304 4196468 140724252022256 140697890961968 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 Current children cumulated CPU time (s) 8.78 Current children cumulated vsize (KiB) 13990244 [startup+6.30069 s] /proc/loadavg: 1.85 1.82 1.79 3/211 11808 /proc/meminfo: memFree=31028492/32770624 swapFree=0/191776 [pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10642066 9740288 344 18446744073709551615 4194304 5098028 140728359349408 140728359347512 140303557878396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36257792 140728359354780 140728359354983 140728359354983 140728359358443 0 /proc/11791/statm: 2378 344 289 221 0 87 0 [pid=11793] ppid=11791 vsize=13980732 CPUtime=15.23 cores=0,2,4,6 /proc/11793/stat : 11793 (java) S 11791 11791 5131 0 -1 1077944320 64196 0 0 0 1500 23 0 0 20 0 15 0 10642076 14316269568 74229 18446744073709551615 4194304 4196468 140724252022256 140724252004800 140698781892343 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 /proc/11793/statm: 3495183 74229 3219 1 0 3483484 0 [pid=11793/tid=11794] ppid=11791 vsize=13980732 CPUtime=6.04 cores=0,2,4,6 /proc/11793/task/11794/stat : 11794 (java) R 11791 11791 5131 0 -1 4202560 9731 0 0 0 597 7 0 0 20 0 15 0 10642076 14316269568 74229 18446744073709551615 4194304 4196468 140724252022256 140698786129824 140698387024115 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11795] ppid=11791 vsize=13980732 CPUtime=0.04 cores=0,2,4,6 /proc/11793/task/11795/stat : 11795 (java) S 11791 11791 5131 0 -1 1077944384 100 0 0 0 3 1 0 0 20 0 15 0 10642077 14316269568 74229 18446744073709551615 4194304 4196468 140724252022256 140698701306896 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11796] ppid=11791 vsize=13980732 CPUtime=0.04 cores=0,2,4,6 /proc/11793/task/11796/stat : 11796 (java) S 11791 11791 5131 0 -1 1077944384 320 0 0 0 3 1 0 0 20 0 15 0 10642077 14316269568 74229 18446744073709551615 4194304 4196468 140724252022256 140698380659856 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11797] ppid=11791 vsize=13980732 CPUtime=0.05 cores=0,2,4,6 /proc/11793/task/11797/stat : 11797 (java) S 11791 11791 5131 0 -1 1077944384 661 0 0 0 4 1 0 0 20 0 15 0 10642077 14316269568 74229 18446744073709551615 4194304 4196468 140724252022256 140698379606800 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11798] ppid=11791 vsize=13980732 CPUtime=0.04 cores=0,2,4,6 /proc/11793/task/11798/stat : 11798 (java) S 11791 11791 5131 0 -1 1077944384 114 0 0 0 3 1 0 0 20 0 15 0 10642077 14316269568 74229 18446744073709551615 4194304 4196468 140724252022256 140698378554256 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11799] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11799/stat : 11799 (java) S 11791 11791 5131 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 15 0 10642078 14316269568 74229 18446744073709551615 4194304 4196468 140724252022256 140697967196400 140698781903490 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11800] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11800/stat : 11800 (java) S 11791 11791 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10642078 14316269568 74229 18446744073709551615 4194304 4196468 140724252022256 140697966142688 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11801] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11801/stat : 11801 (java) S 11791 11791 5131 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10642079 14316269568 74229 18446744073709551615 4194304 4196468 140724252022256 140697965089536 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11802] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11802/stat : 11802 (java) S 11791 11791 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10642081 14316269568 74229 18446744073709551615 4194304 4196468 140724252022256 140697964038096 140698781910939 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11803] ppid=11791 vsize=13980732 CPUtime=4.08 cores=0,2,4,6 /proc/11793/task/11803/stat : 11803 (java) S 11791 11791 5131 0 -1 1077944384 32005 0 0 0 404 4 0 0 20 0 15 0 10642081 14316269568 74229 18446744073709551615 4194304 4196468 140724252022256 140697962986224 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11804] ppid=11791 vsize=13980732 CPUtime=3.93 cores=0,2,4,6 /proc/11793/task/11804/stat : 11804 (java) S 11791 11791 5131 0 -1 1077944384 13085 0 0 0 391 2 0 0 20 0 15 0 10642081 14316269568 74229 18446744073709551615 4194304 4196468 140724252022256 140697894120304 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11805] ppid=11791 vsize=13980732 CPUtime=0.9 cores=0,2,4,6 /proc/11793/task/11805/stat : 11805 (java) S 11791 11791 5131 0 -1 1077944384 6580 0 0 0 89 1 0 0 20 0 15 0 10642081 14316269568 74229 18446744073709551615 4194304 4196468 140724252022256 140697893067248 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11806] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11806/stat : 11806 (java) S 11791 11791 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10642081 14316269568 74229 18446744073709551615 4194304 4196468 140724252022256 140697892014944 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11807] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11807/stat : 11807 (java) S 11791 11791 5131 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 10642086 14316269568 74229 18446744073709551615 4194304 4196468 140724252022256 140697890961968 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 Current children cumulated CPU time (s) 15.23 Current children cumulated vsize (KiB) 13990244 [startup+12.7008 s] /proc/loadavg: 1.79 1.81 1.79 3/211 11808 /proc/meminfo: memFree=30834308/32770624 swapFree=0/191784 [pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10642066 9740288 344 18446744073709551615 4194304 5098028 140728359349408 140728359347512 140303557878396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36257792 140728359354780 140728359354983 140728359354983 140728359358443 0 /proc/11791/statm: 2378 344 289 221 0 87 0 [pid=11793] ppid=11791 vsize=13980732 CPUtime=22.26 cores=0,2,4,6 /proc/11793/stat : 11793 (java) S 11791 11791 5131 0 -1 1077944320 68028 0 0 0 2195 31 0 0 20 0 15 0 10642076 14316269568 115155 18446744073709551615 4194304 4196468 140724252022256 140724252004800 140698781892343 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 /proc/11793/statm: 3495183 115155 3225 1 0 3483484 0 [pid=11793/tid=11794] ppid=11791 vsize=13980732 CPUtime=12.37 cores=0,2,4,6 /proc/11793/task/11794/stat : 11794 (java) R 11791 11791 5131 0 -1 4202560 10566 0 0 0 1228 9 0 0 20 0 15 0 10642076 14316269568 115155 18446744073709551615 4194304 4196468 140724252022256 140698786131632 140698387267043 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11795] ppid=11791 vsize=13980732 CPUtime=0.1 cores=0,2,4,6 /proc/11793/task/11795/stat : 11795 (java) S 11791 11791 5131 0 -1 1077944384 189 0 0 0 8 2 0 0 20 0 15 0 10642077 14316269568 115155 18446744073709551615 4194304 4196468 140724252022256 140698701306896 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11796] ppid=11791 vsize=13980732 CPUtime=0.1 cores=0,2,4,6 /proc/11793/task/11796/stat : 11796 (java) S 11791 11791 5131 0 -1 1077944384 538 0 0 0 7 3 0 0 20 0 15 0 10642077 14316269568 115155 18446744073709551615 4194304 4196468 140724252022256 140698380659856 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 ################ # More data... # ################ [pid=11793/tid=11800] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11800/stat : 11800 (java) S 11791 11791 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10642078 14316269568 216339 18446744073709551615 4194304 4196468 140724252022256 140697966142688 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11801] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11801/stat : 11801 (java) S 11791 11791 5131 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10642079 14316269568 216339 18446744073709551615 4194304 4196468 140724252022256 140697965089536 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11802] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11802/stat : 11802 (java) S 11791 11791 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10642081 14316269568 216339 18446744073709551615 4194304 4196468 140724252022256 140697964038096 140698781910939 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11803] ppid=11791 vsize=13980732 CPUtime=5.01 cores=0,2,4,6 /proc/11793/task/11803/stat : 11803 (java) S 11791 11791 5131 0 -1 1077944384 38374 0 0 0 497 4 0 0 20 0 15 0 10642081 14316269568 216339 18446744073709551615 4194304 4196468 140724252022256 140697962986224 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11804] ppid=11791 vsize=13980732 CPUtime=4.61 cores=0,2,4,6 /proc/11793/task/11804/stat : 11804 (java) S 11791 11791 5131 0 -1 1077944384 18424 0 0 0 458 3 0 0 20 0 15 0 10642081 14316269568 216339 18446744073709551615 4194304 4196468 140724252022256 140697894120304 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11805] ppid=11791 vsize=13980732 CPUtime=0.97 cores=0,2,4,6 /proc/11793/task/11805/stat : 11805 (java) S 11791 11791 5131 0 -1 1077944384 8992 0 0 0 95 2 0 0 20 0 15 0 10642081 14316269568 216339 18446744073709551615 4194304 4196468 140724252022256 140697893067248 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11806] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11806/stat : 11806 (java) S 11791 11791 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10642081 14316269568 216339 18446744073709551615 4194304 4196468 140724252022256 140697892014944 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11807] ppid=11791 vsize=13980732 CPUtime=0.05 cores=0,2,4,6 /proc/11793/task/11807/stat : 11807 (java) S 11791 11791 5131 0 -1 1077944384 221 0 0 0 3 2 0 0 20 0 15 0 10642086 14316269568 216339 18446744073709551615 4194304 4196468 140724252022256 140697890961968 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 Current children cumulated CPU time (s) 114.96 Current children cumulated vsize (KiB) 13990244 [startup+162.301 s] /proc/loadavg: 1.96 1.87 1.81 3/211 11818 /proc/meminfo: memFree=29876808/32770624 swapFree=0/191900 [pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10642066 9740288 344 18446744073709551615 4194304 5098028 140728359349408 140728359347512 140303557878396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36257792 140728359354780 140728359354983 140728359354983 140728359358443 0 /proc/11791/statm: 2378 344 289 221 0 87 0 [pid=11793] ppid=11791 vsize=13980732 CPUtime=176.73 cores=0,2,4,6 /proc/11793/stat : 11793 (java) S 11791 11791 5131 0 -1 1077944320 99852 0 0 0 17551 122 0 0 20 0 15 0 10642076 14316269568 230330 18446744073709551615 4194304 4196468 140724252022256 140724252004800 140698781892343 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 /proc/11793/statm: 3495183 230330 3227 1 0 3483484 0 [pid=11793/tid=11794] ppid=11791 vsize=13980732 CPUtime=160.75 cores=0,2,4,6 /proc/11793/task/11794/stat : 11794 (java) R 11791 11791 5131 0 -1 4202560 17656 0 0 0 16062 13 0 0 20 0 15 0 10642076 14316269568 230330 18446744073709551615 4194304 4196468 140724252022256 140698786131840 140698383179177 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11795] ppid=11791 vsize=13980732 CPUtime=1.25 cores=0,2,4,6 /proc/11793/task/11795/stat : 11795 (java) S 11791 11791 5131 0 -1 1077944384 1912 0 0 0 102 23 0 0 20 0 15 0 10642077 14316269568 230330 18446744073709551615 4194304 4196468 140724252022256 140698701306896 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11796] ppid=11791 vsize=13980732 CPUtime=1.23 cores=0,2,4,6 /proc/11793/task/11796/stat : 11796 (java) S 11791 11791 5131 0 -1 1077944384 3043 0 0 0 99 24 0 0 20 0 15 0 10642077 14316269568 230330 18446744073709551615 4194304 4196468 140724252022256 140698380659856 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11797] ppid=11791 vsize=13980732 CPUtime=1.25 cores=0,2,4,6 /proc/11793/task/11797/stat : 11797 (java) S 11791 11791 5131 0 -1 1077944384 2433 0 0 0 102 23 0 0 20 0 15 0 10642077 14316269568 230330 18446744073709551615 4194304 4196468 140724252022256 140698379606800 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11798] ppid=11791 vsize=13980732 CPUtime=1.24 cores=0,2,4,6 /proc/11793/task/11798/stat : 11798 (java) S 11791 11791 5131 0 -1 1077944384 1304 0 0 0 101 23 0 0 20 0 15 0 10642077 14316269568 230330 18446744073709551615 4194304 4196468 140724252022256 140698378554256 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11799] ppid=11791 vsize=13980732 CPUtime=0.04 cores=0,2,4,6 /proc/11793/task/11799/stat : 11799 (java) S 11791 11791 5131 0 -1 1077944384 1586 0 0 0 4 0 0 0 20 0 15 0 10642078 14316269568 230330 18446744073709551615 4194304 4196468 140724252022256 140697967196400 140698781903490 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11800] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11800/stat : 11800 (java) S 11791 11791 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10642078 14316269568 230330 18446744073709551615 4194304 4196468 140724252022256 140697966142688 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11801] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11801/stat : 11801 (java) S 11791 11791 5131 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10642079 14316269568 230330 18446744073709551615 4194304 4196468 140724252022256 140697965089536 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11802] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11802/stat : 11802 (java) S 11791 11791 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10642081 14316269568 230330 18446744073709551615 4194304 4196468 140724252022256 140697964038096 140698781910939 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11803] ppid=11791 vsize=13980732 CPUtime=5.09 cores=0,2,4,6 /proc/11793/task/11803/stat : 11803 (java) S 11791 11791 5131 0 -1 1077944384 39640 0 0 0 504 5 0 0 20 0 15 0 10642081 14316269568 230330 18446744073709551615 4194304 4196468 140724252022256 140697962986224 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11804] ppid=11791 vsize=13980732 CPUtime=4.73 cores=0,2,4,6 /proc/11793/task/11804/stat : 11804 (java) S 11791 11791 5131 0 -1 1077944384 20012 0 0 0 470 3 0 0 20 0 15 0 10642081 14316269568 230330 18446744073709551615 4194304 4196468 140724252022256 140697894120304 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11805] ppid=11791 vsize=13980732 CPUtime=0.98 cores=0,2,4,6 /proc/11793/task/11805/stat : 11805 (java) S 11791 11791 5131 0 -1 1077944384 10668 0 0 0 96 2 0 0 20 0 15 0 10642081 14316269568 230330 18446744073709551615 4194304 4196468 140724252022256 140697893067248 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11806] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11806/stat : 11806 (java) S 11791 11791 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10642081 14316269568 230330 18446744073709551615 4194304 4196468 140724252022256 140697892014944 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11807] ppid=11791 vsize=13980732 CPUtime=0.08 cores=0,2,4,6 /proc/11793/task/11807/stat : 11807 (java) S 11791 11791 5131 0 -1 1077944384 252 0 0 0 5 3 0 0 20 0 15 0 10642086 14316269568 230330 18446744073709551615 4194304 4196468 140724252022256 140697890961968 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 Current children cumulated CPU time (s) 176.73 Current children cumulated vsize (KiB) 13990244 [startup+222.307 s] /proc/loadavg: 1.95 1.87 1.81 3/211 11820 /proc/meminfo: memFree=30308192/32770624 swapFree=0/191932 [pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10642066 9740288 344 18446744073709551615 4194304 5098028 140728359349408 140728359347512 140303557878396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36257792 140728359354780 140728359354983 140728359354983 140728359358443 0 /proc/11791/statm: 2378 344 289 221 0 87 0 [pid=11793] ppid=11791 vsize=13980732 CPUtime=238.94 cores=0,2,4,6 /proc/11793/stat : 11793 (java) S 11791 11791 5131 0 -1 1077944320 108802 0 0 0 23765 129 0 0 20 0 15 0 10642076 14316269568 136710 18446744073709551615 4194304 4196468 140724252022256 140724252004800 140698781892343 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 /proc/11793/statm: 3495183 136710 3242 1 0 3483484 0 [pid=11793/tid=11794] ppid=11791 vsize=13980732 CPUtime=219.89 cores=0,2,4,6 /proc/11793/task/11794/stat : 11794 (java) R 11791 11791 5131 0 -1 4202560 18616 0 0 0 21976 13 0 0 20 0 15 0 10642076 14316269568 136710 18446744073709551615 4194304 4196468 140724252022256 140698786131792 140698386984112 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11795] ppid=11791 vsize=13980732 CPUtime=1.98 cores=0,2,4,6 /proc/11793/task/11795/stat : 11795 (java) S 11791 11791 5131 0 -1 1077944384 2319 0 0 0 175 23 0 0 20 0 15 0 10642077 14316269568 136710 18446744073709551615 4194304 4196468 140724252022256 140698701306896 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11796] ppid=11791 vsize=13980732 CPUtime=1.96 cores=0,2,4,6 /proc/11793/task/11796/stat : 11796 (java) S 11791 11791 5131 0 -1 1077944384 3541 0 0 0 171 25 0 0 20 0 15 0 10642077 14316269568 136710 18446744073709551615 4194304 4196468 140724252022256 140698380659856 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11797] ppid=11791 vsize=13980732 CPUtime=1.99 cores=0,2,4,6 /proc/11793/task/11797/stat : 11797 (java) S 11791 11791 5131 0 -1 1077944384 3388 0 0 0 175 24 0 0 20 0 15 0 10642077 14316269568 136710 18446744073709551615 4194304 4196468 140724252022256 140698379606800 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11798] ppid=11791 vsize=13980732 CPUtime=1.97 cores=0,2,4,6 /proc/11793/task/11798/stat : 11798 (java) S 11791 11791 5131 0 -1 1077944384 1891 0 0 0 173 24 0 0 20 0 15 0 10642077 14316269568 136710 18446744073709551615 4194304 4196468 140724252022256 140698378554256 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11799] ppid=11791 vsize=13980732 CPUtime=0.12 cores=0,2,4,6 /proc/11793/task/11799/stat : 11799 (java) S 11791 11791 5131 0 -1 1077944384 6843 0 0 0 11 1 0 0 20 0 15 0 10642078 14316269568 136710 18446744073709551615 4194304 4196468 140724252022256 140697967196400 140698781903490 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11800] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11800/stat : 11800 (java) S 11791 11791 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10642078 14316269568 136710 18446744073709551615 4194304 4196468 140724252022256 140697966142688 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11801] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11801/stat : 11801 (java) S 11791 11791 5131 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10642079 14316269568 136710 18446744073709551615 4194304 4196468 140724252022256 140697965089536 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11802] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11802/stat : 11802 (java) S 11791 11791 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10642081 14316269568 136710 18446744073709551615 4194304 4196468 140724252022256 140697964038096 140698781910939 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11803] ppid=11791 vsize=13980732 CPUtime=5.09 cores=0,2,4,6 /proc/11793/task/11803/stat : 11803 (java) S 11791 11791 5131 0 -1 1077944384 39643 0 0 0 504 5 0 0 20 0 15 0 10642081 14316269568 136710 18446744073709551615 4194304 4196468 140724252022256 140697962986224 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11804] ppid=11791 vsize=13980732 CPUtime=4.73 cores=0,2,4,6 /proc/11793/task/11804/stat : 11804 (java) S 11791 11791 5131 0 -1 1077944384 20271 0 0 0 470 3 0 0 20 0 15 0 10642081 14316269568 136710 18446744073709551615 4194304 4196468 140724252022256 140697894120304 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11805] ppid=11791 vsize=13980732 CPUtime=0.98 cores=0,2,4,6 /proc/11793/task/11805/stat : 11805 (java) S 11791 11791 5131 0 -1 1077944384 10671 0 0 0 96 2 0 0 20 0 15 0 10642081 14316269568 136710 18446744073709551615 4194304 4196468 140724252022256 140697893067248 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11806] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11806/stat : 11806 (java) S 11791 11791 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10642081 14316269568 136710 18446744073709551615 4194304 4196468 140724252022256 140697892014944 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11807] ppid=11791 vsize=13980732 CPUtime=0.12 cores=0,2,4,6 /proc/11793/task/11807/stat : 11807 (java) S 11791 11791 5131 0 -1 1077944384 273 0 0 0 7 5 0 0 20 0 15 0 10642086 14316269568 136710 18446744073709551615 4194304 4196468 140724252022256 140697890961968 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 Current children cumulated CPU time (s) 238.94 Current children cumulated vsize (KiB) 13990244 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 2.04 1.89 1.82 3/211 11898 /proc/meminfo: memFree=31229660/32770624 swapFree=0/191976 [pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10642066 9740288 344 18446744073709551615 4194304 5098028 140728359349408 140728359347512 140303557878396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36257792 140728359354780 140728359354983 140728359354983 140728359358443 0 /proc/11791/statm: 2378 344 289 221 0 87 0 [pid=11793] ppid=11791 vsize=13980732 CPUtime=257.08 cores=0,2,4,6 /proc/11793/stat : 11793 (java) S 11791 11791 5131 0 -1 1077944320 111045 0 0 0 25576 132 0 0 20 0 15 0 10642076 14316269568 130562 18446744073709551615 4194304 4196468 140724252022256 140724252004800 140698781892343 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 /proc/11793/statm: 3495183 130562 3242 1 0 3483484 0 [pid=11793/tid=11794] ppid=11791 vsize=13980732 CPUtime=237.43 cores=0,2,4,6 /proc/11793/task/11794/stat : 11794 (java) R 11791 11791 5131 0 -1 4202560 19153 0 0 0 23730 13 0 0 20 0 15 0 10642076 14316269568 130562 18446744073709551615 4194304 4196468 140724252022256 140698786131872 140698388803504 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11795] ppid=11791 vsize=13980732 CPUtime=2.12 cores=0,2,4,6 /proc/11793/task/11795/stat : 11795 (java) S 11791 11791 5131 0 -1 1077944384 2403 0 0 0 188 24 0 0 20 0 15 0 10642077 14316269568 130562 18446744073709551615 4194304 4196468 140724252022256 140698701306896 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11796] ppid=11791 vsize=13980732 CPUtime=2.1 cores=0,2,4,6 /proc/11793/task/11796/stat : 11796 (java) S 11791 11791 5131 0 -1 1077944384 3612 0 0 0 184 26 0 0 20 0 15 0 10642077 14316269568 130562 18446744073709551615 4194304 4196468 140724252022256 140698380659856 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11797] ppid=11791 vsize=13980732 CPUtime=2.14 cores=0,2,4,6 /proc/11793/task/11797/stat : 11797 (java) S 11791 11791 5131 0 -1 1077944384 3728 0 0 0 189 25 0 0 20 0 15 0 10642077 14316269568 130562 18446744073709551615 4194304 4196468 140724252022256 140698379606800 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11798] ppid=11791 vsize=13980732 CPUtime=2.12 cores=0,2,4,6 /proc/11793/task/11798/stat : 11798 (java) S 11791 11791 5131 0 -1 1077944384 2006 0 0 0 187 25 0 0 20 0 15 0 10642077 14316269568 130562 18446744073709551615 4194304 4196468 140724252022256 140698378554256 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11799] ppid=11791 vsize=13980732 CPUtime=0.14 cores=0,2,4,6 /proc/11793/task/11799/stat : 11799 (java) S 11791 11791 5131 0 -1 1077944384 7020 0 0 0 12 2 0 0 20 0 15 0 10642078 14316269568 130562 18446744073709551615 4194304 4196468 140724252022256 140697967196400 140698781903490 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11800] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11800/stat : 11800 (java) S 11791 11791 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10642078 14316269568 130562 18446744073709551615 4194304 4196468 140724252022256 140697966142688 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11801] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11801/stat : 11801 (java) S 11791 11791 5131 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10642079 14316269568 130562 18446744073709551615 4194304 4196468 140724252022256 140697965089536 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11802] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11802/stat : 11802 (java) S 11791 11791 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10642081 14316269568 130562 18446744073709551615 4194304 4196468 140724252022256 140697964038096 140698781910939 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11803] ppid=11791 vsize=13980732 CPUtime=5.1 cores=0,2,4,6 /proc/11793/task/11803/stat : 11803 (java) S 11791 11791 5131 0 -1 1077944384 40554 0 0 0 505 5 0 0 20 0 15 0 10642081 14316269568 130562 18446744073709551615 4194304 4196468 140724252022256 140697962986224 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11804] ppid=11791 vsize=13980732 CPUtime=4.73 cores=0,2,4,6 /proc/11793/task/11804/stat : 11804 (java) S 11791 11791 5131 0 -1 1077944384 20273 0 0 0 470 3 0 0 20 0 15 0 10642081 14316269568 130562 18446744073709551615 4194304 4196468 140724252022256 140697894120304 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11805] ppid=11791 vsize=13980732 CPUtime=0.98 cores=0,2,4,6 /proc/11793/task/11805/stat : 11805 (java) S 11791 11791 5131 0 -1 1077944384 10673 0 0 0 96 2 0 0 20 0 15 0 10642081 14316269568 130562 18446744073709551615 4194304 4196468 140724252022256 140697893067248 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11806] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11793/task/11806/stat : 11806 (java) S 11791 11791 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10642081 14316269568 130562 18446744073709551615 4194304 4196468 140724252022256 140697892014944 140698781902549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 [pid=11793/tid=11807] ppid=11791 vsize=13980732 CPUtime=0.13 cores=0,2,4,6 /proc/11793/task/11807/stat : 11807 (java) S 11791 11791 5131 0 -1 1077944384 277 0 0 0 7 6 0 0 20 0 15 0 10642086 14316269568 130562 18446744073709551615 4194304 4196468 140724252022256 140697890961968 140698781903490 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11010048 140724252025300 140724252025475 140724252025475 140724252028879 0 Current children cumulated CPU time (s) 257.08 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 11793 sig 9 ??? kill 11791 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 11791 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1020 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1020 # CPU time returned by wait4() is 0.00204 # while last known CPU time is 257.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 240.024 CPU time (s): 257.08 CPU user time (s): 255.76 CPU system time (s): 1.32 CPU usage (%): 107.106 Max. virtual memory (cumulated for all children) (KiB): 13990244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.00102 system time used= 0.00102 maximum resident set size= 1380 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 508 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.2003 second user time and 1.4575 second system time The end
Begin job on node131 at 2017-08-01 22:29:41 IDJOB=4255366 IDBENCH=124413 IDSOLVER=2637 FILE ID=node131/4255366-1501620218 RUNJOBID= node131-1501617193-9962 PBS_JOBID= Free space on /tmp= 61936 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k6.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-4255366-1501620218/watcher-4255366-1501620218 -o /tmp/evaluation-result-4255366-1501620218/solver-4255366-1501620218 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501617193-9962 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 832389539 HOME/instance-4255366-1501620218.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 65a76f6052f0c7193e3442ad9f3b990a RANDOM SEED=832389539 node131.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 : 5334.07 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 : 5334.07 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 : 5334.07 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 : 5334.07 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: 31503628 kB MemAvailable: 31574720 kB Buffers: 93980 kB Cached: 261476 kB SwapCached: 0 kB Active: 669128 kB Inactive: 200264 kB Active(anon): 514104 kB Inactive(anon): 8532 kB Active(file): 155024 kB Inactive(file): 191732 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8020 kB Writeback: 0 kB AnonPages: 515560 kB Mapped: 42200 kB Shmem: 8872 kB Slab: 104480 kB SReclaimable: 80340 kB SUnreclaim: 24140 kB KernelStack: 3616 kB PageTables: 6112 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1634336 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 378880 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61928 MiB End job on node131 at 2017-08-01 22:33:41