Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 180 | 20093.3 | 2520.12 |
Name | LowAutocorrelation/ LowAutocorrelation-040_c18.xml |
MD5SUM | 4e9e0842de773da2d9de44121d9bf85e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 180 |
Best CPU time to get the best result obtained on this benchmark | 20093.3 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1639 |
Number of constraints | 858 |
Number of domains | 79 |
Minimum domain size | 2 |
Maximum domain size | 79 |
Distribution of domain sizes | [{"size":2,"count":821},{"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":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":2}, {"size":40,"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}, {"size":77,"count":1}, {"size":79,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 39 |
Distribution of variable degrees | [{"degree":0,"count":741},{"degree":2,"count":858},{"degree":39,"count":40}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 40 |
Distribution of constraint arities | [{"arity":2,"count":40},{"arity":3,"count":781},{"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},{"arity":39,"count":1},{"arity":40,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 819 |
Distribution of constraint types | [{"type":"intension","count":819},{"type":"sum","count":39}] |
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-4297616-1532720083.xml" -tl '20160s' -p 8 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297616-1532720083.xml, -tl, 20160s, -p, 8] 0.11/0.21 c 8 solvers in parallel 0.34/0.28 c parse instance... 5.07/1.58 c solve instance... 6.21/1.78 o 20540 6.21/1.79 o 17576 6.21/1.79 o 17432 6.93/1.80 o 15060 6.93/1.80 o 14916 6.93/1.81 o 14780 6.93/1.81 o 12960 6.93/1.82 o 820 6.93/1.83 o 624 6.93/1.88 o 532 7.62/2.00 o 496 8.43/2.10 o 492 11.62/2.42 o 424 12.31/2.51 o 404 14.61/2.87 o 380 15.38/2.92 o 352 22.57/3.89 o 300 65.44/9.29 o 228 103.73/14.08 o 216 1782.81/224.54 o 200 6237.04/782.80 o 196 16624.86/2084.94 o 180 20092.49/2520.09 s SATISFIABLE 20092.49/2520.09 v <instantiation> 20092.49/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] x[38] x[39] 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[0][37] y[0][38] 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[1][36] y[1][37] 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[2][35] y[2][36] 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[3][34] y[3][35] 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[4][33] y[4][34] 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[5][32] y[5][33] 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[6][31] y[6][32] 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[7][30] y[7][31] 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[8][29] y[8][30] 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[9][28] y[9][29] 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[10][27] y[10][28] 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[11][26] y[11][27] 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[12][25] y[12][26] 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[13][24] y[13][25] 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[14][23] y[14][24] 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[15][22] y[15][23] 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[16][21] y[16][22] 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[17][20] y[17][21] 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[18][19] y[18][20] 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[19][18] y[19][19] 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[20][17] y[20][18] 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[21][16] y[21][17] 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[22][15] y[22][16] 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[23][14] y[23][15] 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[24][13] y[24][14] 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[25][12] y[25][13] 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[26][11] y[26][12] 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[27][10] y[27][11] 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[28][9] y[28][10] 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[29][8] y[29][9] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[35][0] y[35][1] y[35][2] y[35][3] y[36][0] y[36][1] y[36][2] y[37][0] y[37][1] y[38][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] c[37] c[38] 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] s[37] s[38] </list> 20092.49/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 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 3 2 1 2 1 -2 -3 0 -3 -2 1 2 -1 0 -3 0 1 2 -1 0 -3 6 3 4 -1 0 1 -2 -1 2 3 0 -1 2 -1 -2 3 -2 1 9 4 1 4 1 4 9 0 9 4 1 4 1 0 9 0 1 4 1 0 9 36 9 16 1 0 1 4 1 4 9 0 1 4 1 4 9 4 1 </values> 20092.49/2520.09 v </instantiation> 20092.49/2520.09 c Unexpected resolution interruption!
OK 180
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 (9578 MiB free) memory of node 1: 16384 MiB (10181 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297616-1532720083/watcher-4297616-1532720083 -o /tmp/evaluation-result-4297616-1532720083/solver-4297616-1532720083 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532713409-20007 --watchdog 2580 HOME/xcsp3-exec -seed 424575500 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297616-1532720083.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=20771, runsolver pid=20768 [startup+0.100114 s]* /proc/loadavg: 7.35 7.55 7.60 3/199 20792 /proc/meminfo: memFree=20216940/32770624 swapFree=67108860/67108860 [pid=20771] ppid=20768 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20771/stat : 20771 (xcsp3-exec) S 20768 20771 19980 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89571446 115843072 364 33554432000 4194304 5098028 140732766222336 140732766220440 140094098121340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7290880 140732766225462 140732766225664 140732766225664 140732766228426 0 /proc/20771/statm: 28282 364 306 221 0 87 0 [pid=20773] ppid=20771 vsize=26104152 memory=27496 CPUtime=0.11 cores=0-7 /proc/20773/stat : 20773 (java) S 20771 20771 19980 0 -1 1077944320 5816 0 0 0 10 1 0 0 20 0 20 0 89571446 26730651648 6874 33554432000 4194304 4196468 140722355437264 140722355419808 140711446499063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 /proc/20773/statm: 6526038 6874 3000 1 0 6488315 0 [pid=20773/tid=20774] ppid=20771 vsize=26104152 memory=8184337330466626718 CPUtime=0.08 cores=0-7 /proc/20773/task/20774/stat : 20774 (java) R 20771 20771 19980 0 -1 4202560 3818 0 0 0 8 0 0 0 20 0 20 0 89571446 26730651648 6874 33554432000 4194304 4196468 140722355437264 140711450732336 140711064529504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20775] ppid=20771 vsize=26104152 memory=732370389406190565 CPUtime=0 cores=0-7 /proc/20773/task/20775/stat : 20775 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26730651648 6874 33554432000 4194304 4196468 140722355437264 140711399119376 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20776] ppid=20771 vsize=26104152 memory=140251068737152 CPUtime=0 cores=0-7 /proc/20773/task/20776/stat : 20776 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26730651648 6874 33554432000 4194304 4196468 140722355437264 140711398066832 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20777] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20777/stat : 20777 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26730651648 6874 33554432000 4194304 4196468 140722355437264 140711397013776 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20778] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20778/stat : 20778 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26730651648 6874 33554432000 4194304 4196468 140722355437264 140711395961232 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20779] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20779/stat : 20779 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26730651648 6874 33554432000 4194304 4196468 140722355437264 140711394909200 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20780] ppid=20771 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/20773/task/20780/stat : 20780 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26730651648 6874 33554432000 4194304 4196468 140722355437264 140711393856656 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20781] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20781/stat : 20781 (java) S 20771 20771 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89571447 26730651648 6874 33554432000 4194304 4196468 140722355437264 140711392803600 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20782] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20782/stat : 20782 (java) S 20771 20771 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89571447 26730651648 6874 33554432000 4194304 4196468 140722355437264 140711391751056 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20783] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20783/stat : 20783 (java) S 20771 20771 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89571448 26730651648 6874 33554432000 4194304 4196468 140722355437264 140709717858544 140711446510210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20784] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20784/stat : 20784 (java) S 20771 20771 19980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89571449 26730651648 6874 33554432000 4194304 4196468 140722355437264 140709716804768 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20785] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20785/stat : 20785 (java) S 20771 20771 19980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89571449 26730651648 6874 33554432000 4194304 4196468 140722355437264 140709715751664 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20786] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20786/stat : 20786 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571451 26730651648 6874 33554432000 4194304 4196468 140722355437264 140709714700240 140711446517659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20787] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20787/stat : 20787 (java) S 20771 20771 19980 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 89571451 26730651648 6874 33554432000 4194304 4196468 140722355437264 140709713648368 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20788] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20788/stat : 20788 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571451 26730651648 6874 33554432000 4194304 4196468 140722355437264 140709712595824 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20789] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20789/stat : 20789 (java) S 20771 20771 19980 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 89571452 26730651648 6874 33554432000 4194304 4196468 140722355437264 140709711542768 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20790] ppid=20771 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/20773/task/20790/stat : 20790 (java) S 20771 20771 19980 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 89571452 26730651648 6874 33554432000 4194304 4196468 140722355437264 140709710490224 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20791] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20791/stat : 20791 (java) S 20771 20771 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89571452 26730651648 6874 33554432000 4194304 4196468 140722355437264 140709709437408 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20792] ppid=20771 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/20773/task/20792/stat : 20792 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571452 26730651648 6874 33554432000 4194304 4196468 140722355437264 140709708384944 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28952 KiB [startup+0.210401 s]* /proc/loadavg: 7.35 7.55 7.60 3/199 20792 /proc/meminfo: memFree=20206784/32770624 swapFree=67108860/67108860 [pid=20771] ppid=20768 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20771/stat : 20771 (xcsp3-exec) S 20768 20771 19980 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89571446 115843072 364 33554432000 4194304 5098028 140732766222336 140732766220440 140094098121340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7290880 140732766225462 140732766225664 140732766225664 140732766228426 0 /proc/20771/statm: 28282 364 306 221 0 87 0 [pid=20773] ppid=20771 vsize=26104152 memory=39308 CPUtime=0.34 cores=0-7 /proc/20773/stat : 20773 (java) S 20771 20771 19980 0 -1 1077944320 8491 0 0 0 32 2 0 0 20 0 20 0 89571446 26730651648 9827 33554432000 4194304 4196468 140722355437264 140722355419808 140711446499063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 /proc/20773/statm: 6526038 9827 3170 1 0 6488315 0 [pid=20773/tid=20774] ppid=20771 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7 /proc/20773/task/20774/stat : 20774 (java) R 20771 20771 19980 0 -1 4202560 5608 0 0 0 18 1 0 0 20 0 20 0 89571446 26730651648 9827 33554432000 4194304 4196468 140722355437264 140711450733600 140711430579550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20775] ppid=20771 vsize=26104152 memory=732370389406190565 CPUtime=0 cores=0-7 /proc/20773/task/20775/stat : 20775 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26730651648 9827 33554432000 4194304 4196468 140722355437264 140711399119376 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20776] ppid=20771 vsize=26104152 memory=140251068737152 CPUtime=0 cores=0-7 /proc/20773/task/20776/stat : 20776 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26730651648 9827 33554432000 4194304 4196468 140722355437264 140711398066832 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20777] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20777/stat : 20777 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26730651648 9827 33554432000 4194304 4196468 140722355437264 140711397013776 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20778] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20778/stat : 20778 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26730651648 9827 33554432000 4194304 4196468 140722355437264 140711395961232 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20779] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20779/stat : 20779 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26730651648 9827 33554432000 4194304 4196468 140722355437264 140711394909200 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20780] ppid=20771 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/20773/task/20780/stat : 20780 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26730651648 9827 33554432000 4194304 4196468 140722355437264 140711393856656 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20781] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20781/stat : 20781 (java) S 20771 20771 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89571447 26730651648 9827 33554432000 4194304 4196468 140722355437264 140711392803600 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20782] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20782/stat : 20782 (java) S 20771 20771 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89571447 26730651648 9827 33554432000 4194304 4196468 140722355437264 140711391751056 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20783] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20783/stat : 20783 (java) S 20771 20771 19980 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89571448 26730651648 9827 33554432000 4194304 4196468 140722355437264 140709717858544 140711446510210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20784] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20784/stat : 20784 (java) S 20771 20771 19980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89571449 26730651648 9827 33554432000 4194304 4196468 140722355437264 140709716804768 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20785] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20785/stat : 20785 (java) S 20771 20771 19980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89571449 26730651648 9827 33554432000 4194304 4196468 140722355437264 140709715751664 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20786] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20786/stat : 20786 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571451 26730651648 9827 33554432000 4194304 4196468 140722355437264 140709714700240 140711446517659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20787] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20787/stat : 20787 (java) S 20771 20771 19980 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 89571451 26730651648 9827 33554432000 4194304 4196468 140722355437264 140709713648368 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20788] ppid=20771 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/20773/task/20788/stat : 20788 (java) S 20771 20771 19980 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 20 0 89571451 26730651648 9827 33554432000 4194304 4196468 140722355437264 140709712595824 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20789] ppid=20771 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/20773/task/20789/stat : 20789 (java) S 20771 20771 19980 0 -1 1077944384 517 0 0 0 2 0 0 0 20 0 20 0 89571452 26730651648 9827 33554432000 4194304 4196468 140722355437264 140709711542768 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20790] ppid=20771 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7 /proc/20773/task/20790/stat : 20790 (java) S 20771 20771 19980 0 -1 1077944384 703 0 0 0 8 0 0 0 20 0 20 0 89571452 26730651648 9827 33554432000 4194304 4196468 140722355437264 140709710490224 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20791] ppid=20771 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20791/stat : 20791 (java) S 20771 20771 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89571452 26730651648 9827 33554432000 4194304 4196468 140722355437264 140709709437408 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20792] ppid=20771 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/20773/task/20792/stat : 20792 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571452 26730651648 9827 33554432000 4194304 4196468 140722355437264 140709708384944 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40764 KiB [startup+0.310936 s]* /proc/loadavg: 7.35 7.55 7.60 3/199 20792 /proc/meminfo: memFree=20200552/32770624 swapFree=67108860/67108860 [pid=20771] ppid=20768 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20771/stat : 20771 (xcsp3-exec) S 20768 20771 19980 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89571446 115843072 364 33554432000 4194304 5098028 140732766222336 140732766220440 140094098121340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7290880 140732766225462 140732766225664 140732766225664 140732766228426 0 /proc/20771/statm: 28282 364 306 221 0 87 0 [pid=20773] ppid=20771 vsize=26108408 memory=46664 CPUtime=0.52 cores=0-7 /proc/20773/stat : 20773 (java) S 20771 20771 19980 0 -1 1077944320 9395 0 0 0 49 3 0 0 20 0 20 0 89571446 26735009792 11666 33554432000 4194304 4196468 140722355437264 140722355419808 140711446499063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 /proc/20773/statm: 6527102 11666 3232 1 0 6488315 0 [pid=20773/tid=20774] ppid=20771 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/20773/task/20774/stat : 20774 (java) R 20771 20771 19980 0 -1 4202560 6322 0 0 0 28 1 0 0 20 0 20 0 89571446 26735009792 11666 33554432000 4194304 4196468 140722355437264 140711450730176 140711430579550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20775] ppid=20771 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20775/stat : 20775 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26735009792 11666 33554432000 4194304 4196468 140722355437264 140711399119376 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20776] ppid=20771 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20776/stat : 20776 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26735009792 11666 33554432000 4194304 4196468 140722355437264 140711398066832 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20777] ppid=20771 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20777/stat : 20777 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26735009792 11666 33554432000 4194304 4196468 140722355437264 140711397013776 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20778] ppid=20771 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20778/stat : 20778 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26735009792 11666 33554432000 4194304 4196468 140722355437264 140711395961232 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20779] ppid=20771 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/20773/task/20779/stat : 20779 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26735009792 11666 33554432000 4194304 4196468 140722355437264 140711394909200 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20780] ppid=20771 vsize=26108408 memory=140250949186479 CPUtime=0 cores=0-7 /proc/20773/task/20780/stat : 20780 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26735009792 11666 33554432000 4194304 4196468 140722355437264 140711393856656 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20781] ppid=20771 vsize=26108408 memory=140250949188784 CPUtime=0 cores=0-7 /proc/20773/task/20781/stat : 20781 (java) S 20771 20771 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89571447 26735009792 11666 33554432000 4194304 4196468 140722355437264 140711392803600 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20782] ppid=20771 vsize=26108408 memory=140250949191088 CPUtime=0 cores=0-7 /proc/20773/task/20782/stat : 20782 (java) S 20771 20771 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89571447 26735009792 11666 33554432000 4194304 4196468 140722355437264 140711391751056 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20783] ppid=20771 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20783/stat : 20783 (java) S 20771 20771 19980 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89571448 26735009792 11666 33554432000 4194304 4196468 140722355437264 140709717858544 140711446510210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20784] ppid=20771 vsize=26108408 memory=280501898389136 CPUtime=0 cores=0-7 /proc/20773/task/20784/stat : 20784 (java) S 20771 20771 19980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89571449 26735009792 11666 33554432000 4194304 4196468 140722355437264 140709716804768 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20785] ppid=20771 vsize=26108408 memory=280501898396048 CPUtime=0 cores=0-7 /proc/20773/task/20785/stat : 20785 (java) S 20771 20771 19980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89571449 26735009792 11666 33554432000 4194304 4196468 140722355437264 140709715751664 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20786] ppid=20771 vsize=26108408 memory=280501898337328 CPUtime=0 cores=0-7 /proc/20773/task/20786/stat : 20786 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571451 26735009792 11666 33554432000 4194304 4196468 140722355437264 140709714700240 140711446517659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20787] ppid=20771 vsize=26108408 memory=280501898409872 CPUtime=0.01 cores=0-7 /proc/20773/task/20787/stat : 20787 (java) S 20771 20771 19980 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 89571451 26735009792 11666 33554432000 4194304 4196468 140722355437264 140709713648368 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20788] ppid=20771 vsize=26108408 memory=280501898416784 CPUtime=0.03 cores=0-7 /proc/20773/task/20788/stat : 20788 (java) S 20771 20771 19980 0 -1 1077944384 155 0 0 0 3 0 0 0 20 0 20 0 89571451 26735009792 11666 33554432000 4194304 4196468 140722355437264 140709712595824 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20789] ppid=20771 vsize=26108408 memory=280501898414480 CPUtime=0.03 cores=0-7 /proc/20773/task/20789/stat : 20789 (java) S 20771 20771 19980 0 -1 1077944384 520 0 0 0 3 0 0 0 20 0 20 0 89571452 26735009792 11666 33554432000 4194304 4196468 140722355437264 140709711542768 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20790] ppid=20771 vsize=26108408 memory=280501898430640 CPUtime=0.12 cores=0-7 /proc/20773/task/20790/stat : 20790 (java) S 20771 20771 19980 0 -1 1077944384 755 0 0 0 12 0 0 0 20 0 20 0 89571452 26735009792 11666 33554432000 4194304 4196468 140722355437264 140709710490224 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20791] ppid=20771 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20773/task/20791/stat : 20791 (java) S 20771 20771 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89571452 26735009792 11666 33554432000 4194304 4196468 140722355437264 140709709437408 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20792] ppid=20771 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/20773/task/20792/stat : 20792 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571452 26735009792 11666 33554432000 4194304 4196468 140722355437264 140709708384944 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48120 KiB [startup+0.70096 s] /proc/loadavg: 7.35 7.55 7.60 3/199 20792 /proc/meminfo: memFree=20183552/32770624 swapFree=67108860/67108860 [pid=20771] ppid=20768 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20771/stat : 20771 (xcsp3-exec) S 20768 20771 19980 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89571446 115843072 364 33554432000 4194304 5098028 140732766222336 140732766220440 140094098121340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7290880 140732766225462 140732766225664 140732766225664 140732766228426 0 /proc/20771/statm: 28282 364 306 221 0 87 0 [pid=20773] ppid=20771 vsize=26110532 memory=87440 CPUtime=1.62 cores=0-7 /proc/20773/stat : 20773 (java) S 20771 20771 19980 0 -1 1077944320 12976 0 0 0 157 5 0 0 20 0 20 0 89571446 26737184768 21860 33554432000 4194304 4196468 140722355437264 140722355419808 140711446499063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 /proc/20773/statm: 6527633 21860 3364 1 0 6488827 0 [pid=20773/tid=20774] ppid=20771 vsize=26110532 memory=280501898725568 CPUtime=0.67 cores=0-7 /proc/20773/task/20774/stat : 20774 (java) R 20771 20771 19980 0 -1 4202560 7176 0 0 0 65 2 0 0 20 0 20 0 89571446 26737184768 21860 33554432000 4194304 4196468 140722355437264 140711450730720 140711068834803 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20775] ppid=20771 vsize=26110532 memory=1228 CPUtime=0 cores=0-7 /proc/20773/task/20775/stat : 20775 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26737184768 21860 33554432000 4194304 4196468 140722355437264 140711399119376 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20776] ppid=20771 vsize=26110532 memory=1428 CPUtime=0 cores=0-7 /proc/20773/task/20776/stat : 20776 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26737184768 21860 33554432000 4194304 4196468 140722355437264 140711398066832 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20777] ppid=20771 vsize=26110532 memory=1196 CPUtime=0 cores=0-7 /proc/20773/task/20777/stat : 20777 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89571447 26737184768 21860 33554432000 4194304 4196468 140722355437264 140711397013776 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 ################ # More data... # ################ [pid=20773/tid=21023] ppid=20771 vsize=26645092 memory=2253548 CPUtime=356.47 cores=0-7 /proc/20773/task/21023/stat : 21023 (java) R 20771 20771 19980 0 -1 4202560 13626 0 0 0 35640 7 0 0 20 0 28 0 89779940 27284574208 563131 33554432000 4194304 4196468 140722355437264 140709251944368 140711067729399 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 Current children cumulated CPU time: 19473.7 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 2253980 KiB [startup+2502.3 s] /proc/loadavg: 8.77 8.50 8.36 9/207 21030 /proc/meminfo: memFree=17981996/32770624 swapFree=67108860/67108860 [pid=20771] ppid=20768 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20771/stat : 20771 (xcsp3-exec) S 20768 20771 19980 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89571446 115843072 364 33554432000 4194304 5098028 140732766222336 140732766220440 140094098121340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7290880 140732766225462 140732766225664 140732766225664 140732766228426 0 /proc/20771/statm: 28282 364 306 221 0 87 0 [pid=20773] ppid=20771 vsize=26645092 memory=2257956 CPUtime=19951.7 cores=0-7 /proc/20773/stat : 20773 (java) S 20771 20771 19980 0 -1 1077944320 434930 0 0 0 1994742 425 0 0 20 0 28 0 89571446 27284574208 564489 33554432000 4194304 4196468 140722355437264 140722355419808 140711446499063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 /proc/20773/statm: 6661273 564489 3447 1 0 6622467 0 [pid=20773/tid=20774] ppid=20771 vsize=26645092 memory=1456 CPUtime=1.55 cores=0-7 /proc/20773/task/20774/stat : 20774 (java) S 20771 20771 19980 0 -1 1077944384 8846 0 0 0 150 5 0 0 20 0 28 0 89571446 27284574208 564489 33554432000 4194304 4196468 140722355437264 140711450739840 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20775] ppid=20771 vsize=26645092 memory=1136 CPUtime=0.91 cores=0-7 /proc/20773/task/20775/stat : 20775 (java) S 20771 20771 19980 0 -1 1077944384 11476 0 0 0 81 10 0 0 20 0 28 0 89571447 27284574208 564489 33554432000 4194304 4196468 140722355437264 140711399119376 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20776] ppid=20771 vsize=26645092 memory=280501901715872 CPUtime=0.88 cores=0-7 /proc/20773/task/20776/stat : 20776 (java) S 20771 20771 19980 0 -1 1077944384 10895 0 0 0 78 10 0 0 20 0 28 0 89571447 27284574208 564489 33554432000 4194304 4196468 140722355437264 140711398066832 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20777] ppid=20771 vsize=26645092 memory=2258468 CPUtime=0.89 cores=0-7 /proc/20773/task/20777/stat : 20777 (java) S 20771 20771 19980 0 -1 1077944384 13460 0 0 0 79 10 0 0 20 0 28 0 89571447 27284574208 564489 33554432000 4194304 4196468 140722355437264 140711397013776 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20778] ppid=20771 vsize=26645092 memory=4012 CPUtime=0.93 cores=0-7 /proc/20773/task/20778/stat : 20778 (java) S 20771 20771 19980 0 -1 1077944384 10004 0 0 0 83 10 0 0 20 0 28 0 89571447 27284574208 564489 33554432000 4194304 4196468 140722355437264 140711395961232 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20779] ppid=20771 vsize=26645092 memory=15092 CPUtime=0.89 cores=0-7 /proc/20773/task/20779/stat : 20779 (java) S 20771 20771 19980 0 -1 1077944384 9824 0 0 0 80 9 0 0 20 0 28 0 89571447 27284574208 564489 33554432000 4194304 4196468 140722355437264 140711394909200 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20780] ppid=20771 vsize=26645092 memory=6791534058613427641 CPUtime=0.86 cores=0-7 /proc/20773/task/20780/stat : 20780 (java) S 20771 20771 19980 0 -1 1077944384 8874 0 0 0 76 10 0 0 20 0 28 0 89571447 27284574208 564489 33554432000 4194304 4196468 140722355437264 140711393856656 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20781] ppid=20771 vsize=26645092 memory=2256400 CPUtime=0.9 cores=0-7 /proc/20773/task/20781/stat : 20781 (java) S 20771 20771 19980 0 -1 1077944384 10867 0 0 0 79 11 0 0 20 0 28 0 89571447 27284574208 564489 33554432000 4194304 4196468 140722355437264 140711392803600 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20782] ppid=20771 vsize=26645092 memory=2251400 CPUtime=0.89 cores=0-7 /proc/20773/task/20782/stat : 20782 (java) S 20771 20771 19980 0 -1 1077944384 7936 0 0 0 80 9 0 0 20 0 28 0 89571447 27284574208 564489 33554432000 4194304 4196468 140722355437264 140711391751056 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20783] ppid=20771 vsize=26645092 memory=1456 CPUtime=0.34 cores=0-7 /proc/20773/task/20783/stat : 20783 (java) S 20771 20771 19980 0 -1 1077944384 32105 0 0 0 23 11 0 0 20 0 28 0 89571448 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709717858544 140711446510210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20784] ppid=20771 vsize=26645092 memory=280501901288736 CPUtime=0 cores=0-7 /proc/20773/task/20784/stat : 20784 (java) S 20771 20771 19980 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 89571449 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709716804832 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20785] ppid=20771 vsize=26645092 memory=7451318181712910688 CPUtime=0 cores=0-7 /proc/20773/task/20785/stat : 20785 (java) S 20771 20771 19980 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 89571449 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709715751680 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20786] ppid=20771 vsize=26645092 memory=3472328296227679313 CPUtime=0 cores=0-7 /proc/20773/task/20786/stat : 20786 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89571451 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709714700240 140711446517659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20787] ppid=20771 vsize=26645092 memory=6003393283590941289 CPUtime=2.73 cores=0-7 /proc/20773/task/20787/stat : 20787 (java) S 20771 20771 19980 0 -1 1077944384 14532 0 0 0 271 2 0 0 20 0 28 0 89571451 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709713648368 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20788] ppid=20771 vsize=26645092 memory=912 CPUtime=2.82 cores=0-7 /proc/20773/task/20788/stat : 20788 (java) S 20771 20771 19980 0 -1 1077944384 20921 0 0 0 279 3 0 0 20 0 28 0 89571451 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709712595824 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20789] ppid=20771 vsize=26645092 memory=4140 CPUtime=2.75 cores=0-7 /proc/20773/task/20789/stat : 20789 (java) S 20771 20771 19980 0 -1 1077944384 16247 0 0 0 272 3 0 0 20 0 28 0 89571452 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709711542768 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20790] ppid=20771 vsize=26645092 memory=8026373749632951401 CPUtime=1.09 cores=0-7 /proc/20773/task/20790/stat : 20790 (java) S 20771 20771 19980 0 -1 1077944384 15434 0 0 0 106 3 0 0 20 0 28 0 89571452 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709710490224 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20791] ppid=20771 vsize=26645092 memory=8026373749632951401 CPUtime=0 cores=0-7 /proc/20773/task/20791/stat : 20791 (java) S 20771 20771 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89571452 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709709437408 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20792] ppid=20771 vsize=26645092 memory=229513255034455 CPUtime=0.81 cores=0-7 /proc/20773/task/20792/stat : 20792 (java) S 20771 20771 19980 0 -1 1077944384 6179 0 0 0 0 81 0 0 20 0 28 0 89571452 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709708384944 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=21016] ppid=20771 vsize=26645092 memory=-8820979915922421270 CPUtime=414.09 cores=0-7 /proc/20773/task/21016/stat : 21016 (java) R 20771 20771 19980 0 -1 4202560 4137 0 0 0 41408 1 0 0 20 0 28 0 89779940 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709255100968 140711073395670 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=21017] ppid=20771 vsize=26645092 memory=1456 CPUtime=414.77 cores=0-7 /proc/20773/task/21017/stat : 21017 (java) R 20771 20771 19980 0 -1 4202560 5264 0 0 0 41476 1 0 0 20 0 28 0 89779940 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709250894624 140711073396584 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=21018] ppid=20771 vsize=26645092 memory=1456 CPUtime=415.78 cores=0-7 /proc/20773/task/21018/stat : 21018 (java) R 20771 20771 19980 0 -1 4202560 8124 0 0 0 41576 2 0 0 20 0 28 0 89779940 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709252997656 140711075671280 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=21019] ppid=20771 vsize=26645092 memory=1456 CPUtime=414.25 cores=0-7 /proc/20773/task/21019/stat : 21019 (java) R 20771 20771 19980 0 -1 4202560 21013 0 0 0 41412 13 0 0 20 0 28 0 89779940 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709254050456 140711069960960 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=21020] ppid=20771 vsize=26645092 memory=25940 CPUtime=415.25 cores=0-7 /proc/20773/task/21020/stat : 21020 (java) R 20771 20771 19980 0 -1 4202560 5901 0 0 0 41522 3 0 0 20 0 28 0 89779940 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709248786664 140711074056357 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=21021] ppid=20771 vsize=26645092 memory=1456 CPUtime=415.6 cores=0-7 /proc/20773/task/21021/stat : 21021 (java) R 20771 20771 19980 0 -1 4202560 4820 0 0 0 41559 1 0 0 20 0 28 0 89779940 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709247733808 140711073354305 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=21022] ppid=20771 vsize=26645092 memory=1456 CPUtime=415.6 cores=0-7 /proc/20773/task/21022/stat : 21022 (java) R 20771 20771 19980 0 -1 4202560 5121 0 0 0 41560 0 0 0 20 0 28 0 89779940 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709249839016 140711074711396 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=21023] ppid=20771 vsize=26645092 memory=2256384 CPUtime=416.23 cores=0-7 /proc/20773/task/21023/stat : 21023 (java) R 20771 20771 19980 0 -1 4202560 16468 0 0 0 41615 8 0 0 20 0 28 0 89779940 27284574208 564489 33554432000 4194304 4196468 140722355437264 140709251944248 140711073826407 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 Current children cumulated CPU time: 19951.7 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 2259412 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.60 8.48 8.35 9/207 21030 /proc/meminfo: memFree=17980296/32770624 swapFree=67108860/67108860 [pid=20771] ppid=20768 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20771/stat : 20771 (xcsp3-exec) S 20768 20771 19980 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89571446 115843072 364 33554432000 4194304 5098028 140732766222336 140732766220440 140094098121340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7290880 140732766225462 140732766225664 140732766225664 140732766228426 0 /proc/20771/statm: 28282 364 306 221 0 87 0 [pid=20773] ppid=20771 vsize=26645092 memory=2261220 CPUtime=20092.5 cores=0-7 /proc/20773/stat : 20773 (java) S 20771 20771 19980 0 -1 1077944320 448572 0 0 0 2008818 431 0 0 20 0 28 0 89571446 27284574208 565305 33554432000 4194304 4196468 140722355437264 140722355419808 140711446499063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 /proc/20773/statm: 6661273 565305 3447 1 0 6622467 0 [pid=20773/tid=20774] ppid=20771 vsize=26645092 memory=4140 CPUtime=1.55 cores=0-7 /proc/20773/task/20774/stat : 20774 (java) S 20771 20771 19980 0 -1 1077944384 8846 0 0 0 150 5 0 0 20 0 28 0 89571446 27284574208 565305 33554432000 4194304 4196468 140722355437264 140711450739840 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20775] ppid=20771 vsize=26645092 memory=4100 CPUtime=0.96 cores=0-7 /proc/20773/task/20775/stat : 20775 (java) S 20771 20771 19980 0 -1 1077944384 11839 0 0 0 86 10 0 0 20 0 28 0 89571447 27284574208 565305 33554432000 4194304 4196468 140722355437264 140711399119376 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20776] ppid=20771 vsize=26645092 memory=-7003737579269690708 CPUtime=0.92 cores=0-7 /proc/20773/task/20776/stat : 20776 (java) S 20771 20771 19980 0 -1 1077944384 11456 0 0 0 82 10 0 0 20 0 28 0 89571447 27284574208 565305 33554432000 4194304 4196468 140722355437264 140711398066832 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20777] ppid=20771 vsize=26645092 memory=1456 CPUtime=0.93 cores=0-7 /proc/20773/task/20777/stat : 20777 (java) S 20771 20771 19980 0 -1 1077944384 14257 0 0 0 83 10 0 0 20 0 28 0 89571447 27284574208 565305 33554432000 4194304 4196468 140722355437264 140711397013776 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20778] ppid=20771 vsize=26645092 memory=2261720 CPUtime=0.98 cores=0-7 /proc/20773/task/20778/stat : 20778 (java) S 20771 20771 19980 0 -1 1077944384 10363 0 0 0 87 11 0 0 20 0 28 0 89571447 27284574208 565305 33554432000 4194304 4196468 140722355437264 140711395961232 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20779] ppid=20771 vsize=26645092 memory=7392 CPUtime=0.94 cores=0-7 /proc/20773/task/20779/stat : 20779 (java) S 20771 20771 19980 0 -1 1077944384 10537 0 0 0 84 10 0 0 20 0 28 0 89571447 27284574208 565305 33554432000 4194304 4196468 140722355437264 140711394909200 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20780] ppid=20771 vsize=26645092 memory=840 CPUtime=0.9 cores=0-7 /proc/20773/task/20780/stat : 20780 (java) S 20771 20771 19980 0 -1 1077944384 9763 0 0 0 80 10 0 0 20 0 28 0 89571447 27284574208 565305 33554432000 4194304 4196468 140722355437264 140711393856656 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20781] ppid=20771 vsize=26645092 memory=1796 CPUtime=0.95 cores=0-7 /proc/20773/task/20781/stat : 20781 (java) S 20771 20771 19980 0 -1 1077944384 11478 0 0 0 84 11 0 0 20 0 28 0 89571447 27284574208 565305 33554432000 4194304 4196468 140722355437264 140711392803600 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20782] ppid=20771 vsize=26645092 memory=912 CPUtime=0.94 cores=0-7 /proc/20773/task/20782/stat : 20782 (java) S 20771 20771 19980 0 -1 1077944384 8488 0 0 0 84 10 0 0 20 0 28 0 89571447 27284574208 565305 33554432000 4194304 4196468 140722355437264 140711391751056 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20783] ppid=20771 vsize=26645092 memory=4140 CPUtime=0.35 cores=0-7 /proc/20773/task/20783/stat : 20783 (java) S 20771 20771 19980 0 -1 1077944384 33716 0 0 0 24 11 0 0 20 0 28 0 89571448 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709717858544 140711446510210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20784] ppid=20771 vsize=26645092 memory=5788 CPUtime=0 cores=0-7 /proc/20773/task/20784/stat : 20784 (java) S 20771 20771 19980 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 89571449 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709716804832 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20785] ppid=20771 vsize=26645092 memory=4616 CPUtime=0 cores=0-7 /proc/20773/task/20785/stat : 20785 (java) S 20771 20771 19980 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 89571449 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709715751680 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20786] ppid=20771 vsize=26645092 memory=12032 CPUtime=0 cores=0-7 /proc/20773/task/20786/stat : 20786 (java) S 20771 20771 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89571451 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709714700240 140711446517659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20787] ppid=20771 vsize=26645092 memory=1008 CPUtime=2.73 cores=0-7 /proc/20773/task/20787/stat : 20787 (java) S 20771 20771 19980 0 -1 1077944384 14538 0 0 0 271 2 0 0 20 0 28 0 89571451 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709713648368 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20788] ppid=20771 vsize=26645092 memory=792 CPUtime=2.82 cores=0-7 /proc/20773/task/20788/stat : 20788 (java) S 20771 20771 19980 0 -1 1077944384 20927 0 0 0 279 3 0 0 20 0 28 0 89571451 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709712595824 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20789] ppid=20771 vsize=26645092 memory=1716 CPUtime=2.75 cores=0-7 /proc/20773/task/20789/stat : 20789 (java) S 20771 20771 19980 0 -1 1077944384 16254 0 0 0 272 3 0 0 20 0 28 0 89571452 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709711542768 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20790] ppid=20771 vsize=26645092 memory=1952 CPUtime=1.09 cores=0-7 /proc/20773/task/20790/stat : 20790 (java) S 20771 20771 19980 0 -1 1077944384 15440 0 0 0 106 3 0 0 20 0 28 0 89571452 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709710490224 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20791] ppid=20771 vsize=26645092 memory=8580 CPUtime=0 cores=0-7 /proc/20773/task/20791/stat : 20791 (java) S 20771 20771 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89571452 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709709437408 140711446509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=20792] ppid=20771 vsize=26645092 memory=15872 CPUtime=0.81 cores=0-7 /proc/20773/task/20792/stat : 20792 (java) S 20771 20771 19980 0 -1 1077944384 6285 0 0 0 0 81 0 0 20 0 28 0 89571452 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709708384944 140711446510210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=21016] ppid=20771 vsize=26645092 memory=4012 CPUtime=431.63 cores=0-7 /proc/20773/task/21016/stat : 21016 (java) R 20771 20771 19980 0 -1 4202560 4587 0 0 0 43162 1 0 0 20 0 28 0 89779940 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709255101048 140711074711396 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=21017] ppid=20771 vsize=26645092 memory=15092 CPUtime=432.38 cores=0-7 /proc/20773/task/21017/stat : 21017 (java) R 20771 20771 19980 0 -1 4202560 5580 0 0 0 43237 1 0 0 20 0 28 0 89779940 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709250891624 140711069972632 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=21018] ppid=20771 vsize=26645092 memory=4100 CPUtime=433.43 cores=0-7 /proc/20773/task/21018/stat : 21018 (java) R 20771 20771 19980 0 -1 4202560 8892 0 0 0 43340 3 0 0 20 0 28 0 89779940 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709252997608 140711074189847 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=21019] ppid=20771 vsize=26645092 memory=1408 CPUtime=431.76 cores=0-7 /proc/20773/task/21019/stat : 21019 (java) R 20771 20771 19980 0 -1 4202560 22675 0 0 0 43161 15 0 0 20 0 28 0 89779940 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709254050408 140711073306560 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=21020] ppid=20771 vsize=26645092 memory=3916 CPUtime=432.58 cores=0-7 /proc/20773/task/21020/stat : 21020 (java) R 20771 20771 19980 0 -1 4202560 6402 0 0 0 43255 3 0 0 20 0 28 0 89779940 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709248786480 140711073827066 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=21021] ppid=20771 vsize=26645092 memory=1456 CPUtime=433.2 cores=0-7 /proc/20773/task/21021/stat : 21021 (java) R 20771 20771 19980 0 -1 4202560 5314 0 0 0 43319 1 0 0 20 0 28 0 89779940 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709247734184 140711074647293 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=21022] ppid=20771 vsize=26645092 memory=2262188 CPUtime=433.19 cores=0-7 /proc/20773/task/21022/stat : 21022 (java) R 20771 20771 19980 0 -1 4202560 5607 0 0 0 43318 1 0 0 20 0 28 0 89779940 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709249839672 140711074711496 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 [pid=20773/tid=21023] ppid=20771 vsize=26645092 memory=6791534058613427641 CPUtime=433.87 cores=0-7 /proc/20773/task/21023/stat : 21023 (java) R 20771 20771 19980 0 -1 4202560 18846 0 0 0 43378 9 0 0 20 0 28 0 89779940 27284574208 565305 33554432000 4194304 4196468 140722355437264 140709251947104 140711072639703 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25759744 140722355438721 140722355438893 140722355438893 140722355441615 0 Current children cumulated CPU time: 20092.5 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 2262676 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 20771 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.002323 s, system=0 s [startup+2520.12 s] # the end of solver process 20773 was just reported to runsolver # cumulated CPU time of all completed processes: user=20088.9 s, system=4.33271 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): 20093.3 CPU user time (s): 20088.9 CPU system time (s): 4.33271 CPU usage (%): 797.315 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 2263644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20088.9 system time used= 4.33271 maximum resident set size= 2262212 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 449638 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= 79679 involuntary context switches= 204668 # summary of solver processes directly reported to runsolver: # pid: 20771,20773 # total CPU time (s): 20093.3 # total CPU user time (s): 20088.9 # total CPU system time (s): 4.33271 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 25.8931 second user time and 25.7077 second system time The end
Begin job on node103 at 2018-07-27 21:34:43 IDJOB=4297616 IDBENCH=141424 IDSOLVER=2760 FILE ID=node103/4297616-1532720083 RUNJOBID= node103-1532713409-20007 PBS_JOBID= 21022320 Free space on /tmp= 56536 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/LowAutocorrelation/LowAutocorrelation-040_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297616-1532720083/watcher-4297616-1532720083 -o /tmp/evaluation-result-4297616-1532720083/solver-4297616-1532720083 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532713409-20007 --watchdog 2580 HOME/xcsp3-exec -seed 424575500 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297616-1532720083.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4e9e0842de773da2d9de44121d9bf85e RANDOM SEED=424575500 node103.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.48 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.48 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.48 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.48 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: 20233936 kB MemAvailable: 31929176 kB Buffers: 297836 kB Cached: 11581900 kB SwapCached: 0 kB Active: 3918848 kB Inactive: 8014892 kB Active(anon): 56836 kB Inactive(anon): 25184 kB Active(file): 3862012 kB Inactive(file): 7989708 kB Unevictable: 7120 kB Mlocked: 7120 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 22068 kB Writeback: 0 kB AnonPages: 60692 kB Mapped: 42340 kB Shmem: 25228 kB Slab: 299388 kB SReclaimable: 271980 kB SUnreclaim: 27408 kB KernelStack: 3152 kB PageTables: 4672 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324024 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56516 MiB End job on node103 at 2018-07-27 22:16:43