Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-07-26) | SAT (TO) | 5 | 2520.0801 | 2456.4099 |
| Name | Opd/Opd-sum-large/ Opd-46-035-010.xml |
| MD5SUM | 9882d57d510e95008d99aa62e0238ec8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 2400.07 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1611 |
| Number of constraints | 1082 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 33 |
| Distribution of domain sizes | [{"size":2,"count":1610},{"size":33,"count":1}] |
| Minimum variable degree | 47 |
| Maximum variable degree | 1036 |
| Distribution of variable degrees | [{"degree":47,"count":1610},{"degree":1036,"count":1}] |
| Minimum constraint arity | 35 |
| Maximum constraint arity | 1610 |
| Distribution of constraint arities | [{"arity":35,"count":46},{"arity":71,"count":1035},{"arity":1610,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":1081}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.00/0.10 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272104-1502724333.xml" -tl '2520s' -p 1 -x 3 0.08/0.28 c [HOME/instance-4272104-1502724333.xml, -tl, 2520s, -p, 1, -x, 3] 0.26/0.34 c simple solver 0.26/0.41 c parse instance... 2.48/1.17 c solve instance... 74.19/68.00 o 7 144.79/136.05 o 6 151.58/142.72 o 5 2520.05/2456.40 s SATISFIABLE 2520.05/2456.40 v <instantiation> 2520.05/2456.40 v <list>z 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[0][34] 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[1][34] 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[2][34] 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[3][34] 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[4][34] 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[5][34] 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[6][34] 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[7][34] 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[8][34] 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[9][34] 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[10][34] 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[11][34] 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[12][34] 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[13][34] 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[14][34] 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[15][34] 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[16][34] 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[17][34] 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[18][34] 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[19][34] 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[20][34] 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[21][34] 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[22][34] 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[23][34] 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[24][34] 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[25][34] 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[26][34] 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[27][34] 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[28][34] 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[29][34] 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[30][34] 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[31][34] 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[32][34] 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] x[33][34] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] </list> 2520.05/2456.40 v <values>5 0 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 1 1 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 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 </values> 2520.05/2456.40 v </instantiation> 2520.05/2456.40 c Unexpected resolution interruption!
OK 5
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 (13590 MiB free)
memory of node 1: 16384 MiB (15358 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272104-1502724333/watcher-4272104-1502724333 -o /tmp/evaluation-result-4272104-1502724333/solver-4272104-1502724333 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 96793587 HOME/instance-4272104-1502724333.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
solver pid=22105, runsolver pid=22102
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 1.50 1.51 1.65 2/200 22106
/proc/meminfo: memFree=29643372/32770624 swapFree=67108860/67108860
[pid=22105] ppid=22102 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22105/stat : 22105 (xcsp3-exec) S 22102 22105 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74653979 9740288 344 18446744073709551615 4194304 5098028 140728900677024 140728900675128 140666304545404 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 16670720 140728900678010 140728900678213 140728900678213 140728900681707 0
/proc/22105/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1376 KiB
[startup+0.209368 s]*
/proc/loadavg: 1.50 1.51 1.65 3/215 22121
/proc/meminfo: memFree=29631816/32770624 swapFree=67108860/67108860
[pid=22105] ppid=22102 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22105/stat : 22105 (xcsp3-exec) S 22102 22105 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74653979 9740288 344 18446744073709551615 4194304 5098028 140728900677024 140728900675128 140666304545404 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 16670720 140728900678010 140728900678213 140728900678213 140728900681707 0
/proc/22105/statm: 2378 344 289 221 0 87 0
[pid=22107] ppid=22105 vsize=13974352 memory=24836 CPUtime=0.08 cores=1,3,5,7
/proc/22107/stat : 22107 (java) S 22105 22105 897 0 -1 1077944320 5109 0 0 0 7 1 0 0 20 0 15 0 74653990 14309736448 6201 18446744073709551615 4194304 4196468 140732240691024 140732240673568 139938706079479 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
/proc/22107/statm: 3493588 6201 2728 1 0 3482964 0
[pid=22107/tid=22108] ppid=22105 vsize=13974352 memory=8390339637985935414 CPUtime=0.06 cores=1,3,5,7
/proc/22107/task/22108/stat : 22108 (java) R 22105 22105 897 0 -1 4202560 3278 0 0 0 5 1 0 0 20 0 15 0 74653990 14309736448 6209 18446744073709551615 4194304 4196468 140732240691024 139938710305168 139938692312365 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22109] ppid=22105 vsize=13974352 memory=307370894534390116 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22109/stat : 22109 (java) S 22105 22105 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74653991 14309736448 6209 18446744073709551615 4194304 4196468 140732240691024 139938625493776 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22110] ppid=22105 vsize=13974352 memory=140688130680194 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22110/stat : 22110 (java) S 22105 22105 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74653991 14309736448 6209 18446744073709551615 4194304 4196468 140732240691024 139938305665936 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22111] ppid=22105 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22111/stat : 22111 (java) S 22105 22105 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74653991 14309736448 6209 18446744073709551615 4194304 4196468 140732240691024 139938304613392 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22112] ppid=22105 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22112/stat : 22112 (java) S 22105 22105 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74653991 14309736448 6209 18446744073709551615 4194304 4196468 140732240691024 139938303560848 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22113] ppid=22105 vsize=13974352 memory=140688130659968 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22113/stat : 22113 (java) S 22105 22105 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74653992 14309736448 6209 18446744073709551615 4194304 4196468 140732240691024 139938184513520 139938706090626 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22114] ppid=22105 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22114/stat : 22114 (java) S 22105 22105 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74653992 14309736448 6209 18446744073709551615 4194304 4196468 140732240691024 139938183459744 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22115] ppid=22105 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22115/stat : 22115 (java) S 22105 22105 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74653993 14309736448 6209 18446744073709551615 4194304 4196468 140732240691024 139938182407152 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22116] ppid=22105 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22116/stat : 22116 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14309736448 6209 18446744073709551615 4194304 4196468 140732240691024 139938181355728 139938706098075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22117] ppid=22105 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22117/stat : 22117 (java) S 22105 22105 897 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 74653995 14309736448 6209 18446744073709551615 4194304 4196468 140732240691024 139938180303344 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22118] ppid=22105 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22118/stat : 22118 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14309736448 6209 18446744073709551615 4194304 4196468 140732240691024 139938179250800 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22119] ppid=22105 vsize=13974352 memory=140688130659968 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22119/stat : 22119 (java) S 22105 22105 897 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 74653995 14309736448 6209 18446744073709551615 4194304 4196468 140732240691024 139938178198256 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22120] ppid=22105 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22120/stat : 22120 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14309736448 6209 18446744073709551615 4194304 4196468 140732240691024 139938177145952 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22121] ppid=22105 vsize=13974352 memory=140688130659968 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22121/stat : 22121 (java) S 22105 22105 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74653999 14309736448 6209 18446744073709551615 4194304 4196468 140732240691024 139938176092464 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26212 KiB
[startup+0.310423 s]*
/proc/loadavg: 1.50 1.51 1.65 4/215 22121
/proc/meminfo: memFree=29616528/32770624 swapFree=67108860/67108860
[pid=22105] ppid=22102 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22105/stat : 22105 (xcsp3-exec) S 22102 22105 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74653979 9740288 344 18446744073709551615 4194304 5098028 140728900677024 140728900675128 140666304545404 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 16670720 140728900678010 140728900678213 140728900678213 140728900681707 0
/proc/22105/statm: 2378 344 289 221 0 87 0
[pid=22107] ppid=22105 vsize=13974352 memory=37092 CPUtime=0.26 cores=1,3,5,7
/proc/22107/stat : 22107 (java) S 22105 22105 897 0 -1 1077944320 8777 0 0 0 24 2 0 0 20 0 15 0 74653990 14309736448 9273 18446744073709551615 4194304 4196468 140732240691024 140732240673568 139938706079479 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
/proc/22107/statm: 3493588 9273 2982 1 0 3482964 0
[pid=22107/tid=22108] ppid=22105 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/22107/task/22108/stat : 22108 (java) R 22105 22105 897 0 -1 4202560 6059 0 0 0 14 2 0 0 20 0 15 0 74653990 14309736448 9273 18446744073709551615 4194304 4196468 140732240691024 139938710292928 139938690389970 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22109] ppid=22105 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22109/stat : 22109 (java) S 22105 22105 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74653991 14309736448 9273 18446744073709551615 4194304 4196468 140732240691024 139938625493776 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22110] ppid=22105 vsize=13974352 memory=140688130659968 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22110/stat : 22110 (java) S 22105 22105 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74653991 14309736448 9273 18446744073709551615 4194304 4196468 140732240691024 139938305665936 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22111] ppid=22105 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22111/stat : 22111 (java) S 22105 22105 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74653991 14309736448 9273 18446744073709551615 4194304 4196468 140732240691024 139938304613392 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22112] ppid=22105 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22112/stat : 22112 (java) S 22105 22105 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74653991 14309736448 9273 18446744073709551615 4194304 4196468 140732240691024 139938303560848 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22113] ppid=22105 vsize=13974352 memory=140688130659968 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22113/stat : 22113 (java) S 22105 22105 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74653992 14309736448 9273 18446744073709551615 4194304 4196468 140732240691024 139938184513520 139938706090626 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22114] ppid=22105 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22114/stat : 22114 (java) S 22105 22105 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74653992 14309736448 9273 18446744073709551615 4194304 4196468 140732240691024 139938183459744 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22115] ppid=22105 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22115/stat : 22115 (java) S 22105 22105 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74653993 14309736448 9273 18446744073709551615 4194304 4196468 140732240691024 139938182407152 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22116] ppid=22105 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22116/stat : 22116 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14309736448 9273 18446744073709551615 4194304 4196468 140732240691024 139938181355728 139938706098075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22117] ppid=22105 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22107/task/22117/stat : 22117 (java) R 22105 22105 897 0 -1 4202560 614 0 0 0 2 0 0 0 20 0 15 0 74653995 14309736448 9273 18446744073709551615 4194304 4196468 140732240691024 139938180303344 139938684482926 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22118] ppid=22105 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22107/task/22118/stat : 22118 (java) R 22105 22105 897 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 15 0 74653995 14309736448 9273 18446744073709551615 4194304 4196468 140732240691024 139938179250800 139938706090626 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22119] ppid=22105 vsize=13974352 memory=140688130659968 CPUtime=0.06 cores=1,3,5,7
/proc/22107/task/22119/stat : 22119 (java) R 22105 22105 897 0 -1 4202560 726 0 0 0 6 0 0 0 20 0 15 0 74653995 14309736448 9273 18446744073709551615 4194304 4196468 140732240691024 139938178198256 139938685097882 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22120] ppid=22105 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22120/stat : 22120 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14309736448 9273 18446744073709551615 4194304 4196468 140732240691024 139938177145952 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22121] ppid=22105 vsize=13974352 memory=140688130659968 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22121/stat : 22121 (java) S 22105 22105 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74653999 14309736448 9273 18446744073709551615 4194304 4196468 140732240691024 139938176092464 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38468 KiB
[startup+0.700885 s]
/proc/loadavg: 1.50 1.51 1.65 5/215 22121
/proc/meminfo: memFree=29605204/32770624 swapFree=67108860/67108860
[pid=22105] ppid=22102 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22105/stat : 22105 (xcsp3-exec) S 22102 22105 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74653979 9740288 344 18446744073709551615 4194304 5098028 140728900677024 140728900675128 140666304545404 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 16670720 140728900678010 140728900678213 140728900678213 140728900681707 0
/proc/22105/statm: 2378 344 289 221 0 87 0
[pid=22107] ppid=22105 vsize=13980732 memory=68812 CPUtime=1.17 cores=1,3,5,7
/proc/22107/stat : 22107 (java) S 22105 22105 897 0 -1 1077944320 11922 0 0 0 112 5 0 0 20 0 15 0 74653990 14316269568 17203 18446744073709551615 4194304 4196468 140732240691024 140732240673568 139938706079479 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
/proc/22107/statm: 3495183 17203 3159 1 0 3483476 0
[pid=22107/tid=22108] ppid=22105 vsize=13980732 memory=4044 CPUtime=0.54 cores=1,3,5,7
/proc/22107/task/22108/stat : 22108 (java) R 22105 22105 897 0 -1 1077944384 8015 0 0 0 50 4 0 0 20 0 15 0 74653990 14316269568 17203 18446744073709551615 4194304 4196468 140732240691024 139938710316944 139938706089685 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22109] ppid=22105 vsize=13980732 memory=640 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22109/stat : 22109 (java) S 22105 22105 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74653991 14316269568 17203 18446744073709551615 4194304 4196468 140732240691024 139938625493776 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22110] ppid=22105 vsize=13980732 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22110/stat : 22110 (java) S 22105 22105 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74653991 14316269568 17203 18446744073709551615 4194304 4196468 140732240691024 139938305665936 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22111] ppid=22105 vsize=13980732 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22111/stat : 22111 (java) S 22105 22105 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74653991 14316269568 17203 18446744073709551615 4194304 4196468 140732240691024 139938304613392 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22112] ppid=22105 vsize=13980732 memory=960 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22112/stat : 22112 (java) S 22105 22105 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74653991 14316269568 17203 18446744073709551615 4194304 4196468 140732240691024 139938303560848 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22113] ppid=22105 vsize=13980732 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22113/stat : 22113 (java) S 22105 22105 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 74653992 14316269568 17203 18446744073709551615 4194304 4196468 140732240691024 139938184513520 139938706090626 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22114] ppid=22105 vsize=13980732 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22114/stat : 22114 (java) S 22105 22105 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74653992 14316269568 17203 18446744073709551615 4194304 4196468 140732240691024 139938183459744 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22115] ppid=22105 vsize=13980732 memory=4304 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22115/stat : 22115 (java) S 22105 22105 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74653993 14316269568 17203 18446744073709551615 4194304 4196468 140732240691024 139938182407152 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22116] ppid=22105 vsize=13980732 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22116/stat : 22116 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14316269568 17203 18446744073709551615 4194304 4196468 140732240691024 139938181355728 139938706098075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22117] ppid=22105 vsize=13980732 memory=928 CPUtime=0.16 cores=1,3,5,7
/proc/22107/task/22117/stat : 22117 (java) R 22105 22105 897 0 -1 4202560 945 0 0 0 16 0 0 0 20 0 15 0 74653995 14316269568 17203 18446744073709551615 4194304 4196468 140732240691024 139938180290192 139938685317936 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22118] ppid=22105 vsize=13980732 memory=2164 CPUtime=0.15 cores=1,3,5,7
/proc/22107/task/22118/stat : 22118 (java) R 22105 22105 897 0 -1 1077944384 355 0 0 0 15 0 0 0 20 0 15 0 74653995 14316269568 17203 18446744073709551615 4194304 4196468 140732240691024 139938179250928 139938706089685 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22119] ppid=22105 vsize=13980732 memory=51028 CPUtime=0.3 cores=1,3,5,7
/proc/22107/task/22119/stat : 22119 (java) R 22105 22105 897 0 -1 4202560 1301 0 0 0 30 0 0 0 20 0 15 0 74653995 14316269568 17203 18446744073709551615 4194304 4196468 140732240691024 139938178193520 139938706091414 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22120] ppid=22105 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22120/stat : 22120 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14316269568 17203 18446744073709551615 4194304 4196468 140732240691024 139938177145952 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22121] ppid=22105 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22121/stat : 22121 (java) S 22105 22105 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74653999 14316269568 17203 18446744073709551615 4194304 4196468 140732240691024 139938176092464 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 70188 KiB
[startup+1.50084 s]
/proc/loadavg: 1.50 1.51 1.65 6/215 22121
/proc/meminfo: memFree=29443808/32770624 swapFree=67108860/67108860
[pid=22105] ppid=22102 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22105/stat : 22105 (xcsp3-exec) S 22102 22105 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74653979 9740288 344 18446744073709551615 4194304 5098028 140728900677024 140728900675128 140666304545404 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 16670720 140728900678010 140728900678213 140728900678213 140728900681707 0
/proc/22105/statm: 2378 344 289 221 0 87 0
[pid=22107] ppid=22105 vsize=13980732 memory=241756 CPUtime=3.32 cores=1,3,5,7
/proc/22107/stat : 22107 (java) S 22105 22105 897 0 -1 1077944320 15321 0 0 0 317 15 0 0 20 0 15 0 74653990 14316269568 60439 18446744073709551615 4194304 4196468 140732240691024 140732240673568 139938706079479 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
/proc/22107/statm: 3495183 60439 3216 1 0 3483476 0
[pid=22107/tid=22108] ppid=22105 vsize=13980732 memory=0 CPUtime=1.26 cores=1,3,5,7
/proc/22107/task/22108/stat : 22108 (java) R 22105 22105 897 0 -1 4202560 8684 0 0 0 121 5 0 0 20 0 15 0 74653990 14316269568 60439 18446744073709551615 4194304 4196468 140732240691024 139938710316752 139938311145401 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22109] ppid=22105 vsize=13980732 memory=4116 CPUtime=0.04 cores=1,3,5,7
/proc/22107/task/22109/stat : 22109 (java) S 22105 22105 897 0 -1 1077944384 86 0 0 0 3 1 0 0 20 0 15 0 74653991 14316269568 60439 18446744073709551615 4194304 4196468 140732240691024 139938625493776 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22110] ppid=22105 vsize=13980732 memory=41132 CPUtime=0.06 cores=1,3,5,7
/proc/22107/task/22110/stat : 22110 (java) S 22105 22105 897 0 -1 1077944384 85 0 0 0 4 2 0 0 20 0 15 0 74653991 14316269568 60439 18446744073709551615 4194304 4196468 140732240691024 139938305665936 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22111] ppid=22105 vsize=13980732 memory=2241 CPUtime=0.06 cores=1,3,5,7
/proc/22107/task/22111/stat : 22111 (java) S 22105 22105 897 0 -1 1077944384 106 0 0 0 4 2 0 0 20 0 15 0 74653991 14316269568 60439 18446744073709551615 4194304 4196468 140732240691024 139938304613392 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22112] ppid=22105 vsize=13980732 memory=2244 CPUtime=0.06 cores=1,3,5,7
/proc/22107/task/22112/stat : 22112 (java) S 22105 22105 897 0 -1 1077944384 83 0 0 0 4 2 0 0 20 0 15 0 74653991 14316269568 60439 18446744073709551615 4194304 4196468 140732240691024 139938303560848 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22113] ppid=22105 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22113/stat : 22113 (java) S 22105 22105 897 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 74653992 14316269568 60439 18446744073709551615 4194304 4196468 140732240691024 139938184513520 139938706090626 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22114] ppid=22105 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22114/stat : 22114 (java) S 22105 22105 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 74653992 14316269568 60439 18446744073709551615 4194304 4196468 140732240691024 139938183459744 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22115] ppid=22105 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22115/stat : 22115 (java) S 22105 22105 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 74653993 14316269568 60439 18446744073709551615 4194304 4196468 140732240691024 139938182407152 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22116] ppid=22105 vsize=13980732 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22116/stat : 22116 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14316269568 60439 18446744073709551615 4194304 4196468 140732240691024 139938181355728 139938706098075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22117] ppid=22105 vsize=13980732 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/22107/task/22117/stat : 22117 (java) R 22105 22105 897 0 -1 4202560 1905 0 0 0 65 0 0 0 20 0 15 0 74653995 14316269568 60439 18446744073709551615 4194304 4196468 140732240691024 139938180294992 139938687602352 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22118] ppid=22105 vsize=13980732 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/22107/task/22118/stat : 22118 (java) S 22105 22105 897 0 -1 1077944384 1110 0 0 0 65 0 0 0 20 0 15 0 74653995 14316269568 60439 18446744073709551615 4194304 4196468 140732240691024 139938179250800 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22119] ppid=22105 vsize=13980732 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/22107/task/22119/stat : 22119 (java) S 22105 22105 897 0 -1 1077944384 1880 0 0 0 46 0 0 0 20 0 15 0 74653995 14316269568 60439 18446744073709551615 4194304 4196468 140732240691024 139938178198256 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22120] ppid=22105 vsize=13980732 memory=1521 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22120/stat : 22120 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14316269568 60439 18446744073709551615 4194304 4196468 140732240691024 139938177145952 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22121] ppid=22105 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22121/stat : 22121 (java) S 22105 22105 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74653999 14316269568 60439 18446744073709551615 4194304 4196468 140732240691024 139938176092464 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
################
# More data... #
################
/proc/22107/task/22115/stat : 22115 (java) S 22105 22105 897 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 74653993 14316269568 193040 18446744073709551615 4194304 4196468 140732240691024 139938182407168 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22116] ppid=22105 vsize=13980732 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22116/stat : 22116 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14316269568 193040 18446744073709551615 4194304 4196468 140732240691024 139938181355728 139938706098075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22117] ppid=22105 vsize=13980732 memory=23120 CPUtime=3.78 cores=1,3,5,7
/proc/22107/task/22117/stat : 22117 (java) S 22105 22105 897 0 -1 1077944384 15611 0 0 0 375 3 0 0 20 0 15 0 74653995 14316269568 193040 18446744073709551615 4194304 4196468 140732240691024 139938180303344 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22118] ppid=22105 vsize=13980732 memory=4124 CPUtime=4.21 cores=1,3,5,7
/proc/22107/task/22118/stat : 22118 (java) S 22105 22105 897 0 -1 1077944384 17748 0 0 0 418 3 0 0 20 0 15 0 74653995 14316269568 193040 18446744073709551615 4194304 4196468 140732240691024 139938179250800 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22119] ppid=22105 vsize=13980732 memory=4076 CPUtime=0.92 cores=1,3,5,7
/proc/22107/task/22119/stat : 22119 (java) S 22105 22105 897 0 -1 1077944384 9282 0 0 0 90 2 0 0 20 0 15 0 74653995 14316269568 193040 18446744073709551615 4194304 4196468 140732240691024 139938178198256 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22120] ppid=22105 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22120/stat : 22120 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14316269568 193040 18446744073709551615 4194304 4196468 140732240691024 139938177145952 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22121] ppid=22105 vsize=13980732 memory=774728 CPUtime=1.33 cores=1,3,5,7
/proc/22107/task/22121/stat : 22121 (java) S 22105 22105 897 0 -1 1077944384 1223 0 0 0 60 73 0 0 20 0 15 0 74653999 14316269568 193040 18446744073709551615 4194304 4196468 140732240691024 139938176092464 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
Current children cumulated CPU time: 2382.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 773536 KiB
[startup+2382.3 s]
/proc/loadavg: 1.60 1.61 1.59 3/215 22414
/proc/meminfo: memFree=29737940/32770624 swapFree=67108860/67108860
[pid=22105] ppid=22102 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22105/stat : 22105 (xcsp3-exec) S 22102 22105 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74653979 9740288 344 18446744073709551615 4194304 5098028 140728900677024 140728900675128 140666304545404 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 16670720 140728900678010 140728900678213 140728900678213 140728900681707 0
/proc/22105/statm: 2378 344 289 221 0 87 0
[pid=22107] ppid=22105 vsize=13980732 memory=872196 CPUtime=2443.41 cores=1,3,5,7
/proc/22107/stat : 22107 (java) S 22105 22105 897 0 -1 1077944320 230684 0 0 0 244001 340 0 0 20 0 15 0 74653990 14316269568 218049 18446744073709551615 4194304 4196468 140732240691024 140732240673568 139938706079479 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
/proc/22107/statm: 3495183 218049 3257 1 0 3483476 0
[pid=22107/tid=22108] ppid=22105 vsize=13980732 memory=883996 CPUtime=2363.78 cores=1,3,5,7
/proc/22107/task/22108/stat : 22108 (java) R 22105 22105 897 0 -1 4202560 86664 0 0 0 236328 50 0 0 20 0 15 0 74653990 14316269568 218049 18446744073709551615 4194304 4196468 140732240691024 139938710319072 139938312503693 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22109] ppid=22105 vsize=13980732 memory=872196 CPUtime=17.05 cores=1,3,5,7
/proc/22107/task/22109/stat : 22109 (java) S 22105 22105 897 0 -1 1077944384 17185 0 0 0 1654 51 0 0 20 0 15 0 74653991 14316269568 218049 18446744073709551615 4194304 4196468 140732240691024 139938625493776 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22110] ppid=22105 vsize=13980732 memory=872196 CPUtime=17.06 cores=1,3,5,7
/proc/22107/task/22110/stat : 22110 (java) S 22105 22105 897 0 -1 1077944384 13555 0 0 0 1656 50 0 0 20 0 15 0 74653991 14316269568 218049 18446744073709551615 4194304 4196468 140732240691024 139938305665936 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22111] ppid=22105 vsize=13980732 memory=1376 CPUtime=17.04 cores=1,3,5,7
/proc/22107/task/22111/stat : 22111 (java) S 22105 22105 897 0 -1 1077944384 12780 0 0 0 1654 50 0 0 20 0 15 0 74653991 14316269568 218049 18446744073709551615 4194304 4196468 140732240691024 139938304613392 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22112] ppid=22105 vsize=13980732 memory=0 CPUtime=17.09 cores=1,3,5,7
/proc/22107/task/22112/stat : 22112 (java) S 22105 22105 897 0 -1 1077944384 13164 0 0 0 1658 51 0 0 20 0 15 0 74653991 14316269568 218049 18446744073709551615 4194304 4196468 140732240691024 139938303560848 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22113] ppid=22105 vsize=13980732 memory=1376 CPUtime=1.01 cores=1,3,5,7
/proc/22107/task/22113/stat : 22113 (java) S 22105 22105 897 0 -1 1077944384 42080 0 0 0 83 18 0 0 20 0 15 0 74653992 14316269568 218049 18446744073709551615 4194304 4196468 140732240691024 139938184513520 139938706090626 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22114] ppid=22105 vsize=13980732 memory=883484 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22114/stat : 22114 (java) S 22105 22105 897 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 74653992 14316269568 218049 18446744073709551615 4194304 4196468 140732240691024 139938183459808 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22115] ppid=22105 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22115/stat : 22115 (java) S 22105 22105 897 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 74653993 14316269568 218049 18446744073709551615 4194304 4196468 140732240691024 139938182407168 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22116] ppid=22105 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22116/stat : 22116 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14316269568 218049 18446744073709551615 4194304 4196468 140732240691024 139938181355728 139938706098075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22117] ppid=22105 vsize=13980732 memory=1376 CPUtime=3.79 cores=1,3,5,7
/proc/22107/task/22117/stat : 22117 (java) S 22105 22105 897 0 -1 1077944384 15611 0 0 0 376 3 0 0 20 0 15 0 74653995 14316269568 218049 18446744073709551615 4194304 4196468 140732240691024 139938180303344 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22118] ppid=22105 vsize=13980732 memory=883484 CPUtime=4.21 cores=1,3,5,7
/proc/22107/task/22118/stat : 22118 (java) S 22105 22105 897 0 -1 1077944384 17748 0 0 0 418 3 0 0 20 0 15 0 74653995 14316269568 218049 18446744073709551615 4194304 4196468 140732240691024 139938179250800 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22119] ppid=22105 vsize=13980732 memory=4116 CPUtime=0.92 cores=1,3,5,7
/proc/22107/task/22119/stat : 22119 (java) S 22105 22105 897 0 -1 1077944384 9282 0 0 0 90 2 0 0 20 0 15 0 74653995 14316269568 218049 18446744073709551615 4194304 4196468 140732240691024 139938178198256 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22120] ppid=22105 vsize=13980732 memory=41212 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22120/stat : 22120 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14316269568 218049 18446744073709551615 4194304 4196468 140732240691024 139938177145952 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22121] ppid=22105 vsize=13980732 memory=4116 CPUtime=1.36 cores=1,3,5,7
/proc/22107/task/22121/stat : 22121 (java) S 22105 22105 897 0 -1 1077944384 1227 0 0 0 62 74 0 0 20 0 15 0 74653999 14316269568 218049 18446744073709551615 4194304 4196468 140732240691024 139938176092464 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
Current children cumulated CPU time: 2443.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 873572 KiB
[startup+2442.3 s]
/proc/loadavg: 1.61 1.62 1.59 3/212 22416
/proc/meminfo: memFree=29850148/32770624 swapFree=67108860/67108860
[pid=22105] ppid=22102 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22105/stat : 22105 (xcsp3-exec) S 22102 22105 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74653979 9740288 344 18446744073709551615 4194304 5098028 140728900677024 140728900675128 140666304545404 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 16670720 140728900678010 140728900678213 140728900678213 140728900681707 0
/proc/22105/statm: 2378 344 289 221 0 87 0
[pid=22107] ppid=22105 vsize=13980732 memory=766116 CPUtime=2505.73 cores=1,3,5,7
/proc/22107/stat : 22107 (java) S 22105 22105 897 0 -1 1077944320 234741 0 0 0 250229 344 0 0 20 0 15 0 74653990 14316269568 191529 18446744073709551615 4194304 4196468 140732240691024 140732240673568 139938706079479 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
/proc/22107/statm: 3495183 191529 3257 1 0 3483476 0
[pid=22107/tid=22108] ppid=22105 vsize=13980732 memory=759332 CPUtime=2422.96 cores=1,3,5,7
/proc/22107/task/22108/stat : 22108 (java) R 22105 22105 897 0 -1 4202560 87286 0 0 0 242246 50 0 0 20 0 15 0 74653990 14316269568 191529 18446744073709551615 4194304 4196468 140732240691024 139938710318752 139938314915932 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22109] ppid=22105 vsize=13980732 memory=759332 CPUtime=17.82 cores=1,3,5,7
/proc/22107/task/22109/stat : 22109 (java) S 22105 22105 897 0 -1 1077944384 17553 0 0 0 1730 52 0 0 20 0 15 0 74653991 14316269568 191529 18446744073709551615 4194304 4196468 140732240691024 139938625493776 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22110] ppid=22105 vsize=13980732 memory=763436 CPUtime=17.83 cores=1,3,5,7
/proc/22107/task/22110/stat : 22110 (java) S 22105 22105 897 0 -1 1077944384 13857 0 0 0 1732 51 0 0 20 0 15 0 74653991 14316269568 191529 18446744073709551615 4194304 4196468 140732240691024 139938305665936 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22111] ppid=22105 vsize=13980732 memory=775236 CPUtime=17.82 cores=1,3,5,7
/proc/22107/task/22111/stat : 22111 (java) S 22105 22105 897 0 -1 1077944384 13270 0 0 0 1731 51 0 0 20 0 15 0 74653991 14316269568 191529 18446744073709551615 4194304 4196468 140732240691024 139938304613392 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22112] ppid=22105 vsize=13980732 memory=811148 CPUtime=17.85 cores=1,3,5,7
/proc/22107/task/22112/stat : 22112 (java) S 22105 22105 897 0 -1 1077944384 13969 0 0 0 1734 51 0 0 20 0 15 0 74653991 14316269568 191529 18446744073709551615 4194304 4196468 140732240691024 139938303560848 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22113] ppid=22105 vsize=13980732 memory=808584 CPUtime=1.05 cores=1,3,5,7
/proc/22107/task/22113/stat : 22113 (java) S 22105 22105 897 0 -1 1077944384 43526 0 0 0 86 19 0 0 20 0 15 0 74653992 14316269568 191529 18446744073709551615 4194304 4196468 140732240691024 139938184513520 139938706090626 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22114] ppid=22105 vsize=13980732 memory=777800 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22114/stat : 22114 (java) S 22105 22105 897 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 74653992 14316269568 191529 18446744073709551615 4194304 4196468 140732240691024 139938183459808 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22115] ppid=22105 vsize=13980732 memory=759332 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22115/stat : 22115 (java) S 22105 22105 897 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 74653993 14316269568 191529 18446744073709551615 4194304 4196468 140732240691024 139938182407168 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22116] ppid=22105 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22116/stat : 22116 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14316269568 191529 18446744073709551615 4194304 4196468 140732240691024 139938181355728 139938706098075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22117] ppid=22105 vsize=13980732 memory=1376 CPUtime=3.79 cores=1,3,5,7
/proc/22107/task/22117/stat : 22117 (java) S 22105 22105 897 0 -1 1077944384 15613 0 0 0 376 3 0 0 20 0 15 0 74653995 14316269568 191529 18446744073709551615 4194304 4196468 140732240691024 139938180303344 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22118] ppid=22105 vsize=13980732 memory=766116 CPUtime=4.21 cores=1,3,5,7
/proc/22107/task/22118/stat : 22118 (java) S 22105 22105 897 0 -1 1077944384 17750 0 0 0 418 3 0 0 20 0 15 0 74653995 14316269568 191529 18446744073709551615 4194304 4196468 140732240691024 139938179250800 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22119] ppid=22105 vsize=13980732 memory=1376 CPUtime=0.92 cores=1,3,5,7
/proc/22107/task/22119/stat : 22119 (java) S 22105 22105 897 0 -1 1077944384 9284 0 0 0 90 2 0 0 20 0 15 0 74653995 14316269568 191529 18446744073709551615 4194304 4196468 140732240691024 139938178198256 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22120] ppid=22105 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22120/stat : 22120 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14316269568 191529 18446744073709551615 4194304 4196468 140732240691024 139938177145952 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22121] ppid=22105 vsize=13980732 memory=1376 CPUtime=1.39 cores=1,3,5,7
/proc/22107/task/22121/stat : 22121 (java) S 22105 22105 897 0 -1 1077944384 1245 0 0 0 63 76 0 0 20 0 15 0 74653999 14316269568 191529 18446744073709551615 4194304 4196468 140732240691024 139938176092464 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
Current children cumulated CPU time: 2505.73 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 767492 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2456.4 s]
/proc/loadavg: 1.62 1.62 1.59 3/212 22416
/proc/meminfo: memFree=29825688/32770624 swapFree=67108860/67108860
[pid=22105] ppid=22102 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22105/stat : 22105 (xcsp3-exec) S 22102 22105 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74653979 9740288 344 18446744073709551615 4194304 5098028 140728900677024 140728900675128 140666304545404 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 16670720 140728900678010 140728900678213 140728900678213 140728900681707 0
/proc/22105/statm: 2378 344 289 221 0 87 0
[pid=22107] ppid=22105 vsize=13980732 memory=800032 CPUtime=2520.05 cores=1,3,5,7
/proc/22107/stat : 22107 (java) S 22105 22105 897 0 -1 1077944320 235650 0 0 0 251657 348 0 0 20 0 15 0 74653990 14316269568 200008 18446744073709551615 4194304 4196468 140732240691024 140732240673568 139938706079479 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
/proc/22107/statm: 3495183 200008 3257 1 0 3483476 0
[pid=22107/tid=22108] ppid=22105 vsize=13980732 memory=-8774313645642428999 CPUtime=2436.98 cores=1,3,5,7
/proc/22107/task/22108/stat : 22108 (java) R 22105 22105 897 0 -1 4202560 87308 0 0 0 243648 50 0 0 20 0 15 0 74653990 14316269568 200008 18446744073709551615 4194304 4196468 140732240691024 139938710318960 139938312876216 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22109] ppid=22105 vsize=13980732 memory=800032 CPUtime=17.89 cores=1,3,5,7
/proc/22107/task/22109/stat : 22109 (java) S 22105 22105 897 0 -1 1077944384 17711 0 0 0 1736 53 0 0 20 0 15 0 74653991 14316269568 200008 18446744073709551615 4194304 4196468 140732240691024 139938625493776 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22110] ppid=22105 vsize=13980732 memory=10164 CPUtime=17.89 cores=1,3,5,7
/proc/22107/task/22110/stat : 22110 (java) S 22105 22105 897 0 -1 1077944384 14147 0 0 0 1738 51 0 0 20 0 15 0 74653991 14316269568 200008 18446744073709551615 4194304 4196468 140732240691024 139938305665936 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22111] ppid=22105 vsize=13980732 memory=1440 CPUtime=17.88 cores=1,3,5,7
/proc/22107/task/22111/stat : 22111 (java) S 22105 22105 897 0 -1 1077944384 13532 0 0 0 1737 51 0 0 20 0 15 0 74653991 14316269568 200008 18446744073709551615 4194304 4196468 140732240691024 139938304613392 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22112] ppid=22105 vsize=13980732 memory=2000 CPUtime=17.93 cores=1,3,5,7
/proc/22107/task/22112/stat : 22112 (java) S 22105 22105 897 0 -1 1077944384 14115 0 0 0 1741 52 0 0 20 0 15 0 74653991 14316269568 200008 18446744073709551615 4194304 4196468 140732240691024 139938303560848 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22113] ppid=22105 vsize=13980732 memory=2164 CPUtime=1.05 cores=1,3,5,7
/proc/22107/task/22113/stat : 22113 (java) S 22105 22105 897 0 -1 1077944384 43549 0 0 0 86 19 0 0 20 0 15 0 74653992 14316269568 200008 18446744073709551615 4194304 4196468 140732240691024 139938184513520 139938706090626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22114] ppid=22105 vsize=13980732 memory=840 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22114/stat : 22114 (java) S 22105 22105 897 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 74653992 14316269568 200008 18446744073709551615 4194304 4196468 140732240691024 139938183459808 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22115] ppid=22105 vsize=13980732 memory=16436 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22115/stat : 22115 (java) S 22105 22105 897 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 74653993 14316269568 200008 18446744073709551615 4194304 4196468 140732240691024 139938182407168 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22116] ppid=22105 vsize=13980732 memory=2852 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22116/stat : 22116 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14316269568 200008 18446744073709551615 4194304 4196468 140732240691024 139938181355728 139938706098075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22117] ppid=22105 vsize=13980732 memory=2752 CPUtime=3.79 cores=1,3,5,7
/proc/22107/task/22117/stat : 22117 (java) S 22105 22105 897 0 -1 1077944384 15615 0 0 0 376 3 0 0 20 0 15 0 74653995 14316269568 200008 18446744073709551615 4194304 4196468 140732240691024 139938180303344 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22118] ppid=22105 vsize=13980732 memory=1156 CPUtime=4.21 cores=1,3,5,7
/proc/22107/task/22118/stat : 22118 (java) S 22105 22105 897 0 -1 1077944384 17752 0 0 0 418 3 0 0 20 0 15 0 74653995 14316269568 200008 18446744073709551615 4194304 4196468 140732240691024 139938179250800 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22119] ppid=22105 vsize=13980732 memory=3268 CPUtime=0.92 cores=1,3,5,7
/proc/22107/task/22119/stat : 22119 (java) S 22105 22105 897 0 -1 1077944384 9286 0 0 0 90 2 0 0 20 0 15 0 74653995 14316269568 200008 18446744073709551615 4194304 4196468 140732240691024 139938178198256 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22120] ppid=22105 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22107/task/22120/stat : 22120 (java) S 22105 22105 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74653995 14316269568 200008 18446744073709551615 4194304 4196468 140732240691024 139938177145952 139938706089685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
[pid=22107/tid=22121] ppid=22105 vsize=13980732 memory=800032 CPUtime=1.41 cores=1,3,5,7
/proc/22107/task/22121/stat : 22121 (java) S 22105 22105 897 0 -1 1077944384 1247 0 0 0 64 77 0 0 20 0 15 0 74653999 14316269568 200008 18446744073709551615 4194304 4196468 140732240691024 139938176092464 139938706090626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 12460032 140732240699825 140732240700001 140732240700001 140732240703439 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 801408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2456.41 s]
# the end of solver process 22105 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000901 s, system=0.000901 s
[startup+2456.41 s]
# the end of solver process 22107 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.59 s, system=3.49226 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): 2456.41
CPU time (s): 2520.08
CPU user time (s): 2516.59
CPU system time (s): 3.49226
CPU usage (%): 102.592
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 2360040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.59
system time used= 3.49226
maximum resident set size= 2374080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236411
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70050
involuntary context switches= 2571
# summary of solver processes directly reported to runsolver:
# pid: 22105,22107
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.59
# total CPU system time (s): 3.49226
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7684 second user time and 25.5402 second system time
The end
Begin job on node125 at 2017-08-14 17:11:27 IDJOB=4272104 IDBENCH=122959 IDSOLVER=2664 FILE ID=node125/4272104-1502724333 RUNJOBID= node125-1502662595-11629 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-46-035-010.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-4272104-1502724333/watcher-4272104-1502724333 -o /tmp/evaluation-result-4272104-1502724333/solver-4272104-1502724333 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 96793587 HOME/instance-4272104-1502724333.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9882d57d510e95008d99aa62e0238ec8 RANDOM SEED=96793587 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: 29643652 kB MemAvailable: 30601264 kB Buffers: 296052 kB Cached: 955644 kB SwapCached: 0 kB Active: 2094264 kB Inactive: 597180 kB Active(anon): 1440044 kB Inactive(anon): 33100 kB Active(file): 654220 kB Inactive(file): 564080 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7828 kB Writeback: 4 kB AnonPages: 1439372 kB Mapped: 62764 kB Shmem: 33444 kB Slab: 136264 kB SReclaimable: 110296 kB SUnreclaim: 25968 kB KernelStack: 3504 kB PageTables: 8972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2346000 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1333248 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-14 17:52:24