Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 151 | 20080.9 | 2520.1201 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml |
| MD5SUM | 5c46c59146557e02d06c9ff3e1746190 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 95 |
| Best CPU time to get the best result obtained on this benchmark | 20037.801 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1481 |
| Number of constraints | 777 |
| Number of domains | 75 |
| Minimum domain size | 2 |
| Maximum domain size | 75 |
| Distribution of domain sizes | [{"size":2,"count":742},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":33,"count":2}, {"size":34,"count":1}, {"size":35,"count":2}, {"size":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":1}, {"size":41,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 37 |
| Distribution of variable degrees | [{"degree":0,"count":666},{"degree":2,"count":777},{"degree":37,"count":38}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 38 |
| Distribution of constraint arities | [{"arity":2,"count":38},{"arity":3,"count":704},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 740 |
| Distribution of constraint types | [{"type":"intension","count":740},{"type":"sum","count":37}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280424-1503143224.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4280424-1503143224.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 3.84/1.26 c solve instance... 5.06/1.45 o 17575 5.06/1.46 o 14911 5.06/1.50 o 14775 5.77/1.50 o 12671 5.77/1.51 o 12535 5.77/1.51 o 12407 5.77/1.51 o 10823 5.77/1.52 o 10671 5.77/1.53 o 591 5.77/1.53 o 439 6.48/1.66 o 423 6.48/1.66 o 399 9.68/2.06 o 391 12.70/2.40 o 375 15.01/2.77 o 367 17.44/3.10 o 287 22.14/3.66 o 255 32.43/4.93 o 247 42.01/6.12 o 239 84.78/11.52 o 191 2373.76/298.49 o 175 3084.58/387.54 o 159 15180.48/1904.52 o 151 20080.05/2520.09 s SATISFIABLE 20080.05/2520.09 v <instantiation> 20080.05/2520.09 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[33][0] y[33][1] y[33][2] y[33][3] y[34][0] y[34][1] y[34][2] y[35][0] y[35][1] y[36][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] </list> 20080.05/2520.09 v <values>-1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 2 -1 0 -1 0 3 2 1 -2 -1 -4 -1 -2 -3 -2 1 4 -1 -2 1 0 5 0 3 -2 3 0 1 0 -1 -2 -1 -2 3 0 -1 1 4 1 0 1 0 9 4 1 4 1 16 1 4 9 4 1 16 1 4 1 0 25 0 9 4 9 0 1 0 1 4 1 4 9 0 1 </values> 20080.05/2520.09 v </instantiation> 20080.05/2520.09 c Unexpected resolution interruption!
OK 151
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 (11941 MiB free)
memory of node 1: 16384 MiB (12142 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280424-1503143224/watcher-4280424-1503143224 -o /tmp/evaluation-result-4280424-1503143224/solver-4280424-1503143224 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503142362-31829 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1171812674 HOME/instance-4280424-1503143224.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32051, runsolver pid=32048
Current StackSize limit: 8192 KiB
[startup+0.100161 s]*
/proc/loadavg: 7.59 8.10 8.22 2/200 32072
/proc/meminfo: memFree=24646584/32770624 swapFree=67108860/67108860
[pid=32051] ppid=32048 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32051/stat : 32051 (xcsp3-exec) S 32048 32051 31802 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147403145 9740288 346 33554432000 4194304 5098028 140735981880928 140735981879032 140031493857916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29224960 140735981888612 140735981888823 140735981888823 140735981891563 0
/proc/32051/statm: 2378 346 289 221 0 87 0
[pid=32053] ppid=32051 vsize=25999808 memory=26588 CPUtime=0.12 cores=0-7
/proc/32053/stat : 32053 (java) S 32051 32051 31802 0 -1 1077944320 5588 0 0 0 11 1 0 0 20 0 20 0 147403146 26623803392 6647 33554432000 4194304 4196468 140723608581200 140723608563744 140595507244791 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
/proc/32053/statm: 6499952 6647 2842 1 0 6488269 0
[pid=32053/tid=32054] ppid=32051 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/32053/task/32054/stat : 32054 (java) R 32051 32051 31802 0 -1 4202560 3592 0 0 0 8 0 0 0 20 0 20 0 147403146 26623803392 6647 33554432000 4194304 4196468 140723608581200 140595511478064 140595507256726 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32055] ppid=32051 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32055/stat : 32055 (java) S 32051 32051 31802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403147 26623803392 6647 33554432000 4194304 4196468 140723608581200 140595429825040 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32056] ppid=32051 vsize=25999808 memory=139806411277952 CPUtime=0 cores=0-7
/proc/32053/task/32056/stat : 32056 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403147 26623803392 6647 33554432000 4194304 4196468 140723608581200 140595428772496 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32057] ppid=32051 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32057/stat : 32057 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403147 26623803392 6647 33554432000 4194304 4196468 140723608581200 140595427719440 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32058] ppid=32051 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32058/stat : 32058 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403147 26623803392 6647 33554432000 4194304 4196468 140723608581200 140595426666896 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32059] ppid=32051 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32059/stat : 32059 (java) S 32051 32051 31802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403147 26623803392 6647 33554432000 4194304 4196468 140723608581200 140595425614864 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32060] ppid=32051 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32053/task/32060/stat : 32060 (java) S 32051 32051 31802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403147 26623803392 6647 33554432000 4194304 4196468 140723608581200 140595424562320 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32061] ppid=32051 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32061/stat : 32061 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403147 26623803392 6647 33554432000 4194304 4196468 140723608581200 140595423509264 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32062] ppid=32051 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32062/stat : 32062 (java) S 32051 32051 31802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147403147 26623803392 6647 33554432000 4194304 4196468 140723608581200 140595422456720 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32063] ppid=32051 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32063/stat : 32063 (java) S 32051 32051 31802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403148 26623803392 6647 33554432000 4194304 4196468 140723608581200 140594048014576 140595507255938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32064] ppid=32051 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32064/stat : 32064 (java) S 32051 32051 31802 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147403149 26623803392 6647 33554432000 4194304 4196468 140723608581200 140594046960800 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32065] ppid=32051 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32065/stat : 32065 (java) S 32051 32051 31802 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147403149 26623803392 6647 33554432000 4194304 4196468 140723608581200 140594045907696 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32066] ppid=32051 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32066/stat : 32066 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403151 26623803392 6647 33554432000 4194304 4196468 140723608581200 140594044856272 140595507263387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32067] ppid=32051 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32067/stat : 32067 (java) S 32051 32051 31802 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 147403151 26623803392 6647 33554432000 4194304 4196468 140723608581200 140594043804400 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32068] ppid=32051 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32068/stat : 32068 (java) S 32051 32051 31802 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 147403151 26623803392 6647 33554432000 4194304 4196468 140723608581200 140594042751856 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32069] ppid=32051 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32069/stat : 32069 (java) S 32051 32051 31802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147403152 26623803392 6647 33554432000 4194304 4196468 140723608581200 140594041698800 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32070] ppid=32051 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/32053/task/32070/stat : 32070 (java) R 32051 32051 31802 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 147403152 26623803392 6647 33554432000 4194304 4196468 140723608581200 140594040646256 140595485944992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32071] ppid=32051 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32071/stat : 32071 (java) S 32051 32051 31802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147403152 26623803392 6647 33554432000 4194304 4196468 140723608581200 140594039593440 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32072] ppid=32051 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32053/task/32072/stat : 32072 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403152 26623803392 6647 33554432000 4194304 4196468 140723608581200 140594038540976 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27972 KiB
[startup+0.210432 s]*
/proc/loadavg: 7.59 8.10 8.22 2/200 32072
/proc/meminfo: memFree=24635668/32770624 swapFree=67108860/67108860
[pid=32051] ppid=32048 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32051/stat : 32051 (xcsp3-exec) S 32048 32051 31802 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147403145 9740288 346 33554432000 4194304 5098028 140735981880928 140735981879032 140031493857916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29224960 140735981888612 140735981888823 140735981888823 140735981891563 0
/proc/32051/statm: 2378 346 289 221 0 87 0
[pid=32053] ppid=32051 vsize=26004064 memory=38940 CPUtime=0.33 cores=0-7
/proc/32053/stat : 32053 (java) S 32051 32051 31802 0 -1 1077944320 8324 0 0 0 31 2 0 0 20 0 20 0 147403146 26628161536 9735 33554432000 4194304 4196468 140723608581200 140723608563744 140595507244791 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
/proc/32053/statm: 6501016 9735 3065 1 0 6488269 0
[pid=32053/tid=32054] ppid=32051 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32053/task/32054/stat : 32054 (java) R 32051 32051 31802 0 -1 4202560 5421 0 0 0 18 1 0 0 20 0 20 0 147403146 26628161536 9735 33554432000 4194304 4196468 140723608581200 140595511458304 140595489133020 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32055] ppid=32051 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/32053/task/32055/stat : 32055 (java) S 32051 32051 31802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403147 26628161536 9735 33554432000 4194304 4196468 140723608581200 140595429825040 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32056] ppid=32051 vsize=26004064 memory=3544807210338961056 CPUtime=0 cores=0-7
/proc/32053/task/32056/stat : 32056 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403147 26628161536 9735 33554432000 4194304 4196468 140723608581200 140595428772496 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32057] ppid=32051 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32053/task/32057/stat : 32057 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403147 26628161536 9735 33554432000 4194304 4196468 140723608581200 140595427719440 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32058] ppid=32051 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32058/stat : 32058 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403147 26628161536 9735 33554432000 4194304 4196468 140723608581200 140595426666896 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32059] ppid=32051 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32059/stat : 32059 (java) S 32051 32051 31802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403147 26628161536 9735 33554432000 4194304 4196468 140723608581200 140595425614864 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32060] ppid=32051 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32053/task/32060/stat : 32060 (java) S 32051 32051 31802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403147 26628161536 9735 33554432000 4194304 4196468 140723608581200 140595424562320 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32061] ppid=32051 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32061/stat : 32061 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403147 26628161536 9735 33554432000 4194304 4196468 140723608581200 140595423509264 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32062] ppid=32051 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32062/stat : 32062 (java) S 32051 32051 31802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147403147 26628161536 9735 33554432000 4194304 4196468 140723608581200 140595422456720 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32063] ppid=32051 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32063/stat : 32063 (java) S 32051 32051 31802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403148 26628161536 9735 33554432000 4194304 4196468 140723608581200 140594048014576 140595507255938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32064] ppid=32051 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32064/stat : 32064 (java) S 32051 32051 31802 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147403149 26628161536 9735 33554432000 4194304 4196468 140723608581200 140594046960800 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32065] ppid=32051 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32065/stat : 32065 (java) S 32051 32051 31802 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147403149 26628161536 9735 33554432000 4194304 4196468 140723608581200 140594045907696 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32066] ppid=32051 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32066/stat : 32066 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403151 26628161536 9735 33554432000 4194304 4196468 140723608581200 140594044856272 140595507263387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32067] ppid=32051 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/32053/task/32067/stat : 32067 (java) S 32051 32051 31802 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 20 0 147403151 26628161536 9735 33554432000 4194304 4196468 140723608581200 140594043804400 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32068] ppid=32051 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/32053/task/32068/stat : 32068 (java) S 32051 32051 31802 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 147403151 26628161536 9735 33554432000 4194304 4196468 140723608581200 140594042751856 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32069] ppid=32051 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/32053/task/32069/stat : 32069 (java) S 32051 32051 31802 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 20 0 147403152 26628161536 9735 33554432000 4194304 4196468 140723608581200 140594041698800 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32070] ppid=32051 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/32053/task/32070/stat : 32070 (java) R 32051 32051 31802 0 -1 4202560 720 0 0 0 8 0 0 0 20 0 20 0 147403152 26628161536 9735 33554432000 4194304 4196468 140723608581200 140594040646256 140595507256726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32071] ppid=32051 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32071/stat : 32071 (java) S 32051 32051 31802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147403152 26628161536 9735 33554432000 4194304 4196468 140723608581200 140594039593440 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32072] ppid=32051 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32053/task/32072/stat : 32072 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403152 26628161536 9735 33554432000 4194304 4196468 140723608581200 140594038540976 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40324 KiB
[startup+0.310224 s]*
/proc/loadavg: 7.59 8.10 8.22 3/200 32072
/proc/meminfo: memFree=24631180/32770624 swapFree=67108860/67108860
[pid=32051] ppid=32048 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32051/stat : 32051 (xcsp3-exec) S 32048 32051 31802 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147403145 9740288 346 33554432000 4194304 5098028 140735981880928 140735981879032 140031493857916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29224960 140735981888612 140735981888823 140735981888823 140735981891563 0
/proc/32051/statm: 2378 346 289 221 0 87 0
[pid=32053] ppid=32051 vsize=26004064 memory=46176 CPUtime=0.5 cores=0-7
/proc/32053/stat : 32053 (java) S 32051 32051 31802 0 -1 1077944320 9198 0 0 0 47 3 0 0 20 0 20 0 147403146 26628161536 11544 33554432000 4194304 4196468 140723608581200 140723608563744 140595507244791 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
/proc/32053/statm: 6501016 11544 3113 1 0 6488269 0
[pid=32053/tid=32054] ppid=32051 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32053/task/32054/stat : 32054 (java) R 32051 32051 31802 0 -1 4202560 6100 0 0 0 27 2 0 0 20 0 20 0 147403146 26628161536 11544 33554432000 4194304 4196468 140723608581200 140595511483424 140595507266138 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32055] ppid=32051 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32055/stat : 32055 (java) S 32051 32051 31802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403147 26628161536 11544 33554432000 4194304 4196468 140723608581200 140595429825040 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32056] ppid=32051 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32056/stat : 32056 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403147 26628161536 11544 33554432000 4194304 4196468 140723608581200 140595428772496 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32057] ppid=32051 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32057/stat : 32057 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403147 26628161536 11544 33554432000 4194304 4196468 140723608581200 140595427719440 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32058] ppid=32051 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32058/stat : 32058 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403147 26628161536 11544 33554432000 4194304 4196468 140723608581200 140595426666896 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32059] ppid=32051 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/32053/task/32059/stat : 32059 (java) S 32051 32051 31802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403147 26628161536 11544 33554432000 4194304 4196468 140723608581200 140595425614864 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32060] ppid=32051 vsize=26004064 memory=139806285853615 CPUtime=0 cores=0-7
/proc/32053/task/32060/stat : 32060 (java) S 32051 32051 31802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403147 26628161536 11544 33554432000 4194304 4196468 140723608581200 140595424562320 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32061] ppid=32051 vsize=26004064 memory=139806285855920 CPUtime=0 cores=0-7
/proc/32053/task/32061/stat : 32061 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403147 26628161536 11544 33554432000 4194304 4196468 140723608581200 140595423509264 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32062] ppid=32051 vsize=26004064 memory=139806285858224 CPUtime=0 cores=0-7
/proc/32053/task/32062/stat : 32062 (java) S 32051 32051 31802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147403147 26628161536 11544 33554432000 4194304 4196468 140723608581200 140595422456720 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32063] ppid=32051 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32063/stat : 32063 (java) S 32051 32051 31802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403148 26628161536 11544 33554432000 4194304 4196468 140723608581200 140594048014576 140595507255938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32064] ppid=32051 vsize=26004064 memory=279612571723408 CPUtime=0 cores=0-7
/proc/32053/task/32064/stat : 32064 (java) S 32051 32051 31802 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147403149 26628161536 11544 33554432000 4194304 4196468 140723608581200 140594046960800 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32065] ppid=32051 vsize=26004064 memory=279612571730320 CPUtime=0 cores=0-7
/proc/32053/task/32065/stat : 32065 (java) S 32051 32051 31802 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147403149 26628161536 11544 33554432000 4194304 4196468 140723608581200 140594045907696 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32066] ppid=32051 vsize=26004064 memory=279612571671600 CPUtime=0 cores=0-7
/proc/32053/task/32066/stat : 32066 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403151 26628161536 11544 33554432000 4194304 4196468 140723608581200 140594044856272 140595507263387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32067] ppid=32051 vsize=26004064 memory=279612571744144 CPUtime=0.01 cores=0-7
/proc/32053/task/32067/stat : 32067 (java) R 32051 32051 31802 0 -1 4202560 401 0 0 0 1 0 0 0 20 0 20 0 147403151 26628161536 11544 33554432000 4194304 4196468 140723608581200 140594043804400 140595487880400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32068] ppid=32051 vsize=26004064 memory=279612571751056 CPUtime=0.03 cores=0-7
/proc/32053/task/32068/stat : 32068 (java) S 32051 32051 31802 0 -1 1077944384 401 0 0 0 3 0 0 0 20 0 20 0 147403151 26628161536 11544 33554432000 4194304 4196468 140723608581200 140594042751856 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32069] ppid=32051 vsize=26004064 memory=279612571748752 CPUtime=0.01 cores=0-7
/proc/32053/task/32069/stat : 32069 (java) S 32051 32051 31802 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 20 0 147403152 26628161536 11544 33554432000 4194304 4196468 140723608581200 140594041698800 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32070] ppid=32051 vsize=26004064 memory=279612571764912 CPUtime=0.13 cores=0-7
/proc/32053/task/32070/stat : 32070 (java) R 32051 32051 31802 0 -1 4202560 837 0 0 0 13 0 0 0 20 0 20 0 147403152 26628161536 11544 33554432000 4194304 4196468 140723608581200 140594040641936 140595486053744 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32071] ppid=32051 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32071/stat : 32071 (java) S 32051 32051 31802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147403152 26628161536 11544 33554432000 4194304 4196468 140723608581200 140594039593440 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32072] ppid=32051 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32053/task/32072/stat : 32072 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403152 26628161536 11544 33554432000 4194304 4196468 140723608581200 140594038540976 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47560 KiB
[startup+0.70094 s]
/proc/loadavg: 7.59 8.10 8.22 2/200 32072
/proc/meminfo: memFree=24614552/32770624 swapFree=67108860/67108860
[pid=32051] ppid=32048 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32051/stat : 32051 (xcsp3-exec) S 32048 32051 31802 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147403145 9740288 346 33554432000 4194304 5098028 140735981880928 140735981879032 140031493857916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29224960 140735981888612 140735981888823 140735981888823 140735981891563 0
/proc/32051/statm: 2378 346 289 221 0 87 0
[pid=32053] ppid=32051 vsize=26006188 memory=92160 CPUtime=1.68 cores=0-7
/proc/32053/stat : 32053 (java) S 32051 32051 31802 0 -1 1077944320 13118 0 0 0 163 5 0 0 20 0 20 0 147403146 26630336512 23040 33554432000 4194304 4196468 140723608581200 140723608563744 140595507244791 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
/proc/32053/statm: 6501547 23040 3206 1 0 6488781 0
[pid=32053/tid=32054] ppid=32051 vsize=26006188 memory=279612572122800 CPUtime=0.67 cores=0-7
/proc/32053/task/32054/stat : 32054 (java) R 32051 32051 31802 0 -1 4202560 6865 0 0 0 64 3 0 0 20 0 20 0 147403146 26630336512 23040 33554432000 4194304 4196468 140723608581200 140595511484512 140595507266717 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32055] ppid=32051 vsize=26006188 memory=139806286062448 CPUtime=0 cores=0-7
/proc/32053/task/32055/stat : 32055 (java) S 32051 32051 31802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403147 26630336512 23040 33554432000 4194304 4196468 140723608581200 140595429825040 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32056] ppid=32051 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/32053/task/32056/stat : 32056 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403147 26630336512 23040 33554432000 4194304 4196468 140723608581200 140595428772496 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32057] ppid=32051 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/32053/task/32057/stat : 32057 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403147 26630336512 23040 33554432000 4194304 4196468 140723608581200 140595427719440 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
################
# More data... #
################
[pid=32053/tid=32313] ppid=32051 vsize=26540748 memory=7811047591421305707 CPUtime=533.28 cores=0-7
/proc/32053/task/32313/stat : 32313 (java) R 32051 32051 31802 0 -1 4202560 6469 0 0 0 53326 2 0 0 20 0 28 0 147593599 27177725952 455270 33554432000 4194304 4196468 140723608581200 140594027372224 140595108088019 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
Current children cumulated CPU time: 19461.8 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 1822464 KiB
[startup+2502.3 s]
/proc/loadavg: 8.18 8.20 8.23 9/208 32321
/proc/meminfo: memFree=22854184/32770624 swapFree=67108860/67108860
[pid=32051] ppid=32048 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32051/stat : 32051 (xcsp3-exec) S 32048 32051 31802 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147403145 9740288 346 33554432000 4194304 5098028 140735981880928 140735981879032 140031493857916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29224960 140735981888612 140735981888823 140735981888823 140735981891563 0
/proc/32051/statm: 2378 346 289 221 0 87 0
[pid=32053] ppid=32051 vsize=26540748 memory=1816440 CPUtime=19939 cores=0-7
/proc/32053/stat : 32053 (java) S 32051 32051 31802 0 -1 1077944320 586946 0 0 0 1993445 453 0 0 20 0 28 0 147403146 27177725952 454110 33554432000 4194304 4196468 140723608581200 140723608563744 140595507244791 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
/proc/32053/statm: 6635187 454110 3292 1 0 6622421 0
[pid=32053/tid=32054] ppid=32051 vsize=26540748 memory=1817464 CPUtime=1.24 cores=0-7
/proc/32053/task/32054/stat : 32054 (java) S 32051 32051 31802 0 -1 1077944384 7855 0 0 0 120 4 0 0 20 0 28 0 147403146 27177725952 454110 33554432000 4194304 4196468 140723608581200 140595511485568 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32055] ppid=32051 vsize=26540748 memory=1817468 CPUtime=2.12 cores=0-7
/proc/32053/task/32055/stat : 32055 (java) S 32051 32051 31802 0 -1 1077944384 16941 0 0 0 200 12 0 0 20 0 28 0 147403147 27177725952 454110 33554432000 4194304 4196468 140723608581200 140595429825040 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32056] ppid=32051 vsize=26540748 memory=1816952 CPUtime=2.11 cores=0-7
/proc/32053/task/32056/stat : 32056 (java) S 32051 32051 31802 0 -1 1077944384 16572 0 0 0 198 13 0 0 20 0 28 0 147403147 27177725952 454110 33554432000 4194304 4196468 140723608581200 140595428772496 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32057] ppid=32051 vsize=26540748 memory=1384 CPUtime=2.09 cores=0-7
/proc/32053/task/32057/stat : 32057 (java) S 32051 32051 31802 0 -1 1077944384 18651 0 0 0 198 11 0 0 20 0 28 0 147403147 27177725952 454110 33554432000 4194304 4196468 140723608581200 140595427719440 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32058] ppid=32051 vsize=26540748 memory=0 CPUtime=2.11 cores=0-7
/proc/32053/task/32058/stat : 32058 (java) S 32051 32051 31802 0 -1 1077944384 16131 0 0 0 200 11 0 0 20 0 28 0 147403147 27177725952 454110 33554432000 4194304 4196468 140723608581200 140595426666896 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32059] ppid=32051 vsize=26540748 memory=23832 CPUtime=2.1 cores=0-7
/proc/32053/task/32059/stat : 32059 (java) S 32051 32051 31802 0 -1 1077944384 15501 0 0 0 199 11 0 0 20 0 28 0 147403147 27177725952 454110 33554432000 4194304 4196468 140723608581200 140595425614864 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32060] ppid=32051 vsize=26540748 memory=1819528 CPUtime=2.1 cores=0-7
/proc/32053/task/32060/stat : 32060 (java) S 32051 32051 31802 0 -1 1077944384 16915 0 0 0 198 12 0 0 20 0 28 0 147403147 27177725952 454110 33554432000 4194304 4196468 140723608581200 140595424562320 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32061] ppid=32051 vsize=26540748 memory=1384 CPUtime=2.14 cores=0-7
/proc/32053/task/32061/stat : 32061 (java) S 32051 32051 31802 0 -1 1077944384 18698 0 0 0 200 14 0 0 20 0 28 0 147403147 27177725952 454110 33554432000 4194304 4196468 140723608581200 140595423509264 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32062] ppid=32051 vsize=26540748 memory=1384 CPUtime=2.06 cores=0-7
/proc/32053/task/32062/stat : 32062 (java) S 32051 32051 31802 0 -1 1077944384 14393 0 0 0 194 12 0 0 20 0 28 0 147403147 27177725952 454110 33554432000 4194304 4196468 140723608581200 140595422456720 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32063] ppid=32051 vsize=26540748 memory=640 CPUtime=1.12 cores=0-7
/proc/32053/task/32063/stat : 32063 (java) S 32051 32051 31802 0 -1 1077944384 49995 0 0 0 78 34 0 0 20 0 28 0 147403148 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594048014576 140595507255938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32064] ppid=32051 vsize=26540748 memory=1796 CPUtime=0 cores=0-7
/proc/32053/task/32064/stat : 32064 (java) S 32051 32051 31802 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 147403149 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594046960864 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32065] ppid=32051 vsize=26540748 memory=1384 CPUtime=0 cores=0-7
/proc/32053/task/32065/stat : 32065 (java) S 32051 32051 31802 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 147403149 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594045907712 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32066] ppid=32051 vsize=26540748 memory=4144 CPUtime=0 cores=0-7
/proc/32053/task/32066/stat : 32066 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147403151 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594044856272 140595507263387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32067] ppid=32051 vsize=26540748 memory=275393303083638 CPUtime=3.41 cores=0-7
/proc/32053/task/32067/stat : 32067 (java) S 32051 32051 31802 0 -1 1077944384 21912 0 0 0 337 4 0 0 20 0 28 0 147403151 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594043804400 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32068] ppid=32051 vsize=26540748 memory=-2893728273633667923 CPUtime=3.6 cores=0-7
/proc/32053/task/32068/stat : 32068 (java) S 32051 32051 31802 0 -1 1077944384 24876 0 0 0 356 4 0 0 20 0 28 0 147403151 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594042751856 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32069] ppid=32051 vsize=26540748 memory=15876 CPUtime=3.11 cores=0-7
/proc/32053/task/32069/stat : 32069 (java) S 32051 32051 31802 0 -1 1077944384 20751 0 0 0 308 3 0 0 20 0 28 0 147403152 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594041698800 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32070] ppid=32051 vsize=26540748 memory=4052 CPUtime=1.07 cores=0-7
/proc/32053/task/32070/stat : 32070 (java) S 32051 32051 31802 0 -1 1077944384 18819 0 0 0 103 4 0 0 20 0 28 0 147403152 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594040646256 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32071] ppid=32051 vsize=26540748 memory=1384 CPUtime=0 cores=0-7
/proc/32053/task/32071/stat : 32071 (java) S 32051 32051 31802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147403152 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594039593440 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32072] ppid=32051 vsize=26540748 memory=1817464 CPUtime=0.9 cores=0-7
/proc/32053/task/32072/stat : 32072 (java) S 32051 32051 31802 0 -1 1077944384 5427 0 0 0 0 90 0 0 20 0 28 0 147403152 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594038540976 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32306] ppid=32051 vsize=26540748 memory=1384 CPUtime=592.37 cores=0-7
/proc/32053/task/32306/stat : 32306 (java) R 32051 32051 31802 0 -1 4202560 7742 0 0 0 59236 1 0 0 20 0 28 0 147593598 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594030532032 140595109258597 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32307] ppid=32051 vsize=26540748 memory=1384 CPUtime=593.94 cores=0-7
/proc/32053/task/32307/stat : 32307 (java) R 32051 32051 31802 0 -1 4202560 7150 0 0 0 59392 2 0 0 20 0 28 0 147593598 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594025267000 140595103756028 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32308] ppid=32051 vsize=26540748 memory=1384 CPUtime=593.12 cores=0-7
/proc/32053/task/32308/stat : 32308 (java) R 32051 32051 31802 0 -1 4202560 20951 0 0 0 59307 5 0 0 20 0 28 0 147593598 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594024214400 140595112211043 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32309] ppid=32051 vsize=26540748 memory=1817976 CPUtime=594.75 cores=0-7
/proc/32053/task/32309/stat : 32309 (java) R 32051 32051 31802 0 -1 4202560 30585 0 0 0 59450 25 0 0 20 0 28 0 147593598 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594026320072 140595107946345 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32310] ppid=32051 vsize=26540748 memory=1384 CPUtime=593.27 cores=0-7
/proc/32053/task/32310/stat : 32310 (java) R 32051 32051 31802 0 -1 4202560 10105 0 0 0 59324 3 0 0 20 0 28 0 147593598 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594029477976 140595107946261 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32311] ppid=32051 vsize=26540748 memory=1816956 CPUtime=594.11 cores=0-7
/proc/32053/task/32311/stat : 32311 (java) R 32051 32051 31802 0 -1 4202560 5978 0 0 0 59410 1 0 0 20 0 28 0 147593598 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594023161720 140595111882821 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32312] ppid=32051 vsize=26540748 memory=7452721085937115957 CPUtime=594.7 cores=0-7
/proc/32053/task/32312/stat : 32312 (java) R 32051 32051 31802 0 -1 4202560 23847 0 0 0 59459 11 0 0 20 0 28 0 147593598 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594028425048 140595108776113 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32313] ppid=32051 vsize=26540748 memory=1384 CPUtime=592.42 cores=0-7
/proc/32053/task/32313/stat : 32313 (java) R 32051 32051 31802 0 -1 4202560 7795 0 0 0 59240 2 0 0 20 0 28 0 147593599 27177725952 454110 33554432000 4194304 4196468 140723608581200 140594027372504 140595108269592 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
Current children cumulated CPU time: 19939 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 1817824 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.13 8.19 8.22 9/208 32321
/proc/meminfo: memFree=22855944/32770624 swapFree=67108860/67108860
[pid=32051] ppid=32048 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32051/stat : 32051 (xcsp3-exec) S 32048 32051 31802 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147403145 9740288 346 33554432000 4194304 5098028 140735981880928 140735981879032 140031493857916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29224960 140735981888612 140735981888823 140735981888823 140735981891563 0
/proc/32051/statm: 2378 346 289 221 0 87 0
[pid=32053] ppid=32051 vsize=26540748 memory=1814384 CPUtime=20080.1 cores=0-7
/proc/32053/stat : 32053 (java) S 32051 32051 31802 0 -1 1077944320 597618 0 0 0 2007548 457 0 0 20 0 28 0 147403146 27177725952 453596 33554432000 4194304 4196468 140723608581200 140723608563744 140595507244791 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
/proc/32053/statm: 6635187 453596 3292 1 0 6622421 0
[pid=32053/tid=32054] ppid=32051 vsize=26540748 memory=6791534058613427641 CPUtime=1.24 cores=0-7
/proc/32053/task/32054/stat : 32054 (java) S 32051 32051 31802 0 -1 1077944384 7855 0 0 0 120 4 0 0 20 0 28 0 147403146 27177725952 453596 33554432000 4194304 4196468 140723608581200 140595511485568 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32055] ppid=32051 vsize=26540748 memory=4126316290023845779 CPUtime=2.14 cores=0-7
/proc/32053/task/32055/stat : 32055 (java) S 32051 32051 31802 0 -1 1077944384 17151 0 0 0 202 12 0 0 20 0 28 0 147403147 27177725952 453596 33554432000 4194304 4196468 140723608581200 140595429825040 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32056] ppid=32051 vsize=26540748 memory=18472 CPUtime=2.13 cores=0-7
/proc/32053/task/32056/stat : 32056 (java) S 32051 32051 31802 0 -1 1077944384 17106 0 0 0 200 13 0 0 20 0 28 0 147403147 27177725952 453596 33554432000 4194304 4196468 140723608581200 140595428772496 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32057] ppid=32051 vsize=26540748 memory=640 CPUtime=2.11 cores=0-7
/proc/32053/task/32057/stat : 32057 (java) S 32051 32051 31802 0 -1 1077944384 19962 0 0 0 200 11 0 0 20 0 28 0 147403147 27177725952 453596 33554432000 4194304 4196468 140723608581200 140595427719440 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32058] ppid=32051 vsize=26540748 memory=1796 CPUtime=2.14 cores=0-7
/proc/32053/task/32058/stat : 32058 (java) S 32051 32051 31802 0 -1 1077944384 16787 0 0 0 202 12 0 0 20 0 28 0 147403147 27177725952 453596 33554432000 4194304 4196468 140723608581200 140595426666896 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32059] ppid=32051 vsize=26540748 memory=960 CPUtime=2.13 cores=0-7
/proc/32053/task/32059/stat : 32059 (java) S 32051 32051 31802 0 -1 1077944384 15729 0 0 0 202 11 0 0 20 0 28 0 147403147 27177725952 453596 33554432000 4194304 4196468 140723608581200 140595425614864 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32060] ppid=32051 vsize=26540748 memory=2244 CPUtime=2.12 cores=0-7
/proc/32053/task/32060/stat : 32060 (java) S 32051 32051 31802 0 -1 1077944384 17114 0 0 0 200 12 0 0 20 0 28 0 147403147 27177725952 453596 33554432000 4194304 4196468 140723608581200 140595424562320 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32061] ppid=32051 vsize=26540748 memory=4132 CPUtime=2.16 cores=0-7
/proc/32053/task/32061/stat : 32061 (java) S 32051 32051 31802 0 -1 1077944384 19150 0 0 0 202 14 0 0 20 0 28 0 147403147 27177725952 453596 33554432000 4194304 4196468 140723608581200 140595423509264 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32062] ppid=32051 vsize=26540748 memory=960 CPUtime=2.09 cores=0-7
/proc/32053/task/32062/stat : 32062 (java) S 32051 32051 31802 0 -1 1077944384 14579 0 0 0 196 13 0 0 20 0 28 0 147403147 27177725952 453596 33554432000 4194304 4196468 140723608581200 140595422456720 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32063] ppid=32051 vsize=26540748 memory=1232 CPUtime=1.13 cores=0-7
/proc/32053/task/32063/stat : 32063 (java) S 32051 32051 31802 0 -1 1077944384 51198 0 0 0 78 35 0 0 20 0 28 0 147403148 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594048014576 140595507255938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32064] ppid=32051 vsize=26540748 memory=2428 CPUtime=0 cores=0-7
/proc/32053/task/32064/stat : 32064 (java) S 32051 32051 31802 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 147403149 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594046960864 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32065] ppid=32051 vsize=26540748 memory=932 CPUtime=0 cores=0-7
/proc/32053/task/32065/stat : 32065 (java) S 32051 32051 31802 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 147403149 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594045907712 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32066] ppid=32051 vsize=26540748 memory=1580 CPUtime=0 cores=0-7
/proc/32053/task/32066/stat : 32066 (java) S 32051 32051 31802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147403151 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594044856272 140595507263387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32067] ppid=32051 vsize=26540748 memory=2244 CPUtime=3.41 cores=0-7
/proc/32053/task/32067/stat : 32067 (java) S 32051 32051 31802 0 -1 1077944384 21920 0 0 0 337 4 0 0 20 0 28 0 147403151 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594043804400 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32068] ppid=32051 vsize=26540748 memory=6791534058613427641 CPUtime=3.6 cores=0-7
/proc/32053/task/32068/stat : 32068 (java) S 32051 32051 31802 0 -1 1077944384 24884 0 0 0 356 4 0 0 20 0 28 0 147403151 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594042751856 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32069] ppid=32051 vsize=26540748 memory=2204 CPUtime=3.11 cores=0-7
/proc/32053/task/32069/stat : 32069 (java) S 32051 32051 31802 0 -1 1077944384 20759 0 0 0 308 3 0 0 20 0 28 0 147403152 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594041698800 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32070] ppid=32051 vsize=26540748 memory=6791534058613427641 CPUtime=1.07 cores=0-7
/proc/32053/task/32070/stat : 32070 (java) S 32051 32051 31802 0 -1 1077944384 18827 0 0 0 103 4 0 0 20 0 28 0 147403152 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594040646256 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32071] ppid=32051 vsize=26540748 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/32053/task/32071/stat : 32071 (java) S 32051 32051 31802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147403152 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594039593440 140595507254997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32072] ppid=32051 vsize=26540748 memory=13571517741015468 CPUtime=1.82 cores=0-7
/proc/32053/task/32072/stat : 32072 (java) S 32051 32051 31802 0 -1 1077944384 5495 0 0 0 91 91 0 0 20 0 28 0 147403152 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594038540976 140595507255938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32306] ppid=32051 vsize=26540748 memory=1944 CPUtime=609.81 cores=0-7
/proc/32053/task/32306/stat : 32306 (java) R 32051 32051 31802 0 -1 4202560 8083 0 0 0 60980 1 0 0 20 0 28 0 147593598 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594030529608 140595101259504 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32307] ppid=32051 vsize=26540748 memory=1200 CPUtime=611.59 cores=0-7
/proc/32053/task/32307/stat : 32307 (java) R 32051 32051 31802 0 -1 4202560 7314 0 0 0 61157 2 0 0 20 0 28 0 147593598 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594025267016 140595107945453 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32308] ppid=32051 vsize=26540748 memory=1424 CPUtime=610.76 cores=0-7
/proc/32053/task/32308/stat : 32308 (java) R 32051 32051 31802 0 -1 4202560 22043 0 0 0 61070 6 0 0 20 0 28 0 147593598 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594024214952 140595102904253 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32309] ppid=32051 vsize=26540748 memory=8596 CPUtime=612.42 cores=0-7
/proc/32053/task/32309/stat : 32309 (java) R 32051 32051 31802 0 -1 4202560 32296 0 0 0 61216 26 0 0 20 0 28 0 147593598 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594026323264 140595108912493 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32310] ppid=32051 vsize=26540748 memory=15876 CPUtime=610.81 cores=0-7
/proc/32053/task/32310/stat : 32310 (java) R 32051 32051 31802 0 -1 4202560 10626 0 0 0 61078 3 0 0 20 0 28 0 147593598 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594029477976 140595108088069 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32311] ppid=32051 vsize=26540748 memory=4052 CPUtime=611.71 cores=0-7
/proc/32053/task/32311/stat : 32311 (java) R 32051 32051 31802 0 -1 4202560 6236 0 0 0 61170 1 0 0 20 0 28 0 147593598 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594023162280 140595100460154 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32312] ppid=32051 vsize=26540748 memory=23832 CPUtime=612.36 cores=0-7
/proc/32053/task/32312/stat : 32312 (java) R 32051 32051 31802 0 -1 4202560 24905 0 0 0 61224 12 0 0 20 0 28 0 147593598 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594028424816 140595112211029 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
[pid=32053/tid=32313] ppid=32051 vsize=26540748 memory=18472 CPUtime=610.07 cores=0-7
/proc/32053/task/32313/stat : 32313 (java) R 32051 32051 31802 0 -1 4202560 8243 0 0 0 61005 2 0 0 20 0 28 0 147593599 27177725952 453596 33554432000 4194304 4196468 140723608581200 140594027372488 140595109140144 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 25665536 140723608589458 140723608589635 140723608589635 140723608592335 0
Current children cumulated CPU time: 20080.1 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 1815768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 32051 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000948 s, system=0.000948 s
[startup+2520.12 s]
# the end of solver process 32053 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20076.3 s, system=4.58583 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.12
CPU time (s): 20080.9
CPU user time (s): 20076.3
CPU system time (s): 4.58583
CPU usage (%): 796.821
Max. virtual memory (cumulated for all children) (KiB): 26550260
Max. memory (cumulated for all children) (KiB): 2190184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20076.3
system time used= 4.58583
maximum resident set size= 2190480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 598570
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126191
involuntary context switches= 206168
# summary of solver processes directly reported to runsolver:
# pid: 32051,32053
# total CPU time (s): 20080.9
# total CPU user time (s): 20076.3
# total CPU system time (s): 4.58583
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.5452 second user time and 28.8342 second system time
The end
Begin job on node151 at 2017-08-19 13:32:44 IDJOB=4280424 IDBENCH=127025 IDSOLVER=2675 FILE ID=node151/4280424-1503143224 RUNJOBID= node151-1503142362-31829 PBS_JOBID= 20630800 Free space on /tmp= 61804 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-038.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280424-1503143224/watcher-4280424-1503143224 -o /tmp/evaluation-result-4280424-1503143224/solver-4280424-1503143224 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503142362-31829 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1171812674 HOME/instance-4280424-1503143224.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5c46c59146557e02d06c9ff3e1746190 RANDOM SEED=1171812674 node151.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 : 5332.95 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 : 5332.95 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 : 5332.95 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 : 5332.95 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: 24663344 kB MemAvailable: 31975008 kB Buffers: 322104 kB Cached: 7281676 kB SwapCached: 0 kB Active: 1791624 kB Inactive: 5865044 kB Active(anon): 44664 kB Inactive(anon): 44332 kB Active(file): 1746960 kB Inactive(file): 5820712 kB Unevictable: 7576 kB Mlocked: 7576 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7872 kB Writeback: 0 kB AnonPages: 60312 kB Mapped: 51256 kB Shmem: 33416 kB Slab: 146108 kB SReclaimable: 119652 kB SUnreclaim: 26456 kB KernelStack: 3200 kB PageTables: 4688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332768 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61796 MiB End job on node151 at 2017-08-19 14:14:44