Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-08-18) | SAT (TO) | 5 | 2521.1699 | 2456.73 |
| 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.07 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283384-1503189238.xml" -tl '2520s' -p 1 -x 3 0.11/0.26 c [HOME/instance-4283384-1503189238.xml, -tl, 2520s, -p, 1, -x, 3] 0.31/0.32 c simple solver 0.31/0.38 c parse instance... 2.63/1.15 c solve instance... 73.62/67.29 o 7 144.53/135.76 o 6 151.38/142.48 o 5 2521.10/2456.72 s SATISFIABLE 2521.10/2456.72 v <instantiation> 2521.10/2456.72 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> 2521.10/2456.72 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> 2521.10/2456.72 v </instantiation> 2521.10/2456.72 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 (14360 MiB free)
memory of node 1: 16384 MiB (15500 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283384-1503189238/watcher-4283384-1503189238 -o /tmp/evaluation-result-4283384-1503189238/solver-4283384-1503189238 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503172076-28737 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2052948105 HOME/instance-4283384-1503189238.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31483, runsolver pid=31480
[startup+0.100158 s]*
/proc/loadavg: 1.36 1.42 1.47 3/202 31490
/proc/meminfo: memFree=30569140/32770624 swapFree=67108860/67108860
[pid=31483] ppid=31480 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31483/stat : 31483 (xcsp3-exec) S 31480 31483 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107264459 9740288 345 18446744073709551615 4194304 5098028 140728352040592 140728352038696 139664546058876 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33853440 140728352043384 140728352043589 140728352043589 140728352047083 0
/proc/31483/statm: 2378 345 289 221 0 87 0
[pid=31485] ppid=31483 vsize=13574484 memory=17404 CPUtime=0.02 cores=1,3,5,7
/proc/31485/stat : 31485 (java) S 31483 31483 13977 0 -1 1077944320 3662 0 0 0 2 0 0 0 20 0 9 0 107264467 13900271616 4351 18446744073709551615 4194304 4196468 140727355644304 140727355626848 140002647166711 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
/proc/31485/statm: 3393621 4351 2064 1 0 3383118 0
[pid=31485/tid=31486] ppid=31483 vsize=13574484 memory=-8713483618642983523 CPUtime=0.02 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (java) R 31483 31483 13977 0 -1 4202560 2366 0 0 0 2 0 0 0 20 0 9 0 107264467 13900271616 4351 18446744073709551615 4194304 4196468 140727355644304 140002651402472 140002639403838 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31487] ppid=31483 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (java) S 31483 31483 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 107264468 13900271616 4351 18446744073709551615 4194304 4196468 140727355644304 140002581600784 140002647176917 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31488] ppid=31483 vsize=13574484 memory=140218907395712 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (java) S 31483 31483 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 107264468 13900271616 4351 18446744073709551615 4194304 4196468 140727355644304 140002580548240 140002647176917 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31489] ppid=31483 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31489/stat : 31489 (java) S 31483 31483 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 107264468 13900271616 4351 18446744073709551615 4194304 4196468 140727355644304 140002245392656 140002647176917 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31490] ppid=31483 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31490/stat : 31490 (java) S 31483 31483 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 107264468 13900271616 4351 18446744073709551615 4194304 4196468 140727355644304 140002244340112 140002647176917 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31491] ppid=31483 vsize=13574484 memory=140218907395712 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31491/stat : 31491 (java) S 31483 31483 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 107264469 13900271616 4351 18446744073709551615 4194304 4196468 140727355644304 140002192923376 140002647177858 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31492] ppid=31483 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31492/stat : 31492 (java) S 31483 31483 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 107264470 13900271616 4351 18446744073709551615 4194304 4196468 140727355644304 140002191869600 140002647176917 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31493] ppid=31483 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31493/stat : 31493 (java) S 31483 31483 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 107264470 13900271616 4351 18446744073709551615 4194304 4196468 140727355644304 140002190816560 140002647176917 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18784 KiB
[startup+0.209909 s]*
/proc/loadavg: 1.36 1.42 1.47 4/211 31499
/proc/meminfo: memFree=30560700/32770624 swapFree=67108860/67108860
[pid=31483] ppid=31480 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31483/stat : 31483 (xcsp3-exec) S 31480 31483 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107264459 9740288 345 18446744073709551615 4194304 5098028 140728352040592 140728352038696 139664546058876 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33853440 140728352043384 140728352043589 140728352043589 140728352047083 0
/proc/31483/statm: 2378 345 289 221 0 87 0
[pid=31485] ppid=31483 vsize=13974352 memory=28212 CPUtime=0.11 cores=1,3,5,7
/proc/31485/stat : 31485 (java) S 31483 31483 13977 0 -1 1077944320 5051 0 0 0 11 0 0 0 20 0 15 0 107264467 14309736448 7053 18446744073709551615 4194304 4196468 140727355644304 140727355626848 140002647166711 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
/proc/31485/statm: 3493588 7053 2812 1 0 3482964 0
[pid=31485/tid=31486] ppid=31483 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (java) R 31483 31483 13977 0 -1 4202560 3061 0 0 0 8 0 0 0 20 0 15 0 107264467 14309736448 7053 18446744073709551615 4194304 4196468 140727355644304 140002651391184 140002647178646 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31487] ppid=31483 vsize=13974352 memory=1358 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (java) S 31483 31483 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107264468 14309736448 7053 18446744073709551615 4194304 4196468 140727355644304 140002581600784 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31488] ppid=31483 vsize=13974352 memory=288370595059107456 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (java) S 31483 31483 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107264468 14309736448 7053 18446744073709551615 4194304 4196468 140727355644304 140002580548240 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31489] ppid=31483 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31489/stat : 31489 (java) S 31483 31483 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107264468 14309736448 7053 18446744073709551615 4194304 4196468 140727355644304 140002245392656 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31490] ppid=31483 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31490/stat : 31490 (java) S 31483 31483 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107264468 14309736448 7053 18446744073709551615 4194304 4196468 140727355644304 140002244340112 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31491] ppid=31483 vsize=13974352 memory=140218907395712 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31491/stat : 31491 (java) S 31483 31483 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107264469 14309736448 7053 18446744073709551615 4194304 4196468 140727355644304 140002192923376 140002647177858 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31492] ppid=31483 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31492/stat : 31492 (java) S 31483 31483 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 107264470 14309736448 7053 18446744073709551615 4194304 4196468 140727355644304 140002191869600 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31493] ppid=31483 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31493/stat : 31493 (java) S 31483 31483 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 107264470 14309736448 7053 18446744073709551615 4194304 4196468 140727355644304 140002190816496 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31494] ppid=31483 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31494/stat : 31494 (java) S 31483 31483 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107264472 14309736448 7053 18446744073709551615 4194304 4196468 140727355644304 140002189765072 140002647185307 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31495] ppid=31483 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31495/stat : 31495 (java) S 31483 31483 13977 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 107264472 14309736448 7053 18446744073709551615 4194304 4196468 140727355644304 140002188712176 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31496] ppid=31483 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31496/stat : 31496 (java) S 31483 31483 13977 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 107264472 14309736448 7053 18446744073709551615 4194304 4196468 140727355644304 140002187659632 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31497] ppid=31483 vsize=13974352 memory=140218907395712 CPUtime=0.01 cores=1,3,5,7
/proc/31485/task/31497/stat : 31497 (java) R 31483 31483 13977 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 15 0 107264472 14309736448 7053 18446744073709551615 4194304 4196468 140727355644304 140002186606576 140002647178646 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31498] ppid=31483 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31498/stat : 31498 (java) S 31483 31483 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107264472 14309736448 7053 18446744073709551615 4194304 4196468 140727355644304 140002185554272 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31499] ppid=31483 vsize=13974352 memory=140218907395712 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31499/stat : 31499 (java) S 31483 31483 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107264477 14309736448 7053 18446744073709551615 4194304 4196468 140727355644304 140002184502320 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29592 KiB
[startup+0.310583 s]*
/proc/loadavg: 1.36 1.42 1.47 5/211 31499
/proc/meminfo: memFree=30548240/32770624 swapFree=67108860/67108860
[pid=31483] ppid=31480 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31483/stat : 31483 (xcsp3-exec) S 31480 31483 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107264459 9740288 345 18446744073709551615 4194304 5098028 140728352040592 140728352038696 139664546058876 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33853440 140728352043384 140728352043589 140728352043589 140728352047083 0
/proc/31483/statm: 2378 345 289 221 0 87 0
[pid=31485] ppid=31483 vsize=13974352 memory=39848 CPUtime=0.31 cores=1,3,5,7
/proc/31485/stat : 31485 (java) S 31483 31483 13977 0 -1 1077944320 8637 0 0 0 29 2 0 0 20 0 15 0 107264467 14309736448 9962 18446744073709551615 4194304 4196468 140727355644304 140727355626848 140002647166711 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
/proc/31485/statm: 3493588 9962 2999 1 0 3482964 0
[pid=31485/tid=31486] ppid=31483 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (java) R 31483 31483 13977 0 -1 4202560 5785 0 0 0 17 1 0 0 20 0 15 0 107264467 14309736448 9962 18446744073709551615 4194304 4196468 140727355644304 140002651403472 140002631210341 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31487] ppid=31483 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (java) S 31483 31483 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107264468 14309736448 9962 18446744073709551615 4194304 4196468 140727355644304 140002581600784 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31488] ppid=31483 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (java) S 31483 31483 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107264468 14309736448 9962 18446744073709551615 4194304 4196468 140727355644304 140002580548240 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31489] ppid=31483 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31489/stat : 31489 (java) S 31483 31483 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107264468 14309736448 9962 18446744073709551615 4194304 4196468 140727355644304 140002245392656 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31490] ppid=31483 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31490/stat : 31490 (java) S 31483 31483 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107264468 14309736448 9962 18446744073709551615 4194304 4196468 140727355644304 140002244340112 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31491] ppid=31483 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31491/stat : 31491 (java) S 31483 31483 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107264469 14309736448 9962 18446744073709551615 4194304 4196468 140727355644304 140002192923376 140002647177858 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31492] ppid=31483 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31492/stat : 31492 (java) S 31483 31483 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 107264470 14309736448 9962 18446744073709551615 4194304 4196468 140727355644304 140002191869600 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31493] ppid=31483 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31493/stat : 31493 (java) S 31483 31483 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 107264470 14309736448 9962 18446744073709551615 4194304 4196468 140727355644304 140002190816496 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31494] ppid=31483 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31494/stat : 31494 (java) S 31483 31483 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107264472 14309736448 9962 18446744073709551615 4194304 4196468 140727355644304 140002189765072 140002647185307 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31495] ppid=31483 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31485/task/31495/stat : 31495 (java) S 31483 31483 13977 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 107264472 14309736448 9962 18446744073709551615 4194304 4196468 140727355644304 140002188712176 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31496] ppid=31483 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31485/task/31496/stat : 31496 (java) S 31483 31483 13977 0 -1 1077944384 446 0 0 0 2 0 0 0 20 0 15 0 107264472 14309736448 9962 18446744073709551615 4194304 4196468 140727355644304 140002187659632 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31497] ppid=31483 vsize=13974352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31485/task/31497/stat : 31497 (java) R 31483 31483 13977 0 -1 4202560 700 0 0 0 7 0 0 0 20 0 15 0 107264472 14309736448 9962 18446744073709551615 4194304 4196468 140727355644304 140002186606576 140002628730267 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31498] ppid=31483 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31498/stat : 31498 (java) S 31483 31483 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107264472 14309736448 9962 18446744073709551615 4194304 4196468 140727355644304 140002185554272 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31499] ppid=31483 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31499/stat : 31499 (java) S 31483 31483 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107264477 14309736448 9962 18446744073709551615 4194304 4196468 140727355644304 140002184502320 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41228 KiB
[startup+0.70072 s]
/proc/loadavg: 1.36 1.42 1.47 4/211 31499
/proc/meminfo: memFree=30538680/32770624 swapFree=67108860/67108860
[pid=31483] ppid=31480 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31483/stat : 31483 (xcsp3-exec) S 31480 31483 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107264459 9740288 345 18446744073709551615 4194304 5098028 140728352040592 140728352038696 139664546058876 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33853440 140728352043384 140728352043589 140728352043589 140728352047083 0
/proc/31483/statm: 2378 345 289 221 0 87 0
[pid=31485] ppid=31483 vsize=13980732 memory=72548 CPUtime=1.27 cores=1,3,5,7
/proc/31485/stat : 31485 (java) S 31483 31483 13977 0 -1 1077944320 12200 0 0 0 123 4 0 0 20 0 15 0 107264467 14316269568 18137 18446744073709551615 4194304 4196468 140727355644304 140727355626848 140002647166711 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
/proc/31485/statm: 3495183 18137 3174 1 0 3483476 0
[pid=31485/tid=31486] ppid=31483 vsize=13980732 memory=5859272593643690084 CPUtime=0.56 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (java) R 31483 31483 13977 0 -1 4202560 7914 0 0 0 54 2 0 0 20 0 15 0 107264467 14316269568 18137 18446744073709551615 4194304 4196468 140727355644304 140002651404016 140002647178646 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31487] ppid=31483 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (java) S 31483 31483 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107264468 14316269568 18137 18446744073709551615 4194304 4196468 140727355644304 140002581600784 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31488] ppid=31483 vsize=13980732 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (java) S 31483 31483 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107264468 14316269568 18137 18446744073709551615 4194304 4196468 140727355644304 140002580548240 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31489] ppid=31483 vsize=13980732 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31489/stat : 31489 (java) S 31483 31483 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107264468 14316269568 18137 18446744073709551615 4194304 4196468 140727355644304 140002245392656 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31490] ppid=31483 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31490/stat : 31490 (java) S 31483 31483 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107264468 14316269568 18137 18446744073709551615 4194304 4196468 140727355644304 140002244340112 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31491] ppid=31483 vsize=13980732 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31491/stat : 31491 (java) S 31483 31483 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 107264469 14316269568 18137 18446744073709551615 4194304 4196468 140727355644304 140002192923376 140002647177858 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31492] ppid=31483 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31492/stat : 31492 (java) S 31483 31483 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 107264470 14316269568 18137 18446744073709551615 4194304 4196468 140727355644304 140002191869600 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31493] ppid=31483 vsize=13980732 memory=2 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31493/stat : 31493 (java) S 31483 31483 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 107264470 14316269568 18137 18446744073709551615 4194304 4196468 140727355644304 140002190816496 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31494] ppid=31483 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31494/stat : 31494 (java) S 31483 31483 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107264472 14316269568 18137 18446744073709551615 4194304 4196468 140727355644304 140002189765072 140002647185307 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31495] ppid=31483 vsize=13980732 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/31485/task/31495/stat : 31495 (java) R 31483 31483 13977 0 -1 1077944384 831 0 0 0 18 0 0 0 20 0 15 0 107264472 14316269568 18137 18446744073709551615 4194304 4196468 140727355644304 140002188712176 140002647177858 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31496] ppid=31483 vsize=13980732 memory=23 CPUtime=0.18 cores=1,3,5,7
/proc/31485/task/31496/stat : 31496 (java) R 31483 31483 13977 0 -1 4202560 826 0 0 0 18 0 0 0 20 0 15 0 107264472 14316269568 18137 18446744073709551615 4194304 4196468 140727355644304 140002187659632 140002630667094 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31497] ppid=31483 vsize=13980732 memory=3 CPUtime=0.31 cores=1,3,5,7
/proc/31485/task/31497/stat : 31497 (java) R 31483 31483 13977 0 -1 4202560 1323 0 0 0 31 0 0 0 20 0 15 0 107264472 14316269568 18137 18446744073709551615 4194304 4196468 140727355644304 140002186606576 140002631210341 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31498] ppid=31483 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31498/stat : 31498 (java) S 31483 31483 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107264472 14316269568 18137 18446744073709551615 4194304 4196468 140727355644304 140002185554272 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31499] ppid=31483 vsize=13980732 memory=59 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31499/stat : 31499 (java) S 31483 31483 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107264477 14316269568 18137 18446744073709551615 4194304 4196468 140727355644304 140002184502320 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 73928 KiB
[startup+1.50084 s]
/proc/loadavg: 1.36 1.42 1.47 6/211 31499
/proc/meminfo: memFree=30369400/32770624 swapFree=67108860/67108860
[pid=31483] ppid=31480 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31483/stat : 31483 (xcsp3-exec) S 31480 31483 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107264459 9740288 345 18446744073709551615 4194304 5098028 140728352040592 140728352038696 139664546058876 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33853440 140728352043384 140728352043589 140728352043589 140728352047083 0
/proc/31483/statm: 2378 345 289 221 0 87 0
[pid=31485] ppid=31483 vsize=13980732 memory=243212 CPUtime=3.43 cores=1,3,5,7
/proc/31485/stat : 31485 (java) S 31483 31483 13977 0 -1 1077944320 14648 0 0 0 328 15 0 0 20 0 15 0 107264467 14316269568 60803 18446744073709551615 4194304 4196468 140727355644304 140727355626848 140002647166711 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
/proc/31485/statm: 3495183 60803 3221 1 0 3483476 0
[pid=31485/tid=31486] ppid=31483 vsize=13980732 memory=8170770249728682087 CPUtime=1.29 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (java) R 31483 31483 13977 0 -1 4202560 8170 0 0 0 125 4 0 0 20 0 15 0 107264467 14316269568 60803 18446744073709551615 4194304 4196468 140727355644304 140002651404528 140002265903554 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31487] ppid=31483 vsize=13980732 memory=7670022039308363880 CPUtime=0.06 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (java) S 31483 31483 13977 0 -1 1077944384 98 0 0 0 4 2 0 0 20 0 15 0 107264468 14316269568 60803 18446744073709551615 4194304 4196468 140727355644304 140002581600784 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31488] ppid=31483 vsize=13980732 memory=7670022039308363880 CPUtime=0.06 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (java) S 31483 31483 13977 0 -1 1077944384 101 0 0 0 4 2 0 0 20 0 15 0 107264468 14316269568 60803 18446744073709551615 4194304 4196468 140727355644304 140002580548240 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31489] ppid=31483 vsize=13980732 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31485/task/31489/stat : 31489 (java) S 31483 31483 13977 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 15 0 107264468 14316269568 60803 18446744073709551615 4194304 4196468 140727355644304 140002245392656 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31490] ppid=31483 vsize=13980732 memory=2 CPUtime=0.06 cores=1,3,5,7
################
# More data... #
################
/proc/31485/task/31491/stat : 31491 (java) S 31483 31483 13977 0 -1 1077944384 23622 0 0 0 83 15 0 0 20 0 15 0 107264469 14316269568 196393 18446744073709551615 4194304 4196468 140727355644304 140002192923376 140002647177858 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31492] ppid=31483 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31492/stat : 31492 (java) S 31483 31483 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 107264470 14316269568 196393 18446744073709551615 4194304 4196468 140727355644304 140002191869664 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31493] ppid=31483 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31493/stat : 31493 (java) S 31483 31483 13977 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 107264470 14316269568 196393 18446744073709551615 4194304 4196468 140727355644304 140002190816512 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31494] ppid=31483 vsize=13980732 memory=791728 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31494/stat : 31494 (java) S 31483 31483 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107264472 14316269568 196393 18446744073709551615 4194304 4196468 140727355644304 140002189765072 140002647185307 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31495] ppid=31483 vsize=13980732 memory=1380 CPUtime=4.04 cores=1,3,5,7
/proc/31485/task/31495/stat : 31495 (java) S 31483 31483 13977 0 -1 1077944384 14637 0 0 0 402 2 0 0 20 0 15 0 107264472 14316269568 196393 18446744073709551615 4194304 4196468 140727355644304 140002188712176 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31496] ppid=31483 vsize=13980732 memory=791728 CPUtime=4.04 cores=1,3,5,7
/proc/31485/task/31496/stat : 31496 (java) S 31483 31483 13977 0 -1 1077944384 16570 0 0 0 402 2 0 0 20 0 15 0 107264472 14316269568 196393 18446744073709551615 4194304 4196468 140727355644304 140002187659632 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31497] ppid=31483 vsize=13980732 memory=1380 CPUtime=0.94 cores=1,3,5,7
/proc/31485/task/31497/stat : 31497 (java) S 31483 31483 13977 0 -1 1077944384 8640 0 0 0 90 4 0 0 20 0 15 0 107264472 14316269568 196393 18446744073709551615 4194304 4196468 140727355644304 140002186606576 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31498] ppid=31483 vsize=13980732 memory=791728 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31498/stat : 31498 (java) S 31483 31483 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107264472 14316269568 196393 18446744073709551615 4194304 4196468 140727355644304 140002185554272 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31499] ppid=31483 vsize=13980732 memory=1380 CPUtime=1.36 cores=1,3,5,7
/proc/31485/task/31499/stat : 31499 (java) S 31483 31483 13977 0 -1 1077944384 1145 0 0 0 67 69 0 0 20 0 15 0 107264477 14316269568 196393 18446744073709551615 4194304 4196468 140727355644304 140002184502320 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
Current children cumulated CPU time: 2505.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 786952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2456.5 s]
/proc/loadavg: 1.37 1.40 1.54 3/214 31810
/proc/meminfo: memFree=27247000/32770624 swapFree=67108860/67108860
[pid=31483] ppid=31480 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31483/stat : 31483 (xcsp3-exec) S 31480 31483 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107264459 9740288 345 18446744073709551615 4194304 5098028 140728352040592 140728352038696 139664546058876 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33853440 140728352043384 140728352043589 140728352043589 140728352047083 0
/proc/31483/statm: 2378 345 289 221 0 87 0
[pid=31485] ppid=31483 vsize=13980732 memory=809796 CPUtime=2520.31 cores=1,3,5,7
/proc/31485/stat : 31485 (java) S 31483 31483 13977 0 -1 1077944320 208547 0 0 0 251707 324 0 0 20 0 15 0 107264467 14316269568 202449 18446744073709551615 4194304 4196468 140727355644304 140727355626848 140002647166711 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
/proc/31485/statm: 3495183 202449 3254 1 0 3483476 0
[pid=31485/tid=31486] ppid=31483 vsize=13980732 memory=805616 CPUtime=2436.68 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (java) S 31483 31483 13977 0 -1 1077944384 83698 0 0 0 243620 48 0 0 20 0 15 0 107264467 14316269568 202449 18446744073709551615 4194304 4196468 140727355644304 140002651406400 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31487] ppid=31483 vsize=13980732 memory=805616 CPUtime=18.02 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (java) R 31483 31483 13977 0 -1 4202560 15677 0 0 0 1753 49 0 0 20 0 15 0 107264468 14316269568 202449 18446744073709551615 4194304 4196468 140727355644304 140002581600984 140002628763722 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31488] ppid=31483 vsize=13980732 memory=792788 CPUtime=18.06 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (java) R 31483 31483 13977 0 -1 4202560 14603 0 0 0 1756 50 0 0 20 0 15 0 107264468 14316269568 202449 18446744073709551615 4194304 4196468 140727355644304 140002580548440 140002631864463 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31489] ppid=31483 vsize=13980732 memory=792752 CPUtime=18.03 cores=1,3,5,7
/proc/31485/task/31489/stat : 31489 (java) R 31483 31483 13977 0 -1 4202560 14208 0 0 0 1750 53 0 0 20 0 15 0 107264468 14316269568 202449 18446744073709551615 4194304 4196468 140727355644304 140002245392656 140002632152007 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31490] ppid=31483 vsize=13980732 memory=797368 CPUtime=18.05 cores=1,3,5,7
/proc/31485/task/31490/stat : 31490 (java) R 31483 31483 13977 0 -1 4202560 14351 0 0 0 1758 47 0 0 20 0 15 0 107264468 14316269568 202449 18446744073709551615 4194304 4196468 140727355644304 140002244340112 140002631864472 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31491] ppid=31483 vsize=13980732 memory=785572 CPUtime=0.99 cores=1,3,5,7
/proc/31485/task/31491/stat : 31491 (java) S 31483 31483 13977 0 -1 1077944384 23658 0 0 0 84 15 0 0 20 0 15 0 107264469 14316269568 202449 18446744073709551615 4194304 4196468 140727355644304 140002192921696 140002647176917 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31492] ppid=31483 vsize=13980732 memory=805616 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31492/stat : 31492 (java) S 31483 31483 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 107264470 14316269568 202449 18446744073709551615 4194304 4196468 140727355644304 140002191869664 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31493] ppid=31483 vsize=13980732 memory=805616 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31493/stat : 31493 (java) S 31483 31483 13977 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 107264470 14316269568 202449 18446744073709551615 4194304 4196468 140727355644304 140002190816512 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31494] ppid=31483 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31494/stat : 31494 (java) S 31483 31483 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107264472 14316269568 202449 18446744073709551615 4194304 4196468 140727355644304 140002189765072 140002647185307 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31495] ppid=31483 vsize=13980732 memory=0 CPUtime=4.04 cores=1,3,5,7
/proc/31485/task/31495/stat : 31495 (java) S 31483 31483 13977 0 -1 1077944384 14637 0 0 0 402 2 0 0 20 0 15 0 107264472 14316269568 202449 18446744073709551615 4194304 4196468 140727355644304 140002188712176 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31496] ppid=31483 vsize=13980732 memory=1236 CPUtime=4.04 cores=1,3,5,7
/proc/31485/task/31496/stat : 31496 (java) S 31483 31483 13977 0 -1 1077944384 16570 0 0 0 402 2 0 0 20 0 15 0 107264472 14316269568 202449 18446744073709551615 4194304 4196468 140727355644304 140002187659632 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31497] ppid=31483 vsize=13980732 memory=1380 CPUtime=0.94 cores=1,3,5,7
/proc/31485/task/31497/stat : 31497 (java) S 31483 31483 13977 0 -1 1077944384 8640 0 0 0 90 4 0 0 20 0 15 0 107264472 14316269568 202449 18446744073709551615 4194304 4196468 140727355644304 140002186606576 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31498] ppid=31483 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31498/stat : 31498 (java) S 31483 31483 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107264472 14316269568 202449 18446744073709551615 4194304 4196468 140727355644304 140002185554272 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31499] ppid=31483 vsize=13980732 memory=1380 CPUtime=1.36 cores=1,3,5,7
/proc/31485/task/31499/stat : 31499 (java) S 31483 31483 13977 0 -1 1077944384 1147 0 0 0 67 69 0 0 20 0 15 0 107264477 14316269568 202449 18446744073709551615 4194304 4196468 140727355644304 140002184502320 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
Current children cumulated CPU time: 2520.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 811176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2456.53 s]
# the end of solver process 31483 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001846 s, system=0 s
[startup+2456.73 s]
# the end of solver process 31485 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.92 s, system=3.25173 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
[startup+2456.62 s]*
/proc/loadavg: 1.37 1.40 1.54 6/213 31810
/proc/meminfo: memFree=27242780/32770624 swapFree=67108860/67108860
[pid=31485] ppid=31480 vsize=13980732 memory=809852 CPUtime=2520.79 cores=1,3,5,7
/proc/31485/stat : 31485 (java) S 31480 31483 13977 0 -1 1077944320 208847 0 0 0 251755 324 0 0 20 0 15 0 107264467 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140727355626848 140002647166711 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
/proc/31485/statm: 3495183 202463 3254 1 0 3483476 0
[pid=31485/tid=31486] ppid=31480 vsize=13980732 memory=-8195925453750481479 CPUtime=2436.68 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (java) S 31480 31483 13977 0 -1 1077944384 83698 0 0 0 243620 48 0 0 20 0 15 0 107264467 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002651406400 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31487] ppid=31480 vsize=13980732 memory=3128 CPUtime=18.14 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (java) R 31480 31483 13977 0 -1 4202560 15677 0 0 0 1765 49 0 0 20 0 15 0 107264468 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002581600784 140002632163056 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31488] ppid=31480 vsize=13980732 memory=1380 CPUtime=18.18 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (java) R 31480 31483 13977 0 -1 4202560 14604 0 0 0 1768 50 0 0 20 0 15 0 107264468 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002580548240 140002631624097 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31489] ppid=31480 vsize=13980732 memory=3297796 CPUtime=18.15 cores=1,3,5,7
/proc/31485/task/31489/stat : 31489 (java) R 31480 31483 13977 0 -1 4202560 14208 0 0 0 1762 53 0 0 20 0 15 0 107264468 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002245392856 140002632163204 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31490] ppid=31480 vsize=13980732 memory=-8774313645642428999 CPUtime=18.17 cores=1,3,5,7
/proc/31485/task/31490/stat : 31490 (java) R 31480 31483 13977 0 -1 4202560 14351 0 0 0 1770 47 0 0 20 0 15 0 107264468 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002244340112 140002632163393 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31491] ppid=31480 vsize=13980732 memory=4126316290023845779 CPUtime=0.99 cores=1,3,5,7
/proc/31485/task/31491/stat : 31491 (java) S 31480 31483 13977 0 -1 1077944384 23953 0 0 0 84 15 0 0 20 0 15 0 107264469 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002192921920 140002647176917 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31492] ppid=31480 vsize=13980732 memory=-7023579799431922829 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31492/stat : 31492 (java) S 31480 31483 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 107264470 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002191869664 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31493] ppid=31480 vsize=13980732 memory=-7666414585839465563 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31493/stat : 31493 (java) S 31480 31483 13977 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 107264470 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002190816512 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31494] ppid=31480 vsize=13980732 memory=-6520478321162704286 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31494/stat : 31494 (java) S 31480 31483 13977 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 107264472 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002189764720 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31495] ppid=31480 vsize=13980732 memory=-7521736447810188379 CPUtime=4.04 cores=1,3,5,7
/proc/31485/task/31495/stat : 31495 (java) S 31480 31483 13977 0 -1 1077944384 14637 0 0 0 402 2 0 0 20 0 15 0 107264472 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002188712176 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31496] ppid=31480 vsize=13980732 memory=8328453600958622283 CPUtime=4.04 cores=1,3,5,7
/proc/31485/task/31496/stat : 31496 (java) S 31480 31483 13977 0 -1 1077944384 16570 0 0 0 402 2 0 0 20 0 15 0 107264472 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002187659632 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31497] ppid=31480 vsize=13980732 memory=7897517683652307531 CPUtime=0.94 cores=1,3,5,7
/proc/31485/task/31497/stat : 31497 (java) S 31480 31483 13977 0 -1 1077944384 8640 0 0 0 90 4 0 0 20 0 15 0 107264472 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002186606576 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31498] ppid=31480 vsize=13980732 memory=8514726395715349656 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31498/stat : 31498 (java) S 31480 31483 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107264472 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002185554272 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31499] ppid=31480 vsize=13980732 memory=-8634980985311628903 CPUtime=1.36 cores=1,3,5,7
/proc/31485/task/31499/stat : 31499 (java) S 31480 31483 13977 0 -1 1077944384 1147 0 0 0 67 69 0 0 20 0 15 0 107264477 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002184502320 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
Current cumulated CPU time of completed processes: 0.001846 s
Current children cumulated CPU time: 2520.79 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 809852 KiB
[startup+2456.71 s]
/proc/loadavg: 1.37 1.40 1.54 6/213 31810
/proc/meminfo: memFree=27242780/32770624 swapFree=67108860/67108860
[pid=31485] ppid=31480 vsize=13980732 memory=809852 CPUtime=2521.1 cores=1,3,5,7
/proc/31485/stat : 31485 (java) S 31480 31483 13977 0 -1 1077944320 208849 0 0 0 251786 324 0 0 20 0 15 0 107264467 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140727355626848 140002647166711 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
/proc/31485/statm: 3495183 202463 3254 1 0 3483476 0
[pid=31485/tid=31486] ppid=31480 vsize=13980732 memory=805616 CPUtime=2436.68 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (java) S 31480 31483 13977 0 -1 1077944384 83698 0 0 0 243620 48 0 0 20 0 15 0 107264467 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002651406400 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31487] ppid=31480 vsize=13980732 memory=805616 CPUtime=18.22 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (java) R 31480 31483 13977 0 -1 4202560 15677 0 0 0 1773 49 0 0 20 0 15 0 107264468 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002581600672 140002631624281 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31488] ppid=31480 vsize=13980732 memory=785572 CPUtime=18.25 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (java) R 31480 31483 13977 0 -1 4202560 14605 0 0 0 1775 50 0 0 20 0 15 0 107264468 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002580548240 140002632156249 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31489] ppid=31480 vsize=13980732 memory=797368 CPUtime=18.22 cores=1,3,5,7
/proc/31485/task/31489/stat : 31489 (java) R 31480 31483 13977 0 -1 4202560 14208 0 0 0 1769 53 0 0 20 0 15 0 107264468 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002245392856 140002631867000 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31490] ppid=31480 vsize=13980732 memory=792752 CPUtime=18.25 cores=1,3,5,7
/proc/31485/task/31490/stat : 31490 (java) R 31480 31483 13977 0 -1 4202560 14352 0 0 0 1778 47 0 0 20 0 15 0 107264468 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002244340112 140002631867399 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31491] ppid=31480 vsize=13980732 memory=792788 CPUtime=0.99 cores=1,3,5,7
/proc/31485/task/31491/stat : 31491 (java) S 31480 31483 13977 0 -1 1077944384 23953 0 0 0 84 15 0 0 20 0 15 0 107264469 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002192921920 140002647176917 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31492] ppid=31480 vsize=13980732 memory=805616 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31492/stat : 31492 (java) S 31480 31483 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 107264470 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002191869664 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31493] ppid=31480 vsize=13980732 memory=805616 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31493/stat : 31493 (java) S 31480 31483 13977 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 107264470 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002190816512 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31494] ppid=31480 vsize=13980732 memory=809796 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31494/stat : 31494 (java) S 31480 31483 13977 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 107264472 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002189764720 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31495] ppid=31480 vsize=13980732 memory=1380 CPUtime=4.04 cores=1,3,5,7
/proc/31485/task/31495/stat : 31495 (java) S 31480 31483 13977 0 -1 1077944384 14637 0 0 0 402 2 0 0 20 0 15 0 107264472 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002188712176 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31496] ppid=31480 vsize=13980732 memory=0 CPUtime=4.04 cores=1,3,5,7
/proc/31485/task/31496/stat : 31496 (java) S 31480 31483 13977 0 -1 1077944384 16570 0 0 0 402 2 0 0 20 0 15 0 107264472 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002187659632 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31497] ppid=31480 vsize=13980732 memory=1236 CPUtime=0.94 cores=1,3,5,7
/proc/31485/task/31497/stat : 31497 (java) S 31480 31483 13977 0 -1 1077944384 8640 0 0 0 90 4 0 0 20 0 15 0 107264472 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002186606576 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31498] ppid=31480 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31498/stat : 31498 (java) S 31480 31483 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107264472 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002185554272 140002647176917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
[pid=31485/tid=31499] ppid=31480 vsize=13980732 memory=9020 CPUtime=1.36 cores=1,3,5,7
/proc/31485/task/31499/stat : 31499 (java) S 31480 31483 13977 0 -1 1077944384 1147 0 0 0 67 69 0 0 20 0 15 0 107264477 14316269568 202463 18446744073709551615 4194304 4196468 140727355644304 140002184502320 140002647177858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140727355646385 140727355646561 140727355646561 140727355649999 0
Current cumulated CPU time of completed processes: 0.001846 s
Current children cumulated CPU time: 2521.1 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 809852 KiB
Child status: 143
Real time (s): 2456.73
CPU time (s): 2521.17
CPU user time (s): 2517.92
CPU system time (s): 3.25173
CPU usage (%): 102.623
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 2359508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.92
system time used= 3.25173
maximum resident set size= 2373524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209559
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68594
involuntary context switches= 3226
# summary of solver processes directly reported to runsolver:
# pid: 31483,31485
# total CPU time (s): 2521.17
# total CPU user time (s): 2517.92
# total CPU system time (s): 3.25173
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9111 second user time and 24.514 second system time
The end
Begin job on node124 at 2017-08-20 02:19:42 IDJOB=4283384 IDBENCH=122959 IDSOLVER=2679 FILE ID=node124/4283384-1503189238 RUNJOBID= node124-1503172076-28737 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-4283384-1503189238/watcher-4283384-1503189238 -o /tmp/evaluation-result-4283384-1503189238/solver-4283384-1503189238 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503172076-28737 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2052948105 HOME/instance-4283384-1503189238.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9882d57d510e95008d99aa62e0238ec8 RANDOM SEED=2052948105 node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30577880 kB MemAvailable: 31221540 kB Buffers: 294700 kB Cached: 641612 kB SwapCached: 0 kB Active: 1357648 kB Inactive: 379600 kB Active(anon): 753244 kB Inactive(anon): 89140 kB Active(file): 604404 kB Inactive(file): 290460 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7912 kB Writeback: 0 kB AnonPages: 804220 kB Mapped: 70772 kB Shmem: 41704 kB Slab: 156556 kB SReclaimable: 129260 kB SUnreclaim: 27296 kB KernelStack: 3616 kB PageTables: 6952 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1391876 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 735232 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62016 MiB End job on node124 at 2017-08-20 03:00:39