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-09) | SAT (TO) | 289 | 246.21201 | 240.02299 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml |
| MD5SUM | 7effaf54e6298c2e2ce7b82787858117 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 367 |
| Best CPU time to get the best result obtained on this benchmark | 251.811 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1712 |
| Number of constraints | 1007 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1683 |
| Distribution of domain sizes | [{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 30 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}] |
| Number of extensional constraints | 837 |
| Number of intensional constraints | 136 |
| Distribution of constraint types | [{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.06 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270322-1502619556.xml" -tl '264s' -p 1 -x 0 0.15/0.25 c [HOME/instance-4270322-1502619556.xml, -tl, 264s, -p, 1, -x, 0] 0.15/0.31 c simple solver 0.33/0.37 c parse instance... 2.29/1.07 c solve instance... 13.45/9.44 o 277 13.69/9.53 o 279 20.66/15.61 o 287 21.09/16.07 o 289 246.18/240.01 s SATISFIABLE 246.18/240.01 v <instantiation> 246.18/240.01 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list> 246.18/240.01 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 1 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 0 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 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 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 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 2 2 2 2 2 1 1 0 0 0 1 1 1 0 1 1 0 1 0 2 2 1 0 1 1 1 0 1 0 1 2 1 1 2 2 0 0 0 0 0 2 1 0 0 1 1 0 1 1 2 1 1 0 1 1 1 0 0 1 0 0 0 1 2 0 0 0 0 0 2 2 0 2 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 2 0 1 1 0 2 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 2 2 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 1 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 2 0 1 1 2 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 2 1 1 2 2 0 1 0 0 1 2 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 1 0 1 1 2 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 2 1 1 1 1 0 0 1 0 1 2 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 1 2 2 0 0 0 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 2 0 0 0 0 0 0 0 0 1 1 2 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 2 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 2 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 2 0 0 0 0 1 0 0 1 0 1 2 2 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 2 1 1 2 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 2 2 2 2 2 2 0 1 0 0 0 0 0 0 0 0 1 0 0 0 2 1 1 1 1 0 1 1 1 2 2 2 2 2 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 2 1 1 0 0 1 1 1 1 2 2 2 2 2 1 0 1 1 1 0 0 0 2 0 0 0 0 0 1 1 1 0 1 1 1 2 1 0 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 18 47 70 86 94 103 116 125 136 145 156 166 181 195 214 230 241 249 258 269 282 295 299 304 321 344 367 393 410 289 </values> 246.18/240.01 v </instantiation> 246.18/240.01 c Unexpected resolution interruption!
OK 289
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 (14989 MiB free)
memory of node 1: 16384 MiB (15190 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270322-1502619556/watcher-4270322-1502619556 -o /tmp/evaluation-result-4270322-1502619556/solver-4270322-1502619556 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20541 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1334626232 HOME/instance-4270322-1502619556.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23166, runsolver pid=23163
Current StackSize limit: 8192 KiB
[startup+0.100174 s]*
/proc/loadavg: 2.02 1.94 1.96 3/205 23176
/proc/meminfo: memFree=30894884/32770624 swapFree=67108860/67108860
[pid=23166] ppid=23163 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23166/stat : 23166 (xcsp3-exec) S 23163 23166 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64176319 9740288 345 18446744073709551615 4194304 5098028 140728590340880 140728590338984 139684986245756 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 16261120 140728590344574 140728590344778 140728590344778 140728590348267 0
/proc/23166/statm: 2378 345 289 221 0 87 0
[pid=23168] ppid=23166 vsize=13574484 memory=17456 CPUtime=0.03 cores=0,2,4,6
/proc/23168/stat : 23168 (java) S 23166 23166 897 0 -1 1077944320 4218 0 0 0 3 0 0 0 20 0 9 0 64176326 13900271616 4364 18446744073709551615 4194304 4196468 140729505277840 140729505260384 140070385352439 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
/proc/23168/statm: 3393621 4364 2105 1 0 3383118 0
[pid=23168/tid=23169] ppid=23166 vsize=13574484 memory=7311146985107750967 CPUtime=0.03 cores=0,2,4,6
/proc/23168/task/23169/stat : 23169 (java) R 23166 23166 897 0 -1 4202560 2940 0 0 0 3 0 0 0 20 0 9 0 64176326 13900271616 4364 18446744073709551615 4194304 4196468 140729505277840 140070389590384 140070369432926 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23170] ppid=23166 vsize=13574484 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23170/stat : 23170 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64176327 13900271616 4364 18446744073709551615 4194304 4196468 140729505277840 140070304767120 140070385362645 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23171] ppid=23166 vsize=13574484 memory=288370431321687680 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23171/stat : 23171 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64176327 13900271616 4364 18446744073709551615 4194304 4196468 140729505277840 140070303714320 140070385362645 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23172] ppid=23166 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23172/stat : 23172 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64176327 13900271616 4364 18446744073709551615 4194304 4196468 140729505277840 140070302661520 140070385362645 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23173] ppid=23166 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23173/stat : 23173 (java) S 23166 23166 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64176327 13900271616 4364 18446744073709551615 4194304 4196468 140729505277840 140070301608720 140070385362645 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23174] ppid=23166 vsize=13574484 memory=140055169975936 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23174/stat : 23174 (java) S 23166 23166 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64176328 13900271616 4364 18446744073709551615 4194304 4196468 140729505277840 140069301909872 140070385363586 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23175] ppid=23166 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23175/stat : 23175 (java) S 23166 23166 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 64176328 13900271616 4364 18446744073709551615 4194304 4196468 140729505277840 140069300855840 140070385362645 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23176] ppid=23166 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23176/stat : 23176 (java) S 23166 23166 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 64176329 13900271616 4364 18446744073709551615 4194304 4196468 140729505277840 140069299802992 140070385362645 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18836 KiB
[startup+0.215439 s]*
/proc/loadavg: 2.02 1.94 1.96 4/211 23182
/proc/meminfo: memFree=30886708/32770624 swapFree=67108860/67108860
[pid=23166] ppid=23163 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23166/stat : 23166 (xcsp3-exec) S 23163 23166 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64176319 9740288 345 18446744073709551615 4194304 5098028 140728590340880 140728590338984 139684986245756 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 16261120 140728590344574 140728590344778 140728590344778 140728590348267 0
/proc/23166/statm: 2378 345 289 221 0 87 0
[pid=23168] ppid=23166 vsize=13974352 memory=29340 CPUtime=0.15 cores=0,2,4,6
/proc/23168/stat : 23168 (java) S 23166 23166 897 0 -1 1077944320 5729 0 0 0 14 1 0 0 20 0 15 0 64176326 14309736448 7335 18446744073709551615 4194304 4196468 140729505277840 140729505260384 140070385352439 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
/proc/23168/statm: 3493588 7335 2885 1 0 3482964 0
[pid=23168/tid=23169] ppid=23166 vsize=13974352 memory=7311146985107750967 CPUtime=0.1 cores=0,2,4,6
/proc/23168/task/23169/stat : 23169 (java) R 23166 23166 897 0 -1 4202560 3620 0 0 0 9 1 0 0 20 0 15 0 64176326 14309736448 7335 18446744073709551615 4194304 4196468 140729505277840 140070389582080 140070385364374 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23170] ppid=23166 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23170/stat : 23170 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64176327 14309736448 7335 18446744073709551615 4194304 4196468 140729505277840 140070304767120 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23171] ppid=23166 vsize=13974352 memory=288370431321687680 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23171/stat : 23171 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64176327 14309736448 7335 18446744073709551615 4194304 4196468 140729505277840 140070303714320 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23172] ppid=23166 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23172/stat : 23172 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64176327 14309736448 7335 18446744073709551615 4194304 4196468 140729505277840 140070302661520 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23173] ppid=23166 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23173/stat : 23173 (java) S 23166 23166 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64176327 14309736448 7335 18446744073709551615 4194304 4196468 140729505277840 140070301608720 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23174] ppid=23166 vsize=13974352 memory=140055169975936 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23174/stat : 23174 (java) S 23166 23166 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64176328 14309736448 7335 18446744073709551615 4194304 4196468 140729505277840 140069301909872 140070385363586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23175] ppid=23166 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23175/stat : 23175 (java) S 23166 23166 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64176328 14309736448 7335 18446744073709551615 4194304 4196468 140729505277840 140069300855840 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23176] ppid=23166 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23176/stat : 23176 (java) S 23166 23166 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64176329 14309736448 7335 18446744073709551615 4194304 4196468 140729505277840 140069299802992 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23177] ppid=23166 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23177/stat : 23177 (java) S 23166 23166 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64176331 14309736448 7335 18446744073709551615 4194304 4196468 140729505277840 140069298751312 140070385371035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23178] ppid=23166 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23178/stat : 23178 (java) S 23166 23166 897 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 64176331 14309736448 7335 18446744073709551615 4194304 4196468 140729505277840 140069297699696 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23179] ppid=23166 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23179/stat : 23179 (java) S 23166 23166 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 64176331 14309736448 7335 18446744073709551615 4194304 4196468 140729505277840 140069296646896 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23180] ppid=23166 vsize=13974352 memory=140055169975936 CPUtime=0.02 cores=0,2,4,6
/proc/23168/task/23180/stat : 23180 (java) R 23166 23166 897 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 64176331 14309736448 7335 18446744073709551615 4194304 4196468 140729505277840 140069295594096 140070377589566 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23181] ppid=23166 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23181/stat : 23181 (java) S 23166 23166 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64176331 14309736448 7335 18446744073709551615 4194304 4196468 140729505277840 140069294541536 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23182] ppid=23166 vsize=13974352 memory=140055169975936 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23182/stat : 23182 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64176335 14309736448 7335 18446744073709551615 4194304 4196468 140729505277840 140069293488816 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30720 KiB
[startup+0.310301 s]*
/proc/loadavg: 2.02 1.94 1.96 4/211 23182
/proc/meminfo: memFree=30873840/32770624 swapFree=67108860/67108860
[pid=23166] ppid=23163 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23166/stat : 23166 (xcsp3-exec) S 23163 23166 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64176319 9740288 345 18446744073709551615 4194304 5098028 140728590340880 140728590338984 139684986245756 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 16261120 140728590344574 140728590344778 140728590344778 140728590348267 0
/proc/23166/statm: 2378 345 289 221 0 87 0
[pid=23168] ppid=23166 vsize=13978608 memory=40236 CPUtime=0.33 cores=0,2,4,6
/proc/23168/stat : 23168 (java) S 23166 23166 897 0 -1 1077944320 9216 0 0 0 31 2 0 0 20 0 15 0 64176326 14314094592 10059 18446744073709551615 4194304 4196468 140729505277840 140729505260384 140070385352439 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
/proc/23168/statm: 3494652 10059 3009 1 0 3482964 0
[pid=23168/tid=23169] ppid=23166 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=0,2,4,6
/proc/23168/task/23169/stat : 23169 (java) R 23166 23166 897 0 -1 4202560 6332 0 0 0 18 2 0 0 20 0 15 0 64176326 14314094592 10059 18446744073709551615 4194304 4196468 140729505277840 140070389573432 140070369432926 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23170] ppid=23166 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23170/stat : 23170 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64176327 14314094592 10059 18446744073709551615 4194304 4196468 140729505277840 140070304767120 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23171] ppid=23166 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23171/stat : 23171 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64176327 14314094592 10059 18446744073709551615 4194304 4196468 140729505277840 140070303714320 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23172] ppid=23166 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23172/stat : 23172 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64176327 14314094592 10059 18446744073709551615 4194304 4196468 140729505277840 140070302661520 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23173] ppid=23166 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23173/stat : 23173 (java) S 23166 23166 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64176327 14314094592 10059 18446744073709551615 4194304 4196468 140729505277840 140070301608720 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23174] ppid=23166 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23174/stat : 23174 (java) S 23166 23166 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64176328 14314094592 10059 18446744073709551615 4194304 4196468 140729505277840 140069301909872 140070385363586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23175] ppid=23166 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23175/stat : 23175 (java) S 23166 23166 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64176328 14314094592 10059 18446744073709551615 4194304 4196468 140729505277840 140069300855840 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23176] ppid=23166 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23176/stat : 23176 (java) S 23166 23166 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64176329 14314094592 10059 18446744073709551615 4194304 4196468 140729505277840 140069299802992 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23177] ppid=23166 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23177/stat : 23177 (java) S 23166 23166 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64176331 14314094592 10059 18446744073709551615 4194304 4196468 140729505277840 140069298751312 140070385371035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23178] ppid=23166 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23168/task/23178/stat : 23178 (java) S 23166 23166 897 0 -1 1077944384 705 0 0 0 2 0 0 0 20 0 15 0 64176331 14314094592 10059 18446744073709551615 4194304 4196468 140729505277840 140069297699696 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23179] ppid=23166 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23168/task/23179/stat : 23179 (java) S 23166 23166 897 0 -1 1077944384 159 0 0 0 2 0 0 0 20 0 15 0 64176331 14314094592 10059 18446744073709551615 4194304 4196468 140729505277840 140069296646896 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23180] ppid=23166 vsize=13978608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23168/task/23180/stat : 23180 (java) S 23166 23166 897 0 -1 1077944384 715 0 0 0 8 0 0 0 20 0 15 0 64176331 14314094592 10059 18446744073709551615 4194304 4196468 140729505277840 140069295594096 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23181] ppid=23166 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23181/stat : 23181 (java) S 23166 23166 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64176331 14314094592 10059 18446744073709551615 4194304 4196468 140729505277840 140069294541536 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23182] ppid=23166 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23182/stat : 23182 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64176335 14314094592 10059 18446744073709551615 4194304 4196468 140729505277840 140069293488816 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41616 KiB
[startup+0.701366 s]
/proc/loadavg: 2.02 1.94 1.96 5/211 23182
/proc/meminfo: memFree=30864464/32770624 swapFree=67108860/67108860
[pid=23166] ppid=23163 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23166/stat : 23166 (xcsp3-exec) S 23163 23166 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64176319 9740288 345 18446744073709551615 4194304 5098028 140728590340880 140728590338984 139684986245756 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 16261120 140728590344574 140728590344778 140728590344778 140728590348267 0
/proc/23166/statm: 2378 345 289 221 0 87 0
[pid=23168] ppid=23166 vsize=13980732 memory=70040 CPUtime=1.38 cores=0,2,4,6
/proc/23168/stat : 23168 (java) S 23166 23166 897 0 -1 1077944320 12781 0 0 0 134 4 0 0 20 0 15 0 64176326 14316269568 17510 18446744073709551615 4194304 4196468 140729505277840 140729505260384 140070385352439 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
/proc/23168/statm: 3495183 17510 3170 1 0 3483476 0
[pid=23168/tid=23169] ppid=23166 vsize=13980732 memory=6935649255759568960 CPUtime=0.57 cores=0,2,4,6
/proc/23168/task/23169/stat : 23169 (java) R 23166 23166 897 0 -1 4202560 8053 0 0 0 54 3 0 0 20 0 15 0 64176326 14316269568 17510 18446744073709551615 4194304 4196468 140729505277840 140070389588304 140070369432926 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23170] ppid=23166 vsize=13980732 memory=6935652631620640832 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23170/stat : 23170 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64176327 14316269568 17510 18446744073709551615 4194304 4196468 140729505277840 140070304767120 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23171] ppid=23166 vsize=13980732 memory=7100839861566347365 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23171/stat : 23171 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64176327 14316269568 17510 18446744073709551615 4194304 4196468 140729505277840 140070303714320 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23172] ppid=23166 vsize=13980732 memory=5859278125529317472 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23172/stat : 23172 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64176327 14316269568 17510 18446744073709551615 4194304 4196468 140729505277840 140070302661520 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23173] ppid=23166 vsize=13980732 memory=6935649255759568981 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23173/stat : 23173 (java) S 23166 23166 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64176327 14316269568 17510 18446744073709551615 4194304 4196468 140729505277840 140070301608720 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23174] ppid=23166 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23174/stat : 23174 (java) S 23166 23166 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64176328 14316269568 17510 18446744073709551615 4194304 4196468 140729505277840 140069301909872 140070385363586 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23175] ppid=23166 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23175/stat : 23175 (java) S 23166 23166 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64176328 14316269568 17510 18446744073709551615 4194304 4196468 140729505277840 140069300855840 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23176] ppid=23166 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23176/stat : 23176 (java) S 23166 23166 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64176329 14316269568 17510 18446744073709551615 4194304 4196468 140729505277840 140069299802992 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23177] ppid=23166 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23177/stat : 23177 (java) S 23166 23166 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64176331 14316269568 17510 18446744073709551615 4194304 4196468 140729505277840 140069298751312 140070385371035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23178] ppid=23166 vsize=13980732 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/23168/task/23178/stat : 23178 (java) R 23166 23166 897 0 -1 4202560 1124 0 0 0 22 0 0 0 20 0 15 0 64176331 14316269568 17510 18446744073709551615 4194304 4196468 140729505277840 140069297685576 140070366873830 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23179] ppid=23166 vsize=13980732 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/23168/task/23179/stat : 23179 (java) R 23166 23166 897 0 -1 4202560 865 0 0 0 23 0 0 0 20 0 15 0 64176331 14316269568 17510 18446744073709551615 4194304 4196468 140729505277840 140069296632776 140070370232840 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23180] ppid=23166 vsize=13980732 memory=2529 CPUtime=0.33 cores=0,2,4,6
/proc/23168/task/23180/stat : 23180 (java) S 23166 23166 897 0 -1 1077944384 1433 0 0 0 33 0 0 0 20 0 15 0 64176331 14316269568 17510 18446744073709551615 4194304 4196468 140729505277840 140069295594096 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23181] ppid=23166 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23181/stat : 23181 (java) S 23166 23166 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64176331 14316269568 17510 18446744073709551615 4194304 4196468 140729505277840 140069294541536 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23182] ppid=23166 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23182/stat : 23182 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64176335 14316269568 17510 18446744073709551615 4194304 4196468 140729505277840 140069293488816 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 71420 KiB
[startup+1.50077 s]
/proc/loadavg: 2.02 1.94 1.96 5/211 23182
/proc/meminfo: memFree=30823304/32770624 swapFree=67108860/67108860
[pid=23166] ppid=23163 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23166/stat : 23166 (xcsp3-exec) S 23163 23166 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64176319 9740288 345 18446744073709551615 4194304 5098028 140728590340880 140728590338984 139684986245756 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 16261120 140728590344574 140728590344778 140728590344778 140728590348267 0
/proc/23166/statm: 2378 345 289 221 0 87 0
[pid=23168] ppid=23166 vsize=13980732 memory=116696 CPUtime=3.77 cores=0,2,4,6
/proc/23168/stat : 23168 (java) S 23166 23166 897 0 -1 1077944320 21148 0 0 0 371 6 0 0 20 0 15 0 64176326 14316269568 29174 18446744073709551615 4194304 4196468 140729505277840 140729505260384 140070385352439 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
/proc/23168/statm: 3495183 29174 3192 1 0 3483476 0
[pid=23168/tid=23169] ppid=23166 vsize=13980732 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/23168/task/23169/stat : 23169 (java) R 23166 23166 897 0 -1 4202560 9187 0 0 0 133 3 0 0 20 0 15 0 64176326 14316269568 29174 18446744073709551615 4194304 4196468 140729505277840 140070389591600 140069978934597 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23170] ppid=23166 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23170/stat : 23170 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64176327 14316269568 29174 18446744073709551615 4194304 4196468 140729505277840 140070304767120 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23171] ppid=23166 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23171/stat : 23171 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64176327 14316269568 29174 18446744073709551615 4194304 4196468 140729505277840 140070303714320 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23172] ppid=23166 vsize=13980732 memory=70040 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23172/stat : 23172 (java) S 23166 23166 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64176327 14316269568 29174 18446744073709551615 4194304 4196468 140729505277840 140070302661520 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23173] ppid=23166 vsize=13980732 memory=199071734215948 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/23168/task/23176/stat : 23176 (java) S 23166 23166 897 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 64176329 14316269568 58451 18446744073709551615 4194304 4196468 140729505277840 140069299802992 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23177] ppid=23166 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23177/stat : 23177 (java) S 23166 23166 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64176331 14316269568 58451 18446744073709551615 4194304 4196468 140729505277840 140069298751312 140070385371035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23178] ppid=23166 vsize=13980732 memory=2164 CPUtime=2.27 cores=0,2,4,6
/proc/23168/task/23178/stat : 23178 (java) S 23166 23166 897 0 -1 1077944384 11897 0 0 0 226 1 0 0 20 0 15 0 64176331 14316269568 58451 18446744073709551615 4194304 4196468 140729505277840 140069297699696 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23179] ppid=23166 vsize=13980732 memory=840 CPUtime=2.62 cores=0,2,4,6
/proc/23168/task/23179/stat : 23179 (java) S 23166 23166 897 0 -1 1077944384 13935 0 0 0 261 1 0 0 20 0 15 0 64176331 14316269568 58451 18446744073709551615 4194304 4196468 140729505277840 140069296646896 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23180] ppid=23166 vsize=13980732 memory=16436 CPUtime=0.72 cores=0,2,4,6
/proc/23168/task/23180/stat : 23180 (java) S 23166 23166 897 0 -1 1077944384 7126 0 0 0 71 1 0 0 20 0 15 0 64176331 14316269568 58451 18446744073709551615 4194304 4196468 140729505277840 140069295594096 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23181] ppid=23166 vsize=13980732 memory=233804 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23181/stat : 23181 (java) S 23166 23166 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64176331 14316269568 58451 18446744073709551615 4194304 4196468 140729505277840 140069294541536 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23182] ppid=23166 vsize=13980732 memory=36308 CPUtime=0.02 cores=0,2,4,6
/proc/23168/task/23182/stat : 23182 (java) S 23166 23166 897 0 -1 1077944384 712 0 0 0 1 1 0 0 20 0 15 0 64176335 14316269568 58451 18446744073709551615 4194304 4196468 140729505277840 140069293488816 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
Current children cumulated CPU time: 108 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 235184 KiB
[startup+162.301 s]
/proc/loadavg: 1.95 1.94 1.95 3/211 23263
/proc/meminfo: memFree=30682172/32770624 swapFree=67108860/67108860
[pid=23166] ppid=23163 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23166/stat : 23166 (xcsp3-exec) S 23163 23166 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64176319 9740288 345 18446744073709551615 4194304 5098028 140728590340880 140728590338984 139684986245756 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 16261120 140728590344574 140728590344778 140728590344778 140728590348267 0
/proc/23166/statm: 2378 345 289 221 0 87 0
[pid=23168] ppid=23166 vsize=13980732 memory=244620 CPUtime=168.12 cores=0,2,4,6
/proc/23168/stat : 23168 (java) S 23166 23166 897 0 -1 1077944320 59266 0 0 0 16794 18 0 0 20 0 15 0 64176326 14316269568 61155 18446744073709551615 4194304 4196468 140729505277840 140729505260384 140070385352439 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
/proc/23168/statm: 3495183 61155 3232 1 0 3483476 0
[pid=23168/tid=23169] ppid=23166 vsize=13980732 memory=246160 CPUtime=162.08 cores=0,2,4,6
/proc/23168/task/23169/stat : 23169 (java) R 23166 23166 897 0 -1 4202560 14694 0 0 0 16203 5 0 0 20 0 15 0 64176326 14316269568 61155 18446744073709551615 4194304 4196468 140729505277840 140070389591856 140069982055401 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23170] ppid=23166 vsize=13980732 memory=246160 CPUtime=0.05 cores=0,2,4,6
/proc/23168/task/23170/stat : 23170 (java) S 23166 23166 897 0 -1 1077944384 502 0 0 0 4 1 0 0 20 0 15 0 64176327 14316269568 61155 18446744073709551615 4194304 4196468 140729505277840 140070304767120 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23171] ppid=23166 vsize=13980732 memory=246160 CPUtime=0.05 cores=0,2,4,6
/proc/23168/task/23171/stat : 23171 (java) S 23166 23166 897 0 -1 1077944384 1609 0 0 0 4 1 0 0 20 0 15 0 64176327 14316269568 61155 18446744073709551615 4194304 4196468 140729505277840 140070303714320 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23172] ppid=23166 vsize=13980732 memory=1380 CPUtime=0.05 cores=0,2,4,6
/proc/23168/task/23172/stat : 23172 (java) S 23166 23166 897 0 -1 1077944384 541 0 0 0 4 1 0 0 20 0 15 0 64176327 14316269568 61155 18446744073709551615 4194304 4196468 140729505277840 140070302661520 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23173] ppid=23166 vsize=13980732 memory=246160 CPUtime=0.05 cores=0,2,4,6
/proc/23168/task/23173/stat : 23173 (java) S 23166 23166 897 0 -1 1077944384 3604 0 0 0 4 1 0 0 20 0 15 0 64176327 14316269568 61155 18446744073709551615 4194304 4196468 140729505277840 140070301608720 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23174] ppid=23166 vsize=13980732 memory=1380 CPUtime=0.02 cores=0,2,4,6
/proc/23168/task/23174/stat : 23174 (java) S 23166 23166 897 0 -1 1077944384 1301 0 0 0 2 0 0 0 20 0 15 0 64176328 14316269568 61155 18446744073709551615 4194304 4196468 140729505277840 140069301909872 140070385363586 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23175] ppid=23166 vsize=13980732 memory=244620 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23175/stat : 23175 (java) S 23166 23166 897 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64176328 14316269568 61155 18446744073709551615 4194304 4196468 140729505277840 140069300855840 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23176] ppid=23166 vsize=13980732 memory=244620 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23176/stat : 23176 (java) S 23166 23166 897 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 64176329 14316269568 61155 18446744073709551615 4194304 4196468 140729505277840 140069299802992 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23177] ppid=23166 vsize=13980732 memory=244620 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23177/stat : 23177 (java) S 23166 23166 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64176331 14316269568 61155 18446744073709551615 4194304 4196468 140729505277840 140069298751312 140070385371035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23178] ppid=23166 vsize=13980732 memory=164 CPUtime=2.3 cores=0,2,4,6
/proc/23168/task/23178/stat : 23178 (java) S 23166 23166 897 0 -1 1077944384 12725 0 0 0 229 1 0 0 20 0 15 0 64176331 14316269568 61155 18446744073709551615 4194304 4196468 140729505277840 140069297699696 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23179] ppid=23166 vsize=13980732 memory=1380 CPUtime=2.64 cores=0,2,4,6
/proc/23168/task/23179/stat : 23179 (java) S 23166 23166 897 0 -1 1077944384 14311 0 0 0 263 1 0 0 20 0 15 0 64176331 14316269568 61155 18446744073709551615 4194304 4196468 140729505277840 140069296646896 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23180] ppid=23166 vsize=13980732 memory=4116 CPUtime=0.73 cores=0,2,4,6
/proc/23168/task/23180/stat : 23180 (java) S 23166 23166 897 0 -1 1077944384 7765 0 0 0 72 1 0 0 20 0 15 0 64176331 14316269568 61155 18446744073709551615 4194304 4196468 140729505277840 140069295594096 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23181] ppid=23166 vsize=13980732 memory=244620 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23181/stat : 23181 (java) S 23166 23166 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64176331 14316269568 61155 18446744073709551615 4194304 4196468 140729505277840 140069294541536 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23182] ppid=23166 vsize=13980732 memory=1380 CPUtime=0.04 cores=0,2,4,6
/proc/23168/task/23182/stat : 23182 (java) S 23166 23166 897 0 -1 1077944384 860 0 0 0 2 2 0 0 20 0 15 0 64176335 14316269568 61155 18446744073709551615 4194304 4196468 140729505277840 140069293488816 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
Current children cumulated CPU time: 168.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 246000 KiB
[startup+222.301 s]
/proc/loadavg: 1.90 1.92 1.95 3/211 23265
/proc/meminfo: memFree=30715452/32770624 swapFree=67108860/67108860
[pid=23166] ppid=23163 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23166/stat : 23166 (xcsp3-exec) S 23163 23166 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64176319 9740288 345 18446744073709551615 4194304 5098028 140728590340880 140728590338984 139684986245756 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 16261120 140728590344574 140728590344778 140728590344778 140728590348267 0
/proc/23166/statm: 2378 345 289 221 0 87 0
[pid=23168] ppid=23166 vsize=13980732 memory=217000 CPUtime=228.41 cores=0,2,4,6
/proc/23168/stat : 23168 (java) S 23166 23166 897 0 -1 1077944320 64059 0 0 0 22822 19 0 0 20 0 15 0 64176326 14316269568 54250 18446744073709551615 4194304 4196468 140729505277840 140729505260384 140070385352439 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
/proc/23168/statm: 3495183 54250 3232 1 0 3483476 0
[pid=23168/tid=23169] ppid=23166 vsize=13980732 memory=220592 CPUtime=222.06 cores=0,2,4,6
/proc/23168/task/23169/stat : 23169 (java) R 23166 23166 897 0 -1 4202560 15164 0 0 0 22201 5 0 0 20 0 15 0 64176326 14316269568 54250 18446744073709551615 4194304 4196468 140729505277840 140070389591904 140069982149760 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23170] ppid=23166 vsize=13980732 memory=220592 CPUtime=0.06 cores=0,2,4,6
/proc/23168/task/23170/stat : 23170 (java) S 23166 23166 897 0 -1 1077944384 514 0 0 0 5 1 0 0 20 0 15 0 64176327 14316269568 54250 18446744073709551615 4194304 4196468 140729505277840 140070304767120 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23171] ppid=23166 vsize=13980732 memory=217000 CPUtime=0.06 cores=0,2,4,6
/proc/23168/task/23171/stat : 23171 (java) S 23166 23166 897 0 -1 1077944384 1660 0 0 0 5 1 0 0 20 0 15 0 64176327 14316269568 54250 18446744073709551615 4194304 4196468 140729505277840 140070303714320 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23172] ppid=23166 vsize=13980732 memory=1380 CPUtime=0.06 cores=0,2,4,6
/proc/23168/task/23172/stat : 23172 (java) S 23166 23166 897 0 -1 1077944384 547 0 0 0 5 1 0 0 20 0 15 0 64176327 14316269568 54250 18446744073709551615 4194304 4196468 140729505277840 140070302661520 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23173] ppid=23166 vsize=13980732 memory=230340 CPUtime=0.06 cores=0,2,4,6
/proc/23168/task/23173/stat : 23173 (java) S 23166 23166 897 0 -1 1077944384 3735 0 0 0 5 1 0 0 20 0 15 0 64176327 14316269568 54250 18446744073709551615 4194304 4196468 140729505277840 140070301608720 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23174] ppid=23166 vsize=13980732 memory=230320 CPUtime=0.03 cores=0,2,4,6
/proc/23168/task/23174/stat : 23174 (java) S 23166 23166 897 0 -1 1077944384 1517 0 0 0 3 0 0 0 20 0 15 0 64176328 14316269568 54250 18446744073709551615 4194304 4196468 140729505277840 140069301909872 140070385363586 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23175] ppid=23166 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23175/stat : 23175 (java) S 23166 23166 897 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64176328 14316269568 54250 18446744073709551615 4194304 4196468 140729505277840 140069300855840 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23176] ppid=23166 vsize=13980732 memory=234424 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23176/stat : 23176 (java) S 23166 23166 897 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 64176329 14316269568 54250 18446744073709551615 4194304 4196468 140729505277840 140069299802992 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23177] ppid=23166 vsize=13980732 memory=2000 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23177/stat : 23177 (java) S 23166 23166 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64176331 14316269568 54250 18446744073709551615 4194304 4196468 140729505277840 140069298751312 140070385371035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23178] ppid=23166 vsize=13980732 memory=10976 CPUtime=2.46 cores=0,2,4,6
/proc/23168/task/23178/stat : 23178 (java) S 23166 23166 897 0 -1 1077944384 14470 0 0 0 245 1 0 0 20 0 15 0 64176331 14316269568 54250 18446744073709551615 4194304 4196468 140729505277840 140069297699696 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23179] ppid=23166 vsize=13980732 memory=4116 CPUtime=2.73 cores=0,2,4,6
/proc/23168/task/23179/stat : 23179 (java) S 23166 23166 897 0 -1 1077944384 15909 0 0 0 272 1 0 0 20 0 15 0 64176331 14316269568 54250 18446744073709551615 4194304 4196468 140729505277840 140069296646896 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23180] ppid=23166 vsize=13980732 memory=36308 CPUtime=0.74 cores=0,2,4,6
/proc/23168/task/23180/stat : 23180 (java) S 23166 23166 897 0 -1 1077944384 8299 0 0 0 73 1 0 0 20 0 15 0 64176331 14316269568 54250 18446744073709551615 4194304 4196468 140729505277840 140069295594096 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23181] ppid=23166 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23181/stat : 23181 (java) S 23166 23166 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64176331 14316269568 54250 18446744073709551615 4194304 4196468 140729505277840 140069294541536 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23182] ppid=23166 vsize=13980732 memory=224184 CPUtime=0.05 cores=0,2,4,6
/proc/23168/task/23182/stat : 23182 (java) S 23166 23166 897 0 -1 1077944384 890 0 0 0 2 3 0 0 20 0 15 0 64176335 14316269568 54250 18446744073709551615 4194304 4196468 140729505277840 140069293488816 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
Current children cumulated CPU time: 228.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 218380 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.93 1.93 1.95 3/211 23267
/proc/meminfo: memFree=30731268/32770624 swapFree=67108860/67108860
[pid=23166] ppid=23163 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23166/stat : 23166 (xcsp3-exec) S 23163 23166 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64176319 9740288 345 18446744073709551615 4194304 5098028 140728590340880 140728590338984 139684986245756 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 16261120 140728590344574 140728590344778 140728590344778 140728590348267 0
/proc/23166/statm: 2378 345 289 221 0 87 0
[pid=23168] ppid=23166 vsize=13980732 memory=214572 CPUtime=246.18 cores=0,2,4,6
/proc/23168/stat : 23168 (java) S 23166 23166 897 0 -1 1077944320 64590 0 0 0 24599 19 0 0 20 0 15 0 64176326 14316269568 53643 18446744073709551615 4194304 4196468 140729505277840 140729505260384 140070385352439 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
/proc/23168/statm: 3495183 53643 3232 1 0 3483476 0
[pid=23168/tid=23169] ppid=23166 vsize=13980732 memory=1200 CPUtime=239.76 cores=0,2,4,6
/proc/23168/task/23169/stat : 23169 (java) R 23166 23166 897 0 -1 4202560 15190 0 0 0 23971 5 0 0 20 0 15 0 64176326 14316269568 53643 18446744073709551615 4194304 4196468 140729505277840 140070389591792 140069979109598 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23170] ppid=23166 vsize=13980732 memory=4872558044660077418 CPUtime=0.06 cores=0,2,4,6
/proc/23168/task/23170/stat : 23170 (java) S 23166 23166 897 0 -1 1077944384 515 0 0 0 5 1 0 0 20 0 15 0 64176327 14316269568 53643 18446744073709551615 4194304 4196468 140729505277840 140070304767120 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23171] ppid=23166 vsize=13980732 memory=10164 CPUtime=0.06 cores=0,2,4,6
/proc/23168/task/23171/stat : 23171 (java) S 23166 23166 897 0 -1 1077944384 1660 0 0 0 5 1 0 0 20 0 15 0 64176327 14316269568 53643 18446744073709551615 4194304 4196468 140729505277840 140070303714320 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23172] ppid=23166 vsize=13980732 memory=1440 CPUtime=0.06 cores=0,2,4,6
/proc/23168/task/23172/stat : 23172 (java) S 23166 23166 897 0 -1 1077944384 547 0 0 0 5 1 0 0 20 0 15 0 64176327 14316269568 53643 18446744073709551615 4194304 4196468 140729505277840 140070302661520 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23173] ppid=23166 vsize=13980732 memory=2000 CPUtime=0.06 cores=0,2,4,6
/proc/23168/task/23173/stat : 23173 (java) S 23166 23166 897 0 -1 1077944384 3735 0 0 0 5 1 0 0 20 0 15 0 64176327 14316269568 53643 18446744073709551615 4194304 4196468 140729505277840 140070301608720 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23174] ppid=23166 vsize=13980732 memory=10976 CPUtime=0.03 cores=0,2,4,6
/proc/23168/task/23174/stat : 23174 (java) S 23166 23166 897 0 -1 1077944384 1517 0 0 0 3 0 0 0 20 0 15 0 64176328 14316269568 53643 18446744073709551615 4194304 4196468 140729505277840 140069301909872 140070385363586 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23175] ppid=23166 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23175/stat : 23175 (java) S 23166 23166 897 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64176328 14316269568 53643 18446744073709551615 4194304 4196468 140729505277840 140069300855840 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23176] ppid=23166 vsize=13980732 memory=214572 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23176/stat : 23176 (java) S 23166 23166 897 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 64176329 14316269568 53643 18446744073709551615 4194304 4196468 140729505277840 140069299802992 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23177] ppid=23166 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23177/stat : 23177 (java) S 23166 23166 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64176331 14316269568 53643 18446744073709551615 4194304 4196468 140729505277840 140069298751312 140070385371035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23178] ppid=23166 vsize=13980732 memory=217096 CPUtime=2.5 cores=0,2,4,6
/proc/23168/task/23178/stat : 23178 (java) S 23166 23166 897 0 -1 1077944384 14774 0 0 0 249 1 0 0 20 0 15 0 64176331 14316269568 53643 18446744073709551615 4194304 4196468 140729505277840 140069297699696 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23179] ppid=23166 vsize=13980732 memory=3904 CPUtime=2.75 cores=0,2,4,6
/proc/23168/task/23179/stat : 23179 (java) S 23166 23166 897 0 -1 1077944384 16007 0 0 0 274 1 0 0 20 0 15 0 64176331 14316269568 53643 18446744073709551615 4194304 4196468 140729505277840 140069296646896 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23180] ppid=23166 vsize=13980732 memory=1380 CPUtime=0.74 cores=0,2,4,6
/proc/23168/task/23180/stat : 23180 (java) S 23166 23166 897 0 -1 1077944384 8401 0 0 0 73 1 0 0 20 0 15 0 64176331 14316269568 53643 18446744073709551615 4194304 4196468 140729505277840 140069295594096 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23181] ppid=23166 vsize=13980732 memory=-3622645143214314312 CPUtime=0 cores=0,2,4,6
/proc/23168/task/23181/stat : 23181 (java) S 23166 23166 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64176331 14316269568 53643 18446744073709551615 4194304 4196468 140729505277840 140069294541536 140070385362645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
[pid=23168/tid=23182] ppid=23166 vsize=13980732 memory=1440 CPUtime=0.06 cores=0,2,4,6
/proc/23168/task/23182/stat : 23182 (java) S 23166 23166 897 0 -1 1077944384 890 0 0 0 3 3 0 0 20 0 15 0 64176335 14316269568 53643 18446744073709551615 4194304 4196468 140729505277840 140069293488816 140070385363586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 19836928 140729505280439 140729505280614 140729505280614 140729505284047 0
Current children cumulated CPU time: 246.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 215952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 23166 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000878 s, system=0.001271 s
[startup+240.023 s]
# the end of solver process 23168 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.007 s, system=0.20539 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.023
CPU time (s): 246.212
CPU user time (s): 246.007
CPU system time (s): 0.20539
CPU usage (%): 102.579
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 247540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.007
system time used= 0.20539
maximum resident set size= 247672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65431
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8544
involuntary context switches= 369
# summary of solver processes directly reported to runsolver:
# pid: 23166,23168
# total CPU time (s): 246.212
# total CPU user time (s): 246.007
# total CPU system time (s): 0.20539
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50571 second user time and 2.08 second system time
The end
Begin job on node125 at 2017-08-13 12:05:10 IDJOB=4270322 IDBENCH=115900 IDSOLVER=2661 FILE ID=node125/4270322-1502619556 RUNJOBID= node125-1502615132-20541 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-27.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-4270322-1502619556/watcher-4270322-1502619556 -o /tmp/evaluation-result-4270322-1502619556/solver-4270322-1502619556 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20541 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1334626232 HOME/instance-4270322-1502619556.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117 RANDOM SEED=1334626232 node125.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.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30904040 kB MemAvailable: 31751692 kB Buffers: 282168 kB Cached: 861520 kB SwapCached: 0 kB Active: 862776 kB Inactive: 578232 kB Active(anon): 297616 kB Inactive(anon): 33100 kB Active(file): 565160 kB Inactive(file): 545132 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7848 kB Writeback: 0 kB AnonPages: 297376 kB Mapped: 58744 kB Shmem: 33444 kB Slab: 132204 kB SReclaimable: 106392 kB SUnreclaim: 25812 kB KernelStack: 3488 kB PageTables: 5608 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1275984 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 192512 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62016 MiB End job on node125 at 2017-08-13 12:09:11