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) | 405 | 2520.1101 | 2510.8101 |
| 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 | 516 |
| Best CPU time to get the best result obtained on this benchmark | 2519.78 |
| 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.05 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282085-1503106683.xml" -tl '2520s' -p 1 -x 0 0.11/0.26 c [HOME/instance-4282085-1503106683.xml, -tl, 2520s, -p, 1, -x, 0] 0.30/0.32 c simple solver 0.30/0.39 c parse instance... 2.38/1.19 c solve instance... 187.98/183.22 o 360 188.26/183.38 o 363 255.22/249.65 o 398 1309.28/1302.24 o 405 2520.09/2510.80 s SATISFIABLE 2520.09/2510.80 v <instantiation> 2520.09/2510.80 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[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> 2520.09/2510.80 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 1 1 0 1 1 1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 1 0 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 1 1 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 0 1 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 1 2 2 2 2 0 1 1 0 2 2 2 2 2 1 0 0 1 1 0 0 0 2 1 1 1 0 0 0 1 0 1 0 0 1 2 2 2 1 1 0 0 1 1 2 1 1 2 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 2 2 2 0 0 0 0 0 2 1 1 0 1 2 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 2 1 0 0 0 0 1 1 2 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 2 1 0 1 0 0 1 0 1 0 0 2 2 1 1 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 2 2 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 0 2 2 0 1 0 0 2 2 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 2 0 1 0 0 1 0 2 2 1 0 0 0 0 0 0 2 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 2 0 0 0 0 1 1 1 1 0 0 0 0 0 0 2 1 1 0 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 2 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 2 2 1 1 1 2 1 0 0 0 0 0 0 0 0 0 0 1 0 0 2 2 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 2 1 1 0 1 0 0 0 0 1 0 1 0 0 2 1 1 0 0 0 0 0 0 0 0 0 2 0 0 1 1 2 1 2 2 1 1 2 1 1 0 0 0 0 1 0 0 1 1 2 1 0 0 1 1 1 0 0 1 0 0 0 0 0 2 1 1 2 2 1 1 2 2 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 2 1 1 0 0 0 0 1 0 1 0 0 1 1 2 1 1 1 2 1 1 0 0 0 0 0 0 1 0 0 0 0 0 2 1 1 0 1 0 0 0 1 1 0 0 0 0 2 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 2 0 2 2 1 2 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 2 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 2 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 1 2 1 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 2 2 1 1 1 1 2 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 2 2 1 0 1 0 0 1 1 2 2 2 1 1 2 2 2 1 1 0 0 0 0 0 0 0 2 1 1 1 0 1 2 2 2 2 2 2 0 0 0 1 2 2 2 2 1 0 1 1 1 1 0 1 0 0 1 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 20 51 76 96 113 135 156 171 185 196 203 210 214 226 236 249 265 276 283 292 305 325 349 371 389 398 406 425 440 452 469 496 533 556 405 </values> 2520.09/2510.80 v </instantiation> 2520.09/2510.80 c Unexpected resolution interruption!
OK 405
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 (8823 MiB free)
memory of node 1: 16384 MiB (15512 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282085-1503106683/watcher-4282085-1503106683 -o /tmp/evaluation-result-4282085-1503106683/solver-4282085-1503106683 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503095780-14042 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1151464509 HOME/instance-4282085-1503106683.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15690, runsolver pid=15687
[startup+0.100111 s]*
/proc/loadavg: 1.69 1.81 1.72 3/206 15700
/proc/meminfo: memFree=24910188/32770624 swapFree=67108860/67108860
[pid=15690] ppid=15687 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15690/stat : 15690 (xcsp3-exec) S 15687 15690 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99008967 9740288 344 18446744073709551615 4194304 5098028 140721163672384 140721163670488 139844055945852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 32804864 140721163678072 140721163678277 140721163678277 140721163681771 0
/proc/15690/statm: 2378 344 289 221 0 87 0
[pid=15692] ppid=15690 vsize=13907304 memory=21924 CPUtime=0.05 cores=1,3,5,7
/proc/15692/stat : 15692 (java) S 15690 15690 13977 0 -1 1077944320 4861 0 0 0 5 0 0 0 20 0 14 0 99008972 14241079296 5481 18446744073709551615 4194304 4196468 140730328761568 140730328744112 140695013601015 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
/proc/15692/statm: 3476826 5481 2580 1 0 3466323 0
[pid=15692/tid=15693] ppid=15690 vsize=13907304 memory=4206989191851631162 CPUtime=0.04 cores=1,3,5,7
/proc/15692/task/15693/stat : 15693 (java) R 15690 15690 13977 0 -1 4202560 3042 0 0 0 4 0 0 0 20 0 14 0 99008972 14241079296 5481 18446744073709551615 4194304 4196468 140730328761568 140695017838400 140694622645380 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15694] ppid=15690 vsize=13907304 memory=3461491130302985865 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15694/stat : 15694 (java) S 15690 15690 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 99008973 14241079296 5481 18446744073709551615 4194304 4196468 140730328761568 140694948035216 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15695] ppid=15690 vsize=13907304 memory=140525673301632 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15695/stat : 15695 (java) S 15690 15690 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 99008973 14241079296 5481 18446744073709551615 4194304 4196468 140730328761568 140694946982416 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15696] ppid=15690 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15696/stat : 15696 (java) S 15690 15690 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 99008973 14241079296 5481 18446744073709551615 4194304 4196468 140730328761568 140694945929616 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15697] ppid=15690 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15697/stat : 15697 (java) S 15690 15690 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 99008973 14241079296 5481 18446744073709551615 4194304 4196468 140730328761568 140694944876816 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15698] ppid=15690 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15698/stat : 15698 (java) S 15690 15690 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 99008974 14241079296 5481 18446744073709551615 4194304 4196468 140730328761568 140693930363760 140695013612162 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15699] ppid=15690 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15699/stat : 15699 (java) S 15690 15690 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 99008975 14241079296 5481 18446744073709551615 4194304 4196468 140730328761568 140693929309728 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15700] ppid=15690 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15700/stat : 15700 (java) S 15690 15690 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 99008975 14241079296 5481 18446744073709551615 4194304 4196468 140730328761568 140693928256880 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15701] ppid=15690 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15701/stat : 15701 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 99008977 14241079296 5481 18446744073709551615 4194304 4196468 140730328761568 140693927205200 140695013619611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15702] ppid=15690 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15702/stat : 15702 (java) S 15690 15690 13977 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 14 0 99008977 14241079296 5481 18446744073709551615 4194304 4196468 140730328761568 140693926152560 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15703] ppid=15690 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15703/stat : 15703 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 99008977 14241079296 5481 18446744073709551615 4194304 4196468 140730328761568 140693925099760 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15704] ppid=15690 vsize=13907304 memory=140525673301632 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15704/stat : 15704 (java) S 15690 15690 13977 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 14 0 99008977 14241079296 5481 18446744073709551615 4194304 4196468 140730328761568 140693924046960 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15705] ppid=15690 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15705/stat : 15705 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 99008977 14241079296 5481 18446744073709551615 4194304 4196468 140730328761568 140693922994400 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23300 KiB
[startup+0.210283 s]*
/proc/loadavg: 1.69 1.81 1.72 3/212 15706
/proc/meminfo: memFree=24904632/32770624 swapFree=67108860/67108860
[pid=15690] ppid=15687 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15690/stat : 15690 (xcsp3-exec) S 15687 15690 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99008967 9740288 344 18446744073709551615 4194304 5098028 140721163672384 140721163670488 139844055945852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 32804864 140721163678072 140721163678277 140721163678277 140721163681771 0
/proc/15690/statm: 2378 344 289 221 0 87 0
[pid=15692] ppid=15690 vsize=13974352 memory=27392 CPUtime=0.11 cores=1,3,5,7
/proc/15692/stat : 15692 (java) S 15690 15690 13977 0 -1 1077944320 5261 0 0 0 10 1 0 0 20 0 15 0 99008972 14309736448 6848 18446744073709551615 4194304 4196468 140730328761568 140730328744112 140695013601015 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
/proc/15692/statm: 3493588 6848 2758 1 0 3482964 0
[pid=15692/tid=15693] ppid=15690 vsize=13974352 memory=-6081099116928143719 CPUtime=0.07 cores=1,3,5,7
/proc/15692/task/15693/stat : 15693 (java) R 15690 15690 13977 0 -1 4202560 3412 0 0 0 7 0 0 0 20 0 15 0 99008972 14309736448 6848 18446744073709551615 4194304 4196468 140730328761568 140695017831168 140695013612950 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15694] ppid=15690 vsize=13974352 memory=3461491130302985865 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15694/stat : 15694 (java) S 15690 15690 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99008973 14309736448 6848 18446744073709551615 4194304 4196468 140730328761568 140694948035216 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15695] ppid=15690 vsize=13974352 memory=140525673301632 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15695/stat : 15695 (java) S 15690 15690 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99008973 14309736448 6848 18446744073709551615 4194304 4196468 140730328761568 140694946982416 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15696] ppid=15690 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15696/stat : 15696 (java) S 15690 15690 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99008973 14309736448 6848 18446744073709551615 4194304 4196468 140730328761568 140694945929616 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15697] ppid=15690 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15697/stat : 15697 (java) S 15690 15690 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99008973 14309736448 6848 18446744073709551615 4194304 4196468 140730328761568 140694944876816 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15698] ppid=15690 vsize=13974352 memory=140525673301632 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15698/stat : 15698 (java) S 15690 15690 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99008974 14309736448 6848 18446744073709551615 4194304 4196468 140730328761568 140693930363760 140695013612162 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15699] ppid=15690 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15699/stat : 15699 (java) S 15690 15690 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99008975 14309736448 6848 18446744073709551615 4194304 4196468 140730328761568 140693929309728 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15700] ppid=15690 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15700/stat : 15700 (java) S 15690 15690 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99008975 14309736448 6848 18446744073709551615 4194304 4196468 140730328761568 140693928256880 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15701] ppid=15690 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15701/stat : 15701 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99008977 14309736448 6848 18446744073709551615 4194304 4196468 140730328761568 140693927205200 140695013619611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15702] ppid=15690 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15702/stat : 15702 (java) S 15690 15690 13977 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 99008977 14309736448 6848 18446744073709551615 4194304 4196468 140730328761568 140693926152560 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15703] ppid=15690 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15703/stat : 15703 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99008977 14309736448 6848 18446744073709551615 4194304 4196468 140730328761568 140693925099760 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15704] ppid=15690 vsize=13974352 memory=140525673301632 CPUtime=0.01 cores=1,3,5,7
/proc/15692/task/15704/stat : 15704 (java) S 15690 15690 13977 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 15 0 99008977 14309736448 6848 18446744073709551615 4194304 4196468 140730328761568 140693924046960 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15705] ppid=15690 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15705/stat : 15705 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99008977 14309736448 6848 18446744073709551615 4194304 4196468 140730328761568 140693922994400 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15706] ppid=15690 vsize=13974352 memory=140525673301632 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15706/stat : 15706 (java) S 15690 15690 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99008985 14309736448 6848 18446744073709551615 4194304 4196468 140730328761568 140693921942704 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28768 KiB
[startup+0.311254 s]*
/proc/loadavg: 1.69 1.81 1.72 3/212 15706
/proc/meminfo: memFree=24893688/32770624 swapFree=67108860/67108860
[pid=15690] ppid=15687 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15690/stat : 15690 (xcsp3-exec) S 15687 15690 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99008967 9740288 344 18446744073709551615 4194304 5098028 140721163672384 140721163670488 139844055945852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 32804864 140721163678072 140721163678277 140721163678277 140721163681771 0
/proc/15690/statm: 2378 344 289 221 0 87 0
[pid=15692] ppid=15690 vsize=13974352 memory=39440 CPUtime=0.3 cores=1,3,5,7
/proc/15692/stat : 15692 (java) S 15690 15690 13977 0 -1 1077944320 9022 0 0 0 28 2 0 0 20 0 15 0 99008972 14309736448 9860 18446744073709551615 4194304 4196468 140730328761568 140730328744112 140695013601015 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
/proc/15692/statm: 3493588 9860 3032 1 0 3482964 0
[pid=15692/tid=15693] ppid=15690 vsize=13974352 memory=281051117125872 CPUtime=0.17 cores=1,3,5,7
/proc/15692/task/15693/stat : 15693 (java) R 15690 15690 13977 0 -1 4202560 6249 0 0 0 16 1 0 0 20 0 15 0 99008972 14309736448 9860 18446744073709551615 4194304 4196468 140730328761568 140695017837712 140695013612950 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15694] ppid=15690 vsize=13974352 memory=5767615812081285513 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15694/stat : 15694 (java) S 15690 15690 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99008973 14309736448 9860 18446744073709551615 4194304 4196468 140730328761568 140694948035216 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15695] ppid=15690 vsize=13974352 memory=140525673315666 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15695/stat : 15695 (java) S 15690 15690 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99008973 14309736448 9860 18446744073709551615 4194304 4196468 140730328761568 140694946982416 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15696] ppid=15690 vsize=13974352 memory=140525558683625 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15696/stat : 15696 (java) S 15690 15690 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99008973 14309736448 9860 18446744073709551615 4194304 4196468 140730328761568 140694945929616 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15697] ppid=15690 vsize=13974352 memory=140525558676431 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15697/stat : 15697 (java) S 15690 15690 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99008973 14309736448 9860 18446744073709551615 4194304 4196468 140730328761568 140694944876816 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15698] ppid=15690 vsize=13974352 memory=140525673317051 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15698/stat : 15698 (java) S 15690 15690 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99008974 14309736448 9860 18446744073709551615 4194304 4196468 140730328761568 140693930363760 140695013612162 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15699] ppid=15690 vsize=13974352 memory=140525558676495 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15699/stat : 15699 (java) S 15690 15690 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99008975 14309736448 9860 18446744073709551615 4194304 4196468 140730328761568 140693929309728 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15700] ppid=15690 vsize=13974352 memory=281051117373584 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15700/stat : 15700 (java) S 15690 15690 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99008975 14309736448 9860 18446744073709551615 4194304 4196468 140730328761568 140693928256880 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15701] ppid=15690 vsize=13974352 memory=281051117371280 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15701/stat : 15701 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99008977 14309736448 9860 18446744073709551615 4194304 4196468 140730328761568 140693927205200 140695013619611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15702] ppid=15690 vsize=13974352 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15692/task/15702/stat : 15702 (java) S 15690 15690 13977 0 -1 1077944384 404 0 0 0 3 0 0 0 20 0 15 0 99008977 14309736448 9860 18446744073709551615 4194304 4196468 140730328761568 140693926152560 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15703] ppid=15690 vsize=13974352 memory=2240 CPUtime=0.01 cores=1,3,5,7
/proc/15692/task/15703/stat : 15703 (java) S 15690 15690 13977 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 15 0 99008977 14309736448 9860 18446744073709551615 4194304 4196468 140730328761568 140693925099760 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15704] ppid=15690 vsize=13974352 memory=140525673301632 CPUtime=0.06 cores=1,3,5,7
/proc/15692/task/15704/stat : 15704 (java) R 15690 15690 13977 0 -1 4202560 725 0 0 0 6 0 0 0 20 0 15 0 99008977 14309736448 9860 18446744073709551615 4194304 4196468 140730328761568 140693924044752 140694997681502 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15705] ppid=15690 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15705/stat : 15705 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99008977 14309736448 9860 18446744073709551615 4194304 4196468 140730328761568 140693922994400 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15706] ppid=15690 vsize=13974352 memory=140525673301631 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15706/stat : 15706 (java) S 15690 15690 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99008985 14309736448 9860 18446744073709551615 4194304 4196468 140730328761568 140693921942704 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40816 KiB
[startup+0.701739 s]
/proc/loadavg: 1.69 1.81 1.72 6/212 15706
/proc/meminfo: memFree=24877216/32770624 swapFree=67108860/67108860
[pid=15690] ppid=15687 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15690/stat : 15690 (xcsp3-exec) S 15687 15690 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99008967 9740288 344 18446744073709551615 4194304 5098028 140721163672384 140721163670488 139844055945852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 32804864 140721163678072 140721163678277 140721163678277 140721163681771 0
/proc/15690/statm: 2378 344 289 221 0 87 0
[pid=15692] ppid=15690 vsize=13978684 memory=77604 CPUtime=1.38 cores=1,3,5,7
/proc/15692/stat : 15692 (java) S 15690 15690 13977 0 -1 1077944320 13065 0 0 0 134 4 0 0 20 0 15 0 99008972 14314172416 19401 18446744073709551615 4194304 4196468 140730328761568 140730328744112 140695013601015 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
/proc/15692/statm: 3494671 19401 3171 1 0 3482964 0
[pid=15692/tid=15693] ppid=15690 vsize=13978684 memory=4420 CPUtime=0.55 cores=1,3,5,7
/proc/15692/task/15693/stat : 15693 (java) R 15690 15690 13977 0 -1 4202560 7951 0 0 0 52 3 0 0 20 0 15 0 99008972 14314172416 19401 18446744073709551615 4194304 4196468 140730328761568 140695017837424 140694626425920 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15694] ppid=15690 vsize=13978684 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15694/stat : 15694 (java) S 15690 15690 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99008973 14314172416 19401 18446744073709551615 4194304 4196468 140730328761568 140694948035216 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15695] ppid=15690 vsize=13978684 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15695/stat : 15695 (java) S 15690 15690 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99008973 14314172416 19401 18446744073709551615 4194304 4196468 140730328761568 140694946982416 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15696] ppid=15690 vsize=13978684 memory=8996 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15696/stat : 15696 (java) S 15690 15690 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99008973 14314172416 19401 18446744073709551615 4194304 4196468 140730328761568 140694945929616 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15697] ppid=15690 vsize=13978684 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15697/stat : 15697 (java) S 15690 15690 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99008973 14314172416 19401 18446744073709551615 4194304 4196468 140730328761568 140694944876816 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15698] ppid=15690 vsize=13978684 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15698/stat : 15698 (java) S 15690 15690 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 99008974 14314172416 19401 18446744073709551615 4194304 4196468 140730328761568 140693930363760 140695013612162 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15699] ppid=15690 vsize=13978684 memory=9012 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15699/stat : 15699 (java) S 15690 15690 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99008975 14314172416 19401 18446744073709551615 4194304 4196468 140730328761568 140693929309728 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15700] ppid=15690 vsize=13978684 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15700/stat : 15700 (java) S 15690 15690 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99008975 14314172416 19401 18446744073709551615 4194304 4196468 140730328761568 140693928256880 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15701] ppid=15690 vsize=13978684 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15701/stat : 15701 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99008977 14314172416 19401 18446744073709551615 4194304 4196468 140730328761568 140693927205200 140695013619611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15702] ppid=15690 vsize=13978684 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/15692/task/15702/stat : 15702 (java) R 15690 15690 13977 0 -1 4202560 965 0 0 0 24 0 0 0 20 0 15 0 99008977 14314172416 19401 18446744073709551615 4194304 4196468 140730328761568 140693926138656 140694996987823 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15703] ppid=15690 vsize=13978684 memory=281051117345712 CPUtime=0.25 cores=1,3,5,7
/proc/15692/task/15703/stat : 15703 (java) R 15690 15690 13977 0 -1 4202560 1230 0 0 0 25 0 0 0 20 0 15 0 99008977 14314172416 19401 18446744073709551615 4194304 4196468 140730328761568 140693925091088 140694995145203 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15704] ppid=15690 vsize=13978684 memory=140525558723940 CPUtime=0.31 cores=1,3,5,7
/proc/15692/task/15704/stat : 15704 (java) S 15690 15690 13977 0 -1 1077944384 1613 0 0 0 31 0 0 0 20 0 15 0 99008977 14314172416 19401 18446744073709551615 4194304 4196468 140730328761568 140693924046960 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15705] ppid=15690 vsize=13978684 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15705/stat : 15705 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99008977 14314172416 19401 18446744073709551615 4194304 4196468 140730328761568 140693922994400 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15706] ppid=15690 vsize=13978684 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15706/stat : 15706 (java) S 15690 15690 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99008985 14314172416 19401 18446744073709551615 4194304 4196468 140730328761568 140693921942704 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 78980 KiB
[startup+1.50174 s]
/proc/loadavg: 1.69 1.81 1.72 3/212 15706
/proc/meminfo: memFree=24835580/32770624 swapFree=67108860/67108860
[pid=15690] ppid=15687 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15690/stat : 15690 (xcsp3-exec) S 15687 15690 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99008967 9740288 344 18446744073709551615 4194304 5098028 140721163672384 140721163670488 139844055945852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 32804864 140721163678072 140721163678277 140721163678277 140721163681771 0
/proc/15690/statm: 2378 344 289 221 0 87 0
[pid=15692] ppid=15690 vsize=13980732 memory=119092 CPUtime=3.36 cores=1,3,5,7
/proc/15692/stat : 15692 (java) S 15690 15690 13977 0 -1 1077944320 19839 0 0 0 330 6 0 0 20 0 15 0 99008972 14316269568 29773 18446744073709551615 4194304 4196468 140730328761568 140730328744112 140695013601015 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
################
# More data... #
################
[pid=15692/tid=15698] ppid=15690 vsize=13980732 memory=264624 CPUtime=0.61 cores=1,3,5,7
/proc/15692/task/15698/stat : 15698 (java) S 15690 15690 13977 0 -1 1077944384 3689 0 0 0 55 6 0 0 20 0 15 0 99008974 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693930363760 140695013612162 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15699] ppid=15690 vsize=13980732 memory=264624 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15699/stat : 15699 (java) S 15690 15690 13977 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 99008975 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693929309792 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15700] ppid=15690 vsize=13980732 memory=264624 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15700/stat : 15700 (java) S 15690 15690 13977 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 99008975 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693928256880 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15701] ppid=15690 vsize=13980732 memory=264624 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15701/stat : 15701 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693927205200 140695013619611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15702] ppid=15690 vsize=13980732 memory=1376 CPUtime=2.39 cores=1,3,5,7
/proc/15692/task/15702/stat : 15702 (java) S 15690 15690 13977 0 -1 1077944384 16681 0 0 0 237 2 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693926152560 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15703] ppid=15690 vsize=13980732 memory=4048 CPUtime=2.68 cores=1,3,5,7
/proc/15692/task/15703/stat : 15703 (java) S 15690 15690 13977 0 -1 1077944384 19238 0 0 0 265 3 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693925099760 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15704] ppid=15690 vsize=13980732 memory=644 CPUtime=0.74 cores=1,3,5,7
/proc/15692/task/15704/stat : 15704 (java) S 15690 15690 13977 0 -1 1077944384 10250 0 0 0 73 1 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693924046960 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15705] ppid=15690 vsize=13980732 memory=264624 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15705/stat : 15705 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693922994400 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15706] ppid=15690 vsize=13980732 memory=1580 CPUtime=0.7 cores=1,3,5,7
/proc/15692/task/15706/stat : 15706 (java) S 15690 15690 13977 0 -1 1077944384 711 0 0 0 34 36 0 0 20 0 15 0 99008985 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693921942704 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
Current children cumulated CPU time: 2391.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 266000 KiB
[startup+2442.3 s]
/proc/loadavg: 1.67 1.74 1.76 3/212 15991
/proc/meminfo: memFree=21995936/32770624 swapFree=67108860/67108860
[pid=15690] ppid=15687 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15690/stat : 15690 (xcsp3-exec) S 15687 15690 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99008967 9740288 344 18446744073709551615 4194304 5098028 140721163672384 140721163670488 139844055945852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 32804864 140721163678072 140721163678277 140721163678277 140721163681771 0
/proc/15690/statm: 2378 344 289 221 0 87 0
[pid=15692] ppid=15690 vsize=13980732 memory=264624 CPUtime=2451.5 cores=1,3,5,7
/proc/15692/stat : 15692 (java) S 15690 15690 13977 0 -1 1077944320 85270 0 0 0 245073 77 0 0 20 0 15 0 99008972 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140730328744112 140695013601015 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
/proc/15692/statm: 3495183 66156 3238 1 0 3483476 0
[pid=15692/tid=15693] ppid=15690 vsize=13980732 memory=264624 CPUtime=2440.3 cores=1,3,5,7
/proc/15692/task/15693/stat : 15693 (java) R 15690 15690 13977 0 -1 4202560 22380 0 0 0 244022 8 0 0 20 0 15 0 99008972 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140695017840624 140694629389287 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15694] ppid=15690 vsize=13980732 memory=264624 CPUtime=0.98 cores=1,3,5,7
/proc/15692/task/15694/stat : 15694 (java) S 15690 15690 13977 0 -1 1077944384 4250 0 0 0 93 5 0 0 20 0 15 0 99008973 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140694948035216 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15695] ppid=15690 vsize=13980732 memory=264624 CPUtime=0.99 cores=1,3,5,7
/proc/15692/task/15695/stat : 15695 (java) S 15690 15690 13977 0 -1 1077944384 1997 0 0 0 91 8 0 0 20 0 15 0 99008973 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140694946982416 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15696] ppid=15690 vsize=13980732 memory=264624 CPUtime=0.98 cores=1,3,5,7
/proc/15692/task/15696/stat : 15696 (java) S 15690 15690 13977 0 -1 1077944384 2573 0 0 0 92 6 0 0 20 0 15 0 99008973 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140694945929616 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15697] ppid=15690 vsize=13980732 memory=1376 CPUtime=0.99 cores=1,3,5,7
/proc/15692/task/15697/stat : 15697 (java) S 15690 15690 13977 0 -1 1077944384 2094 0 0 0 93 6 0 0 20 0 15 0 99008973 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140694944876816 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15698] ppid=15690 vsize=13980732 memory=1376 CPUtime=0.62 cores=1,3,5,7
/proc/15692/task/15698/stat : 15698 (java) S 15690 15690 13977 0 -1 1077944384 3713 0 0 0 56 6 0 0 20 0 15 0 99008974 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693930363760 140695013612162 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15699] ppid=15690 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15699/stat : 15699 (java) S 15690 15690 13977 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 99008975 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693929309792 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15700] ppid=15690 vsize=13980732 memory=264624 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15700/stat : 15700 (java) S 15690 15690 13977 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 99008975 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693928256880 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15701] ppid=15690 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15701/stat : 15701 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693927205200 140695013619611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15702] ppid=15690 vsize=13980732 memory=264624 CPUtime=2.39 cores=1,3,5,7
/proc/15692/task/15702/stat : 15702 (java) S 15690 15690 13977 0 -1 1077944384 16683 0 0 0 237 2 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693926152560 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15703] ppid=15690 vsize=13980732 memory=264624 CPUtime=2.68 cores=1,3,5,7
/proc/15692/task/15703/stat : 15703 (java) S 15690 15690 13977 0 -1 1077944384 19240 0 0 0 265 3 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693925099760 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15704] ppid=15690 vsize=13980732 memory=1376 CPUtime=0.74 cores=1,3,5,7
/proc/15692/task/15704/stat : 15704 (java) S 15690 15690 13977 0 -1 1077944384 10252 0 0 0 73 1 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693924046960 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15705] ppid=15690 vsize=13980732 memory=264624 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15705/stat : 15705 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693922994400 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15706] ppid=15690 vsize=13980732 memory=1376 CPUtime=0.71 cores=1,3,5,7
/proc/15692/task/15706/stat : 15706 (java) S 15690 15690 13977 0 -1 1077944384 717 0 0 0 35 36 0 0 20 0 15 0 99008985 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693921942704 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
Current children cumulated CPU time: 2451.5 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 266000 KiB
[startup+2502.3 s]
/proc/loadavg: 1.79 1.74 1.76 3/212 15994
/proc/meminfo: memFree=21996656/32770624 swapFree=67108860/67108860
[pid=15690] ppid=15687 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15690/stat : 15690 (xcsp3-exec) S 15687 15690 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99008967 9740288 344 18446744073709551615 4194304 5098028 140721163672384 140721163670488 139844055945852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 32804864 140721163678072 140721163678277 140721163678277 140721163681771 0
/proc/15690/statm: 2378 344 289 221 0 87 0
[pid=15692] ppid=15690 vsize=13980732 memory=264624 CPUtime=2511.58 cores=1,3,5,7
/proc/15692/stat : 15692 (java) S 15690 15690 13977 0 -1 1077944320 86087 0 0 0 251080 78 0 0 20 0 15 0 99008972 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140730328744112 140695013601015 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
/proc/15692/statm: 3495183 66156 3238 1 0 3483476 0
[pid=15692/tid=15693] ppid=15690 vsize=13980732 memory=264624 CPUtime=2500.29 cores=1,3,5,7
/proc/15692/task/15693/stat : 15693 (java) R 15690 15690 13977 0 -1 4202560 22534 0 0 0 250020 9 0 0 20 0 15 0 99008972 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140695017840688 140694626394804 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15694] ppid=15690 vsize=13980732 memory=264624 CPUtime=0.99 cores=1,3,5,7
/proc/15692/task/15694/stat : 15694 (java) S 15690 15690 13977 0 -1 1077944384 4360 0 0 0 94 5 0 0 20 0 15 0 99008973 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140694948035216 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15695] ppid=15690 vsize=13980732 memory=1376 CPUtime=1 cores=1,3,5,7
/proc/15692/task/15695/stat : 15695 (java) S 15690 15690 13977 0 -1 1077944384 2017 0 0 0 92 8 0 0 20 0 15 0 99008973 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140694946982416 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15696] ppid=15690 vsize=13980732 memory=264624 CPUtime=1 cores=1,3,5,7
/proc/15692/task/15696/stat : 15696 (java) S 15690 15690 13977 0 -1 1077944384 2585 0 0 0 94 6 0 0 20 0 15 0 99008973 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140694945929616 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15697] ppid=15690 vsize=13980732 memory=1376 CPUtime=1 cores=1,3,5,7
/proc/15692/task/15697/stat : 15697 (java) S 15690 15690 13977 0 -1 1077944384 2106 0 0 0 94 6 0 0 20 0 15 0 99008973 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140694944876816 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15698] ppid=15690 vsize=13980732 memory=264624 CPUtime=0.62 cores=1,3,5,7
/proc/15692/task/15698/stat : 15698 (java) S 15690 15690 13977 0 -1 1077944384 3870 0 0 0 56 6 0 0 20 0 15 0 99008974 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693930363760 140695013612162 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15699] ppid=15690 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15699/stat : 15699 (java) S 15690 15690 13977 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 99008975 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693929309792 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15700] ppid=15690 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15700/stat : 15700 (java) S 15690 15690 13977 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 99008975 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693928256880 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15701] ppid=15690 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15701/stat : 15701 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693927205200 140695013619611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15702] ppid=15690 vsize=13980732 memory=264624 CPUtime=2.42 cores=1,3,5,7
/proc/15692/task/15702/stat : 15702 (java) S 15690 15690 13977 0 -1 1077944384 16852 0 0 0 240 2 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693926152560 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15703] ppid=15690 vsize=13980732 memory=1376 CPUtime=2.68 cores=1,3,5,7
/proc/15692/task/15703/stat : 15703 (java) S 15690 15690 13977 0 -1 1077944384 19240 0 0 0 265 3 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693925099760 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15704] ppid=15690 vsize=13980732 memory=1376 CPUtime=0.74 cores=1,3,5,7
/proc/15692/task/15704/stat : 15704 (java) S 15690 15690 13977 0 -1 1077944384 10418 0 0 0 73 1 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693924046960 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15705] ppid=15690 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15705/stat : 15705 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693922994400 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15706] ppid=15690 vsize=13980732 memory=4120 CPUtime=0.73 cores=1,3,5,7
/proc/15692/task/15706/stat : 15706 (java) S 15690 15690 13977 0 -1 1077944384 734 0 0 0 36 37 0 0 20 0 15 0 99008985 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693921942704 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
Current children cumulated CPU time: 2511.58 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 266000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2510.8 s]
/proc/loadavg: 1.82 1.75 1.76 3/212 15994
/proc/meminfo: memFree=21996656/32770624 swapFree=67108860/67108860
[pid=15690] ppid=15687 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15690/stat : 15690 (xcsp3-exec) S 15687 15690 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99008967 9740288 344 18446744073709551615 4194304 5098028 140721163672384 140721163670488 139844055945852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 32804864 140721163678072 140721163678277 140721163678277 140721163681771 0
/proc/15690/statm: 2378 344 289 221 0 87 0
[pid=15692] ppid=15690 vsize=13980732 memory=264624 CPUtime=2520.09 cores=1,3,5,7
/proc/15692/stat : 15692 (java) S 15690 15690 13977 0 -1 1077944320 86093 0 0 0 251931 78 0 0 20 0 15 0 99008972 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140730328744112 140695013601015 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
/proc/15692/statm: 3495183 66156 3238 1 0 3483476 0
[pid=15692/tid=15693] ppid=15690 vsize=13980732 memory=-8774313645642428999 CPUtime=2508.79 cores=1,3,5,7
/proc/15692/task/15693/stat : 15693 (java) R 15690 15690 13977 0 -1 4202560 22536 0 0 0 250870 9 0 0 20 0 15 0 99008972 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140695017840512 140694629342336 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15694] ppid=15690 vsize=13980732 memory=4284 CPUtime=1 cores=1,3,5,7
/proc/15692/task/15694/stat : 15694 (java) S 15690 15690 13977 0 -1 1077944384 4360 0 0 0 94 6 0 0 20 0 15 0 99008973 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140694948035216 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15695] ppid=15690 vsize=13980732 memory=928 CPUtime=1 cores=1,3,5,7
/proc/15692/task/15695/stat : 15695 (java) S 15690 15690 13977 0 -1 1077944384 2017 0 0 0 92 8 0 0 20 0 15 0 99008973 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140694946982416 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15696] ppid=15690 vsize=13980732 memory=1580 CPUtime=1 cores=1,3,5,7
/proc/15692/task/15696/stat : 15696 (java) S 15690 15690 13977 0 -1 1077944384 2585 0 0 0 94 6 0 0 20 0 15 0 99008973 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140694945929616 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15697] ppid=15690 vsize=13980732 memory=2168 CPUtime=1 cores=1,3,5,7
/proc/15692/task/15697/stat : 15697 (java) S 15690 15690 13977 0 -1 1077944384 2106 0 0 0 94 6 0 0 20 0 15 0 99008973 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140694944876816 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15698] ppid=15690 vsize=13980732 memory=836 CPUtime=0.63 cores=1,3,5,7
/proc/15692/task/15698/stat : 15698 (java) S 15690 15690 13977 0 -1 1077944384 3872 0 0 0 57 6 0 0 20 0 15 0 99008974 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693930363760 140695013612162 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15699] ppid=15690 vsize=13980732 memory=3916 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15699/stat : 15699 (java) S 15690 15690 13977 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 99008975 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693929309792 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15700] ppid=15690 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15700/stat : 15700 (java) S 15690 15690 13977 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 99008975 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693928256880 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15701] ppid=15690 vsize=13980732 memory=54032 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15701/stat : 15701 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693927205200 140695013619611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15702] ppid=15690 vsize=13980732 memory=2384 CPUtime=2.42 cores=1,3,5,7
/proc/15692/task/15702/stat : 15702 (java) S 15690 15690 13977 0 -1 1077944384 16852 0 0 0 240 2 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693926152560 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15703] ppid=15690 vsize=13980732 memory=1296 CPUtime=2.68 cores=1,3,5,7
/proc/15692/task/15703/stat : 15703 (java) S 15690 15690 13977 0 -1 1077944384 19240 0 0 0 265 3 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693925099760 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15704] ppid=15690 vsize=13980732 memory=3916 CPUtime=0.74 cores=1,3,5,7
/proc/15692/task/15704/stat : 15704 (java) S 15690 15690 13977 0 -1 1077944384 10418 0 0 0 73 1 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693924046960 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15705] ppid=15690 vsize=13980732 memory=2760 CPUtime=0 cores=1,3,5,7
/proc/15692/task/15705/stat : 15705 (java) S 15690 15690 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99008977 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693922994400 140695013611221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
[pid=15692/tid=15706] ppid=15690 vsize=13980732 memory=2760 CPUtime=0.73 cores=1,3,5,7
/proc/15692/task/15706/stat : 15706 (java) S 15690 15690 13977 0 -1 1077944384 736 0 0 0 36 37 0 0 20 0 15 0 99008985 14316269568 66156 18446744073709551615 4194304 4196468 140730328761568 140693921942704 140695013612162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28459008 140730328768945 140730328769121 140730328769121 140730328772559 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 266000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2510.81 s]
# the end of solver process 15690 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.32 s, system=0.785189 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2510.81
CPU time (s): 2520.11
CPU user time (s): 2519.32
CPU system time (s): 0.785189
CPU usage (%): 100.37
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 266000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.32
system time used= 0.785189
maximum resident set size= 264924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86860
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72934
involuntary context switches= 1547
# summary of solver processes directly reported to runsolver:
# pid: 15690
# total CPU time (s): 2520.11
# total CPU user time (s): 2519.32
# total CPU system time (s): 0.785189
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9542 second user time and 20.6366 second system time
The end
Begin job on node124 at 2017-08-19 03:23:47 IDJOB=4282085 IDBENCH=115918 IDSOLVER=2677 FILE ID=node124/4282085-1503106683 RUNJOBID= node124-1503095780-14042 PBS_JOBID= Free space on /tmp= 62024 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-4282085-1503106683/watcher-4282085-1503106683 -o /tmp/evaluation-result-4282085-1503106683/solver-4282085-1503106683 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503095780-14042 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1151464509 HOME/instance-4282085-1503106683.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e RANDOM SEED=1151464509 node124.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.51 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.51 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.51 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.51 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: 24920864 kB MemAvailable: 25521424 kB Buffers: 285688 kB Cached: 608732 kB SwapCached: 0 kB Active: 7028724 kB Inactive: 357036 kB Active(anon): 6444056 kB Inactive(anon): 89152 kB Active(file): 584668 kB Inactive(file): 267884 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7840 kB Writeback: 4 kB AnonPages: 6491608 kB Mapped: 68376 kB Shmem: 41736 kB Slab: 154756 kB SReclaimable: 127684 kB SUnreclaim: 27072 kB KernelStack: 3504 kB PageTables: 17488 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 6970760 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6373376 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62016 MiB End job on node124 at 2017-08-19 04:05:38