Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-08-09) | SAT (TO) | 1339 | 245.056 | 240.024 |
| 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-4270348-1502621446.xml" -tl '264s' -p 1 -x 0 0.12/0.14 c [HOME/instance-4270348-1502621446.xml, -tl, 264s, -p, 1, -x, 0] 0.12/0.20 c simple solver 0.33/0.27 c parse instance... 1.41/0.66 c solve instance... 3.02/1.15 o 1556 3.02/1.16 o 1552 3.02/1.17 o 1539 3.02/1.17 o 1510 3.02/1.18 o 1475 3.02/1.18 o 1446 3.02/1.19 o 1438 18.16/13.74 o 1436 18.16/13.74 o 1425 18.16/13.75 o 1424 18.16/13.76 o 1422 18.16/13.76 o 1411 18.16/13.77 o 1409 18.16/13.77 o 1408 18.16/13.77 o 1397 18.16/13.78 o 1395 18.16/13.78 o 1384 18.16/13.80 o 1368 18.34/13.82 o 1348 18.34/13.84 o 1340 30.38/25.73 o 1339 245.02/240.01 s SATISFIABLE 245.02/240.01 v <instantiation> 245.02/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> 245.02/240.01 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 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 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 1 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 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 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 1 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 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 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 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 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 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 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 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 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 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 1 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 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 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 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 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 73 45 27 32 72 95 69 13 32 33 37 22 92 68 63 59 64 13 77 40 49 19 14 13 47 74 50 15 81 67 39 3 </values> 245.02/240.01 v </instantiation> 245.02/240.01 c Unexpected resolution interruption!
OK 1339
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 (15320 MiB free)
memory of node 1: 16384 MiB (15423 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270348-1502621446/watcher-4270348-1502621446 -o /tmp/evaluation-result-4270348-1502621446/solver-4270348-1502621446 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502620106-1701 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1772392017 HOME/instance-4270348-1502621446.xml
running on 4 cores: 0,2,4,6
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
solver pid=2456, runsolver pid=2453
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 2.00 1.83 1.74 3/217 2472
/proc/meminfo: memFree=31465324/32770624 swapFree=67108860/67108860
[pid=2456] ppid=2453 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2456/stat : 2456 (xcsp3-exec) S 2453 2456 30973 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95232864 9740288 346 33554432000 4194304 5098028 140733984883568 140733984881672 139708452811388 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9129984 140733984892020 140733984892224 140733984892224 140733984894955 0
/proc/2456/statm: 2378 346 289 221 0 87 0
[pid=2458] ppid=2456 vsize=13978596 memory=27808 CPUtime=0.12 cores=0,2,4,6
/proc/2458/stat : 2458 (java) S 2456 2456 30973 0 -1 1077944320 5302 0 0 0 11 1 0 0 20 0 15 0 95232865 14314082304 6952 33554432000 4194304 4196468 140735810984128 140735810966672 139843649703671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
/proc/2458/statm: 3494649 6952 2868 1 0 3482966 0
[pid=2458/tid=2459] ppid=2456 vsize=13978596 memory=7898910893248706067 CPUtime=0.08 cores=0,2,4,6
/proc/2458/task/2459/stat : 2459 (java) R 2456 2456 30973 0 -1 4202560 3310 0 0 0 8 0 0 0 20 0 15 0 95232865 14314082304 6952 33554432000 4194304 4196468 140735810984128 139843653929392 139843649715606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2460] ppid=2456 vsize=13978596 memory=3472468169676125392 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2460/stat : 2460 (java) S 2456 2456 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95232866 14314082304 6952 33554432000 4194304 4196468 140735810984128 139843602324368 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2461] ppid=2456 vsize=13978596 memory=140040780973696 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2461/stat : 2461 (java) S 2456 2456 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95232866 14314082304 6952 33554432000 4194304 4196468 140735810984128 139843601271568 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2462] ppid=2456 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2462/stat : 2462 (java) S 2456 2456 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95232866 14314082304 6952 33554432000 4194304 4196468 140735810984128 139843600219280 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2463] ppid=2456 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2463/stat : 2463 (java) S 2456 2456 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95232866 14314082304 6952 33554432000 4194304 4196468 140735810984128 139843241962512 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2464] ppid=2456 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2464/stat : 2464 (java) S 2456 2456 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95232867 14314082304 6952 33554432000 4194304 4196468 140735810984128 139843123255408 139843649714818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2465] ppid=2456 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2465/stat : 2465 (java) S 2456 2456 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95232868 14314082304 6952 33554432000 4194304 4196468 140735810984128 139843122201376 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2466] ppid=2456 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2466/stat : 2466 (java) S 2456 2456 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95232868 14314082304 6952 33554432000 4194304 4196468 140735810984128 139843121149040 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2467] ppid=2456 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2467/stat : 2467 (java) S 2456 2456 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95232870 14314082304 6952 33554432000 4194304 4196468 140735810984128 139843120097360 139843649722267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2468] ppid=2456 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2468/stat : 2468 (java) S 2456 2456 30973 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 95232870 14314082304 6952 33554432000 4194304 4196468 140735810984128 139843119045232 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2469] ppid=2456 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2469/stat : 2469 (java) R 2456 2456 30973 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 95232870 14314082304 6952 33554432000 4194304 4196468 140735810984128 139843117992432 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2470] ppid=2456 vsize=13978596 memory=140040780973696 CPUtime=0.01 cores=0,2,4,6
/proc/2458/task/2470/stat : 2470 (java) R 2456 2456 30973 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 15 0 95232870 14314082304 6952 33554432000 4194304 4196468 140735810984128 139843116940144 139843649725018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2471] ppid=2456 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2471/stat : 2471 (java) S 2456 2456 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95232870 14314082304 6952 33554432000 4194304 4196468 140735810984128 139843115887584 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2472] ppid=2456 vsize=13978596 memory=140040780973696 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2472/stat : 2472 (java) S 2456 2456 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95232871 14314082304 6952 33554432000 4194304 4196468 140735810984128 139843114834352 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29192 KiB
[startup+0.210533 s]*
/proc/loadavg: 2.00 1.83 1.74 4/217 2472
/proc/meminfo: memFree=31454640/32770624 swapFree=67108860/67108860
[pid=2456] ppid=2453 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2456/stat : 2456 (xcsp3-exec) S 2453 2456 30973 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95232864 9740288 346 33554432000 4194304 5098028 140733984883568 140733984881672 139708452811388 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9129984 140733984892020 140733984892224 140733984892224 140733984894955 0
/proc/2456/statm: 2378 346 289 221 0 87 0
[pid=2458] ppid=2456 vsize=13982852 memory=40172 CPUtime=0.33 cores=0,2,4,6
/proc/2458/stat : 2458 (java) S 2456 2456 30973 0 -1 1077944320 8038 0 0 0 32 1 0 0 20 0 15 0 95232865 14318440448 10043 33554432000 4194304 4196468 140735810984128 140735810966672 139843649703671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
/proc/2458/statm: 3495713 10043 3059 1 0 3482966 0
[pid=2458/tid=2459] ppid=2456 vsize=13982852 memory=7898910893248706067 CPUtime=0.2 cores=0,2,4,6
/proc/2458/task/2459/stat : 2459 (java) R 2456 2456 30973 0 -1 4202560 5219 0 0 0 19 1 0 0 20 0 15 0 95232865 14318440448 10043 33554432000 4194304 4196468 140735810984128 139843653923872 139843633784158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2460] ppid=2456 vsize=13982852 memory=3472468169676125392 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2460/stat : 2460 (java) S 2456 2456 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95232866 14318440448 10043 33554432000 4194304 4196468 140735810984128 139843602324368 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2461] ppid=2456 vsize=13982852 memory=140040780973696 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2461/stat : 2461 (java) S 2456 2456 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95232866 14318440448 10043 33554432000 4194304 4196468 140735810984128 139843601271568 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2462] ppid=2456 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2462/stat : 2462 (java) S 2456 2456 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95232866 14318440448 10043 33554432000 4194304 4196468 140735810984128 139843600219280 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2463] ppid=2456 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2463/stat : 2463 (java) S 2456 2456 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95232866 14318440448 10043 33554432000 4194304 4196468 140735810984128 139843241962512 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2464] ppid=2456 vsize=13982852 memory=140040780973696 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2464/stat : 2464 (java) S 2456 2456 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95232867 14318440448 10043 33554432000 4194304 4196468 140735810984128 139843123255408 139843649714818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2465] ppid=2456 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2465/stat : 2465 (java) S 2456 2456 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95232868 14318440448 10043 33554432000 4194304 4196468 140735810984128 139843122201376 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2466] ppid=2456 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2466/stat : 2466 (java) S 2456 2456 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95232868 14318440448 10043 33554432000 4194304 4196468 140735810984128 139843121149040 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2467] ppid=2456 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2467/stat : 2467 (java) S 2456 2456 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95232870 14318440448 10043 33554432000 4194304 4196468 140735810984128 139843120097360 139843649722267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2468] ppid=2456 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2458/task/2468/stat : 2468 (java) S 2456 2456 30973 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 15 0 95232870 14318440448 10043 33554432000 4194304 4196468 140735810984128 139843119045232 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2469] ppid=2456 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2458/task/2469/stat : 2469 (java) S 2456 2456 30973 0 -1 1077944384 382 0 0 0 2 0 0 0 20 0 15 0 95232870 14318440448 10043 33554432000 4194304 4196468 140735810984128 139843117992432 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2470] ppid=2456 vsize=13982852 memory=140040780973696 CPUtime=0.08 cores=0,2,4,6
/proc/2458/task/2470/stat : 2470 (java) R 2456 2456 30973 0 -1 4202560 742 0 0 0 8 0 0 0 20 0 15 0 95232870 14318440448 10043 33554432000 4194304 4196468 140735810984128 139843116940144 139843633784158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2471] ppid=2456 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2471/stat : 2471 (java) S 2456 2456 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95232870 14318440448 10043 33554432000 4194304 4196468 140735810984128 139843115887584 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2472] ppid=2456 vsize=13982852 memory=140040780973696 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2472/stat : 2472 (java) S 2456 2456 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95232871 14318440448 10043 33554432000 4194304 4196468 140735810984128 139843114834352 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41556 KiB
[startup+0.314713 s]*
/proc/loadavg: 2.00 1.83 1.74 5/217 2472
/proc/meminfo: memFree=31447072/32770624 swapFree=67108860/67108860
[pid=2456] ppid=2453 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2456/stat : 2456 (xcsp3-exec) S 2453 2456 30973 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95232864 9740288 346 33554432000 4194304 5098028 140733984883568 140733984881672 139708452811388 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9129984 140733984892020 140733984892224 140733984892224 140733984894955 0
/proc/2456/statm: 2378 346 289 221 0 87 0
[pid=2458] ppid=2456 vsize=13982852 memory=47380 CPUtime=0.51 cores=0,2,4,6
/proc/2458/stat : 2458 (java) S 2456 2456 30973 0 -1 1077944320 8960 0 0 0 49 2 0 0 20 0 15 0 95232865 14318440448 11845 33554432000 4194304 4196468 140735810984128 140735810966672 139843649703671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
/proc/2458/statm: 3495713 11845 3127 1 0 3482966 0
[pid=2458/tid=2459] ppid=2456 vsize=13982852 memory=-7174084197796576197 CPUtime=0.3 cores=0,2,4,6
/proc/2458/task/2459/stat : 2459 (java) R 2456 2456 30973 0 -1 4202560 5891 0 0 0 28 2 0 0 20 0 15 0 95232865 14318440448 11845 33554432000 4194304 4196468 140735810984128 139843653942032 139843649725597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2460] ppid=2456 vsize=13982852 memory=-7001736328920018669 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2460/stat : 2460 (java) S 2456 2456 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95232866 14318440448 11845 33554432000 4194304 4196468 140735810984128 139843602324368 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2461] ppid=2456 vsize=13982852 memory=220 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2461/stat : 2461 (java) S 2456 2456 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95232866 14318440448 11845 33554432000 4194304 4196468 140735810984128 139843601271568 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2462] ppid=2456 vsize=13982852 memory=49 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2462/stat : 2462 (java) S 2456 2456 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95232866 14318440448 11845 33554432000 4194304 4196468 140735810984128 139843600219280 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2463] ppid=2456 vsize=13982852 memory=140040630052895 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2463/stat : 2463 (java) S 2456 2456 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95232866 14318440448 11845 33554432000 4194304 4196468 140735810984128 139843241962512 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2464] ppid=2456 vsize=13982852 memory=280081260078112 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2464/stat : 2464 (java) S 2456 2456 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95232867 14318440448 11845 33554432000 4194304 4196468 140735810984128 139843123255408 139843649714818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2465] ppid=2456 vsize=13982852 memory=140040630022927 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2465/stat : 2465 (java) S 2456 2456 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95232868 14318440448 11845 33554432000 4194304 4196468 140735810984128 139843122201376 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2466] ppid=2456 vsize=13982852 memory=280081411005792 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2466/stat : 2466 (java) S 2456 2456 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95232868 14318440448 11845 33554432000 4194304 4196468 140735810984128 139843121149040 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2467] ppid=2456 vsize=13982852 memory=140040630027535 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2467/stat : 2467 (java) S 2456 2456 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95232870 14318440448 11845 33554432000 4194304 4196468 140735810984128 139843120097360 139843649722267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2468] ppid=2456 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2458/task/2468/stat : 2468 (java) R 2456 2456 30973 0 -1 1077944384 479 0 0 0 3 0 0 0 20 0 15 0 95232870 14318440448 11845 33554432000 4194304 4196468 140735810984128 139843119045232 139843649714818 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2469] ppid=2456 vsize=13982852 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/2458/task/2469/stat : 2469 (java) R 2456 2456 30973 0 -1 4202560 400 0 0 0 4 0 0 0 20 0 15 0 95232870 14318440448 11845 33554432000 4194304 4196468 140735810984128 139843117992432 139843634588090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2470] ppid=2456 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/2458/task/2470/stat : 2470 (java) R 2456 2456 30973 0 -1 4202560 892 0 0 0 13 0 0 0 20 0 15 0 95232870 14318440448 11845 33554432000 4194304 4196468 140735810984128 139843116937080 139843628378832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2471] ppid=2456 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2471/stat : 2471 (java) S 2456 2456 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95232870 14318440448 11845 33554432000 4194304 4196468 140735810984128 139843115887584 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2472] ppid=2456 vsize=13982852 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2472/stat : 2472 (java) S 2456 2456 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95232871 14318440448 11845 33554432000 4194304 4196468 140735810984128 139843114834352 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48764 KiB
[startup+0.702659 s]
/proc/loadavg: 2.00 1.83 1.74 6/217 2472
/proc/meminfo: memFree=31425792/32770624 swapFree=67108860/67108860
[pid=2456] ppid=2453 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2456/stat : 2456 (xcsp3-exec) S 2453 2456 30973 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95232864 9740288 346 33554432000 4194304 5098028 140733984883568 140733984881672 139708452811388 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9129984 140733984892020 140733984892224 140733984892224 140733984894955 0
/proc/2456/statm: 2378 346 289 221 0 87 0
[pid=2458] ppid=2456 vsize=13984976 memory=81884 CPUtime=1.71 cores=0,2,4,6
/proc/2458/stat : 2458 (java) S 2456 2456 30973 0 -1 1077944320 12091 0 0 0 167 4 0 0 20 0 15 0 95232865 14320615424 20471 33554432000 4194304 4196468 140735810984128 140735810966672 139843649703671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
/proc/2458/statm: 3496244 20471 3212 1 0 3483478 0
[pid=2458/tid=2459] ppid=2456 vsize=13984976 memory=1724 CPUtime=0.66 cores=0,2,4,6
/proc/2458/task/2459/stat : 2459 (java) R 2456 2456 30973 0 -1 4202560 6637 0 0 0 64 2 0 0 20 0 15 0 95232865 14320615424 20471 33554432000 4194304 4196468 140735810984128 139843653939728 139843633069958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2460] ppid=2456 vsize=13984976 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2460/stat : 2460 (java) S 2456 2456 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95232866 14320615424 20471 33554432000 4194304 4196468 140735810984128 139843602324368 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2461] ppid=2456 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2461/stat : 2461 (java) S 2456 2456 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95232866 14320615424 20471 33554432000 4194304 4196468 140735810984128 139843601271568 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2462] ppid=2456 vsize=13984976 memory=280081260143552 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2462/stat : 2462 (java) S 2456 2456 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95232866 14320615424 20471 33554432000 4194304 4196468 140735810984128 139843600219280 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2463] ppid=2456 vsize=13984976 memory=280081260147936 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2463/stat : 2463 (java) S 2456 2456 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95232866 14320615424 20471 33554432000 4194304 4196468 140735810984128 139843241962512 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2464] ppid=2456 vsize=13984976 memory=3184237960706044832 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2464/stat : 2464 (java) S 2456 2456 30973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95232867 14320615424 20471 33554432000 4194304 4196468 140735810984128 139843123255408 139843649714818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2465] ppid=2456 vsize=13984976 memory=280081260156832 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2465/stat : 2465 (java) S 2456 2456 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95232868 14320615424 20471 33554432000 4194304 4196468 140735810984128 139843122201376 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2466] ppid=2456 vsize=13984976 memory=1420 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2466/stat : 2466 (java) S 2456 2456 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95232868 14320615424 20471 33554432000 4194304 4196468 140735810984128 139843121149040 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2467] ppid=2456 vsize=13984976 memory=13040 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2467/stat : 2467 (java) S 2456 2456 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95232870 14320615424 20471 33554432000 4194304 4196468 140735810984128 139843120097360 139843649722267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2468] ppid=2456 vsize=13984976 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/2458/task/2468/stat : 2468 (java) S 2456 2456 30973 0 -1 1077944384 1134 0 0 0 28 0 0 0 20 0 15 0 95232870 14320615424 20471 33554432000 4194304 4196468 140735810984128 139843119045232 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2469] ppid=2456 vsize=13984976 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/2458/task/2469/stat : 2469 (java) R 2456 2456 30973 0 -1 4202560 1136 0 0 0 32 0 0 0 20 0 15 0 95232870 14320615424 20471 33554432000 4194304 4196468 140735810984128 139843117984080 139843634093745 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2470] ppid=2456 vsize=13984976 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/2458/task/2470/stat : 2470 (java) S 2456 2456 30973 0 -1 1077944384 1878 0 0 0 42 0 0 0 20 0 15 0 95232870 14320615424 20471 33554432000 4194304 4196468 140735810984128 139843116940144 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2471] ppid=2456 vsize=13984976 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2471/stat : 2471 (java) S 2456 2456 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95232870 14320615424 20471 33554432000 4194304 4196468 140735810984128 139843115887584 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2472] ppid=2456 vsize=13984976 memory=8996 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2472/stat : 2472 (java) S 2456 2456 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95232871 14320615424 20471 33554432000 4194304 4196468 140735810984128 139843114834352 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 83268 KiB
[startup+1.50081 s]
/proc/loadavg: 2.00 1.83 1.74 5/217 2472
/proc/meminfo: memFree=31401880/32770624 swapFree=67108860/67108860
[pid=2456] ppid=2453 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2456/stat : 2456 (xcsp3-exec) S 2453 2456 30973 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95232864 9740288 346 33554432000 4194304 5098028 140733984883568 140733984881672 139708452811388 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9129984 140733984892020 140733984892224 140733984892224 140733984894955 0
/proc/2456/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/2458/task/2466/stat : 2466 (java) S 2456 2456 30973 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 95232868 14320615424 56837 33554432000 4194304 4196468 140735810984128 139843121149040 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2467] ppid=2456 vsize=13984976 memory=140040781051729 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2467/stat : 2467 (java) S 2456 2456 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95232870 14320615424 56837 33554432000 4194304 4196468 140735810984128 139843120097360 139843649722267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2468] ppid=2456 vsize=13984976 memory=4140 CPUtime=2.1 cores=0,2,4,6
/proc/2458/task/2468/stat : 2468 (java) S 2456 2456 30973 0 -1 1077944384 11694 0 0 0 209 1 0 0 20 0 15 0 95232870 14320615424 56837 33554432000 4194304 4196468 140735810984128 139843119045232 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2469] ppid=2456 vsize=13984976 memory=0 CPUtime=2.08 cores=0,2,4,6
/proc/2458/task/2469/stat : 2469 (java) S 2456 2456 30973 0 -1 1077944384 12037 0 0 0 207 1 0 0 20 0 15 0 95232870 14320615424 56837 33554432000 4194304 4196468 140735810984128 139843117992432 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2470] ppid=2456 vsize=13984976 memory=27476 CPUtime=0.63 cores=0,2,4,6
/proc/2458/task/2470/stat : 2470 (java) S 2456 2456 30973 0 -1 1077944384 7068 0 0 0 62 1 0 0 20 0 15 0 95232870 14320615424 56837 33554432000 4194304 4196468 140735810984128 139843116940144 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2471] ppid=2456 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2471/stat : 2471 (java) S 2456 2456 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95232870 14320615424 56837 33554432000 4194304 4196468 140735810984128 139843115887584 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2472] ppid=2456 vsize=13984976 memory=2336 CPUtime=0.02 cores=0,2,4,6
/proc/2458/task/2472/stat : 2472 (java) S 2456 2456 30973 0 -1 1077944384 1645 0 0 0 1 1 0 0 20 0 15 0 95232871 14320615424 56837 33554432000 4194304 4196468 140735810984128 139843114834352 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
Current children cumulated CPU time: 107.2 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 228732 KiB
[startup+162.301 s]
/proc/loadavg: 1.93 1.88 1.78 3/217 2474
/proc/meminfo: memFree=31283812/32770624 swapFree=67108860/67108860
[pid=2456] ppid=2453 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2456/stat : 2456 (xcsp3-exec) S 2453 2456 30973 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95232864 9740288 346 33554432000 4194304 5098028 140733984883568 140733984881672 139708452811388 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9129984 140733984892020 140733984892224 140733984892224 140733984894955 0
/proc/2456/statm: 2378 346 289 221 0 87 0
[pid=2458] ppid=2456 vsize=13984976 memory=197612 CPUtime=167.24 cores=0,2,4,6
/proc/2458/stat : 2458 (java) S 2456 2456 30973 0 -1 1077944320 52697 0 0 0 16709 15 0 0 20 0 15 0 95232865 14320615424 49403 33554432000 4194304 4196468 140735810984128 140735810966672 139843649703671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
/proc/2458/statm: 3496244 49403 3258 1 0 3483478 0
[pid=2458/tid=2459] ppid=2456 vsize=13984976 memory=201716 CPUtime=162.17 cores=0,2,4,6
/proc/2458/task/2459/stat : 2459 (java) R 2456 2456 30973 0 -1 4202560 11894 0 0 0 16212 5 0 0 20 0 15 0 95232865 14320615424 49403 33554432000 4194304 4196468 140735810984128 139843653942880 139843284829792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2460] ppid=2456 vsize=13984976 memory=201716 CPUtime=0.03 cores=0,2,4,6
/proc/2458/task/2460/stat : 2460 (java) S 2456 2456 30973 0 -1 1077944384 1072 0 0 0 2 1 0 0 20 0 15 0 95232866 14320615424 49403 33554432000 4194304 4196468 140735810984128 139843602324368 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2461] ppid=2456 vsize=13984976 memory=200176 CPUtime=0.03 cores=0,2,4,6
/proc/2458/task/2461/stat : 2461 (java) S 2456 2456 30973 0 -1 1077944384 1486 0 0 0 2 1 0 0 20 0 15 0 95232866 14320615424 49403 33554432000 4194304 4196468 140735810984128 139843601271568 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2462] ppid=2456 vsize=13984976 memory=1384 CPUtime=0.03 cores=0,2,4,6
/proc/2458/task/2462/stat : 2462 (java) S 2456 2456 30973 0 -1 1077944384 1635 0 0 0 2 1 0 0 20 0 15 0 95232866 14320615424 49403 33554432000 4194304 4196468 140735810984128 139843600219280 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2463] ppid=2456 vsize=13984976 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2458/task/2463/stat : 2463 (java) S 2456 2456 30973 0 -1 1077944384 1011 0 0 0 2 1 0 0 20 0 15 0 95232866 14320615424 49403 33554432000 4194304 4196468 140735810984128 139843241962512 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2464] ppid=2456 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/2458/task/2464/stat : 2464 (java) S 2456 2456 30973 0 -1 1077944384 1447 0 0 0 2 0 0 0 20 0 15 0 95232867 14320615424 49403 33554432000 4194304 4196468 140735810984128 139843123255408 139843649714818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2465] ppid=2456 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2465/stat : 2465 (java) S 2456 2456 30973 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 95232868 14320615424 49403 33554432000 4194304 4196468 140735810984128 139843122201376 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2466] ppid=2456 vsize=13984976 memory=6764 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2466/stat : 2466 (java) S 2456 2456 30973 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 95232868 14320615424 49403 33554432000 4194304 4196468 140735810984128 139843121149040 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2467] ppid=2456 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2467/stat : 2467 (java) S 2456 2456 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95232870 14320615424 49403 33554432000 4194304 4196468 140735810984128 139843120097360 139843649722267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2468] ppid=2456 vsize=13984976 memory=1384 CPUtime=2.1 cores=0,2,4,6
/proc/2458/task/2468/stat : 2468 (java) S 2456 2456 30973 0 -1 1077944384 11696 0 0 0 209 1 0 0 20 0 15 0 95232870 14320615424 49403 33554432000 4194304 4196468 140735810984128 139843119045232 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2469] ppid=2456 vsize=13984976 memory=1384 CPUtime=2.09 cores=0,2,4,6
/proc/2458/task/2469/stat : 2469 (java) S 2456 2456 30973 0 -1 1077944384 12039 0 0 0 208 1 0 0 20 0 15 0 95232870 14320615424 49403 33554432000 4194304 4196468 140735810984128 139843117992432 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2470] ppid=2456 vsize=13984976 memory=1384 CPUtime=0.63 cores=0,2,4,6
/proc/2458/task/2470/stat : 2470 (java) S 2456 2456 30973 0 -1 1077944384 7399 0 0 0 62 1 0 0 20 0 15 0 95232870 14320615424 49403 33554432000 4194304 4196468 140735810984128 139843116940144 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2471] ppid=2456 vsize=13984976 memory=200176 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2471/stat : 2471 (java) S 2456 2456 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95232870 14320615424 49403 33554432000 4194304 4196468 140735810984128 139843115887584 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2472] ppid=2456 vsize=13984976 memory=1384 CPUtime=0.03 cores=0,2,4,6
/proc/2458/task/2472/stat : 2472 (java) S 2456 2456 30973 0 -1 1077944384 1670 0 0 0 1 2 0 0 20 0 15 0 95232871 14320615424 49403 33554432000 4194304 4196468 140735810984128 139843114834352 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
Current children cumulated CPU time: 167.24 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 198996 KiB
[startup+222.301 s]
/proc/loadavg: 1.90 1.89 1.79 3/217 2560
/proc/meminfo: memFree=31334964/32770624 swapFree=67108860/67108860
[pid=2456] ppid=2453 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2456/stat : 2456 (xcsp3-exec) S 2453 2456 30973 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95232864 9740288 346 33554432000 4194304 5098028 140733984883568 140733984881672 139708452811388 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9129984 140733984892020 140733984892224 140733984892224 140733984894955 0
/proc/2456/statm: 2378 346 289 221 0 87 0
[pid=2458] ppid=2456 vsize=13984976 memory=175588 CPUtime=227.3 cores=0,2,4,6
/proc/2458/stat : 2458 (java) S 2456 2456 30973 0 -1 1077944320 55396 0 0 0 22713 17 0 0 20 0 15 0 95232865 14320615424 43897 33554432000 4194304 4196468 140735810984128 140735810966672 139843649703671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
/proc/2458/statm: 3496244 43897 3258 1 0 3483478 0
[pid=2458/tid=2459] ppid=2456 vsize=13984976 memory=1384 CPUtime=222.12 cores=0,2,4,6
/proc/2458/task/2459/stat : 2459 (java) R 2456 2456 30973 0 -1 4202560 12366 0 0 0 22207 5 0 0 20 0 15 0 95232865 14320615424 43897 33554432000 4194304 4196468 140735810984128 139843653943088 139843286636530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2460] ppid=2456 vsize=13984976 memory=175588 CPUtime=0.04 cores=0,2,4,6
/proc/2458/task/2460/stat : 2460 (java) S 2456 2456 30973 0 -1 1077944384 1442 0 0 0 3 1 0 0 20 0 15 0 95232866 14320615424 43897 33554432000 4194304 4196468 140735810984128 139843602324368 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2461] ppid=2456 vsize=13984976 memory=175588 CPUtime=0.04 cores=0,2,4,6
/proc/2458/task/2461/stat : 2461 (java) S 2456 2456 30973 0 -1 1077944384 1514 0 0 0 3 1 0 0 20 0 15 0 95232866 14320615424 43897 33554432000 4194304 4196468 140735810984128 139843601271568 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2462] ppid=2456 vsize=13984976 memory=3472468336857801024 CPUtime=0.04 cores=0,2,4,6
/proc/2458/task/2462/stat : 2462 (java) S 2456 2456 30973 0 -1 1077944384 1695 0 0 0 3 1 0 0 20 0 15 0 95232866 14320615424 43897 33554432000 4194304 4196468 140735810984128 139843600219280 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2463] ppid=2456 vsize=13984976 memory=1384 CPUtime=0.04 cores=0,2,4,6
/proc/2458/task/2463/stat : 2463 (java) S 2456 2456 30973 0 -1 1077944384 1072 0 0 0 3 1 0 0 20 0 15 0 95232866 14320615424 43897 33554432000 4194304 4196468 140735810984128 139843241962512 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2464] ppid=2456 vsize=13984976 memory=1384 CPUtime=0.03 cores=0,2,4,6
/proc/2458/task/2464/stat : 2464 (java) S 2456 2456 30973 0 -1 1077944384 1697 0 0 0 3 0 0 0 20 0 15 0 95232867 14320615424 43897 33554432000 4194304 4196468 140735810984128 139843123255408 139843649714818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2465] ppid=2456 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2465/stat : 2465 (java) S 2456 2456 30973 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 95232868 14320615424 43897 33554432000 4194304 4196468 140735810984128 139843122201376 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2466] ppid=2456 vsize=13984976 memory=2636 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2466/stat : 2466 (java) S 2456 2456 30973 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 95232868 14320615424 43897 33554432000 4194304 4196468 140735810984128 139843121149040 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2467] ppid=2456 vsize=13984976 memory=928 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2467/stat : 2467 (java) S 2456 2456 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95232870 14320615424 43897 33554432000 4194304 4196468 140735810984128 139843120097360 139843649722267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2468] ppid=2456 vsize=13984976 memory=175588 CPUtime=2.1 cores=0,2,4,6
/proc/2458/task/2468/stat : 2468 (java) S 2456 2456 30973 0 -1 1077944384 11699 0 0 0 209 1 0 0 20 0 15 0 95232870 14320615424 43897 33554432000 4194304 4196468 140735810984128 139843119045232 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2469] ppid=2456 vsize=13984976 memory=4140 CPUtime=2.1 cores=0,2,4,6
/proc/2458/task/2469/stat : 2469 (java) S 2456 2456 30973 0 -1 1077944384 12922 0 0 0 209 1 0 0 20 0 15 0 95232870 14320615424 43897 33554432000 4194304 4196468 140735810984128 139843117992432 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2470] ppid=2456 vsize=13984976 memory=1384 CPUtime=0.63 cores=0,2,4,6
/proc/2458/task/2470/stat : 2470 (java) S 2456 2456 30973 0 -1 1077944384 7939 0 0 0 62 1 0 0 20 0 15 0 95232870 14320615424 43897 33554432000 4194304 4196468 140735810984128 139843116940144 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2471] ppid=2456 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2471/stat : 2471 (java) S 2456 2456 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95232870 14320615424 43897 33554432000 4194304 4196468 140735810984128 139843115887584 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2472] ppid=2456 vsize=13984976 memory=4140 CPUtime=0.05 cores=0,2,4,6
/proc/2458/task/2472/stat : 2472 (java) S 2456 2456 30973 0 -1 1077944384 1702 0 0 0 2 3 0 0 20 0 15 0 95232871 14320615424 43897 33554432000 4194304 4196468 140735810984128 139843114834352 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
Current children cumulated CPU time: 227.3 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 176972 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.93 1.89 1.79 3/217 2560
/proc/meminfo: memFree=31331296/32770624 swapFree=67108860/67108860
[pid=2456] ppid=2453 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2456/stat : 2456 (xcsp3-exec) S 2453 2456 30973 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95232864 9740288 346 33554432000 4194304 5098028 140733984883568 140733984881672 139708452811388 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9129984 140733984892020 140733984892224 140733984892224 140733984894955 0
/proc/2456/statm: 2378 346 289 221 0 87 0
[pid=2458] ppid=2456 vsize=13984976 memory=168920 CPUtime=245.02 cores=0,2,4,6
/proc/2458/stat : 2458 (java) S 2456 2456 30973 0 -1 1077944320 55410 0 0 0 24485 17 0 0 20 0 15 0 95232865 14320615424 42230 33554432000 4194304 4196468 140735810984128 140735810966672 139843649703671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
/proc/2458/statm: 3496244 42230 3258 1 0 3483478 0
[pid=2458/tid=2459] ppid=2456 vsize=13984976 memory=15876 CPUtime=239.83 cores=0,2,4,6
/proc/2458/task/2459/stat : 2459 (java) R 2456 2456 30973 0 -1 4202560 12373 0 0 0 23978 5 0 0 20 0 15 0 95232865 14320615424 42230 33554432000 4194304 4196468 140735810984128 139843653943088 139843284270551 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2460] ppid=2456 vsize=13984976 memory=18476 CPUtime=0.04 cores=0,2,4,6
/proc/2458/task/2460/stat : 2460 (java) S 2456 2456 30973 0 -1 1077944384 1444 0 0 0 3 1 0 0 20 0 15 0 95232866 14320615424 42230 33554432000 4194304 4196468 140735810984128 139843602324368 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2461] ppid=2456 vsize=13984976 memory=-7003737579269690708 CPUtime=0.04 cores=0,2,4,6
/proc/2458/task/2461/stat : 2461 (java) S 2456 2456 30973 0 -1 1077944384 1514 0 0 0 3 1 0 0 20 0 15 0 95232866 14320615424 42230 33554432000 4194304 4196468 140735810984128 139843601271568 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2462] ppid=2456 vsize=13984976 memory=1196 CPUtime=0.04 cores=0,2,4,6
/proc/2458/task/2462/stat : 2462 (java) S 2456 2456 30973 0 -1 1077944384 1698 0 0 0 3 1 0 0 20 0 15 0 95232866 14320615424 42230 33554432000 4194304 4196468 140735810984128 139843600219280 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2463] ppid=2456 vsize=13984976 memory=8548 CPUtime=0.04 cores=0,2,4,6
/proc/2458/task/2463/stat : 2463 (java) S 2456 2456 30973 0 -1 1077944384 1072 0 0 0 3 1 0 0 20 0 15 0 95232866 14320615424 42230 33554432000 4194304 4196468 140735810984128 139843241962512 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2464] ppid=2456 vsize=13984976 memory=1228 CPUtime=0.04 cores=0,2,4,6
/proc/2458/task/2464/stat : 2464 (java) S 2456 2456 30973 0 -1 1077944384 1697 0 0 0 4 0 0 0 20 0 15 0 95232867 14320615424 42230 33554432000 4194304 4196468 140735810984128 139843123255408 139843649714818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2465] ppid=2456 vsize=13984976 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2465/stat : 2465 (java) S 2456 2456 30973 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 95232868 14320615424 42230 33554432000 4194304 4196468 140735810984128 139843122201376 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2466] ppid=2456 vsize=13984976 memory=18476 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2466/stat : 2466 (java) S 2456 2456 30973 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 95232868 14320615424 42230 33554432000 4194304 4196468 140735810984128 139843121149040 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2467] ppid=2456 vsize=13984976 memory=15520 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2467/stat : 2467 (java) S 2456 2456 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95232870 14320615424 42230 33554432000 4194304 4196468 140735810984128 139843120097360 139843649722267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2468] ppid=2456 vsize=13984976 memory=4040 CPUtime=2.1 cores=0,2,4,6
/proc/2458/task/2468/stat : 2468 (java) S 2456 2456 30973 0 -1 1077944384 11699 0 0 0 209 1 0 0 20 0 15 0 95232870 14320615424 42230 33554432000 4194304 4196468 140735810984128 139843119045232 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2469] ppid=2456 vsize=13984976 memory=170460 CPUtime=2.1 cores=0,2,4,6
/proc/2458/task/2469/stat : 2469 (java) S 2456 2456 30973 0 -1 1077944384 12922 0 0 0 209 1 0 0 20 0 15 0 95232870 14320615424 42230 33554432000 4194304 4196468 140735810984128 139843117992432 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2470] ppid=2456 vsize=13984976 memory=2540 CPUtime=0.63 cores=0,2,4,6
/proc/2458/task/2470/stat : 2470 (java) S 2456 2456 30973 0 -1 1077944384 7939 0 0 0 62 1 0 0 20 0 15 0 95232870 14320615424 42230 33554432000 4194304 4196468 140735810984128 139843116940144 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2471] ppid=2456 vsize=13984976 memory=2636 CPUtime=0 cores=0,2,4,6
/proc/2458/task/2471/stat : 2471 (java) S 2456 2456 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95232870 14320615424 42230 33554432000 4194304 4196468 140735810984128 139843115887584 139843649713877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
[pid=2458/tid=2472] ppid=2456 vsize=13984976 memory=928 CPUtime=0.06 cores=0,2,4,6
/proc/2458/task/2472/stat : 2472 (java) S 2456 2456 30973 0 -1 1077944384 1704 0 0 0 3 3 0 0 20 0 15 0 95232871 14320615424 42230 33554432000 4194304 4196468 140735810984128 139843114834352 139843649714818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140735810987165 140735810987340 140735810987340 140735810990031 0
Current children cumulated CPU time: 245.02 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 170304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 2456 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000996 s, system=0.000996 s
[startup+240.024 s]
# the end of solver process 2458 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.87 s, system=0.186079 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.024
CPU time (s): 245.056
CPU user time (s): 244.87
CPU system time (s): 0.186079
CPU usage (%): 102.097
Max. virtual memory (cumulated for all children) (KiB): 13998768
Max. memory (cumulated for all children) (KiB): 235912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.87
system time used= 0.186079
maximum resident set size= 239136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56441
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8375
involuntary context switches= 332
# summary of solver processes directly reported to runsolver:
# pid: 2456,2458
# total CPU time (s): 245.056
# total CPU user time (s): 244.87
# total CPU system time (s): 0.186079
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.31566 second user time and 2.32192 second system time
The end
Begin job on node103 at 2017-08-13 12:36:28 IDJOB=4270348 IDBENCH=124395 IDSOLVER=2661 FILE ID=node103/4270348-1502621446 RUNJOBID= node103-1502620106-1701 PBS_JOBID= 20628296 Free space on /tmp= 61788 MiB SOLVER NAME= choco-solver 4.0.5 seq 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-4270348-1502621446/watcher-4270348-1502621446 -o /tmp/evaluation-result-4270348-1502621446/solver-4270348-1502621446 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502620106-1701 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1772392017 HOME/instance-4270348-1502621446.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7965d79c566fadd70d01c63d02ba9078 RANDOM SEED=1772392017 node103.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.56 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.56 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.56 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.56 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: 31481272 kB MemAvailable: 31780336 kB Buffers: 91484 kB Cached: 502772 kB SwapCached: 0 kB Active: 726168 kB Inactive: 138768 kB Active(anon): 220316 kB Inactive(anon): 78640 kB Active(file): 505852 kB Inactive(file): 60128 kB Unevictable: 6412 kB Mlocked: 6412 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7952 kB Writeback: 0 kB AnonPages: 393836 kB Mapped: 55800 kB Shmem: 25228 kB Slab: 123956 kB SReclaimable: 97840 kB SUnreclaim: 26116 kB KernelStack: 3872 kB PageTables: 5796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1422376 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 296960 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61780 MiB End job on node103 at 2017-08-13 12:40:28