Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-08-18) | SAT (TO) | 1155 | 257.69699 | 240.02699 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml |
| MD5SUM | 72502af2971f560ebaea982d6c1ff669 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 684 |
| Best CPU time to get the best result obtained on this benchmark | 251.92799 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 992 |
| Number of constraints | 960 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":31},{"size":2,"count":930},{"size":101,"count":30}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 59 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":31},{"degree":2,"count":60},{"degree":4,"count":870},{"degree":59,"count":30}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":1,"count":30},{"arity":3,"count":870},{"arity":30,"count":60}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 30 |
| Distribution of constraint types | [{"type":"intension","count":30},{"type":"sum","count":870},{"type":"count","count":60}] |
| 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-4284575-1503212083.xml" -tl '264s' -p 1 -x 3 0.12/0.14 c [HOME/instance-4284575-1503212083.xml, -tl, 264s, -p, 1, -x, 3] 0.12/0.19 c simple solver 0.34/0.26 c parse instance... 1.45/0.65 c solve instance... 8.33/2.81 o 1535 8.33/2.82 o 1526 8.33/2.86 o 1435 8.33/2.87 o 1431 8.33/2.89 o 1418 8.66/2.93 o 1409 8.66/2.94 o 1401 8.66/2.96 o 1395 8.66/2.99 o 1390 9.00/3.01 o 1388 10.49/3.51 o 1371 14.92/5.43 o 1245 14.92/5.45 o 1220 14.92/5.45 o 1219 14.92/5.46 o 1218 14.92/5.47 o 1216 14.92/5.47 o 1215 14.92/5.49 o 1212 15.40/5.63 o 1209 15.40/5.64 o 1207 15.66/5.76 o 1205 15.66/5.76 o 1196 46.98/34.99 o 1155 257.66/240.01 s SATISFIABLE 257.66/240.01 v <instantiation> 257.66/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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list> 257.66/240.01 v <values>0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 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 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 0 0 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 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 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 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 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 25 45 54 17 58 42 35 86 33 42 86 34 41 75 79 59 50 22 63 98 24 18 83 65 8 76 94 55 13 43 </values> 257.66/240.01 v </instantiation> 257.66/240.01 c Unexpected resolution interruption!
OK 1155
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 (11159 MiB free)
memory of node 1: 16384 MiB (12131 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284575-1503212083/watcher-4284575-1503212083 -o /tmp/evaluation-result-4284575-1503212083/solver-4284575-1503212083 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503208953-13390 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1428117761 HOME/instance-4284575-1503212083.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=15302, runsolver pid=15299
Current StackSize limit: 8192 KiB
[startup+0.100136 s]*
/proc/loadavg: 1.79 1.83 1.74 3/218 15318
/proc/meminfo: memFree=23832536/32770624 swapFree=67108860/67108860
[pid=15302] ppid=15299 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15302/stat : 15302 (xcsp3-exec) S 15299 15302 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154295910 9740288 346 33554432000 4194304 5098028 140733465895280 140733465893384 140684272820860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35868672 140733465904244 140733465904448 140733465904448 140733465907179 0
/proc/15302/statm: 2378 346 289 221 0 87 0
[pid=15304] ppid=15302 vsize=13978596 memory=27688 CPUtime=0.12 cores=1,3,5,7
/proc/15304/stat : 15304 (java) S 15302 15302 13358 0 -1 1077944320 5325 0 0 0 11 1 0 0 20 0 15 0 154295910 14314082304 6922 33554432000 4194304 4196468 140733171314048 140733171296592 139853748526839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
/proc/15304/statm: 3494649 6922 2848 1 0 3482966 0
[pid=15304/tid=15305] ppid=15302 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/15304/task/15305/stat : 15305 (java) R 15302 15302 13358 0 -1 4202560 3321 0 0 0 9 0 0 0 20 0 15 0 154295911 14314082304 6987 33554432000 4194304 4196468 140733171314048 139853752753184 139853730085310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15306] ppid=15302 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15306/stat : 15306 (java) S 15302 15302 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295912 14314082304 6987 33554432000 4194304 4196468 140733171314048 139853678615696 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15307] ppid=15302 vsize=13978596 memory=139914467972736 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15307/stat : 15307 (java) S 15302 15302 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295912 14314082304 6987 33554432000 4194304 4196468 140733171314048 139853677562896 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15308] ppid=15302 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15308/stat : 15308 (java) S 15302 15302 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295912 14314082304 6987 33554432000 4194304 4196468 140733171314048 139853676510096 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15309] ppid=15302 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15309/stat : 15309 (java) S 15302 15302 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154295912 14314082304 6987 33554432000 4194304 4196468 140733171314048 139853675457296 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15310] ppid=15302 vsize=13978596 memory=139914467972736 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15310/stat : 15310 (java) S 15302 15302 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154295913 14314082304 6987 33554432000 4194304 4196468 140733171314048 139853222754672 139853748537986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15311] ppid=15302 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15311/stat : 15311 (java) S 15302 15302 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154295913 14314082304 6987 33554432000 4194304 4196468 140733171314048 139853221700640 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15312] ppid=15302 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15312/stat : 15312 (java) S 15302 15302 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154295914 14314082304 6987 33554432000 4194304 4196468 140733171314048 139853220647792 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15313] ppid=15302 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15313/stat : 15313 (java) S 15302 15302 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295916 14314082304 6987 33554432000 4194304 4196468 140733171314048 139853219596112 139853748545435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15314] ppid=15302 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15314/stat : 15314 (java) S 15302 15302 13358 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 154295916 14314082304 6987 33554432000 4194304 4196468 140733171314048 139853218544496 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15315] ppid=15302 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15315/stat : 15315 (java) S 15302 15302 13358 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 154295916 14314082304 6987 33554432000 4194304 4196468 140733171314048 139853217491696 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15316] ppid=15302 vsize=13978596 memory=139914467972736 CPUtime=0.01 cores=1,3,5,7
/proc/15304/task/15316/stat : 15316 (java) R 15302 15302 13358 0 -1 4202560 329 0 0 0 1 0 0 0 20 0 15 0 154295916 14314082304 6987 33554432000 4194304 4196468 140733171314048 139853216438896 139853727483126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15317] ppid=15302 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15317/stat : 15317 (java) S 15302 15302 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295916 14314082304 7053 33554432000 4194304 4196468 140733171314048 139853215386336 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15318] ppid=15302 vsize=13978596 memory=139914467972736 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15318/stat : 15318 (java) S 15302 15302 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295916 14314082304 7053 33554432000 4194304 4196468 140733171314048 139853214333616 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29072 KiB
[startup+0.212945 s]*
/proc/loadavg: 1.79 1.83 1.74 3/218 15318
/proc/meminfo: memFree=23821092/32770624 swapFree=67108860/67108860
[pid=15302] ppid=15299 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15302/stat : 15302 (xcsp3-exec) S 15299 15302 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154295910 9740288 346 33554432000 4194304 5098028 140733465895280 140733465893384 140684272820860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35868672 140733465904244 140733465904448 140733465904448 140733465907179 0
/proc/15302/statm: 2378 346 289 221 0 87 0
[pid=15304] ppid=15302 vsize=13982852 memory=40556 CPUtime=0.34 cores=1,3,5,7
/proc/15304/stat : 15304 (java) S 15302 15302 13358 0 -1 1077944320 8279 0 0 0 32 2 0 0 20 0 15 0 154295910 14318440448 10139 33554432000 4194304 4196468 140733171314048 140733171296592 139853748526839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
/proc/15304/statm: 3495713 10139 3050 1 0 3482966 0
[pid=15304/tid=15305] ppid=15302 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/15304/task/15305/stat : 15305 (java) R 15302 15302 13358 0 -1 4202560 5367 0 0 0 19 1 0 0 20 0 15 0 154295911 14318440448 10139 33554432000 4194304 4196468 140733171314048 139853752737744 139853748548765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15306] ppid=15302 vsize=13982852 memory=2898 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15306/stat : 15306 (java) S 15302 15302 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295912 14318440448 10139 33554432000 4194304 4196468 140733171314048 139853678615696 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15307] ppid=15302 vsize=13982852 memory=288370290619684480 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15307/stat : 15307 (java) S 15302 15302 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295912 14318440448 10139 33554432000 4194304 4196468 140733171314048 139853677562896 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15308] ppid=15302 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15308/stat : 15308 (java) S 15302 15302 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295912 14318440448 10139 33554432000 4194304 4196468 140733171314048 139853676510096 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15309] ppid=15302 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15309/stat : 15309 (java) S 15302 15302 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154295912 14318440448 10139 33554432000 4194304 4196468 140733171314048 139853675457296 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15310] ppid=15302 vsize=13982852 memory=139914467972736 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15310/stat : 15310 (java) S 15302 15302 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154295913 14318440448 10139 33554432000 4194304 4196468 140733171314048 139853222754672 139853748537986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15311] ppid=15302 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15311/stat : 15311 (java) S 15302 15302 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154295913 14318440448 10139 33554432000 4194304 4196468 140733171314048 139853221700640 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15312] ppid=15302 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15312/stat : 15312 (java) S 15302 15302 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154295914 14318440448 10139 33554432000 4194304 4196468 140733171314048 139853220647792 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15313] ppid=15302 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15313/stat : 15313 (java) S 15302 15302 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295916 14318440448 10139 33554432000 4194304 4196468 140733171314048 139853219596112 139853748545435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15314] ppid=15302 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15304/task/15314/stat : 15314 (java) S 15302 15302 13358 0 -1 1077944384 427 0 0 0 2 0 0 0 20 0 15 0 154295916 14318440448 10139 33554432000 4194304 4196468 140733171314048 139853218544496 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15315] ppid=15302 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15304/task/15315/stat : 15315 (java) S 15302 15302 13358 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 15 0 154295916 14318440448 10139 33554432000 4194304 4196468 140733171314048 139853217491696 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15316] ppid=15302 vsize=13982852 memory=139914467972736 CPUtime=0.08 cores=1,3,5,7
/proc/15304/task/15316/stat : 15316 (java) S 15302 15302 13358 0 -1 1077944384 807 0 0 0 8 0 0 0 20 0 15 0 154295916 14318440448 10139 33554432000 4194304 4196468 140733171314048 139853216438896 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15317] ppid=15302 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15317/stat : 15317 (java) S 15302 15302 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295916 14318440448 10139 33554432000 4194304 4196468 140733171314048 139853215386336 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15318] ppid=15302 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15318/stat : 15318 (java) S 15302 15302 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295916 14318440448 10139 33554432000 4194304 4196468 140733171314048 139853214333616 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41940 KiB
[startup+0.310506 s]*
/proc/loadavg: 1.79 1.83 1.74 5/218 15318
/proc/meminfo: memFree=23814392/32770624 swapFree=67108860/67108860
[pid=15302] ppid=15299 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15302/stat : 15302 (xcsp3-exec) S 15299 15302 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154295910 9740288 346 33554432000 4194304 5098028 140733465895280 140733465893384 140684272820860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35868672 140733465904244 140733465904448 140733465904448 140733465907179 0
/proc/15302/statm: 2378 346 289 221 0 87 0
[pid=15304] ppid=15302 vsize=13982852 memory=47148 CPUtime=0.52 cores=1,3,5,7
/proc/15304/stat : 15304 (java) S 15302 15302 13358 0 -1 1077944320 9015 0 0 0 50 2 0 0 20 0 15 0 154295910 14318440448 11787 33554432000 4194304 4196468 140733171314048 140733171296592 139853748526839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
/proc/15304/statm: 3495713 11787 3079 1 0 3482966 0
[pid=15304/tid=15305] ppid=15302 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/15304/task/15305/stat : 15305 (java) R 15302 15302 13358 0 -1 4202560 5897 0 0 0 28 1 0 0 20 0 15 0 154295911 14318440448 11787 33554432000 4194304 4196468 140733171314048 139853752764304 139853345976956 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15306] ppid=15302 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15306/stat : 15306 (java) S 15302 15302 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295912 14318440448 11787 33554432000 4194304 4196468 140733171314048 139853678615696 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15307] ppid=15302 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15307/stat : 15307 (java) S 15302 15302 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295912 14318440448 11787 33554432000 4194304 4196468 140733171314048 139853677562896 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15308] ppid=15302 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15308/stat : 15308 (java) S 15302 15302 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295912 14318440448 11787 33554432000 4194304 4196468 140733171314048 139853676510096 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15309] ppid=15302 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15309/stat : 15309 (java) S 15302 15302 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154295912 14318440448 11787 33554432000 4194304 4196468 140733171314048 139853675457296 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15310] ppid=15302 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15310/stat : 15310 (java) S 15302 15302 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154295913 14318440448 11787 33554432000 4194304 4196468 140733171314048 139853222754672 139853748537986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15311] ppid=15302 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15311/stat : 15311 (java) S 15302 15302 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154295913 14318440448 11787 33554432000 4194304 4196468 140733171314048 139853221700640 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15312] ppid=15302 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15312/stat : 15312 (java) S 15302 15302 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154295914 14318440448 11787 33554432000 4194304 4196468 140733171314048 139853220647792 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15313] ppid=15302 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15313/stat : 15313 (java) S 15302 15302 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295916 14318440448 11787 33554432000 4194304 4196468 140733171314048 139853219596112 139853748545435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15314] ppid=15302 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=1,3,5,7
/proc/15304/task/15314/stat : 15314 (java) R 15302 15302 13358 0 -1 4202560 512 0 0 0 4 0 0 0 20 0 15 0 154295916 14318440448 11787 33554432000 4194304 4196468 140733171314048 139853218534288 139853726974139 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15315] ppid=15302 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15304/task/15315/stat : 15315 (java) S 15302 15302 13358 0 -1 1077944384 381 0 0 0 3 0 0 0 20 0 15 0 154295916 14318440448 11787 33554432000 4194304 4196468 140733171314048 139853217491696 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15316] ppid=15302 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/15304/task/15316/stat : 15316 (java) R 15302 15302 13358 0 -1 4202560 923 0 0 0 13 0 0 0 20 0 15 0 154295916 14318440448 11787 33554432000 4194304 4196468 140733171314048 139853216438896 139853748538774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15317] ppid=15302 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15317/stat : 15317 (java) S 15302 15302 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295916 14318440448 11787 33554432000 4194304 4196468 140733171314048 139853215386336 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15318] ppid=15302 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15318/stat : 15318 (java) S 15302 15302 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295916 14318440448 11787 33554432000 4194304 4196468 140733171314048 139853214333616 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48532 KiB
[startup+0.701744 s]
/proc/loadavg: 1.79 1.83 1.74 5/218 15318
/proc/meminfo: memFree=23793796/32770624 swapFree=67108860/67108860
[pid=15302] ppid=15299 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15302/stat : 15302 (xcsp3-exec) S 15299 15302 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154295910 9740288 346 33554432000 4194304 5098028 140733465895280 140733465893384 140684272820860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35868672 140733465904244 140733465904448 140733465904448 140733465907179 0
/proc/15302/statm: 2378 346 289 221 0 87 0
[pid=15304] ppid=15302 vsize=13984976 memory=83052 CPUtime=1.74 cores=1,3,5,7
/proc/15304/stat : 15304 (java) S 15302 15302 13358 0 -1 1077944320 12279 0 0 0 171 3 0 0 20 0 15 0 154295910 14320615424 20763 33554432000 4194304 4196468 140733171314048 140733171296592 139853748526839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
/proc/15304/statm: 3496244 20763 3212 1 0 3483478 0
[pid=15304/tid=15305] ppid=15302 vsize=13984976 memory=33 CPUtime=0.66 cores=1,3,5,7
/proc/15304/task/15305/stat : 15305 (java) R 15302 15302 13358 0 -1 4202560 6616 0 0 0 65 1 0 0 20 0 15 0 154295911 14320615424 20763 33554432000 4194304 4196468 140733171314048 139853752762352 139853748538774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15306] ppid=15302 vsize=13984976 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15306/stat : 15306 (java) S 15302 15302 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295912 14320615424 20763 33554432000 4194304 4196468 140733171314048 139853678615696 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15307] ppid=15302 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15307/stat : 15307 (java) S 15302 15302 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295912 14320615424 20763 33554432000 4194304 4196468 140733171314048 139853677562896 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15308] ppid=15302 vsize=13984976 memory=42980 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15308/stat : 15308 (java) S 15302 15302 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295912 14320615424 20763 33554432000 4194304 4196468 140733171314048 139853676510096 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15309] ppid=15302 vsize=13984976 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15309/stat : 15309 (java) S 15302 15302 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154295912 14320615424 20763 33554432000 4194304 4196468 140733171314048 139853675457296 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15310] ppid=15302 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15310/stat : 15310 (java) S 15302 15302 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154295913 14320615424 20763 33554432000 4194304 4196468 140733171314048 139853222754672 139853748537986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15311] ppid=15302 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15311/stat : 15311 (java) S 15302 15302 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154295913 14320615424 20763 33554432000 4194304 4196468 140733171314048 139853221700640 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15312] ppid=15302 vsize=13984976 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15312/stat : 15312 (java) S 15302 15302 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154295914 14320615424 20763 33554432000 4194304 4196468 140733171314048 139853220647792 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15313] ppid=15302 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15313/stat : 15313 (java) S 15302 15302 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295916 14320615424 20763 33554432000 4194304 4196468 140733171314048 139853219596112 139853748545435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15314] ppid=15302 vsize=13984976 memory=796 CPUtime=0.33 cores=1,3,5,7
/proc/15304/task/15314/stat : 15314 (java) S 15302 15302 13358 0 -1 1077944384 1243 0 0 0 33 0 0 0 20 0 15 0 154295916 14320615424 20763 33554432000 4194304 4196468 140733171314048 139853218544496 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15315] ppid=15302 vsize=13984976 memory=10088 CPUtime=0.3 cores=1,3,5,7
/proc/15304/task/15315/stat : 15315 (java) R 15302 15302 13358 0 -1 4202560 1103 0 0 0 30 0 0 0 20 0 15 0 154295916 14320615424 20763 33554432000 4194304 4196468 140733171314048 139853217484720 139853732058377 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15316] ppid=15302 vsize=13984976 memory=1948 CPUtime=0.42 cores=1,3,5,7
/proc/15304/task/15316/stat : 15316 (java) R 15302 15302 13358 0 -1 1077944384 2012 0 0 0 42 0 0 0 20 0 15 0 154295916 14320615424 20763 33554432000 4194304 4196468 140733171314048 139853216436688 139853748537045 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15317] ppid=15302 vsize=13984976 memory=8584 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15317/stat : 15317 (java) S 15302 15302 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295916 14320615424 20763 33554432000 4194304 4196468 140733171314048 139853215386336 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15318] ppid=15302 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15318/stat : 15318 (java) S 15302 15302 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295916 14320615424 20763 33554432000 4194304 4196468 140733171314048 139853214333616 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 84436 KiB
[startup+1.50087 s]
/proc/loadavg: 1.79 1.83 1.74 5/218 15318
/proc/meminfo: memFree=23756020/32770624 swapFree=67108860/67108860
[pid=15302] ppid=15299 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15302/stat : 15302 (xcsp3-exec) S 15299 15302 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154295910 9740288 346 33554432000 4194304 5098028 140733465895280 140733465893384 140684272820860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35868672 140733465904244 140733465904448 140733465904448 140733465907179 0
/proc/15302/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
[pid=15304/tid=15310] ppid=15302 vsize=13984976 memory=4132 CPUtime=0.03 cores=1,3,5,7
/proc/15304/task/15310/stat : 15310 (java) S 15302 15302 13358 0 -1 1077944384 1496 0 0 0 3 0 0 0 20 0 15 0 154295913 14320615424 211242 33554432000 4194304 4196468 140733171314048 139853222754672 139853748537986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15311] ppid=15302 vsize=13984976 memory=42980 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15311/stat : 15311 (java) S 15302 15302 13358 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154295913 14320615424 211242 33554432000 4194304 4196468 140733171314048 139853221700704 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15312] ppid=15302 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15312/stat : 15312 (java) S 15302 15302 13358 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 154295914 14320615424 211242 33554432000 4194304 4196468 140733171314048 139853220647808 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15313] ppid=15302 vsize=13984976 memory=139914467996337 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15313/stat : 15313 (java) S 15302 15302 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295916 14320615424 211242 33554432000 4194304 4196468 140733171314048 139853219596112 139853748545435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15314] ppid=15302 vsize=13984976 memory=1384 CPUtime=5.72 cores=1,3,5,7
/proc/15304/task/15314/stat : 15314 (java) S 15302 15302 13358 0 -1 1077944384 29435 0 0 0 569 3 0 0 20 0 15 0 154295916 14320615424 211242 33554432000 4194304 4196468 140733171314048 139853218544496 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15315] ppid=15302 vsize=13984976 memory=799304 CPUtime=5.21 cores=1,3,5,7
/proc/15304/task/15315/stat : 15315 (java) S 15302 15302 13358 0 -1 1077944384 26226 0 0 0 517 4 0 0 20 0 15 0 154295916 14320615424 211242 33554432000 4194304 4196468 140733171314048 139853217491696 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15316] ppid=15302 vsize=13984976 memory=960 CPUtime=0.98 cores=1,3,5,7
/proc/15304/task/15316/stat : 15316 (java) S 15302 15302 13358 0 -1 1077944384 9245 0 0 0 96 2 0 0 20 0 15 0 154295916 14320615424 211242 33554432000 4194304 4196468 140733171314048 139853216438896 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15317] ppid=15302 vsize=13984976 memory=42980 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15317/stat : 15317 (java) S 15302 15302 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295916 14320615424 211242 33554432000 4194304 4196468 140733171314048 139853215386336 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15318] ppid=15302 vsize=13984976 memory=2332 CPUtime=0.05 cores=1,3,5,7
/proc/15304/task/15318/stat : 15318 (java) S 15302 15302 13358 0 -1 1077944384 722 0 0 0 2 3 0 0 20 0 15 0 154295916 14320615424 211242 33554432000 4194304 4196468 140733171314048 139853214333616 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
Current children cumulated CPU time: 116.18 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 846352 KiB
[startup+162.301 s]
/proc/loadavg: 1.63 1.77 1.74 3/218 15398
/proc/meminfo: memFree=24047572/32770624 swapFree=67108860/67108860
[pid=15302] ppid=15299 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15302/stat : 15302 (xcsp3-exec) S 15299 15302 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154295910 9740288 346 33554432000 4194304 5098028 140733465895280 140733465893384 140684272820860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35868672 140733465904244 140733465904448 140733465904448 140733465907179 0
/proc/15302/statm: 2378 346 289 221 0 87 0
[pid=15304] ppid=15302 vsize=13984976 memory=967484 CPUtime=177.82 cores=1,3,5,7
/proc/15304/stat : 15304 (java) S 15302 15302 13358 0 -1 1077944320 99641 0 0 0 17663 119 0 0 20 0 15 0 154295910 14320615424 241871 33554432000 4194304 4196468 140733171314048 140733171296592 139853748526839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
/proc/15304/statm: 3496244 241871 3266 1 0 3483478 0
[pid=15304/tid=15305] ppid=15302 vsize=13984976 memory=955228 CPUtime=161.02 cores=1,3,5,7
/proc/15304/task/15305/stat : 15305 (java) R 15302 15302 13358 0 -1 4202560 18824 0 0 0 16092 10 0 0 20 0 15 0 154295911 14320615424 241871 33554432000 4194304 4196468 140733171314048 139853752766416 139853352091424 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15306] ppid=15302 vsize=13984976 memory=961880 CPUtime=1.16 cores=1,3,5,7
/proc/15304/task/15306/stat : 15306 (java) S 15302 15302 13358 0 -1 1077944384 1923 0 0 0 92 24 0 0 20 0 15 0 154295912 14320615424 241871 33554432000 4194304 4196468 140733171314048 139853678615696 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15307] ppid=15302 vsize=13984976 memory=967484 CPUtime=1.13 cores=1,3,5,7
/proc/15304/task/15307/stat : 15307 (java) S 15302 15302 13358 0 -1 1077944384 1359 0 0 0 91 22 0 0 20 0 15 0 154295912 14320615424 241871 33554432000 4194304 4196468 140733171314048 139853677562896 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15308] ppid=15302 vsize=13984976 memory=1384 CPUtime=1.14 cores=1,3,5,7
/proc/15304/task/15308/stat : 15308 (java) S 15302 15302 13358 0 -1 1077944384 2117 0 0 0 91 23 0 0 20 0 15 0 154295912 14320615424 241871 33554432000 4194304 4196468 140733171314048 139853676510096 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15309] ppid=15302 vsize=13984976 memory=892836 CPUtime=1.13 cores=1,3,5,7
/proc/15304/task/15309/stat : 15309 (java) S 15302 15302 13358 0 -1 1077944384 3277 0 0 0 91 22 0 0 20 0 15 0 154295912 14320615424 241871 33554432000 4194304 4196468 140733171314048 139853675457296 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15310] ppid=15302 vsize=13984976 memory=1384 CPUtime=0.05 cores=1,3,5,7
/proc/15304/task/15310/stat : 15310 (java) S 15302 15302 13358 0 -1 1077944384 1703 0 0 0 4 1 0 0 20 0 15 0 154295913 14320615424 241871 33554432000 4194304 4196468 140733171314048 139853222754672 139853748537986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15311] ppid=15302 vsize=13984976 memory=902568 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15311/stat : 15311 (java) S 15302 15302 13358 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154295913 14320615424 241871 33554432000 4194304 4196468 140733171314048 139853221700704 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15312] ppid=15302 vsize=13984976 memory=967484 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15312/stat : 15312 (java) S 15302 15302 13358 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 154295914 14320615424 241871 33554432000 4194304 4196468 140733171314048 139853220647808 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15313] ppid=15302 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15313/stat : 15313 (java) S 15302 15302 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295916 14320615424 241871 33554432000 4194304 4196468 140733171314048 139853219596112 139853748545435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15314] ppid=15302 vsize=13984976 memory=1384 CPUtime=5.75 cores=1,3,5,7
/proc/15304/task/15314/stat : 15314 (java) S 15302 15302 13358 0 -1 1077944384 30859 0 0 0 572 3 0 0 20 0 15 0 154295916 14320615424 241871 33554432000 4194304 4196468 140733171314048 139853218544496 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15315] ppid=15302 vsize=13984976 memory=18292 CPUtime=5.26 cores=1,3,5,7
/proc/15304/task/15315/stat : 15315 (java) S 15302 15302 13358 0 -1 1077944384 27003 0 0 0 522 4 0 0 20 0 15 0 154295916 14320615424 241871 33554432000 4194304 4196468 140733171314048 139853217491696 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15316] ppid=15302 vsize=13984976 memory=1792 CPUtime=0.99 cores=1,3,5,7
/proc/15304/task/15316/stat : 15316 (java) S 15302 15302 13358 0 -1 1077944384 10491 0 0 0 97 2 0 0 20 0 15 0 154295916 14320615424 241871 33554432000 4194304 4196468 140733171314048 139853216438896 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15317] ppid=15302 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15317/stat : 15317 (java) S 15302 15302 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295916 14320615424 241871 33554432000 4194304 4196468 140733171314048 139853215386336 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15318] ppid=15302 vsize=13984976 memory=967484 CPUtime=0.08 cores=1,3,5,7
/proc/15304/task/15318/stat : 15318 (java) S 15302 15302 13358 0 -1 1077944384 747 0 0 0 3 5 0 0 20 0 15 0 154295916 14320615424 241871 33554432000 4194304 4196468 140733171314048 139853214333616 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
Current children cumulated CPU time: 177.82 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 968868 KiB
[startup+222.301 s]
/proc/loadavg: 1.56 1.73 1.73 3/218 15399
/proc/meminfo: memFree=24197472/32770624 swapFree=67108860/67108860
[pid=15302] ppid=15299 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15302/stat : 15302 (xcsp3-exec) S 15299 15302 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154295910 9740288 346 33554432000 4194304 5098028 140733465895280 140733465893384 140684272820860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35868672 140733465904244 140733465904448 140733465904448 140733465907179 0
/proc/15302/statm: 2378 346 289 221 0 87 0
[pid=15304] ppid=15302 vsize=13984976 memory=824412 CPUtime=239.45 cores=1,3,5,7
/proc/15304/stat : 15304 (java) S 15302 15302 13358 0 -1 1077944320 105896 0 0 0 23809 136 0 0 20 0 15 0 154295910 14320615424 206103 33554432000 4194304 4196468 140733171314048 140733171296592 139853748526839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
/proc/15304/statm: 3496244 206103 3281 1 0 3483478 0
[pid=15304/tid=15305] ppid=15302 vsize=13984976 memory=1384 CPUtime=220.45 cores=1,3,5,7
/proc/15304/task/15305/stat : 15305 (java) R 15302 15302 13358 0 -1 4202560 20162 0 0 0 22035 10 0 0 20 0 15 0 154295911 14320615424 206103 33554432000 4194304 4196468 140733171314048 139853752766464 139853352062005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15306] ppid=15302 vsize=13984976 memory=1384 CPUtime=1.69 cores=1,3,5,7
/proc/15304/task/15306/stat : 15306 (java) S 15302 15302 13358 0 -1 1077944384 2309 0 0 0 142 27 0 0 20 0 15 0 154295912 14320615424 206103 33554432000 4194304 4196468 140733171314048 139853678615696 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15307] ppid=15302 vsize=13984976 memory=892836 CPUtime=1.67 cores=1,3,5,7
/proc/15304/task/15307/stat : 15307 (java) S 15302 15302 13358 0 -1 1077944384 1874 0 0 0 141 26 0 0 20 0 15 0 154295912 14320615424 206103 33554432000 4194304 4196468 140733171314048 139853677562896 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15308] ppid=15302 vsize=13984976 memory=824412 CPUtime=1.68 cores=1,3,5,7
/proc/15304/task/15308/stat : 15308 (java) S 15302 15302 13358 0 -1 1077944384 2470 0 0 0 141 27 0 0 20 0 15 0 154295912 14320615424 206103 33554432000 4194304 4196468 140733171314048 139853676510096 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15309] ppid=15302 vsize=13984976 memory=4132 CPUtime=1.67 cores=1,3,5,7
/proc/15304/task/15309/stat : 15309 (java) S 15302 15302 13358 0 -1 1077944384 3760 0 0 0 141 26 0 0 20 0 15 0 154295912 14320615424 206103 33554432000 4194304 4196468 140733171314048 139853675457296 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15310] ppid=15302 vsize=13984976 memory=42980 CPUtime=0.07 cores=1,3,5,7
/proc/15304/task/15310/stat : 15310 (java) S 15302 15302 13358 0 -1 1077944384 4760 0 0 0 6 1 0 0 20 0 15 0 154295913 14320615424 206103 33554432000 4194304 4196468 140733171314048 139853222754672 139853748537986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15311] ppid=15302 vsize=13984976 memory=824412 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15311/stat : 15311 (java) S 15302 15302 13358 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154295913 14320615424 206103 33554432000 4194304 4196468 140733171314048 139853221700704 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15312] ppid=15302 vsize=13984976 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15312/stat : 15312 (java) S 15302 15302 13358 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 154295914 14320615424 206103 33554432000 4194304 4196468 140733171314048 139853220647808 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15313] ppid=15302 vsize=13984976 memory=42980 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15313/stat : 15313 (java) S 15302 15302 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295916 14320615424 206103 33554432000 4194304 4196468 140733171314048 139853219596112 139853748545435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15314] ppid=15302 vsize=13984976 memory=2332 CPUtime=5.75 cores=1,3,5,7
/proc/15304/task/15314/stat : 15314 (java) S 15302 15302 13358 0 -1 1077944384 30881 0 0 0 572 3 0 0 20 0 15 0 154295916 14320615424 206103 33554432000 4194304 4196468 140733171314048 139853218544496 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15315] ppid=15302 vsize=13984976 memory=1292 CPUtime=5.27 cores=1,3,5,7
/proc/15304/task/15315/stat : 15315 (java) S 15302 15302 13358 0 -1 1077944384 27090 0 0 0 523 4 0 0 20 0 15 0 154295916 14320615424 206103 33554432000 4194304 4196468 140733171314048 139853217491696 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15316] ppid=15302 vsize=13984976 memory=1728 CPUtime=0.99 cores=1,3,5,7
/proc/15304/task/15316/stat : 15316 (java) S 15302 15302 13358 0 -1 1077944384 10491 0 0 0 97 2 0 0 20 0 15 0 154295916 14320615424 206103 33554432000 4194304 4196468 140733171314048 139853216438896 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15317] ppid=15302 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15317/stat : 15317 (java) S 15302 15302 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295916 14320615424 206103 33554432000 4194304 4196468 140733171314048 139853215386336 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15318] ppid=15302 vsize=13984976 memory=18292 CPUtime=0.12 cores=1,3,5,7
/proc/15304/task/15318/stat : 15318 (java) S 15302 15302 13358 0 -1 1077944384 761 0 0 0 5 7 0 0 20 0 15 0 154295916 14320615424 206103 33554432000 4194304 4196468 140733171314048 139853214333616 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
Current children cumulated CPU time: 239.45 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 825796 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.69 1.75 1.74 3/218 15399
/proc/meminfo: memFree=24275176/32770624 swapFree=67108860/67108860
[pid=15302] ppid=15299 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15302/stat : 15302 (xcsp3-exec) S 15299 15302 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154295910 9740288 346 33554432000 4194304 5098028 140733465895280 140733465893384 140684272820860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35868672 140733465904244 140733465904448 140733465904448 140733465907179 0
/proc/15302/statm: 2378 346 289 221 0 87 0
[pid=15304] ppid=15302 vsize=13984976 memory=758324 CPUtime=257.66 cores=1,3,5,7
/proc/15304/stat : 15304 (java) S 15302 15302 13358 0 -1 1077944320 108169 0 0 0 25629 137 0 0 20 0 15 0 154295910 14320615424 189581 33554432000 4194304 4196468 140733171314048 140733171296592 139853748526839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
/proc/15304/statm: 3496244 189581 3281 1 0 3483478 0
[pid=15304/tid=15305] ppid=15302 vsize=13984976 memory=6791534058613427641 CPUtime=238 cores=1,3,5,7
/proc/15304/task/15305/stat : 15305 (java) R 15302 15302 13358 0 -1 4202560 20527 0 0 0 23790 10 0 0 20 0 15 0 154295911 14320615424 189581 33554432000 4194304 4196468 140733171314048 139853752766176 139853352380407 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15306] ppid=15302 vsize=13984976 memory=648 CPUtime=1.84 cores=1,3,5,7
/proc/15304/task/15306/stat : 15306 (java) S 15302 15302 13358 0 -1 1077944384 2391 0 0 0 157 27 0 0 20 0 15 0 154295912 14320615424 189581 33554432000 4194304 4196468 140733171314048 139853678615696 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15307] ppid=15302 vsize=13984976 memory=1236 CPUtime=1.82 cores=1,3,5,7
/proc/15304/task/15307/stat : 15307 (java) S 15302 15302 13358 0 -1 1077944384 2243 0 0 0 156 26 0 0 20 0 15 0 154295912 14320615424 189581 33554432000 4194304 4196468 140733171314048 139853677562896 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15308] ppid=15302 vsize=13984976 memory=960 CPUtime=1.83 cores=1,3,5,7
/proc/15304/task/15308/stat : 15308 (java) S 15302 15302 13358 0 -1 1077944384 2548 0 0 0 156 27 0 0 20 0 15 0 154295912 14320615424 189581 33554432000 4194304 4196468 140733171314048 139853676510096 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15309] ppid=15302 vsize=13984976 memory=4872558044660077418 CPUtime=1.82 cores=1,3,5,7
/proc/15304/task/15309/stat : 15309 (java) S 15302 15302 13358 0 -1 1077944384 3789 0 0 0 156 26 0 0 20 0 15 0 154295912 14320615424 189581 33554432000 4194304 4196468 140733171314048 139853675457296 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15310] ppid=15302 vsize=13984976 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/15304/task/15310/stat : 15310 (java) S 15302 15302 13358 0 -1 1077944384 4786 0 0 0 6 2 0 0 20 0 15 0 154295913 14320615424 189581 33554432000 4194304 4196468 140733171314048 139853222754672 139853748537986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15311] ppid=15302 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15311/stat : 15311 (java) S 15302 15302 13358 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154295913 14320615424 189581 33554432000 4194304 4196468 140733171314048 139853221700704 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15312] ppid=15302 vsize=13984976 memory=10088 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15312/stat : 15312 (java) S 15302 15302 13358 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 154295914 14320615424 189581 33554432000 4194304 4196468 140733171314048 139853220647808 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15313] ppid=15302 vsize=13984976 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15313/stat : 15313 (java) S 15302 15302 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295916 14320615424 189581 33554432000 4194304 4196468 140733171314048 139853219596112 139853748545435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15314] ppid=15302 vsize=13984976 memory=8584 CPUtime=5.79 cores=1,3,5,7
/proc/15304/task/15314/stat : 15314 (java) S 15302 15302 13358 0 -1 1077944384 32028 0 0 0 576 3 0 0 20 0 15 0 154295916 14320615424 189581 33554432000 4194304 4196468 140733171314048 139853218544496 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15315] ppid=15302 vsize=13984976 memory=4616 CPUtime=5.27 cores=1,3,5,7
/proc/15304/task/15315/stat : 15315 (java) S 15302 15302 13358 0 -1 1077944384 27102 0 0 0 523 4 0 0 20 0 15 0 154295916 14320615424 189581 33554432000 4194304 4196468 140733171314048 139853217491696 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15316] ppid=15302 vsize=13984976 memory=1720 CPUtime=0.99 cores=1,3,5,7
/proc/15304/task/15316/stat : 15316 (java) S 15302 15302 13358 0 -1 1077944384 10635 0 0 0 97 2 0 0 20 0 15 0 154295916 14320615424 189581 33554432000 4194304 4196468 140733171314048 139853216438896 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15317] ppid=15302 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/15304/task/15317/stat : 15317 (java) S 15302 15302 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295916 14320615424 189581 33554432000 4194304 4196468 140733171314048 139853215386336 139853748537045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
[pid=15304/tid=15318] ppid=15302 vsize=13984976 memory=1436 CPUtime=0.13 cores=1,3,5,7
/proc/15304/task/15318/stat : 15318 (java) S 15302 15302 13358 0 -1 1077944384 782 0 0 0 5 8 0 0 20 0 15 0 154295916 14320615424 189581 33554432000 4194304 4196468 140733171314048 139853214333616 139853748537986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140733171315869 140733171316044 140733171316044 140733171318735 0
Current children cumulated CPU time: 257.66 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 759708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.027 s]
# the end of solver process 15302 was just reported to runsolver
# cumulated CPU time of all completed processes: user=256.309 s, system=1.3878 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.027
CPU time (s): 257.697
CPU user time (s): 256.309
CPU system time (s): 1.3878
CPU usage (%): 107.361
Max. virtual memory (cumulated for all children) (KiB): 13997108
Max. memory (cumulated for all children) (KiB): 1015936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.309
system time used= 1.3878
maximum resident set size= 1014784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108855
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= 9320
involuntary context switches= 359
# summary of solver processes directly reported to runsolver:
# pid: 15302
# total CPU time (s): 257.697
# total CPU user time (s): 256.309
# total CPU system time (s): 1.3878
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.59136 second user time and 2.35706 second system time
The end
Begin job on node112 at 2017-08-20 08:40:23 IDJOB=4284575 IDBENCH=124448 IDSOLVER=2680 FILE ID=node112/4284575-1503212083 RUNJOBID= node112-1503208953-13390 PBS_JOBID= 20630869 Free space on /tmp= 61780 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n31-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-4284575-1503212083/watcher-4284575-1503212083 -o /tmp/evaluation-result-4284575-1503212083/solver-4284575-1503212083 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503208953-13390 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1428117761 HOME/instance-4284575-1503212083.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 72502af2971f560ebaea982d6c1ff669 RANDOM SEED=1428117761 node112.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.24 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.24 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.24 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.24 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: 23849132 kB MemAvailable: 30605064 kB Buffers: 254876 kB Cached: 6790392 kB SwapCached: 0 kB Active: 2544136 kB Inactive: 5921800 kB Active(anon): 1372008 kB Inactive(anon): 84384 kB Active(file): 1172128 kB Inactive(file): 5837416 kB Unevictable: 7844 kB Mlocked: 7844 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7896 kB Writeback: 24 kB AnonPages: 1427876 kB Mapped: 63940 kB Shmem: 33416 kB Slab: 151584 kB SReclaimable: 124448 kB SUnreclaim: 27136 kB KernelStack: 3584 kB PageTables: 8132 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2835872 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1298432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61772 MiB End job on node112 at 2017-08-20 08:44:23