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-08-18) | SAT (TO) | 332 | 2520.1001 | 2444.8101 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml |
| MD5SUM | 1822b9c415adc1a9dd10b23e46d08c48 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 425 |
| Best CPU time to get the best result obtained on this benchmark | 2519.5801 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1954 |
| Number of constraints | 1139 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1923 |
| Distribution of domain sizes | [{"size":2,"count":961},{"size":3,"count":961},{"size":842,"count":1},{"size":1923,"count":31}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 32 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":958},{"degree":3,"count":34},{"degree":4,"count":116},{"degree":8,"count":112},{"degree":9,"count":729},{"degree":32,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 33 |
| Distribution of constraint arities | [{"arity":2,"count":147},{"arity":3,"count":116},{"arity":10,"count":841},{"arity":31,"count":4},{"arity":32,"count":1},{"arity":33,"count":30}] |
| Number of extensional constraints | 957 |
| Number of intensional constraints | 146 |
| Distribution of constraint types | [{"type":"extension","count":957},{"type":"intension","count":146},{"type":"sum","count":32},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.09 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283554-1503180514.xml" -tl '2520s' -p 1 -x 3 0.08/0.29 c [HOME/instance-4283554-1503180514.xml, -tl, 2520s, -p, 1, -x, 3] 0.24/0.35 c simple solver 0.42/0.42 c parse instance... 2.19/1.15 c solve instance... 15.18/8.09 o 317 16.57/8.52 o 318 19.11/9.41 o 321 19.67/9.63 o 323 86.38/73.06 o 324 379.52/358.24 o 330 379.52/358.28 o 331 381.95/360.57 o 332 2520.08/2444.80 s SATISFIABLE 2520.08/2444.80 v <instantiation> 2520.08/2444.80 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] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] z </list> 2520.08/2444.80 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 1 1 1 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 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 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 2 2 1 1 2 0 0 0 1 2 2 2 2 0 1 0 2 2 2 1 0 1 1 2 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 1 2 2 2 0 0 2 1 1 1 1 1 0 0 2 2 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 2 1 0 1 0 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 2 1 0 1 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 1 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 2 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 1 2 1 1 0 0 0 0 1 2 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 2 2 0 0 1 0 0 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 1 1 1 1 2 1 1 2 2 1 1 0 0 0 0 1 0 0 1 0 0 0 2 0 1 0 1 0 0 0 1 0 2 1 1 2 2 2 2 2 1 0 1 0 0 0 0 0 0 0 1 0 1 1 2 0 0 0 0 0 0 2 0 0 1 1 2 1 1 2 0 1 0 0 0 0 1 0 0 0 1 0 0 0 2 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 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 2 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 2 2 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 2 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 2 0 1 0 0 0 0 0 1 1 2 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 2 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 2 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 1 2 0 1 0 0 1 0 1 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 2 1 0 1 0 2 0 2 0 1 0 1 0 0 0 0 1 1 2 1 1 0 0 1 0 1 0 0 0 0 1 2 2 2 0 1 0 2 0 2 0 0 0 0 1 0 1 0 2 1 1 0 0 1 0 1 0 0 1 0 1 1 1 1 2 2 1 2 1 1 0 0 0 0 1 0 0 1 2 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 2 2 2 0 0 0 0 2 0 0 0 0 1 1 0 0 1 0 0 0 1 0 2 1 0 1 0 0 0 0 1 2 2 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 2 1 2 1 2 2 1 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 22 56 81 98 107 113 120 128 137 151 171 192 213 228 237 244 256 269 279 289 302 315 326 337 349 368 390 411 428 453 470 332 </values> 2520.08/2444.80 v </instantiation> 2520.08/2444.80 c Unexpected resolution interruption!
OK 332
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14948 MiB free)
memory of node 1: 16384 MiB (14915 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283554-1503180514/watcher-4283554-1503180514 -o /tmp/evaluation-result-4283554-1503180514/solver-4283554-1503180514 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9102 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 125825648 HOME/instance-4283554-1503180514.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10278, runsolver pid=10275
[startup+0.101134 s]*
/proc/loadavg: 1.64 1.63 1.67 6/199 10281
/proc/meminfo: memFree=30560208/32770624 swapFree=67108860/67108860
[pid=10278] ppid=10275 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120244342 9740288 345 18446744073709551615 4194304 5098028 140731009612256 140731009610360 139674463326844 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 40243200 140731009618297 140731009618501 140731009618501 140731009621995 0
/proc/10278/statm: 2378 345 289 221 0 87 0
[pid=10280] ppid=10278 vsize=13356504 memory=8880 CPUtime=0 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10278 10278 28892 0 -1 1077944320 2507 0 0 0 0 0 0 0 20 0 6 0 120244352 13677060096 2220 18446744073709551615 4194304 4196468 140721961584240 140721961566784 140640213573367 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
/proc/10280/statm: 3339126 2220 1243 1 0 3329096 0
[pid=10280/tid=10281] ppid=10278 vsize=13358712 memory=-8023549066454273880 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) R 10278 10278 28892 0 -1 4202560 1414 0 0 0 0 0 0 0 20 0 6 0 120244353 13679321088 2391 18446744073709551615 4194304 4196468 140721961584240 140640217809488 140640106811254 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10282] ppid=10278 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10282/stat : 10282 (java) S 10278 10278 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 120244353 13679321088 2391 18446744073709551615 4194304 4196468 140721961584240 140639813586064 140640213583573 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10283] ppid=10278 vsize=13358712 memory=139634777048704 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10283/stat : 10283 (java) S 10278 10278 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 120244353 13679321088 2391 18446744073709551615 4194304 4196468 140721961584240 140639812533264 140640213583573 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10284] ppid=10278 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10284/stat : 10284 (java) S 10278 10278 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 120244353 13679321088 2391 18446744073709551615 4194304 4196468 140721961584240 140639811480464 140640213583573 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10285] ppid=10278 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10285/stat : 10285 (java) S 10278 10278 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 120244353 13679321088 2391 18446744073709551615 4194304 4196468 140721961584240 140639810427664 140640213583573 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 10260 KiB
[startup+0.217285 s]*
/proc/loadavg: 1.64 1.63 1.67 3/212 10294
/proc/meminfo: memFree=30558200/32770624 swapFree=67108860/67108860
[pid=10278] ppid=10275 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120244342 9740288 345 18446744073709551615 4194304 5098028 140731009612256 140731009610360 139674463326844 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 40243200 140731009618297 140731009618501 140731009618501 140731009621995 0
/proc/10278/statm: 2378 345 289 221 0 87 0
[pid=10280] ppid=10278 vsize=13974352 memory=25412 CPUtime=0.08 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10278 10278 28892 0 -1 1077944320 5262 0 0 0 7 1 0 0 20 0 15 0 120244352 14309736448 6353 18446744073709551615 4194304 4196468 140721961584240 140721961566784 140640213573367 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
/proc/10280/statm: 3493588 6353 2717 1 0 3482964 0
[pid=10280/tid=10281] ppid=10278 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) R 10278 10278 28892 0 -1 4202560 3414 0 0 0 5 1 0 0 20 0 15 0 120244353 14309736448 6366 18446744073709551615 4194304 4196468 140721961584240 140640217799056 140640197616997 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10282] ppid=10278 vsize=13974352 memory=13729 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10282/stat : 10282 (java) S 10278 10278 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120244353 14309736448 6366 18446744073709551615 4194304 4196468 140721961584240 140639813586064 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10283] ppid=10278 vsize=13974352 memory=3762670831030552224 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10283/stat : 10283 (java) S 10278 10278 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120244353 14309736448 6366 18446744073709551615 4194304 4196468 140721961584240 140639812533264 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10284] ppid=10278 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10284/stat : 10284 (java) S 10278 10278 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120244353 14309736448 6366 18446744073709551615 4194304 4196468 140721961584240 140639811480464 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10285] ppid=10278 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10285/stat : 10285 (java) S 10278 10278 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120244353 14309736448 6366 18446744073709551615 4194304 4196468 140721961584240 140639810427664 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10286] ppid=10278 vsize=13974352 memory=139634777048704 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10286/stat : 10286 (java) S 10278 10278 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120244355 14309736448 6366 18446744073709551615 4194304 4196468 140721961584240 140639692007792 140640213584514 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10287] ppid=10278 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10287/stat : 10287 (java) S 10278 10278 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120244355 14309736448 6366 18446744073709551615 4194304 4196468 140721961584240 140639690953760 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10288] ppid=10278 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10288/stat : 10288 (java) S 10278 10278 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120244355 14309736448 6366 18446744073709551615 4194304 4196468 140721961584240 140639689900912 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10289] ppid=10278 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10289/stat : 10289 (java) S 10278 10278 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120244358 14309736448 6366 18446744073709551615 4194304 4196468 140721961584240 140639688849232 140640213591963 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10290] ppid=10278 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10290/stat : 10290 (java) S 10278 10278 28892 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 120244358 14309736448 6366 18446744073709551615 4194304 4196468 140721961584240 140639687797616 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10291] ppid=10278 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10291/stat : 10291 (java) S 10278 10278 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120244358 14309736448 6366 18446744073709551615 4194304 4196468 140721961584240 140639686744816 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10292] ppid=10278 vsize=13974352 memory=139634777048704 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10292/stat : 10292 (java) S 10278 10278 28892 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 15 0 120244358 14309736448 6366 18446744073709551615 4194304 4196468 140721961584240 140639685692016 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10293] ppid=10278 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10293/stat : 10293 (java) S 10278 10278 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120244358 14309736448 6366 18446744073709551615 4194304 4196468 140721961584240 140639684639456 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10294] ppid=10278 vsize=13974352 memory=139634777048704 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10294/stat : 10294 (java) S 10278 10278 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120244363 14309736448 6366 18446744073709551615 4194304 4196468 140721961584240 140639683586736 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26792 KiB
[startup+0.310141 s]*
/proc/loadavg: 1.64 1.63 1.67 5/212 10294
/proc/meminfo: memFree=30544220/32770624 swapFree=67108860/67108860
[pid=10278] ppid=10275 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120244342 9740288 345 18446744073709551615 4194304 5098028 140731009612256 140731009610360 139674463326844 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 40243200 140731009618297 140731009618501 140731009618501 140731009621995 0
/proc/10278/statm: 2378 345 289 221 0 87 0
[pid=10280] ppid=10278 vsize=13974352 memory=37136 CPUtime=0.24 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10278 10278 28892 0 -1 1077944320 8845 0 0 0 22 2 0 0 20 0 15 0 120244352 14309736448 9219 18446744073709551615 4194304 4196468 140721961584240 140721961566784 140640213573367 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
/proc/10280/statm: 3493588 9284 2977 1 0 3482964 0
[pid=10280/tid=10281] ppid=10278 vsize=13974352 memory=-7677926825137650786 CPUtime=0.15 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) R 10278 10278 28892 0 -1 4202560 6068 0 0 0 13 2 0 0 20 0 15 0 120244353 14309736448 9286 18446744073709551615 4194304 4196468 140721961584240 140640217801136 140640197653854 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10282] ppid=10278 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10282/stat : 10282 (java) S 10278 10278 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120244353 14309736448 9286 18446744073709551615 4194304 4196468 140721961584240 140639813586064 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10283] ppid=10278 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10283/stat : 10283 (java) S 10278 10278 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120244353 14309736448 9286 18446744073709551615 4194304 4196468 140721961584240 140639812533264 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10284] ppid=10278 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10284/stat : 10284 (java) S 10278 10278 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120244353 14309736448 9286 18446744073709551615 4194304 4196468 140721961584240 140639811480464 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10285] ppid=10278 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10285/stat : 10285 (java) S 10278 10278 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120244353 14309736448 9286 18446744073709551615 4194304 4196468 140721961584240 140639810427664 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10286] ppid=10278 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10286/stat : 10286 (java) S 10278 10278 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120244355 14309736448 9286 18446744073709551615 4194304 4196468 140721961584240 140639692007792 140640213584514 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10287] ppid=10278 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10287/stat : 10287 (java) S 10278 10278 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120244355 14309736448 9286 18446744073709551615 4194304 4196468 140721961584240 140639690953760 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10288] ppid=10278 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10288/stat : 10288 (java) S 10278 10278 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120244355 14309736448 9286 18446744073709551615 4194304 4196468 140721961584240 140639689900912 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10289] ppid=10278 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10289/stat : 10289 (java) S 10278 10278 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120244358 14309736448 9286 18446744073709551615 4194304 4196468 140721961584240 140639688849232 140640213591963 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10290] ppid=10278 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10280/task/10290/stat : 10290 (java) S 10278 10278 28892 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 15 0 120244358 14309736448 9286 18446744073709551615 4194304 4196468 140721961584240 140639687797616 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10291] ppid=10278 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/10280/task/10291/stat : 10291 (java) S 10278 10278 28892 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 15 0 120244358 14309736448 9286 18446744073709551615 4194304 4196468 140721961584240 140639686744816 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10292] ppid=10278 vsize=13974352 memory=139634777048704 CPUtime=0.05 cores=0,2,4,6
/proc/10280/task/10292/stat : 10292 (java) R 10278 10278 28892 0 -1 4202560 690 0 0 0 5 0 0 0 20 0 15 0 120244358 14309736448 9286 18446744073709551615 4194304 4196468 140721961584240 140639685692016 140640213587254 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10293] ppid=10278 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10293/stat : 10293 (java) S 10278 10278 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120244358 14309736448 9286 18446744073709551615 4194304 4196468 140721961584240 140639684639456 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10294] ppid=10278 vsize=13974352 memory=139634777048704 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10294/stat : 10294 (java) S 10278 10278 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120244363 14309736448 9286 18446744073709551615 4194304 4196468 140721961584240 140639683586736 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38516 KiB
[startup+0.703028 s]
/proc/loadavg: 1.64 1.63 1.67 3/212 10294
/proc/meminfo: memFree=30534868/32770624 swapFree=67108860/67108860
[pid=10278] ppid=10275 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120244342 9740288 345 18446744073709551615 4194304 5098028 140731009612256 140731009610360 139674463326844 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 40243200 140731009618297 140731009618501 140731009618501 140731009621995 0
/proc/10278/statm: 2378 345 289 221 0 87 0
[pid=10280] ppid=10278 vsize=13978684 memory=67832 CPUtime=1.24 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10278 10278 28892 0 -1 1077944320 12158 0 0 0 119 5 0 0 20 0 15 0 120244352 14314172416 16958 18446744073709551615 4194304 4196468 140721961584240 140721961566784 140640213573367 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
/proc/10280/statm: 3494671 16958 3164 1 0 3482964 0
[pid=10280/tid=10281] ppid=10278 vsize=13978684 memory=5861541947240501328 CPUtime=0.54 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) R 10278 10278 28892 0 -1 4202560 8002 0 0 0 50 4 0 0 20 0 15 0 120244353 14314172416 16958 18446744073709551615 4194304 4196468 140721961584240 140640217807120 140640196551293 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10282] ppid=10278 vsize=13978684 memory=7014463425792201040 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10282/stat : 10282 (java) S 10278 10278 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120244353 14314172416 16958 18446744073709551615 4194304 4196468 140721961584240 140639813586064 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10283] ppid=10278 vsize=13978684 memory=7007707949394126417 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10283/stat : 10283 (java) S 10278 10278 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120244353 14314172416 16958 18446744073709551615 4194304 4196468 140721961584240 140639812533264 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10284] ppid=10278 vsize=13978684 memory=139634621404848 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10284/stat : 10284 (java) S 10278 10278 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120244353 14314172416 16958 18446744073709551615 4194304 4196468 140721961584240 140639811480464 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10285] ppid=10278 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10285/stat : 10285 (java) S 10278 10278 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120244353 14314172416 16958 18446744073709551615 4194304 4196468 140721961584240 140639810427664 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10286] ppid=10278 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10286/stat : 10286 (java) S 10278 10278 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120244355 14314172416 16958 18446744073709551615 4194304 4196468 140721961584240 140639692007792 140640213584514 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10287] ppid=10278 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10287/stat : 10287 (java) S 10278 10278 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120244355 14314172416 16958 18446744073709551615 4194304 4196468 140721961584240 140639690953760 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10288] ppid=10278 vsize=13978684 memory=662364497384251440 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10288/stat : 10288 (java) S 10278 10278 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120244355 14314172416 16958 18446744073709551615 4194304 4196468 140721961584240 140639689900912 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10289] ppid=10278 vsize=13978684 memory=11210019468133 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10289/stat : 10289 (java) S 10278 10278 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120244358 14314172416 16958 18446744073709551615 4194304 4196468 140721961584240 140639688849232 140640213591963 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10290] ppid=10278 vsize=13978684 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/10280/task/10290/stat : 10290 (java) R 10278 10278 28892 0 -1 4202560 897 0 0 0 19 0 0 0 20 0 15 0 120244358 14314172416 16958 18446744073709551615 4194304 4196468 140721961584240 140639687797744 140640197067555 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10291] ppid=10278 vsize=13978684 memory=3908 CPUtime=0.17 cores=0,2,4,6
/proc/10280/task/10291/stat : 10291 (java) R 10278 10278 28892 0 -1 1077944384 657 0 0 0 17 0 0 0 20 0 15 0 120244358 14314172416 16958 18446744073709551615 4194304 4196468 140721961584240 140639686735168 140640213583573 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10292] ppid=10278 vsize=13978684 memory=-7677926825137650786 CPUtime=0.31 cores=0,2,4,6
/proc/10280/task/10292/stat : 10292 (java) S 10278 10278 28892 0 -1 1077944384 1293 0 0 0 31 0 0 0 20 0 15 0 120244358 14314172416 16958 18446744073709551615 4194304 4196468 140721961584240 140639685692016 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10293] ppid=10278 vsize=13978684 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10293/stat : 10293 (java) S 10278 10278 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120244358 14314172416 16958 18446744073709551615 4194304 4196468 140721961584240 140639684639456 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10294] ppid=10278 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10294/stat : 10294 (java) S 10278 10278 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120244363 14314172416 16958 18446744073709551615 4194304 4196468 140721961584240 140639683586736 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 69212 KiB
[startup+1.50133 s]
/proc/loadavg: 1.64 1.63 1.67 3/212 10294
/proc/meminfo: memFree=30494188/32770624 swapFree=67108860/67108860
[pid=10278] ppid=10275 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120244342 9740288 345 18446744073709551615 4194304 5098028 140731009612256 140731009610360 139674463326844 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 40243200 140731009618297 140731009618501 140731009618501 140731009621995 0
/proc/10278/statm: 2378 345 289 221 0 87 0
[pid=10280] ppid=10278 vsize=13980732 memory=117792 CPUtime=3.3 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10278 10278 28892 0 -1 1077944320 20883 0 0 0 323 7 0 0 20 0 15 0 120244352 14316269568 29448 18446744073709551615 4194304 4196468 140721961584240 140721961566784 140640213573367 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
/proc/10280/statm: 3495183 29448 3193 1 0 3483476 0
[pid=10280/tid=10281] ppid=10278 vsize=13980732 memory=7235992028131520871 CPUtime=1.33 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) R 10278 10278 28892 0 -1 4202560 10741 0 0 0 128 5 0 0 20 0 15 0 120244353 14316269568 29448 18446744073709551615 4194304 4196468 140721961584240 140640217809768 140639860535799 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10282] ppid=10278 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10282/stat : 10282 (java) S 10278 10278 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120244353 14316269568 29448 18446744073709551615 4194304 4196468 140721961584240 140639813586064 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10283] ppid=10278 vsize=13980732 memory=67832 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10283/stat : 10283 (java) S 10278 10278 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120244353 14316269568 29448 18446744073709551615 4194304 4196468 140721961584240 140639812533264 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10284] ppid=10278 vsize=13980732 memory=279269242665696 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10284/stat : 10284 (java) S 10278 10278 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120244353 14316269568 29448 18446744073709551615 4194304 4196468 140721961584240 140639811480464 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10285] ppid=10278 vsize=13980732 memory=279269242754464 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10285/stat : 10285 (java) S 10278 10278 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120244353 14316269568 29448 18446744073709551615 4194304 4196468 140721961584240 140639810427664 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10286] ppid=10278 vsize=13980732 memory=2109985228434244 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10286/stat : 10286 (java) S 10278 10278 28892 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 120244355 14316269568 29448 18446744073709551615 4194304 4196468 140721961584240 140639692007792 140640213584514 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10287] ppid=10278 vsize=13980732 memory=48495415266291 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10287/stat : 10287 (java) S 10278 10278 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120244355 14316269568 29448 18446744073709551615 4194304 4196468 140721961584240 140639690953760 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10288] ppid=10278 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/10280/task/10288/stat : 10288 (java) S 10278 10278 28892 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 120244355 14316269568 214138 18446744073709551615 4194304 4196468 140721961584240 140639689900928 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10289] ppid=10278 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10289/stat : 10289 (java) S 10278 10278 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120244358 14316269568 214138 18446744073709551615 4194304 4196468 140721961584240 140639688849232 140640213591963 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10290] ppid=10278 vsize=13980732 memory=1380 CPUtime=6.1 cores=0,2,4,6
/proc/10280/task/10290/stat : 10290 (java) S 10278 10278 28892 0 -1 1077944384 29755 0 0 0 607 3 0 0 20 0 15 0 120244358 14316269568 214138 18446744073709551615 4194304 4196468 140721961584240 140639687797616 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10291] ppid=10278 vsize=13980732 memory=1380 CPUtime=6.83 cores=0,2,4,6
/proc/10280/task/10291/stat : 10291 (java) S 10278 10278 28892 0 -1 1077944384 35432 0 0 0 681 2 0 0 20 0 15 0 120244358 14316269568 214138 18446744073709551615 4194304 4196468 140721961584240 140639686744816 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10292] ppid=10278 vsize=13980732 memory=1380 CPUtime=0.97 cores=0,2,4,6
/proc/10280/task/10292/stat : 10292 (java) S 10278 10278 28892 0 -1 1077944384 13383 0 0 0 94 3 0 0 20 0 15 0 120244358 14316269568 214138 18446744073709551615 4194304 4196468 140721961584240 140639685692016 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10293] ppid=10278 vsize=13980732 memory=868352 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10293/stat : 10293 (java) S 10278 10278 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120244358 14316269568 214138 18446744073709551615 4194304 4196468 140721961584240 140639684639456 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10294] ppid=10278 vsize=13980732 memory=2420 CPUtime=1.24 cores=0,2,4,6
/proc/10280/task/10294/stat : 10294 (java) S 10278 10278 28892 0 -1 1077944384 1367 0 0 0 62 62 0 0 20 0 15 0 120244363 14316269568 214138 18446744073709551615 4194304 4196468 140721961584240 140639683586736 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
Current children cumulated CPU time: 2394.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 857932 KiB
[startup+2382.3 s]
/proc/loadavg: 1.47 1.65 1.64 5/211 10546
/proc/meminfo: memFree=30205396/32770624 swapFree=67108860/67108860
[pid=10278] ppid=10275 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120244342 9740288 345 18446744073709551615 4194304 5098028 140731009612256 140731009610360 139674463326844 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 40243200 140731009618297 140731009618501 140731009618501 140731009621995 0
/proc/10278/statm: 2378 345 289 221 0 87 0
[pid=10280] ppid=10278 vsize=13980732 memory=754012 CPUtime=2455.53 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10278 10278 28892 0 -1 1077944320 281750 0 0 0 245127 426 0 0 20 0 15 0 120244352 14316269568 188503 18446744073709551615 4194304 4196468 140721961584240 140721961566784 140640213573367 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
/proc/10280/statm: 3495183 188503 3263 1 0 3483476 0
[pid=10280/tid=10281] ppid=10278 vsize=13980732 memory=754012 CPUtime=2360.95 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) R 10278 10278 28892 0 -1 4202560 81463 0 0 0 236064 31 0 0 20 0 15 0 120244353 14316269568 188503 18446744073709551615 4194304 4196468 140721961584240 140640217812464 140639862713234 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10282] ppid=10278 vsize=13980732 memory=775044 CPUtime=19.58 cores=0,2,4,6
/proc/10280/task/10282/stat : 10282 (java) S 10278 10278 28892 0 -1 1077944384 14844 0 0 0 1880 78 0 0 20 0 15 0 120244353 14316269568 188503 18446744073709551615 4194304 4196468 140721961584240 140639813586064 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10283] ppid=10278 vsize=13980732 memory=766836 CPUtime=19.6 cores=0,2,4,6
/proc/10280/task/10283/stat : 10283 (java) S 10278 10278 28892 0 -1 1077944384 15337 0 0 0 1879 81 0 0 20 0 15 0 120244353 14316269568 188503 18446744073709551615 4194304 4196468 140721961584240 140639812533264 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10284] ppid=10278 vsize=13980732 memory=766836 CPUtime=19.59 cores=0,2,4,6
/proc/10280/task/10284/stat : 10284 (java) S 10278 10278 28892 0 -1 1077944384 16585 0 0 0 1877 82 0 0 20 0 15 0 120244353 14316269568 188503 18446744073709551615 4194304 4196468 140721961584240 140639811480464 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10285] ppid=10278 vsize=13980732 memory=759656 CPUtime=19.6 cores=0,2,4,6
/proc/10280/task/10285/stat : 10285 (java) S 10278 10278 28892 0 -1 1077944384 18017 0 0 0 1880 80 0 0 20 0 15 0 120244353 14316269568 188503 18446744073709551615 4194304 4196468 140721961584240 140639810427664 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10286] ppid=10278 vsize=13980732 memory=759656 CPUtime=0.93 cores=0,2,4,6
/proc/10280/task/10286/stat : 10286 (java) S 10278 10278 28892 0 -1 1077944384 54151 0 0 0 76 17 0 0 20 0 15 0 120244355 14316269568 188503 18446744073709551615 4194304 4196468 140721961584240 140639692007792 140640213584514 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10287] ppid=10278 vsize=13980732 memory=754012 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10287/stat : 10287 (java) S 10278 10278 28892 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 120244355 14316269568 188503 18446744073709551615 4194304 4196468 140721961584240 140639690953824 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10288] ppid=10278 vsize=13980732 memory=754012 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10288/stat : 10288 (java) S 10278 10278 28892 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 120244355 14316269568 188503 18446744073709551615 4194304 4196468 140721961584240 140639689900928 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10289] ppid=10278 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10289/stat : 10289 (java) S 10278 10278 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120244358 14316269568 188503 18446744073709551615 4194304 4196468 140721961584240 140639688849232 140640213591963 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10290] ppid=10278 vsize=13980732 memory=164 CPUtime=6.1 cores=0,2,4,6
/proc/10280/task/10290/stat : 10290 (java) S 10278 10278 28892 0 -1 1077944384 29757 0 0 0 607 3 0 0 20 0 15 0 120244358 14316269568 188503 18446744073709551615 4194304 4196468 140721961584240 140639687797616 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10291] ppid=10278 vsize=13980732 memory=1380 CPUtime=6.83 cores=0,2,4,6
/proc/10280/task/10291/stat : 10291 (java) S 10278 10278 28892 0 -1 1077944384 35435 0 0 0 681 2 0 0 20 0 15 0 120244358 14316269568 188503 18446744073709551615 4194304 4196468 140721961584240 140639686744816 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10292] ppid=10278 vsize=13980732 memory=4612 CPUtime=0.97 cores=0,2,4,6
/proc/10280/task/10292/stat : 10292 (java) S 10278 10278 28892 0 -1 1077944384 13385 0 0 0 94 3 0 0 20 0 15 0 120244358 14316269568 188503 18446744073709551615 4194304 4196468 140721961584240 140639685692016 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10293] ppid=10278 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10293/stat : 10293 (java) S 10278 10278 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120244358 14316269568 188503 18446744073709551615 4194304 4196468 140721961584240 140639684639456 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10294] ppid=10278 vsize=13980732 memory=64608 CPUtime=1.28 cores=0,2,4,6
/proc/10280/task/10294/stat : 10294 (java) S 10278 10278 28892 0 -1 1077944384 1388 0 0 0 64 64 0 0 20 0 15 0 120244363 14316269568 188503 18446744073709551615 4194304 4196468 140721961584240 140639683586736 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
Current children cumulated CPU time: 2455.53 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 755392 KiB
[startup+2442.3 s]
/proc/loadavg: 1.87 1.74 1.67 3/211 10548
/proc/meminfo: memFree=30121668/32770624 swapFree=67108860/67108860
[pid=10278] ppid=10275 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120244342 9740288 345 18446744073709551615 4194304 5098028 140731009612256 140731009610360 139674463326844 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 40243200 140731009618297 140731009618501 140731009618501 140731009621995 0
/proc/10278/statm: 2378 345 289 221 0 87 0
[pid=10280] ppid=10278 vsize=13980732 memory=753516 CPUtime=2516.73 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10278 10278 28892 0 -1 1077944320 285062 0 0 0 251240 433 0 0 20 0 15 0 120244352 14316269568 188379 18446744073709551615 4194304 4196468 140721961584240 140721961566784 140640213573367 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
/proc/10280/statm: 3495183 188379 3263 1 0 3483476 0
[pid=10280/tid=10281] ppid=10278 vsize=13980732 memory=753516 CPUtime=2420.52 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) R 10278 10278 28892 0 -1 4202560 83305 0 0 0 242020 32 0 0 20 0 15 0 120244353 14316269568 188379 18446744073709551615 4194304 4196468 140721961584240 140640217812832 140639859696065 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10282] ppid=10278 vsize=13980732 memory=753516 CPUtime=19.97 cores=0,2,4,6
/proc/10280/task/10282/stat : 10282 (java) S 10278 10278 28892 0 -1 1077944384 15038 0 0 0 1918 79 0 0 20 0 15 0 120244353 14316269568 188379 18446744073709551615 4194304 4196468 140721961584240 140639813586064 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10283] ppid=10278 vsize=13980732 memory=741756 CPUtime=20 cores=0,2,4,6
/proc/10280/task/10283/stat : 10283 (java) S 10278 10278 28892 0 -1 1077944384 15602 0 0 0 1917 83 0 0 20 0 15 0 120244353 14316269568 188379 18446744073709551615 4194304 4196468 140721961584240 140639812533264 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10284] ppid=10278 vsize=13980732 memory=741756 CPUtime=20 cores=0,2,4,6
/proc/10280/task/10284/stat : 10284 (java) S 10278 10278 28892 0 -1 1077944384 16719 0 0 0 1916 84 0 0 20 0 15 0 120244353 14316269568 188379 18446744073709551615 4194304 4196468 140721961584240 140639811480464 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10285] ppid=10278 vsize=13980732 memory=743276 CPUtime=20.01 cores=0,2,4,6
/proc/10280/task/10285/stat : 10285 (java) S 10278 10278 28892 0 -1 1077944384 18642 0 0 0 1919 82 0 0 20 0 15 0 120244353 14316269568 188379 18446744073709551615 4194304 4196468 140721961584240 140639810427664 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10286] ppid=10278 vsize=13980732 memory=1380 CPUtime=0.94 cores=0,2,4,6
/proc/10280/task/10286/stat : 10286 (java) S 10278 10278 28892 0 -1 1077944384 54382 0 0 0 77 17 0 0 20 0 15 0 120244355 14316269568 188379 18446744073709551615 4194304 4196468 140721961584240 140639692007792 140640213584514 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10287] ppid=10278 vsize=13980732 memory=753516 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10287/stat : 10287 (java) S 10278 10278 28892 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 120244355 14316269568 188379 18446744073709551615 4194304 4196468 140721961584240 140639690953824 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10288] ppid=10278 vsize=13980732 memory=753516 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10288/stat : 10288 (java) S 10278 10278 28892 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 120244355 14316269568 188379 18446744073709551615 4194304 4196468 140721961584240 140639689900928 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10289] ppid=10278 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10289/stat : 10289 (java) S 10278 10278 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120244358 14316269568 188379 18446744073709551615 4194304 4196468 140721961584240 140639688849232 140640213591963 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10290] ppid=10278 vsize=13980732 memory=1380 CPUtime=6.1 cores=0,2,4,6
/proc/10280/task/10290/stat : 10290 (java) S 10278 10278 28892 0 -1 1077944384 29759 0 0 0 607 3 0 0 20 0 15 0 120244358 14316269568 188379 18446744073709551615 4194304 4196468 140721961584240 140639687797616 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10291] ppid=10278 vsize=13980732 memory=741756 CPUtime=6.83 cores=0,2,4,6
/proc/10280/task/10291/stat : 10291 (java) S 10278 10278 28892 0 -1 1077944384 35437 0 0 0 681 2 0 0 20 0 15 0 120244358 14316269568 188379 18446744073709551615 4194304 4196468 140721961584240 140639686744816 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10292] ppid=10278 vsize=13980732 memory=1380 CPUtime=0.97 cores=0,2,4,6
/proc/10280/task/10292/stat : 10292 (java) S 10278 10278 28892 0 -1 1077944384 13387 0 0 0 94 3 0 0 20 0 15 0 120244358 14316269568 188379 18446744073709551615 4194304 4196468 140721961584240 140639685692016 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10293] ppid=10278 vsize=13980732 memory=741756 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10293/stat : 10293 (java) S 10278 10278 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120244358 14316269568 188379 18446744073709551615 4194304 4196468 140721961584240 140639684639456 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10294] ppid=10278 vsize=13980732 memory=-8774313645642428999 CPUtime=1.31 cores=0,2,4,6
/proc/10280/task/10294/stat : 10294 (java) S 10278 10278 28892 0 -1 1077944384 1403 0 0 0 66 65 0 0 20 0 15 0 120244363 14316269568 188379 18446744073709551615 4194304 4196468 140721961584240 140639683586736 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
Current children cumulated CPU time: 2516.73 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 754896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2444.8 s]
/proc/loadavg: 1.88 1.75 1.68 3/211 10548
/proc/meminfo: memFree=30126356/32770624 swapFree=67108860/67108860
[pid=10278] ppid=10275 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120244342 9740288 345 18446744073709551615 4194304 5098028 140731009612256 140731009610360 139674463326844 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 40243200 140731009618297 140731009618501 140731009618501 140731009621995 0
/proc/10278/statm: 2378 345 289 221 0 87 0
[pid=10280] ppid=10278 vsize=13980732 memory=748332 CPUtime=2520.08 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10278 10278 28892 0 -1 1077944320 286664 0 0 0 251572 436 0 0 20 0 15 0 120244352 14316269568 187083 18446744073709551615 4194304 4196468 140721961584240 140721961566784 140640213573367 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
/proc/10280/statm: 3495183 187083 3263 1 0 3483476 0
[pid=10280/tid=10281] ppid=10278 vsize=13980732 memory=4028 CPUtime=2422.72 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) R 10278 10278 28892 0 -1 4202560 83306 0 0 0 242240 32 0 0 20 0 15 0 120244353 14316269568 187083 18446744073709551615 4194304 4196468 140721961584240 140640217812720 140639857871630 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10282] ppid=10278 vsize=13980732 memory=64608 CPUtime=20.26 cores=0,2,4,6
/proc/10280/task/10282/stat : 10282 (java) S 10278 10278 28892 0 -1 1077944384 15192 0 0 0 1946 80 0 0 20 0 15 0 120244353 14316269568 187083 18446744073709551615 4194304 4196468 140721961584240 140639813586064 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10283] ppid=10278 vsize=13980732 memory=1296 CPUtime=20.28 cores=0,2,4,6
/proc/10280/task/10283/stat : 10283 (java) S 10278 10278 28892 0 -1 1077944384 15629 0 0 0 1945 83 0 0 20 0 15 0 120244353 14316269568 187083 18446744073709551615 4194304 4196468 140721961584240 140639812533264 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10284] ppid=10278 vsize=13980732 memory=-8774313645642428999 CPUtime=20.28 cores=0,2,4,6
/proc/10280/task/10284/stat : 10284 (java) S 10278 10278 28892 0 -1 1077944384 16790 0 0 0 1944 84 0 0 20 0 15 0 120244353 14316269568 187083 18446744073709551615 4194304 4196468 140721961584240 140639811480464 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10285] ppid=10278 vsize=13980732 memory=1204 CPUtime=20.29 cores=0,2,4,6
/proc/10280/task/10285/stat : 10285 (java) S 10278 10278 28892 0 -1 1077944384 18826 0 0 0 1947 82 0 0 20 0 15 0 120244353 14316269568 187083 18446744073709551615 4194304 4196468 140721961584240 140639810427664 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10286] ppid=10278 vsize=13980732 memory=1000 CPUtime=0.95 cores=0,2,4,6
/proc/10280/task/10286/stat : 10286 (java) S 10278 10278 28892 0 -1 1077944384 55547 0 0 0 78 17 0 0 20 0 15 0 120244355 14316269568 187083 18446744073709551615 4194304 4196468 140721961584240 140639692007792 140640213584514 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10287] ppid=10278 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10287/stat : 10287 (java) S 10278 10278 28892 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 120244355 14316269568 187083 18446744073709551615 4194304 4196468 140721961584240 140639690953824 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10288] ppid=10278 vsize=13980732 memory=-3622645143214314312 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10288/stat : 10288 (java) S 10278 10278 28892 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 120244355 14316269568 187083 18446744073709551615 4194304 4196468 140721961584240 140639689900928 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10289] ppid=10278 vsize=13980732 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10289/stat : 10289 (java) S 10278 10278 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120244358 14316269568 187083 18446744073709551615 4194304 4196468 140721961584240 140639688849232 140640213591963 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10290] ppid=10278 vsize=13980732 memory=5788 CPUtime=6.1 cores=0,2,4,6
/proc/10280/task/10290/stat : 10290 (java) S 10278 10278 28892 0 -1 1077944384 29759 0 0 0 607 3 0 0 20 0 15 0 120244358 14316269568 187083 18446744073709551615 4194304 4196468 140721961584240 140639687797616 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10291] ppid=10278 vsize=13980732 memory=4612 CPUtime=6.83 cores=0,2,4,6
/proc/10280/task/10291/stat : 10291 (java) S 10278 10278 28892 0 -1 1077944384 35437 0 0 0 681 2 0 0 20 0 15 0 120244358 14316269568 187083 18446744073709551615 4194304 4196468 140721961584240 140639686744816 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10292] ppid=10278 vsize=13980732 memory=-8774313645642428999 CPUtime=0.97 cores=0,2,4,6
/proc/10280/task/10292/stat : 10292 (java) S 10278 10278 28892 0 -1 1077944384 13387 0 0 0 94 3 0 0 20 0 15 0 120244358 14316269568 187083 18446744073709551615 4194304 4196468 140721961584240 140639685692016 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10293] ppid=10278 vsize=13980732 memory=732484 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10293/stat : 10293 (java) S 10278 10278 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120244358 14316269568 187083 18446744073709551615 4194304 4196468 140721961584240 140639684639456 140640213583573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
[pid=10280/tid=10294] ppid=10278 vsize=13980732 memory=1296 CPUtime=1.31 cores=0,2,4,6
/proc/10280/task/10294/stat : 10294 (java) S 10278 10278 28892 0 -1 1077944384 1403 0 0 0 66 65 0 0 20 0 15 0 120244363 14316269568 187083 18446744073709551615 4194304 4196468 140721961584240 140639683586736 140640213584514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 19779584 140721961587121 140721961587297 140721961587297 140721961590735 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 749712 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2444.81 s]
# the end of solver process 10278 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001916 s
[startup+2444.81 s]
# the end of solver process 10280 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.73 s, system=4.36873 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2444.81
CPU time (s): 2520.1
CPU user time (s): 2515.73
CPU system time (s): 4.36873
CPU usage (%): 103.08
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 986164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.73
system time used= 4.36873
maximum resident set size= 988388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287350
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67065
involuntary context switches= 4825
# summary of solver processes directly reported to runsolver:
# pid: 10278,10280
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.73
# total CPU system time (s): 4.36873
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9405 second user time and 22.5713 second system time
The end
Begin job on node127 at 2017-08-19 23:54:22 IDJOB=4283554 IDBENCH=115913 IDSOLVER=2679 FILE ID=node127/4283554-1503180514 RUNJOBID= node127-1503172133-9102 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-29.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-4283554-1503180514/watcher-4283554-1503180514 -o /tmp/evaluation-result-4283554-1503180514/solver-4283554-1503180514 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9102 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 125825648 HOME/instance-4283554-1503180514.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1822b9c415adc1a9dd10b23e46d08c48 RANDOM SEED=125825648 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 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: 30580680 kB MemAvailable: 31437044 kB Buffers: 301720 kB Cached: 855872 kB SwapCached: 0 kB Active: 1360928 kB Inactive: 379764 kB Active(anon): 533316 kB Inactive(anon): 99188 kB Active(file): 827612 kB Inactive(file): 280576 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7908 kB Writeback: 0 kB AnonPages: 582712 kB Mapped: 74396 kB Shmem: 49828 kB Slab: 154656 kB SReclaimable: 128024 kB SUnreclaim: 26632 kB KernelStack: 3760 kB PageTables: 5948 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1527664 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 446464 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62016 MiB End job on node127 at 2017-08-20 00:35:07