Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | SAT (TO) | 175 | 2400.7 | 302.912 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml |
| MD5SUM | 5c46c59146557e02d06c9ff3e1746190 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 95 |
| Best CPU time to get the best result obtained on this benchmark | 20037.801 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1481 |
| Number of constraints | 777 |
| Number of domains | 75 |
| Minimum domain size | 2 |
| Maximum domain size | 75 |
| Distribution of domain sizes | [{"size":2,"count":742},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":33,"count":2}, {"size":34,"count":1}, {"size":35,"count":2}, {"size":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":1}, {"size":41,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 37 |
| Distribution of variable degrees | [{"degree":0,"count":666},{"degree":2,"count":777},{"degree":37,"count":38}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 38 |
| Distribution of constraint arities | [{"arity":2,"count":38},{"arity":3,"count":704},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 740 |
| Distribution of constraint types | [{"type":"intension","count":740},{"type":"sum","count":37}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4247440-1500690198.xml" -tl '2400s' -p 8 -x 3 0.00/0.18 c [HOME/instance-4247440-1500690198.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.23 c 8 solvers in parallel 0.00/0.30 c parse instance... 4.20/1.38 c solve instance... 5.38/1.54 o 17575 5.38/1.56 o 14911 6.14/1.63 o 14775 6.14/1.63 o 12671 6.14/1.67 o 12407 6.14/1.68 o 10823 6.14/1.69 o 10543 6.69/1.70 o 10439 6.69/1.71 o 9335 6.69/1.72 o 9167 6.69/1.72 o 9039 6.69/1.73 o 8839 6.69/1.73 o 8175 6.69/1.76 o 7991 6.69/1.77 o 7847 6.69/1.77 o 591 6.69/1.79 o 439 8.59/2.02 o 423 8.59/2.02 o 399 10.04/2.22 o 391 12.34/2.58 o 375 19.48/3.59 o 351 22.60/3.91 o 295 54.28/7.99 o 287 68.37/9.77 o 279 139.07/18.65 o 263 153.81/20.57 o 247 369.86/47.70 o 239 708.94/90.34 o 231 832.83/105.99 o 215 1278.55/162.00 o 199 2044.83/258.23 o 175 2400.70/302.93 s SATISFIABLE 2400.70/302.93 v <instantiation> 2400.70/302.93 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> 2400.70/302.93 v <values>-1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -2 1 -4 3 0 -3 2 1 2 5 -2 1 2 3 0 3 0 1 2 -1 -2 3 -4 -3 0 1 0 1 4 1 -2 -1 2 1 0 -1 1 4 1 16 9 0 9 4 1 4 25 4 1 4 9 0 9 0 1 4 1 4 9 16 9 0 1 0 1 16 1 4 1 4 1 0 1 </values> 2400.70/302.93 v </instantiation> 2400.70/302.93 c Unexpected resolution interruption!
OK 175
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247440-1500690198/watcher-4247440-1500690198 -o /tmp/evaluation-result-4247440-1500690198/solver-4247440-1500690198 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 497675996 HOME/instance-4247440-1500690198.xml pid=647 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 9.84 12.43 13.93 10/270 651 /proc/meminfo: memFree=31127060/32770624 swapFree=5808/113996 [pid=651] ppid=647 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/651/stat : 651 (xcsp3-exec) S 647 651 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284869 9740288 346 33554432000 4194304 5098028 140726489318624 140726489316728 139959812244092 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7794688 140726489322639 140726489322848 140726489322848 140726489325547 0 /proc/651/statm: 2378 346 289 221 0 87 0 [startup+0.100099 s] /proc/loadavg: 9.84 12.43 13.93 10/270 651 /proc/meminfo: memFree=31127060/32770624 swapFree=5808/113996 [pid=651] ppid=647 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/651/stat : 651 (xcsp3-exec) S 647 651 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284869 9740288 346 33554432000 4194304 5098028 140726489318624 140726489316728 139959812244092 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7794688 140726489322639 140726489322848 140726489322848 140726489325547 0 /proc/651/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200303 s] /proc/loadavg: 9.84 12.43 13.93 10/270 651 /proc/meminfo: memFree=31127060/32770624 swapFree=5808/113996 [pid=651] ppid=647 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/651/stat : 651 (xcsp3-exec) S 647 651 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284869 9740288 346 33554432000 4194304 5098028 140726489318624 140726489316728 139959812244092 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7794688 140726489322639 140726489322848 140726489322848 140726489325547 0 /proc/651/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300288 s] /proc/loadavg: 9.84 12.43 13.93 10/270 651 /proc/meminfo: memFree=31127060/32770624 swapFree=5808/113996 [pid=651] ppid=647 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/651/stat : 651 (xcsp3-exec) S 647 651 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284869 9740288 346 33554432000 4194304 5098028 140726489318624 140726489316728 139959812244092 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7794688 140726489322639 140726489322848 140726489322848 140726489325547 0 /proc/651/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700218 s] /proc/loadavg: 9.84 12.43 13.93 10/270 651 /proc/meminfo: memFree=31127060/32770624 swapFree=5808/113996 [pid=651] ppid=647 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/651/stat : 651 (xcsp3-exec) S 647 651 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284869 9740288 346 33554432000 4194304 5098028 140726489318624 140726489316728 139959812244092 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7794688 140726489322639 140726489322848 140726489322848 140726489325547 0 /proc/651/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50121 s] /proc/loadavg: 9.84 12.43 13.93 20/291 682 /proc/meminfo: memFree=30888504/32770624 swapFree=5808/113972 [pid=651] ppid=647 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/651/stat : 651 (xcsp3-exec) S 647 651 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284869 9740288 346 33554432000 4194304 5098028 140726489318624 140726489316728 139959812244092 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7794688 140726489322639 140726489322848 140726489322848 140726489325547 0 /proc/651/statm: 2378 346 289 221 0 87 0 [pid=652] ppid=651 vsize=13801768 CPUtime=5.38 cores=1,3,5,7,9,11,13,15 /proc/652/stat : 652 (java) S 651 651 15196 0 -1 1077944320 22996 0 0 0 519 19 0 0 20 0 28 0 4284870 14133010432 53613 33554432000 4194304 4196468 140734284531376 140734284513920 139694577647351 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 /proc/652/statm: 3450442 53613 3248 1 0 3437675 0 [pid=652/tid=654] ppid=651 vsize=13801768 CPUtime=1.33 cores=1,3,5,7,9,11,13,15 /proc/652/task/654/stat : 654 (java) S 651 651 15196 0 -1 1077944384 7811 0 0 0 128 5 0 0 20 0 28 0 4284870 14133010432 53613 33554432000 4194304 4196468 140734284531376 139694581888128 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=658] ppid=651 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/652/task/658/stat : 658 (java) S 651 651 15196 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 28 0 4284871 14133010432 53613 33554432000 4194304 4196468 140734284531376 139694496127632 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=659] ppid=651 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/659/stat : 659 (java) S 651 651 15196 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 4284871 14133010432 53613 33554432000 4194304 4196468 140734284531376 139694495074832 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=660] ppid=651 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/652/task/660/stat : 660 (java) S 651 651 15196 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 28 0 4284871 14133010432 53613 33554432000 4194304 4196468 140734284531376 139694494022032 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=663] ppid=651 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/663/stat : 663 (java) S 651 651 15196 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 28 0 4284871 14133010432 53613 33554432000 4194304 4196468 140734284531376 139694492969232 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=664] ppid=651 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/652/task/664/stat : 664 (java) S 651 651 15196 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 28 0 4284871 14133010432 53613 33554432000 4194304 4196468 140734284531376 139694491917456 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=665] ppid=651 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/652/task/665/stat : 665 (java) S 651 651 15196 0 -1 1077944384 118 0 0 0 0 1 0 0 20 0 28 0 4284871 14133010432 53613 33554432000 4194304 4196468 140734284531376 139694490864656 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=666] ppid=651 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/666/stat : 666 (java) S 651 651 15196 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4284871 14133010432 53613 33554432000 4194304 4196468 140734284531376 139694489811856 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=667] ppid=651 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/667/stat : 667 (java) S 651 651 15196 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4284871 14133010432 53613 33554432000 4194304 4196468 140734284531376 139694488759056 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=673] ppid=651 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/673/stat : 673 (java) S 651 651 15196 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 28 0 4284873 14133010432 53613 33554432000 4194304 4196468 140734284531376 139693770815856 139694577658498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=674] ppid=651 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/674/stat : 674 (java) S 651 651 15196 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4284874 14133010432 53613 33554432000 4194304 4196468 140734284531376 139693769761824 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=675] ppid=651 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/675/stat : 675 (java) S 651 651 15196 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4284874 14133010432 53613 33554432000 4194304 4196468 140734284531376 139693768708976 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=676] ppid=651 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/676/stat : 676 (java) S 651 651 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4284877 14133010432 53613 33554432000 4194304 4196468 140734284531376 139693767657296 139694577665947 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=677] ppid=651 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15 /proc/652/task/677/stat : 677 (java) R 651 651 15196 0 -1 4202560 3987 0 0 0 87 1 0 0 20 0 28 0 4284877 14133010432 53613 33554432000 4194304 4196468 140734284531376 139693766591560 139694559194782 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=678] ppid=651 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15 /proc/652/task/678/stat : 678 (java) R 651 651 15196 0 -1 4202560 2878 0 0 0 90 1 0 0 20 0 28 0 4284877 14133010432 53613 33554432000 4194304 4196468 140734284531376 139693765544720 139694561144131 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=679] ppid=651 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15 /proc/652/task/679/stat : 679 (java) R 651 651 15196 0 -1 4202560 2325 0 0 0 87 1 0 0 20 0 28 0 4284877 14133010432 53613 33554432000 4194304 4196468 140734284531376 139693764500096 139694557474383 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=680] ppid=651 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15 /proc/652/task/680/stat : 680 (java) R 651 651 15196 0 -1 4202560 3613 0 0 0 80 1 0 0 20 0 28 0 4284877 14133010432 53613 33554432000 4194304 4196468 140734284531376 139693763443816 139694556770784 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=681] ppid=651 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/681/stat : 681 (java) S 651 651 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4284878 14133010432 53613 33554432000 4194304 4196468 140734284531376 139693762394720 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=682] ppid=651 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/682/stat : 682 (java) S 651 651 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4284878 14133010432 53613 33554432000 4194304 4196468 140734284531376 139693761342000 139694577658498 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 Current children cumulated CPU time (s) 5.38 Current children cumulated vsize (KiB) 13811280 [startup+3.10128 s] /proc/loadavg: 9.84 12.43 13.93 13/299 855 /proc/meminfo: memFree=30745612/32770624 swapFree=5808/113972 [pid=651] ppid=647 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/651/stat : 651 (xcsp3-exec) S 647 651 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284869 9740288 346 33554432000 4194304 5098028 140726489318624 140726489316728 139959812244092 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7794688 140726489322639 140726489322848 140726489322848 140726489325547 0 /proc/651/statm: 2378 346 289 221 0 87 0 [pid=652] ppid=651 vsize=13803816 CPUtime=16.56 cores=1,3,5,7,9,11,13,15 /proc/652/stat : 652 (java) S 651 651 15196 0 -1 1077944320 28937 0 0 0 1603 53 0 0 20 0 28 0 4284870 14135107584 97411 33554432000 4194304 4196468 140734284531376 140734284513920 139694577647351 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 /proc/652/statm: 3450954 97411 3282 1 0 3438187 0 [pid=652/tid=654] ppid=651 vsize=13803816 CPUtime=1.35 cores=1,3,5,7,9,11,13,15 /proc/652/task/654/stat : 654 (java) S 651 651 15196 0 -1 1077944384 7811 0 0 0 130 5 0 0 20 0 28 0 4284870 14135107584 97411 33554432000 4194304 4196468 140734284531376 139694581888128 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=658] ppid=651 vsize=13803816 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/652/task/658/stat : 658 (java) S 651 651 15196 0 -1 1077944384 72 0 0 0 4 3 0 0 20 0 28 0 4284871 14135107584 97411 33554432000 4194304 4196468 140734284531376 139694496127632 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=659] ppid=651 vsize=13803816 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/652/task/659/stat : 659 (java) S 651 651 15196 0 -1 1077944384 61 0 0 0 3 4 0 0 20 0 28 0 4284871 14135107584 97411 33554432000 4194304 4196468 140734284531376 139694495074832 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=660] ppid=651 vsize=13803816 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/652/task/660/stat : 660 (java) S 651 651 15196 0 -1 1077944384 64 0 0 0 3 3 0 0 20 0 28 0 4284871 14135107584 97411 33554432000 4194304 4196468 140734284531376 139694494022032 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=663] ppid=651 vsize=13803816 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/652/task/663/stat : 663 (java) S 651 651 15196 0 -1 1077944384 225 0 0 0 4 4 0 0 20 0 28 0 4284871 14135107584 97411 33554432000 4194304 4196468 140734284531376 139694492969232 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=664] ppid=651 vsize=13803816 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/652/task/664/stat : 664 (java) S 651 651 15196 0 -1 1077944384 79 0 0 0 4 4 0 0 20 0 28 0 4284871 14135107584 97411 33554432000 4194304 4196468 140734284531376 139694491917456 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=665] ppid=651 vsize=13803816 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/652/task/665/stat : 665 (java) S 651 651 15196 0 -1 1077944384 146 0 0 0 3 5 0 0 20 0 28 0 4284871 14135107584 97411 33554432000 4194304 4196468 140734284531376 139694490864656 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=666] ppid=651 vsize=13803816 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/652/task/666/stat : 666 (java) S 651 651 15196 0 -1 1077944384 97 0 0 0 3 4 0 0 20 0 28 0 4284871 14135107584 97411 33554432000 4194304 4196468 140734284531376 139694489811856 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=667] ppid=651 vsize=13803816 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/652/task/667/stat : 667 (java) S 651 651 15196 0 -1 1077944384 37 0 0 0 3 3 0 0 20 0 28 0 4284871 14135107584 97411 33554432000 4194304 4196468 140734284531376 139694488759056 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=673] ppid=651 vsize=13803816 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/652/task/673/stat : 673 (java) S 651 651 15196 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 28 0 4284873 14135107584 97411 33554432000 4194304 4196468 140734284531376 139693770815856 139694577658498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=674] ppid=651 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/674/stat : 674 (java) S 651 651 15196 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4284874 14135107584 97411 33554432000 4194304 4196468 140734284531376 139693769761888 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=675] ppid=651 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/675/stat : 675 (java) S 651 651 15196 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4284874 14135107584 97411 33554432000 4194304 4196468 140734284531376 139693768708992 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=676] ppid=651 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/676/stat : 676 (java) S 651 651 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4284877 14135107584 97411 33554432000 4194304 4196468 140734284531376 139693767657296 139694577665947 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=677] ppid=651 vsize=13803816 CPUtime=2.02 cores=1,3,5,7,9,11,13,15 /proc/652/task/677/stat : 677 (java) D 651 651 15196 0 -1 4202560 4256 0 0 0 201 1 0 0 20 0 28 0 4284877 14135107584 97411 33554432000 4194304 4196468 140734284531376 139693766591904 139694569936733 0 4 0 16800975 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=678] ppid=651 vsize=13803816 CPUtime=1.96 cores=1,3,5,7,9,11,13,15 /proc/652/task/678/stat : 678 (java) D 651 651 15196 0 -1 4202560 3843 0 0 0 195 1 0 0 20 0 28 0 4284877 14135107584 97411 33554432000 4194304 4196468 140734284531376 139693765539424 139694562217409 0 4 0 16800975 18446744071582151416 0 0 -1 11 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=679] ppid=651 vsize=13803816 CPUtime=2.02 cores=1,3,5,7,9,11,13,15 /proc/652/task/679/stat : 679 (java) D 651 651 15196 0 -1 4202560 2839 0 0 0 201 1 0 0 20 0 28 0 4284877 14135107584 97411 33554432000 4194304 4196468 140734284531376 139693764481096 139694570364503 0 4 0 16800975 18446744071582151463 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=680] ppid=651 vsize=13803816 CPUtime=1.21 cores=1,3,5,7,9,11,13,15 /proc/652/task/680/stat : 680 (java) D 651 651 15196 0 -1 4202560 4057 0 0 0 119 2 0 0 20 0 28 0 4284877 14135107584 97411 33554432000 4194304 4196468 140734284531376 139693763447200 139694557571487 0 4 0 16800975 18446744072099691653 0 0 -1 7 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=681] ppid=651 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/681/stat : 681 (java) S 651 651 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4284878 14135107584 97411 33554432000 4194304 4196468 140734284531376 139693762394720 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=682] ppid=651 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/682/stat : 682 (java) D 651 651 15196 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 28 0 4284878 14135107584 97411 33554432000 4194304 4196468 140734284531376 139693761341920 139694562503438 0 4 0 16800975 18446744072099691653 0 0 -1 7 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 Current children cumulated CPU time (s) 16.56 Current children cumulated vsize (KiB) 13813328 [startup+6.30162 s] /proc/loadavg: 10.17 12.46 13.93 17/299 895 /proc/meminfo: memFree=30522896/32770624 swapFree=5808/113984 [pid=651] ppid=647 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/651/stat : 651 (xcsp3-exec) S 647 651 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284869 9740288 346 33554432000 4194304 5098028 140726489318624 140726489316728 139959812244092 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7794688 140726489322639 140726489322848 140726489322848 140726489325547 0 /proc/651/statm: 2378 346 289 221 0 87 0 [pid=652] ppid=651 vsize=13803816 CPUtime=41.57 cores=1,3,5,7,9,11,13,15 /proc/652/stat : 652 (java) S 651 651 15196 0 -1 1077944320 32278 0 0 0 4090 67 0 0 20 0 28 0 4284870 14135107584 103831 33554432000 4194304 4196468 140734284531376 140734284513920 139694577647351 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 /proc/652/statm: 3450954 103831 3290 1 0 3438187 0 [pid=652/tid=654] ppid=651 vsize=13803816 CPUtime=1.36 cores=1,3,5,7,9,11,13,15 /proc/652/task/654/stat : 654 (java) S 651 651 15196 0 -1 1077944384 7854 0 0 0 131 5 0 0 20 0 28 0 4284870 14135107584 103831 33554432000 4194304 4196468 140734284531376 139694581888128 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=658] ppid=651 vsize=13803816 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/652/task/658/stat : 658 (java) S 651 651 15196 0 -1 1077944384 122 0 0 0 4 5 0 0 20 0 28 0 4284871 14135107584 103831 33554432000 4194304 4196468 140734284531376 139694496127632 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=659] ppid=651 vsize=13803816 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/652/task/659/stat : 659 (java) S 651 651 15196 0 -1 1077944384 77 0 0 0 4 6 0 0 20 0 28 0 4284871 14135107584 103831 33554432000 4194304 4196468 140734284531376 139694495074832 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=660] ppid=651 vsize=13803816 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/652/task/660/stat : 660 (java) S 651 651 15196 0 -1 1077944384 83 0 0 0 5 5 0 0 20 0 28 0 4284871 14135107584 103831 33554432000 4194304 4196468 140734284531376 139694494022032 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=663] ppid=651 vsize=13803816 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/652/task/663/stat : 663 (java) S 651 651 15196 0 -1 1077944384 244 0 0 0 5 5 0 0 20 0 28 0 4284871 14135107584 103831 33554432000 4194304 4196468 140734284531376 139694492969232 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=664] ppid=651 vsize=13803816 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/652/task/664/stat : 664 (java) S 651 651 15196 0 -1 1077944384 111 0 0 0 6 6 0 0 20 0 28 0 4284871 14135107584 103831 33554432000 4194304 4196468 140734284531376 139694491917456 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=665] ppid=651 vsize=13803816 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/652/task/665/stat : 665 (java) S 651 651 15196 0 -1 1077944384 160 0 0 0 4 6 0 0 20 0 28 0 4284871 14135107584 103831 33554432000 4194304 4196468 140734284531376 139694490864656 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=666] ppid=651 vsize=13803816 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/652/task/666/stat : 666 (java) S 651 651 15196 0 -1 1077944384 151 0 0 0 5 6 0 0 20 0 28 0 4284871 14135107584 103831 33554432000 4194304 4196468 140734284531376 139694489811856 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=667] ppid=651 vsize=13803816 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/652/task/667/stat : 667 (java) S 651 651 15196 0 -1 1077944384 50 0 0 0 4 4 0 0 20 0 28 0 4284871 14135107584 103831 33554432000 4194304 4196468 140734284531376 139694488759056 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=673] ppid=651 vsize=13803816 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/652/task/673/stat : 673 (java) S 651 651 15196 0 -1 1077944384 368 0 0 0 2 1 0 0 20 0 28 0 4284873 14135107584 103831 33554432000 4194304 4196468 140734284531376 139693770815856 139694577658498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=674] ppid=651 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/674/stat : 674 (java) S 651 651 15196 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4284874 14135107584 103831 33554432000 4194304 4196468 140734284531376 139693769761888 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=675] ppid=651 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/675/stat : 675 (java) S 651 651 15196 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4284874 14135107584 103831 33554432000 4194304 4196468 140734284531376 139693768708992 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=676] ppid=651 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/676/stat : 676 (java) S 651 651 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4284877 14135107584 103831 33554432000 4194304 4196468 140734284531376 139693767657296 139694577665947 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 ################ # More data... # ################ [pid=652/tid=1209] ppid=651 vsize=13803816 CPUtime=24.04 cores=1,3,5,7,9,11,13,15 /proc/652/task/1209/stat : 1209 (java) R 651 651 15196 0 -1 4202560 838 0 0 0 2404 0 0 0 20 0 28 0 4310692 14135107584 552281 33554432000 4194304 4196468 140734284531376 139693751722056 139694172418985 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1210] ppid=651 vsize=13803816 CPUtime=24.05 cores=1,3,5,7,9,11,13,15 /proc/652/task/1210/stat : 1210 (java) R 651 651 15196 0 -1 4202560 596 0 0 0 2405 0 0 0 20 0 28 0 4310692 14135107584 552281 33554432000 4194304 4196468 140734284531376 139693753826856 139694170926175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 Current children cumulated CPU time (s) 2236.69 Current children cumulated vsize (KiB) 13813328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+302.902 s] /proc/loadavg: 15.75 14.65 14.49 17/301 1211 /proc/meminfo: memFree=29504340/32770624 swapFree=5808/114944 [pid=651] ppid=647 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/651/stat : 651 (xcsp3-exec) S 647 651 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284869 9740288 346 33554432000 4194304 5098028 140726489318624 140726489316728 139959812244092 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7794688 140726489322639 140726489322848 140726489322848 140726489325547 0 /proc/651/statm: 2378 346 289 221 0 87 0 [pid=652] ppid=651 vsize=13803816 CPUtime=2400.7 cores=1,3,5,7,9,11,13,15 /proc/652/stat : 652 (java) S 651 651 15196 0 -1 1077944320 157491 0 0 0 239888 182 0 0 20 0 28 0 4284870 14135107584 552263 33554432000 4194304 4196468 140734284531376 140734284513920 139694577647351 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 /proc/652/statm: 3450954 552263 3292 1 0 3438187 0 [pid=652/tid=654] ppid=651 vsize=13803816 CPUtime=1.37 cores=1,3,5,7,9,11,13,15 /proc/652/task/654/stat : 654 (java) S 651 651 15196 0 -1 1077944384 8661 0 0 0 131 6 0 0 20 0 28 0 4284870 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694581888128 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=658] ppid=651 vsize=13803816 CPUtime=0.2 cores=1,3,5,7,9,11,13,15 /proc/652/task/658/stat : 658 (java) S 651 651 15196 0 -1 1077944384 372 0 0 0 10 10 0 0 20 0 28 0 4284871 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694496127632 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=659] ppid=651 vsize=13803816 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/652/task/659/stat : 659 (java) S 651 651 15196 0 -1 1077944384 867 0 0 0 10 11 0 0 20 0 28 0 4284871 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694495074832 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=660] ppid=651 vsize=13803816 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/652/task/660/stat : 660 (java) S 651 651 15196 0 -1 1077944384 954 0 0 0 11 10 0 0 20 0 28 0 4284871 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694494022032 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=663] ppid=651 vsize=13803816 CPUtime=0.2 cores=1,3,5,7,9,11,13,15 /proc/652/task/663/stat : 663 (java) S 651 651 15196 0 -1 1077944384 1206 0 0 0 10 10 0 0 20 0 28 0 4284871 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694492969232 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=664] ppid=651 vsize=13803816 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/652/task/664/stat : 664 (java) S 651 651 15196 0 -1 1077944384 917 0 0 0 11 11 0 0 20 0 28 0 4284871 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694491917456 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=665] ppid=651 vsize=13803816 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/652/task/665/stat : 665 (java) S 651 651 15196 0 -1 1077944384 398 0 0 0 10 11 0 0 20 0 28 0 4284871 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694490864656 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=666] ppid=651 vsize=13803816 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/652/task/666/stat : 666 (java) S 651 651 15196 0 -1 1077944384 1305 0 0 0 11 10 0 0 20 0 28 0 4284871 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694489811856 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=667] ppid=651 vsize=13803816 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/652/task/667/stat : 667 (java) S 651 651 15196 0 -1 1077944384 952 0 0 0 10 9 0 0 20 0 28 0 4284871 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694488759056 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=673] ppid=651 vsize=13803816 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/652/task/673/stat : 673 (java) S 651 651 15196 0 -1 1077944384 4986 0 0 0 5 5 0 0 20 0 28 0 4284873 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693770815856 139694577658498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=674] ppid=651 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/674/stat : 674 (java) S 651 651 15196 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4284874 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693769761888 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=675] ppid=651 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/675/stat : 675 (java) S 651 651 15196 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4284874 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693768708992 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=676] ppid=651 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/676/stat : 676 (java) S 651 651 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4284877 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693767657296 139694577665947 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=677] ppid=651 vsize=13803816 CPUtime=4.21 cores=1,3,5,7,9,11,13,15 /proc/652/task/677/stat : 677 (java) S 651 651 15196 0 -1 1077944384 22688 0 0 0 418 3 0 0 20 0 28 0 4284877 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693766605680 139694577658498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=678] ppid=651 vsize=13803816 CPUtime=3.91 cores=1,3,5,7,9,11,13,15 /proc/652/task/678/stat : 678 (java) S 651 651 15196 0 -1 1077944384 17656 0 0 0 388 3 0 0 20 0 28 0 4284877 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693765552880 139694577658498 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=679] ppid=651 vsize=13803816 CPUtime=3.88 cores=1,3,5,7,9,11,13,15 /proc/652/task/679/stat : 679 (java) S 651 651 15196 0 -1 1077944384 15093 0 0 0 385 3 0 0 20 0 28 0 4284877 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693764500080 139694577658498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=680] ppid=651 vsize=13803816 CPUtime=1.48 cores=1,3,5,7,9,11,13,15 /proc/652/task/680/stat : 680 (java) S 651 651 15196 0 -1 1077944384 20025 0 0 0 145 3 0 0 20 0 28 0 4284877 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693763447280 139694577658498 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 14 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=681] ppid=651 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/681/stat : 681 (java) S 651 651 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4284878 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693762394720 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=682] ppid=651 vsize=13803816 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/652/task/682/stat : 682 (java) S 651 651 15196 0 -1 1077944384 1854 0 0 0 7 10 0 0 20 0 28 0 4284878 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693761342000 139694577658498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1203] ppid=651 vsize=13803816 CPUtime=43.9 cores=1,3,5,7,9,11,13,15 /proc/652/task/1203/stat : 1203 (java) R 651 651 15196 0 -1 4202560 599 0 0 0 4390 0 0 0 20 0 28 0 4310692 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693746457464 139694170925933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1204] ppid=651 vsize=13803816 CPUtime=44.4 cores=1,3,5,7,9,11,13,15 /proc/652/task/1204/stat : 1204 (java) R 651 651 15196 0 -1 4202560 580 0 0 0 4440 0 0 0 20 0 28 0 4310692 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693750668968 139694171876489 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1205] ppid=651 vsize=13803816 CPUtime=44.62 cores=1,3,5,7,9,11,13,15 /proc/652/task/1205/stat : 1205 (java) R 651 651 15196 0 -1 4202560 1167 0 0 0 4462 0 0 0 20 0 28 0 4310692 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693748564552 139694171387440 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1206] ppid=651 vsize=13803816 CPUtime=44.18 cores=1,3,5,7,9,11,13,15 /proc/652/task/1206/stat : 1206 (java) R 651 651 15196 0 -1 4202560 2142 0 0 0 4417 1 0 0 20 0 28 0 4310692 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693752777888 139694166165448 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1207] ppid=651 vsize=13803816 CPUtime=44.56 cores=1,3,5,7,9,11,13,15 /proc/652/task/1207/stat : 1207 (java) R 651 651 15196 0 -1 4202560 887 0 0 0 4456 0 0 0 20 0 28 0 4310692 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693749617032 139694166999893 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1208] ppid=651 vsize=13803816 CPUtime=44.62 cores=1,3,5,7,9,11,13,15 /proc/652/task/1208/stat : 1208 (java) R 651 651 15196 0 -1 4202560 292 0 0 0 4462 0 0 0 20 0 28 0 4310692 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693747511360 139694172147789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1209] ppid=651 vsize=13803816 CPUtime=44.61 cores=1,3,5,7,9,11,13,15 /proc/652/task/1209/stat : 1209 (java) R 651 651 15196 0 -1 4202560 1171 0 0 0 4461 0 0 0 20 0 28 0 4310692 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693751722056 139694171387440 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1210] ppid=651 vsize=13803816 CPUtime=44.62 cores=1,3,5,7,9,11,13,15 /proc/652/task/1210/stat : 1210 (java) R 651 651 15196 0 -1 4202560 810 0 0 0 4462 0 0 0 20 0 28 0 4310692 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693753827064 139694164760664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 Current children cumulated CPU time (s) 2400.7 Current children cumulated vsize (KiB) 13813328 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 652 sig 9 ??? kill 651 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+302.902 s] /proc/loadavg: 15.75 14.65 14.49 17/301 1211 /proc/meminfo: memFree=29504340/32770624 swapFree=5808/114944 [pid=651] ppid=647 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/651/stat : 651 (xcsp3-exec) S 647 651 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284869 9740288 346 33554432000 4194304 5098028 140726489318624 140726489316728 139959812244092 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7794688 140726489322639 140726489322848 140726489322848 140726489325547 0 /proc/651/statm: 2378 346 289 221 0 87 0 [pid=652] ppid=651 vsize=13803816 CPUtime=2400.7 cores=1,3,5,7,9,11,13,15 /proc/652/stat : 652 (java) S 651 651 15196 0 -1 1077944320 157491 0 0 0 239888 182 0 0 20 0 28 0 4284870 14135107584 552263 33554432000 4194304 4196468 140734284531376 140734284513920 139694577647351 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 /proc/652/statm: 3450954 552263 3292 1 0 3438187 0 [pid=652/tid=654] ppid=651 vsize=13803816 CPUtime=1.37 cores=1,3,5,7,9,11,13,15 /proc/652/task/654/stat : 654 (java) S 651 651 15196 0 -1 1077944384 8661 0 0 0 131 6 0 0 20 0 28 0 4284870 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694581888128 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=658] ppid=651 vsize=13803816 CPUtime=0.2 cores=1,3,5,7,9,11,13,15 /proc/652/task/658/stat : 658 (java) S 651 651 15196 0 -1 1077944384 372 0 0 0 10 10 0 0 20 0 28 0 4284871 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694496127632 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=659] ppid=651 vsize=13803816 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/652/task/659/stat : 659 (java) S 651 651 15196 0 -1 1077944384 867 0 0 0 10 11 0 0 20 0 28 0 4284871 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694495074832 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=660] ppid=651 vsize=13803816 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/652/task/660/stat : 660 (java) S 651 651 15196 0 -1 1077944384 954 0 0 0 11 10 0 0 20 0 28 0 4284871 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694494022032 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=663] ppid=651 vsize=13803816 CPUtime=0.2 cores=1,3,5,7,9,11,13,15 /proc/652/task/663/stat : 663 (java) S 651 651 15196 0 -1 1077944384 1206 0 0 0 10 10 0 0 20 0 28 0 4284871 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694492969232 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=664] ppid=651 vsize=13803816 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/652/task/664/stat : 664 (java) S 651 651 15196 0 -1 1077944384 917 0 0 0 11 11 0 0 20 0 28 0 4284871 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694491917456 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=665] ppid=651 vsize=13803816 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/652/task/665/stat : 665 (java) S 651 651 15196 0 -1 1077944384 398 0 0 0 10 11 0 0 20 0 28 0 4284871 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694490864656 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=666] ppid=651 vsize=13803816 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/652/task/666/stat : 666 (java) S 651 651 15196 0 -1 1077944384 1305 0 0 0 11 10 0 0 20 0 28 0 4284871 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694489811856 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=667] ppid=651 vsize=13803816 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/652/task/667/stat : 667 (java) S 651 651 15196 0 -1 1077944384 952 0 0 0 10 9 0 0 20 0 28 0 4284871 14135107584 552263 33554432000 4194304 4196468 140734284531376 139694488759056 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=673] ppid=651 vsize=13803816 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/652/task/673/stat : 673 (java) S 651 651 15196 0 -1 1077944384 4986 0 0 0 5 5 0 0 20 0 28 0 4284873 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693770815856 139694577658498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=674] ppid=651 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/674/stat : 674 (java) S 651 651 15196 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4284874 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693769761888 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=675] ppid=651 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/675/stat : 675 (java) S 651 651 15196 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4284874 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693768708992 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=676] ppid=651 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/676/stat : 676 (java) S 651 651 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4284877 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693767657296 139694577665947 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=677] ppid=651 vsize=13803816 CPUtime=4.21 cores=1,3,5,7,9,11,13,15 /proc/652/task/677/stat : 677 (java) S 651 651 15196 0 -1 1077944384 22688 0 0 0 418 3 0 0 20 0 28 0 4284877 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693766605680 139694577658498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=678] ppid=651 vsize=13803816 CPUtime=3.91 cores=1,3,5,7,9,11,13,15 /proc/652/task/678/stat : 678 (java) S 651 651 15196 0 -1 1077944384 17656 0 0 0 388 3 0 0 20 0 28 0 4284877 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693765552880 139694577658498 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=679] ppid=651 vsize=13803816 CPUtime=3.88 cores=1,3,5,7,9,11,13,15 /proc/652/task/679/stat : 679 (java) S 651 651 15196 0 -1 1077944384 15093 0 0 0 385 3 0 0 20 0 28 0 4284877 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693764500080 139694577658498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=680] ppid=651 vsize=13803816 CPUtime=1.48 cores=1,3,5,7,9,11,13,15 /proc/652/task/680/stat : 680 (java) S 651 651 15196 0 -1 1077944384 20025 0 0 0 145 3 0 0 20 0 28 0 4284877 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693763447280 139694577658498 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 14 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=681] ppid=651 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/652/task/681/stat : 681 (java) S 651 651 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4284878 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693762394720 139694577657557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=682] ppid=651 vsize=13803816 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/652/task/682/stat : 682 (java) S 651 651 15196 0 -1 1077944384 1854 0 0 0 7 10 0 0 20 0 28 0 4284878 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693761342000 139694577658498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1203] ppid=651 vsize=13803816 CPUtime=43.9 cores=1,3,5,7,9,11,13,15 /proc/652/task/1203/stat : 1203 (java) R 651 651 15196 0 -1 4202560 599 0 0 0 4390 0 0 0 20 0 28 0 4310692 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693746457464 139694170925933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1204] ppid=651 vsize=13803816 CPUtime=44.4 cores=1,3,5,7,9,11,13,15 /proc/652/task/1204/stat : 1204 (java) R 651 651 15196 0 -1 4202560 580 0 0 0 4440 0 0 0 20 0 28 0 4310692 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693750668968 139694171876489 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1205] ppid=651 vsize=13803816 CPUtime=44.62 cores=1,3,5,7,9,11,13,15 /proc/652/task/1205/stat : 1205 (java) R 651 651 15196 0 -1 4202560 1167 0 0 0 4462 0 0 0 20 0 28 0 4310692 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693748564552 139694171387440 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1206] ppid=651 vsize=13803816 CPUtime=44.18 cores=1,3,5,7,9,11,13,15 /proc/652/task/1206/stat : 1206 (java) R 651 651 15196 0 -1 4202560 2142 0 0 0 4417 1 0 0 20 0 28 0 4310692 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693752777888 139694166165448 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1207] ppid=651 vsize=13803816 CPUtime=44.56 cores=1,3,5,7,9,11,13,15 /proc/652/task/1207/stat : 1207 (java) R 651 651 15196 0 -1 4202560 887 0 0 0 4456 0 0 0 20 0 28 0 4310692 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693749617032 139694166999893 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1208] ppid=651 vsize=13803816 CPUtime=44.62 cores=1,3,5,7,9,11,13,15 /proc/652/task/1208/stat : 1208 (java) R 651 651 15196 0 -1 4202560 292 0 0 0 4462 0 0 0 20 0 28 0 4310692 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693747511360 139694172147789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1209] ppid=651 vsize=13803816 CPUtime=44.61 cores=1,3,5,7,9,11,13,15 /proc/652/task/1209/stat : 1209 (java) R 651 651 15196 0 -1 4202560 1171 0 0 0 4461 0 0 0 20 0 28 0 4310692 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693751722056 139694171387440 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 [pid=652/tid=1210] ppid=651 vsize=13803816 CPUtime=44.62 cores=1,3,5,7,9,11,13,15 /proc/652/task/1210/stat : 1210 (java) R 651 651 15196 0 -1 4202560 810 0 0 0 4462 0 0 0 20 0 28 0 4310692 14135107584 552263 33554432000 4194304 4196468 140734284531376 139693753827064 139694164760664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32133120 140734284539068 140734284539244 140734284539244 140734284541903 0 Current children cumulated CPU time (s) 2400.7 Current children cumulated vsize (KiB) 13813328 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 651 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=907 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1815 # CPU time returned by wait4() is 0.002722 # while last known CPU time is 2400.7 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 302.912 CPU time (s): 2400.7 CPU user time (s): 2398.88 CPU system time (s): 1.82 CPU usage (%): 792.54 Max. virtual memory (cumulated for all children) (KiB): 13813328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000907 system time used= 0.001815 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 518 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.8152 second user time and 4.72017 second system time The end
Begin job on node145 at 2017-07-22 04:23:18 IDJOB=4247440 IDBENCH=127025 IDSOLVER=2626 FILE ID=node145/4247440-1500690198 RUNJOBID= node145-1500682809-15228 PBS_JOBID= 20623333 Free space on /tmp= 61856 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-038.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247440-1500690198/watcher-4247440-1500690198 -o /tmp/evaluation-result-4247440-1500690198/solver-4247440-1500690198 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 497675996 HOME/instance-4247440-1500690198.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 5c46c59146557e02d06c9ff3e1746190 RANDOM SEED=497675996 node145.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 8 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.43 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 8 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.43 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 8 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.43 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 8 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.43 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 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 : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 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 : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 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 : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31127116 kB MemAvailable: 31191108 kB Buffers: 131432 kB Cached: 204768 kB SwapCached: 0 kB Active: 1011212 kB Inactive: 182116 kB Active(anon): 800636 kB Inactive(anon): 68068 kB Active(file): 210576 kB Inactive(file): 114048 kB Unevictable: 5808 kB Mlocked: 5808 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8312 kB Writeback: 8 kB AnonPages: 862740 kB Mapped: 43188 kB Shmem: 8852 kB Slab: 144756 kB SReclaimable: 110404 kB SUnreclaim: 34352 kB KernelStack: 4944 kB PageTables: 6028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2185928 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 743424 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61848 MiB End job on node145 at 2017-07-22 04:28:21