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-18) | SAT (TO) | 1473 | 245.505 | 240.024 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml |
| MD5SUM | 72c979ceab0684897cea6dc90bd0dbab |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 789 |
| Best CPU time to get the best result obtained on this benchmark | 251.90401 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1190 |
| Number of constraints | 1155 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":34},{"size":2,"count":1122},{"size":101,"count":33}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 65 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":34},{"degree":2,"count":66},{"degree":4,"count":1056},{"degree":65,"count":33}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 33 |
| Distribution of constraint arities | [{"arity":1,"count":33},{"arity":3,"count":1056},{"arity":33,"count":66}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 33 |
| Distribution of constraint types | [{"type":"intension","count":33},{"type":"sum","count":1056},{"type":"count","count":66}] |
| 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-4283100-1503212089.xml" -tl '264s' -p 1 -x 0 0.11/0.14 c [HOME/instance-4283100-1503212089.xml, -tl, 264s, -p, 1, -x, 0] 0.11/0.20 c simple solver 0.33/0.26 c parse instance... 1.43/0.64 c solve instance... 3.05/1.18 o 2028 3.05/1.19 o 2026 3.33/1.20 o 2000 3.33/1.21 o 1966 3.33/1.22 o 1940 3.33/1.23 o 1891 3.33/1.23 o 1889 3.33/1.24 o 1883 3.33/1.25 o 1876 3.33/1.26 o 1854 3.33/1.26 o 1836 3.33/1.27 o 1822 3.33/1.28 o 1821 6.90/2.59 o 1712 7.03/2.61 o 1709 7.03/2.61 o 1703 7.03/2.62 o 1660 7.03/2.62 o 1656 7.03/2.64 o 1647 7.03/2.65 o 1646 7.23/2.70 o 1593 54.59/49.46 o 1575 54.59/49.46 o 1573 114.52/109.29 o 1557 177.42/172.05 o 1504 177.42/172.06 o 1473 245.48/240.01 s SATISFIABLE 245.48/240.01 v <instantiation> 245.48/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[0][33] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] 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] u[33] </list> 245.48/240.01 v <values>0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 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 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 59 79 84 93 35 59 7 76 92 17 51 60 73 44 78 99 15 29 38 42 75 55 31 20 38 20 22 32 12 19 36 53 100 </values> 245.48/240.01 v </instantiation> 245.48/240.01 c Unexpected resolution interruption!
OK 1473
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 (11901 MiB free)
memory of node 1: 16384 MiB (13358 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283100-1503212089/watcher-4283100-1503212089 -o /tmp/evaluation-result-4283100-1503212089/solver-4283100-1503212089 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32625 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 527520782 HOME/instance-4283100-1503212089.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
solver pid=2558, runsolver pid=2555
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 1.97 1.97 1.87 3/218 2574
/proc/meminfo: memFree=25848184/32770624 swapFree=67108860/67108860
[pid=2558] ppid=2555 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2558/stat : 2558 (xcsp3-exec) S 2555 2558 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154296927 9740288 345 33554432000 4194304 5098028 140726074751808 140726074749912 140692860572284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27631616 140726074758261 140726074758464 140726074758464 140726074761195 0
/proc/2558/statm: 2378 345 289 221 0 87 0
[pid=2560] ppid=2558 vsize=13978596 memory=28384 CPUtime=0.11 cores=1,3,5,7
/proc/2560/stat : 2560 (java) S 2558 2558 32593 0 -1 1077944320 5516 0 0 0 10 1 0 0 20 0 15 0 154296927 14314082304 7096 33554432000 4194304 4196468 140720482323504 140720482306048 140546902818551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
/proc/2560/statm: 3494649 7096 2840 1 0 3482966 0
[pid=2560/tid=2561] ppid=2558 vsize=13978596 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/2560/task/2561/stat : 2561 (java) R 2558 2558 32593 0 -1 4202560 3534 0 0 0 8 1 0 0 20 0 15 0 154296927 14314082304 7161 33554432000 4194304 4196468 140720482323504 140546907043280 140546902830486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2562] ppid=2558 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2562/stat : 2562 (java) S 2558 2558 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154296928 14314082304 7161 33554432000 4194304 4196468 140720482323504 140546498280592 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2563] ppid=2558 vsize=13978596 memory=140418746627712 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2563/stat : 2563 (java) S 2558 2558 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154296928 14314082304 7161 33554432000 4194304 4196468 140720482323504 140546497227792 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2564] ppid=2558 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2564/stat : 2564 (java) S 2558 2558 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154296928 14314082304 7161 33554432000 4194304 4196468 140720482323504 140546496174992 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2565] ppid=2558 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2565/stat : 2565 (java) S 2558 2558 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154296928 14314082304 7161 33554432000 4194304 4196468 140720482323504 140546495122192 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2566] ppid=2558 vsize=13978596 memory=140418746627712 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2566/stat : 2566 (java) S 2558 2558 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154296930 14314082304 7161 33554432000 4194304 4196468 140720482323504 140546444212592 140546902829698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2567] ppid=2558 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2567/stat : 2567 (java) S 2558 2558 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154296930 14314082304 7161 33554432000 4194304 4196468 140720482323504 140546443158560 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2568] ppid=2558 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2568/stat : 2568 (java) S 2558 2558 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154296930 14314082304 7161 33554432000 4194304 4196468 140720482323504 140546442105712 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2569] ppid=2558 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2569/stat : 2569 (java) S 2558 2558 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154296933 14314082304 7161 33554432000 4194304 4196468 140720482323504 140546441054032 140546902837147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2570] ppid=2558 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2570/stat : 2570 (java) S 2558 2558 32593 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 154296933 14314082304 7161 33554432000 4194304 4196468 140720482323504 140546440002416 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2571] ppid=2558 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2571/stat : 2571 (java) S 2558 2558 32593 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 154296933 14314082304 7161 33554432000 4194304 4196468 140720482323504 140546438949616 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2572] ppid=2558 vsize=13978596 memory=140418746627712 CPUtime=0.01 cores=1,3,5,7
/proc/2560/task/2572/stat : 2572 (java) R 2558 2558 32593 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 15 0 154296933 14314082304 7161 33554432000 4194304 4196468 140720482323504 140546437896816 140546881487355 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2573] ppid=2558 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2573/stat : 2573 (java) S 2558 2558 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154296933 14314082304 7161 33554432000 4194304 4196468 140720482323504 140546436844256 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2574] ppid=2558 vsize=13978596 memory=140418746627712 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2574/stat : 2574 (java) S 2558 2558 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154296933 14314082304 7161 33554432000 4194304 4196468 140720482323504 140546435791536 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29764 KiB
[startup+0.210783 s]*
/proc/loadavg: 1.97 1.97 1.87 3/218 2574
/proc/meminfo: memFree=25837344/32770624 swapFree=67108860/67108860
[pid=2558] ppid=2555 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2558/stat : 2558 (xcsp3-exec) S 2555 2558 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154296927 9740288 345 33554432000 4194304 5098028 140726074751808 140726074749912 140692860572284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27631616 140726074758261 140726074758464 140726074758464 140726074761195 0
/proc/2558/statm: 2378 345 289 221 0 87 0
[pid=2560] ppid=2558 vsize=13982852 memory=40504 CPUtime=0.33 cores=1,3,5,7
/proc/2560/stat : 2560 (java) S 2558 2558 32593 0 -1 1077944320 8145 0 0 0 31 2 0 0 20 0 15 0 154296927 14318440448 10126 33554432000 4194304 4196468 140720482323504 140720482306048 140546902818551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
/proc/2560/statm: 3495713 10126 3035 1 0 3482966 0
[pid=2560/tid=2561] ppid=2558 vsize=13982852 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/2560/task/2561/stat : 2561 (java) D 2558 2558 32593 0 -1 1077944384 5361 0 0 0 18 1 0 0 20 0 15 0 154296927 14318440448 10126 33554432000 4194304 4196468 140720482323504 140546907029344 140546895497773 0 4 0 16800975 18446744072101555748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2562] ppid=2558 vsize=13982852 memory=4294976320 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2562/stat : 2562 (java) S 2558 2558 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154296928 14318440448 10126 33554432000 4194304 4196468 140720482323504 140546498280592 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2563] ppid=2558 vsize=13982852 memory=140418747371552 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2563/stat : 2563 (java) S 2558 2558 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154296928 14318440448 10126 33554432000 4194304 4196468 140720482323504 140546497227792 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2564] ppid=2558 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2564/stat : 2564 (java) S 2558 2558 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154296928 14318440448 10126 33554432000 4194304 4196468 140720482323504 140546496174992 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2565] ppid=2558 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2565/stat : 2565 (java) S 2558 2558 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154296928 14318440448 10126 33554432000 4194304 4196468 140720482323504 140546495122192 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2566] ppid=2558 vsize=13982884 memory=140418746627712 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2566/stat : 2566 (java) S 2558 2558 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154296930 14318473216 10126 33554432000 4194304 4196468 140720482323504 140546444212592 140546902829698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2567] ppid=2558 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2567/stat : 2567 (java) S 2558 2558 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154296930 14318473216 10126 33554432000 4194304 4196468 140720482323504 140546443158560 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2568] ppid=2558 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2568/stat : 2568 (java) S 2558 2558 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154296930 14318440448 10126 33554432000 4194304 4196468 140720482323504 140546442105712 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2569] ppid=2558 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2569/stat : 2569 (java) S 2558 2558 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154296933 14318440448 10126 33554432000 4194304 4196468 140720482323504 140546441054032 140546902837147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2570] ppid=2558 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2560/task/2570/stat : 2570 (java) S 2558 2558 32593 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 15 0 154296933 14318440448 10126 33554432000 4194304 4196468 140720482323504 140546440002416 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2571] ppid=2558 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/2560/task/2571/stat : 2571 (java) S 2558 2558 32593 0 -1 1077944384 443 0 0 0 3 0 0 0 20 0 15 0 154296933 14318440448 10126 33554432000 4194304 4196468 140720482323504 140546438949616 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2572] ppid=2558 vsize=13982852 memory=140418746627712 CPUtime=0.07 cores=1,3,5,7
/proc/2560/task/2572/stat : 2572 (java) S 2558 2558 32593 0 -1 1077944384 728 0 0 0 7 0 0 0 20 0 15 0 154296933 14318440448 10126 33554432000 4194304 4196468 140720482323504 140546437896816 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2573] ppid=2558 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2573/stat : 2573 (java) S 2558 2558 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154296933 14318440448 10126 33554432000 4194304 4196468 140720482323504 140546436844256 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2574] ppid=2558 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2574/stat : 2574 (java) S 2558 2558 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154296933 14318440448 10126 33554432000 4194304 4196468 140720482323504 140546435791536 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41884 KiB
[startup+0.310538 s]*
/proc/loadavg: 1.97 1.97 1.87 5/218 2574
/proc/meminfo: memFree=25828596/32770624 swapFree=67108860/67108860
[pid=2558] ppid=2555 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2558/stat : 2558 (xcsp3-exec) S 2555 2558 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154296927 9740288 345 33554432000 4194304 5098028 140726074751808 140726074749912 140692860572284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27631616 140726074758261 140726074758464 140726074758464 140726074761195 0
/proc/2558/statm: 2378 345 289 221 0 87 0
[pid=2560] ppid=2558 vsize=13982852 memory=47124 CPUtime=0.51 cores=1,3,5,7
/proc/2560/stat : 2560 (java) S 2558 2558 32593 0 -1 1077944320 8949 0 0 0 48 3 0 0 20 0 15 0 154296927 14318440448 11781 33554432000 4194304 4196468 140720482323504 140720482306048 140546902818551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
/proc/2560/statm: 3495713 11781 3088 1 0 3482966 0
[pid=2560/tid=2561] ppid=2558 vsize=13982852 memory=32213995742560408 CPUtime=0.29 cores=1,3,5,7
/proc/2560/task/2561/stat : 2561 (java) R 2558 2558 32593 0 -1 4202560 5957 0 0 0 27 2 0 0 20 0 15 0 154296927 14318440448 11781 33554432000 4194304 4196468 140720482323504 140546907057600 140546513411020 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2562] ppid=2558 vsize=13982852 memory=288230591789540159 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2562/stat : 2562 (java) S 2558 2558 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154296928 14318440448 11781 33554432000 4194304 4196468 140720482323504 140546498280592 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2563] ppid=2558 vsize=13982852 memory=13570400982963727 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2563/stat : 2563 (java) S 2558 2558 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154296928 14318440448 11781 33554432000 4194304 4196468 140720482323504 140546497227792 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2564] ppid=2558 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2564/stat : 2564 (java) S 2558 2558 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154296928 14318440448 11781 33554432000 4194304 4196468 140720482323504 140546496174992 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2565] ppid=2558 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2565/stat : 2565 (java) S 2558 2558 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154296928 14318440448 11781 33554432000 4194304 4196468 140720482323504 140546495122192 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2566] ppid=2558 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2566/stat : 2566 (java) S 2558 2558 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154296930 14318440448 11781 33554432000 4194304 4196468 140720482323504 140546444212592 140546902829698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2567] ppid=2558 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2567/stat : 2567 (java) S 2558 2558 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154296930 14318440448 11781 33554432000 4194304 4196468 140720482323504 140546443158560 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2568] ppid=2558 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2568/stat : 2568 (java) S 2558 2558 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154296930 14318440448 11781 33554432000 4194304 4196468 140720482323504 140546442105712 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2569] ppid=2558 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2569/stat : 2569 (java) S 2558 2558 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154296933 14318440448 11781 33554432000 4194304 4196468 140720482323504 140546441054032 140546902837147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2570] ppid=2558 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2560/task/2570/stat : 2570 (java) R 2558 2558 32593 0 -1 1077944384 399 0 0 0 3 0 0 0 20 0 15 0 154296933 14318440448 11781 33554432000 4194304 4196468 140720482323504 140546440002416 140546902829698 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2571] ppid=2558 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2560/task/2571/stat : 2571 (java) S 2558 2558 32593 0 -1 1077944384 451 0 0 0 4 0 0 0 20 0 15 0 154296933 14318440448 11781 33554432000 4194304 4196468 140720482323504 140546438949616 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2572] ppid=2558 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2560/task/2572/stat : 2572 (java) R 2558 2558 32593 0 -1 4202560 848 0 0 0 12 0 0 0 20 0 15 0 154296933 14318440448 11781 33554432000 4194304 4196468 140720482323504 140546437893184 140546895055678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2573] ppid=2558 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2573/stat : 2573 (java) S 2558 2558 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154296933 14318440448 11781 33554432000 4194304 4196468 140720482323504 140546436844256 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2574] ppid=2558 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2574/stat : 2574 (java) S 2558 2558 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154296933 14318440448 11781 33554432000 4194304 4196468 140720482323504 140546435791536 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48504 KiB
[startup+0.700769 s]
/proc/loadavg: 1.97 1.97 1.87 6/218 2574
/proc/meminfo: memFree=25804648/32770624 swapFree=67108860/67108860
[pid=2558] ppid=2555 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2558/stat : 2558 (xcsp3-exec) S 2555 2558 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154296927 9740288 345 33554432000 4194304 5098028 140726074751808 140726074749912 140692860572284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27631616 140726074758261 140726074758464 140726074758464 140726074761195 0
/proc/2558/statm: 2378 345 289 221 0 87 0
[pid=2560] ppid=2558 vsize=13984976 memory=86660 CPUtime=1.73 cores=1,3,5,7
/proc/2560/stat : 2560 (java) S 2558 2558 32593 0 -1 1077944320 12174 0 0 0 169 4 0 0 20 0 15 0 154296927 14320615424 21665 33554432000 4194304 4196468 140720482323504 140720482306048 140546902818551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
/proc/2560/statm: 3496244 21665 3203 1 0 3483478 0
[pid=2560/tid=2561] ppid=2558 vsize=13984976 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/2560/task/2561/stat : 2561 (java) R 2558 2558 32593 0 -1 4202560 6564 0 0 0 64 3 0 0 20 0 15 0 154296927 14320615424 21665 33554432000 4194304 4196468 140720482323504 140546907054752 140546902830486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2562] ppid=2558 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2562/stat : 2562 (java) S 2558 2558 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154296928 14320615424 21665 33554432000 4194304 4196468 140720482323504 140546498280592 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2563] ppid=2558 vsize=13984976 memory=153 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2563/stat : 2563 (java) S 2558 2558 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154296928 14320615424 21665 33554432000 4194304 4196468 140720482323504 140546497227792 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2564] ppid=2558 vsize=13984976 memory=2 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2564/stat : 2564 (java) S 2558 2558 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154296928 14320615424 21665 33554432000 4194304 4196468 140720482323504 140546496174992 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2565] ppid=2558 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2565/stat : 2565 (java) S 2558 2558 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154296928 14320615424 21665 33554432000 4194304 4196468 140720482323504 140546495122192 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2566] ppid=2558 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2566/stat : 2566 (java) S 2558 2558 32593 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154296930 14320615424 21665 33554432000 4194304 4196468 140720482323504 140546444212592 140546902829698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2567] ppid=2558 vsize=13984976 memory=928 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2567/stat : 2567 (java) S 2558 2558 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154296930 14320615424 21665 33554432000 4194304 4196468 140720482323504 140546443158560 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2568] ppid=2558 vsize=13984976 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2568/stat : 2568 (java) S 2558 2558 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154296930 14320615424 21665 33554432000 4194304 4196468 140720482323504 140546442105712 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2569] ppid=2558 vsize=13984976 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2569/stat : 2569 (java) S 2558 2558 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154296933 14320615424 21665 33554432000 4194304 4196468 140720482323504 140546441054032 140546902837147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2570] ppid=2558 vsize=13984976 memory=4128 CPUtime=0.3 cores=1,3,5,7
/proc/2560/task/2570/stat : 2570 (java) R 2558 2558 32593 0 -1 4202560 1231 0 0 0 30 0 0 0 20 0 15 0 154296933 14320615424 21665 33554432000 4194304 4196468 140720482323504 140546439995440 140546886203379 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2571] ppid=2558 vsize=13984976 memory=2204 CPUtime=0.32 cores=1,3,5,7
/proc/2560/task/2571/stat : 2571 (java) R 2558 2558 32593 0 -1 1077944384 1188 0 0 0 32 0 0 0 20 0 15 0 154296933 14320615424 21665 33554432000 4194304 4196468 140720482323504 140546438941264 140546902828757 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2572] ppid=2558 vsize=13984976 memory=7788 CPUtime=0.42 cores=1,3,5,7
/proc/2560/task/2572/stat : 2572 (java) R 2558 2558 32593 0 -1 4202560 1884 0 0 0 42 0 0 0 20 0 15 0 154296933 14320615424 21665 33554432000 4194304 4196468 140720482323504 140546437896816 140546881502112 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2573] ppid=2558 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2573/stat : 2573 (java) S 2558 2558 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154296933 14320615424 21665 33554432000 4194304 4196468 140720482323504 140546436844256 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2574] ppid=2558 vsize=13984976 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2574/stat : 2574 (java) S 2558 2558 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154296933 14320615424 21665 33554432000 4194304 4196468 140720482323504 140546435791536 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 88040 KiB
[startup+1.50137 s]
/proc/loadavg: 1.97 1.97 1.87 6/218 2574
/proc/meminfo: memFree=25777536/32770624 swapFree=67108860/67108860
[pid=2558] ppid=2555 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2558/stat : 2558 (xcsp3-exec) S 2555 2558 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154296927 9740288 345 33554432000 4194304 5098028 140726074751808 140726074749912 140692860572284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27631616 140726074758261 140726074758464 140726074758464 140726074761195 0
/proc/2558/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/2560/task/2568/stat : 2568 (java) S 2558 2558 32593 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154296930 14320615424 55419 33554432000 4194304 4196468 140720482323504 140546442105712 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2569] ppid=2558 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2569/stat : 2569 (java) S 2558 2558 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154296933 14320615424 55419 33554432000 4194304 4196468 140720482323504 140546441054032 140546902837147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2570] ppid=2558 vsize=13984976 memory=4640514579387537767 CPUtime=2.28 cores=1,3,5,7
/proc/2560/task/2570/stat : 2570 (java) S 2558 2558 32593 0 -1 1077944384 12934 0 0 0 227 1 0 0 20 0 15 0 154296933 14320615424 55419 33554432000 4194304 4196468 140720482323504 140546440002416 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2571] ppid=2558 vsize=13984976 memory=731 CPUtime=2.3 cores=1,3,5,7
/proc/2560/task/2571/stat : 2571 (java) S 2558 2558 32593 0 -1 1077944384 12609 0 0 0 228 2 0 0 20 0 15 0 154296933 14320615424 55419 33554432000 4194304 4196468 140720482323504 140546438949616 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2572] ppid=2558 vsize=13984976 memory=4 CPUtime=0.62 cores=1,3,5,7
/proc/2560/task/2572/stat : 2572 (java) S 2558 2558 32593 0 -1 1077944384 6514 0 0 0 61 1 0 0 20 0 15 0 154296933 14320615424 55419 33554432000 4194304 4196468 140720482323504 140546437896816 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2573] ppid=2558 vsize=13984976 memory=50 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2573/stat : 2573 (java) S 2558 2558 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154296933 14320615424 55419 33554432000 4194304 4196468 140720482323504 140546436844256 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2574] ppid=2558 vsize=13984976 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2560/task/2574/stat : 2574 (java) S 2558 2558 32593 0 -1 1077944384 1280 0 0 0 1 1 0 0 20 0 15 0 154296933 14320615424 55419 33554432000 4194304 4196468 140720482323504 140546435791536 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
Current children cumulated CPU time: 107.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 223056 KiB
[startup+162.301 s]
/proc/loadavg: 1.81 1.91 1.86 3/218 2576
/proc/meminfo: memFree=25565828/32770624 swapFree=67108860/67108860
[pid=2558] ppid=2555 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2558/stat : 2558 (xcsp3-exec) S 2555 2558 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154296927 9740288 345 33554432000 4194304 5098028 140726074751808 140726074749912 140692860572284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27631616 140726074758261 140726074758464 140726074758464 140726074761195 0
/proc/2558/statm: 2378 345 289 221 0 87 0
[pid=2560] ppid=2558 vsize=13984976 memory=195552 CPUtime=167.71 cores=1,3,5,7
/proc/2560/stat : 2560 (java) S 2558 2558 32593 0 -1 1077944320 56483 0 0 0 16756 15 0 0 20 0 15 0 154296927 14320615424 48888 33554432000 4194304 4196468 140720482323504 140720482306048 140546902818551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
/proc/2560/statm: 3496244 48888 3259 1 0 3483478 0
[pid=2560/tid=2561] ppid=2558 vsize=13984976 memory=202224 CPUtime=162.2 cores=1,3,5,7
/proc/2560/task/2561/stat : 2561 (java) R 2558 2558 32593 0 -1 4202560 12157 0 0 0 16215 5 0 0 20 0 15 0 154296927 14320615424 48888 33554432000 4194304 4196468 140720482323504 140546907057984 140546520792558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2562] ppid=2558 vsize=13984976 memory=199656 CPUtime=0.03 cores=1,3,5,7
/proc/2560/task/2562/stat : 2562 (java) S 2558 2558 32593 0 -1 1077944384 658 0 0 0 3 0 0 0 20 0 15 0 154296928 14320615424 48888 33554432000 4194304 4196468 140720482323504 140546498280592 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2563] ppid=2558 vsize=13984976 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/2560/task/2563/stat : 2563 (java) S 2558 2558 32593 0 -1 1077944384 1043 0 0 0 3 0 0 0 20 0 15 0 154296928 14320615424 48888 33554432000 4194304 4196468 140720482323504 140546497227792 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2564] ppid=2558 vsize=13984976 memory=198120 CPUtime=0.03 cores=1,3,5,7
/proc/2560/task/2564/stat : 2564 (java) S 2558 2558 32593 0 -1 1077944384 1842 0 0 0 3 0 0 0 20 0 15 0 154296928 14320615424 48888 33554432000 4194304 4196468 140720482323504 140546496174992 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2565] ppid=2558 vsize=13984976 memory=198120 CPUtime=0.03 cores=1,3,5,7
/proc/2560/task/2565/stat : 2565 (java) S 2558 2558 32593 0 -1 1077944384 1698 0 0 0 3 0 0 0 20 0 15 0 154296928 14320615424 48888 33554432000 4194304 4196468 140720482323504 140546495122192 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2566] ppid=2558 vsize=13984976 memory=198120 CPUtime=0.02 cores=1,3,5,7
/proc/2560/task/2566/stat : 2566 (java) S 2558 2558 32593 0 -1 1077944384 1416 0 0 0 2 0 0 0 20 0 15 0 154296930 14320615424 48888 33554432000 4194304 4196468 140720482323504 140546444212592 140546902829698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2567] ppid=2558 vsize=13984976 memory=198120 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2567/stat : 2567 (java) S 2558 2558 32593 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154296930 14320615424 48888 33554432000 4194304 4196468 140720482323504 140546443158560 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2568] ppid=2558 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2568/stat : 2568 (java) S 2558 2558 32593 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154296930 14320615424 48888 33554432000 4194304 4196468 140720482323504 140546442105712 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2569] ppid=2558 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2569/stat : 2569 (java) S 2558 2558 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154296933 14320615424 48888 33554432000 4194304 4196468 140720482323504 140546441054032 140546902837147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2570] ppid=2558 vsize=13984976 memory=644 CPUtime=2.31 cores=1,3,5,7
/proc/2560/task/2570/stat : 2570 (java) S 2558 2558 32593 0 -1 1077944384 13797 0 0 0 230 1 0 0 20 0 15 0 154296933 14320615424 48888 33554432000 4194304 4196468 140720482323504 140546440002416 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2571] ppid=2558 vsize=13984976 memory=1380 CPUtime=2.32 cores=1,3,5,7
/proc/2560/task/2571/stat : 2571 (java) S 2558 2558 32593 0 -1 1077944384 13569 0 0 0 230 2 0 0 20 0 15 0 154296933 14320615424 48888 33554432000 4194304 4196468 140720482323504 140546438949616 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2572] ppid=2558 vsize=13984976 memory=1380 CPUtime=0.63 cores=1,3,5,7
/proc/2560/task/2572/stat : 2572 (java) S 2558 2558 32593 0 -1 1077944384 7614 0 0 0 62 1 0 0 20 0 15 0 154296933 14320615424 48888 33554432000 4194304 4196468 140720482323504 140546437896816 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2573] ppid=2558 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2573/stat : 2573 (java) S 2558 2558 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154296933 14320615424 48888 33554432000 4194304 4196468 140720482323504 140546436844256 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2574] ppid=2558 vsize=13984976 memory=195552 CPUtime=0.03 cores=1,3,5,7
/proc/2560/task/2574/stat : 2574 (java) S 2558 2558 32593 0 -1 1077944384 1324 0 0 0 1 2 0 0 20 0 15 0 154296933 14320615424 48888 33554432000 4194304 4196468 140720482323504 140546435791536 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
Current children cumulated CPU time: 167.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 196932 KiB
[startup+222.301 s]
/proc/loadavg: 1.92 1.92 1.87 3/217 2655
/proc/meminfo: memFree=25793124/32770624 swapFree=67108860/67108860
[pid=2558] ppid=2555 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2558/stat : 2558 (xcsp3-exec) S 2555 2558 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154296927 9740288 345 33554432000 4194304 5098028 140726074751808 140726074749912 140692860572284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27631616 140726074758261 140726074758464 140726074758464 140726074761195 0
/proc/2558/statm: 2378 345 289 221 0 87 0
[pid=2560] ppid=2558 vsize=13984976 memory=174556 CPUtime=227.76 cores=1,3,5,7
/proc/2560/stat : 2560 (java) S 2558 2558 32593 0 -1 1077944320 58449 0 0 0 22760 16 0 0 20 0 15 0 154296927 14320615424 43639 33554432000 4194304 4196468 140720482323504 140720482306048 140546902818551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
/proc/2560/statm: 3496244 43639 3259 1 0 3483478 0
[pid=2560/tid=2561] ppid=2558 vsize=13984976 memory=174556 CPUtime=222.17 cores=1,3,5,7
/proc/2560/task/2561/stat : 2561 (java) R 2558 2558 32593 0 -1 4202560 12847 0 0 0 22212 5 0 0 20 0 15 0 154296927 14320615424 43639 33554432000 4194304 4196468 140720482323504 140546907058016 140546520792440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2562] ppid=2558 vsize=13984976 memory=174556 CPUtime=0.04 cores=1,3,5,7
/proc/2560/task/2562/stat : 2562 (java) S 2558 2558 32593 0 -1 1077944384 690 0 0 0 4 0 0 0 20 0 15 0 154296928 14320615424 43639 33554432000 4194304 4196468 140720482323504 140546498280592 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2563] ppid=2558 vsize=13984976 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/2560/task/2563/stat : 2563 (java) S 2558 2558 32593 0 -1 1077944384 1054 0 0 0 4 0 0 0 20 0 15 0 154296928 14320615424 43639 33554432000 4194304 4196468 140720482323504 140546497227792 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2564] ppid=2558 vsize=13984976 memory=280837175137584 CPUtime=0.04 cores=1,3,5,7
/proc/2560/task/2564/stat : 2564 (java) S 2558 2558 32593 0 -1 1077944384 1878 0 0 0 4 0 0 0 20 0 15 0 154296928 14320615424 43639 33554432000 4194304 4196468 140720482323504 140546496174992 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2565] ppid=2558 vsize=13984976 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2560/task/2565/stat : 2565 (java) S 2558 2558 32593 0 -1 1077944384 2121 0 0 0 4 0 0 0 20 0 15 0 154296928 14320615424 43639 33554432000 4194304 4196468 140720482323504 140546495122192 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2566] ppid=2558 vsize=13984976 memory=174556 CPUtime=0.03 cores=1,3,5,7
/proc/2560/task/2566/stat : 2566 (java) S 2558 2558 32593 0 -1 1077944384 1655 0 0 0 3 0 0 0 20 0 15 0 154296930 14320615424 43639 33554432000 4194304 4196468 140720482323504 140546444212592 140546902829698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2567] ppid=2558 vsize=13984976 memory=174556 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2567/stat : 2567 (java) S 2558 2558 32593 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154296930 14320615424 43639 33554432000 4194304 4196468 140720482323504 140546443158560 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2568] ppid=2558 vsize=13984976 memory=175584 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2568/stat : 2568 (java) S 2558 2558 32593 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154296930 14320615424 43639 33554432000 4194304 4196468 140720482323504 140546442105712 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2569] ppid=2558 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2569/stat : 2569 (java) S 2558 2558 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154296933 14320615424 43639 33554432000 4194304 4196468 140720482323504 140546441054032 140546902837147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2570] ppid=2558 vsize=13984976 memory=1380 CPUtime=2.31 cores=1,3,5,7
/proc/2560/task/2570/stat : 2570 (java) S 2558 2558 32593 0 -1 1077944384 13966 0 0 0 230 1 0 0 20 0 15 0 154296933 14320615424 43639 33554432000 4194304 4196468 140720482323504 140546440002416 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2571] ppid=2558 vsize=13984976 memory=174556 CPUtime=2.32 cores=1,3,5,7
/proc/2560/task/2571/stat : 2571 (java) S 2558 2558 32593 0 -1 1077944384 13670 0 0 0 230 2 0 0 20 0 15 0 154296933 14320615424 43639 33554432000 4194304 4196468 140720482323504 140546438949616 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2572] ppid=2558 vsize=13984976 memory=1296 CPUtime=0.63 cores=1,3,5,7
/proc/2560/task/2572/stat : 2572 (java) S 2558 2558 32593 0 -1 1077944384 7794 0 0 0 62 1 0 0 20 0 15 0 154296933 14320615424 43639 33554432000 4194304 4196468 140720482323504 140546437896816 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2573] ppid=2558 vsize=13984976 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2573/stat : 2573 (java) S 2558 2558 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154296933 14320615424 43639 33554432000 4194304 4196468 140720482323504 140546436844256 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2574] ppid=2558 vsize=13984976 memory=1724 CPUtime=0.04 cores=1,3,5,7
/proc/2560/task/2574/stat : 2574 (java) S 2558 2558 32593 0 -1 1077944384 1409 0 0 0 1 3 0 0 20 0 15 0 154296933 14320615424 43639 33554432000 4194304 4196468 140720482323504 140546435791536 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
Current children cumulated CPU time: 227.76 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 175936 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.87 1.90 1.86 3/217 2655
/proc/meminfo: memFree=25786012/32770624 swapFree=67108860/67108860
[pid=2558] ppid=2555 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2558/stat : 2558 (xcsp3-exec) S 2555 2558 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154296927 9740288 345 33554432000 4194304 5098028 140726074751808 140726074749912 140692860572284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27631616 140726074758261 140726074758464 140726074758464 140726074761195 0
/proc/2558/statm: 2378 345 289 221 0 87 0
[pid=2560] ppid=2558 vsize=13984976 memory=167376 CPUtime=245.48 cores=1,3,5,7
/proc/2560/stat : 2560 (java) S 2558 2558 32593 0 -1 1077944320 58458 0 0 0 24531 17 0 0 20 0 15 0 154296927 14320615424 41844 33554432000 4194304 4196468 140720482323504 140720482306048 140546902818551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
/proc/2560/statm: 3496244 41844 3259 1 0 3483478 0
[pid=2560/tid=2561] ppid=2558 vsize=13984976 memory=6935054825532540783 CPUtime=239.87 cores=1,3,5,7
/proc/2560/task/2561/stat : 2561 (java) R 2558 2558 32593 0 -1 4202560 12853 0 0 0 23982 5 0 0 20 0 15 0 154296927 14320615424 41844 33554432000 4194304 4196468 140720482323504 140546907057984 140546518002207 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2562] ppid=2558 vsize=13984976 memory=4040 CPUtime=0.04 cores=1,3,5,7
/proc/2560/task/2562/stat : 2562 (java) S 2558 2558 32593 0 -1 1077944384 690 0 0 0 4 0 0 0 20 0 15 0 154296928 14320615424 41844 33554432000 4194304 4196468 140720482323504 140546498280592 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2563] ppid=2558 vsize=13984976 memory=1236 CPUtime=0.04 cores=1,3,5,7
/proc/2560/task/2563/stat : 2563 (java) S 2558 2558 32593 0 -1 1077944384 1054 0 0 0 4 0 0 0 20 0 15 0 154296928 14320615424 41844 33554432000 4194304 4196468 140720482323504 140546497227792 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2564] ppid=2558 vsize=13984976 memory=644 CPUtime=0.04 cores=1,3,5,7
/proc/2560/task/2564/stat : 2564 (java) S 2558 2558 32593 0 -1 1077944384 1878 0 0 0 4 0 0 0 20 0 15 0 154296928 14320615424 41844 33554432000 4194304 4196468 140720482323504 140546496174992 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2565] ppid=2558 vsize=13984976 memory=1788 CPUtime=0.04 cores=1,3,5,7
/proc/2560/task/2565/stat : 2565 (java) S 2558 2558 32593 0 -1 1077944384 2123 0 0 0 4 0 0 0 20 0 15 0 154296928 14320615424 41844 33554432000 4194304 4196468 140720482323504 140546495122192 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2566] ppid=2558 vsize=13984976 memory=956 CPUtime=0.04 cores=1,3,5,7
/proc/2560/task/2566/stat : 2566 (java) S 2558 2558 32593 0 -1 1077944384 1656 0 0 0 3 1 0 0 20 0 15 0 154296930 14320615424 41844 33554432000 4194304 4196468 140720482323504 140546444212592 140546902829698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2567] ppid=2558 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2567/stat : 2567 (java) S 2558 2558 32593 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154296930 14320615424 41844 33554432000 4194304 4196468 140720482323504 140546443158560 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2568] ppid=2558 vsize=13984976 memory=169428 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2568/stat : 2568 (java) S 2558 2558 32593 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154296930 14320615424 41844 33554432000 4194304 4196468 140720482323504 140546442105712 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2569] ppid=2558 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2569/stat : 2569 (java) S 2558 2558 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154296933 14320615424 41844 33554432000 4194304 4196468 140720482323504 140546441054032 140546902837147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2570] ppid=2558 vsize=13984976 memory=23744 CPUtime=2.31 cores=1,3,5,7
/proc/2560/task/2570/stat : 2570 (java) S 2558 2558 32593 0 -1 1077944384 13966 0 0 0 230 1 0 0 20 0 15 0 154296933 14320615424 41844 33554432000 4194304 4196468 140720482323504 140546440002416 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2571] ppid=2558 vsize=13984976 memory=4040 CPUtime=2.32 cores=1,3,5,7
/proc/2560/task/2571/stat : 2571 (java) S 2558 2558 32593 0 -1 1077944384 13670 0 0 0 230 2 0 0 20 0 15 0 154296933 14320615424 41844 33554432000 4194304 4196468 140720482323504 140546438949616 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2572] ppid=2558 vsize=13984976 memory=1236 CPUtime=0.63 cores=1,3,5,7
/proc/2560/task/2572/stat : 2572 (java) S 2558 2558 32593 0 -1 1077944384 7794 0 0 0 62 1 0 0 20 0 15 0 154296933 14320615424 41844 33554432000 4194304 4196468 140720482323504 140546437896816 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2573] ppid=2558 vsize=13984976 memory=644 CPUtime=0 cores=1,3,5,7
/proc/2560/task/2573/stat : 2573 (java) S 2558 2558 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154296933 14320615424 41844 33554432000 4194304 4196468 140720482323504 140546436844256 140546902828757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
[pid=2560/tid=2574] ppid=2558 vsize=13984976 memory=1788 CPUtime=0.04 cores=1,3,5,7
/proc/2560/task/2574/stat : 2574 (java) S 2558 2558 32593 0 -1 1077944384 1409 0 0 0 1 3 0 0 20 0 15 0 154296933 14320615424 41844 33554432000 4194304 4196468 140720482323504 140546435791536 140546902829698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 12734464 140720482329757 140720482329932 140720482329932 140720482332623 0
Current children cumulated CPU time: 245.48 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 168756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 2558 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001884 s, system=0 s
[startup+240.024 s]
# the end of solver process 2560 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.326 s, system=0.178109 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.505
CPU user time (s): 245.326
CPU system time (s): 0.178109
CPU usage (%): 102.284
Max. virtual memory (cumulated for all children) (KiB): 13998552
Max. memory (cumulated for all children) (KiB): 230752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.326
system time used= 0.178109
maximum resident set size= 235016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59727
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8058
involuntary context switches= 153
# summary of solver processes directly reported to runsolver:
# pid: 2558,2560
# total CPU time (s): 245.505
# total CPU user time (s): 245.326
# total CPU system time (s): 0.178109
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40297 second user time and 2.22084 second system time
The end
Begin job on node103 at 2017-08-20 08:40:29 IDJOB=4283100 IDBENCH=124459 IDSOLVER=2678 FILE ID=node103/4283100-1503212089 RUNJOBID= node103-1503209003-32625 PBS_JOBID= 20630873 Free space on /tmp= 61528 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n34-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-4283100-1503212089/watcher-4283100-1503212089 -o /tmp/evaluation-result-4283100-1503212089/solver-4283100-1503212089 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32625 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 527520782 HOME/instance-4283100-1503212089.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 72c979ceab0684897cea6dc90bd0dbab RANDOM SEED=527520782 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: 25866224 kB MemAvailable: 31706404 kB Buffers: 240388 kB Cached: 5891072 kB SwapCached: 0 kB Active: 1347404 kB Inactive: 5108852 kB Active(anon): 273912 kB Inactive(anon): 86696 kB Active(file): 1073492 kB Inactive(file): 5022156 kB Unevictable: 7496 kB Mlocked: 7496 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8000 kB Writeback: 0 kB AnonPages: 331728 kB Mapped: 64056 kB Shmem: 33420 kB Slab: 147604 kB SReclaimable: 120732 kB SUnreclaim: 26872 kB KernelStack: 3520 kB PageTables: 5924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1426272 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 231424 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= 61520 MiB End job on node103 at 2017-08-20 08:44:29