Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 191 | 2002.53 | 252.10201 |
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 | 127 |
Best CPU time to get the best result obtained on this benchmark | 1921.35 |
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-4281414-1503186375.xml" -tl '2016s' -p 8 -x 0 0.12/0.15 c [HOME/instance-4281414-1503186375.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 3.82/1.23 c solve instance... 5.18/1.40 o 17575 5.18/1.42 o 14911 5.18/1.47 o 14775 5.18/1.47 o 12671 5.18/1.48 o 12535 5.18/1.48 o 12407 5.18/1.49 o 10823 5.18/1.49 o 10671 5.18/1.50 o 10543 5.18/1.50 o 10439 5.18/1.51 o 9335 5.89/1.51 o 9167 5.89/1.52 o 591 5.89/1.52 o 439 5.89/1.60 o 423 6.64/1.61 o 399 7.33/1.78 o 391 8.85/1.97 o 375 11.20/2.22 o 343 13.07/2.51 o 303 13.07/2.52 o 239 215.04/27.91 o 231 429.20/54.81 o 215 429.72/54.90 o 207 976.90/123.55 o 191 2001.91/252.08 s SATISFIABLE 2001.91/252.08 v <instantiation> 2001.91/252.08 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> 2001.91/252.08 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 2 -1 4 1 0 1 0 1 2 1 -2 1 0 -1 2 3 0 -1 2 -3 4 5 0 1 2 -3 6 1 -2 -1 4 -1 0 1 1 4 9 4 1 16 1 0 1 0 1 4 1 4 1 0 1 4 9 0 1 4 9 16 25 0 1 4 9 36 1 4 1 16 1 0 1 </values> 2001.91/252.08 v </instantiation> 2001.91/252.08 c Unexpected resolution interruption!
OK 191
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 (12697 MiB free) memory of node 1: 16384 MiB (13858 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281414-1503186375/watcher-4281414-1503186375 -o /tmp/evaluation-result-4281414-1503186375/solver-4281414-1503186375 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503173871-12305 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1202979077 HOME/instance-4281414-1503186375.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=16543, runsolver pid=16540 Current StackSize limit: 8192 KiB [startup+0.100133 s]* /proc/loadavg: 7.51 8.03 8.08 3/200 16564 /proc/meminfo: memFree=27179088/32770624 swapFree=67108860/67108860 [pid=16543] ppid=16540 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16543/stat : 16543 (xcsp3-exec) S 16540 16543 12278 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151725022 9740288 346 33554432000 4194304 5098028 140736191070656 140736191068760 140074410762876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21241856 140736191075434 140736191075644 140736191075644 140736191078379 0 /proc/16543/statm: 2378 346 289 221 0 87 0 [pid=16545] ppid=16543 vsize=25999808 memory=26328 CPUtime=0.12 cores=0-7 /proc/16545/stat : 16545 (java) S 16543 16543 12278 0 -1 1077944320 5476 0 0 0 10 2 0 0 20 0 20 0 151725022 26623803392 6582 33554432000 4194304 4196468 140729359169792 140729359152336 140264621190903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 /proc/16545/statm: 6499952 6582 2851 1 0 6488269 0 [pid=16545/tid=16546] ppid=16543 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/16545/task/16546/stat : 16546 (java) R 16543 16543 12278 0 -1 4202560 3485 0 0 0 8 1 0 0 20 0 20 0 151725023 26623803392 6582 33554432000 4194304 4196468 140729359169792 140264625423264 140264621202838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16547] ppid=16543 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16545/task/16547/stat : 16547 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725024 26623803392 6582 33554432000 4194304 4196468 140729359169792 140264573811728 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16548] ppid=16543 vsize=25999808 memory=139673419937408 CPUtime=0 cores=0-7 /proc/16545/task/16548/stat : 16548 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725024 26623803392 6582 33554432000 4194304 4196468 140729359169792 140264178318480 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16549] ppid=16543 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16549/stat : 16549 (java) S 16543 16543 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151725024 26623803392 6582 33554432000 4194304 4196468 140729359169792 140264177265424 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16550] ppid=16543 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16550/stat : 16550 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725024 26623803392 6582 33554432000 4194304 4196468 140729359169792 140264176212880 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16551] ppid=16543 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16551/stat : 16551 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725024 26623803392 6582 33554432000 4194304 4196468 140729359169792 140264175159824 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16552] ppid=16543 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/16545/task/16552/stat : 16552 (java) S 16543 16543 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151725024 26623803392 6582 33554432000 4194304 4196468 140729359169792 140264174107280 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16553] ppid=16543 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16553/stat : 16553 (java) S 16543 16543 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151725024 26623803392 6582 33554432000 4194304 4196468 140729359169792 140264173054224 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16554] ppid=16543 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16554/stat : 16554 (java) S 16543 16543 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151725024 26623803392 6582 33554432000 4194304 4196468 140729359169792 140264172001680 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16555] ppid=16543 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16555/stat : 16555 (java) S 16543 16543 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151725025 26623803392 6582 33554432000 4194304 4196468 140729359169792 140263815551728 140264621202050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16556] ppid=16543 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16556/stat : 16556 (java) S 16543 16543 12278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151725026 26623803392 6582 33554432000 4194304 4196468 140729359169792 140263814497952 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16557] ppid=16543 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16557/stat : 16557 (java) S 16543 16543 12278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151725026 26623803392 6582 33554432000 4194304 4196468 140729359169792 140263813444848 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16558] ppid=16543 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16558/stat : 16558 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725028 26623803392 6582 33554432000 4194304 4196468 140729359169792 140263812393424 140264621209499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16559] ppid=16543 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16559/stat : 16559 (java) S 16543 16543 12278 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 151725028 26623803392 6582 33554432000 4194304 4196468 140729359169792 140263811340528 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16560] ppid=16543 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16560/stat : 16560 (java) S 16543 16543 12278 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 151725028 26623803392 6582 33554432000 4194304 4196468 140729359169792 140263810287984 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16561] ppid=16543 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16561/stat : 16561 (java) S 16543 16543 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151725028 26623803392 6582 33554432000 4194304 4196468 140729359169792 140263809234928 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16562] ppid=16543 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/16545/task/16562/stat : 16562 (java) S 16543 16543 12278 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 151725028 26623803392 6582 33554432000 4194304 4196468 140729359169792 140263808182384 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16563] ppid=16543 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16563/stat : 16563 (java) S 16543 16543 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151725028 26623803392 6582 33554432000 4194304 4196468 140729359169792 140263807130592 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16564] ppid=16543 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/16545/task/16564/stat : 16564 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725029 26623803392 6582 33554432000 4194304 4196468 140729359169792 140263806078128 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27712 KiB [startup+0.210594 s]* /proc/loadavg: 7.51 8.03 8.08 2/200 16564 /proc/meminfo: memFree=27167444/32770624 swapFree=67108860/67108860 [pid=16543] ppid=16540 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16543/stat : 16543 (xcsp3-exec) S 16540 16543 12278 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151725022 9740288 346 33554432000 4194304 5098028 140736191070656 140736191068760 140074410762876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21241856 140736191075434 140736191075644 140736191075644 140736191078379 0 /proc/16543/statm: 2378 346 289 221 0 87 0 [pid=16545] ppid=16543 vsize=26004064 memory=38840 CPUtime=0.33 cores=0-7 /proc/16545/stat : 16545 (java) S 16543 16543 12278 0 -1 1077944320 8319 0 0 0 30 3 0 0 20 0 20 0 151725022 26628161536 9710 33554432000 4194304 4196468 140729359169792 140729359152336 140264621190903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 /proc/16545/statm: 6501016 9710 3043 1 0 6488269 0 [pid=16545/tid=16546] ppid=16543 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/16545/task/16546/stat : 16546 (java) R 16543 16543 12278 0 -1 4202560 5394 0 0 0 17 2 0 0 20 0 20 0 151725023 26628161536 9710 33554432000 4194304 4196468 140729359169792 140264625411896 140264605271390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16547] ppid=16543 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/16545/task/16547/stat : 16547 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725024 26628161536 9710 33554432000 4194304 4196468 140729359169792 140264573811728 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16548] ppid=16543 vsize=26004064 memory=139673419950844 CPUtime=0 cores=0-7 /proc/16545/task/16548/stat : 16548 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725024 26628161536 9710 33554432000 4194304 4196468 140729359169792 140264178318480 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16549] ppid=16543 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16545/task/16549/stat : 16549 (java) S 16543 16543 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151725024 26628161536 9710 33554432000 4194304 4196468 140729359169792 140264177265424 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16550] ppid=16543 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16550/stat : 16550 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725024 26628161536 9710 33554432000 4194304 4196468 140729359169792 140264176212880 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16551] ppid=16543 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16551/stat : 16551 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725024 26628161536 9710 33554432000 4194304 4196468 140729359169792 140264175159824 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16552] ppid=16543 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16545/task/16552/stat : 16552 (java) S 16543 16543 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151725024 26628161536 9710 33554432000 4194304 4196468 140729359169792 140264174107280 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16553] ppid=16543 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16553/stat : 16553 (java) S 16543 16543 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151725024 26628161536 9710 33554432000 4194304 4196468 140729359169792 140264173054224 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16554] ppid=16543 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16554/stat : 16554 (java) S 16543 16543 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151725024 26628161536 9710 33554432000 4194304 4196468 140729359169792 140264172001680 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16555] ppid=16543 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16555/stat : 16555 (java) S 16543 16543 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151725025 26628161536 9710 33554432000 4194304 4196468 140729359169792 140263815551728 140264621202050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16556] ppid=16543 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16556/stat : 16556 (java) S 16543 16543 12278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151725026 26628161536 9710 33554432000 4194304 4196468 140729359169792 140263814497952 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16557] ppid=16543 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16557/stat : 16557 (java) S 16543 16543 12278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151725026 26628161536 9710 33554432000 4194304 4196468 140729359169792 140263813444848 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16558] ppid=16543 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16558/stat : 16558 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725028 26628161536 9710 33554432000 4194304 4196468 140729359169792 140263812393424 140264621209499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16559] ppid=16543 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/16545/task/16559/stat : 16559 (java) S 16543 16543 12278 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 20 0 151725028 26628161536 9710 33554432000 4194304 4196468 140729359169792 140263811340528 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16560] ppid=16543 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/16545/task/16560/stat : 16560 (java) S 16543 16543 12278 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 20 0 151725028 26628161536 9710 33554432000 4194304 4196468 140729359169792 140263810287984 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16561] ppid=16543 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/16545/task/16561/stat : 16561 (java) R 16543 16543 12278 0 -1 4202560 333 0 0 0 2 0 0 0 20 0 20 0 151725028 26628161536 9710 33554432000 4194304 4196468 140729359169792 140263809234928 140264621202050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16562] ppid=16543 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/16545/task/16562/stat : 16562 (java) R 16543 16543 12278 0 -1 4202560 717 0 0 0 7 0 0 0 20 0 20 0 151725028 26628161536 9710 33554432000 4194304 4196468 140729359169792 140263808182384 140264606356456 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16563] ppid=16543 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16563/stat : 16563 (java) S 16543 16543 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151725028 26628161536 9710 33554432000 4194304 4196468 140729359169792 140263807130592 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16564] ppid=16543 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16545/task/16564/stat : 16564 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725029 26628161536 9710 33554432000 4194304 4196468 140729359169792 140263806078128 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40224 KiB [startup+0.310382 s]* /proc/loadavg: 7.51 8.03 8.08 3/200 16564 /proc/meminfo: memFree=27163040/32770624 swapFree=67108860/67108860 [pid=16543] ppid=16540 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16543/stat : 16543 (xcsp3-exec) S 16540 16543 12278 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151725022 9740288 346 33554432000 4194304 5098028 140736191070656 140736191068760 140074410762876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21241856 140736191075434 140736191075644 140736191075644 140736191078379 0 /proc/16543/statm: 2378 346 289 221 0 87 0 [pid=16545] ppid=16543 vsize=26004064 memory=43756 CPUtime=0.5 cores=0-7 /proc/16545/stat : 16545 (java) S 16543 16543 12278 0 -1 1077944320 9183 0 0 0 46 4 0 0 20 0 20 0 151725022 26628161536 10939 33554432000 4194304 4196468 140729359169792 140729359152336 140264621190903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 /proc/16545/statm: 6501016 10939 3098 1 0 6488269 0 [pid=16545/tid=16546] ppid=16543 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/16545/task/16546/stat : 16546 (java) R 16543 16543 12278 0 -1 4202560 6067 0 0 0 26 2 0 0 20 0 20 0 151725023 26628161536 10939 33554432000 4194304 4196468 140729359169792 140264625430080 140264621202838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16547] ppid=16543 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16547/stat : 16547 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725024 26628161536 10939 33554432000 4194304 4196468 140729359169792 140264573811728 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16548] ppid=16543 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16548/stat : 16548 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725024 26628161536 10939 33554432000 4194304 4196468 140729359169792 140264178318480 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16549] ppid=16543 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16549/stat : 16549 (java) S 16543 16543 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151725024 26628161536 10939 33554432000 4194304 4196468 140729359169792 140264177265424 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16550] ppid=16543 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16550/stat : 16550 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725024 26628161536 10939 33554432000 4194304 4196468 140729359169792 140264176212880 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16551] ppid=16543 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/16545/task/16551/stat : 16551 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725024 26628161536 10939 33554432000 4194304 4196468 140729359169792 140264175159824 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16552] ppid=16543 vsize=26004064 memory=139673276085167 CPUtime=0 cores=0-7 /proc/16545/task/16552/stat : 16552 (java) S 16543 16543 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151725024 26628161536 10939 33554432000 4194304 4196468 140729359169792 140264174107280 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16553] ppid=16543 vsize=26004064 memory=139673276087472 CPUtime=0 cores=0-7 /proc/16545/task/16553/stat : 16553 (java) S 16543 16543 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151725024 26628161536 10939 33554432000 4194304 4196468 140729359169792 140264173054224 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16554] ppid=16543 vsize=26004064 memory=3472463571457258976 CPUtime=0 cores=0-7 /proc/16545/task/16554/stat : 16554 (java) S 16543 16543 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151725024 26628161536 10939 33554432000 4194304 4196468 140729359169792 140264172001680 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16555] ppid=16543 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16555/stat : 16555 (java) S 16543 16543 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151725025 26628161536 10939 33554432000 4194304 4196468 140729359169792 140263815551728 140264621202050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16556] ppid=16543 vsize=26004064 memory=279346552186512 CPUtime=0 cores=0-7 /proc/16545/task/16556/stat : 16556 (java) S 16543 16543 12278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151725026 26628161536 10939 33554432000 4194304 4196468 140729359169792 140263814497952 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16557] ppid=16543 vsize=26004064 memory=279346552193424 CPUtime=0 cores=0-7 /proc/16545/task/16557/stat : 16557 (java) S 16543 16543 12278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151725026 26628161536 10939 33554432000 4194304 4196468 140729359169792 140263813444848 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16558] ppid=16543 vsize=26004064 memory=279346552134576 CPUtime=0 cores=0-7 /proc/16545/task/16558/stat : 16558 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725028 26628161536 10939 33554432000 4194304 4196468 140729359169792 140263812393424 140264621209499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16559] ppid=16543 vsize=26004064 memory=279346552207248 CPUtime=0.01 cores=0-7 /proc/16545/task/16559/stat : 16559 (java) S 16543 16543 12278 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 20 0 151725028 26628161536 10939 33554432000 4194304 4196468 140729359169792 140263811340528 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16560] ppid=16543 vsize=26004064 memory=279346552214160 CPUtime=0.02 cores=0-7 /proc/16545/task/16560/stat : 16560 (java) S 16543 16543 12278 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 20 0 151725028 26628161536 10939 33554432000 4194304 4196468 140729359169792 140263810287984 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16561] ppid=16543 vsize=26004064 memory=279346552211856 CPUtime=0.03 cores=0-7 /proc/16545/task/16561/stat : 16561 (java) S 16543 16543 12278 0 -1 1077944384 344 0 0 0 3 0 0 0 20 0 20 0 151725028 26628161536 10939 33554432000 4194304 4196468 140729359169792 140263809234928 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16562] ppid=16543 vsize=26004064 memory=279346552228016 CPUtime=0.12 cores=0-7 /proc/16545/task/16562/stat : 16562 (java) R 16543 16543 12278 0 -1 4202560 822 0 0 0 12 0 0 0 20 0 20 0 151725028 26628161536 10939 33554432000 4194304 4196468 140729359169792 140263808180048 140264600148688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16563] ppid=16543 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16563/stat : 16563 (java) S 16543 16543 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151725028 26628161536 10939 33554432000 4194304 4196468 140729359169792 140263807130592 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16564] ppid=16543 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16545/task/16564/stat : 16564 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725029 26628161536 10939 33554432000 4194304 4196468 140729359169792 140263806078128 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45140 KiB [startup+0.701026 s] /proc/loadavg: 7.51 8.03 8.08 3/200 16564 /proc/meminfo: memFree=27146644/32770624 swapFree=67108860/67108860 [pid=16543] ppid=16540 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16543/stat : 16543 (xcsp3-exec) S 16540 16543 12278 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151725022 9740288 346 33554432000 4194304 5098028 140736191070656 140736191068760 140074410762876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21241856 140736191075434 140736191075644 140736191075644 140736191078379 0 /proc/16543/statm: 2378 346 289 221 0 87 0 [pid=16545] ppid=16543 vsize=26006188 memory=91668 CPUtime=1.67 cores=0-7 /proc/16545/stat : 16545 (java) S 16543 16543 12278 0 -1 1077944320 13087 0 0 0 160 7 0 0 20 0 20 0 151725022 26630336512 22917 33554432000 4194304 4196468 140729359169792 140729359152336 140264621190903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 /proc/16545/statm: 6501547 22917 3204 1 0 6488781 0 [pid=16545/tid=16546] ppid=16543 vsize=26006188 memory=279346552585904 CPUtime=0.66 cores=0-7 /proc/16545/task/16546/stat : 16546 (java) R 16543 16543 12278 0 -1 4202560 6867 0 0 0 63 3 0 0 20 0 20 0 151725023 26630336512 22917 33554432000 4194304 4196468 140729359169792 140264625426432 140264621202838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16547] ppid=16543 vsize=26006188 memory=139673276294000 CPUtime=0 cores=0-7 /proc/16545/task/16547/stat : 16547 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725024 26630336512 22917 33554432000 4194304 4196468 140729359169792 140264573811728 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16548] ppid=16543 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/16545/task/16548/stat : 16548 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151725024 26630336512 22917 33554432000 4194304 4196468 140729359169792 140264178318480 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16549] ppid=16543 vsize=26006188 memory=11108 CPUtime=0 cores=0-7 /proc/16545/task/16549/stat : 16549 (java) S 16543 16543 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151725024 26630336512 22917 33554432000 4194304 4196468 140729359169792 140264177265424 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 ################ # More data... # ################ [pid=16545/tid=16772] ppid=16543 vsize=26540748 memory=42048 CPUtime=38.48 cores=0-7 /proc/16545/task/16772/stat : 16772 (java) R 16543 16543 12278 0 -1 4202560 1252 0 0 0 3846 2 0 0 20 0 28 0 151737378 27177725952 543575 33554432000 4194304 4196468 140729359169792 140263794909768 140264261322422 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 Current children cumulated CPU time: 1286.28 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 2175684 KiB [startup+222.302 s] /proc/loadavg: 8.39 8.14 8.11 9/207 16772 /proc/meminfo: memFree=25018272/32770624 swapFree=67108860/67108860 [pid=16543] ppid=16540 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16543/stat : 16543 (xcsp3-exec) S 16540 16543 12278 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151725022 9740288 346 33554432000 4194304 5098028 140736191070656 140736191068760 140074410762876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21241856 140736191075434 140736191075644 140736191075644 140736191078379 0 /proc/16543/statm: 2378 346 289 221 0 87 0 [pid=16545] ppid=16543 vsize=26540748 memory=2187544 CPUtime=1764.89 cores=0-7 /proc/16545/stat : 16545 (java) S 16543 16543 12278 0 -1 1077944320 135380 0 0 0 176311 178 0 0 20 0 28 0 151725022 27177725952 546886 33554432000 4194304 4196468 140729359169792 140729359152336 140264621190903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 /proc/16545/statm: 6635187 546886 3291 1 0 6622421 0 [pid=16545/tid=16546] ppid=16543 vsize=26540748 memory=2187544 CPUtime=1.22 cores=0-7 /proc/16545/task/16546/stat : 16546 (java) S 16543 16543 12278 0 -1 1077944384 7618 0 0 0 117 5 0 0 20 0 28 0 151725023 27177725952 546886 33554432000 4194304 4196468 140729359169792 140264625431680 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16547] ppid=16543 vsize=26540748 memory=2187544 CPUtime=0.13 cores=0-7 /proc/16545/task/16547/stat : 16547 (java) S 16543 16543 12278 0 -1 1077944384 337 0 0 0 8 5 0 0 20 0 28 0 151725024 27177725952 546886 33554432000 4194304 4196468 140729359169792 140264573811728 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16548] ppid=16543 vsize=26540748 memory=2187544 CPUtime=0.12 cores=0-7 /proc/16545/task/16548/stat : 16548 (java) S 16543 16543 12278 0 -1 1077944384 395 0 0 0 7 5 0 0 20 0 28 0 151725024 27177725952 546886 33554432000 4194304 4196468 140729359169792 140264178318480 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16549] ppid=16543 vsize=26540748 memory=1384 CPUtime=0.13 cores=0-7 /proc/16545/task/16549/stat : 16549 (java) S 16543 16543 12278 0 -1 1077944384 226 0 0 0 8 5 0 0 20 0 28 0 151725024 27177725952 546886 33554432000 4194304 4196468 140729359169792 140264177265424 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16550] ppid=16543 vsize=26540748 memory=1384 CPUtime=0.11 cores=0-7 /proc/16545/task/16550/stat : 16550 (java) S 16543 16543 12278 0 -1 1077944384 482 0 0 0 7 4 0 0 20 0 28 0 151725024 27177725952 546886 33554432000 4194304 4196468 140729359169792 140264176212880 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16551] ppid=16543 vsize=26540748 memory=164 CPUtime=0.11 cores=0-7 /proc/16545/task/16551/stat : 16551 (java) S 16543 16543 12278 0 -1 1077944384 840 0 0 0 7 4 0 0 20 0 28 0 151725024 27177725952 546886 33554432000 4194304 4196468 140729359169792 140264175159824 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16552] ppid=16543 vsize=26540748 memory=2187544 CPUtime=0.13 cores=0-7 /proc/16545/task/16552/stat : 16552 (java) S 16543 16543 12278 0 -1 1077944384 318 0 0 0 8 5 0 0 20 0 28 0 151725024 27177725952 546886 33554432000 4194304 4196468 140729359169792 140264174107280 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16553] ppid=16543 vsize=26540748 memory=2187544 CPUtime=0.11 cores=0-7 /proc/16545/task/16553/stat : 16553 (java) S 16543 16543 12278 0 -1 1077944384 1288 0 0 0 7 4 0 0 20 0 28 0 151725024 27177725952 546886 33554432000 4194304 4196468 140729359169792 140264173054224 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16554] ppid=16543 vsize=26540748 memory=0 CPUtime=0.12 cores=0-7 /proc/16545/task/16554/stat : 16554 (java) S 16543 16543 12278 0 -1 1077944384 390 0 0 0 7 5 0 0 20 0 28 0 151725024 27177725952 546886 33554432000 4194304 4196468 140729359169792 140264172001680 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16555] ppid=16543 vsize=26540748 memory=6944656592455097440 CPUtime=0.04 cores=0-7 /proc/16545/task/16555/stat : 16555 (java) S 16543 16543 12278 0 -1 1077944384 3508 0 0 0 2 2 0 0 20 0 28 0 151725025 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263815551728 140264621202050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16556] ppid=16543 vsize=26540748 memory=2187540 CPUtime=0 cores=0-7 /proc/16545/task/16556/stat : 16556 (java) S 16543 16543 12278 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 151725026 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263814498016 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16557] ppid=16543 vsize=26540748 memory=42048 CPUtime=0 cores=0-7 /proc/16545/task/16557/stat : 16557 (java) S 16543 16543 12278 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 151725026 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263813444864 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16558] ppid=16543 vsize=26540748 memory=1384 CPUtime=0 cores=0-7 /proc/16545/task/16558/stat : 16558 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151725028 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263812393424 140264621209499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16559] ppid=16543 vsize=26540748 memory=2186588 CPUtime=2.56 cores=0-7 /proc/16545/task/16559/stat : 16559 (java) S 16543 16543 12278 0 -1 1077944384 12468 0 0 0 255 1 0 0 20 0 28 0 151725028 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263811340528 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16560] ppid=16543 vsize=26540748 memory=952 CPUtime=2.99 cores=0-7 /proc/16545/task/16560/stat : 16560 (java) S 16543 16543 12278 0 -1 1077944384 20060 0 0 0 296 3 0 0 20 0 28 0 151725028 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263810287984 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16561] ppid=16543 vsize=26540748 memory=1236 CPUtime=2.76 cores=0-7 /proc/16545/task/16561/stat : 16561 (java) S 16543 16543 12278 0 -1 1077944384 19438 0 0 0 270 6 0 0 20 0 28 0 151725028 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263809234928 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16562] ppid=16543 vsize=26540748 memory=1384 CPUtime=1.03 cores=0-7 /proc/16545/task/16562/stat : 16562 (java) S 16543 16543 12278 0 -1 1077944384 14273 0 0 0 100 3 0 0 20 0 28 0 151725028 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263808182384 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16563] ppid=16543 vsize=26540748 memory=2186588 CPUtime=0 cores=0-7 /proc/16545/task/16563/stat : 16563 (java) S 16543 16543 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151725028 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263807130592 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16564] ppid=16543 vsize=26540748 memory=952 CPUtime=0.07 cores=0-7 /proc/16545/task/16564/stat : 16564 (java) S 16543 16543 12278 0 -1 1077944384 2131 0 0 0 0 7 0 0 20 0 28 0 151725029 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263806078128 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16765] ppid=16543 vsize=26540748 memory=1236 CPUtime=97.96 cores=0-7 /proc/16545/task/16765/stat : 16765 (java) R 16543 16543 12278 0 -1 4202560 720 0 0 0 9796 0 0 0 20 0 28 0 151737378 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263791750216 140264261626116 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16766] ppid=16543 vsize=26540748 memory=1384 CPUtime=98.62 cores=0-7 /proc/16545/task/16766/stat : 16766 (java) R 16543 16543 12278 0 -1 4202560 846 0 0 0 9862 0 0 0 20 0 28 0 151737378 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263790698472 140264261832294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16767] ppid=16543 vsize=26540748 memory=1384 CPUtime=98.52 cores=0-7 /proc/16545/task/16767/stat : 16767 (java) R 16543 16543 12278 0 -1 4202560 3095 0 0 0 9848 4 0 0 20 0 28 0 151737378 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263798066712 140264263970677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16768] ppid=16543 vsize=26540748 memory=4132 CPUtime=98.68 cores=0-7 /proc/16545/task/16768/stat : 16768 (java) R 16543 16543 12278 0 -1 4202560 7180 0 0 0 9836 32 0 0 20 0 28 0 151737378 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263792803560 140264264203258 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16769] ppid=16543 vsize=26540748 memory=1384 CPUtime=98.59 cores=0-7 /proc/16545/task/16769/stat : 16769 (java) R 16543 16543 12278 0 -1 4202560 2303 0 0 0 9855 4 0 0 20 0 28 0 151737378 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263793855936 140264261627230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16770] ppid=16543 vsize=26540748 memory=1384 CPUtime=97.58 cores=0-7 /proc/16545/task/16770/stat : 16770 (java) R 16543 16543 12278 0 -1 4202560 485 0 0 0 9758 0 0 0 20 0 28 0 151737378 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263795961704 140264261832220 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16771] ppid=16543 vsize=26540748 memory=2187544 CPUtime=98.67 cores=0-7 /proc/16545/task/16771/stat : 16771 (java) R 16543 16543 12278 0 -1 4202560 724 0 0 0 9867 0 0 0 20 0 28 0 151737378 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263797015064 140264261832299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16772] ppid=16543 vsize=26540748 memory=1384 CPUtime=98.43 cores=0-7 /proc/16545/task/16772/stat : 16772 (java) R 16543 16543 12278 0 -1 4202560 2025 0 0 0 9841 2 0 0 20 0 28 0 151737378 27177725952 546886 33554432000 4194304 4196468 140729359169792 140263794909752 140264262332660 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 Current children cumulated CPU time: 1764.89 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 2188928 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 8.50 8.20 8.13 9/207 16772 /proc/meminfo: memFree=25018040/32770624 swapFree=67108860/67108860 [pid=16543] ppid=16540 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16543/stat : 16543 (xcsp3-exec) S 16540 16543 12278 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151725022 9740288 346 33554432000 4194304 5098028 140736191070656 140736191068760 140074410762876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21241856 140736191075434 140736191075644 140736191075644 140736191078379 0 /proc/16543/statm: 2378 346 289 221 0 87 0 [pid=16545] ppid=16543 vsize=26540748 memory=2188056 CPUtime=2001.91 cores=0-7 /proc/16545/stat : 16545 (java) S 16543 16543 12278 0 -1 1077944320 139794 0 0 0 200009 182 0 0 20 0 28 0 151725022 27177725952 547014 33554432000 4194304 4196468 140729359169792 140729359152336 140264621190903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 /proc/16545/statm: 6635187 547014 3291 1 0 6622421 0 [pid=16545/tid=16546] ppid=16543 vsize=26540748 memory=640 CPUtime=1.22 cores=0-7 /proc/16545/task/16546/stat : 16546 (java) S 16543 16543 12278 0 -1 1077944384 7618 0 0 0 117 5 0 0 20 0 28 0 151725023 27177725952 547014 33554432000 4194304 4196468 140729359169792 140264625431680 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16547] ppid=16543 vsize=26540748 memory=952 CPUtime=0.13 cores=0-7 /proc/16545/task/16547/stat : 16547 (java) S 16543 16543 12278 0 -1 1077944384 355 0 0 0 8 5 0 0 20 0 28 0 151725024 27177725952 547014 33554432000 4194304 4196468 140729359169792 140264573811728 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16548] ppid=16543 vsize=26540748 memory=1236 CPUtime=0.13 cores=0-7 /proc/16545/task/16548/stat : 16548 (java) S 16543 16543 12278 0 -1 1077944384 426 0 0 0 8 5 0 0 20 0 28 0 151725024 27177725952 547014 33554432000 4194304 4196468 140729359169792 140264178318480 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16549] ppid=16543 vsize=26540748 memory=4872558044660077418 CPUtime=0.13 cores=0-7 /proc/16545/task/16549/stat : 16549 (java) S 16543 16543 12278 0 -1 1077944384 239 0 0 0 8 5 0 0 20 0 28 0 151725024 27177725952 547014 33554432000 4194304 4196468 140729359169792 140264177265424 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16550] ppid=16543 vsize=26540748 memory=2240 CPUtime=0.12 cores=0-7 /proc/16545/task/16550/stat : 16550 (java) S 16543 16543 12278 0 -1 1077944384 521 0 0 0 8 4 0 0 20 0 28 0 151725024 27177725952 547014 33554432000 4194304 4196468 140729359169792 140264176212880 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16551] ppid=16543 vsize=26540748 memory=8660 CPUtime=0.11 cores=0-7 /proc/16545/task/16551/stat : 16551 (java) S 16543 16543 12278 0 -1 1077944384 1211 0 0 0 7 4 0 0 20 0 28 0 151725024 27177725952 547014 33554432000 4194304 4196468 140729359169792 140264175159824 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16552] ppid=16543 vsize=26540748 memory=5784 CPUtime=0.13 cores=0-7 /proc/16545/task/16552/stat : 16552 (java) S 16543 16543 12278 0 -1 1077944384 335 0 0 0 8 5 0 0 20 0 28 0 151725024 27177725952 547014 33554432000 4194304 4196468 140729359169792 140264174107280 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16553] ppid=16543 vsize=26540748 memory=4616 CPUtime=0.12 cores=0-7 /proc/16545/task/16553/stat : 16553 (java) S 16543 16543 12278 0 -1 1077944384 1326 0 0 0 8 4 0 0 20 0 28 0 151725024 27177725952 547014 33554432000 4194304 4196468 140729359169792 140264173054224 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16554] ppid=16543 vsize=26540748 memory=1228 CPUtime=0.13 cores=0-7 /proc/16545/task/16554/stat : 16554 (java) S 16543 16543 12278 0 -1 1077944384 420 0 0 0 8 5 0 0 20 0 28 0 151725024 27177725952 547014 33554432000 4194304 4196468 140729359169792 140264172001680 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16555] ppid=16543 vsize=26540748 memory=11108 CPUtime=0.05 cores=0-7 /proc/16545/task/16555/stat : 16555 (java) S 16543 16543 12278 0 -1 1077944384 3746 0 0 0 3 2 0 0 20 0 28 0 151725025 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263815551728 140264621202050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16556] ppid=16543 vsize=26540748 memory=796 CPUtime=0 cores=0-7 /proc/16545/task/16556/stat : 16556 (java) S 16543 16543 12278 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 151725026 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263814498016 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16557] ppid=16543 vsize=26540748 memory=1424 CPUtime=0 cores=0-7 /proc/16545/task/16557/stat : 16557 (java) S 16543 16543 12278 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 151725026 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263813444864 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16558] ppid=16543 vsize=26540748 memory=15876 CPUtime=0 cores=0-7 /proc/16545/task/16558/stat : 16558 (java) S 16543 16543 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151725028 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263812393424 140264621209499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16559] ppid=16543 vsize=26540748 memory=1728 CPUtime=2.57 cores=0-7 /proc/16545/task/16559/stat : 16559 (java) S 16543 16543 12278 0 -1 1077944384 12984 0 0 0 256 1 0 0 20 0 28 0 151725028 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263811340528 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16560] ppid=16543 vsize=26540748 memory=1720 CPUtime=3 cores=0-7 /proc/16545/task/16560/stat : 16560 (java) S 16543 16543 12278 0 -1 1077944384 20503 0 0 0 297 3 0 0 20 0 28 0 151725028 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263810287984 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16561] ppid=16543 vsize=26540748 memory=1008 CPUtime=2.77 cores=0-7 /proc/16545/task/16561/stat : 16561 (java) S 16543 16543 12278 0 -1 1077944384 20393 0 0 0 271 6 0 0 20 0 28 0 151725028 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263809234928 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16562] ppid=16543 vsize=26540748 memory=1928 CPUtime=1.03 cores=0-7 /proc/16545/task/16562/stat : 16562 (java) S 16543 16543 12278 0 -1 1077944384 14273 0 0 0 100 3 0 0 20 0 28 0 151725028 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263808182384 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16563] ppid=16543 vsize=26540748 memory=1200 CPUtime=0 cores=0-7 /proc/16545/task/16563/stat : 16563 (java) S 16543 16543 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151725028 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263807130592 140264621201109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16564] ppid=16543 vsize=26540748 memory=8660 CPUtime=0.08 cores=0-7 /proc/16545/task/16564/stat : 16564 (java) S 16543 16543 12278 0 -1 1077944384 2143 0 0 0 0 8 0 0 20 0 28 0 151725029 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263806078128 140264621202050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16765] ppid=16543 vsize=26540748 memory=5784 CPUtime=127.65 cores=0-7 /proc/16545/task/16765/stat : 16765 (java) R 16543 16543 12278 0 -1 4202560 729 0 0 0 12765 0 0 0 20 0 28 0 151737378 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263791750192 140264258261527 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16766] ppid=16543 vsize=26540748 memory=4616 CPUtime=128.32 cores=0-7 /proc/16545/task/16766/stat : 16766 (java) R 16543 16543 12278 0 -1 4202560 866 0 0 0 12832 0 0 0 20 0 28 0 151737378 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263790698824 140264254561087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16767] ppid=16543 vsize=26540748 memory=1228 CPUtime=128.23 cores=0-7 /proc/16545/task/16767/stat : 16767 (java) R 16543 16543 12278 0 -1 4202560 3329 0 0 0 12818 5 0 0 20 0 28 0 151737378 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263798067160 140264263373496 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16768] ppid=16543 vsize=26540748 memory=11108 CPUtime=128.37 cores=0-7 /proc/16545/task/16768/stat : 16768 (java) R 16543 16543 12278 0 -1 4202560 7939 0 0 0 12804 33 0 0 20 0 28 0 151737378 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263792804184 140264264204907 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16769] ppid=16543 vsize=26540748 memory=796 CPUtime=128.29 cores=0-7 /proc/16545/task/16769/stat : 16769 (java) R 16543 16543 12278 0 -1 4202560 2760 0 0 0 12824 5 0 0 20 0 28 0 151737378 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263793856040 140264260688621 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16770] ppid=16543 vsize=26540748 memory=1228 CPUtime=126.93 cores=0-7 /proc/16545/task/16770/stat : 16770 (java) R 16543 16543 12278 0 -1 4202560 498 0 0 0 12693 0 0 0 20 0 28 0 151737378 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263795961672 140264261832306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16771] ppid=16543 vsize=26540748 memory=11108 CPUtime=128.12 cores=0-7 /proc/16545/task/16771/stat : 16771 (java) R 16543 16543 12278 0 -1 4202560 737 0 0 0 12812 0 0 0 20 0 28 0 151737378 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263797015176 140264261112651 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 [pid=16545/tid=16772] ppid=16543 vsize=26540748 memory=796 CPUtime=128.12 cores=0-7 /proc/16545/task/16772/stat : 16772 (java) R 16543 16543 12278 0 -1 4202560 2212 0 0 0 12810 2 0 0 20 0 28 0 151737378 27177725952 547014 33554432000 4194304 4196468 140729359169792 140263794909752 140264261571774 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140729359176856 140729359177032 140729359177032 140729359179727 0 Current children cumulated CPU time: 2001.91 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 2189440 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.041 s] # the end of solver process 16543 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.00188 s, system=0 s [startup+252.102 s] # the end of solver process 16545 was just reported to runsolver # cumulated CPU time of all completed processes: user=2000.69 s, system=1.84435 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): 252.102 CPU time (s): 2002.53 CPU user time (s): 2000.69 CPU system time (s): 1.84435 CPU usage (%): 794.332 Max. virtual memory (cumulated for all children) (KiB): 26550260 Max. memory (cumulated for all children) (KiB): 2189440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2000.69 system time used= 1.84435 maximum resident set size= 2189592 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 140831 page faults= 0 swaps= 0 block input operations= 0 block output operations= 528 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13529 involuntary context switches= 21342 # summary of solver processes directly reported to runsolver: # pid: 16543,16545 # total CPU time (s): 2002.53 # total CPU user time (s): 2000.69 # total CPU system time (s): 1.84435 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.60719 second user time and 2.58144 second system time The end
Begin job on node115 at 2017-08-20 01:31:55 IDJOB=4281414 IDBENCH=127025 IDSOLVER=2676 FILE ID=node115/4281414-1503186375 RUNJOBID= node115-1503173871-12305 PBS_JOBID= 20630842 Free space on /tmp= 61868 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-4281414-1503186375/watcher-4281414-1503186375 -o /tmp/evaluation-result-4281414-1503186375/solver-4281414-1503186375 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503173871-12305 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1202979077 HOME/instance-4281414-1503186375.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5c46c59146557e02d06c9ff3e1746190 RANDOM SEED=1202979077 node115.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.69 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.69 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.69 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.69 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: 27195112 kB MemAvailable: 31972060 kB Buffers: 246208 kB Cached: 4823788 kB SwapCached: 0 kB Active: 903716 kB Inactive: 4222904 kB Active(anon): 7532 kB Inactive(anon): 85200 kB Active(file): 896184 kB Inactive(file): 4137704 kB Unevictable: 7032 kB Mlocked: 7032 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7972 kB Writeback: 0 kB AnonPages: 73212 kB Mapped: 51584 kB Shmem: 33416 kB Slab: 144600 kB SReclaimable: 117792 kB SUnreclaim: 26808 kB KernelStack: 3536 kB PageTables: 5224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333012 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61860 MiB End job on node115 at 2017-08-20 01:36:07