Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-08-18) | SAT (TO) | 1425 | 254.371 | 240.02901 |
| 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.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284568-1503211987.xml" -tl '264s' -p 1 -x 3 0.12/0.14 c [HOME/instance-4284568-1503211987.xml, -tl, 264s, -p, 1, -x, 3] 0.12/0.19 c simple solver 0.34/0.26 c parse instance... 1.41/0.66 c solve instance... 8.00/2.74 o 1700 8.00/2.79 o 1682 8.33/2.84 o 1667 8.96/3.03 o 1659 9.85/3.39 o 1627 15.60/6.67 o 1606 15.86/6.86 o 1596 66.82/55.62 o 1583 66.82/55.63 o 1545 66.82/55.64 o 1500 66.93/55.77 o 1491 67.03/55.83 o 1470 67.24/56.05 o 1453 67.24/56.07 o 1425 254.33/240.01 s SATISFIABLE 254.33/240.01 v <instantiation> 254.33/240.01 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[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> 254.33/240.01 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> 254.33/240.01 v </instantiation> 254.33/240.01 c Unexpected resolution interruption!
OK 1425
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10723 MiB free)
memory of node 1: 16384 MiB (12136 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284568-1503211987/watcher-4284568-1503211987 -o /tmp/evaluation-result-4284568-1503211987/solver-4284568-1503211987 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503208966-3841 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 286751453 HOME/instance-4284568-1503211987.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5365, runsolver pid=5362
[startup+0.100132 s]*
/proc/loadavg: 1.70 1.78 1.78 3/217 5381
/proc/meminfo: memFree=23391636/32770624 swapFree=67108860/67108860
[pid=5365] ppid=5362 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5365/stat : 5365 (xcsp3-exec) S 5362 5365 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154286391 9740288 345 33554432000 4194304 5098028 140729285574352 140729285572456 140710476878460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14553088 140729285575797 140729285576000 140729285576000 140729285578731 0
/proc/5365/statm: 2378 345 289 221 0 87 0
[pid=5367] ppid=5365 vsize=13978596 memory=28372 CPUtime=0.12 cores=1,3,5,7
/proc/5367/stat : 5367 (java) S 5365 5365 3809 0 -1 1077944320 5460 0 0 0 10 2 0 0 20 0 15 0 154286391 14314082304 7093 33554432000 4194304 4196468 140735542332144 140735542314688 140660495122167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
/proc/5367/statm: 3494649 7093 2864 1 0 3482966 0
[pid=5367/tid=5368] ppid=5365 vsize=13978596 memory=7757350987124413275 CPUtime=0.09 cores=1,3,5,7
/proc/5367/task/5368/stat : 5368 (java) R 5365 5365 3809 0 -1 4202560 3463 0 0 0 8 1 0 0 20 0 15 0 154286391 14314082304 7158 33554432000 4194304 4196468 140735542332144 140660499353472 140660479462336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5369] ppid=5365 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5369/stat : 5369 (java) S 5365 5365 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286392 14314082304 7158 33554432000 4194304 4196468 140735542332144 140660091054352 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5370] ppid=5365 vsize=13978596 memory=140431289075328 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5370/stat : 5370 (java) S 5365 5365 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286392 14314082304 7158 33554432000 4194304 4196468 140735542332144 140660090001808 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5371] ppid=5365 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5371/stat : 5371 (java) S 5365 5365 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286392 14314082304 7158 33554432000 4194304 4196468 140735542332144 140660088949264 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5372] ppid=5365 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5372/stat : 5372 (java) S 5365 5365 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286392 14314082304 7158 33554432000 4194304 4196468 140735542332144 140660087896720 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5373] ppid=5365 vsize=13978596 memory=140431289075328 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5373/stat : 5373 (java) S 5365 5365 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286394 14314082304 7158 33554432000 4194304 4196468 140735542332144 140659407550960 140660495133314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5374] ppid=5365 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5374/stat : 5374 (java) S 5365 5365 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154286394 14314082304 7158 33554432000 4194304 4196468 140735542332144 140659406497184 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5375] ppid=5365 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5375/stat : 5375 (java) S 5365 5365 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154286394 14314082304 7158 33554432000 4194304 4196468 140735542332144 140659405444592 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5376] ppid=5365 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5376/stat : 5376 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14314082304 7158 33554432000 4194304 4196468 140735542332144 140659404393168 140660495140763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5377] ppid=5365 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5377/stat : 5377 (java) S 5365 5365 3809 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 154286397 14314082304 7158 33554432000 4194304 4196468 140735542332144 140659403339760 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5378] ppid=5365 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5378/stat : 5378 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14314082304 7158 33554432000 4194304 4196468 140735542332144 140659402287216 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5379] ppid=5365 vsize=13978596 memory=140431289075328 CPUtime=0.01 cores=1,3,5,7
/proc/5367/task/5379/stat : 5379 (java) R 5365 5365 3809 0 -1 4202560 326 0 0 0 1 0 0 0 20 0 15 0 154286397 14314082304 7158 33554432000 4194304 4196468 140735542332144 140659401234672 140660488227889 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5380] ppid=5365 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5380/stat : 5380 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14314082304 7158 33554432000 4194304 4196468 140735542332144 140659400182368 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5381] ppid=5365 vsize=13978596 memory=140431289075328 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5381/stat : 5381 (java) S 5365 5365 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286397 14314082304 7158 33554432000 4194304 4196468 140735542332144 140659399129904 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29752 KiB
[startup+0.210806 s]*
/proc/loadavg: 1.70 1.78 1.78 3/217 5381
/proc/meminfo: memFree=23380224/32770624 swapFree=67108860/67108860
[pid=5365] ppid=5362 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5365/stat : 5365 (xcsp3-exec) S 5362 5365 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154286391 9740288 345 33554432000 4194304 5098028 140729285574352 140729285572456 140710476878460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14553088 140729285575797 140729285576000 140729285576000 140729285578731 0
/proc/5365/statm: 2378 345 289 221 0 87 0
[pid=5367] ppid=5365 vsize=13982884 memory=40732 CPUtime=0.34 cores=1,3,5,7
/proc/5367/stat : 5367 (java) S 5365 5365 3809 0 -1 1077944320 8209 0 0 0 31 3 0 0 20 0 15 0 154286391 14318473216 10183 33554432000 4194304 4196468 140735542332144 140735542314688 140660495122167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
/proc/5367/statm: 3495713 10183 3079 1 0 3482966 0
[pid=5367/tid=5368] ppid=5365 vsize=13982884 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/5367/task/5368/stat : 5368 (java) R 5365 5365 3809 0 -1 4202560 5385 0 0 0 17 2 0 0 20 0 15 0 154286391 14318473216 10183 33554432000 4194304 4196468 140735542332144 140660499331904 140660487839271 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5369] ppid=5365 vsize=13982852 memory=8944 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5369/stat : 5369 (java) S 5365 5365 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286392 14318440448 10183 33554432000 4194304 4196468 140735542332144 140660091054352 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5370] ppid=5365 vsize=13982852 memory=140431289609181 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5370/stat : 5370 (java) S 5365 5365 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286392 14318440448 10183 33554432000 4194304 4196468 140735542332144 140660090001808 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5371] ppid=5365 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5371/stat : 5371 (java) S 5365 5365 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286392 14318440448 10183 33554432000 4194304 4196468 140735542332144 140660088949264 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5372] ppid=5365 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5372/stat : 5372 (java) S 5365 5365 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286392 14318440448 10183 33554432000 4194304 4196468 140735542332144 140660087896720 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5373] ppid=5365 vsize=13982884 memory=140431289075328 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5373/stat : 5373 (java) S 5365 5365 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286394 14318473216 10183 33554432000 4194304 4196468 140735542332144 140659407550960 140660495133314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5374] ppid=5365 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5374/stat : 5374 (java) S 5365 5365 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154286394 14318473216 10183 33554432000 4194304 4196468 140735542332144 140659406497184 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5375] ppid=5365 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5375/stat : 5375 (java) S 5365 5365 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154286394 14318440448 10183 33554432000 4194304 4196468 140735542332144 140659405444592 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5376] ppid=5365 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5376/stat : 5376 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14318440448 10183 33554432000 4194304 4196468 140735542332144 140659404393168 140660495140763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5377] ppid=5365 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5367/task/5377/stat : 5377 (java) S 5365 5365 3809 0 -1 1077944384 684 0 0 0 3 0 0 0 20 0 15 0 154286397 14318440448 10183 33554432000 4194304 4196468 140735542332144 140659403339760 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5378] ppid=5365 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5367/task/5378/stat : 5378 (java) S 5365 5365 3809 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 15 0 154286397 14318440448 10183 33554432000 4194304 4196468 140735542332144 140659402287216 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5379] ppid=5365 vsize=13982852 memory=140431289075328 CPUtime=0.07 cores=1,3,5,7
/proc/5367/task/5379/stat : 5379 (java) S 5365 5365 3809 0 -1 1077944384 730 0 0 0 7 0 0 0 20 0 15 0 154286397 14318440448 10183 33554432000 4194304 4196468 140735542332144 140659401234672 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5380] ppid=5365 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5380/stat : 5380 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14318440448 10183 33554432000 4194304 4196468 140735542332144 140659400182368 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5381] ppid=5365 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5381/stat : 5381 (java) S 5365 5365 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286397 14318473216 10183 33554432000 4194304 4196468 140735542332144 140659399129904 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 42112 KiB
[startup+0.311818 s]*
/proc/loadavg: 1.70 1.78 1.78 5/217 5381
/proc/meminfo: memFree=23376080/32770624 swapFree=67108860/67108860
[pid=5365] ppid=5362 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5365/stat : 5365 (xcsp3-exec) S 5362 5365 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154286391 9740288 345 33554432000 4194304 5098028 140729285574352 140729285572456 140710476878460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14553088 140729285575797 140729285576000 140729285576000 140729285578731 0
/proc/5365/statm: 2378 345 289 221 0 87 0
[pid=5367] ppid=5365 vsize=13982852 memory=47328 CPUtime=0.51 cores=1,3,5,7
/proc/5367/stat : 5367 (java) S 5365 5365 3809 0 -1 1077944320 8969 0 0 0 48 3 0 0 20 0 15 0 154286391 14318440448 11832 33554432000 4194304 4196468 140735542332144 140735542314688 140660495122167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
/proc/5367/statm: 3495713 11832 3123 1 0 3482966 0
[pid=5367/tid=5368] ppid=5365 vsize=13982852 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/5367/task/5368/stat : 5368 (java) R 5365 5365 3809 0 -1 4202560 5942 0 0 0 27 2 0 0 20 0 15 0 154286391 14318440448 11832 33554432000 4194304 4196468 140735542332144 140660499360448 140660130752785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5369] ppid=5365 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5369/stat : 5369 (java) S 5365 5365 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286392 14318440448 11832 33554432000 4194304 4196468 140735542332144 140660091054352 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5370] ppid=5365 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5370/stat : 5370 (java) S 5365 5365 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286392 14318440448 11832 33554432000 4194304 4196468 140735542332144 140660090001808 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5371] ppid=5365 vsize=13982852 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5371/stat : 5371 (java) S 5365 5365 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286392 14318440448 11832 33554432000 4194304 4196468 140735542332144 140660088949264 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5372] ppid=5365 vsize=13982852 memory=7593740018551660441 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5372/stat : 5372 (java) S 5365 5365 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286392 14318440448 11832 33554432000 4194304 4196468 140735542332144 140660087896720 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5373] ppid=5365 vsize=13982852 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5373/stat : 5373 (java) S 5365 5365 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286394 14318440448 11832 33554432000 4194304 4196468 140735542332144 140659407550960 140660495133314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5374] ppid=5365 vsize=13982852 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5374/stat : 5374 (java) S 5365 5365 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154286394 14318440448 11832 33554432000 4194304 4196468 140735542332144 140659406497184 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5375] ppid=5365 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5375/stat : 5375 (java) S 5365 5365 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154286394 14318440448 11832 33554432000 4194304 4196468 140735542332144 140659405444592 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5376] ppid=5365 vsize=13982852 memory=-6444775992005010620 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5376/stat : 5376 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14318440448 11832 33554432000 4194304 4196468 140735542332144 140659404393168 140660495140763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5377] ppid=5365 vsize=13982852 memory=7100839887185294217 CPUtime=0.05 cores=1,3,5,7
/proc/5367/task/5377/stat : 5377 (java) R 5365 5365 3809 0 -1 4202560 732 0 0 0 5 0 0 0 20 0 15 0 154286397 14318440448 11832 33554432000 4194304 4196468 140735542332144 140659403339760 140660474391072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5378] ppid=5365 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5367/task/5378/stat : 5378 (java) R 5365 5365 3809 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 15 0 154286397 14318440448 11832 33554432000 4194304 4196468 140735542332144 140659402287216 140660495133314 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5379] ppid=5365 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/5367/task/5379/stat : 5379 (java) R 5365 5365 3809 0 -1 4202560 842 0 0 0 13 0 0 0 20 0 15 0 154286397 14318440448 11832 33554432000 4194304 4196468 140735542332144 140659401234672 140660473925288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5380] ppid=5365 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5380/stat : 5380 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14318440448 11832 33554432000 4194304 4196468 140735542332144 140659400182368 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5381] ppid=5365 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5381/stat : 5381 (java) S 5365 5365 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286397 14318440448 11832 33554432000 4194304 4196468 140735542332144 140659399129904 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48708 KiB
[startup+0.7009 s]
/proc/loadavg: 1.70 1.78 1.78 6/217 5381
/proc/meminfo: memFree=23354988/32770624 swapFree=67108860/67108860
[pid=5365] ppid=5362 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5365/stat : 5365 (xcsp3-exec) S 5362 5365 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154286391 9740288 345 33554432000 4194304 5098028 140729285574352 140729285572456 140710476878460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14553088 140729285575797 140729285576000 140729285576000 140729285578731 0
/proc/5365/statm: 2378 345 289 221 0 87 0
[pid=5367] ppid=5365 vsize=13984976 memory=82344 CPUtime=1.7 cores=1,3,5,7
/proc/5367/stat : 5367 (java) S 5365 5365 3809 0 -1 1077944320 12599 0 0 0 165 5 0 0 20 0 15 0 154286391 14320615424 20586 33554432000 4194304 4196468 140735542332144 140735542314688 140660495122167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
/proc/5367/statm: 3496244 20586 3212 1 0 3483478 0
[pid=5367/tid=5368] ppid=5365 vsize=13984976 memory=1728 CPUtime=0.66 cores=1,3,5,7
/proc/5367/task/5368/stat : 5368 (java) R 5365 5365 3809 0 -1 4202560 6698 0 0 0 63 3 0 0 20 0 15 0 154286391 14320615424 20586 33554432000 4194304 4196468 140735542332144 140660499360064 140660128763184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5369] ppid=5365 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5369/stat : 5369 (java) S 5365 5365 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286392 14320615424 20586 33554432000 4194304 4196468 140735542332144 140660091054352 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5370] ppid=5365 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5370/stat : 5370 (java) S 5365 5365 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286392 14320615424 20586 33554432000 4194304 4196468 140735542332144 140660090001808 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5371] ppid=5365 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5371/stat : 5371 (java) S 5365 5365 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286392 14320615424 20586 33554432000 4194304 4196468 140735542332144 140660088949264 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5372] ppid=5365 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5372/stat : 5372 (java) S 5365 5365 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286392 14320615424 20586 33554432000 4194304 4196468 140735542332144 140660087896720 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5373] ppid=5365 vsize=13984976 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5373/stat : 5373 (java) S 5365 5365 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154286394 14320615424 20586 33554432000 4194304 4196468 140735542332144 140659407550960 140660495133314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5374] ppid=5365 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5374/stat : 5374 (java) S 5365 5365 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154286394 14320615424 20586 33554432000 4194304 4196468 140735542332144 140659406497184 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5375] ppid=5365 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5375/stat : 5375 (java) S 5365 5365 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154286394 14320615424 20586 33554432000 4194304 4196468 140735542332144 140659405444592 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5376] ppid=5365 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5376/stat : 5376 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14320615424 20586 33554432000 4194304 4196468 140735542332144 140659404393168 140660495140763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5377] ppid=5365 vsize=13984976 memory=11112 CPUtime=0.29 cores=1,3,5,7
/proc/5367/task/5377/stat : 5377 (java) S 5365 5365 3809 0 -1 1077944384 1524 0 0 0 29 0 0 0 20 0 15 0 154286397 14320615424 20586 33554432000 4194304 4196468 140735542332144 140659403339760 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5378] ppid=5365 vsize=13984976 memory=1228 CPUtime=0.31 cores=1,3,5,7
/proc/5367/task/5378/stat : 5378 (java) R 5365 5365 3809 0 -1 4202560 1065 0 0 0 31 0 0 0 20 0 15 0 154286397 14320615424 20586 33554432000 4194304 4196468 140735542332144 140659402287216 140660480246202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5379] ppid=5365 vsize=13984976 memory=1420 CPUtime=0.41 cores=1,3,5,7
/proc/5367/task/5379/stat : 5379 (java) R 5365 5365 3809 0 -1 4202560 2006 0 0 0 41 0 0 0 20 0 15 0 154286397 14320615424 20586 33554432000 4194304 4196468 140735542332144 140659401231928 140660473288492 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5380] ppid=5365 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5380/stat : 5380 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14320615424 20586 33554432000 4194304 4196468 140735542332144 140659400182368 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5381] ppid=5365 vsize=13984976 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5381/stat : 5381 (java) S 5365 5365 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286397 14320615424 20586 33554432000 4194304 4196468 140735542332144 140659399129904 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 83724 KiB
[startup+1.50077 s]
/proc/loadavg: 1.70 1.78 1.78 5/217 5381
/proc/meminfo: memFree=23323152/32770624 swapFree=67108860/67108860
[pid=5365] ppid=5362 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5365/stat : 5365 (xcsp3-exec) S 5362 5365 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154286391 9740288 345 33554432000 4194304 5098028 140729285574352 140729285572456 140710476878460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14553088 140729285575797 140729285576000 140729285576000 140729285578731 0
/proc/5365/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/5367/task/5375/stat : 5375 (java) S 5365 5365 3809 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154286394 14320615424 312531 33554432000 4194304 4196468 140735542332144 140659405444608 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5376] ppid=5365 vsize=13984976 memory=1277208 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5376/stat : 5376 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14320615424 312531 33554432000 4194304 4196468 140735542332144 140659404393168 140660495140763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5377] ppid=5365 vsize=13984976 memory=1262916 CPUtime=4.69 cores=1,3,5,7
/proc/5367/task/5377/stat : 5377 (java) S 5365 5365 3809 0 -1 1077944384 30342 0 0 0 465 4 0 0 20 0 15 0 154286397 14320615424 312531 33554432000 4194304 4196468 140735542332144 140659403339760 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5378] ppid=5365 vsize=13984976 memory=2548 CPUtime=4.69 cores=1,3,5,7
/proc/5367/task/5378/stat : 5378 (java) S 5365 5365 3809 0 -1 1077944384 17283 0 0 0 467 2 0 0 20 0 15 0 154286397 14320615424 312531 33554432000 4194304 4196468 140735542332144 140659402287216 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5379] ppid=5365 vsize=13984976 memory=1156 CPUtime=0.93 cores=1,3,5,7
/proc/5367/task/5379/stat : 5379 (java) S 5365 5365 3809 0 -1 1077944384 8673 0 0 0 91 2 0 0 20 0 15 0 154286397 14320615424 312531 33554432000 4194304 4196468 140735542332144 140659401234672 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5380] ppid=5365 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5380/stat : 5380 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14320615424 312531 33554432000 4194304 4196468 140735542332144 140659400182368 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5381] ppid=5365 vsize=13984976 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5367/task/5381/stat : 5381 (java) S 5365 5365 3809 0 -1 1077944384 653 0 0 0 1 3 0 0 20 0 15 0 154286397 14320615424 312531 33554432000 4194304 4196468 140735542332144 140659399129904 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
Current children cumulated CPU time: 114.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1251504 KiB
[startup+162.301 s]
/proc/loadavg: 1.81 1.81 1.79 3/218 5469
/proc/meminfo: memFree=21527636/32770624 swapFree=67108860/67108860
[pid=5365] ppid=5362 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5365/stat : 5365 (xcsp3-exec) S 5362 5365 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154286391 9740288 345 33554432000 4194304 5098028 140729285574352 140729285572456 140710476878460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14553088 140729285575797 140729285576000 140729285576000 140729285578731 0
/proc/5365/statm: 2378 345 289 221 0 87 0
[pid=5367] ppid=5365 vsize=13984976 memory=1186932 CPUtime=175.32 cores=1,3,5,7
/proc/5367/stat : 5367 (java) S 5365 5365 3809 0 -1 1077944320 93608 0 0 0 17456 76 0 0 20 0 15 0 154286391 14320615424 296733 33554432000 4194304 4196468 140735542332144 140735542314688 140660495122167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
/proc/5367/statm: 3496244 296733 3267 1 0 3483478 0
[pid=5367/tid=5368] ppid=5365 vsize=13984976 memory=1203372 CPUtime=161.53 cores=1,3,5,7
/proc/5367/task/5368/stat : 5368 (java) R 5365 5365 3809 0 -1 4202560 20467 0 0 0 16136 17 0 0 20 0 15 0 154286391 14320615424 296733 33554432000 4194304 4196468 140735542332144 140660499361376 140660137331494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5369] ppid=5365 vsize=13984976 memory=1203372 CPUtime=0.68 cores=1,3,5,7
/proc/5367/task/5369/stat : 5369 (java) S 5365 5365 3809 0 -1 1077944384 1030 0 0 0 58 10 0 0 20 0 15 0 154286392 14320615424 296733 33554432000 4194304 4196468 140735542332144 140660091054352 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5370] ppid=5365 vsize=13984976 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/5367/task/5370/stat : 5370 (java) S 5365 5365 3809 0 -1 1077944384 1117 0 0 0 57 11 0 0 20 0 15 0 154286392 14320615424 296733 33554432000 4194304 4196468 140735542332144 140660090001808 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5371] ppid=5365 vsize=13984976 memory=1186932 CPUtime=0.69 cores=1,3,5,7
/proc/5367/task/5371/stat : 5371 (java) S 5365 5365 3809 0 -1 1077944384 2511 0 0 0 58 11 0 0 20 0 15 0 154286392 14320615424 296733 33554432000 4194304 4196468 140735542332144 140660088949264 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5372] ppid=5365 vsize=13984976 memory=1186932 CPUtime=0.67 cores=1,3,5,7
/proc/5367/task/5372/stat : 5372 (java) S 5365 5365 3809 0 -1 1077944384 1867 0 0 0 56 11 0 0 20 0 15 0 154286392 14320615424 296733 33554432000 4194304 4196468 140735542332144 140660087896720 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5373] ppid=5365 vsize=13984976 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/5367/task/5373/stat : 5373 (java) S 5365 5365 3809 0 -1 1077944384 1532 0 0 0 2 0 0 0 20 0 15 0 154286394 14320615424 296733 33554432000 4194304 4196468 140735542332144 140659407550960 140660495133314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5374] ppid=5365 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5374/stat : 5374 (java) S 5365 5365 3809 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154286394 14320615424 296733 33554432000 4194304 4196468 140735542332144 140659406497248 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5375] ppid=5365 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5375/stat : 5375 (java) S 5365 5365 3809 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154286394 14320615424 296733 33554432000 4194304 4196468 140735542332144 140659405444608 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5376] ppid=5365 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5376/stat : 5376 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14320615424 296733 33554432000 4194304 4196468 140735542332144 140659404393168 140660495140763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5377] ppid=5365 vsize=13984976 memory=1203372 CPUtime=5.02 cores=1,3,5,7
/proc/5367/task/5377/stat : 5377 (java) S 5365 5365 3809 0 -1 1077944384 32837 0 0 0 497 5 0 0 20 0 15 0 154286397 14320615424 296733 33554432000 4194304 4196468 140735542332144 140659403339760 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5378] ppid=5365 vsize=13984976 memory=1380 CPUtime=4.91 cores=1,3,5,7
/proc/5367/task/5378/stat : 5378 (java) S 5365 5365 3809 0 -1 1077944384 20218 0 0 0 488 3 0 0 20 0 15 0 154286397 14320615424 296733 33554432000 4194304 4196468 140735542332144 140659402287216 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5379] ppid=5365 vsize=13984976 memory=1186932 CPUtime=0.94 cores=1,3,5,7
/proc/5367/task/5379/stat : 5379 (java) S 5365 5365 3809 0 -1 1077944384 9995 0 0 0 92 2 0 0 20 0 15 0 154286397 14320615424 296733 33554432000 4194304 4196468 140735542332144 140659401234672 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5380] ppid=5365 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5380/stat : 5380 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14320615424 296733 33554432000 4194304 4196468 140735542332144 140659400182368 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5381] ppid=5365 vsize=13984976 memory=644 CPUtime=0.07 cores=1,3,5,7
/proc/5367/task/5381/stat : 5381 (java) S 5365 5365 3809 0 -1 1077944384 683 0 0 0 3 4 0 0 20 0 15 0 154286397 14320615424 296733 33554432000 4194304 4196468 140735542332144 140659399129904 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
Current children cumulated CPU time: 175.32 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1188312 KiB
[startup+222.301 s]
/proc/loadavg: 1.82 1.81 1.79 3/218 5470
/proc/meminfo: memFree=21644056/32770624 swapFree=67108860/67108860
[pid=5365] ppid=5362 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5365/stat : 5365 (xcsp3-exec) S 5362 5365 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154286391 9740288 345 33554432000 4194304 5098028 140729285574352 140729285572456 140710476878460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14553088 140729285575797 140729285576000 140729285576000 140729285578731 0
/proc/5365/statm: 2378 345 289 221 0 87 0
[pid=5367] ppid=5365 vsize=13984976 memory=1135724 CPUtime=236.22 cores=1,3,5,7
/proc/5367/stat : 5367 (java) S 5365 5365 3809 0 -1 1077944320 99090 0 0 0 23535 87 0 0 20 0 15 0 154286391 14320615424 283931 33554432000 4194304 4196468 140735542332144 140735542314688 140660495122167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
/proc/5367/statm: 3496244 283931 3267 1 0 3483478 0
[pid=5367/tid=5368] ppid=5365 vsize=13984976 memory=1135724 CPUtime=221.24 cores=1,3,5,7
/proc/5367/task/5368/stat : 5368 (java) R 5365 5365 3809 0 -1 4202560 23091 0 0 0 22106 18 0 0 20 0 15 0 154286391 14320615424 283931 33554432000 4194304 4196468 140735542332144 140660499361616 140660135204768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5369] ppid=5365 vsize=13984976 memory=1135724 CPUtime=0.96 cores=1,3,5,7
/proc/5367/task/5369/stat : 5369 (java) S 5365 5365 3809 0 -1 1077944384 1272 0 0 0 83 13 0 0 20 0 15 0 154286392 14320615424 283931 33554432000 4194304 4196468 140735542332144 140660091054352 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5370] ppid=5365 vsize=13984976 memory=1380 CPUtime=0.96 cores=1,3,5,7
/proc/5367/task/5370/stat : 5370 (java) S 5365 5365 3809 0 -1 1077944384 1551 0 0 0 83 13 0 0 20 0 15 0 154286392 14320615424 283931 33554432000 4194304 4196468 140735542332144 140660090001808 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5371] ppid=5365 vsize=13984976 memory=1135724 CPUtime=0.97 cores=1,3,5,7
/proc/5367/task/5371/stat : 5371 (java) S 5365 5365 3809 0 -1 1077944384 2694 0 0 0 84 13 0 0 20 0 15 0 154286392 14320615424 283931 33554432000 4194304 4196468 140735542332144 140660088949264 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5372] ppid=5365 vsize=13984976 memory=1135724 CPUtime=0.96 cores=1,3,5,7
/proc/5367/task/5372/stat : 5372 (java) S 5365 5365 3809 0 -1 1077944384 2330 0 0 0 83 13 0 0 20 0 15 0 154286392 14320615424 283931 33554432000 4194304 4196468 140735542332144 140660087896720 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5373] ppid=5365 vsize=13984976 memory=1135724 CPUtime=0.04 cores=1,3,5,7
/proc/5367/task/5373/stat : 5373 (java) S 5365 5365 3809 0 -1 1077944384 1790 0 0 0 3 1 0 0 20 0 15 0 154286394 14320615424 283931 33554432000 4194304 4196468 140735542332144 140659407550960 140660495133314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5374] ppid=5365 vsize=13984976 memory=1135724 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5374/stat : 5374 (java) S 5365 5365 3809 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154286394 14320615424 283931 33554432000 4194304 4196468 140735542332144 140659406497248 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5375] ppid=5365 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5375/stat : 5375 (java) S 5365 5365 3809 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154286394 14320615424 283931 33554432000 4194304 4196468 140735542332144 140659405444608 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5376] ppid=5365 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5376/stat : 5376 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14320615424 283931 33554432000 4194304 4196468 140735542332144 140659404393168 140660495140763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5377] ppid=5365 vsize=13984976 memory=4420 CPUtime=5.03 cores=1,3,5,7
/proc/5367/task/5377/stat : 5377 (java) S 5365 5365 3809 0 -1 1077944384 33078 0 0 0 498 5 0 0 20 0 15 0 154286397 14320615424 283931 33554432000 4194304 4196468 140735542332144 140659403339760 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5378] ppid=5365 vsize=13984976 memory=1380 CPUtime=4.92 cores=1,3,5,7
/proc/5367/task/5378/stat : 5378 (java) S 5365 5365 3809 0 -1 1077944384 21203 0 0 0 489 3 0 0 20 0 15 0 154286397 14320615424 283931 33554432000 4194304 4196468 140735542332144 140659402287216 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5379] ppid=5365 vsize=13984976 memory=1380 CPUtime=0.94 cores=1,3,5,7
/proc/5367/task/5379/stat : 5379 (java) S 5365 5365 3809 0 -1 1077944384 10004 0 0 0 92 2 0 0 20 0 15 0 154286397 14320615424 283931 33554432000 4194304 4196468 140735542332144 140659401234672 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5380] ppid=5365 vsize=13984976 memory=1135724 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5380/stat : 5380 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14320615424 283931 33554432000 4194304 4196468 140735542332144 140659400182368 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5381] ppid=5365 vsize=13984976 memory=1380 CPUtime=0.1 cores=1,3,5,7
/proc/5367/task/5381/stat : 5381 (java) S 5365 5365 3809 0 -1 1077944384 726 0 0 0 4 6 0 0 20 0 15 0 154286397 14320615424 283931 33554432000 4194304 4196468 140735542332144 140659399129904 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
Current children cumulated CPU time: 236.22 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1137104 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.81 1.81 1.79 3/218 5470
/proc/meminfo: memFree=21673400/32770624 swapFree=67108860/67108860
[pid=5365] ppid=5362 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5365/stat : 5365 (xcsp3-exec) S 5362 5365 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154286391 9740288 345 33554432000 4194304 5098028 140729285574352 140729285572456 140710476878460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14553088 140729285575797 140729285576000 140729285576000 140729285578731 0
/proc/5365/statm: 2378 345 289 221 0 87 0
[pid=5367] ppid=5365 vsize=13984976 memory=1114624 CPUtime=254.33 cores=1,3,5,7
/proc/5367/stat : 5367 (java) S 5365 5365 3809 0 -1 1077944320 102052 0 0 0 25342 91 0 0 20 0 15 0 154286391 14320615424 278656 33554432000 4194304 4196468 140735542332144 140735542314688 140660495122167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
/proc/5367/statm: 3496244 278656 3267 1 0 3483478 0
[pid=5367/tid=5368] ppid=5365 vsize=13984976 memory=8112282956445269571 CPUtime=238.82 cores=1,3,5,7
/proc/5367/task/5368/stat : 5368 (java) R 5365 5365 3809 0 -1 4202560 23249 0 0 0 23864 18 0 0 20 0 15 0 154286391 14320615424 278656 33554432000 4194304 4196468 140735542332144 140660499361584 140660133790077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5369] ppid=5365 vsize=13984976 memory=4126316290023845779 CPUtime=1.09 cores=1,3,5,7
/proc/5367/task/5369/stat : 5369 (java) S 5365 5365 3809 0 -1 1077944384 1610 0 0 0 95 14 0 0 20 0 15 0 154286392 14320615424 278656 33554432000 4194304 4196468 140735542332144 140660091054352 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5370] ppid=5365 vsize=13984976 memory=1952 CPUtime=1.08 cores=1,3,5,7
/proc/5367/task/5370/stat : 5370 (java) S 5365 5365 3809 0 -1 1077944384 1721 0 0 0 94 14 0 0 20 0 15 0 154286392 14320615424 278656 33554432000 4194304 4196468 140735542332144 140660090001808 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5371] ppid=5365 vsize=13984976 memory=1200 CPUtime=1.1 cores=1,3,5,7
/proc/5367/task/5371/stat : 5371 (java) S 5365 5365 3809 0 -1 1077944384 2862 0 0 0 96 14 0 0 20 0 15 0 154286392 14320615424 278656 33554432000 4194304 4196468 140735542332144 140660088949264 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5372] ppid=5365 vsize=13984976 memory=8612 CPUtime=1.09 cores=1,3,5,7
/proc/5367/task/5372/stat : 5372 (java) S 5365 5365 3809 0 -1 1077944384 2403 0 0 0 95 14 0 0 20 0 15 0 154286392 14320615424 278656 33554432000 4194304 4196468 140735542332144 140660087896720 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5373] ppid=5365 vsize=13984976 memory=55 CPUtime=0.04 cores=1,3,5,7
/proc/5367/task/5373/stat : 5373 (java) S 5365 5365 3809 0 -1 1077944384 1934 0 0 0 3 1 0 0 20 0 15 0 154286394 14320615424 278656 33554432000 4194304 4196468 140735542332144 140659407550960 140660495133314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5374] ppid=5365 vsize=13984976 memory=-6901096786558086520 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5374/stat : 5374 (java) S 5365 5365 3809 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154286394 14320615424 278656 33554432000 4194304 4196468 140735542332144 140659406497248 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5375] ppid=5365 vsize=13984976 memory=12467 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5375/stat : 5375 (java) S 5365 5365 3809 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154286394 14320615424 278656 33554432000 4194304 4196468 140735542332144 140659405444608 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5376] ppid=5365 vsize=13984976 memory=2321666305246641763 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5376/stat : 5376 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14320615424 278656 33554432000 4194304 4196468 140735542332144 140659404393168 140660495140763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5377] ppid=5365 vsize=13984976 memory=140431289056530 CPUtime=5.05 cores=1,3,5,7
/proc/5367/task/5377/stat : 5377 (java) S 5365 5365 3809 0 -1 1077944384 33828 0 0 0 500 5 0 0 20 0 15 0 154286397 14320615424 278656 33554432000 4194304 4196468 140735542332144 140659403339760 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5378] ppid=5365 vsize=13984976 memory=7741803660791861863 CPUtime=4.94 cores=1,3,5,7
/proc/5367/task/5378/stat : 5378 (java) S 5365 5365 3809 0 -1 1077944384 21960 0 0 0 491 3 0 0 20 0 15 0 154286397 14320615424 278656 33554432000 4194304 4196468 140735542332144 140659402287216 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5379] ppid=5365 vsize=13984976 memory=8026660735103034984 CPUtime=0.95 cores=1,3,5,7
/proc/5367/task/5379/stat : 5379 (java) S 5365 5365 3809 0 -1 1077944384 10401 0 0 0 93 2 0 0 20 0 15 0 154286397 14320615424 278656 33554432000 4194304 4196468 140735542332144 140659401234672 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5380] ppid=5365 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5380/stat : 5380 (java) S 5365 5365 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286397 14320615424 278656 33554432000 4194304 4196468 140735542332144 140659400182368 140660495132373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
[pid=5367/tid=5381] ppid=5365 vsize=13984976 memory=4616 CPUtime=0.1 cores=1,3,5,7
/proc/5367/task/5381/stat : 5381 (java) S 5365 5365 3809 0 -1 1077944384 733 0 0 0 4 6 0 0 20 0 15 0 154286397 14320615424 278656 33554432000 4194304 4196468 140735542332144 140659399129904 140660495133314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 11599872 140735542334621 140735542334796 140735542334796 140735542337487 0
Current children cumulated CPU time: 254.33 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1116004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 5365 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00171 s, system=0.000629 s
[startup+240.029 s]
# the end of solver process 5367 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.441 s, system=0.929382 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.029
CPU time (s): 254.371
CPU user time (s): 253.441
CPU system time (s): 0.929382
CPU usage (%): 105.975
Max. virtual memory (cumulated for all children) (KiB): 13996168
Max. memory (cumulated for all children) (KiB): 1289344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.441
system time used= 0.929382
maximum resident set size= 1296156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103000
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8950
involuntary context switches= 244
# summary of solver processes directly reported to runsolver:
# pid: 5365,5367
# total CPU time (s): 254.371
# total CPU user time (s): 253.441
# total CPU system time (s): 0.929382
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.17204 second user time and 1.78889 second system time
The end
Begin job on node104 at 2017-08-20 08:38:46 IDJOB=4284568 IDBENCH=124395 IDSOLVER=2680 FILE ID=node104/4284568-1503211987 RUNJOBID= node104-1503208966-3841 PBS_JOBID= 20630870 Free space on /tmp= 61720 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-4284568-1503211987/watcher-4284568-1503211987 -o /tmp/evaluation-result-4284568-1503211987/solver-4284568-1503211987 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503208966-3841 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 286751453 HOME/instance-4284568-1503211987.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7965d79c566fadd70d01c63d02ba9078 RANDOM SEED=286751453 node104.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.43 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.43 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.43 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.43 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: 23409496 kB MemAvailable: 31509104 kB Buffers: 280468 kB Cached: 8097284 kB SwapCached: 0 kB Active: 3762988 kB Inactive: 5121104 kB Active(anon): 508964 kB Inactive(anon): 33192 kB Active(file): 3254024 kB Inactive(file): 5087912 kB Unevictable: 7828 kB Mlocked: 7828 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7820 kB Writeback: 0 kB AnonPages: 513636 kB Mapped: 64124 kB Shmem: 33420 kB Slab: 173760 kB SReclaimable: 147012 kB SUnreclaim: 26748 kB KernelStack: 3504 kB PageTables: 6452 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1156792 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 393216 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61712 MiB End job on node104 at 2017-08-20 08:42:47