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 | 251.40601 | 240.02 |
| 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 | 251.901 |
| 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.05 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255099-1501619603.xml" -tl '264s' -p 1 -x 3 0.00/0.23 c [HOME/instance-4255099-1501619603.xml, -tl, 264s, -p, 1, -x, 3] 0.00/0.29 c simple solver 0.00/0.35 c parse instance... 2.67/1.13 c solve instance... 74.28/67.49 o 7 144.99/135.68 o 6 151.79/142.36 o 5 251.37/240.00 s SATISFIABLE 251.37/240.00 v <instantiation> 251.37/240.00 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> 251.37/240.00 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> 251.37/240.00 v </instantiation> 251.37/240.00 c Unexpected resolution interruption!
OK 5
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255099-1501619603/watcher-4255099-1501619603 -o /tmp/evaluation-result-4255099-1501619603/solver-4255099-1501619603 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10854 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 189964130 HOME/instance-4255099-1501619603.xml pid=12955 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.87 1.77 1.83 2/195 12958 /proc/meminfo: memFree=31011516/32770624 swapFree=0/190000 [pid=12958] ppid=12955 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/12958/stat : 12958 (runsolver) D 12955 12958 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10583440 24240128 106 18446744073709551615 4194304 4338465 140731128487008 140731128484648 139855460774615 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 11513856 140731128492125 140731128492614 140731128492614 140731128496074 0 /proc/12958/statm: 5918 106 53 36 0 2156 0 [startup+0.100143 s] /proc/loadavg: 1.87 1.77 1.83 2/195 12958 /proc/meminfo: memFree=31011516/32770624 swapFree=0/190000 [pid=12958] ppid=12955 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10583440 9740288 345 18446744073709551615 4194304 5098028 140734037135824 140734037133928 140445640528508 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 12726272 140734037139868 140734037140071 140734037140071 140734037143531 0 /proc/12958/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200315 s] /proc/loadavg: 1.87 1.77 1.83 2/195 12958 /proc/meminfo: memFree=31011516/32770624 swapFree=0/190000 [pid=12958] ppid=12955 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10583440 9740288 345 18446744073709551615 4194304 5098028 140734037135824 140734037133928 140445640528508 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 12726272 140734037139868 140734037140071 140734037140071 140734037143531 0 /proc/12958/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300229 s] /proc/loadavg: 1.87 1.77 1.83 2/195 12958 /proc/meminfo: memFree=31011516/32770624 swapFree=0/190000 [pid=12958] ppid=12955 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10583440 9740288 345 18446744073709551615 4194304 5098028 140734037135824 140734037133928 140445640528508 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 12726272 140734037139868 140734037140071 140734037140071 140734037143531 0 /proc/12958/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.707964 s] /proc/loadavg: 1.87 1.77 1.83 2/195 12958 /proc/meminfo: memFree=31011516/32770624 swapFree=0/190000 [pid=12958] ppid=12955 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10583440 9740288 345 18446744073709551615 4194304 5098028 140734037135824 140734037133928 140445640528508 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 12726272 140734037139868 140734037140071 140734037140071 140734037143531 0 /proc/12958/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50071 s] /proc/loadavg: 1.87 1.77 1.83 5/211 12974 /proc/meminfo: memFree=30783440/32770624 swapFree=0/190028 [pid=12958] ppid=12955 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10583440 9740288 345 18446744073709551615 4194304 5098028 140734037135824 140734037133928 140445640528508 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 12726272 140734037139868 140734037140071 140734037140071 140734037143531 0 /proc/12958/statm: 2378 345 289 221 0 87 0 [pid=12960] ppid=12958 vsize=13980732 CPUtime=3.48 cores=1,3,5,7 /proc/12960/stat : 12960 (java) S 12958 12958 5091 0 -1 1077944320 14667 0 0 0 335 13 0 0 20 0 15 0 10583445 14316269568 60303 18446744073709551615 4194304 4196468 140728834164656 140728834147200 140084477087479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 /proc/12960/statm: 3495183 60303 3210 1 0 3483484 0 [pid=12960/tid=12961] ppid=12958 vsize=13980732 CPUtime=1.3 cores=1,3,5,7 /proc/12960/task/12961/stat : 12961 (java) R 12958 12958 5091 0 -1 4202560 8219 0 0 0 126 4 0 0 20 0 15 0 10583446 14316269568 60303 18446744073709551615 4194304 4196468 140728834164656 140084481324920 140084071587089 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12962] ppid=12958 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/12960/task/12962/stat : 12962 (java) S 12958 12958 5091 0 -1 1077944384 75 0 0 0 4 1 0 0 20 0 15 0 10583446 14316269568 60303 18446744073709551615 4194304 4196468 140728834164656 140084396502160 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12963] ppid=12958 vsize=13980732 CPUtime=0.06 cores=1,3,5,7 /proc/12960/task/12963/stat : 12963 (java) S 12958 12958 5091 0 -1 1077944384 111 0 0 0 5 1 0 0 20 0 15 0 10583446 14316269568 60303 18446744073709551615 4194304 4196468 140728834164656 140084395449360 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12964] ppid=12958 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/12960/task/12964/stat : 12964 (java) S 12958 12958 5091 0 -1 1077944384 68 0 0 0 4 1 0 0 20 0 15 0 10583446 14316269568 60303 18446744073709551615 4194304 4196468 140728834164656 140084394396560 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12965] ppid=12958 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/12960/task/12965/stat : 12965 (java) S 12958 12958 5091 0 -1 1077944384 96 0 0 0 4 1 0 0 20 0 15 0 10583446 14316269568 60303 18446744073709551615 4194304 4196468 140728834164656 140084393343760 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12966] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12966/stat : 12966 (java) S 12958 12958 5091 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 60303 18446744073709551615 4194304 4196468 140728834164656 140083392665968 140084477098626 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12967] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12967/stat : 12967 (java) S 12958 12958 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 60303 18446744073709551615 4194304 4196468 140728834164656 140083391611936 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12968] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12968/stat : 12968 (java) S 12958 12958 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 60303 18446744073709551615 4194304 4196468 140728834164656 140083390559088 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12969] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12969/stat : 12969 (java) S 12958 12958 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10583450 14316269568 60303 18446744073709551615 4194304 4196468 140728834164656 140083389507408 140084477106075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12970] ppid=12958 vsize=13980732 CPUtime=0.69 cores=1,3,5,7 /proc/12960/task/12970/stat : 12970 (java) S 12958 12958 5091 0 -1 1077944384 1499 0 0 0 69 0 0 0 20 0 15 0 10583451 14316269568 60303 18446744073709551615 4194304 4196468 140728834164656 140083388455792 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12971] ppid=12958 vsize=13980732 CPUtime=0.72 cores=1,3,5,7 /proc/12960/task/12971/stat : 12971 (java) S 12958 12958 5091 0 -1 1077944384 1285 0 0 0 72 0 0 0 20 0 15 0 10583451 14316269568 60303 18446744073709551615 4194304 4196468 140728834164656 140083387402992 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12972] ppid=12958 vsize=13980732 CPUtime=0.47 cores=1,3,5,7 /proc/12960/task/12972/stat : 12972 (java) S 12958 12958 5091 0 -1 1077944384 1935 0 0 0 47 0 0 0 20 0 15 0 10583451 14316269568 60303 18446744073709551615 4194304 4196468 140728834164656 140083386350192 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12973] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12973/stat : 12973 (java) S 12958 12958 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10583451 14316269568 60303 18446744073709551615 4194304 4196468 140728834164656 140083385297632 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12974] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12974/stat : 12974 (java) S 12958 12958 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10583455 14316269568 60303 18446744073709551615 4194304 4196468 140728834164656 140083384244912 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 Current children cumulated CPU time (s) 3.48 Current children cumulated vsize (KiB) 13990244 [startup+3.10072 s] /proc/loadavg: 1.80 1.76 1.83 4/211 12974 /proc/meminfo: memFree=30753168/32770624 swapFree=0/190028 [pid=12958] ppid=12955 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10583440 9740288 345 18446744073709551615 4194304 5098028 140734037135824 140734037133928 140445640528508 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 12726272 140734037139868 140734037140071 140734037140071 140734037143531 0 /proc/12958/statm: 2378 345 289 221 0 87 0 [pid=12960] ppid=12958 vsize=13980732 CPUtime=5.93 cores=1,3,5,7 /proc/12960/stat : 12960 (java) S 12958 12958 5091 0 -1 1077944320 20871 0 0 0 578 15 0 0 20 0 15 0 10583445 14316269568 64957 18446744073709551615 4194304 4196468 140728834164656 140728834147200 140084477087479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 /proc/12960/statm: 3495183 64957 3214 1 0 3483484 0 [pid=12960/tid=12961] ppid=12958 vsize=13980732 CPUtime=2.91 cores=1,3,5,7 /proc/12960/task/12961/stat : 12961 (java) R 12958 12958 5091 0 -1 4202560 8394 0 0 0 286 5 0 0 20 0 15 0 10583446 14316269568 64957 18446744073709551615 4194304 4196468 140728834164656 140084481323904 140084071587141 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12962] ppid=12958 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/12960/task/12962/stat : 12962 (java) S 12958 12958 5091 0 -1 1077944384 75 0 0 0 4 1 0 0 20 0 15 0 10583446 14316269568 64957 18446744073709551615 4194304 4196468 140728834164656 140084396502160 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12963] ppid=12958 vsize=13980732 CPUtime=0.06 cores=1,3,5,7 /proc/12960/task/12963/stat : 12963 (java) S 12958 12958 5091 0 -1 1077944384 111 0 0 0 5 1 0 0 20 0 15 0 10583446 14316269568 64957 18446744073709551615 4194304 4196468 140728834164656 140084395449360 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12964] ppid=12958 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/12960/task/12964/stat : 12964 (java) S 12958 12958 5091 0 -1 1077944384 68 0 0 0 4 1 0 0 20 0 15 0 10583446 14316269568 64957 18446744073709551615 4194304 4196468 140728834164656 140084394396560 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12965] ppid=12958 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/12960/task/12965/stat : 12965 (java) S 12958 12958 5091 0 -1 1077944384 96 0 0 0 4 1 0 0 20 0 15 0 10583446 14316269568 64957 18446744073709551615 4194304 4196468 140728834164656 140084393343760 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12966] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12966/stat : 12966 (java) S 12958 12958 5091 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 64957 18446744073709551615 4194304 4196468 140728834164656 140083392665968 140084477098626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12967] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12967/stat : 12967 (java) S 12958 12958 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 64957 18446744073709551615 4194304 4196468 140728834164656 140083391611936 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12968] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12968/stat : 12968 (java) S 12958 12958 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 64957 18446744073709551615 4194304 4196468 140728834164656 140083390559088 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12969] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12969/stat : 12969 (java) S 12958 12958 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10583450 14316269568 64957 18446744073709551615 4194304 4196468 140728834164656 140083389507408 140084477106075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12970] ppid=12958 vsize=13980732 CPUtime=0.91 cores=1,3,5,7 /proc/12960/task/12970/stat : 12970 (java) S 12958 12958 5091 0 -1 1077944384 2506 0 0 0 90 1 0 0 20 0 15 0 10583451 14316269568 64957 18446744073709551615 4194304 4196468 140728834164656 140083388455792 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12971] ppid=12958 vsize=13980732 CPUtime=1.32 cores=1,3,5,7 /proc/12960/task/12971/stat : 12971 (java) S 12958 12958 5091 0 -1 1077944384 6265 0 0 0 131 1 0 0 20 0 15 0 10583451 14316269568 64957 18446744073709551615 4194304 4196468 140728834164656 140083387402992 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12972] ppid=12958 vsize=13980732 CPUtime=0.5 cores=1,3,5,7 /proc/12960/task/12972/stat : 12972 (java) S 12958 12958 5091 0 -1 1077944384 1977 0 0 0 50 0 0 0 20 0 15 0 10583451 14316269568 64957 18446744073709551615 4194304 4196468 140728834164656 140083386350192 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12973] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12973/stat : 12973 (java) S 12958 12958 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10583451 14316269568 64957 18446744073709551615 4194304 4196468 140728834164656 140083385297632 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12974] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12974/stat : 12974 (java) S 12958 12958 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10583455 14316269568 64957 18446744073709551615 4194304 4196468 140728834164656 140083384244912 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 Current children cumulated CPU time (s) 5.93 Current children cumulated vsize (KiB) 13990244 [startup+6.3007 s] /proc/loadavg: 1.80 1.76 1.83 3/211 12974 /proc/meminfo: memFree=30690704/32770624 swapFree=0/190032 [pid=12958] ppid=12955 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10583440 9740288 345 18446744073709551615 4194304 5098028 140734037135824 140734037133928 140445640528508 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 12726272 140734037139868 140734037140071 140734037140071 140734037143531 0 /proc/12958/statm: 2378 345 289 221 0 87 0 [pid=12960] ppid=12958 vsize=13980732 CPUtime=9.57 cores=1,3,5,7 /proc/12960/stat : 12960 (java) S 12958 12958 5091 0 -1 1077944320 26024 0 0 0 936 21 0 0 20 0 15 0 10583445 14316269568 74739 18446744073709551615 4194304 4196468 140728834164656 140728834147200 140084477087479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 /proc/12960/statm: 3495183 74739 3216 1 0 3483484 0 [pid=12960/tid=12961] ppid=12958 vsize=13980732 CPUtime=6.06 cores=1,3,5,7 /proc/12960/task/12961/stat : 12961 (java) R 12958 12958 5091 0 -1 4202560 8933 0 0 0 601 5 0 0 20 0 15 0 10583446 14316269568 74739 18446744073709551615 4194304 4196468 140728834164656 140084481323928 140084071587089 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12962] ppid=12958 vsize=13980732 CPUtime=0.1 cores=1,3,5,7 /proc/12960/task/12962/stat : 12962 (java) S 12958 12958 5091 0 -1 1077944384 237 0 0 0 7 3 0 0 20 0 15 0 10583446 14316269568 74739 18446744073709551615 4194304 4196468 140728834164656 140084396502160 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12963] ppid=12958 vsize=13980732 CPUtime=0.11 cores=1,3,5,7 /proc/12960/task/12963/stat : 12963 (java) S 12958 12958 5091 0 -1 1077944384 216 0 0 0 8 3 0 0 20 0 15 0 10583446 14316269568 74739 18446744073709551615 4194304 4196468 140728834164656 140084395449360 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12964] ppid=12958 vsize=13980732 CPUtime=0.09 cores=1,3,5,7 /proc/12960/task/12964/stat : 12964 (java) S 12958 12958 5091 0 -1 1077944384 254 0 0 0 7 2 0 0 20 0 15 0 10583446 14316269568 74739 18446744073709551615 4194304 4196468 140728834164656 140084394396560 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12965] ppid=12958 vsize=13980732 CPUtime=0.1 cores=1,3,5,7 /proc/12960/task/12965/stat : 12965 (java) S 12958 12958 5091 0 -1 1077944384 213 0 0 0 8 2 0 0 20 0 15 0 10583446 14316269568 74739 18446744073709551615 4194304 4196468 140728834164656 140084393343760 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12966] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12966/stat : 12966 (java) S 12958 12958 5091 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 74739 18446744073709551615 4194304 4196468 140728834164656 140083392665968 140084477098626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12967] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12967/stat : 12967 (java) S 12958 12958 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 74739 18446744073709551615 4194304 4196468 140728834164656 140083391611936 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12968] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12968/stat : 12968 (java) S 12958 12958 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 74739 18446744073709551615 4194304 4196468 140728834164656 140083390559088 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12969] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12969/stat : 12969 (java) S 12958 12958 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10583450 14316269568 74739 18446744073709551615 4194304 4196468 140728834164656 140083389507408 140084477106075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12970] ppid=12958 vsize=13980732 CPUtime=1.04 cores=1,3,5,7 /proc/12960/task/12970/stat : 12970 (java) S 12958 12958 5091 0 -1 1077944384 4036 0 0 0 103 1 0 0 20 0 15 0 10583451 14316269568 74739 18446744073709551615 4194304 4196468 140728834164656 140083388455792 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12971] ppid=12958 vsize=13980732 CPUtime=1.46 cores=1,3,5,7 /proc/12960/task/12971/stat : 12971 (java) S 12958 12958 5091 0 -1 1077944384 8041 0 0 0 145 1 0 0 20 0 15 0 10583451 14316269568 74739 18446744073709551615 4194304 4196468 140728834164656 140083387402992 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12972] ppid=12958 vsize=13980732 CPUtime=0.52 cores=1,3,5,7 /proc/12960/task/12972/stat : 12972 (java) S 12958 12958 5091 0 -1 1077944384 2221 0 0 0 52 0 0 0 20 0 15 0 10583451 14316269568 74739 18446744073709551615 4194304 4196468 140728834164656 140083386350192 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12973] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12973/stat : 12973 (java) S 12958 12958 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10583451 14316269568 74739 18446744073709551615 4194304 4196468 140728834164656 140083385297632 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12974] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12974/stat : 12974 (java) S 12958 12958 5091 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 15 0 10583455 14316269568 74739 18446744073709551615 4194304 4196468 140728834164656 140083384244912 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 Current children cumulated CPU time (s) 9.57 Current children cumulated vsize (KiB) 13990244 [startup+12.7008 s] /proc/loadavg: 1.75 1.75 1.83 3/211 12974 /proc/meminfo: memFree=30524252/32770624 swapFree=0/190040 [pid=12958] ppid=12955 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10583440 9740288 345 18446744073709551615 4194304 5098028 140734037135824 140734037133928 140445640528508 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 12726272 140734037139868 140734037140071 140734037140071 140734037143531 0 /proc/12958/statm: 2378 345 289 221 0 87 0 [pid=12960] ppid=12958 vsize=13980732 CPUtime=16.06 cores=1,3,5,7 /proc/12960/stat : 12960 (java) S 12958 12958 5091 0 -1 1077944320 27675 0 0 0 1580 26 0 0 20 0 15 0 10583445 14316269568 105199 18446744073709551615 4194304 4196468 140728834164656 140728834147200 140084477087479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 /proc/12960/statm: 3495183 105199 3216 1 0 3483484 0 [pid=12960/tid=12961] ppid=12958 vsize=13980732 CPUtime=12.42 cores=1,3,5,7 /proc/12960/task/12961/stat : 12961 (java) R 12958 12958 5091 0 -1 4202560 9385 0 0 0 1236 6 0 0 20 0 15 0 10583446 14316269568 105199 18446744073709551615 4194304 4196468 140728834164656 140084481323992 140084071587089 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12962] ppid=12958 vsize=13980732 CPUtime=0.13 cores=1,3,5,7 /proc/12960/task/12962/stat : 12962 (java) S 12958 12958 5091 0 -1 1077944384 278 0 0 0 9 4 0 0 20 0 15 0 10583446 14316269568 105199 18446744073709551615 4194304 4196468 140728834164656 140084396502160 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12963] ppid=12958 vsize=13980732 CPUtime=0.14 cores=1,3,5,7 /proc/12960/task/12963/stat : 12963 (java) S 12958 12958 5091 0 -1 1077944384 232 0 0 0 10 4 0 0 20 0 15 0 10583446 14316269568 105199 18446744073709551615 4194304 4196468 140728834164656 140084395449360 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 ################ # More data... # ################ /proc/12960/stat : 12960 (java) S 12958 12958 5091 0 -1 1077944320 54345 0 0 0 11041 96 0 0 20 0 15 0 10583445 14316269568 590043 18446744073709551615 4194304 4196468 140728834164656 140728834147200 140084477087479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 /proc/12960/statm: 3495183 590043 3226 1 0 3483484 0 [pid=12960/tid=12961] ppid=12958 vsize=13980732 CPUtime=101.71 cores=1,3,5,7 /proc/12960/task/12961/stat : 12961 (java) R 12958 12958 5091 0 -1 4202560 18897 0 0 0 10139 32 0 0 20 0 15 0 10583446 14316269568 590043 18446744073709551615 4194304 4196468 140728834164656 140084481323808 140084075280722 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12962] ppid=12958 vsize=13980732 CPUtime=0.43 cores=1,3,5,7 /proc/12960/task/12962/stat : 12962 (java) S 12958 12958 5091 0 -1 1077944384 842 0 0 0 30 13 0 0 20 0 15 0 10583446 14316269568 590043 18446744073709551615 4194304 4196468 140728834164656 140084396502160 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12963] ppid=12958 vsize=13980732 CPUtime=0.44 cores=1,3,5,7 /proc/12960/task/12963/stat : 12963 (java) S 12958 12958 5091 0 -1 1077944384 1056 0 0 0 31 13 0 0 20 0 15 0 10583446 14316269568 590043 18446744073709551615 4194304 4196468 140728834164656 140084395449360 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12964] ppid=12958 vsize=13980732 CPUtime=0.43 cores=1,3,5,7 /proc/12960/task/12964/stat : 12964 (java) S 12958 12958 5091 0 -1 1077944384 1009 0 0 0 30 13 0 0 20 0 15 0 10583446 14316269568 590043 18446744073709551615 4194304 4196468 140728834164656 140084394396560 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12965] ppid=12958 vsize=13980732 CPUtime=0.44 cores=1,3,5,7 /proc/12960/task/12965/stat : 12965 (java) S 12958 12958 5091 0 -1 1077944384 1276 0 0 0 31 13 0 0 20 0 15 0 10583446 14316269568 590043 18446744073709551615 4194304 4196468 140728834164656 140084393343760 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12966] ppid=12958 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/12960/task/12966/stat : 12966 (java) S 12958 12958 5091 0 -1 1077944384 1740 0 0 0 1 0 0 0 20 0 15 0 10583448 14316269568 590043 18446744073709551615 4194304 4196468 140728834164656 140083392665968 140084477098626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12967] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12967/stat : 12967 (java) S 12958 12958 5091 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 590043 18446744073709551615 4194304 4196468 140728834164656 140083391612000 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12968] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12968/stat : 12968 (java) S 12958 12958 5091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 590043 18446744073709551615 4194304 4196468 140728834164656 140083390559104 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12969] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12969/stat : 12969 (java) S 12958 12958 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10583450 14316269568 590043 18446744073709551615 4194304 4196468 140728834164656 140083389507408 140084477106075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12970] ppid=12958 vsize=13980732 CPUtime=3.16 cores=1,3,5,7 /proc/12960/task/12970/stat : 12970 (java) S 12958 12958 5091 0 -1 1077944384 9757 0 0 0 314 2 0 0 20 0 15 0 10583451 14316269568 590043 18446744073709551615 4194304 4196468 140728834164656 140083388455792 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12971] ppid=12958 vsize=13980732 CPUtime=3.76 cores=1,3,5,7 /proc/12960/task/12971/stat : 12971 (java) S 12958 12958 5091 0 -1 1077944384 13000 0 0 0 373 3 0 0 20 0 15 0 10583451 14316269568 590043 18446744073709551615 4194304 4196468 140728834164656 140083387402992 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12972] ppid=12958 vsize=13980732 CPUtime=0.85 cores=1,3,5,7 /proc/12960/task/12972/stat : 12972 (java) S 12958 12958 5091 0 -1 1077944384 4667 0 0 0 84 1 0 0 20 0 15 0 10583451 14316269568 590043 18446744073709551615 4194304 4196468 140728834164656 140083386350192 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12973] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12973/stat : 12973 (java) S 12958 12958 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10583451 14316269568 590043 18446744073709551615 4194304 4196468 140728834164656 140083385297632 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12974] ppid=12958 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/12960/task/12974/stat : 12974 (java) S 12958 12958 5091 0 -1 1077944384 779 0 0 0 2 3 0 0 20 0 15 0 10583455 14316269568 590043 18446744073709551615 4194304 4196468 140728834164656 140083384244912 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 Current children cumulated CPU time (s) 111.37 Current children cumulated vsize (KiB) 13990244 [startup+162.301 s] /proc/loadavg: 1.66 1.72 1.81 3/212 12985 /proc/meminfo: memFree=28546024/32770624 swapFree=0/190152 [pid=12958] ppid=12955 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10583440 9740288 345 18446744073709551615 4194304 5098028 140734037135824 140734037133928 140445640528508 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 12726272 140734037139868 140734037140071 140734037140071 140734037143531 0 /proc/12958/statm: 2378 345 289 221 0 87 0 [pid=12960] ppid=12958 vsize=13980732 CPUtime=172.45 cores=1,3,5,7 /proc/12960/stat : 12960 (java) S 12958 12958 5091 0 -1 1077944320 64519 0 0 0 17145 100 0 0 20 0 15 0 10583445 14316269568 574686 18446744073709551615 4194304 4196468 140728834164656 140728834147200 140084477087479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 /proc/12960/statm: 3495183 574686 3228 1 0 3483484 0 [pid=12960/tid=12961] ppid=12958 vsize=13980732 CPUtime=161.66 cores=1,3,5,7 /proc/12960/task/12961/stat : 12961 (java) R 12958 12958 5091 0 -1 4202560 21266 0 0 0 16134 32 0 0 20 0 15 0 10583446 14316269568 574686 18446744073709551615 4194304 4196468 140728834164656 140084481326760 140084073419690 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12962] ppid=12958 vsize=13980732 CPUtime=0.48 cores=1,3,5,7 /proc/12960/task/12962/stat : 12962 (java) S 12958 12958 5091 0 -1 1077944384 887 0 0 0 34 14 0 0 20 0 15 0 10583446 14316269568 574686 18446744073709551615 4194304 4196468 140728834164656 140084396502160 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12963] ppid=12958 vsize=13980732 CPUtime=0.49 cores=1,3,5,7 /proc/12960/task/12963/stat : 12963 (java) S 12958 12958 5091 0 -1 1077944384 1100 0 0 0 35 14 0 0 20 0 15 0 10583446 14316269568 574686 18446744073709551615 4194304 4196468 140728834164656 140084395449360 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12964] ppid=12958 vsize=13980732 CPUtime=0.47 cores=1,3,5,7 /proc/12960/task/12964/stat : 12964 (java) S 12958 12958 5091 0 -1 1077944384 1048 0 0 0 34 13 0 0 20 0 15 0 10583446 14316269568 574686 18446744073709551615 4194304 4196468 140728834164656 140084394396560 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12965] ppid=12958 vsize=13980732 CPUtime=0.48 cores=1,3,5,7 /proc/12960/task/12965/stat : 12965 (java) S 12958 12958 5091 0 -1 1077944384 1305 0 0 0 35 13 0 0 20 0 15 0 10583446 14316269568 574686 18446744073709551615 4194304 4196468 140728834164656 140084393343760 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12966] ppid=12958 vsize=13980732 CPUtime=0.02 cores=1,3,5,7 /proc/12960/task/12966/stat : 12966 (java) S 12958 12958 5091 0 -1 1077944384 1786 0 0 0 2 0 0 0 20 0 15 0 10583448 14316269568 574686 18446744073709551615 4194304 4196468 140728834164656 140083392665968 140084477098626 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12967] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12967/stat : 12967 (java) S 12958 12958 5091 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 574686 18446744073709551615 4194304 4196468 140728834164656 140083391612000 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12968] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12968/stat : 12968 (java) S 12958 12958 5091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 574686 18446744073709551615 4194304 4196468 140728834164656 140083390559104 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12969] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12969/stat : 12969 (java) S 12958 12958 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10583450 14316269568 574686 18446744073709551615 4194304 4196468 140728834164656 140083389507408 140084477106075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12970] ppid=12958 vsize=13980732 CPUtime=3.44 cores=1,3,5,7 /proc/12960/task/12970/stat : 12970 (java) S 12958 12958 5091 0 -1 1077944384 12312 0 0 0 342 2 0 0 20 0 15 0 10583451 14316269568 574686 18446744073709551615 4194304 4196468 140728834164656 140083388455792 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12971] ppid=12958 vsize=13980732 CPUtime=4.36 cores=1,3,5,7 /proc/12960/task/12971/stat : 12971 (java) S 12958 12958 5091 0 -1 1077944384 17375 0 0 0 433 3 0 0 20 0 15 0 10583451 14316269568 574686 18446744073709551615 4194304 4196468 140728834164656 140083387402992 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12972] ppid=12958 vsize=13980732 CPUtime=0.88 cores=1,3,5,7 /proc/12960/task/12972/stat : 12972 (java) S 12958 12958 5091 0 -1 1077944384 5134 0 0 0 87 1 0 0 20 0 15 0 10583451 14316269568 574686 18446744073709551615 4194304 4196468 140728834164656 140083386350192 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12973] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12973/stat : 12973 (java) S 12958 12958 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10583451 14316269568 574686 18446744073709551615 4194304 4196468 140728834164656 140083385297632 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12974] ppid=12958 vsize=13980732 CPUtime=0.09 cores=1,3,5,7 /proc/12960/task/12974/stat : 12974 (java) S 12958 12958 5091 0 -1 1077944384 984 0 0 0 4 5 0 0 20 0 15 0 10583455 14316269568 574686 18446744073709551615 4194304 4196468 140728834164656 140083384244912 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 Current children cumulated CPU time (s) 172.45 Current children cumulated vsize (KiB) 13990244 [startup+222.307 s] /proc/loadavg: 1.99 1.79 1.82 3/212 13144 /proc/meminfo: memFree=28967604/32770624 swapFree=0/190272 [pid=12958] ppid=12955 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10583440 9740288 345 18446744073709551615 4194304 5098028 140734037135824 140734037133928 140445640528508 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 12726272 140734037139868 140734037140071 140734037140071 140734037143531 0 /proc/12958/statm: 2378 345 289 221 0 87 0 [pid=12960] ppid=12958 vsize=13980732 CPUtime=233.46 cores=1,3,5,7 /proc/12960/stat : 12960 (java) S 12958 12958 5091 0 -1 1077944320 71596 0 0 0 23234 112 0 0 20 0 15 0 10583445 14316269568 566059 18446744073709551615 4194304 4196468 140728834164656 140728834147200 140084477087479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 /proc/12960/statm: 3495183 566059 3228 1 0 3483484 0 [pid=12960/tid=12961] ppid=12958 vsize=13980732 CPUtime=221.44 cores=1,3,5,7 /proc/12960/task/12961/stat : 12961 (java) R 12958 12958 5091 0 -1 4202560 24970 0 0 0 22112 32 0 0 20 0 15 0 10583446 14316269568 566059 18446744073709551615 4194304 4196468 140728834164656 140084481326784 140084073419536 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12962] ppid=12958 vsize=13980732 CPUtime=0.69 cores=1,3,5,7 /proc/12960/task/12962/stat : 12962 (java) S 12958 12958 5091 0 -1 1077944384 1403 0 0 0 53 16 0 0 20 0 15 0 10583446 14316269568 566059 18446744073709551615 4194304 4196468 140728834164656 140084396502160 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12963] ppid=12958 vsize=13980732 CPUtime=0.7 cores=1,3,5,7 /proc/12960/task/12963/stat : 12963 (java) S 12958 12958 5091 0 -1 1077944384 1523 0 0 0 54 16 0 0 20 0 15 0 10583446 14316269568 566059 18446744073709551615 4194304 4196468 140728834164656 140084395449360 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12964] ppid=12958 vsize=13980732 CPUtime=0.68 cores=1,3,5,7 /proc/12960/task/12964/stat : 12964 (java) S 12958 12958 5091 0 -1 1077944384 1505 0 0 0 53 15 0 0 20 0 15 0 10583446 14316269568 566059 18446744073709551615 4194304 4196468 140728834164656 140084394396560 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12965] ppid=12958 vsize=13980732 CPUtime=0.69 cores=1,3,5,7 /proc/12960/task/12965/stat : 12965 (java) S 12958 12958 5091 0 -1 1077944384 1727 0 0 0 54 15 0 0 20 0 15 0 10583446 14316269568 566059 18446744073709551615 4194304 4196468 140728834164656 140084393343760 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12966] ppid=12958 vsize=13980732 CPUtime=0.02 cores=1,3,5,7 /proc/12960/task/12966/stat : 12966 (java) S 12958 12958 5091 0 -1 1077944384 2158 0 0 0 2 0 0 0 20 0 15 0 10583448 14316269568 566059 18446744073709551615 4194304 4196468 140728834164656 140083392665968 140084477098626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12967] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12967/stat : 12967 (java) S 12958 12958 5091 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 566059 18446744073709551615 4194304 4196468 140728834164656 140083391612000 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12968] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12968/stat : 12968 (java) S 12958 12958 5091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 566059 18446744073709551615 4194304 4196468 140728834164656 140083390559104 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12969] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12969/stat : 12969 (java) S 12958 12958 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10583450 14316269568 566059 18446744073709551615 4194304 4196468 140728834164656 140083389507408 140084477106075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12970] ppid=12958 vsize=13980732 CPUtime=3.62 cores=1,3,5,7 /proc/12960/task/12970/stat : 12970 (java) S 12958 12958 5091 0 -1 1077944384 12592 0 0 0 360 2 0 0 20 0 15 0 10583451 14316269568 566059 18446744073709551615 4194304 4196468 140728834164656 140083388455792 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12971] ppid=12958 vsize=13980732 CPUtime=4.52 cores=1,3,5,7 /proc/12960/task/12971/stat : 12971 (java) S 12958 12958 5091 0 -1 1077944384 18210 0 0 0 448 4 0 0 20 0 15 0 10583451 14316269568 566059 18446744073709551615 4194304 4196468 140728834164656 140083387402992 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12972] ppid=12958 vsize=13980732 CPUtime=0.89 cores=1,3,5,7 /proc/12960/task/12972/stat : 12972 (java) S 12958 12958 5091 0 -1 1077944384 5175 0 0 0 88 1 0 0 20 0 15 0 10583451 14316269568 566059 18446744073709551615 4194304 4196468 140728834164656 140083386350192 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12973] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12973/stat : 12973 (java) S 12958 12958 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10583451 14316269568 566059 18446744073709551615 4194304 4196468 140728834164656 140083385297632 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12974] ppid=12958 vsize=13980732 CPUtime=0.11 cores=1,3,5,7 /proc/12960/task/12974/stat : 12974 (java) S 12958 12958 5091 0 -1 1077944384 1011 0 0 0 4 7 0 0 20 0 15 0 10583455 14316269568 566059 18446744073709551615 4194304 4196468 140728834164656 140083384244912 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 Current children cumulated CPU time (s) 233.46 Current children cumulated vsize (KiB) 13990244 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 2.22 1.85 1.84 3/212 13145 /proc/meminfo: memFree=28956704/32770624 swapFree=0/190280 [pid=12958] ppid=12955 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10583440 9740288 345 18446744073709551615 4194304 5098028 140734037135824 140734037133928 140445640528508 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 12726272 140734037139868 140734037140071 140734037140071 140734037143531 0 /proc/12958/statm: 2378 345 289 221 0 87 0 [pid=12960] ppid=12958 vsize=13980732 CPUtime=251.37 cores=1,3,5,7 /proc/12960/stat : 12960 (java) S 12958 12958 5091 0 -1 1077944320 73369 0 0 0 25021 116 0 0 20 0 15 0 10583445 14316269568 562203 18446744073709551615 4194304 4196468 140728834164656 140728834147200 140084477087479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 /proc/12960/statm: 3495183 562203 3228 1 0 3483484 0 [pid=12960/tid=12961] ppid=12958 vsize=13980732 CPUtime=239.07 cores=1,3,5,7 /proc/12960/task/12961/stat : 12961 (java) R 12958 12958 5091 0 -1 4202560 25496 0 0 0 23875 32 0 0 20 0 15 0 10583446 14316269568 562203 18446744073709551615 4194304 4196468 140728834164656 140084481326848 140084067735603 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12962] ppid=12958 vsize=13980732 CPUtime=0.75 cores=1,3,5,7 /proc/12960/task/12962/stat : 12962 (java) S 12958 12958 5091 0 -1 1077944384 1422 0 0 0 58 17 0 0 20 0 15 0 10583446 14316269568 562203 18446744073709551615 4194304 4196468 140728834164656 140084396502160 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12963] ppid=12958 vsize=13980732 CPUtime=0.76 cores=1,3,5,7 /proc/12960/task/12963/stat : 12963 (java) S 12958 12958 5091 0 -1 1077944384 1565 0 0 0 59 17 0 0 20 0 15 0 10583446 14316269568 562203 18446744073709551615 4194304 4196468 140728834164656 140084395449360 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12964] ppid=12958 vsize=13980732 CPUtime=0.74 cores=1,3,5,7 /proc/12960/task/12964/stat : 12964 (java) S 12958 12958 5091 0 -1 1077944384 1528 0 0 0 58 16 0 0 20 0 15 0 10583446 14316269568 562203 18446744073709551615 4194304 4196468 140728834164656 140084394396560 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12965] ppid=12958 vsize=13980732 CPUtime=0.75 cores=1,3,5,7 /proc/12960/task/12965/stat : 12965 (java) S 12958 12958 5091 0 -1 1077944384 1814 0 0 0 59 16 0 0 20 0 15 0 10583446 14316269568 562203 18446744073709551615 4194304 4196468 140728834164656 140084393343760 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12966] ppid=12958 vsize=13980732 CPUtime=0.02 cores=1,3,5,7 /proc/12960/task/12966/stat : 12966 (java) S 12958 12958 5091 0 -1 1077944384 2162 0 0 0 2 0 0 0 20 0 15 0 10583448 14316269568 562203 18446744073709551615 4194304 4196468 140728834164656 140083392665968 140084477098626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12967] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12967/stat : 12967 (java) S 12958 12958 5091 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 562203 18446744073709551615 4194304 4196468 140728834164656 140083391612000 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12968] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12968/stat : 12968 (java) S 12958 12958 5091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10583448 14316269568 562203 18446744073709551615 4194304 4196468 140728834164656 140083390559104 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12969] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12969/stat : 12969 (java) S 12958 12958 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10583450 14316269568 562203 18446744073709551615 4194304 4196468 140728834164656 140083389507408 140084477106075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12970] ppid=12958 vsize=13980732 CPUtime=3.62 cores=1,3,5,7 /proc/12960/task/12970/stat : 12970 (java) S 12958 12958 5091 0 -1 1077944384 13135 0 0 0 360 2 0 0 20 0 15 0 10583451 14316269568 562203 18446744073709551615 4194304 4196468 140728834164656 140083388455792 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12971] ppid=12958 vsize=13980732 CPUtime=4.54 cores=1,3,5,7 /proc/12960/task/12971/stat : 12971 (java) S 12958 12958 5091 0 -1 1077944384 18533 0 0 0 450 4 0 0 20 0 15 0 10583451 14316269568 562203 18446744073709551615 4194304 4196468 140728834164656 140083387402992 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12972] ppid=12958 vsize=13980732 CPUtime=0.89 cores=1,3,5,7 /proc/12960/task/12972/stat : 12972 (java) S 12958 12958 5091 0 -1 1077944384 5374 0 0 0 88 1 0 0 20 0 15 0 10583451 14316269568 562203 18446744073709551615 4194304 4196468 140728834164656 140083386350192 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12973] ppid=12958 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12960/task/12973/stat : 12973 (java) S 12958 12958 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10583451 14316269568 562203 18446744073709551615 4194304 4196468 140728834164656 140083385297632 140084477097685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 [pid=12960/tid=12974] ppid=12958 vsize=13980732 CPUtime=0.13 cores=1,3,5,7 /proc/12960/task/12974/stat : 12974 (java) S 12958 12958 5091 0 -1 1077944384 1018 0 0 0 5 8 0 0 20 0 15 0 10583455 14316269568 562203 18446744073709551615 4194304 4196468 140728834164656 140083384244912 140084477098626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140728834167252 140728834167427 140728834167427 140728834170831 0 Current children cumulated CPU time (s) 251.37 Current children cumulated vsize (KiB) 13990244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 12960 sig 9 ??? kill 12958 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 240.02 CPU time (s): 251.406 CPU user time (s): 250.232 CPU system time (s): 1.17395 CPU usage (%): 104.744 Max. virtual memory (cumulated for all children) (KiB): 13992256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 250.232 system time used= 1.17396 maximum resident set size= 2376556 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74364 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9843 involuntary context switches= 220 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.13195 second user time and 1.50684 second system time The end
Begin job on node129 at 2017-08-01 22:19:24 IDJOB=4255099 IDBENCH=122959 IDSOLVER=2637 FILE ID=node129/4255099-1501619603 RUNJOBID= node129-1501617179-10854 PBS_JOBID= Free space on /tmp= 61768 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-4255099-1501619603/watcher-4255099-1501619603 -o /tmp/evaluation-result-4255099-1501619603/solver-4255099-1501619603 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10854 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 189964130 HOME/instance-4255099-1501619603.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9882d57d510e95008d99aa62e0238ec8 RANDOM SEED=189964130 node129.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.53 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.57 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.53 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.57 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.53 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.57 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.53 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31012012 kB MemAvailable: 31081108 kB Buffers: 95844 kB Cached: 257420 kB SwapCached: 0 kB Active: 1162504 kB Inactive: 198532 kB Active(anon): 1007872 kB Inactive(anon): 8532 kB Active(file): 154632 kB Inactive(file): 190000 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7844 kB Writeback: 8 kB AnonPages: 1007620 kB Mapped: 42264 kB Shmem: 8872 kB Slab: 104928 kB SReclaimable: 80600 kB SUnreclaim: 24328 kB KernelStack: 3456 kB PageTables: 6476 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2291064 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 903168 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61760 MiB End job on node129 at 2017-08-01 22:23:24