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-09) | SAT (TO) | 159 | 20088.801 | 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-4270614-1502737880.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4270614-1502737880.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 3.79/1.24 c solve instance... 5.12/1.41 o 17575 5.12/1.42 o 14911 5.12/1.47 o 14775 5.12/1.48 o 12671 5.12/1.48 o 12535 5.12/1.49 o 12407 5.12/1.49 o 10823 5.75/1.50 o 10671 5.75/1.50 o 591 6.21/1.64 o 439 6.81/1.74 o 423 6.81/1.75 o 399 8.76/2.02 o 391 10.90/2.35 o 375 11.71/2.46 o 367 13.17/2.64 o 335 23.97/4.02 o 311 36.52/5.67 o 287 68.46/9.70 o 263 76.79/10.82 o 239 110.95/15.16 o 231 269.95/35.14 o 215 489.61/62.72 o 167 9327.41/1170.54 o 159 20088.07/2520.09 s SATISFIABLE 20088.07/2520.09 v <instantiation> 20088.07/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> 20088.07/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 3 0 -1 0 -5 -2 -1 2 1 -2 1 0 1 2 -3 -2 -3 4 1 0 5 2 1 0 1 0 -1 0 3 2 3 -2 -1 0 1 1 4 9 0 1 0 25 4 1 4 1 4 1 0 1 4 9 4 9 16 1 0 25 4 1 0 1 0 1 0 9 4 9 4 1 0 1 </values> 20088.07/2520.09 v </instantiation> 20088.07/2520.09 c Unexpected resolution interruption!
OK 159
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 (15207 MiB free)
memory of node 1: 16384 MiB (15539 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270614-1502737880/watcher-4270614-1502737880 -o /tmp/evaluation-result-4270614-1502737880/solver-4270614-1502737880 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502726364-14939 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1794449265 HOME/instance-4270614-1502737880.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
Current StackSize limit: 8192 KiB
solver pid=16252, runsolver pid=16249
[startup+0.100138 s]*
/proc/loadavg: 8.08 7.97 7.57 2/199 16273
/proc/meminfo: memFree=31470156/32770624 swapFree=67108860/67108860
[pid=16252] ppid=16249 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16252/stat : 16252 (xcsp3-exec) S 16249 16252 14912 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106875627 9740288 346 33554432000 4194304 5098028 140723756782576 140723756780680 140124140130940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15814656 140723756786788 140723756786999 140723756786999 140723756789739 0
/proc/16252/statm: 2378 346 289 221 0 87 0
[pid=16254] ppid=16252 vsize=25999808 memory=26376 CPUtime=0.12 cores=0-7
/proc/16254/stat : 16254 (java) S 16252 16252 14912 0 -1 1077944320 5478 0 0 0 11 1 0 0 20 0 20 0 106875627 26623803392 6594 33554432000 4194304 4196468 140722635883600 140722635866144 140463420137207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
/proc/16254/statm: 6499952 6594 2865 1 0 6488269 0
[pid=16254/tid=16255] ppid=16252 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/16254/task/16255/stat : 16255 (java) R 16252 16252 14912 0 -1 4202560 3485 0 0 0 8 0 0 0 20 0 20 0 106875628 26623803392 6594 33554432000 4194304 4196468 140722635883600 140463424370480 140463420149142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16256] ppid=16252 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16254/task/16256/stat : 16256 (java) S 16252 16252 14912 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106875629 26623803392 6594 33554432000 4194304 4196468 140722635883600 140463372757392 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16257] ppid=16252 vsize=25999808 memory=140594411910784 CPUtime=0 cores=0-7
/proc/16254/task/16257/stat : 16257 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875629 26623803392 6594 33554432000 4194304 4196468 140722635883600 140463371704592 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16258] ppid=16252 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16258/stat : 16258 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875629 26623803392 6594 33554432000 4194304 4196468 140722635883600 140463370652304 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16259] ppid=16252 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16259/stat : 16259 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875629 26623803392 6594 33554432000 4194304 4196468 140722635883600 140463369599504 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16260] ppid=16252 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16260/stat : 16260 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875629 26623803392 6594 33554432000 4194304 4196468 140722635883600 140463368547216 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16261] ppid=16252 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16254/task/16261/stat : 16261 (java) S 16252 16252 14912 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106875629 26623803392 6594 33554432000 4194304 4196468 140722635883600 140463367494416 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16262] ppid=16252 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16262/stat : 16262 (java) S 16252 16252 14912 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106875629 26623803392 6594 33554432000 4194304 4196468 140722635883600 140463366442128 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16263] ppid=16252 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16263/stat : 16263 (java) S 16252 16252 14912 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106875629 26623803392 6594 33554432000 4194304 4196468 140722635883600 140463365389328 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16264] ppid=16252 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16264/stat : 16264 (java) S 16252 16252 14912 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106875630 26623803392 6594 33554432000 4194304 4196468 140722635883600 140462162233456 140463420148354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16265] ppid=16252 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16265/stat : 16265 (java) S 16252 16252 14912 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106875630 26623803392 6594 33554432000 4194304 4196468 140722635883600 140462161179424 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16266] ppid=16252 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16266/stat : 16266 (java) S 16252 16252 14912 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106875631 26623803392 6594 33554432000 4194304 4196468 140722635883600 140462160127088 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16267] ppid=16252 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16267/stat : 16267 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875633 26623803392 6594 33554432000 4194304 4196468 140722635883600 140462159075408 140463420155803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16268] ppid=16252 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16268/stat : 16268 (java) S 16252 16252 14912 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 20 0 106875633 26623803392 6594 33554432000 4194304 4196468 140722635883600 140462158023280 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16269] ppid=16252 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16269/stat : 16269 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875633 26623803392 6594 33554432000 4194304 4196468 140722635883600 140462156970480 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16270] ppid=16252 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16270/stat : 16270 (java) R 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875633 26623803392 6594 33554432000 4194304 4196468 140722635883600 140462155918192 140463420148354 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16271] ppid=16252 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/16254/task/16271/stat : 16271 (java) S 16252 16252 14912 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 20 0 106875633 26623803392 6594 33554432000 4194304 4196468 140722635883600 140462154865392 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16272] ppid=16252 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16272/stat : 16272 (java) S 16252 16252 14912 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106875633 26623803392 6594 33554432000 4194304 4196468 140722635883600 140462153812320 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16273] ppid=16252 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16254/task/16273/stat : 16273 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875634 26623803392 6594 33554432000 4194304 4196468 140722635883600 140462152759600 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27760 KiB
[startup+0.210501 s]*
/proc/loadavg: 8.08 7.97 7.57 2/199 16273
/proc/meminfo: memFree=31458356/32770624 swapFree=67108860/67108860
[pid=16252] ppid=16249 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16252/stat : 16252 (xcsp3-exec) S 16249 16252 14912 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106875627 9740288 346 33554432000 4194304 5098028 140723756782576 140723756780680 140124140130940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15814656 140723756786788 140723756786999 140723756786999 140723756789739 0
/proc/16252/statm: 2378 346 289 221 0 87 0
[pid=16254] ppid=16252 vsize=26004064 memory=38884 CPUtime=0.33 cores=0-7
/proc/16254/stat : 16254 (java) S 16252 16252 14912 0 -1 1077944320 8394 0 0 0 31 2 0 0 20 0 20 0 106875627 26628161536 9721 33554432000 4194304 4196468 140722635883600 140722635866144 140463420137207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
/proc/16254/statm: 6501016 9721 3041 1 0 6488269 0
[pid=16254/tid=16255] ppid=16252 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16254/task/16255/stat : 16255 (java) D 16252 16252 14912 0 -1 1077944384 5452 0 0 0 19 1 0 0 20 0 20 0 106875628 26628161536 9721 33554432000 4194304 4196468 140722635883600 140463424338928 140463412816429 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16256] ppid=16252 vsize=26004064 memory=328 CPUtime=0 cores=0-7
/proc/16254/task/16256/stat : 16256 (java) S 16252 16252 14912 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106875629 26628161536 9721 33554432000 4194304 4196468 140722635883600 140463372757392 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16257] ppid=16252 vsize=26004064 memory=288370970563622528 CPUtime=0 cores=0-7
/proc/16254/task/16257/stat : 16257 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875629 26628161536 9721 33554432000 4194304 4196468 140722635883600 140463371704592 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16258] ppid=16252 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/16254/task/16258/stat : 16258 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875629 26628194304 9721 33554432000 4194304 4196468 140722635883600 140463370652304 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16259] ppid=16252 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16259/stat : 16259 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875629 26628194304 9721 33554432000 4194304 4196468 140722635883600 140463369599504 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16260] ppid=16252 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16260/stat : 16260 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875629 26628161536 9721 33554432000 4194304 4196468 140722635883600 140463368547216 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16261] ppid=16252 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16254/task/16261/stat : 16261 (java) S 16252 16252 14912 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106875629 26628161536 9721 33554432000 4194304 4196468 140722635883600 140463367494416 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16262] ppid=16252 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16262/stat : 16262 (java) S 16252 16252 14912 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106875629 26628161536 9721 33554432000 4194304 4196468 140722635883600 140463366442128 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16263] ppid=16252 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16263/stat : 16263 (java) S 16252 16252 14912 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106875629 26628161536 9721 33554432000 4194304 4196468 140722635883600 140463365389328 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16264] ppid=16252 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16264/stat : 16264 (java) S 16252 16252 14912 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106875630 26628161536 9721 33554432000 4194304 4196468 140722635883600 140462162233456 140463420148354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16265] ppid=16252 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16265/stat : 16265 (java) S 16252 16252 14912 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106875630 26628161536 9721 33554432000 4194304 4196468 140722635883600 140462161179424 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16266] ppid=16252 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16266/stat : 16266 (java) S 16252 16252 14912 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106875631 26628194304 9721 33554432000 4194304 4196468 140722635883600 140462160127088 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16267] ppid=16252 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16267/stat : 16267 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875633 26628161536 9721 33554432000 4194304 4196468 140722635883600 140462159075408 140463420155803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16268] ppid=16252 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/16254/task/16268/stat : 16268 (java) S 16252 16252 14912 0 -1 1077944384 720 0 0 0 2 0 0 0 20 0 20 0 106875633 26628161536 9721 33554432000 4194304 4196468 140722635883600 140462158023280 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16269] ppid=16252 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/16254/task/16269/stat : 16269 (java) S 16252 16252 14912 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 106875633 26628161536 9721 33554432000 4194304 4196468 140722635883600 140462156970480 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16270] ppid=16252 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16254/task/16270/stat : 16270 (java) S 16252 16252 14912 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 106875633 26628161536 9721 33554432000 4194304 4196468 140722635883600 140462155918192 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16271] ppid=16252 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/16254/task/16271/stat : 16271 (java) S 16252 16252 14912 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 20 0 106875633 26628161536 9721 33554432000 4194304 4196468 140722635883600 140462154865392 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16272] ppid=16252 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16272/stat : 16272 (java) S 16252 16252 14912 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106875633 26628161536 9721 33554432000 4194304 4196468 140722635883600 140462153812320 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16273] ppid=16252 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/16254/task/16273/stat : 16273 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875634 26628194304 9721 33554432000 4194304 4196468 140722635883600 140462152759600 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40268 KiB
[startup+0.310476 s]*
/proc/loadavg: 8.08 7.97 7.57 4/199 16273
/proc/meminfo: memFree=31453580/32770624 swapFree=67108860/67108860
[pid=16252] ppid=16249 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16252/stat : 16252 (xcsp3-exec) S 16249 16252 14912 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106875627 9740288 346 33554432000 4194304 5098028 140723756782576 140723756780680 140124140130940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15814656 140723756786788 140723756786999 140723756786999 140723756789739 0
/proc/16252/statm: 2378 346 289 221 0 87 0
[pid=16254] ppid=16252 vsize=26004064 memory=46012 CPUtime=0.5 cores=0-7
/proc/16254/stat : 16254 (java) S 16252 16252 14912 0 -1 1077944320 9219 0 0 0 47 3 0 0 20 0 20 0 106875627 26628161536 11503 33554432000 4194304 4196468 140722635883600 140722635866144 140463420137207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
/proc/16254/statm: 6501016 11503 3101 1 0 6488269 0
[pid=16254/tid=16255] ppid=16252 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16254/task/16255/stat : 16255 (java) R 16252 16252 14912 0 -1 4202560 6068 0 0 0 28 1 0 0 20 0 20 0 106875628 26628161536 11503 33554432000 4194304 4196468 140722635883600 140463424374960 140463420149142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16256] ppid=16252 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16256/stat : 16256 (java) S 16252 16252 14912 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106875629 26628161536 11503 33554432000 4194304 4196468 140722635883600 140463372757392 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16257] ppid=16252 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16257/stat : 16257 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875629 26628161536 11503 33554432000 4194304 4196468 140722635883600 140463371704592 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16258] ppid=16252 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16258/stat : 16258 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875629 26628161536 11503 33554432000 4194304 4196468 140722635883600 140463370652304 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16259] ppid=16252 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16259/stat : 16259 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875629 26628161536 11503 33554432000 4194304 4196468 140722635883600 140463369599504 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16260] ppid=16252 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/16254/task/16260/stat : 16260 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875629 26628161536 11503 33554432000 4194304 4196468 140722635883600 140463368547216 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16261] ppid=16252 vsize=26004064 memory=140594278134703 CPUtime=0 cores=0-7
/proc/16254/task/16261/stat : 16261 (java) S 16252 16252 14912 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106875629 26628161536 11503 33554432000 4194304 4196468 140722635883600 140463367494416 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16262] ppid=16252 vsize=26004064 memory=140594278137008 CPUtime=0 cores=0-7
/proc/16254/task/16262/stat : 16262 (java) S 16252 16252 14912 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106875629 26628161536 11503 33554432000 4194304 4196468 140722635883600 140463366442128 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16263] ppid=16252 vsize=26004064 memory=140594278139312 CPUtime=0 cores=0-7
/proc/16254/task/16263/stat : 16263 (java) S 16252 16252 14912 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106875629 26628161536 11503 33554432000 4194304 4196468 140722635883600 140463365389328 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16264] ppid=16252 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16264/stat : 16264 (java) S 16252 16252 14912 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106875630 26628161536 11503 33554432000 4194304 4196468 140722635883600 140462162233456 140463420148354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16265] ppid=16252 vsize=26004064 memory=281188556285584 CPUtime=0 cores=0-7
/proc/16254/task/16265/stat : 16265 (java) S 16252 16252 14912 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106875630 26628161536 11503 33554432000 4194304 4196468 140722635883600 140462161179424 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16266] ppid=16252 vsize=26004064 memory=281188556292496 CPUtime=0 cores=0-7
/proc/16254/task/16266/stat : 16266 (java) S 16252 16252 14912 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106875631 26628161536 11503 33554432000 4194304 4196468 140722635883600 140462160127088 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16267] ppid=16252 vsize=26004064 memory=281188556233776 CPUtime=0 cores=0-7
/proc/16254/task/16267/stat : 16267 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875633 26628161536 11503 33554432000 4194304 4196468 140722635883600 140462159075408 140463420155803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16268] ppid=16252 vsize=26004064 memory=281188556306320 CPUtime=0.02 cores=0-7
/proc/16254/task/16268/stat : 16268 (java) S 16252 16252 14912 0 -1 1077944384 740 0 0 0 2 0 0 0 20 0 20 0 106875633 26628161536 11503 33554432000 4194304 4196468 140722635883600 140462158023280 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16269] ppid=16252 vsize=26004064 memory=281188556313232 CPUtime=0.01 cores=0-7
/proc/16254/task/16269/stat : 16269 (java) R 16252 16252 14912 0 -1 4202560 102 0 0 0 1 0 0 0 20 0 20 0 106875633 26628161536 11503 33554432000 4194304 4196468 140722635883600 140462156970480 140463398159858 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16270] ppid=16252 vsize=26004064 memory=281188556310928 CPUtime=0.01 cores=0-7
/proc/16254/task/16270/stat : 16270 (java) R 16252 16252 14912 0 -1 4202560 126 0 0 0 1 0 0 0 20 0 20 0 106875633 26628161536 11503 33554432000 4194304 4196468 140722635883600 140462155908112 140463399854343 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16271] ppid=16252 vsize=26004064 memory=281188556327088 CPUtime=0.13 cores=0-7
/proc/16254/task/16271/stat : 16271 (java) R 16252 16252 14912 0 -1 4202560 877 0 0 0 13 0 0 0 20 0 20 0 106875633 26628161536 11503 33554432000 4194304 4196468 140722635883600 140462154861760 140463401547357 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16272] ppid=16252 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16272/stat : 16272 (java) S 16252 16252 14912 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106875633 26628161536 11503 33554432000 4194304 4196468 140722635883600 140462153812320 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16273] ppid=16252 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16254/task/16273/stat : 16273 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875634 26628161536 11503 33554432000 4194304 4196468 140722635883600 140462152759600 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47396 KiB
[startup+0.700975 s]
/proc/loadavg: 8.08 7.97 7.57 2/199 16273
/proc/meminfo: memFree=31437844/32770624 swapFree=67108860/67108860
[pid=16252] ppid=16249 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16252/stat : 16252 (xcsp3-exec) S 16249 16252 14912 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106875627 9740288 346 33554432000 4194304 5098028 140723756782576 140723756780680 140124140130940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15814656 140723756786788 140723756786999 140723756786999 140723756789739 0
/proc/16252/statm: 2378 346 289 221 0 87 0
[pid=16254] ppid=16252 vsize=26006188 memory=94104 CPUtime=1.66 cores=0-7
/proc/16254/stat : 16254 (java) S 16252 16252 14912 0 -1 1077944320 13112 0 0 0 160 6 0 0 20 0 20 0 106875627 26630336512 23526 33554432000 4194304 4196468 140722635883600 140722635866144 140463420137207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
/proc/16254/statm: 6501547 23526 3206 1 0 6488781 0
[pid=16254/tid=16255] ppid=16252 vsize=26006188 memory=281188556684976 CPUtime=0.67 cores=0-7
/proc/16254/task/16255/stat : 16255 (java) R 16252 16252 14912 0 -1 4202560 6843 0 0 0 65 2 0 0 20 0 20 0 106875628 26630336512 23526 33554432000 4194304 4196468 140722635883600 140463424376656 140463420158554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16256] ppid=16252 vsize=26006188 memory=140594278343536 CPUtime=0 cores=0-7
/proc/16254/task/16256/stat : 16256 (java) S 16252 16252 14912 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106875629 26630336512 23526 33554432000 4194304 4196468 140722635883600 140463372757392 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16257] ppid=16252 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/16254/task/16257/stat : 16257 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875629 26630336512 23526 33554432000 4194304 4196468 140722635883600 140463371704592 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16258] ppid=16252 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/16254/task/16258/stat : 16258 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106875629 26630336512 23526 33554432000 4194304 4196468 140722635883600 140463370652304 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
################
# More data... #
################
[pid=16254/tid=16513] ppid=16252 vsize=26541776 memory=1833580 CPUtime=1264.88 cores=0-7
/proc/16254/task/16513/stat : 16513 (java) R 16252 16252 14912 0 -1 4202560 19171 0 0 0 126465 23 0 0 20 0 28 0 106992682 27178778624 458522 33554432000 4194304 4196468 140722635883600 140461934083880 140463037928012 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
Current children cumulated CPU time: 19469.6 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 1835472 KiB
[startup+2502.3 s]
/proc/loadavg: 8.54 8.33 8.21 9/207 16531
/proc/meminfo: memFree=29663928/32770624 swapFree=67108860/67108860
[pid=16252] ppid=16249 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16252/stat : 16252 (xcsp3-exec) S 16249 16252 14912 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106875627 9740288 346 33554432000 4194304 5098028 140723756782576 140723756780680 140124140130940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15814656 140723756786788 140723756786999 140723756786999 140723756789739 0
/proc/16252/statm: 2378 346 289 221 0 87 0
[pid=16254] ppid=16252 vsize=26541776 memory=1829972 CPUtime=19947.1 cores=0-7
/proc/16254/stat : 16254 (java) S 16252 16252 14912 0 -1 1077944320 333719 0 0 0 1994427 280 0 0 20 0 28 0 106875627 27178778624 457493 33554432000 4194304 4196468 140722635883600 140722635866144 140463420137207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
/proc/16254/statm: 6635444 457493 3290 1 0 6622678 0
[pid=16254/tid=16255] ppid=16252 vsize=26541776 memory=1830996 CPUtime=1.25 cores=0-7
/proc/16254/task/16255/stat : 16255 (java) S 16252 16252 14912 0 -1 1077944384 8120 0 0 0 120 5 0 0 20 0 28 0 106875628 27178778624 457493 33554432000 4194304 4196468 140722635883600 140463424377984 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16256] ppid=16252 vsize=26541776 memory=1384 CPUtime=0.68 cores=0-7
/proc/16254/task/16256/stat : 16256 (java) S 16252 16252 14912 0 -1 1077944384 7507 0 0 0 62 6 0 0 20 0 28 0 106875629 27178778624 457493 33554432000 4194304 4196468 140722635883600 140463372757392 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16257] ppid=16252 vsize=26541776 memory=1384 CPUtime=0.69 cores=0-7
/proc/16254/task/16257/stat : 16257 (java) S 16252 16252 14912 0 -1 1077944384 6271 0 0 0 62 7 0 0 20 0 28 0 106875629 27178778624 457493 33554432000 4194304 4196468 140722635883600 140463371704592 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16258] ppid=16252 vsize=26541776 memory=1832032 CPUtime=0.7 cores=0-7
/proc/16254/task/16258/stat : 16258 (java) S 16252 16252 14912 0 -1 1077944384 4521 0 0 0 63 7 0 0 20 0 28 0 106875629 27178778624 457493 33554432000 4194304 4196468 140722635883600 140463370652304 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16259] ppid=16252 vsize=26541776 memory=1837704 CPUtime=0.67 cores=0-7
/proc/16254/task/16259/stat : 16259 (java) S 16252 16252 14912 0 -1 1077944384 5340 0 0 0 60 7 0 0 20 0 28 0 106875629 27178778624 457493 33554432000 4194304 4196468 140722635883600 140463369599504 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16260] ppid=16252 vsize=26541776 memory=0 CPUtime=0.66 cores=0-7
/proc/16254/task/16260/stat : 16260 (java) S 16252 16252 14912 0 -1 1077944384 5187 0 0 0 60 6 0 0 20 0 28 0 106875629 27178778624 457493 33554432000 4194304 4196468 140722635883600 140463368547216 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16261] ppid=16252 vsize=26541776 memory=1384 CPUtime=0.65 cores=0-7
/proc/16254/task/16261/stat : 16261 (java) S 16252 16252 14912 0 -1 1077944384 5582 0 0 0 59 6 0 0 20 0 28 0 106875629 27178778624 457493 33554432000 4194304 4196468 140722635883600 140463367494416 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16262] ppid=16252 vsize=26541776 memory=1830484 CPUtime=0.66 cores=0-7
/proc/16254/task/16262/stat : 16262 (java) S 16252 16252 14912 0 -1 1077944384 4933 0 0 0 61 5 0 0 20 0 28 0 106875629 27178778624 457493 33554432000 4194304 4196468 140722635883600 140463366442128 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16263] ppid=16252 vsize=26541776 memory=1004 CPUtime=0.67 cores=0-7
/proc/16254/task/16263/stat : 16263 (java) S 16252 16252 14912 0 -1 1077944384 5178 0 0 0 60 7 0 0 20 0 28 0 106875629 27178778624 457493 33554432000 4194304 4196468 140722635883600 140463365389328 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16264] ppid=16252 vsize=26541776 memory=1200 CPUtime=0.38 cores=0-7
/proc/16254/task/16264/stat : 16264 (java) S 16252 16252 14912 0 -1 1077944384 20120 0 0 0 25 13 0 0 20 0 28 0 106875630 27178778624 457493 33554432000 4194304 4196468 140722635883600 140462162233456 140463420148354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16265] ppid=16252 vsize=26541776 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/16254/task/16265/stat : 16265 (java) S 16252 16252 14912 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 106875630 27178778624 457493 33554432000 4194304 4196468 140722635883600 140462161179488 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16266] ppid=16252 vsize=26541776 memory=1796 CPUtime=0 cores=0-7
/proc/16254/task/16266/stat : 16266 (java) S 16252 16252 14912 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 106875631 27178778624 457493 33554432000 4194304 4196468 140722635883600 140462160127104 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16267] ppid=16252 vsize=26541776 memory=1948 CPUtime=0 cores=0-7
/proc/16254/task/16267/stat : 16267 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 106875633 27178778624 457493 33554432000 4194304 4196468 140722635883600 140462159075408 140463420155803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16268] ppid=16252 vsize=26541776 memory=800 CPUtime=2.99 cores=0-7
/proc/16254/task/16268/stat : 16268 (java) S 16252 16252 14912 0 -1 1077944384 27017 0 0 0 294 5 0 0 20 0 28 0 106875633 27178778624 457493 33554432000 4194304 4196468 140722635883600 140462158023280 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16269] ppid=16252 vsize=26541776 memory=1384 CPUtime=3.07 cores=0-7
/proc/16254/task/16269/stat : 16269 (java) S 16252 16252 14912 0 -1 1077944384 25478 0 0 0 302 5 0 0 20 0 28 0 106875633 27178778624 457493 33554432000 4194304 4196468 140722635883600 140462156970480 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16270] ppid=16252 vsize=26541776 memory=1384 CPUtime=3.3 cores=0-7
/proc/16254/task/16270/stat : 16270 (java) S 16252 16252 14912 0 -1 1077944384 20384 0 0 0 325 5 0 0 20 0 28 0 106875633 27178778624 457493 33554432000 4194304 4196468 140722635883600 140462155918192 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16271] ppid=16252 vsize=26541776 memory=1384 CPUtime=1.05 cores=0-7
/proc/16254/task/16271/stat : 16271 (java) S 16252 16252 14912 0 -1 1077944384 15442 0 0 0 103 2 0 0 20 0 28 0 106875633 27178778624 457493 33554432000 4194304 4196468 140722635883600 140462154865392 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16272] ppid=16252 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/16254/task/16272/stat : 16272 (java) S 16252 16252 14912 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106875633 27178778624 457493 33554432000 4194304 4196468 140722635883600 140462153812320 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16273] ppid=16252 vsize=26541776 memory=1384 CPUtime=0.91 cores=0-7
/proc/16254/task/16273/stat : 16273 (java) S 16252 16252 14912 0 -1 1077944384 4475 0 0 0 61 30 0 0 20 0 28 0 106875634 27178778624 457493 33554432000 4194304 4196468 140722635883600 140462152759600 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16506] ppid=16252 vsize=26541776 memory=1384 CPUtime=1324.28 cores=0-7
/proc/16254/task/16506/stat : 16506 (java) R 16252 16252 14912 0 -1 4202560 7585 0 0 0 132426 2 0 0 20 0 28 0 106992682 27178778624 457493 33554432000 4194304 4196468 140722635883600 140461937241352 140463034558300 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16507] ppid=16252 vsize=26541776 memory=1384 CPUtime=1328.63 cores=0-7
/proc/16254/task/16507/stat : 16507 (java) R 16252 16252 14912 0 -1 4202560 7921 0 0 0 132859 4 0 0 20 0 28 0 106992682 27178778624 457493 33554432000 4194304 4196468 140722635883600 140462144749704 140463033545478 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16508] ppid=16252 vsize=26541776 memory=1829976 CPUtime=1327.98 cores=0-7
/proc/16254/task/16508/stat : 16508 (java) R 16252 16252 14912 0 -1 4202560 17249 0 0 0 132790 8 0 0 20 0 28 0 106992682 27178778624 457493 33554432000 4194304 4196468 140722635883600 140461938294992 140463038708916 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16509] ppid=16252 vsize=26541776 memory=1829972 CPUtime=1327.1 cores=0-7
/proc/16254/task/16509/stat : 16509 (java) R 16252 16252 14912 0 -1 4202560 10562 0 0 0 132701 9 0 0 20 0 28 0 106992682 27178778624 457493 33554432000 4194304 4196468 140722635883600 140461939350576 140463033933866 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16510] ppid=16252 vsize=26541776 memory=4100 CPUtime=1330.3 cores=0-7
/proc/16254/task/16510/stat : 16510 (java) R 16252 16252 14912 0 -1 4202560 9227 0 0 0 133024 6 0 0 20 0 28 0 106992682 27178778624 457493 33554432000 4194304 4196468 140722635883600 140461936190104 140463032389708 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16511] ppid=16252 vsize=26541776 memory=1830484 CPUtime=1323.76 cores=0-7
/proc/16254/task/16511/stat : 16511 (java) R 16252 16252 14912 0 -1 4202560 5580 0 0 0 132375 1 0 0 20 0 28 0 106992682 27178778624 457493 33554432000 4194304 4196468 140722635883600 140462142644760 140463032390116 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16512] ppid=16252 vsize=26541776 memory=1384 CPUtime=1328.27 cores=0-7
/proc/16254/task/16512/stat : 16512 (java) R 16252 16252 14912 0 -1 4202560 15863 0 0 0 132820 7 0 0 20 0 28 0 106992682 27178778624 457493 33554432000 4194304 4196468 140722635883600 140462143696288 140463038708916 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16513] ppid=16252 vsize=26541776 memory=1384 CPUtime=1324.21 cores=0-7
/proc/16254/task/16513/stat : 16513 (java) R 16252 16252 14912 0 -1 4202560 20648 0 0 0 132397 24 0 0 20 0 28 0 106992682 27178778624 457493 33554432000 4194304 4196468 140722635883600 140461934083480 140463040555268 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
Current children cumulated CPU time: 19947.1 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 1831356 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.39 8.31 8.21 9/207 16531
/proc/meminfo: memFree=29663892/32770624 swapFree=67108860/67108860
[pid=16252] ppid=16249 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16252/stat : 16252 (xcsp3-exec) S 16249 16252 14912 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106875627 9740288 346 33554432000 4194304 5098028 140723756782576 140723756780680 140124140130940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15814656 140723756786788 140723756786999 140723756786999 140723756789739 0
/proc/16252/statm: 2378 346 289 221 0 87 0
[pid=16254] ppid=16252 vsize=26541776 memory=1829968 CPUtime=20088.1 cores=0-7
/proc/16254/stat : 16254 (java) S 16252 16252 14912 0 -1 1077944320 336513 0 0 0 2008526 281 0 0 20 0 28 0 106875627 27178778624 457492 33554432000 4194304 4196468 140722635883600 140722635866144 140463420137207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
/proc/16254/statm: 6635444 457492 3290 1 0 6622678 0
[pid=16254/tid=16255] ppid=16252 vsize=26541776 memory=1398720917958146503 CPUtime=1.25 cores=0-7
/proc/16254/task/16255/stat : 16255 (java) S 16252 16252 14912 0 -1 1077944384 8120 0 0 0 120 5 0 0 20 0 28 0 106875628 27178778624 457492 33554432000 4194304 4196468 140722635883600 140463424377984 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16256] ppid=16252 vsize=26541776 memory=4872558044660077418 CPUtime=0.7 cores=0-7
/proc/16254/task/16256/stat : 16256 (java) S 16252 16252 14912 0 -1 1077944384 7606 0 0 0 64 6 0 0 20 0 28 0 106875629 27178778624 457492 33554432000 4194304 4196468 140722635883600 140463372757392 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16257] ppid=16252 vsize=26541776 memory=2240 CPUtime=0.72 cores=0-7
/proc/16254/task/16257/stat : 16257 (java) S 16252 16252 14912 0 -1 1077944384 6541 0 0 0 65 7 0 0 20 0 28 0 106875629 27178778624 457492 33554432000 4194304 4196468 140722635883600 140463371704592 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16258] ppid=16252 vsize=26541776 memory=4124 CPUtime=0.72 cores=0-7
/proc/16254/task/16258/stat : 16258 (java) S 16252 16252 14912 0 -1 1077944384 4602 0 0 0 65 7 0 0 20 0 28 0 106875629 27178778624 457492 33554432000 4194304 4196468 140722635883600 140463370652304 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16259] ppid=16252 vsize=26541776 memory=2196 CPUtime=0.69 cores=0-7
/proc/16254/task/16259/stat : 16259 (java) S 16252 16252 14912 0 -1 1077944384 5439 0 0 0 62 7 0 0 20 0 28 0 106875629 27178778624 457492 33554432000 4194304 4196468 140722635883600 140463369599504 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16260] ppid=16252 vsize=26541776 memory=6764 CPUtime=0.7 cores=0-7
/proc/16254/task/16260/stat : 16260 (java) S 16252 16252 14912 0 -1 1077944384 5231 0 0 0 63 7 0 0 20 0 28 0 106875629 27178778624 457492 33554432000 4194304 4196468 140722635883600 140463368547216 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16261] ppid=16252 vsize=26541776 memory=840 CPUtime=0.68 cores=0-7
/proc/16254/task/16261/stat : 16261 (java) S 16252 16252 14912 0 -1 1077944384 5610 0 0 0 62 6 0 0 20 0 28 0 106875629 27178778624 457492 33554432000 4194304 4196468 140722635883600 140463367494416 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16262] ppid=16252 vsize=26541776 memory=1696 CPUtime=0.68 cores=0-7
/proc/16254/task/16262/stat : 16262 (java) S 16252 16252 14912 0 -1 1077944384 5248 0 0 0 63 5 0 0 20 0 28 0 106875629 27178778624 457492 33554432000 4194304 4196468 140722635883600 140463366442128 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16263] ppid=16252 vsize=26541776 memory=920 CPUtime=0.69 cores=0-7
/proc/16254/task/16263/stat : 16263 (java) S 16252 16252 14912 0 -1 1077944384 5233 0 0 0 62 7 0 0 20 0 28 0 106875629 27178778624 457492 33554432000 4194304 4196468 140722635883600 140463365389328 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16264] ppid=16252 vsize=26541776 memory=4188 CPUtime=0.39 cores=0-7
/proc/16254/task/16264/stat : 16264 (java) S 16252 16252 14912 0 -1 1077944384 20515 0 0 0 26 13 0 0 20 0 28 0 106875630 27178778624 457492 33554432000 4194304 4196468 140722635883600 140462162233456 140463420148354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16265] ppid=16252 vsize=26541776 memory=1830484 CPUtime=0 cores=0-7
/proc/16254/task/16265/stat : 16265 (java) S 16252 16252 14912 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 106875630 27178778624 457492 33554432000 4194304 4196468 140722635883600 140462161179488 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16266] ppid=16252 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/16254/task/16266/stat : 16266 (java) S 16252 16252 14912 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 106875631 27178778624 457492 33554432000 4194304 4196468 140722635883600 140462160127104 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16267] ppid=16252 vsize=26541776 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/16254/task/16267/stat : 16267 (java) S 16252 16252 14912 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 106875633 27178778624 457492 33554432000 4194304 4196468 140722635883600 140462159075408 140463420155803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16268] ppid=16252 vsize=26541776 memory=2240 CPUtime=2.99 cores=0-7
/proc/16254/task/16268/stat : 16268 (java) S 16252 16252 14912 0 -1 1077944384 27021 0 0 0 294 5 0 0 20 0 28 0 106875633 27178778624 457492 33554432000 4194304 4196468 140722635883600 140462158023280 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16269] ppid=16252 vsize=26541776 memory=4124 CPUtime=3.07 cores=0-7
/proc/16254/task/16269/stat : 16269 (java) S 16252 16252 14912 0 -1 1077944384 25482 0 0 0 302 5 0 0 20 0 28 0 106875633 27178778624 457492 33554432000 4194304 4196468 140722635883600 140462156970480 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16270] ppid=16252 vsize=26541776 memory=2196 CPUtime=3.3 cores=0-7
/proc/16254/task/16270/stat : 16270 (java) S 16252 16252 14912 0 -1 1077944384 20388 0 0 0 325 5 0 0 20 0 28 0 106875633 27178778624 457492 33554432000 4194304 4196468 140722635883600 140462155918192 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16271] ppid=16252 vsize=26541776 memory=6764 CPUtime=1.05 cores=0-7
/proc/16254/task/16271/stat : 16271 (java) S 16252 16252 14912 0 -1 1077944384 15447 0 0 0 103 2 0 0 20 0 28 0 106875633 27178778624 457492 33554432000 4194304 4196468 140722635883600 140462154865392 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16272] ppid=16252 vsize=26541776 memory=840 CPUtime=0 cores=0-7
/proc/16254/task/16272/stat : 16272 (java) S 16252 16252 14912 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106875633 27178778624 457492 33554432000 4194304 4196468 140722635883600 140462153812320 140463420147413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16273] ppid=16252 vsize=26541776 memory=1696 CPUtime=0.91 cores=0-7
/proc/16254/task/16273/stat : 16273 (java) S 16252 16252 14912 0 -1 1077944384 4501 0 0 0 61 30 0 0 20 0 28 0 106875634 27178778624 457492 33554432000 4194304 4196468 140722635883600 140462152759600 140463420148354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16506] ppid=16252 vsize=26541776 memory=920 CPUtime=1341.84 cores=0-7
/proc/16254/task/16506/stat : 16506 (java) R 16252 16252 14912 0 -1 4202560 7692 0 0 0 134182 2 0 0 20 0 28 0 106992682 27178778624 457492 33554432000 4194304 4196468 140722635883600 140461937241352 140463034558139 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16507] ppid=16252 vsize=26541776 memory=1384 CPUtime=1346.15 cores=0-7
/proc/16254/task/16507/stat : 16507 (java) R 16252 16252 14912 0 -1 4202560 8078 0 0 0 134611 4 0 0 20 0 28 0 106992682 27178778624 457492 33554432000 4194304 4196468 140722635883600 140462144749592 140463040278958 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16508] ppid=16252 vsize=26541776 memory=1830480 CPUtime=1345.62 cores=0-7
/proc/16254/task/16508/stat : 16508 (java) R 16252 16252 14912 0 -1 4202560 17512 0 0 0 134554 8 0 0 20 0 28 0 106992682 27178778624 457492 33554432000 4194304 4196468 140722635883600 140461938297856 140463038708900 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16509] ppid=16252 vsize=26541776 memory=1384 CPUtime=1344.74 cores=0-7
/proc/16254/task/16509/stat : 16509 (java) R 16252 16252 14912 0 -1 4202560 10757 0 0 0 134465 9 0 0 20 0 28 0 106992682 27178778624 457492 33554432000 4194304 4196468 140722635883600 140461939347272 140463038070533 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16510] ppid=16252 vsize=26541776 memory=1830480 CPUtime=1347.93 cores=0-7
/proc/16254/task/16510/stat : 16510 (java) R 16252 16252 14912 0 -1 4202560 9296 0 0 0 134787 6 0 0 20 0 28 0 106992682 27178778624 457492 33554432000 4194304 4196468 140722635883600 140461936190008 140463039603386 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16511] ppid=16252 vsize=26541776 memory=1830992 CPUtime=1341.42 cores=0-7
/proc/16254/task/16511/stat : 16511 (java) R 16252 16252 14912 0 -1 4202560 5658 0 0 0 134141 1 0 0 20 0 28 0 106992682 27178778624 457492 33554432000 4194304 4196468 140722635883600 140462142644696 140463034668728 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16512] ppid=16252 vsize=26541776 memory=4104 CPUtime=1345.93 cores=0-7
/proc/16254/task/16512/stat : 16512 (java) R 16252 16252 14912 0 -1 4202560 16056 0 0 0 134586 7 0 0 20 0 28 0 106992682 27178778624 457492 33554432000 4194304 4196468 140722635883600 140462143696424 140463038708916 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
[pid=16254/tid=16513] ppid=16252 vsize=26541776 memory=4104 CPUtime=1341.71 cores=0-7
/proc/16254/task/16513/stat : 16513 (java) R 16252 16252 14912 0 -1 4202560 20951 0 0 0 134147 24 0 0 20 0 28 0 106992682 27178778624 457492 33554432000 4194304 4196468 140722635883600 140461934083520 140463039405995 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 12505088 140722635887762 140722635887939 140722635887939 140722635890639 0
Current children cumulated CPU time: 20088.1 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 1831352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 16252 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000978 s, system=0.000978 s
[startup+2520.12 s]
# the end of solver process 16254 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20086 s, system=2.82503 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): 20088.8
CPU user time (s): 20086
CPU system time (s): 2.82503
CPU usage (%): 797.139
Max. virtual memory (cumulated for all children) (KiB): 26553276
Max. memory (cumulated for all children) (KiB): 2205780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20086
system time used= 2.82503
maximum resident set size= 2205496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 337317
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79857
involuntary context switches= 202473
# summary of solver processes directly reported to runsolver:
# pid: 16252,16254
# total CPU time (s): 20088.8
# total CPU user time (s): 20086
# total CPU system time (s): 2.82503
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.7195 second user time and 29.3597 second system time
The end
Begin job on node113 at 2017-08-14 20:57:01 IDJOB=4270614 IDBENCH=127025 IDSOLVER=2662 FILE ID=node113/4270614-1502737880 RUNJOBID= node113-1502726364-14939 PBS_JOBID= 20629044 Free space on /tmp= 61788 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-4270614-1502737880/watcher-4270614-1502737880 -o /tmp/evaluation-result-4270614-1502737880/solver-4270614-1502737880 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502726364-14939 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1794449265 HOME/instance-4270614-1502737880.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5c46c59146557e02d06c9ff3e1746190 RANDOM SEED=1794449265 node113.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.89 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.89 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.89 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.89 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: 31485900 kB MemAvailable: 31972368 kB Buffers: 177780 kB Cached: 583904 kB SwapCached: 0 kB Active: 587732 kB Inactive: 228500 kB Active(anon): 4584 kB Inactive(anon): 77668 kB Active(file): 583148 kB Inactive(file): 150832 kB Unevictable: 6588 kB Mlocked: 6588 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7764 kB Writeback: 0 kB AnonPages: 68492 kB Mapped: 44384 kB Shmem: 25224 kB Slab: 162672 kB SReclaimable: 136648 kB SUnreclaim: 26024 kB KernelStack: 3520 kB PageTables: 5940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323788 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61780 MiB End job on node113 at 2017-08-14 21:39:02