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) | 1425 | 257.957 | 240.01601 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml |
| MD5SUM | 7965d79c566fadd70d01c63d02ba9078 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 664 |
| Best CPU time to get the best result obtained on this benchmark | 251.89101 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1122 |
| Number of constraints | 1088 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 63 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 32 |
| Distribution of constraint types | [{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.08 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255365-1501620156.xml" -tl '264s' -p 1 -x 3 0.00/0.31 c [HOME/instance-4255365-1501620156.xml, -tl, 264s, -p, 1, -x, 3] 0.00/0.37 c simple solver 0.00/0.43 c parse instance... 0.00/0.83 c solve instance... 8.45/3.01 o 1700 8.45/3.07 o 1682 8.77/3.12 o 1667 9.07/3.30 o 1659 10.29/3.67 o 1627 16.26/7.20 o 1606 16.52/7.40 o 1596 71.49/59.64 o 1583 71.49/59.65 o 1545 71.49/59.66 o 1500 71.71/59.80 o 1491 71.71/59.86 o 1470 71.94/60.09 o 1453 72.04/60.12 o 1425 257.93/240.00 s SATISFIABLE 257.93/240.00 v <instantiation> 257.93/240.00 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] </list> 257.93/240.00 v <values>0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 58 41 96 53 22 18 78 44 40 32 57 12 64 22 89 52 82 36 71 52 74 71 14 13 92 34 59 15 23 42 95 3 </values> 257.93/240.00 v </instantiation> 257.93/240.00 c Unexpected resolution interruption!
OK 1425
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-4255365-1501620156/watcher-4255365-1501620156 -o /tmp/evaluation-result-4255365-1501620156/solver-4255365-1501620156 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10653 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1032366782 HOME/instance-4255365-1501620156.xml pid=12406 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.89 1.81 1.78 5/199 12409 /proc/meminfo: memFree=31679632/32770624 swapFree=0/187992 [pid=12409] ppid=12406 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/12409/stat : 12409 (runsolver) D 12406 12409 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9831002 24240128 108 18446744073709551615 4194304 4338465 140731881361680 140731881359320 140302764884695 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 11927552 140731881365596 140731881366086 140731881366086 140731881369546 0 /proc/12409/statm: 5918 108 54 36 0 2156 0 [startup+0.100088 s] /proc/loadavg: 1.89 1.81 1.78 5/199 12409 /proc/meminfo: memFree=31679632/32770624 swapFree=0/187992 [pid=12409] ppid=12406 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12409/stat : 12409 (xcsp3-exec) S 12406 12409 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9831002 9740288 344 18446744073709551615 4194304 5098028 140726086503264 140726086501368 139684874203772 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23044096 140726086508955 140726086509159 140726086509159 140726086512619 0 /proc/12409/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200273 s] /proc/loadavg: 1.89 1.81 1.78 5/199 12409 /proc/meminfo: memFree=31679632/32770624 swapFree=0/187992 [pid=12409] ppid=12406 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12409/stat : 12409 (xcsp3-exec) S 12406 12409 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9831002 9740288 344 18446744073709551615 4194304 5098028 140726086503264 140726086501368 139684874203772 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23044096 140726086508955 140726086509159 140726086509159 140726086512619 0 /proc/12409/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.308765 s] /proc/loadavg: 1.89 1.81 1.78 5/199 12409 /proc/meminfo: memFree=31679632/32770624 swapFree=0/187992 [pid=12409] ppid=12406 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12409/stat : 12409 (xcsp3-exec) S 12406 12409 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9831002 9740288 344 18446744073709551615 4194304 5098028 140726086503264 140726086501368 139684874203772 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23044096 140726086508955 140726086509159 140726086509159 140726086512619 0 /proc/12409/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700374 s] /proc/loadavg: 1.89 1.81 1.78 5/199 12409 /proc/meminfo: memFree=31679632/32770624 swapFree=0/187992 [pid=12409] ppid=12406 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12409/stat : 12409 (xcsp3-exec) S 12406 12409 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9831002 9740288 344 18446744073709551615 4194304 5098028 140726086503264 140726086501368 139684874203772 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23044096 140726086508955 140726086509159 140726086509159 140726086512619 0 /proc/12409/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50066 s] /proc/loadavg: 1.89 1.81 1.78 7/215 12425 /proc/meminfo: memFree=31594792/32770624 swapFree=0/188012 [pid=12409] ppid=12406 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12409/stat : 12409 (xcsp3-exec) S 12406 12409 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9831002 9740288 344 18446744073709551615 4194304 5098028 140726086503264 140726086501368 139684874203772 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23044096 140726086508955 140726086509159 140726086509159 140726086512619 0 /proc/12409/statm: 2378 344 289 221 0 87 0 [pid=12411] ppid=12409 vsize=13980732 CPUtime=3.83 cores=1,3,5,7 /proc/12411/stat : 12411 (java) S 12409 12409 5228 0 -1 1077944320 24801 0 0 0 375 8 0 0 20 0 15 0 9831011 14316269568 31648 18446744073709551615 4194304 4196468 140735168908112 140735168890656 140683218329335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 /proc/12411/statm: 3495183 31648 3182 1 0 3483484 0 [pid=12411/tid=12412] ppid=12409 vsize=13980732 CPUtime=1.3 cores=1,3,5,7 /proc/12411/task/12412/stat : 12412 (java) R 12409 12409 5228 0 -1 4202560 8562 0 0 0 126 4 0 0 20 0 15 0 9831011 14316269568 31648 18446744073709551615 4194304 4196468 140735168908112 140683222567104 140682817831704 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12413] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12413/stat : 12413 (java) S 12409 12409 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9831012 14316269568 31648 18446744073709551615 4194304 4196468 140735168908112 140683137743632 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12414] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12414/stat : 12414 (java) S 12409 12409 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9831012 14316269568 31648 18446744073709551615 4194304 4196468 140735168908112 140683136691088 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12415] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12415/stat : 12415 (java) S 12409 12409 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9831012 14316269568 31648 18446744073709551615 4194304 4196468 140735168908112 140683135638544 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12416] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12416/stat : 12416 (java) S 12409 12409 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9831012 14316269568 31648 18446744073709551615 4194304 4196468 140735168908112 140683134586000 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12417] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12417/stat : 12417 (java) S 12409 12409 5228 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 31648 18446744073709551615 4194304 4196468 140735168908112 140682696566768 140683218340482 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12418] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12418/stat : 12418 (java) S 12409 12409 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 31648 18446744073709551615 4194304 4196468 140735168908112 140682695512992 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12419] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12419/stat : 12419 (java) S 12409 12409 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 31648 18446744073709551615 4194304 4196468 140735168908112 140682694460400 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12420] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12420/stat : 12420 (java) S 12409 12409 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831016 14316269568 31648 18446744073709551615 4194304 4196468 140735168908112 140682693408976 140683218347931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12421] ppid=12409 vsize=13980732 CPUtime=0.97 cores=1,3,5,7 /proc/12411/task/12421/stat : 12421 (java) R 12409 12409 5228 0 -1 4202560 5369 0 0 0 97 0 0 0 20 0 15 0 9831016 14316269568 31648 18446744073709551615 4194304 4196468 140735168908112 140682692346304 140683197575327 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12422] ppid=12409 vsize=13980732 CPUtime=0.91 cores=1,3,5,7 /proc/12411/task/12422/stat : 12422 (java) R 12409 12409 5228 0 -1 4202560 5910 0 0 0 90 1 0 0 20 0 15 0 9831016 14316269568 31648 18446744073709551615 4194304 4196468 140735168908112 140682691288880 140683201860805 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12423] ppid=12409 vsize=13980732 CPUtime=0.6 cores=1,3,5,7 /proc/12411/task/12423/stat : 12423 (java) S 12409 12409 5228 0 -1 1077944384 3630 0 0 0 59 1 0 0 20 0 15 0 9831016 14316269568 31648 18446744073709551615 4194304 4196468 140735168908112 140682690251504 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12424] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12424/stat : 12424 (java) S 12409 12409 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831016 14316269568 31648 18446744073709551615 4194304 4196468 140735168908112 140682689199200 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12425] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12425/stat : 12425 (java) S 12409 12409 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9831025 14316269568 31648 18446744073709551615 4194304 4196468 140735168908112 140682688145712 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 Current children cumulated CPU time (s) 3.83 Current children cumulated vsize (KiB) 13990244 [startup+3.10069 s] /proc/loadavg: 1.89 1.81 1.78 5/215 12425 /proc/meminfo: memFree=31442968/32770624 swapFree=0/188012 [pid=12409] ppid=12406 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12409/stat : 12409 (xcsp3-exec) S 12406 12409 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9831002 9740288 344 18446744073709551615 4194304 5098028 140726086503264 140726086501368 139684874203772 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23044096 140726086508955 140726086509159 140726086509159 140726086512619 0 /proc/12409/statm: 2378 344 289 221 0 87 0 [pid=12411] ppid=12409 vsize=13980732 CPUtime=8.77 cores=1,3,5,7 /proc/12411/stat : 12411 (java) S 12409 12409 5228 0 -1 1077944320 51115 0 0 0 861 16 0 0 20 0 15 0 9831011 14316269568 64351 18446744073709551615 4194304 4196468 140735168908112 140735168890656 140683218329335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 /proc/12411/statm: 3495183 64351 3207 1 0 3483484 0 [pid=12411/tid=12412] ppid=12409 vsize=13980732 CPUtime=2.88 cores=1,3,5,7 /proc/12411/task/12412/stat : 12412 (java) R 12409 12409 5228 0 -1 4202560 9144 0 0 0 282 6 0 0 20 0 15 0 9831011 14316269568 64351 18446744073709551615 4194304 4196468 140735168908112 140683222568304 140682816908699 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12413] ppid=12409 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/12411/task/12413/stat : 12413 (java) S 12409 12409 5228 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 15 0 9831012 14316269568 64351 18446744073709551615 4194304 4196468 140735168908112 140683137743632 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12414] ppid=12409 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/12411/task/12414/stat : 12414 (java) S 12409 12409 5228 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 15 0 9831012 14316269568 64351 18446744073709551615 4194304 4196468 140735168908112 140683136691088 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12415] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12415/stat : 12415 (java) S 12409 12409 5228 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 9831012 14316269568 64351 18446744073709551615 4194304 4196468 140735168908112 140683135638544 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12416] ppid=12409 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/12411/task/12416/stat : 12416 (java) S 12409 12409 5228 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 9831012 14316269568 64351 18446744073709551615 4194304 4196468 140735168908112 140683134586000 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12417] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12417/stat : 12417 (java) S 12409 12409 5228 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 64351 18446744073709551615 4194304 4196468 140735168908112 140682696566768 140683218340482 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12418] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12418/stat : 12418 (java) S 12409 12409 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 64351 18446744073709551615 4194304 4196468 140735168908112 140682695512992 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12419] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12419/stat : 12419 (java) S 12409 12409 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 64351 18446744073709551615 4194304 4196468 140735168908112 140682694460400 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12420] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12420/stat : 12420 (java) S 12409 12409 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831016 14316269568 64351 18446744073709551615 4194304 4196468 140735168908112 140682693408976 140683218347931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12421] ppid=12409 vsize=13980732 CPUtime=2.55 cores=1,3,5,7 /proc/12411/task/12421/stat : 12421 (java) R 12409 12409 5228 0 -1 4202560 17304 0 0 0 252 3 0 0 20 0 15 0 9831016 14316269568 64351 18446744073709551615 4194304 4196468 140735168908112 140682692347568 140683199872723 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12422] ppid=12409 vsize=13980732 CPUtime=2.5 cores=1,3,5,7 /proc/12411/task/12422/stat : 12422 (java) R 12409 12409 5228 0 -1 4202560 17528 0 0 0 247 3 0 0 20 0 15 0 9831016 14316269568 64351 18446744073709551615 4194304 4196468 140735168908112 140682691291792 140683202716390 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12423] ppid=12409 vsize=13980732 CPUtime=0.73 cores=1,3,5,7 /proc/12411/task/12423/stat : 12423 (java) S 12409 12409 5228 0 -1 1077944384 4826 0 0 0 72 1 0 0 20 0 15 0 9831016 14316269568 64351 18446744073709551615 4194304 4196468 140735168908112 140682690251504 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12424] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12424/stat : 12424 (java) S 12409 12409 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831016 14316269568 64351 18446744073709551615 4194304 4196468 140735168908112 140682689199200 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12425] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12425/stat : 12425 (java) S 12409 12409 5228 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9831025 14316269568 64351 18446744073709551615 4194304 4196468 140735168908112 140682688145712 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 Current children cumulated CPU time (s) 8.77 Current children cumulated vsize (KiB) 13990244 [startup+6.30069 s] /proc/loadavg: 1.90 1.81 1.79 3/215 12425 /proc/meminfo: memFree=31233728/32770624 swapFree=0/188012 [pid=12409] ppid=12406 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12409/stat : 12409 (xcsp3-exec) S 12406 12409 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9831002 9740288 344 18446744073709551615 4194304 5098028 140726086503264 140726086501368 139684874203772 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23044096 140726086508955 140726086509159 140726086509159 140726086512619 0 /proc/12409/statm: 2378 344 289 221 0 87 0 [pid=12411] ppid=12409 vsize=13980732 CPUtime=15.35 cores=1,3,5,7 /proc/12411/stat : 12411 (java) S 12409 12409 5228 0 -1 1077944320 52766 0 0 0 1514 21 0 0 20 0 15 0 9831011 14316269568 74248 18446744073709551615 4194304 4196468 140735168908112 140735168890656 140683218329335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 /proc/12411/statm: 3495183 74248 3222 1 0 3483484 0 [pid=12411/tid=12412] ppid=12409 vsize=13980732 CPUtime=6.04 cores=1,3,5,7 /proc/12411/task/12412/stat : 12412 (java) R 12409 12409 5228 0 -1 4202560 9168 0 0 0 598 6 0 0 20 0 15 0 9831011 14316269568 74248 18446744073709551615 4194304 4196468 140735168908112 140683222566392 140682819422345 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12413] ppid=12409 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/12411/task/12413/stat : 12413 (java) S 12409 12409 5228 0 -1 1077944384 82 0 0 0 3 1 0 0 20 0 15 0 9831012 14316269568 74248 18446744073709551615 4194304 4196468 140735168908112 140683137743632 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12414] ppid=12409 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/12411/task/12414/stat : 12414 (java) S 12409 12409 5228 0 -1 1077944384 307 0 0 0 4 1 0 0 20 0 15 0 9831012 14316269568 74248 18446744073709551615 4194304 4196468 140735168908112 140683136691088 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12415] ppid=12409 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/12411/task/12415/stat : 12415 (java) S 12409 12409 5228 0 -1 1077944384 97 0 0 0 3 1 0 0 20 0 15 0 9831012 14316269568 74248 18446744073709551615 4194304 4196468 140735168908112 140683135638544 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12416] ppid=12409 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/12411/task/12416/stat : 12416 (java) S 12409 12409 5228 0 -1 1077944384 524 0 0 0 4 1 0 0 20 0 15 0 9831012 14316269568 74248 18446744073709551615 4194304 4196468 140735168908112 140683134586000 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12417] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12417/stat : 12417 (java) S 12409 12409 5228 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 74248 18446744073709551615 4194304 4196468 140735168908112 140682696566768 140683218340482 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12418] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12418/stat : 12418 (java) S 12409 12409 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 74248 18446744073709551615 4194304 4196468 140735168908112 140682695513056 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12419] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12419/stat : 12419 (java) S 12409 12409 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 74248 18446744073709551615 4194304 4196468 140735168908112 140682694460416 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12420] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12420/stat : 12420 (java) S 12409 12409 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831016 14316269568 74248 18446744073709551615 4194304 4196468 140735168908112 140682693408976 140683218347931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12421] ppid=12409 vsize=13980732 CPUtime=4.14 cores=1,3,5,7 /proc/12411/task/12421/stat : 12421 (java) S 12409 12409 5228 0 -1 1077944384 17844 0 0 0 411 3 0 0 20 0 15 0 9831016 14316269568 74248 18446744073709551615 4194304 4196468 140735168908112 140682692356592 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12422] ppid=12409 vsize=13980732 CPUtime=4.06 cores=1,3,5,7 /proc/12411/task/12422/stat : 12422 (java) S 12409 12409 5228 0 -1 1077944384 18120 0 0 0 403 3 0 0 20 0 15 0 9831016 14316269568 74248 18446744073709551615 4194304 4196468 140735168908112 140682691304048 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12423] ppid=12409 vsize=13980732 CPUtime=0.87 cores=1,3,5,7 /proc/12411/task/12423/stat : 12423 (java) S 12409 12409 5228 0 -1 1077944384 5014 0 0 0 85 2 0 0 20 0 15 0 9831016 14316269568 74248 18446744073709551615 4194304 4196468 140735168908112 140682690251504 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12424] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12424/stat : 12424 (java) S 12409 12409 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831016 14316269568 74248 18446744073709551615 4194304 4196468 140735168908112 140682689199200 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12425] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12425/stat : 12425 (java) S 12409 12409 5228 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 9831025 14316269568 74248 18446744073709551615 4194304 4196468 140735168908112 140682688145712 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 Current children cumulated CPU time (s) 15.35 Current children cumulated vsize (KiB) 13990244 [startup+12.7007 s] /proc/loadavg: 1.91 1.81 1.79 3/215 12425 /proc/meminfo: memFree=30897864/32770624 swapFree=0/188024 [pid=12409] ppid=12406 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12409/stat : 12409 (xcsp3-exec) S 12406 12409 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9831002 9740288 344 18446744073709551615 4194304 5098028 140726086503264 140726086501368 139684874203772 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23044096 140726086508955 140726086509159 140726086509159 140726086512619 0 /proc/12409/statm: 2378 344 289 221 0 87 0 [pid=12411] ppid=12409 vsize=13980732 CPUtime=23.01 cores=1,3,5,7 /proc/12411/stat : 12411 (java) S 12409 12409 5228 0 -1 1077944320 59862 0 0 0 2270 31 0 0 20 0 15 0 9831011 14316269568 112755 18446744073709551615 4194304 4196468 140735168908112 140735168890656 140683218329335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 /proc/12411/statm: 3495183 112755 3227 1 0 3483484 0 [pid=12411/tid=12412] ppid=12409 vsize=13980732 CPUtime=12.34 cores=1,3,5,7 /proc/12411/task/12412/stat : 12412 (java) R 12409 12409 5228 0 -1 4202560 11060 0 0 0 1226 8 0 0 20 0 15 0 9831011 14316269568 112755 18446744073709551615 4194304 4196468 140735168908112 140683222566376 140682819638046 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12413] ppid=12409 vsize=13980732 CPUtime=0.13 cores=1,3,5,7 /proc/12411/task/12413/stat : 12413 (java) S 12409 12409 5228 0 -1 1077944384 1355 0 0 0 10 3 0 0 20 0 15 0 9831012 14316269568 112755 18446744073709551615 4194304 4196468 140735168908112 140683137743632 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12414] ppid=12409 vsize=13980732 CPUtime=0.14 cores=1,3,5,7 /proc/12411/task/12414/stat : 12414 (java) S 12409 12409 5228 0 -1 1077944384 610 0 0 0 11 3 0 0 20 0 15 0 9831012 14316269568 112755 18446744073709551615 4194304 4196468 140735168908112 140683136691088 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 ################ # More data... # ################ /proc/12411/stat : 12411 (java) S 12409 12409 5228 0 -1 1077944320 87618 0 0 0 11446 86 0 0 20 0 15 0 9831011 14316269568 217099 18446744073709551615 4194304 4196468 140735168908112 140735168890656 140683218329335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 /proc/12411/statm: 3495183 217099 3229 1 0 3483484 0 [pid=12411/tid=12412] ppid=12409 vsize=13980732 CPUtime=101.35 cores=1,3,5,7 /proc/12411/task/12412/stat : 12412 (java) R 12409 12409 5228 0 -1 4202560 18008 0 0 0 10123 12 0 0 20 0 15 0 9831011 14316269568 217099 18446744073709551615 4194304 4196468 140735168908112 140683222568928 140682818858319 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12413] ppid=12409 vsize=13980732 CPUtime=0.7 cores=1,3,5,7 /proc/12411/task/12413/stat : 12413 (java) S 12409 12409 5228 0 -1 1077944384 2394 0 0 0 56 14 0 0 20 0 15 0 9831012 14316269568 217099 18446744073709551615 4194304 4196468 140735168908112 140683137743632 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12414] ppid=12409 vsize=13980732 CPUtime=0.71 cores=1,3,5,7 /proc/12411/task/12414/stat : 12414 (java) S 12409 12409 5228 0 -1 1077944384 1585 0 0 0 56 15 0 0 20 0 15 0 9831012 14316269568 217099 18446744073709551615 4194304 4196468 140735168908112 140683136691088 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12415] ppid=12409 vsize=13980732 CPUtime=0.7 cores=1,3,5,7 /proc/12411/task/12415/stat : 12415 (java) S 12409 12409 5228 0 -1 1077944384 795 0 0 0 56 14 0 0 20 0 15 0 9831012 14316269568 217099 18446744073709551615 4194304 4196468 140735168908112 140683135638544 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12416] ppid=12409 vsize=13980732 CPUtime=0.71 cores=1,3,5,7 /proc/12411/task/12416/stat : 12416 (java) S 12409 12409 5228 0 -1 1077944384 1964 0 0 0 56 15 0 0 20 0 15 0 9831012 14316269568 217099 18446744073709551615 4194304 4196468 140735168908112 140683134586000 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12417] ppid=12409 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/12411/task/12417/stat : 12417 (java) S 12409 12409 5228 0 -1 1077944384 1538 0 0 0 2 1 0 0 20 0 15 0 9831013 14316269568 217099 18446744073709551615 4194304 4196468 140735168908112 140682696566768 140683218340482 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12418] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12418/stat : 12418 (java) S 12409 12409 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 217099 18446744073709551615 4194304 4196468 140735168908112 140682695513056 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12419] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12419/stat : 12419 (java) S 12409 12409 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 217099 18446744073709551615 4194304 4196468 140735168908112 140682694460416 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12420] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12420/stat : 12420 (java) S 12409 12409 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831016 14316269568 217099 18446744073709551615 4194304 4196468 140735168908112 140682693408976 140683218347931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12421] ppid=12409 vsize=13980732 CPUtime=5.01 cores=1,3,5,7 /proc/12411/task/12421/stat : 12421 (java) S 12409 12409 5228 0 -1 1077944384 24769 0 0 0 497 4 0 0 20 0 15 0 9831016 14316269568 217099 18446744073709551615 4194304 4196468 140735168908112 140682692356592 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12422] ppid=12409 vsize=13980732 CPUtime=5.04 cores=1,3,5,7 /proc/12411/task/12422/stat : 12422 (java) S 12409 12409 5228 0 -1 1077944384 25789 0 0 0 501 3 0 0 20 0 15 0 9831016 14316269568 217099 18446744073709551615 4194304 4196468 140735168908112 140682691304048 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12423] ppid=12409 vsize=13980732 CPUtime=0.95 cores=1,3,5,7 /proc/12411/task/12423/stat : 12423 (java) S 12409 12409 5228 0 -1 1077944384 8281 0 0 0 93 2 0 0 20 0 15 0 9831016 14316269568 217099 18446744073709551615 4194304 4196468 140735168908112 140682690251504 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12424] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12424/stat : 12424 (java) S 12409 12409 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831016 14316269568 217099 18446744073709551615 4194304 4196468 140735168908112 140682689199200 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12425] ppid=12409 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/12411/task/12425/stat : 12425 (java) S 12409 12409 5228 0 -1 1077944384 1154 0 0 0 2 2 0 0 20 0 15 0 9831025 14316269568 217099 18446744073709551615 4194304 4196468 140735168908112 140682688145712 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 Current children cumulated CPU time (s) 115.32 Current children cumulated vsize (KiB) 13990244 [startup+162.301 s] /proc/loadavg: 2.00 1.89 1.82 3/217 12438 /proc/meminfo: memFree=29463496/32770624 swapFree=0/188112 [pid=12409] ppid=12406 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12409/stat : 12409 (xcsp3-exec) S 12406 12409 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9831002 9740288 344 18446744073709551615 4194304 5098028 140726086503264 140726086501368 139684874203772 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23044096 140726086508955 140726086509159 140726086509159 140726086512619 0 /proc/12409/statm: 2378 344 289 221 0 87 0 [pid=12411] ppid=12409 vsize=13980732 CPUtime=177.3 cores=1,3,5,7 /proc/12411/stat : 12411 (java) S 12409 12409 5228 0 -1 1077944320 98809 0 0 0 17611 119 0 0 20 0 15 0 9831011 14316269568 243891 18446744073709551615 4194304 4196468 140735168908112 140735168890656 140683218329335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 /proc/12411/statm: 3495183 243891 3229 1 0 3483484 0 [pid=12411/tid=12412] ppid=12409 vsize=13980732 CPUtime=160.82 cores=1,3,5,7 /proc/12411/task/12412/stat : 12412 (java) R 12409 12409 5228 0 -1 4202560 19836 0 0 0 16070 12 0 0 20 0 15 0 9831011 14316269568 243891 18446744073709551615 4194304 4196468 140735168908112 140683222568960 140682818842559 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12413] ppid=12409 vsize=13980732 CPUtime=1.19 cores=1,3,5,7 /proc/12411/task/12413/stat : 12413 (java) S 12409 12409 5228 0 -1 1077944384 2718 0 0 0 97 22 0 0 20 0 15 0 9831012 14316269568 243891 18446744073709551615 4194304 4196468 140735168908112 140683137743632 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12414] ppid=12409 vsize=13980732 CPUtime=1.2 cores=1,3,5,7 /proc/12411/task/12414/stat : 12414 (java) S 12409 12409 5228 0 -1 1077944384 2448 0 0 0 97 23 0 0 20 0 15 0 9831012 14316269568 243891 18446744073709551615 4194304 4196468 140735168908112 140683136691088 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12415] ppid=12409 vsize=13980732 CPUtime=1.19 cores=1,3,5,7 /proc/12411/task/12415/stat : 12415 (java) S 12409 12409 5228 0 -1 1077944384 1314 0 0 0 98 21 0 0 20 0 15 0 9831012 14316269568 243891 18446744073709551615 4194304 4196468 140735168908112 140683135638544 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12416] ppid=12409 vsize=13980732 CPUtime=1.21 cores=1,3,5,7 /proc/12411/task/12416/stat : 12416 (java) S 12409 12409 5228 0 -1 1077944384 2383 0 0 0 99 22 0 0 20 0 15 0 9831012 14316269568 243891 18446744073709551615 4194304 4196468 140735168908112 140683134586000 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12417] ppid=12409 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/12411/task/12417/stat : 12417 (java) S 12409 12409 5228 0 -1 1077944384 1796 0 0 0 3 1 0 0 20 0 15 0 9831013 14316269568 243891 18446744073709551615 4194304 4196468 140735168908112 140682696566768 140683218340482 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12418] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12418/stat : 12418 (java) S 12409 12409 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 243891 18446744073709551615 4194304 4196468 140735168908112 140682695513056 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12419] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12419/stat : 12419 (java) S 12409 12409 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 243891 18446744073709551615 4194304 4196468 140735168908112 140682694460416 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12420] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12420/stat : 12420 (java) S 12409 12409 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831016 14316269568 243891 18446744073709551615 4194304 4196468 140735168908112 140682693408976 140683218347931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12421] ppid=12409 vsize=13980732 CPUtime=5.13 cores=1,3,5,7 /proc/12411/task/12421/stat : 12421 (java) S 12409 12409 5228 0 -1 1077944384 26992 0 0 0 509 4 0 0 20 0 15 0 9831016 14316269568 243891 18446744073709551615 4194304 4196468 140735168908112 140682692356592 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12422] ppid=12409 vsize=13980732 CPUtime=5.39 cores=1,3,5,7 /proc/12411/task/12422/stat : 12422 (java) S 12409 12409 5228 0 -1 1077944384 28970 0 0 0 535 4 0 0 20 0 15 0 9831016 14316269568 243891 18446744073709551615 4194304 4196468 140735168908112 140682691304048 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12423] ppid=12409 vsize=13980732 CPUtime=0.96 cores=1,3,5,7 /proc/12411/task/12423/stat : 12423 (java) S 12409 12409 5228 0 -1 1077944384 9829 0 0 0 94 2 0 0 20 0 15 0 9831016 14316269568 243891 18446744073709551615 4194304 4196468 140735168908112 140682690251504 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12424] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12424/stat : 12424 (java) S 12409 12409 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831016 14316269568 243891 18446744073709551615 4194304 4196468 140735168908112 140682689199200 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12425] ppid=12409 vsize=13980732 CPUtime=0.07 cores=1,3,5,7 /proc/12411/task/12425/stat : 12425 (java) S 12409 12409 5228 0 -1 1077944384 1182 0 0 0 3 4 0 0 20 0 15 0 9831025 14316269568 243891 18446744073709551615 4194304 4196468 140735168908112 140682688145712 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 Current children cumulated CPU time (s) 177.3 Current children cumulated vsize (KiB) 13990244 [startup+222.307 s] /proc/loadavg: 1.82 1.87 1.82 3/217 12440 /proc/meminfo: memFree=29796240/32770624 swapFree=0/188136 [pid=12409] ppid=12406 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12409/stat : 12409 (xcsp3-exec) S 12406 12409 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9831002 9740288 344 18446744073709551615 4194304 5098028 140726086503264 140726086501368 139684874203772 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23044096 140726086508955 140726086509159 140726086509159 140726086512619 0 /proc/12409/statm: 2378 344 289 221 0 87 0 [pid=12411] ppid=12409 vsize=13980732 CPUtime=239.42 cores=1,3,5,7 /proc/12411/stat : 12411 (java) S 12409 12409 5228 0 -1 1077944320 106020 0 0 0 23811 131 0 0 20 0 15 0 9831011 14316269568 160954 18446744073709551615 4194304 4196468 140735168908112 140735168890656 140683218329335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 /proc/12411/statm: 3495183 160954 3244 1 0 3483484 0 [pid=12411/tid=12412] ppid=12409 vsize=13980732 CPUtime=220.04 cores=1,3,5,7 /proc/12411/task/12412/stat : 12412 (java) R 12409 12409 5228 0 -1 4202560 21074 0 0 0 21992 12 0 0 20 0 15 0 9831011 14316269568 160954 18446744073709551615 4194304 4196468 140735168908112 140683222568944 140682818996512 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12413] ppid=12409 vsize=13980732 CPUtime=1.88 cores=1,3,5,7 /proc/12411/task/12413/stat : 12413 (java) S 12409 12409 5228 0 -1 1077944384 3290 0 0 0 163 25 0 0 20 0 15 0 9831012 14316269568 160954 18446744073709551615 4194304 4196468 140735168908112 140683137743632 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12414] ppid=12409 vsize=13980732 CPUtime=1.9 cores=1,3,5,7 /proc/12411/task/12414/stat : 12414 (java) S 12409 12409 5228 0 -1 1077944384 3337 0 0 0 164 26 0 0 20 0 15 0 9831012 14316269568 160954 18446744073709551615 4194304 4196468 140735168908112 140683136691088 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12415] ppid=12409 vsize=13980732 CPUtime=1.87 cores=1,3,5,7 /proc/12411/task/12415/stat : 12415 (java) S 12409 12409 5228 0 -1 1077944384 2224 0 0 0 163 24 0 0 20 0 15 0 9831012 14316269568 160954 18446744073709551615 4194304 4196468 140735168908112 140683135638544 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12416] ppid=12409 vsize=13980732 CPUtime=1.89 cores=1,3,5,7 /proc/12411/task/12416/stat : 12416 (java) S 12409 12409 5228 0 -1 1077944384 3263 0 0 0 165 24 0 0 20 0 15 0 9831012 14316269568 160954 18446744073709551615 4194304 4196468 140735168908112 140683134586000 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12417] ppid=12409 vsize=13980732 CPUtime=0.12 cores=1,3,5,7 /proc/12411/task/12417/stat : 12417 (java) S 12409 12409 5228 0 -1 1077944384 3731 0 0 0 10 2 0 0 20 0 15 0 9831013 14316269568 160954 18446744073709551615 4194304 4196468 140735168908112 140682696566768 140683218340482 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12418] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12418/stat : 12418 (java) S 12409 12409 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 160954 18446744073709551615 4194304 4196468 140735168908112 140682695513056 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12419] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12419/stat : 12419 (java) S 12409 12409 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 160954 18446744073709551615 4194304 4196468 140735168908112 140682694460416 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12420] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12420/stat : 12420 (java) S 12409 12409 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831016 14316269568 160954 18446744073709551615 4194304 4196468 140735168908112 140682693408976 140683218347931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12421] ppid=12409 vsize=13980732 CPUtime=5.16 cores=1,3,5,7 /proc/12411/task/12421/stat : 12421 (java) S 12409 12409 5228 0 -1 1077944384 27299 0 0 0 512 4 0 0 20 0 15 0 9831016 14316269568 160954 18446744073709551615 4194304 4196468 140735168908112 140682692356592 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12422] ppid=12409 vsize=13980732 CPUtime=5.4 cores=1,3,5,7 /proc/12411/task/12422/stat : 12422 (java) S 12409 12409 5228 0 -1 1077944384 29112 0 0 0 536 4 0 0 20 0 15 0 9831016 14316269568 160954 18446744073709551615 4194304 4196468 140735168908112 140682691304048 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12423] ppid=12409 vsize=13980732 CPUtime=0.97 cores=1,3,5,7 /proc/12411/task/12423/stat : 12423 (java) S 12409 12409 5228 0 -1 1077944384 10144 0 0 0 95 2 0 0 20 0 15 0 9831016 14316269568 160954 18446744073709551615 4194304 4196468 140735168908112 140682690251504 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12424] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12424/stat : 12424 (java) S 12409 12409 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831016 14316269568 160954 18446744073709551615 4194304 4196468 140735168908112 140682689199200 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12425] ppid=12409 vsize=13980732 CPUtime=0.1 cores=1,3,5,7 /proc/12411/task/12425/stat : 12425 (java) S 12409 12409 5228 0 -1 1077944384 1205 0 0 0 4 6 0 0 20 0 15 0 9831025 14316269568 160954 18446744073709551615 4194304 4196468 140735168908112 140682688145712 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 Current children cumulated CPU time (s) 239.42 Current children cumulated vsize (KiB) 13990244 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 1.79 1.87 1.81 5/217 12519 /proc/meminfo: memFree=31186660/32770624 swapFree=0/188180 [pid=12409] ppid=12406 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/12409/stat : 12409 (xcsp3-exec) S 12406 12409 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9831002 9740288 344 18446744073709551615 4194304 5098028 140726086503264 140726086501368 139684874203772 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23044096 140726086508955 140726086509159 140726086509159 140726086512619 0 /proc/12409/statm: 2378 344 289 221 0 87 0 [pid=12411] ppid=12409 vsize=13980732 CPUtime=257.93 cores=1,3,5,7 /proc/12411/stat : 12411 (java) S 12409 12409 5228 0 -1 1077944320 111441 0 0 0 25661 132 0 0 20 0 15 0 9831011 14316269568 146363 18446744073709551615 4194304 4196468 140735168908112 140735168890656 140683218329335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 /proc/12411/statm: 3495183 146363 3244 1 0 3483484 0 [pid=12411/tid=12412] ppid=12409 vsize=13980732 CPUtime=237.45 cores=1,3,5,7 /proc/12411/task/12412/stat : 12412 (java) R 12409 12409 5228 0 -1 4202560 21312 0 0 0 23733 12 0 0 20 0 15 0 9831011 14316269568 146363 18446744073709551615 4194304 4196468 140735168908112 140683222568496 140682819712576 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12413] ppid=12409 vsize=13980732 CPUtime=2.14 cores=1,3,5,7 /proc/12411/task/12413/stat : 12413 (java) S 12409 12409 5228 0 -1 1077944384 3489 0 0 0 189 25 0 0 20 0 15 0 9831012 14316269568 146363 18446744073709551615 4194304 4196468 140735168908112 140683137743632 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12414] ppid=12409 vsize=13980732 CPUtime=2.16 cores=1,3,5,7 /proc/12411/task/12414/stat : 12414 (java) S 12409 12409 5228 0 -1 1077944384 3524 0 0 0 190 26 0 0 20 0 15 0 9831012 14316269568 146363 18446744073709551615 4194304 4196468 140735168908112 140683136691088 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12415] ppid=12409 vsize=13980732 CPUtime=2.14 cores=1,3,5,7 /proc/12411/task/12415/stat : 12415 (java) S 12409 12409 5228 0 -1 1077944384 2404 0 0 0 190 24 0 0 20 0 15 0 9831012 14316269568 146363 18446744073709551615 4194304 4196468 140735168908112 140683135638544 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12416] ppid=12409 vsize=13980732 CPUtime=2.17 cores=1,3,5,7 /proc/12411/task/12416/stat : 12416 (java) S 12409 12409 5228 0 -1 1077944384 3509 0 0 0 192 25 0 0 20 0 15 0 9831012 14316269568 146363 18446744073709551615 4194304 4196468 140735168908112 140683134586000 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12417] ppid=12409 vsize=13980732 CPUtime=0.14 cores=1,3,5,7 /proc/12411/task/12417/stat : 12417 (java) S 12409 12409 5228 0 -1 1077944384 7067 0 0 0 12 2 0 0 20 0 15 0 9831013 14316269568 146363 18446744073709551615 4194304 4196468 140735168908112 140682696566768 140683218340482 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12418] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12418/stat : 12418 (java) S 12409 12409 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 146363 18446744073709551615 4194304 4196468 140735168908112 140682695513056 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12419] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12419/stat : 12419 (java) S 12409 12409 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9831013 14316269568 146363 18446744073709551615 4194304 4196468 140735168908112 140682694460416 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12420] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12420/stat : 12420 (java) S 12409 12409 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831016 14316269568 146363 18446744073709551615 4194304 4196468 140735168908112 140682693408976 140683218347931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12421] ppid=12409 vsize=13980732 CPUtime=5.18 cores=1,3,5,7 /proc/12411/task/12421/stat : 12421 (java) S 12409 12409 5228 0 -1 1077944384 27966 0 0 0 514 4 0 0 20 0 15 0 9831016 14316269568 146363 18446744073709551615 4194304 4196468 140735168908112 140682692356592 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12422] ppid=12409 vsize=13980732 CPUtime=5.4 cores=1,3,5,7 /proc/12411/task/12422/stat : 12422 (java) S 12409 12409 5228 0 -1 1077944384 29112 0 0 0 536 4 0 0 20 0 15 0 9831016 14316269568 146363 18446744073709551615 4194304 4196468 140735168908112 140682691304048 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12423] ppid=12409 vsize=13980732 CPUtime=0.97 cores=1,3,5,7 /proc/12411/task/12423/stat : 12423 (java) S 12409 12409 5228 0 -1 1077944384 10509 0 0 0 95 2 0 0 20 0 15 0 9831016 14316269568 146363 18446744073709551615 4194304 4196468 140735168908112 140682690251504 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12424] ppid=12409 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/12411/task/12424/stat : 12424 (java) S 12409 12409 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831016 14316269568 146363 18446744073709551615 4194304 4196468 140735168908112 140682689199200 140683218339541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 [pid=12411/tid=12425] ppid=12409 vsize=13980732 CPUtime=0.11 cores=1,3,5,7 /proc/12411/task/12425/stat : 12425 (java) S 12409 12409 5228 0 -1 1077944384 1208 0 0 0 5 6 0 0 20 0 15 0 9831025 14316269568 146363 18446744073709551615 4194304 4196468 140735168908112 140682688145712 140683218340482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8859648 140735168913876 140735168914051 140735168914051 140735168917455 0 Current children cumulated CPU time (s) 257.93 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 12411 sig 9 ??? kill 12409 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.016 CPU time (s): 257.957 CPU user time (s): 256.623 CPU system time (s): 1.33487 CPU usage (%): 107.475 Max. virtual memory (cumulated for all children) (KiB): 13992936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 256.623 system time used= 1.33487 maximum resident set size= 994472 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 112084 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= 9558 involuntary context switches= 525 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.0896 second user time and 1.57011 second system time The end
Begin job on node133 at 2017-08-01 22:28:30 IDJOB=4255365 IDBENCH=124395 IDSOLVER=2637 FILE ID=node133/4255365-1501620156 RUNJOBID= node133-1501617129-10653 PBS_JOBID= Free space on /tmp= 61856 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k5.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-4255365-1501620156/watcher-4255365-1501620156 -o /tmp/evaluation-result-4255365-1501620156/solver-4255365-1501620156 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10653 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1032366782 HOME/instance-4255365-1501620156.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7965d79c566fadd70d01c63d02ba9078 RANDOM SEED=1032366782 node133.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.17 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.17 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.17 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.17 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: 31679656 kB MemAvailable: 31747240 kB Buffers: 93912 kB Cached: 257824 kB SwapCached: 0 kB Active: 493952 kB Inactive: 196528 kB Active(anon): 339064 kB Inactive(anon): 8536 kB Active(file): 154888 kB Inactive(file): 187992 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7828 kB Writeback: 68 kB AnonPages: 338144 kB Mapped: 42056 kB Shmem: 8892 kB Slab: 106560 kB SReclaimable: 81076 kB SUnreclaim: 25484 kB KernelStack: 3472 kB PageTables: 5448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1374448 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 206848 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61848 MiB End job on node133 at 2017-08-01 22:32:30