Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-07-26) | SAT (TO) | 1115 | 2520.0901 | 2442.9099 |
| 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 | 2400.02 |
| 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.09 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272305-1502763916.xml" -tl '2520s' -p 1 -x 3 0.09/0.27 c [HOME/instance-4272305-1502763916.xml, -tl, 2520s, -p, 1, -x, 3] 0.28/0.33 c simple solver 0.28/0.39 c parse instance... 1.30/0.78 c solve instance... 8.58/3.03 o 1535 8.58/3.04 o 1526 8.58/3.08 o 1435 8.58/3.08 o 1431 8.58/3.10 o 1418 8.91/3.14 o 1409 8.91/3.14 o 1401 8.91/3.15 o 1395 8.91/3.19 o 1390 9.18/3.20 o 1388 10.40/3.67 o 1371 14.15/5.43 o 1245 14.15/5.44 o 1220 14.15/5.45 o 1219 14.15/5.45 o 1218 14.15/5.46 o 1216 14.15/5.46 o 1215 14.15/5.48 o 1212 14.54/5.62 o 1209 14.54/5.62 o 1207 14.82/5.74 o 1205 14.82/5.75 o 1196 44.72/33.50 o 1155 1232.03/1189.50 o 1153 1232.13/1189.61 o 1149 1232.24/1189.70 o 1148 1845.91/1786.75 o 1142 1850.32/1791.03 o 1134 1851.32/1792.08 o 1122 1851.71/1792.49 o 1115 2520.06/2442.90 s SATISFIABLE 2520.06/2442.90 v <instantiation> 2520.06/2442.90 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> 2520.06/2442.90 v <values>0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 80 83 91 20 88 100 41 48 38 76 3 64 31 100 55 57 15 78 62 88 90 18 53 68 26 22 98 72 33 19 </values> 2520.06/2442.90 v </instantiation> 2520.06/2442.90 c Unexpected resolution interruption!
OK 1115
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 (13665 MiB free)
memory of node 1: 16384 MiB (15236 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272305-1502763916/watcher-4272305-1502763916 -o /tmp/evaluation-result-4272305-1502763916/solver-4272305-1502763916 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1595968571 HOME/instance-4272305-1502763916.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23159, runsolver pid=23156
[startup+0.100145 s]*
/proc/loadavg: 1.75 1.77 1.77 4/202 23161
/proc/meminfo: memFree=29595052/32770624 swapFree=67108860/67108860
[pid=23159] ppid=23156 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23159/stat : 23159 (xcsp3-exec) S 23156 23159 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30274165 9740288 345 18446744073709551615 4194304 5098028 140735507049856 140735507047960 140569434587772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 27738112 140735507054969 140735507055174 140735507055174 140735507058667 0
/proc/23159/statm: 2378 345 289 221 0 87 0
[pid=23161] ppid=23159 vsize=13356504 memory=10656 CPUtime=0 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23159 7968 0 -1 1077944320 2415 0 0 0 0 0 0 0 20 0 6 0 30274175 13677060096 2664 18446744073709551615 4194304 4196468 140737362073632 140737362056176 140571654475511 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
/proc/23161/statm: 3339126 2664 1203 1 0 3329096 0
[pid=23161/tid=23162] ppid=23159 vsize=13356504 memory=-7666416650606639742 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23159 7968 0 -1 4202560 1181 0 0 0 0 0 0 0 20 0 6 0 30274175 13677060096 2664 18446744073709551615 4194304 4196468 140737362073632 140571658717288 140571640274940 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23163] ppid=23159 vsize=13356504 memory=-6623551257525838759 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (java) S 23159 23159 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 30274176 13677060096 2664 18446744073709551615 4194304 4196468 140737362073632 140571596422160 140571654485717 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23164] ppid=23159 vsize=13356504 memory=140472499402368 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (java) S 23159 23159 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 30274176 13677060096 2664 18446744073709551615 4194304 4196468 140737362073632 140571253939344 140571654485717 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23165] ppid=23159 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23165/stat : 23165 (java) S 23159 23159 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 30274176 13677060096 2664 18446744073709551615 4194304 4196468 140737362073632 140571252886288 140571654485717 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23166] ppid=23159 vsize=13356504 memory=-1807685287725067907 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23166/stat : 23166 (java) S 23159 23159 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 30274176 13677060096 2664 18446744073709551615 4194304 4196468 140737362073632 140571251833744 140571654485717 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12036 KiB
[startup+0.210092 s]*
/proc/loadavg: 1.75 1.77 1.77 3/216 23175
/proc/meminfo: memFree=29577724/32770624 swapFree=67108860/67108860
[pid=23159] ppid=23156 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23159/stat : 23159 (xcsp3-exec) S 23156 23159 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30274165 9740288 345 18446744073709551615 4194304 5098028 140735507049856 140735507047960 140569434587772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 27738112 140735507054969 140735507055174 140735507055174 140735507058667 0
/proc/23159/statm: 2378 345 289 221 0 87 0
[pid=23161] ppid=23159 vsize=13974352 memory=28156 CPUtime=0.09 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23159 7968 0 -1 1077944320 5443 0 0 0 8 1 0 0 20 0 15 0 30274175 14309736448 7039 18446744073709551615 4194304 4196468 140737362073632 140737362056176 140571654475511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
/proc/23161/statm: 3493588 7039 2756 1 0 3482964 0
[pid=23161/tid=23162] ppid=23159 vsize=13974352 memory=-7666416650606639742 CPUtime=0.07 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23159 7968 0 -1 4202560 3587 0 0 0 7 0 0 0 20 0 15 0 30274175 14309736448 7039 18446744073709551615 4194304 4196468 140737362073632 140571658705664 140571654497437 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23163] ppid=23159 vsize=13974352 memory=-6623551257525838759 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (java) S 23159 23159 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30274176 14309736448 7039 18446744073709551615 4194304 4196468 140737362073632 140571596422160 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23164] ppid=23159 vsize=13974352 memory=140472499402368 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (java) S 23159 23159 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30274176 14309736448 7039 18446744073709551615 4194304 4196468 140737362073632 140571253939344 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23165] ppid=23159 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23165/stat : 23165 (java) S 23159 23159 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30274176 14309736448 7039 18446744073709551615 4194304 4196468 140737362073632 140571252886288 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23166] ppid=23159 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23166/stat : 23166 (java) S 23159 23159 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30274176 14309736448 7039 18446744073709551615 4194304 4196468 140737362073632 140571251833744 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23167] ppid=23159 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23167/stat : 23167 (java) S 23159 23159 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30274177 14309736448 7039 18446744073709551615 4194304 4196468 140737362073632 140571200116976 140571654486658 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23168] ppid=23159 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23168/stat : 23168 (java) S 23159 23159 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30274178 14309736448 7039 18446744073709551615 4194304 4196468 140737362073632 140571199063200 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23169] ppid=23159 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23169/stat : 23169 (java) S 23159 23159 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 30274178 14309736448 7039 18446744073709551615 4194304 4196468 140737362073632 140571198010096 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23170] ppid=23159 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23170/stat : 23170 (java) S 23159 23159 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30274180 14309736448 7039 18446744073709551615 4194304 4196468 140737362073632 140571196958672 140571654494107 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23171] ppid=23159 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23171/stat : 23171 (java) S 23159 23159 7968 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 30274180 14309736448 7039 18446744073709551615 4194304 4196468 140737362073632 140571195906800 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23172] ppid=23159 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23172/stat : 23172 (java) S 23159 23159 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30274180 14309736448 7039 18446744073709551615 4194304 4196468 140737362073632 140571194854256 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23173] ppid=23159 vsize=13974352 memory=140472499402368 CPUtime=0.01 cores=1,3,5,7
/proc/23161/task/23173/stat : 23173 (java) S 23159 23159 7968 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 15 0 30274180 14309736448 7039 18446744073709551615 4194304 4196468 140737362073632 140571193801200 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23174] ppid=23159 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23174/stat : 23174 (java) S 23159 23159 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30274181 14309736448 7039 18446744073709551615 4194304 4196468 140737362073632 140570991258464 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23175] ppid=23159 vsize=13974352 memory=140472499402368 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23175/stat : 23175 (java) S 23159 23159 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30274184 14309736448 7039 18446744073709551615 4194304 4196468 140737362073632 140570990205488 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29536 KiB
[startup+0.310739 s]*
/proc/loadavg: 1.75 1.77 1.77 4/216 23175
/proc/meminfo: memFree=29567400/32770624 swapFree=67108860/67108860
[pid=23159] ppid=23156 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23159/stat : 23159 (xcsp3-exec) S 23156 23159 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30274165 9740288 345 18446744073709551615 4194304 5098028 140735507049856 140735507047960 140569434587772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 27738112 140735507054969 140735507055174 140735507055174 140735507058667 0
/proc/23159/statm: 2378 345 289 221 0 87 0
[pid=23161] ppid=23159 vsize=13974352 memory=37544 CPUtime=0.28 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23159 7968 0 -1 1077944320 9014 0 0 0 26 2 0 0 20 0 15 0 30274175 14309736448 9386 18446744073709551615 4194304 4196468 140737362073632 140737362056176 140571654475511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
/proc/23161/statm: 3493588 9386 2979 1 0 3482964 0
[pid=23161/tid=23162] ppid=23159 vsize=13974352 memory=4278483708103473607 CPUtime=0.17 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23159 7968 0 -1 4202560 6206 0 0 0 15 2 0 0 20 0 15 0 30274175 14309736448 9386 18446744073709551615 4194304 4196468 140737362073632 140571658708272 140571640543630 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23163] ppid=23159 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (java) S 23159 23159 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30274176 14309736448 9386 18446744073709551615 4194304 4196468 140737362073632 140571596422160 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23164] ppid=23159 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (java) S 23159 23159 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30274176 14309736448 9386 18446744073709551615 4194304 4196468 140737362073632 140571253939344 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23165] ppid=23159 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23165/stat : 23165 (java) S 23159 23159 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30274176 14309736448 9386 18446744073709551615 4194304 4196468 140737362073632 140571252886288 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23166] ppid=23159 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23166/stat : 23166 (java) S 23159 23159 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30274176 14309736448 9386 18446744073709551615 4194304 4196468 140737362073632 140571251833744 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23167] ppid=23159 vsize=13974352 memory=140472499402367 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23167/stat : 23167 (java) S 23159 23159 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30274177 14309736448 9898 18446744073709551615 4194304 4196468 140737362073632 140571200116976 140571654486658 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23168] ppid=23159 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23168/stat : 23168 (java) S 23159 23159 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30274178 14309736448 9898 18446744073709551615 4194304 4196468 140737362073632 140571199063200 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23169] ppid=23159 vsize=13974352 memory=140472499402368 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23169/stat : 23169 (java) S 23159 23159 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 30274178 14309736448 9898 18446744073709551615 4194304 4196468 140737362073632 140571198010096 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23170] ppid=23159 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23170/stat : 23170 (java) S 23159 23159 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30274180 14309736448 9898 18446744073709551615 4194304 4196468 140737362073632 140571196958672 140571654494107 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23171] ppid=23159 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23161/task/23171/stat : 23171 (java) R 23159 23159 7968 0 -1 1077944384 702 0 0 0 2 0 0 0 20 0 15 0 30274180 14309736448 9898 18446744073709551615 4194304 4196468 140737362073632 140571195906896 140571654485717 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23172] ppid=23159 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23161/task/23172/stat : 23172 (java) R 23159 23159 7968 0 -1 4202560 110 0 0 0 1 0 0 0 20 0 15 0 30274180 14309736448 9898 18446744073709551615 4194304 4196468 140737362073632 140571194835272 140571646764800 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23173] ppid=23159 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/23161/task/23173/stat : 23173 (java) S 23159 23159 7968 0 -1 1077944384 694 0 0 0 6 0 0 0 20 0 15 0 30274180 14309736448 9898 18446744073709551615 4194304 4196468 140737362073632 140571193801200 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23174] ppid=23159 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23174/stat : 23174 (java) S 23159 23159 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30274181 14309736448 9898 18446744073709551615 4194304 4196468 140737362073632 140570991258464 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23175] ppid=23159 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23175/stat : 23175 (java) S 23159 23159 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30274184 14309736448 9898 18446744073709551615 4194304 4196468 140737362073632 140570990205488 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38924 KiB
[startup+0.701486 s]
/proc/loadavg: 1.75 1.77 1.77 5/216 23175
/proc/meminfo: memFree=29555020/32770624 swapFree=67108860/67108860
[pid=23159] ppid=23156 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23159/stat : 23159 (xcsp3-exec) S 23156 23159 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30274165 9740288 345 18446744073709551615 4194304 5098028 140735507049856 140735507047960 140569434587772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 27738112 140735507054969 140735507055174 140735507055174 140735507058667 0
/proc/23159/statm: 2378 345 289 221 0 87 0
[pid=23161] ppid=23159 vsize=13980732 memory=76520 CPUtime=1.3 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23159 7968 0 -1 1077944320 13328 0 0 0 125 5 0 0 20 0 15 0 30274175 14316269568 19130 18446744073709551615 4194304 4196468 140737362073632 140737362056176 140571654475511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
/proc/23161/statm: 3495183 19130 3166 1 0 3483476 0
[pid=23161/tid=23162] ppid=23159 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) S 23159 23159 7968 0 -1 1077944384 8080 0 0 0 52 3 0 0 20 0 15 0 30274175 14316269568 19130 18446744073709551615 4194304 4196468 140737362073632 140571658710384 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23163] ppid=23159 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (java) S 23159 23159 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30274176 14316269568 19130 18446744073709551615 4194304 4196468 140737362073632 140571596422160 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23164] ppid=23159 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (java) S 23159 23159 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30274176 14316269568 19130 18446744073709551615 4194304 4196468 140737362073632 140571253939344 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23165] ppid=23159 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23165/stat : 23165 (java) S 23159 23159 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30274176 14316269568 19130 18446744073709551615 4194304 4196468 140737362073632 140571252886288 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23166] ppid=23159 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23166/stat : 23166 (java) S 23159 23159 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30274176 14316269568 19130 18446744073709551615 4194304 4196468 140737362073632 140571251833744 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23167] ppid=23159 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23167/stat : 23167 (java) S 23159 23159 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 30274177 14316269568 19130 18446744073709551615 4194304 4196468 140737362073632 140571200116976 140571654486658 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23168] ppid=23159 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23168/stat : 23168 (java) S 23159 23159 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30274178 14316269568 19130 18446744073709551615 4194304 4196468 140737362073632 140571199063200 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23169] ppid=23159 vsize=13980732 memory=8443538352883892301 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23169/stat : 23169 (java) S 23159 23159 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 30274178 14316269568 19130 18446744073709551615 4194304 4196468 140737362073632 140571198010096 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23170] ppid=23159 vsize=13980732 memory=288286675438928497 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23170/stat : 23170 (java) S 23159 23159 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30274180 14316269568 19130 18446744073709551615 4194304 4196468 140737362073632 140571196958672 140571654494107 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23171] ppid=23159 vsize=13980732 memory=4122255129879773216 CPUtime=0.2 cores=1,3,5,7
/proc/23161/task/23171/stat : 23171 (java) R 23159 23159 7968 0 -1 4202560 1453 0 0 0 20 0 0 0 20 0 15 0 30274180 14316269568 19130 18446744073709551615 4194304 4196468 140737362073632 140571195887144 140571637972299 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23172] ppid=23159 vsize=13980732 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/23161/task/23172/stat : 23172 (java) R 23159 23159 7968 0 -1 1077944384 901 0 0 0 19 0 0 0 20 0 15 0 30274180 14316269568 19130 18446744073709551615 4194304 4196468 140737362073632 140571194854256 140571654486658 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23173] ppid=23159 vsize=13980732 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/23161/task/23173/stat : 23173 (java) R 23159 23159 7968 0 -1 4202560 1586 0 0 0 33 0 0 0 20 0 15 0 30274180 14316269568 19130 18446744073709551615 4194304 4196468 140737362073632 140571193796928 140571654487446 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23174] ppid=23159 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23174/stat : 23174 (java) S 23159 23159 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30274181 14316269568 19130 18446744073709551615 4194304 4196468 140737362073632 140570991258464 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23175] ppid=23159 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23175/stat : 23175 (java) S 23159 23159 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30274184 14316269568 19130 18446744073709551615 4194304 4196468 140737362073632 140570990205488 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 77900 KiB
[startup+1.50092 s]
/proc/loadavg: 1.75 1.77 1.77 5/216 23175
/proc/meminfo: memFree=29513332/32770624 swapFree=67108860/67108860
[pid=23159] ppid=23156 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23159/stat : 23159 (xcsp3-exec) S 23156 23159 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30274165 9740288 345 18446744073709551615 4194304 5098028 140735507049856 140735507047960 140569434587772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 27738112 140735507054969 140735507055174 140735507055174 140735507058667 0
/proc/23159/statm: 2378 345 289 221 0 87 0
[pid=23161] ppid=23159 vsize=13980732 memory=147616 CPUtime=3.94 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23159 7968 0 -1 1077944320 37152 0 0 0 385 9 0 0 20 0 15 0 30274175 14316269568 36904 18446744073709551615 4194304 4196468 140737362073632 140737362056176 140571654475511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
/proc/23161/statm: 3495183 36904 3191 1 0 3483476 0
[pid=23161/tid=23162] ppid=23159 vsize=13980732 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23159 7968 0 -1 4202560 8919 0 0 0 131 4 0 0 20 0 15 0 30274175 14316269568 36904 18446744073709551615 4194304 4196468 140737362073632 140571658712496 140571281475226 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23163] ppid=23159 vsize=13980732 memory=280944683320600 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (java) S 23159 23159 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30274176 14316269568 36904 18446744073709551615 4194304 4196468 140737362073632 140571596422160 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23164] ppid=23159 vsize=13980732 memory=140472341551665 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (java) S 23159 23159 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30274176 14316269568 36904 18446744073709551615 4194304 4196468 140737362073632 140571253939344 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23165] ppid=23159 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23165/stat : 23165 (java) S 23159 23159 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30274176 14316269568 36904 18446744073709551615 4194304 4196468 140737362073632 140571252886288 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23166] ppid=23159 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23166/stat : 23166 (java) S 23159 23159 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30274176 14316269568 36904 18446744073709551615 4194304 4196468 140737362073632 140571251833744 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23167] ppid=23159 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23167/stat : 23167 (java) S 23159 23159 7968 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 30274177 14316269568 36904 18446744073709551615 4194304 4196468 140737362073632 140571200116976 140571654486658 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23168] ppid=23159 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23168/stat : 23168 (java) S 23159 23159 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30274178 14316269568 36904 18446744073709551615 4194304 4196468 140737362073632 140571199063200 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23169] ppid=23159 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/23161/task/23169/stat : 23169 (java) S 23159 23159 7968 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 30274178 14316269568 168508 18446744073709551615 4194304 4196468 140737362073632 140571198010112 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23170] ppid=23159 vsize=13980732 memory=667348 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23170/stat : 23170 (java) S 23159 23159 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30274180 14316269568 168508 18446744073709551615 4194304 4196468 140737362073632 140571196958672 140571654494107 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23171] ppid=23159 vsize=13980732 memory=1380 CPUtime=5.24 cores=1,3,5,7
/proc/23161/task/23171/stat : 23171 (java) S 23159 23159 7968 0 -1 1077944384 18886 0 0 0 522 2 0 0 20 0 15 0 30274180 14316269568 168508 18446744073709551615 4194304 4196468 140737362073632 140571195906800 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23172] ppid=23159 vsize=13980732 memory=670920 CPUtime=5.61 cores=1,3,5,7
/proc/23161/task/23172/stat : 23172 (java) S 23159 23159 7968 0 -1 1077944384 38126 0 0 0 555 6 0 0 20 0 15 0 30274180 14316269568 168508 18446744073709551615 4194304 4196468 140737362073632 140571194854256 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23173] ppid=23159 vsize=13980732 memory=1380 CPUtime=1.04 cores=1,3,5,7
/proc/23161/task/23173/stat : 23173 (java) S 23159 23159 7968 0 -1 1077944384 14210 0 0 0 101 3 0 0 20 0 15 0 30274180 14316269568 168508 18446744073709551615 4194304 4196468 140737362073632 140571193801200 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23174] ppid=23159 vsize=13980732 memory=674032 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23174/stat : 23174 (java) S 23159 23159 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30274181 14316269568 168508 18446744073709551615 4194304 4196468 140737362073632 140570991258464 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23175] ppid=23159 vsize=13980732 memory=1380 CPUtime=1.27 cores=1,3,5,7
/proc/23161/task/23175/stat : 23175 (java) S 23159 23159 7968 0 -1 1077944384 1949 0 0 0 52 75 0 0 20 0 15 0 30274184 14316269568 168508 18446744073709551615 4194304 4196468 140737362073632 140570990205488 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
Current children cumulated CPU time: 2458.19 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 675412 KiB
[startup+2442.3 s]
/proc/loadavg: 1.90 1.83 1.78 3/214 23474
/proc/meminfo: memFree=26686460/32770624 swapFree=67108860/67108860
[pid=23159] ppid=23156 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23159/stat : 23159 (xcsp3-exec) S 23156 23159 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30274165 9740288 345 18446744073709551615 4194304 5098028 140735507049856 140735507047960 140569434587772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 27738112 140735507054969 140735507055174 140735507055174 140735507058667 0
/proc/23159/statm: 2378 345 289 221 0 87 0
[pid=23161] ppid=23159 vsize=13980732 memory=835012 CPUtime=2519.46 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23159 7968 0 -1 1077944320 256184 0 0 0 251375 571 0 0 20 0 15 0 30274175 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140737362056176 140571654475511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
/proc/23161/statm: 3495183 208753 3255 1 0 3483476 0
[pid=23161/tid=23162] ppid=23159 vsize=13980732 memory=1380 CPUtime=2419.02 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23159 7968 0 -1 4202560 66938 0 0 0 241875 27 0 0 20 0 15 0 30274175 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571658715376 140571285361274 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23163] ppid=23159 vsize=13980732 memory=835012 CPUtime=21.58 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (java) S 23159 23159 7968 0 -1 1077944384 17587 0 0 0 2044 114 0 0 20 0 15 0 30274176 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571596422160 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23164] ppid=23159 vsize=13980732 memory=1380 CPUtime=21.52 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (java) S 23159 23159 7968 0 -1 1077944384 16594 0 0 0 2038 114 0 0 20 0 15 0 30274176 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571253939344 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23165] ppid=23159 vsize=13980732 memory=843732 CPUtime=21.58 cores=1,3,5,7
/proc/23161/task/23165/stat : 23165 (java) S 23159 23159 7968 0 -1 1077944384 17869 0 0 0 2045 113 0 0 20 0 15 0 30274176 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571252886288 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23166] ppid=23159 vsize=13980732 memory=843732 CPUtime=21.58 cores=1,3,5,7
/proc/23161/task/23166/stat : 23166 (java) S 23159 23159 7968 0 -1 1077944384 16750 0 0 0 2042 116 0 0 20 0 15 0 30274176 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571251833744 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23167] ppid=23159 vsize=13980732 memory=835012 CPUtime=0.91 cores=1,3,5,7
/proc/23161/task/23167/stat : 23167 (java) S 23159 23159 7968 0 -1 1077944384 45898 0 0 0 73 18 0 0 20 0 15 0 30274177 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571200116976 140571654486658 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23168] ppid=23159 vsize=13980732 memory=835012 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23168/stat : 23168 (java) S 23159 23159 7968 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 30274178 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571199063264 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23169] ppid=23159 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23169/stat : 23169 (java) S 23159 23159 7968 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 30274178 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571198010112 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23170] ppid=23159 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23170/stat : 23170 (java) S 23159 23159 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30274180 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571196958672 140571654494107 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23171] ppid=23159 vsize=13980732 memory=4124 CPUtime=5.24 cores=1,3,5,7
/proc/23161/task/23171/stat : 23171 (java) S 23159 23159 7968 0 -1 1077944384 18888 0 0 0 522 2 0 0 20 0 15 0 30274180 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571195906800 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23172] ppid=23159 vsize=13980732 memory=19060 CPUtime=5.61 cores=1,3,5,7
/proc/23161/task/23172/stat : 23172 (java) S 23159 23159 7968 0 -1 1077944384 38128 0 0 0 555 6 0 0 20 0 15 0 30274180 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571194854256 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23173] ppid=23159 vsize=13980732 memory=1380 CPUtime=1.04 cores=1,3,5,7
/proc/23161/task/23173/stat : 23173 (java) S 23159 23159 7968 0 -1 1077944384 14212 0 0 0 101 3 0 0 20 0 15 0 30274180 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571193801200 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23174] ppid=23159 vsize=13980732 memory=835012 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23174/stat : 23174 (java) S 23159 23159 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30274181 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140570991258464 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23175] ppid=23159 vsize=13980732 memory=1732 CPUtime=1.29 cores=1,3,5,7
/proc/23161/task/23175/stat : 23175 (java) S 23159 23159 7968 0 -1 1077944384 1967 0 0 0 53 76 0 0 20 0 15 0 30274184 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140570990205488 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
Current children cumulated CPU time: 2519.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 836392 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2442.9 s]
/proc/loadavg: 1.90 1.83 1.78 3/214 23474
/proc/meminfo: memFree=26686460/32770624 swapFree=67108860/67108860
[pid=23159] ppid=23156 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23159/stat : 23159 (xcsp3-exec) S 23156 23159 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30274165 9740288 345 18446744073709551615 4194304 5098028 140735507049856 140735507047960 140569434587772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 27738112 140735507054969 140735507055174 140735507055174 140735507058667 0
/proc/23159/statm: 2378 345 289 221 0 87 0
[pid=23161] ppid=23159 vsize=13980732 memory=835012 CPUtime=2520.06 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23159 7968 0 -1 1077944320 256184 0 0 0 251435 571 0 0 20 0 15 0 30274175 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140737362056176 140571654475511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
/proc/23161/statm: 3495183 208753 3255 1 0 3483476 0
[pid=23161/tid=23162] ppid=23159 vsize=13980732 memory=835012 CPUtime=2419.62 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23159 7968 0 -1 4202560 66938 0 0 0 241935 27 0 0 20 0 15 0 30274175 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571658715264 140571284509681 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23163] ppid=23159 vsize=13980732 memory=1380 CPUtime=21.58 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (java) S 23159 23159 7968 0 -1 1077944384 17587 0 0 0 2044 114 0 0 20 0 15 0 30274176 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571596422160 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23164] ppid=23159 vsize=13980732 memory=835012 CPUtime=21.52 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (java) S 23159 23159 7968 0 -1 1077944384 16594 0 0 0 2038 114 0 0 20 0 15 0 30274176 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571253939344 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23165] ppid=23159 vsize=13980732 memory=835012 CPUtime=21.58 cores=1,3,5,7
/proc/23161/task/23165/stat : 23165 (java) S 23159 23159 7968 0 -1 1077944384 17869 0 0 0 2045 113 0 0 20 0 15 0 30274176 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571252886288 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23166] ppid=23159 vsize=13980732 memory=843732 CPUtime=21.58 cores=1,3,5,7
/proc/23161/task/23166/stat : 23166 (java) S 23159 23159 7968 0 -1 1077944384 16750 0 0 0 2042 116 0 0 20 0 15 0 30274176 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571251833744 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23167] ppid=23159 vsize=13980732 memory=843732 CPUtime=0.91 cores=1,3,5,7
/proc/23161/task/23167/stat : 23167 (java) S 23159 23159 7968 0 -1 1077944384 45898 0 0 0 73 18 0 0 20 0 15 0 30274177 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571200116976 140571654486658 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23168] ppid=23159 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23168/stat : 23168 (java) S 23159 23159 7968 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 30274178 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571199063264 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23169] ppid=23159 vsize=13980732 memory=835012 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23169/stat : 23169 (java) S 23159 23159 7968 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 30274178 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571198010112 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23170] ppid=23159 vsize=13980732 memory=835012 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23170/stat : 23170 (java) S 23159 23159 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30274180 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571196958672 140571654494107 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23171] ppid=23159 vsize=13980732 memory=1380 CPUtime=5.24 cores=1,3,5,7
/proc/23161/task/23171/stat : 23171 (java) S 23159 23159 7968 0 -1 1077944384 18888 0 0 0 522 2 0 0 20 0 15 0 30274180 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571195906800 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23172] ppid=23159 vsize=13980732 memory=4124 CPUtime=5.61 cores=1,3,5,7
/proc/23161/task/23172/stat : 23172 (java) S 23159 23159 7968 0 -1 1077944384 38128 0 0 0 555 6 0 0 20 0 15 0 30274180 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571194854256 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23173] ppid=23159 vsize=13980732 memory=19060 CPUtime=1.04 cores=1,3,5,7
/proc/23161/task/23173/stat : 23173 (java) S 23159 23159 7968 0 -1 1077944384 14212 0 0 0 101 3 0 0 20 0 15 0 30274180 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571193801200 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23174] ppid=23159 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23174/stat : 23174 (java) S 23159 23159 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30274181 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140570991258464 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23175] ppid=23159 vsize=13980732 memory=835012 CPUtime=1.29 cores=1,3,5,7
/proc/23161/task/23175/stat : 23175 (java) S 23159 23159 7968 0 -1 1077944384 1967 0 0 0 53 76 0 0 20 0 15 0 30274184 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140570990205488 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 836392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2442.91 s]
# the end of solver process 23159 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000959 s, system=0.000959 s
[startup+2442.91 s]
# the end of solver process 23161 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.37 s, system=5.72408 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
[startup+2442.9 s]
/proc/loadavg: 1.90 1.83 1.78 3/214 23474
/proc/meminfo: memFree=26686460/32770624 swapFree=67108860/67108860
[pid=23159] ppid=23156 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23159/stat : 23159 (xcsp3-exec) S 23156 23159 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30274165 9740288 345 18446744073709551615 4194304 5098028 140735507049856 140735507047960 140569434587772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 27738112 140735507054969 140735507055174 140735507055174 140735507058667 0
/proc/23159/statm: 2378 345 289 221 0 87 0
[pid=23161] ppid=23159 vsize=13980732 memory=835012 CPUtime=2520.06 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23159 7968 0 -1 1077944320 256184 0 0 0 251435 571 0 0 20 0 15 0 30274175 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140737362056176 140571654475511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
/proc/23161/statm: 3495183 208753 3255 1 0 3483476 0
[pid=23161/tid=23162] ppid=23159 vsize=13980732 memory=835012 CPUtime=2419.62 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23159 7968 0 -1 4202560 66938 0 0 0 241935 27 0 0 20 0 15 0 30274175 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571658715264 140571284509681 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23163] ppid=23159 vsize=13980732 memory=1380 CPUtime=21.58 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (java) S 23159 23159 7968 0 -1 1077944384 17587 0 0 0 2044 114 0 0 20 0 15 0 30274176 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571596422160 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23164] ppid=23159 vsize=13980732 memory=835012 CPUtime=21.52 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (java) S 23159 23159 7968 0 -1 1077944384 16594 0 0 0 2038 114 0 0 20 0 15 0 30274176 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571253939344 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23165] ppid=23159 vsize=13980732 memory=835012 CPUtime=21.58 cores=1,3,5,7
/proc/23161/task/23165/stat : 23165 (java) S 23159 23159 7968 0 -1 1077944384 17869 0 0 0 2045 113 0 0 20 0 15 0 30274176 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571252886288 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23166] ppid=23159 vsize=13980732 memory=843732 CPUtime=21.58 cores=1,3,5,7
/proc/23161/task/23166/stat : 23166 (java) S 23159 23159 7968 0 -1 1077944384 16750 0 0 0 2042 116 0 0 20 0 15 0 30274176 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571251833744 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23167] ppid=23159 vsize=13980732 memory=843732 CPUtime=0.91 cores=1,3,5,7
/proc/23161/task/23167/stat : 23167 (java) S 23159 23159 7968 0 -1 1077944384 45898 0 0 0 73 18 0 0 20 0 15 0 30274177 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571200116976 140571654486658 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23168] ppid=23159 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23168/stat : 23168 (java) S 23159 23159 7968 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 30274178 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571199063264 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23169] ppid=23159 vsize=13980732 memory=835012 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23169/stat : 23169 (java) S 23159 23159 7968 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 30274178 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571198010112 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23170] ppid=23159 vsize=13980732 memory=835012 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23170/stat : 23170 (java) S 23159 23159 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30274180 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571196958672 140571654494107 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23171] ppid=23159 vsize=13980732 memory=1380 CPUtime=5.24 cores=1,3,5,7
/proc/23161/task/23171/stat : 23171 (java) S 23159 23159 7968 0 -1 1077944384 18888 0 0 0 522 2 0 0 20 0 15 0 30274180 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571195906800 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23172] ppid=23159 vsize=13980732 memory=4124 CPUtime=5.61 cores=1,3,5,7
/proc/23161/task/23172/stat : 23172 (java) S 23159 23159 7968 0 -1 1077944384 38128 0 0 0 555 6 0 0 20 0 15 0 30274180 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571194854256 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23173] ppid=23159 vsize=13980732 memory=19060 CPUtime=1.04 cores=1,3,5,7
/proc/23161/task/23173/stat : 23173 (java) S 23159 23159 7968 0 -1 1077944384 14212 0 0 0 101 3 0 0 20 0 15 0 30274180 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140571193801200 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23174] ppid=23159 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23174/stat : 23174 (java) S 23159 23159 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30274181 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140570991258464 140571654485717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
[pid=23161/tid=23175] ppid=23159 vsize=13980732 memory=835012 CPUtime=1.29 cores=1,3,5,7
/proc/23161/task/23175/stat : 23175 (java) S 23159 23159 7968 0 -1 1077944384 1967 0 0 0 53 76 0 0 20 0 15 0 30274184 14316269568 208753 18446744073709551615 4194304 4196468 140737362073632 140570990205488 140571654486658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16625664 140737362080178 140737362080354 140737362080354 140737362083791 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 836392 KiB
Child status: 143
Real time (s): 2442.91
CPU time (s): 2520.09
CPU user time (s): 2514.37
CPU system time (s): 5.72408
CPU usage (%): 103.159
Max. virtual memory (cumulated for all children) (KiB): 13992664
Max. memory (cumulated for all children) (KiB): 994284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.37
system time used= 5.72408
maximum resident set size= 993108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256985
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68510
involuntary context switches= 3042
# summary of solver processes directly reported to runsolver:
# pid: 23159,23161
# total CPU time (s): 2520.09
# total CPU user time (s): 2514.37
# total CPU system time (s): 5.72408
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7735 second user time and 23.4549 second system time
The end
Begin job on node128 at 2017-08-15 04:11:18 IDJOB=4272305 IDBENCH=124448 IDSOLVER=2664 FILE ID=node128/4272305-1502763916 RUNJOBID= node128-1502649221-29001 PBS_JOBID= Free space on /tmp= 62024 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-4272305-1502763916/watcher-4272305-1502763916 -o /tmp/evaluation-result-4272305-1502763916/solver-4272305-1502763916 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1595968571 HOME/instance-4272305-1502763916.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 72502af2971f560ebaea982d6c1ff669 RANDOM SEED=1595968571 node128.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.94 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.94 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.94 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.94 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: 29595500 kB MemAvailable: 30445356 kB Buffers: 213992 kB Cached: 920048 kB SwapCached: 0 kB Active: 1919588 kB Inactive: 834180 kB Active(anon): 1619828 kB Inactive(anon): 16764 kB Active(file): 299760 kB Inactive(file): 817416 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7888 kB Writeback: 4 kB AnonPages: 1618912 kB Mapped: 50248 kB Shmem: 17116 kB Slab: 122416 kB SReclaimable: 97032 kB SUnreclaim: 25384 kB KernelStack: 3568 kB PageTables: 8980 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2245616 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1490944 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62016 MiB End job on node128 at 2017-08-15 04:52:01