Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-08-18) | SAT (TO) | 363 | 245.866 | 240.02299 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml |
| MD5SUM | 3de3ac871f1e1c584be6c245f66daf9e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 491 |
| Best CPU time to get the best result obtained on this benchmark | 251.978 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2347 |
| Number of constraints | 1352 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 2313 |
| Distribution of domain sizes | [{"size":2,"count":1156},{"size":3,"count":1156},{"size":1025,"count":1},{"size":2313,"count":34}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 35 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1153},{"degree":3,"count":37},{"degree":4,"count":128},{"degree":8,"count":124},{"degree":9,"count":900},{"degree":35,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 36 |
| Distribution of constraint arities | [{"arity":2,"count":162},{"arity":3,"count":128},{"arity":10,"count":1024},{"arity":34,"count":4},{"arity":35,"count":1},{"arity":36,"count":33}] |
| Number of extensional constraints | 1152 |
| Number of intensional constraints | 161 |
| Distribution of constraint types | [{"type":"extension","count":1152},{"type":"intension","count":161},{"type":"sum","count":35},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283075-1503210586.xml" -tl '264s' -p 1 -x 0 0.11/0.14 c [HOME/instance-4283075-1503210586.xml, -tl, 264s, -p, 1, -x, 0] 0.11/0.20 c simple solver 0.33/0.27 c parse instance... 2.44/1.09 c solve instance... 185.11/180.16 o 360 185.52/180.32 o 363 245.83/240.01 s SATISFIABLE 245.83/240.01 v <instantiation> 245.83/240.01 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] 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[0][31] w[0][32] w[0][33] 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[1][31] w[1][32] w[1][33] 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[2][31] w[2][32] w[2][33] 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[3][31] w[3][32] w[3][33] 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[4][31] w[4][32] w[4][33] 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[5][31] w[5][32] w[5][33] 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[6][31] w[6][32] w[6][33] 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[7][31] w[7][32] w[7][33] 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[8][31] w[8][32] w[8][33] 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[9][31] w[9][32] w[9][33] 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[10][31] w[10][32] w[10][33] 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[11][31] w[11][32] w[11][33] 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[12][31] w[12][32] w[12][33] 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[13][31] w[13][32] w[13][33] 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[14][31] w[14][32] w[14][33] 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[15][31] w[15][32] w[15][33] 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[16][31] w[16][32] w[16][33] 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[17][31] w[17][32] w[17][33] 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[18][31] w[18][32] w[18][33] 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[19][31] w[19][32] w[19][33] 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[20][31] w[20][32] w[20][33] 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[21][31] w[21][32] w[21][33] 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[22][31] w[22][32] w[22][33] 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[23][31] w[23][32] w[23][33] 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[24][31] w[24][32] w[24][33] 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[25][31] w[25][32] w[25][33] 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[26][31] w[26][32] w[26][33] 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[27][31] w[27][32] w[27][33] 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[28][31] w[28][32] w[28][33] 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[29][31] w[29][32] w[29][33] 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] w[30][31] w[30][32] w[30][33] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] 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] ws[31] ws[32] ws[33] z </list> 245.83/240.01 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 1 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 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 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 1 2 2 2 1 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 1 2 2 1 1 1 1 2 2 2 1 0 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 2 0 0 0 0 0 2 2 0 0 0 0 1 1 2 0 1 0 0 0 0 1 1 1 1 0 0 2 2 1 1 1 0 1 1 0 0 0 1 1 2 0 2 0 1 0 0 1 0 0 2 0 0 0 0 1 2 2 1 0 1 1 2 2 2 1 1 0 0 0 0 1 0 2 0 2 0 2 1 1 0 0 0 0 0 0 0 1 1 2 2 2 2 1 1 2 2 1 1 2 0 1 0 1 1 0 2 1 0 0 1 1 2 1 1 1 1 1 0 0 1 0 2 2 2 2 2 2 2 2 1 0 0 0 2 1 1 0 0 1 1 1 0 0 0 1 0 1 1 2 1 0 0 0 0 1 1 2 2 2 2 1 1 2 1 1 0 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 2 2 2 0 1 1 0 2 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 2 0 2 0 0 0 1 1 1 2 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 2 1 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 1 2 2 2 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 2 2 2 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 2 1 1 2 0 1 0 1 0 2 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 2 0 1 0 2 2 0 0 0 2 0 2 1 1 1 0 0 1 0 1 0 2 0 1 0 0 0 0 0 0 0 0 0 1 1 0 2 1 1 1 0 0 0 0 0 1 2 1 1 0 1 1 2 1 2 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 2 1 1 0 1 0 0 1 1 1 0 0 0 1 2 1 2 2 0 1 0 0 0 0 0 1 1 2 1 1 2 1 1 2 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 2 2 1 0 1 0 0 1 1 2 2 1 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 2 2 2 2 0 1 0 0 2 2 2 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 2 2 2 2 1 1 0 0 1 1 2 2 1 1 0 2 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 1 0 1 2 2 2 1 0 1 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 2 0 0 0 0 1 0 0 1 1 2 2 2 2 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 1 2 2 2 2 2 2 2 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 2 2 2 1 1 2 2 2 2 2 0 0 2 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 2 1 2 0 0 0 1 2 2 2 1 0 0 0 1 0 0 1 0 1 0 1 0 0 2 0 1 1 0 0 0 0 0 0 0 0 0 2 0 1 1 2 2 1 1 0 0 0 0 0 1 1 2 0 1 0 0 1 0 2 2 0 0 0 0 0 0 0 0 0 0 0 2 1 2 1 0 1 0 0 1 0 0 1 1 2 1 1 0 0 1 1 2 2 1 1 0 0 0 1 0 0 1 1 0 1 1 2 0 1 0 0 0 1 0 0 0 0 1 2 2 0 1 0 1 2 2 2 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 2 2 2 0 0 1 2 1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 2 2 1 0 0 2 1 1 0 0 1 0 0 1 1 1 1 1 0 1 2 1 0 0 0 0 2 0 0 1 0 1 0 1 2 2 1 0 1 1 1 0 1 1 0 1 1 0 2 2 2 1 1 2 2 1 1 0 0 0 0 0 2 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 17 41 59 84 112 143 174 200 216 233 250 263 274 286 302 322 345 369 396 421 446 469 488 513 537 554 571 590 612 632 651 675 704 724 363 </values> 245.83/240.01 v </instantiation> 245.83/240.01 c Unexpected resolution interruption!
OK 363
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 (12167 MiB free)
memory of node 1: 16384 MiB (13196 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283075-1503210586/watcher-4283075-1503210586 -o /tmp/evaluation-result-4283075-1503210586/solver-4283075-1503210586 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32624 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 325926529 HOME/instance-4283075-1503210586.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=731, runsolver pid=728
[startup+0.100309 s]*
/proc/loadavg: 1.94 1.84 1.51 3/217 747
/proc/meminfo: memFree=25957260/32770624 swapFree=67108860/67108860
[pid=731] ppid=728 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/731/stat : 731 (xcsp3-exec) S 728 731 32593 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154146637 9740288 345 33554432000 4194304 5098028 140726656101520 140726656099624 140444083589756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26030080 140726656103541 140726656103744 140726656103744 140726656106475 0
/proc/731/statm: 2378 345 289 221 0 87 0
[pid=733] ppid=731 vsize=13978596 memory=26980 CPUtime=0.11 cores=0,2,4,6
/proc/733/stat : 733 (java) S 731 731 32593 0 -1 1077944320 5140 0 0 0 10 1 0 0 20 0 15 0 154146638 14314082304 6745 33554432000 4194304 4196468 140722933449392 140722933431936 139738336317175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
/proc/733/statm: 3494649 6745 2853 1 0 3482966 0
[pid=733/tid=734] ppid=731 vsize=13978596 memory=7022364632946311227 CPUtime=0.09 cores=0,2,4,6
/proc/733/task/734/stat : 734 (java) R 731 731 32593 0 -1 4202560 3120 0 0 0 8 1 0 0 20 0 15 0 154146638 14314082304 6745 33554432000 4194304 4196468 140722933449392 139738340550448 139738336329110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=735] ppid=731 vsize=13978596 memory=4294976320 CPUtime=0 cores=0,2,4,6
/proc/733/task/735/stat : 735 (java) S 731 731 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146639 14314082304 6745 33554432000 4194304 4196468 140722933449392 139738306030096 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=736] ppid=731 vsize=13978596 memory=140632480200226 CPUtime=0 cores=0,2,4,6
/proc/733/task/736/stat : 736 (java) S 731 731 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146639 14314082304 6745 33554432000 4194304 4196468 140722933449392 139737931061904 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=737] ppid=731 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/733/task/737/stat : 737 (java) S 731 731 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146639 14314082304 6745 33554432000 4194304 4196468 140722933449392 139737930008848 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=738] ppid=731 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/733/task/738/stat : 738 (java) S 731 731 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146639 14314082304 6745 33554432000 4194304 4196468 140722933449392 139737928956304 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=739] ppid=731 vsize=13978596 memory=140632480167552 CPUtime=0 cores=0,2,4,6
/proc/733/task/739/stat : 739 (java) S 731 731 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146640 14314082304 6745 33554432000 4194304 4196468 140722933449392 139737810533104 139738336328322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=740] ppid=731 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/733/task/740/stat : 740 (java) S 731 731 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154146640 14314082304 6745 33554432000 4194304 4196468 140722933449392 139737809479328 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=741] ppid=731 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/733/task/741/stat : 741 (java) S 731 731 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154146641 14314082304 6811 33554432000 4194304 4196468 140722933449392 139737808426224 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=742] ppid=731 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/733/task/742/stat : 742 (java) S 731 731 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146643 14314082304 6811 33554432000 4194304 4196468 140722933449392 139737807374800 139738336335771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=743] ppid=731 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/733/task/743/stat : 743 (java) S 731 731 32593 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 154146643 14314082304 6811 33554432000 4194304 4196468 140722933449392 139737806321904 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=744] ppid=731 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/733/task/744/stat : 744 (java) S 731 731 32593 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 154146643 14314082304 6811 33554432000 4194304 4196468 140722933449392 139737805269360 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=745] ppid=731 vsize=13978596 memory=140632480167552 CPUtime=0.01 cores=0,2,4,6
/proc/733/task/745/stat : 745 (java) R 731 731 32593 0 -1 4202560 342 0 0 0 1 0 0 0 20 0 15 0 154146643 14314082304 6811 33554432000 4194304 4196468 140722933449392 139737804216304 139738315278111 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=746] ppid=731 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/733/task/746/stat : 746 (java) S 731 731 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146643 14314082304 6811 33554432000 4194304 4196468 140722933449392 139737803164000 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=747] ppid=731 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/733/task/747/stat : 747 (java) S 731 731 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146643 14314082304 6811 33554432000 4194304 4196468 140722933449392 139737802112048 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28360 KiB
[startup+0.210579 s]*
/proc/loadavg: 1.94 1.84 1.51 3/217 747
/proc/meminfo: memFree=25948136/32770624 swapFree=67108860/67108860
[pid=731] ppid=728 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/731/stat : 731 (xcsp3-exec) S 728 731 32593 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154146637 9740288 345 33554432000 4194304 5098028 140726656101520 140726656099624 140444083589756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26030080 140726656103541 140726656103744 140726656103744 140726656106475 0
/proc/731/statm: 2378 345 289 221 0 87 0
[pid=733] ppid=731 vsize=13982852 memory=39220 CPUtime=0.33 cores=0,2,4,6
/proc/733/stat : 733 (java) S 731 731 32593 0 -1 1077944320 7860 0 0 0 30 3 0 0 20 0 15 0 154146638 14318440448 9805 33554432000 4194304 4196468 140722933449392 140722933431936 139738336317175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
/proc/733/statm: 3495713 9805 3051 1 0 3482966 0
[pid=733/tid=734] ppid=731 vsize=13982852 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/733/task/734/stat : 734 (java) R 731 731 32593 0 -1 4202560 4852 0 0 0 18 1 0 0 20 0 15 0 154146638 14318440448 9871 33554432000 4194304 4196468 140722933449392 139738340538168 139738328995189 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=735] ppid=731 vsize=13982852 memory=4294976320 CPUtime=0 cores=0,2,4,6
/proc/733/task/735/stat : 735 (java) S 731 731 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146639 14318440448 9871 33554432000 4194304 4196468 140722933449392 139738306030096 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=736] ppid=731 vsize=13982852 memory=140632480200226 CPUtime=0 cores=0,2,4,6
/proc/733/task/736/stat : 736 (java) S 731 731 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146639 14318440448 9871 33554432000 4194304 4196468 140722933449392 139737931061904 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=737] ppid=731 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/733/task/737/stat : 737 (java) S 731 731 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146639 14318440448 9871 33554432000 4194304 4196468 140722933449392 139737930008848 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=738] ppid=731 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/733/task/738/stat : 738 (java) S 731 731 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146639 14318440448 9871 33554432000 4194304 4196468 140722933449392 139737928956304 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=739] ppid=731 vsize=13982852 memory=140632480167552 CPUtime=0 cores=0,2,4,6
/proc/733/task/739/stat : 739 (java) S 731 731 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146640 14318440448 9871 33554432000 4194304 4196468 140722933449392 139737810533104 139738336328322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=740] ppid=731 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/733/task/740/stat : 740 (java) S 731 731 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154146640 14318440448 9871 33554432000 4194304 4196468 140722933449392 139737809479328 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=741] ppid=731 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/733/task/741/stat : 741 (java) S 731 731 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154146641 14318440448 9871 33554432000 4194304 4196468 140722933449392 139737808426224 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=742] ppid=731 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/733/task/742/stat : 742 (java) S 731 731 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146643 14318440448 9871 33554432000 4194304 4196468 140722933449392 139737807374800 139738336335771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=743] ppid=731 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/733/task/743/stat : 743 (java) S 731 731 32593 0 -1 1077944384 655 0 0 0 3 0 0 0 20 0 15 0 154146643 14318440448 9871 33554432000 4194304 4196468 140722933449392 139737806321904 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=744] ppid=731 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/733/task/744/stat : 744 (java) S 731 731 32593 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 15 0 154146643 14318440448 9871 33554432000 4194304 4196468 140722933449392 139737805269360 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=745] ppid=731 vsize=13982852 memory=140632480167552 CPUtime=0.07 cores=0,2,4,6
/proc/733/task/745/stat : 745 (java) S 731 731 32593 0 -1 1077944384 860 0 0 0 7 0 0 0 20 0 15 0 154146643 14318440448 9871 33554432000 4194304 4196468 140722933449392 139737804216304 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=746] ppid=731 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/733/task/746/stat : 746 (java) S 731 731 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146643 14318440448 9871 33554432000 4194304 4196468 140722933449392 139737803164000 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=747] ppid=731 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/733/task/747/stat : 747 (java) S 731 731 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146643 14318440448 9871 33554432000 4194304 4196468 140722933449392 139737802112048 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40600 KiB
[startup+0.310374 s]*
/proc/loadavg: 1.94 1.84 1.51 5/217 747
/proc/meminfo: memFree=25941188/32770624 swapFree=67108860/67108860
[pid=731] ppid=728 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/731/stat : 731 (xcsp3-exec) S 728 731 32593 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154146637 9740288 345 33554432000 4194304 5098028 140726656101520 140726656099624 140444083589756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26030080 140726656103541 140726656103744 140726656103744 140726656106475 0
/proc/731/statm: 2378 345 289 221 0 87 0
[pid=733] ppid=731 vsize=13982852 memory=46396 CPUtime=0.49 cores=0,2,4,6
/proc/733/stat : 733 (java) S 731 731 32593 0 -1 1077944320 8769 0 0 0 46 3 0 0 20 0 15 0 154146638 14318440448 11599 33554432000 4194304 4196468 140722933449392 140722933431936 139738336317175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
/proc/733/statm: 3495713 11599 3111 1 0 3482966 0
[pid=733/tid=734] ppid=731 vsize=13982852 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/733/task/734/stat : 734 (java) R 731 731 32593 0 -1 4202560 5506 0 0 0 27 2 0 0 20 0 15 0 154146638 14318440448 11599 33554432000 4194304 4196468 140722933449392 139738340554736 139738336329110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=735] ppid=731 vsize=13982852 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/733/task/735/stat : 735 (java) S 731 731 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146639 14318440448 11599 33554432000 4194304 4196468 140722933449392 139738306030096 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=736] ppid=731 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/733/task/736/stat : 736 (java) S 731 731 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146639 14318440448 11599 33554432000 4194304 4196468 140722933449392 139737931061904 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=737] ppid=731 vsize=13982852 memory=7681407940103534239 CPUtime=0 cores=0,2,4,6
/proc/733/task/737/stat : 737 (java) S 731 731 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146639 14318440448 11599 33554432000 4194304 4196468 140722933449392 139737930008848 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=738] ppid=731 vsize=13982852 memory=7378391939515104108 CPUtime=0 cores=0,2,4,6
/proc/733/task/738/stat : 738 (java) S 731 731 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146639 14318440448 11599 33554432000 4194304 4196468 140722933449392 139737928956304 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=739] ppid=731 vsize=13982852 memory=7234576917979478634 CPUtime=0 cores=0,2,4,6
/proc/733/task/739/stat : 739 (java) S 731 731 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146640 14318440448 11599 33554432000 4194304 4196468 140722933449392 139737810533104 139738336328322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=740] ppid=731 vsize=13982852 memory=-7025448733113094249 CPUtime=0 cores=0,2,4,6
/proc/733/task/740/stat : 740 (java) S 731 731 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154146640 14318440448 11599 33554432000 4194304 4196468 140722933449392 139737809479328 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=741] ppid=731 vsize=13982852 memory=3047711553320166262 CPUtime=0 cores=0,2,4,6
/proc/733/task/741/stat : 741 (java) S 731 731 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154146641 14318440448 11599 33554432000 4194304 4196468 140722933449392 139737808426224 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=742] ppid=731 vsize=13982852 memory=-7022969359889120089 CPUtime=0 cores=0,2,4,6
/proc/733/task/742/stat : 742 (java) S 731 731 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146643 14318440448 11599 33554432000 4194304 4196468 140722933449392 139737807374800 139738336335771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=743] ppid=731 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/733/task/743/stat : 743 (java) S 731 731 32593 0 -1 1077944384 709 0 0 0 4 0 0 0 20 0 15 0 154146643 14318440448 11599 33554432000 4194304 4196468 140722933449392 139737806321904 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=744] ppid=731 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/733/task/744/stat : 744 (java) S 731 731 32593 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 15 0 154146643 14318440448 11599 33554432000 4194304 4196468 140722933449392 139737805269360 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=745] ppid=731 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/733/task/745/stat : 745 (java) R 731 731 32593 0 -1 4202560 1017 0 0 0 12 0 0 0 20 0 15 0 154146643 14318440448 11599 33554432000 4194304 4196468 140722933449392 139737804213480 139738315445601 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=746] ppid=731 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/733/task/746/stat : 746 (java) S 731 731 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146643 14318440448 11599 33554432000 4194304 4196468 140722933449392 139737803164000 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=747] ppid=731 vsize=13982852 memory=3467826827021590575 CPUtime=0 cores=0,2,4,6
/proc/733/task/747/stat : 747 (java) S 731 731 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146643 14318440448 11599 33554432000 4194304 4196468 140722933449392 139737802112048 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 47776 KiB
[startup+0.701353 s]
/proc/loadavg: 1.94 1.84 1.51 6/217 747
/proc/meminfo: memFree=25915296/32770624 swapFree=67108860/67108860
[pid=731] ppid=728 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/731/stat : 731 (xcsp3-exec) S 728 731 32593 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154146637 9740288 345 33554432000 4194304 5098028 140726656101520 140726656099624 140444083589756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26030080 140726656103541 140726656103744 140726656103744 140726656106475 0
/proc/731/statm: 2378 345 289 221 0 87 0
[pid=733] ppid=731 vsize=13984976 memory=83364 CPUtime=1.76 cores=0,2,4,6
/proc/733/stat : 733 (java) S 731 731 32593 0 -1 1077944320 11867 0 0 0 171 5 0 0 20 0 15 0 154146638 14320615424 20841 33554432000 4194304 4196468 140722933449392 140722933431936 139738336317175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
/proc/733/statm: 3496244 20841 3202 1 0 3483478 0
[pid=733/tid=734] ppid=731 vsize=13984976 memory=7505928880668315508 CPUtime=0.67 cores=0,2,4,6
/proc/733/task/734/stat : 734 (java) R 731 731 32593 0 -1 4202560 6042 0 0 0 64 3 0 0 20 0 15 0 154146638 14320615424 20841 33554432000 4194304 4196468 140722933449392 139738340537448 139737977014798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=735] ppid=731 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/733/task/735/stat : 735 (java) S 731 731 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146639 14320615424 20841 33554432000 4194304 4196468 140722933449392 139738306030096 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=736] ppid=731 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/733/task/736/stat : 736 (java) S 731 731 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146639 14320615424 20841 33554432000 4194304 4196468 140722933449392 139737931061904 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=737] ppid=731 vsize=13984976 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/733/task/737/stat : 737 (java) S 731 731 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146639 14320615424 20841 33554432000 4194304 4196468 140722933449392 139737930008848 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=738] ppid=731 vsize=13984976 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/733/task/738/stat : 738 (java) S 731 731 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146639 14320615424 20841 33554432000 4194304 4196468 140722933449392 139737928956304 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=739] ppid=731 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/733/task/739/stat : 739 (java) S 731 731 32593 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154146640 14320615424 20841 33554432000 4194304 4196468 140722933449392 139737810533104 139738336328322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=740] ppid=731 vsize=13984976 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/733/task/740/stat : 740 (java) S 731 731 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154146640 14320615424 20841 33554432000 4194304 4196468 140722933449392 139737809479328 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=741] ppid=731 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/733/task/741/stat : 741 (java) S 731 731 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154146641 14320615424 20841 33554432000 4194304 4196468 140722933449392 139737808426224 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=742] ppid=731 vsize=13984976 memory=792 CPUtime=0 cores=0,2,4,6
/proc/733/task/742/stat : 742 (java) S 731 731 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146643 14320615424 20841 33554432000 4194304 4196468 140722933449392 139737807374800 139738336335771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=743] ppid=731 vsize=13984976 memory=1420 CPUtime=0.36 cores=0,2,4,6
/proc/733/task/743/stat : 743 (java) R 731 731 32593 0 -1 4202560 1571 0 0 0 36 0 0 0 20 0 15 0 154146643 14320615424 20841 33554432000 4194304 4196468 140722933449392 139737806306544 139738321424846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=744] ppid=731 vsize=13984976 memory=13144 CPUtime=0.32 cores=0,2,4,6
/proc/733/task/744/stat : 744 (java) R 731 731 32593 0 -1 4202560 957 0 0 0 32 0 0 0 20 0 15 0 154146643 14320615424 20841 33554432000 4194304 4196468 140722933449392 139737805255456 139738315565102 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=745] ppid=731 vsize=13984976 memory=1944 CPUtime=0.37 cores=0,2,4,6
/proc/733/task/745/stat : 745 (java) S 731 731 32593 0 -1 1077944384 1991 0 0 0 37 0 0 0 20 0 15 0 154146643 14320615424 20841 33554432000 4194304 4196468 140722933449392 139737804216304 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=746] ppid=731 vsize=13984976 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/733/task/746/stat : 746 (java) S 731 731 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146643 14320615424 20841 33554432000 4194304 4196468 140722933449392 139737803164000 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=747] ppid=731 vsize=13984976 memory=8592 CPUtime=0 cores=0,2,4,6
/proc/733/task/747/stat : 747 (java) S 731 731 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146643 14320615424 20841 33554432000 4194304 4196468 140722933449392 139737802112048 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 84744 KiB
[startup+1.5008 s]
/proc/loadavg: 1.94 1.84 1.51 4/217 747
/proc/meminfo: memFree=25880484/32770624 swapFree=67108860/67108860
[pid=731] ppid=728 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/731/stat : 731 (xcsp3-exec) S 728 731 32593 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154146637 9740288 345 33554432000 4194304 5098028 140726656101520 140726656099624 140444083589756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26030080 140726656103541 140726656103744 140726656103744 140726656106475 0
/proc/731/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/733/task/741/stat : 741 (java) S 731 731 32593 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 154146641 14320615424 58838 33554432000 4194304 4196468 140722933449392 139737808426224 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=742] ppid=731 vsize=13984976 memory=42692 CPUtime=0 cores=0,2,4,6
/proc/733/task/742/stat : 742 (java) S 731 731 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146643 14320615424 58838 33554432000 4194304 4196468 140722933449392 139737807374800 139738336335771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=743] ppid=731 vsize=13984976 memory=4140 CPUtime=2.24 cores=0,2,4,6
/proc/733/task/743/stat : 743 (java) S 731 731 32593 0 -1 1077944384 16917 0 0 0 222 2 0 0 20 0 15 0 154146643 14320615424 58838 33554432000 4194304 4196468 140722933449392 139737806321904 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=744] ppid=731 vsize=13984976 memory=42692 CPUtime=1.79 cores=0,2,4,6
/proc/733/task/744/stat : 744 (java) S 731 731 32593 0 -1 1077944384 9165 0 0 0 179 0 0 0 20 0 15 0 154146643 14320615424 58838 33554432000 4194304 4196468 140722933449392 139737805269360 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=745] ppid=731 vsize=13984976 memory=235352 CPUtime=0.67 cores=0,2,4,6
/proc/733/task/745/stat : 745 (java) S 731 731 32593 0 -1 1077944384 6722 0 0 0 66 1 0 0 20 0 15 0 154146643 14320615424 58838 33554432000 4194304 4196468 140722933449392 139737804216304 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=746] ppid=731 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/733/task/746/stat : 746 (java) S 731 731 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146643 14320615424 58838 33554432000 4194304 4196468 140722933449392 139737803164000 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=747] ppid=731 vsize=13984976 memory=140632329060216 CPUtime=0.02 cores=0,2,4,6
/proc/733/task/747/stat : 747 (java) S 731 731 32593 0 -1 1077944384 208 0 0 0 1 1 0 0 20 0 15 0 154146643 14320615424 58838 33554432000 4194304 4196468 140722933449392 139737802112048 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
Current children cumulated CPU time: 107.13 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 236732 KiB
[startup+162.301 s]
/proc/loadavg: 1.82 1.83 1.56 3/217 915
/proc/meminfo: memFree=25742340/32770624 swapFree=67108860/67108860
[pid=731] ppid=728 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/731/stat : 731 (xcsp3-exec) S 728 731 32593 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154146637 9740288 345 33554432000 4194304 5098028 140726656101520 140726656099624 140444083589756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26030080 140726656103541 140726656103744 140726656103744 140726656106475 0
/proc/731/statm: 2378 345 289 221 0 87 0
[pid=733] ppid=731 vsize=13984976 memory=253620 CPUtime=167.29 cores=0,2,4,6
/proc/733/stat : 733 (java) S 731 731 32593 0 -1 1077944320 52767 0 0 0 16713 16 0 0 20 0 15 0 154146638 14320615424 63405 33554432000 4194304 4196468 140722933449392 140722933431936 139738336317175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
/proc/733/statm: 3496244 63405 3259 1 0 3483478 0
[pid=733/tid=734] ppid=731 vsize=13984976 memory=253620 CPUtime=162.22 cores=0,2,4,6
/proc/733/task/734/stat : 734 (java) R 731 731 32593 0 -1 4202560 12254 0 0 0 16217 5 0 0 20 0 15 0 154146638 14320615424 63405 33554432000 4194304 4196468 140722933449392 139738340556280 139737978930960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=735] ppid=731 vsize=13984976 memory=253532 CPUtime=0.02 cores=0,2,4,6
/proc/733/task/735/stat : 735 (java) S 731 731 32593 0 -1 1077944384 1340 0 0 0 2 0 0 0 20 0 15 0 154146639 14320615424 63405 33554432000 4194304 4196468 140722933449392 139738306030096 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=736] ppid=731 vsize=13984976 memory=253620 CPUtime=0.02 cores=0,2,4,6
/proc/733/task/736/stat : 736 (java) S 731 731 32593 0 -1 1077944384 1451 0 0 0 2 0 0 0 20 0 15 0 154146639 14320615424 63405 33554432000 4194304 4196468 140722933449392 139737931061904 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=737] ppid=731 vsize=13984976 memory=253620 CPUtime=0.03 cores=0,2,4,6
/proc/733/task/737/stat : 737 (java) S 731 731 32593 0 -1 1077944384 439 0 0 0 2 1 0 0 20 0 15 0 154146639 14320615424 63405 33554432000 4194304 4196468 140722933449392 139737930008848 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=738] ppid=731 vsize=13984976 memory=253620 CPUtime=0.03 cores=0,2,4,6
/proc/733/task/738/stat : 738 (java) S 731 731 32593 0 -1 1077944384 525 0 0 0 2 1 0 0 20 0 15 0 154146639 14320615424 63405 33554432000 4194304 4196468 140722933449392 139737928956304 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=739] ppid=731 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/733/task/739/stat : 739 (java) S 731 731 32593 0 -1 1077944384 820 0 0 0 0 0 0 0 20 0 15 0 154146640 14320615424 63405 33554432000 4194304 4196468 140722933449392 139737810533104 139738336328322 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=740] ppid=731 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/733/task/740/stat : 740 (java) S 731 731 32593 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154146640 14320615424 63405 33554432000 4194304 4196468 140722933449392 139737809479328 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=741] ppid=731 vsize=13984976 memory=253580 CPUtime=0 cores=0,2,4,6
/proc/733/task/741/stat : 741 (java) S 731 731 32593 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 154146641 14320615424 63405 33554432000 4194304 4196468 140722933449392 139737808426224 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=742] ppid=731 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/733/task/742/stat : 742 (java) S 731 731 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146643 14320615424 63405 33554432000 4194304 4196468 140722933449392 139737807374800 139738336335771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=743] ppid=731 vsize=13984976 memory=7234576917979478634 CPUtime=2.29 cores=0,2,4,6
/proc/733/task/743/stat : 743 (java) S 731 731 32593 0 -1 1077944384 17161 0 0 0 227 2 0 0 20 0 15 0 154146643 14320615424 63405 33554432000 4194304 4196468 140722933449392 139737806321904 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=744] ppid=731 vsize=13984976 memory=253580 CPUtime=1.86 cores=0,2,4,6
/proc/733/task/744/stat : 744 (java) S 731 731 32593 0 -1 1077944384 10226 0 0 0 185 1 0 0 20 0 15 0 154146643 14320615424 63405 33554432000 4194304 4196468 140722933449392 139737805269360 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=745] ppid=731 vsize=13984976 memory=253580 CPUtime=0.68 cores=0,2,4,6
/proc/733/task/745/stat : 745 (java) S 731 731 32593 0 -1 1077944384 6943 0 0 0 67 1 0 0 20 0 15 0 154146643 14320615424 63405 33554432000 4194304 4196468 140722933449392 139737804216304 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=746] ppid=731 vsize=13984976 memory=253532 CPUtime=0 cores=0,2,4,6
/proc/733/task/746/stat : 746 (java) S 731 731 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146643 14320615424 63405 33554432000 4194304 4196468 140722933449392 139737803164000 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=747] ppid=731 vsize=13984976 memory=253080 CPUtime=0.04 cores=0,2,4,6
/proc/733/task/747/stat : 747 (java) S 731 731 32593 0 -1 1077944384 254 0 0 0 2 2 0 0 20 0 15 0 154146643 14320615424 63405 33554432000 4194304 4196468 140722933449392 139737802112048 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
Current children cumulated CPU time: 167.29 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 255000 KiB
[startup+222.301 s]
/proc/loadavg: 1.73 1.80 1.57 3/217 939
/proc/meminfo: memFree=25734936/32770624 swapFree=67108860/67108860
[pid=731] ppid=728 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/731/stat : 731 (xcsp3-exec) S 728 731 32593 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154146637 9740288 345 33554432000 4194304 5098028 140726656101520 140726656099624 140444083589756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26030080 140726656103541 140726656103744 140726656103744 140726656106475 0
/proc/731/statm: 2378 345 289 221 0 87 0
[pid=733] ppid=731 vsize=13984976 memory=253520 CPUtime=227.83 cores=0,2,4,6
/proc/733/stat : 733 (java) S 731 731 32593 0 -1 1077944320 54735 0 0 0 22765 18 0 0 20 0 15 0 154146638 14320615424 63380 33554432000 4194304 4196468 140722933449392 140722933431936 139738336317175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
/proc/733/statm: 3496244 63380 3259 1 0 3483478 0
[pid=733/tid=734] ppid=731 vsize=13984976 memory=253520 CPUtime=222.19 cores=0,2,4,6
/proc/733/task/734/stat : 734 (java) R 731 731 32593 0 -1 4202560 13109 0 0 0 22214 5 0 0 20 0 15 0 154146638 14320615424 63380 33554432000 4194304 4196468 140722933449392 139738340554264 139737979475162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=735] ppid=731 vsize=13984976 memory=1380 CPUtime=0.05 cores=0,2,4,6
/proc/733/task/735/stat : 735 (java) S 731 731 32593 0 -1 1077944384 1495 0 0 0 5 0 0 0 20 0 15 0 154146639 14320615424 63380 33554432000 4194304 4196468 140722933449392 139738306030096 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=736] ppid=731 vsize=13984976 memory=249332 CPUtime=0.06 cores=0,2,4,6
/proc/733/task/736/stat : 736 (java) S 731 731 32593 0 -1 1077944384 1641 0 0 0 5 1 0 0 20 0 15 0 154146639 14320615424 63380 33554432000 4194304 4196468 140722933449392 139737931061904 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=737] ppid=731 vsize=13984976 memory=54 CPUtime=0.05 cores=0,2,4,6
/proc/733/task/737/stat : 737 (java) S 731 731 32593 0 -1 1077944384 458 0 0 0 4 1 0 0 20 0 15 0 154146639 14320615424 63380 33554432000 4194304 4196468 140722933449392 139737930008848 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=738] ppid=731 vsize=13984976 memory=253580 CPUtime=0.05 cores=0,2,4,6
/proc/733/task/738/stat : 738 (java) S 731 731 32593 0 -1 1077944384 560 0 0 0 4 1 0 0 20 0 15 0 154146639 14320615424 63380 33554432000 4194304 4196468 140722933449392 139737928956304 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=739] ppid=731 vsize=13984976 memory=249332 CPUtime=0.01 cores=0,2,4,6
/proc/733/task/739/stat : 739 (java) S 731 731 32593 0 -1 1077944384 963 0 0 0 1 0 0 0 20 0 15 0 154146640 14320615424 63380 33554432000 4194304 4196468 140722933449392 139737810533104 139738336328322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=740] ppid=731 vsize=13984976 memory=253520 CPUtime=0 cores=0,2,4,6
/proc/733/task/740/stat : 740 (java) S 731 731 32593 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154146640 14320615424 63380 33554432000 4194304 4196468 140722933449392 139737809479392 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=741] ppid=731 vsize=13984976 memory=253520 CPUtime=0 cores=0,2,4,6
/proc/733/task/741/stat : 741 (java) S 731 731 32593 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 154146641 14320615424 63380 33554432000 4194304 4196468 140722933449392 139737808426224 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=742] ppid=731 vsize=13984976 memory=253520 CPUtime=0 cores=0,2,4,6
/proc/733/task/742/stat : 742 (java) S 731 731 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146643 14320615424 63380 33554432000 4194304 4196468 140722933449392 139737807374800 139738336335771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=743] ppid=731 vsize=13984976 memory=4140 CPUtime=2.49 cores=0,2,4,6
/proc/733/task/743/stat : 743 (java) S 731 731 32593 0 -1 1077944384 17223 0 0 0 247 2 0 0 20 0 15 0 154146643 14320615424 63380 33554432000 4194304 4196468 140722933449392 139737806321904 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=744] ppid=731 vsize=13984976 memory=1380 CPUtime=2.08 cores=0,2,4,6
/proc/733/task/744/stat : 744 (java) S 731 731 32593 0 -1 1077944384 10386 0 0 0 207 1 0 0 20 0 15 0 154146643 14320615424 63380 33554432000 4194304 4196468 140722933449392 139737805269360 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=745] ppid=731 vsize=13984976 memory=1380 CPUtime=0.71 cores=0,2,4,6
/proc/733/task/745/stat : 745 (java) S 731 731 32593 0 -1 1077944384 7266 0 0 0 70 1 0 0 20 0 15 0 154146643 14320615424 63380 33554432000 4194304 4196468 140722933449392 139737804216304 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=746] ppid=731 vsize=13984976 memory=42704 CPUtime=0 cores=0,2,4,6
/proc/733/task/746/stat : 746 (java) S 731 731 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146643 14320615424 63380 33554432000 4194304 4196468 140722933449392 139737803164000 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=747] ppid=731 vsize=13984976 memory=1296 CPUtime=0.06 cores=0,2,4,6
/proc/733/task/747/stat : 747 (java) S 731 731 32593 0 -1 1077944384 275 0 0 0 3 3 0 0 20 0 15 0 154146643 14320615424 63380 33554432000 4194304 4196468 140722933449392 139737802112048 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
Current children cumulated CPU time: 227.83 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 254900 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.64 1.78 1.57 3/217 939
/proc/meminfo: memFree=25718668/32770624 swapFree=67108860/67108860
[pid=731] ppid=728 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/731/stat : 731 (xcsp3-exec) S 728 731 32593 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154146637 9740288 345 33554432000 4194304 5098028 140726656101520 140726656099624 140444083589756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26030080 140726656103541 140726656103744 140726656103744 140726656106475 0
/proc/731/statm: 2378 345 289 221 0 87 0
[pid=733] ppid=731 vsize=13984976 memory=267936 CPUtime=245.83 cores=0,2,4,6
/proc/733/stat : 733 (java) S 731 731 32593 0 -1 1077944320 54943 0 0 0 24563 20 0 0 20 0 15 0 154146638 14320615424 66984 33554432000 4194304 4196468 140722933449392 140722933431936 139738336317175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
/proc/733/statm: 3496244 66984 3260 1 0 3483478 0
[pid=733/tid=734] ppid=731 vsize=13984976 memory=15880 CPUtime=239.87 cores=0,2,4,6
/proc/733/task/734/stat : 734 (java) R 731 731 32593 0 -1 4202560 13137 0 0 0 23982 5 0 0 20 0 15 0 154146638 14320615424 66984 33554432000 4194304 4196468 140722933449392 139738340555968 139737973578048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=735] ppid=731 vsize=13984976 memory=1156 CPUtime=0.07 cores=0,2,4,6
/proc/733/task/735/stat : 735 (java) S 731 731 32593 0 -1 1077944384 1507 0 0 0 6 1 0 0 20 0 15 0 154146639 14320615424 66984 33554432000 4194304 4196468 140722933449392 139738306030096 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=736] ppid=731 vsize=13984976 memory=3092 CPUtime=0.06 cores=0,2,4,6
/proc/733/task/736/stat : 736 (java) S 731 731 32593 0 -1 1077944384 1649 0 0 0 5 1 0 0 20 0 15 0 154146639 14320615424 66984 33554432000 4194304 4196468 140722933449392 139737931061904 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=737] ppid=731 vsize=13984976 memory=6935054825532540783 CPUtime=0.06 cores=0,2,4,6
/proc/733/task/737/stat : 737 (java) S 731 731 32593 0 -1 1077944384 469 0 0 0 5 1 0 0 20 0 15 0 154146639 14320615424 66984 33554432000 4194304 4196468 140722933449392 139737930008848 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=738] ppid=731 vsize=13984976 memory=267932 CPUtime=0.06 cores=0,2,4,6
/proc/733/task/738/stat : 738 (java) S 731 731 32593 0 -1 1077944384 572 0 0 0 5 1 0 0 20 0 15 0 154146639 14320615424 66984 33554432000 4194304 4196468 140722933449392 139737928956304 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=739] ppid=731 vsize=13984976 memory=1380 CPUtime=0.01 cores=0,2,4,6
/proc/733/task/739/stat : 739 (java) S 731 731 32593 0 -1 1077944384 966 0 0 0 1 0 0 0 20 0 15 0 154146640 14320615424 66984 33554432000 4194304 4196468 140722933449392 139737810533104 139738336328322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=740] ppid=731 vsize=13984976 memory=267872 CPUtime=0 cores=0,2,4,6
/proc/733/task/740/stat : 740 (java) S 731 731 32593 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154146640 14320615424 66984 33554432000 4194304 4196468 140722933449392 139737809479392 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=741] ppid=731 vsize=13984976 memory=18476 CPUtime=0 cores=0,2,4,6
/proc/733/task/741/stat : 741 (java) S 731 731 32593 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 154146641 14320615424 66984 33554432000 4194304 4196468 140722933449392 139737808426224 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=742] ppid=731 vsize=13984976 memory=23728 CPUtime=0 cores=0,2,4,6
/proc/733/task/742/stat : 742 (java) S 731 731 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146643 14320615424 66984 33554432000 4194304 4196468 140722933449392 139737807374800 139738336335771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=743] ppid=731 vsize=13984976 memory=1156 CPUtime=2.53 cores=0,2,4,6
/proc/733/task/743/stat : 743 (java) S 731 731 32593 0 -1 1077944384 17251 0 0 0 251 2 0 0 20 0 15 0 154146643 14320615424 66984 33554432000 4194304 4196468 140722933449392 139737806321904 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=744] ppid=731 vsize=13984976 memory=3096 CPUtime=2.28 cores=0,2,4,6
/proc/733/task/744/stat : 744 (java) S 731 731 32593 0 -1 1077944384 10459 0 0 0 227 1 0 0 20 0 15 0 154146643 14320615424 66984 33554432000 4194304 4196468 140722933449392 139737805269360 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=745] ppid=731 vsize=13984976 memory=4040 CPUtime=0.72 cores=0,2,4,6
/proc/733/task/745/stat : 745 (java) S 731 731 32593 0 -1 1077944384 7299 0 0 0 71 1 0 0 20 0 15 0 154146643 14320615424 66984 33554432000 4194304 4196468 140722933449392 139737804216304 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=746] ppid=731 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/733/task/746/stat : 746 (java) S 731 731 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146643 14320615424 66984 33554432000 4194304 4196468 140722933449392 139737803164000 139738336327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
[pid=733/tid=747] ppid=731 vsize=13984976 memory=171488 CPUtime=0.06 cores=0,2,4,6
/proc/733/task/747/stat : 747 (java) S 731 731 32593 0 -1 1077944384 275 0 0 0 3 3 0 0 20 0 15 0 154146643 14320615424 66984 33554432000 4194304 4196468 140722933449392 139737802112048 139738336328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140722933458077 140722933458252 140722933458252 140722933460943 0
Current children cumulated CPU time: 245.83 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 269316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 731 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000931 s, system=0.000931 s
[startup+240.023 s]
# the end of solver process 733 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.655 s, system=0.211042 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): 240.023
CPU time (s): 245.866
CPU user time (s): 245.655
CPU system time (s): 0.211042
CPU usage (%): 102.435
Max. virtual memory (cumulated for all children) (KiB): 13996504
Max. memory (cumulated for all children) (KiB): 269316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.655
system time used= 0.211042
maximum resident set size= 268560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8352
involuntary context switches= 171
# summary of solver processes directly reported to runsolver:
# pid: 731,733
# total CPU time (s): 245.866
# total CPU user time (s): 245.655
# total CPU system time (s): 0.211042
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.56768 second user time and 2.06449 second system time
The end
Begin job on node103 at 2017-08-20 08:15:26 IDJOB=4283075 IDBENCH=115918 IDSOLVER=2678 FILE ID=node103/4283075-1503210586 RUNJOBID= node103-1503209003-32624 PBS_JOBID= 20630873 Free space on /tmp= 61528 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-32.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-4283075-1503210586/watcher-4283075-1503210586 -o /tmp/evaluation-result-4283075-1503210586/solver-4283075-1503210586 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32624 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 325926529 HOME/instance-4283075-1503210586.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e RANDOM SEED=325926529 node103.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.56 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.56 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.56 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.56 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: 25972800 kB MemAvailable: 31810876 kB Buffers: 240136 kB Cached: 5889848 kB SwapCached: 0 kB Active: 1239296 kB Inactive: 5108168 kB Active(anon): 167128 kB Inactive(anon): 86696 kB Active(file): 1072168 kB Inactive(file): 5021472 kB Unevictable: 7496 kB Mlocked: 7496 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7928 kB Writeback: 0 kB AnonPages: 220784 kB Mapped: 63956 kB Shmem: 33420 kB Slab: 147092 kB SReclaimable: 120540 kB SUnreclaim: 26552 kB KernelStack: 3840 kB PageTables: 5896 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1222640 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 110592 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61520 MiB End job on node103 at 2017-08-20 08:19:26