Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: OscaR - Conflict Ordering 2017-06-30 | SAT (TO) | 216 | 2400.07 | 2347.93 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml |
| MD5SUM | 4e9e0842de773da2d9de44121d9bf85e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 136 |
| Best CPU time to get the best result obtained on this benchmark | 19993 |
| 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.26/0.27 c version: 2017-06-30 0.26/0.27 c seed: 1486094485 0.26/0.27 c timeout: 2400 0.26/0.27 c memlimit: 15500 0.26/0.27 c nbcore: 8 0.26/0.29 c Parsing instance... 3.06/1.28 c Parsing done, starting search... 3.35/1.33 o 20540 3.35/1.33 o 16216 3.35/1.34 o 12748 3.35/1.34 o 12708 3.35/1.34 o 9896 3.35/1.34 o 7684 3.35/1.35 o 6104 3.35/1.35 o 4508 3.35/1.36 o 3464 3.35/1.36 o 2564 3.35/1.37 o 2500 3.35/1.38 o 1976 3.35/1.39 o 1736 3.76/1.40 o 1436 3.76/1.43 o 1300 3.76/1.45 o 1208 4.17/1.52 o 1144 5.89/2.24 o 1096 5.89/2.25 o 1064 5.89/2.27 o 1052 5.89/2.28 o 948 6.29/2.45 o 940 6.29/2.46 o 932 6.29/2.46 o 884 6.29/2.48 o 828 7.25/3.20 o 780 8.10/4.04 o 772 8.51/4.48 o 724 8.61/4.56 o 712 8.61/4.58 o 668 8.70/4.61 o 648 8.70/4.61 o 644 8.70/4.61 o 640 8.70/4.68 o 616 8.91/4.88 o 600 14.34/10.13 o 592 14.71/10.49 o 584 16.82/12.50 o 580 16.92/12.66 o 576 17.33/13.06 o 572 17.33/13.09 o 568 17.53/13.24 o 536 26.91/22.40 o 528 39.11/34.58 o 520 58.37/53.40 o 500 58.37/53.40 o 492 58.57/53.60 o 460 60.85/55.81 o 456 68.79/63.60 o 452 71.52/66.35 o 444 72.86/67.66 o 436 77.27/71.90 o 364 138.72/132.42 o 356 141.10/134.73 o 332 186.32/179.24 o 324 274.90/266.27 o 316 290.84/281.95 o 300 507.91/494.87 o 296 524.58/511.21 o 288 542.33/528.61 o 268 547.52/533.78 o 264 714.28/697.65 o 260 736.72/719.54 o 248 1655.66/1619.90 o 236 1655.66/1619.90 o 232 1831.06/1791.76 o 216 2400.03/2347.90 s SATISFIABLE 2400.03/2347.91 v <instantiation> 2400.03/2347.91 v <list> 2400.03/2347.91 v 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] 2400.03/2347.91 v </list> 2400.03/2347.91 v <values> 2400.03/2347.91 v 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -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 8 5 0 3 4 5 0 1 0 -1 4 1 0 -1 0 -3 0 5 -2 -1 0 -1 0 1 0 -1 0 1 0 -1 0 -1 0 1 0 -1 0 1 9 64 25 0 9 16 25 0 1 0 1 16 1 0 1 0 9 0 25 4 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 2400.03/2347.91 v </values> 2400.03/2347.91 v </instantiation>
OK 216
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-4247456-1500725269/watcher-4247456-1500725269 -o /tmp/evaluation-result-4247456-1500725269/solver-4247456-1500725269 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500715858-19808 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1486094485 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247456-1500725269.xml pid=21971 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: 1.74 1.64 1.75 3/261 21974 /proc/meminfo: memFree=31381660/32770624 swapFree=5936/294228 [pid=21974] ppid=21971 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/stat : 21974 (java) S 21971 21974 19776 0 -1 1077944320 2226 0 0 0 0 0 0 0 20 0 2 0 7791753 10889764864 2432 33554432000 4194304 4196468 140731900192720 140731900175264 140512787570423 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 /proc/21974/statm: 2658891 2432 1188 1 0 2647802 0 [pid=21974/tid=21975] ppid=21971 vsize=10637620 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21975/stat : 21975 (java) R 21971 21974 19776 0 -1 4202560 919 0 0 0 0 0 0 0 20 0 5 0 7791753 10892922880 2498 33554432000 4194304 4196468 140731900192720 140512791811792 140512787591770 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21976] ppid=21971 vsize=10638648 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21976/stat : 21976 (java) S 21971 21974 19776 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 7791754 10893975552 2498 33554432000 4194304 4196468 140731900192720 140512744123104 140512787580629 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21977] ppid=21971 vsize=10639676 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21977/stat : 21977 (java) S 21971 21974 19776 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 7 0 7791754 10895028224 2498 33554432000 4194304 4196468 140731900192720 140512743070304 140512787580629 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21978] ppid=21971 vsize=10640704 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21978/stat : 21978 (java) S 21971 21974 19776 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 8 0 7791754 10896080896 2498 33554432000 4194304 4196468 140731900192720 140512742018016 140512787580629 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21979] ppid=21971 vsize=10641732 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21979/stat : 21979 (java) S 21971 21974 19776 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 7791754 10897133568 2498 33554432000 4194304 4196468 140731900192720 140512383925088 140512787580629 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21980] ppid=21971 vsize=10642760 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21980/stat : 21980 (java) S 21971 21974 19776 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 7791754 10898186240 2498 33554432000 4194304 4196468 140731900192720 140512382872800 140512787580629 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21981] ppid=21971 vsize=10773832 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21981/stat : 21981 (java) S 21971 21974 19776 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 7791754 11032403968 2498 33554432000 4194304 4196468 140731900192720 140512381820000 140512787580629 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21982] ppid=21971 vsize=10773832 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21982/stat : 21982 (java) S 21971 21974 19776 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 7791754 11032403968 2498 33554432000 4194304 4196468 140731900192720 140512380767712 140512787580629 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21983] ppid=21971 vsize=10970440 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21983/stat : 21983 (java) D 21971 21974 19776 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 7791754 11233730560 2498 33554432000 4194304 4196468 140731900192720 140512379714800 140512780364496 0 4 0 16784584 18446744071582151416 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [startup+0.100103 s] /proc/loadavg: 1.74 1.64 1.75 3/261 21974 /proc/meminfo: memFree=31381660/32770624 swapFree=5936/294228 [pid=21974] ppid=21971 vsize=13263912 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/21974/stat : 21974 (java) S 21971 21974 19776 0 -1 1077944320 6790 0 0 0 9 1 0 0 20 0 20 0 7791753 13582245888 7076 33554432000 4194304 4196468 140731900192720 140731900175264 140512787570423 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 /proc/21974/statm: 3315978 7076 3394 1 0 3303698 0 [pid=21974/tid=21975] ppid=21971 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21975/stat : 21975 (java) R 21971 21974 19776 0 -1 4202560 4806 0 0 0 7 1 0 0 20 0 20 0 7791753 13582245888 7076 33554432000 4194304 4196468 140731900192720 140512791799800 140512787592349 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21976] ppid=21971 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21976/stat : 21976 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13582245888 7076 33554432000 4194304 4196468 140731900192720 140512744122768 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21977] ppid=21971 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21977/stat : 21977 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13582245888 7076 33554432000 4194304 4196468 140731900192720 140512743069968 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21978] ppid=21971 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21978/stat : 21978 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791754 13582245888 7076 33554432000 4194304 4196468 140731900192720 140512742017680 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21979] ppid=21971 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21979/stat : 21979 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13582245888 7076 33554432000 4194304 4196468 140731900192720 140512383924752 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21980] ppid=21971 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21980/stat : 21980 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791754 13582245888 7076 33554432000 4194304 4196468 140731900192720 140512382872464 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21981] ppid=21971 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21981/stat : 21981 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13582245888 7076 33554432000 4194304 4196468 140731900192720 140512381819664 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21982] ppid=21971 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21982/stat : 21982 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791754 13582245888 7076 33554432000 4194304 4196468 140731900192720 140512380767376 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21983] ppid=21971 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21983/stat : 21983 (java) S 21971 21974 19776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7791754 13582245888 7076 33554432000 4194304 4196468 140731900192720 140512379714576 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13263912 [startup+0.200999 s] /proc/loadavg: 1.74 1.64 1.75 3/261 21974 /proc/meminfo: memFree=31381660/32770624 swapFree=5936/294228 [pid=21974] ppid=21971 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/21974/stat : 21974 (java) S 21971 21974 19776 0 -1 1077944320 9166 0 0 0 23 3 0 0 20 0 20 0 7791753 13582245888 9505 33554432000 4194304 4196468 140731900192720 140731900175264 140512787570423 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 /proc/21974/statm: 3315978 9505 3542 1 0 3303698 0 [pid=21974/tid=21975] ppid=21971 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21975/stat : 21975 (java) R 21971 21974 19776 0 -1 4202560 6876 0 0 0 15 2 0 0 20 0 20 0 7791753 13582245888 9505 33554432000 4194304 4196468 140731900192720 140512791770192 140512787592349 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21976] ppid=21971 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21976/stat : 21976 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13582245888 9505 33554432000 4194304 4196468 140731900192720 140512744122768 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21977] ppid=21971 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21977/stat : 21977 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13582245888 9505 33554432000 4194304 4196468 140731900192720 140512743069968 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21978] ppid=21971 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21978/stat : 21978 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791754 13582245888 9505 33554432000 4194304 4196468 140731900192720 140512742017680 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21979] ppid=21971 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21979/stat : 21979 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13582245888 9505 33554432000 4194304 4196468 140731900192720 140512383924752 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21980] ppid=21971 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21980/stat : 21980 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791754 13582245888 9505 33554432000 4194304 4196468 140731900192720 140512382872464 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21981] ppid=21971 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21981/stat : 21981 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13582245888 9505 33554432000 4194304 4196468 140731900192720 140512381819664 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21982] ppid=21971 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21982/stat : 21982 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791754 13582245888 9505 33554432000 4194304 4196468 140731900192720 140512380767376 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21983] ppid=21971 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21983/stat : 21983 (java) S 21971 21974 19776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7791754 13582245888 9505 33554432000 4194304 4196468 140731900192720 140512379714576 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 13263912 [startup+0.300901 s] /proc/loadavg: 1.74 1.64 1.75 3/261 21974 /proc/meminfo: memFree=31381660/32770624 swapFree=5936/294228 [pid=21974] ppid=21971 vsize=13263932 CPUtime=0.45 cores=1,3,5,7,9,11,13,15 /proc/21974/stat : 21974 (java) S 21971 21974 19776 0 -1 1077944320 10415 0 0 0 41 4 0 0 20 0 20 0 7791753 13582266368 11672 33554432000 4194304 4196468 140731900192720 140731900175264 140512787570423 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 /proc/21974/statm: 3315983 11672 3681 1 0 3303698 0 [pid=21974/tid=21975] ppid=21971 vsize=13263932 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21975/stat : 21975 (java) R 21971 21974 19776 0 -1 4202560 7495 0 0 0 24 3 0 0 20 0 20 0 7791753 13582266368 11672 33554432000 4194304 4196468 140731900192720 140512791804720 140512787592349 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21976] ppid=21971 vsize=13263932 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21976/stat : 21976 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13582266368 11672 33554432000 4194304 4196468 140731900192720 140512744122768 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21977] ppid=21971 vsize=13263932 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21977/stat : 21977 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13582266368 11672 33554432000 4194304 4196468 140731900192720 140512743069968 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21978] ppid=21971 vsize=13263932 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21978/stat : 21978 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791754 13582266368 11672 33554432000 4194304 4196468 140731900192720 140512742017680 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21979] ppid=21971 vsize=13263932 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21979/stat : 21979 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13582266368 11672 33554432000 4194304 4196468 140731900192720 140512383924752 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21980] ppid=21971 vsize=13263932 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21980/stat : 21980 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791754 13582266368 11672 33554432000 4194304 4196468 140731900192720 140512382872464 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21981] ppid=21971 vsize=13263932 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21981/stat : 21981 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13582266368 11672 33554432000 4194304 4196468 140731900192720 140512381819664 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21982] ppid=21971 vsize=13263932 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21982/stat : 21982 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791754 13582266368 11672 33554432000 4194304 4196468 140731900192720 140512380767376 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21983] ppid=21971 vsize=13263932 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21983/stat : 21983 (java) S 21971 21974 19776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7791754 13582266368 11672 33554432000 4194304 4196468 140731900192720 140512379714576 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 13263932 [startup+0.700461 s] /proc/loadavg: 1.74 1.64 1.75 3/261 21974 /proc/meminfo: memFree=31381660/32770624 swapFree=5936/294228 [pid=21974] ppid=21971 vsize=13265980 CPUtime=1.4 cores=1,3,5,7,9,11,13,15 /proc/21974/stat : 21974 (java) S 21971 21974 19776 0 -1 1077944320 12782 0 0 0 134 6 0 0 20 0 20 0 7791753 13584363520 18675 33554432000 4194304 4196468 140731900192720 140731900175264 140512787570423 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 /proc/21974/statm: 3316495 18675 3761 1 0 3304210 0 [pid=21974/tid=21975] ppid=21971 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21975/stat : 21975 (java) R 21971 21974 19776 0 -1 4202560 8605 0 0 0 63 4 0 0 20 0 20 0 7791753 13584363520 18675 33554432000 4194304 4196468 140731900192720 140512791806512 140512771650910 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21976] ppid=21971 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21976/stat : 21976 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13584363520 18675 33554432000 4194304 4196468 140731900192720 140512744122768 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21977] ppid=21971 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21977/stat : 21977 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13584363520 18675 33554432000 4194304 4196468 140731900192720 140512743069968 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21978] ppid=21971 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21978/stat : 21978 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791754 13584363520 18675 33554432000 4194304 4196468 140731900192720 140512742017680 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21979] ppid=21971 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21979/stat : 21979 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13584363520 18675 33554432000 4194304 4196468 140731900192720 140512383924752 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21980] ppid=21971 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21980/stat : 21980 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791754 13584363520 18675 33554432000 4194304 4196468 140731900192720 140512382872464 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21981] ppid=21971 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21981/stat : 21981 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13584363520 18675 33554432000 4194304 4196468 140731900192720 140512381819664 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21982] ppid=21971 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21982/stat : 21982 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791754 13584363520 18675 33554432000 4194304 4196468 140731900192720 140512380767376 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21983] ppid=21971 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21983/stat : 21983 (java) S 21971 21974 19776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7791754 13584363520 18675 33554432000 4194304 4196468 140731900192720 140512379714576 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 13265980 [startup+1.50111 s] /proc/loadavg: 1.74 1.64 1.75 4/281 21994 /proc/meminfo: memFree=31281768/32770624 swapFree=5936/294256 [pid=21974] ppid=21971 vsize=13270076 CPUtime=4.17 cores=1,3,5,7,9,11,13,15 /proc/21974/stat : 21974 (java) S 21971 21974 19776 0 -1 1077944320 26398 0 0 0 407 10 0 0 20 0 20 0 7791753 13588557824 40151 33554432000 4194304 4196468 140731900192720 140731900175264 140512787570423 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 /proc/21974/statm: 3317519 40151 3791 1 0 3305234 0 [pid=21974/tid=21975] ppid=21971 vsize=13270076 CPUtime=1.44 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21975/stat : 21975 (java) R 21971 21974 19776 0 -1 4202560 11004 0 0 0 139 5 0 0 20 0 20 0 7791753 13588557824 40151 33554432000 4194304 4196468 140731900192720 140512791808728 140512430392454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21976] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21976/stat : 21976 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13588557824 40151 33554432000 4194304 4196468 140731900192720 140512744122768 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21977] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21977/stat : 21977 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13588557824 40151 33554432000 4194304 4196468 140731900192720 140512743069968 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21978] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21978/stat : 21978 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791754 13588557824 40151 33554432000 4194304 4196468 140731900192720 140512742017680 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21979] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21979/stat : 21979 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13588557824 40151 33554432000 4194304 4196468 140731900192720 140512383924752 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21980] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21980/stat : 21980 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791754 13588557824 40151 33554432000 4194304 4196468 140731900192720 140512382872464 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21981] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21981/stat : 21981 (java) S 21971 21974 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7791754 13588557824 40151 33554432000 4194304 4196468 140731900192720 140512381819664 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21982] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21982/stat : 21982 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791754 13588557824 40151 33554432000 4194304 4196468 140731900192720 140512380767376 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21983] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21983/stat : 21983 (java) S 21971 21974 19776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7791754 13588557824 40151 33554432000 4194304 4196468 140731900192720 140512379714576 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21985] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21985/stat : 21985 (java) S 21971 21974 19776 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 7791756 13588557824 40151 33554432000 4194304 4196468 140731900192720 140511453063280 140512787581570 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21986] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21986/stat : 21986 (java) S 21971 21974 19776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 7791757 13588557824 40151 33554432000 4194304 4196468 140731900192720 140511452009248 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21987] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21987/stat : 21987 (java) S 21971 21974 19776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 7791757 13588557824 40151 33554432000 4194304 4196468 140731900192720 140511450956912 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21988] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21988/stat : 21988 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791760 13588557824 40151 33554432000 4194304 4196468 140731900192720 140511449905232 140512787589019 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21989] ppid=21971 vsize=13270076 CPUtime=0.66 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21989/stat : 21989 (java) R 21971 21974 19776 0 -1 4202560 2566 0 0 0 65 1 0 0 20 0 20 0 7791760 13588557824 40151 33554432000 4194304 4196468 140731900192720 140511448851888 140512771962410 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21990] ppid=21971 vsize=13270076 CPUtime=0.54 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21990/stat : 21990 (java) R 21971 21974 19776 0 -1 4202560 2787 0 0 0 53 1 0 0 20 0 20 0 7791760 13588557824 40151 33554432000 4194304 4196468 140731900192720 140511447786184 140512769088800 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21991] ppid=21971 vsize=13270076 CPUtime=0.66 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21991/stat : 21991 (java) R 21971 21974 19776 0 -1 4202560 2912 0 0 0 66 0 0 0 20 0 20 0 7791760 13588557824 40151 33554432000 4194304 4196468 140731900192720 140511446733896 140512772678455 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21992] ppid=21971 vsize=13270076 CPUtime=0.82 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21992/stat : 21992 (java) S 21971 21974 19776 0 -1 1077944384 5717 0 0 0 81 1 0 0 20 0 20 0 7791760 13588557824 40151 33554432000 4194304 4196468 140731900192720 140511445695216 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21993] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21993/stat : 21993 (java) S 21971 21974 19776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7791760 13588557824 40151 33554432000 4194304 4196468 140731900192720 140511444642144 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21994] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21994/stat : 21994 (java) S 21971 21974 19776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7791760 13588557824 40151 33554432000 4194304 4196468 140731900192720 140511443589424 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 Current children cumulated CPU time (s) 4.17 ################ # More data... # ################ [pid=21974/tid=21990] ppid=21971 vsize=13270076 CPUtime=1.15 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21990/stat : 21990 (java) S 21971 21974 19776 0 -1 1077944384 5632 0 0 0 114 1 0 0 20 0 20 0 7791760 13588557824 102140 33554432000 4194304 4196468 140731900192720 140511447800304 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21991] ppid=21971 vsize=13270076 CPUtime=1.13 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21991/stat : 21991 (java) S 21971 21974 19776 0 -1 1077944384 4606 0 0 0 113 0 0 0 20 0 20 0 7791760 13588557824 102140 33554432000 4194304 4196468 140731900192720 140511446748016 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21992] ppid=21971 vsize=13270076 CPUtime=0.9 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21992/stat : 21992 (java) S 21971 21974 19776 0 -1 1077944384 9194 0 0 0 89 1 0 0 20 0 20 0 7791760 13588557824 102140 33554432000 4194304 4196468 140731900192720 140511445695216 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21993] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21993/stat : 21993 (java) S 21971 21974 19776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7791760 13588557824 102140 33554432000 4194304 4196468 140731900192720 140511444642144 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21994] ppid=21971 vsize=13270076 CPUtime=0.72 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21994/stat : 21994 (java) S 21971 21974 19776 0 -1 1077944384 784 0 0 0 36 36 0 0 20 0 20 0 7791760 13588557824 102140 33554432000 4194304 4196468 140731900192720 140511443589424 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 Current children cumulated CPU time (s) 2312.46 Current children cumulated vsize (KiB) 13270076 [startup+2322.3 s] /proc/loadavg: 1.47 1.46 1.48 3/281 22246 /proc/meminfo: memFree=31058564/32770624 swapFree=5936/296664 [pid=21974] ppid=21971 vsize=13270076 CPUtime=2373.81 cores=1,3,5,7,9,11,13,15 /proc/21974/stat : 21974 (java) S 21971 21974 19776 0 -1 1077944320 111377 0 0 0 237063 318 0 0 20 0 20 0 7791753 13588557824 103677 33554432000 4194304 4196468 140731900192720 140731900175264 140512787570423 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 /proc/21974/statm: 3317519 103677 3827 1 0 3305234 0 [pid=21974/tid=21975] ppid=21971 vsize=13270076 CPUtime=2307.97 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21975/stat : 21975 (java) R 21971 21974 19776 0 -1 4202560 42658 0 0 0 230780 17 0 0 20 0 20 0 7791753 13588557824 103677 33554432000 4194304 4196468 140731900192720 140512791808944 140512431291259 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21976] ppid=21971 vsize=13270076 CPUtime=6.93 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21976/stat : 21976 (java) S 21971 21974 19776 0 -1 1077944384 2989 0 0 0 659 34 0 0 20 0 20 0 7791754 13588557824 103677 33554432000 4194304 4196468 140731900192720 140512744122768 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21977] ppid=21971 vsize=13270076 CPUtime=7 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21977/stat : 21977 (java) S 21971 21974 19776 0 -1 1077944384 5872 0 0 0 671 29 0 0 20 0 20 0 7791754 13588557824 103677 33554432000 4194304 4196468 140731900192720 140512743069968 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21978] ppid=21971 vsize=13270076 CPUtime=7.08 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21978/stat : 21978 (java) S 21971 21974 19776 0 -1 1077944384 4682 0 0 0 677 31 0 0 20 0 20 0 7791754 13588557824 103677 33554432000 4194304 4196468 140731900192720 140512742017680 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21979] ppid=21971 vsize=13270076 CPUtime=7.09 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21979/stat : 21979 (java) S 21971 21974 19776 0 -1 1077944384 2913 0 0 0 678 31 0 0 20 0 20 0 7791754 13588557824 103677 33554432000 4194304 4196468 140731900192720 140512383924752 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21980] ppid=21971 vsize=13270076 CPUtime=7.03 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21980/stat : 21980 (java) S 21971 21974 19776 0 -1 1077944384 2952 0 0 0 673 30 0 0 20 0 20 0 7791754 13588557824 103677 33554432000 4194304 4196468 140731900192720 140512382872464 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21981] ppid=21971 vsize=13270076 CPUtime=7.13 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21981/stat : 21981 (java) S 21971 21974 19776 0 -1 1077944384 5059 0 0 0 679 34 0 0 20 0 20 0 7791754 13588557824 103677 33554432000 4194304 4196468 140731900192720 140512381819664 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21982] ppid=21971 vsize=13270076 CPUtime=7.08 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21982/stat : 21982 (java) S 21971 21974 19776 0 -1 1077944384 5269 0 0 0 672 36 0 0 20 0 20 0 7791754 13588557824 103677 33554432000 4194304 4196468 140731900192720 140512380767376 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21983] ppid=21971 vsize=13270076 CPUtime=7.01 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21983/stat : 21983 (java) S 21971 21974 19776 0 -1 1077944384 3294 0 0 0 669 32 0 0 20 0 20 0 7791754 13588557824 103677 33554432000 4194304 4196468 140731900192720 140512379714576 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21985] ppid=21971 vsize=13270076 CPUtime=4.28 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21985/stat : 21985 (java) S 21971 21974 19776 0 -1 1077944384 7636 0 0 0 397 31 0 0 20 0 20 0 7791756 13588557824 103677 33554432000 4194304 4196468 140731900192720 140511453063280 140512787581570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21986] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21986/stat : 21986 (java) S 21971 21974 19776 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 7791757 13588557824 103677 33554432000 4194304 4196468 140731900192720 140511452009312 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21987] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21987/stat : 21987 (java) S 21971 21974 19776 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 7791757 13588557824 103677 33554432000 4194304 4196468 140731900192720 140511450956928 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21988] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21988/stat : 21988 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791760 13588557824 103677 33554432000 4194304 4196468 140731900192720 140511449905232 140512787589019 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21989] ppid=21971 vsize=13270076 CPUtime=1.13 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21989/stat : 21989 (java) S 21971 21974 19776 0 -1 1077944384 6382 0 0 0 112 1 0 0 20 0 20 0 7791760 13588557824 103677 33554432000 4194304 4196468 140731900192720 140511448853104 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 8 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21990] ppid=21971 vsize=13270076 CPUtime=1.15 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21990/stat : 21990 (java) S 21971 21974 19776 0 -1 1077944384 5634 0 0 0 114 1 0 0 20 0 20 0 7791760 13588557824 103677 33554432000 4194304 4196468 140731900192720 140511447800304 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21991] ppid=21971 vsize=13270076 CPUtime=1.13 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21991/stat : 21991 (java) S 21971 21974 19776 0 -1 1077944384 4608 0 0 0 113 0 0 0 20 0 20 0 7791760 13588557824 103677 33554432000 4194304 4196468 140731900192720 140511446748016 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21992] ppid=21971 vsize=13270076 CPUtime=0.9 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21992/stat : 21992 (java) S 21971 21974 19776 0 -1 1077944384 9196 0 0 0 89 1 0 0 20 0 20 0 7791760 13588557824 103677 33554432000 4194304 4196468 140731900192720 140511445695216 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21993] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21993/stat : 21993 (java) S 21971 21974 19776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7791760 13588557824 103677 33554432000 4194304 4196468 140731900192720 140511444642144 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21994] ppid=21971 vsize=13270076 CPUtime=0.74 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21994/stat : 21994 (java) S 21971 21974 19776 0 -1 1077944384 798 0 0 0 37 37 0 0 20 0 20 0 7791760 13588557824 103677 33554432000 4194304 4196468 140731900192720 140511443589424 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 Current children cumulated CPU time (s) 2373.81 Current children cumulated vsize (KiB) 13270076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2347.9 s] /proc/loadavg: 1.45 1.45 1.48 3/281 22246 /proc/meminfo: memFree=31054624/32770624 swapFree=5936/296684 [pid=21974] ppid=21971 vsize=13270076 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15 /proc/21974/stat : 21974 (java) S 21971 21974 19776 0 -1 1077944320 112823 0 0 0 239682 321 0 0 20 0 20 0 7791753 13588557824 104189 33554432000 4194304 4196468 140731900192720 140731900175264 140512787570423 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 /proc/21974/statm: 3317519 104189 3827 1 0 3305234 0 [pid=21974/tid=21975] ppid=21971 vsize=13270076 CPUtime=2333.39 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21975/stat : 21975 (java) R 21971 21974 19776 0 -1 4202560 43211 0 0 0 233322 17 0 0 20 0 20 0 7791753 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512791808800 140512430733786 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21976] ppid=21971 vsize=13270076 CPUtime=7.01 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21976/stat : 21976 (java) S 21971 21974 19776 0 -1 1077944384 3006 0 0 0 667 34 0 0 20 0 20 0 7791754 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512744122768 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21977] ppid=21971 vsize=13270076 CPUtime=7.07 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21977/stat : 21977 (java) S 21971 21974 19776 0 -1 1077944384 5887 0 0 0 678 29 0 0 20 0 20 0 7791754 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512743069968 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21978] ppid=21971 vsize=13270076 CPUtime=7.19 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21978/stat : 21978 (java) S 21971 21974 19776 0 -1 1077944384 4725 0 0 0 687 32 0 0 20 0 20 0 7791754 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512742017680 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21979] ppid=21971 vsize=13270076 CPUtime=7.19 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21979/stat : 21979 (java) S 21971 21974 19776 0 -1 1077944384 3127 0 0 0 687 32 0 0 20 0 20 0 7791754 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512383924752 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21980] ppid=21971 vsize=13270076 CPUtime=7.12 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21980/stat : 21980 (java) S 21971 21974 19776 0 -1 1077944384 3022 0 0 0 681 31 0 0 20 0 20 0 7791754 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512382872464 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21981] ppid=21971 vsize=13270076 CPUtime=7.21 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21981/stat : 21981 (java) S 21971 21974 19776 0 -1 1077944384 5084 0 0 0 687 34 0 0 20 0 20 0 7791754 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512381819664 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21982] ppid=21971 vsize=13270076 CPUtime=7.17 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21982/stat : 21982 (java) S 21971 21974 19776 0 -1 1077944384 5300 0 0 0 681 36 0 0 20 0 20 0 7791754 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512380767376 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21983] ppid=21971 vsize=13270076 CPUtime=7.11 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21983/stat : 21983 (java) S 21971 21974 19776 0 -1 1077944384 3572 0 0 0 678 33 0 0 20 0 20 0 7791754 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512379714576 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21985] ppid=21971 vsize=13270076 CPUtime=4.34 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21985/stat : 21985 (java) S 21971 21974 19776 0 -1 1077944384 7815 0 0 0 402 32 0 0 20 0 20 0 7791756 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511453063280 140512787581570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21986] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21986/stat : 21986 (java) S 21971 21974 19776 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 7791757 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511452009312 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21987] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21987/stat : 21987 (java) S 21971 21974 19776 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 7791757 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511450956928 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21988] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21988/stat : 21988 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791760 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511449905232 140512787589019 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21989] ppid=21971 vsize=13270076 CPUtime=1.13 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21989/stat : 21989 (java) S 21971 21974 19776 0 -1 1077944384 6384 0 0 0 112 1 0 0 20 0 20 0 7791760 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511448853104 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 8 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21990] ppid=21971 vsize=13270076 CPUtime=1.15 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21990/stat : 21990 (java) S 21971 21974 19776 0 -1 1077944384 5636 0 0 0 114 1 0 0 20 0 20 0 7791760 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511447800304 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21991] ppid=21971 vsize=13270076 CPUtime=1.13 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21991/stat : 21991 (java) S 21971 21974 19776 0 -1 1077944384 4610 0 0 0 113 0 0 0 20 0 20 0 7791760 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511446748016 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21992] ppid=21971 vsize=13270076 CPUtime=0.9 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21992/stat : 21992 (java) S 21971 21974 19776 0 -1 1077944384 9198 0 0 0 89 1 0 0 20 0 20 0 7791760 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511445695216 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21993] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21993/stat : 21993 (java) S 21971 21974 19776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7791760 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511444642144 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21994] ppid=21971 vsize=13270076 CPUtime=0.75 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21994/stat : 21994 (java) S 21971 21974 19776 0 -1 1077944384 811 0 0 0 37 38 0 0 20 0 20 0 7791760 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511443589424 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 13270076 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 21974 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2347.9 s] /proc/loadavg: 1.45 1.45 1.48 3/281 22246 /proc/meminfo: memFree=31054624/32770624 swapFree=5936/296684 [pid=21974] ppid=21971 vsize=13270076 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15 /proc/21974/stat : 21974 (java) S 21971 21974 19776 0 -1 1077944320 112823 0 0 0 239682 321 0 0 20 0 20 0 7791753 13588557824 104189 33554432000 4194304 4196468 140731900192720 140731900175264 140512787570423 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 /proc/21974/statm: 3317519 104189 3827 1 0 3305234 0 [pid=21974/tid=21975] ppid=21971 vsize=13270076 CPUtime=2333.39 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21975/stat : 21975 (java) R 21971 21974 19776 0 -1 4202560 43211 0 0 0 233322 17 0 0 20 0 20 0 7791753 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512791808800 140512430733786 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21976] ppid=21971 vsize=13270076 CPUtime=7.01 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21976/stat : 21976 (java) S 21971 21974 19776 0 -1 1077944384 3006 0 0 0 667 34 0 0 20 0 20 0 7791754 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512744122768 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21977] ppid=21971 vsize=13270076 CPUtime=7.07 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21977/stat : 21977 (java) S 21971 21974 19776 0 -1 1077944384 5887 0 0 0 678 29 0 0 20 0 20 0 7791754 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512743069968 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21978] ppid=21971 vsize=13270076 CPUtime=7.19 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21978/stat : 21978 (java) S 21971 21974 19776 0 -1 1077944384 4725 0 0 0 687 32 0 0 20 0 20 0 7791754 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512742017680 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21979] ppid=21971 vsize=13270076 CPUtime=7.19 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21979/stat : 21979 (java) S 21971 21974 19776 0 -1 1077944384 3127 0 0 0 687 32 0 0 20 0 20 0 7791754 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512383924752 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21980] ppid=21971 vsize=13270076 CPUtime=7.12 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21980/stat : 21980 (java) S 21971 21974 19776 0 -1 1077944384 3022 0 0 0 681 31 0 0 20 0 20 0 7791754 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512382872464 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21981] ppid=21971 vsize=13270076 CPUtime=7.21 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21981/stat : 21981 (java) S 21971 21974 19776 0 -1 1077944384 5084 0 0 0 687 34 0 0 20 0 20 0 7791754 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512381819664 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21982] ppid=21971 vsize=13270076 CPUtime=7.17 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21982/stat : 21982 (java) S 21971 21974 19776 0 -1 1077944384 5300 0 0 0 681 36 0 0 20 0 20 0 7791754 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512380767376 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21983] ppid=21971 vsize=13270076 CPUtime=7.11 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21983/stat : 21983 (java) S 21971 21974 19776 0 -1 1077944384 3572 0 0 0 678 33 0 0 20 0 20 0 7791754 13588557824 104189 33554432000 4194304 4196468 140731900192720 140512379714576 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21985] ppid=21971 vsize=13270076 CPUtime=4.34 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21985/stat : 21985 (java) S 21971 21974 19776 0 -1 1077944384 7815 0 0 0 402 32 0 0 20 0 20 0 7791756 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511453063280 140512787581570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21986] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21986/stat : 21986 (java) S 21971 21974 19776 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 7791757 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511452009312 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21987] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21987/stat : 21987 (java) S 21971 21974 19776 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 7791757 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511450956928 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21988] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21988/stat : 21988 (java) S 21971 21974 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7791760 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511449905232 140512787589019 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21989] ppid=21971 vsize=13270076 CPUtime=1.13 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21989/stat : 21989 (java) S 21971 21974 19776 0 -1 1077944384 6384 0 0 0 112 1 0 0 20 0 20 0 7791760 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511448853104 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 8 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21990] ppid=21971 vsize=13270076 CPUtime=1.15 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21990/stat : 21990 (java) S 21971 21974 19776 0 -1 1077944384 5636 0 0 0 114 1 0 0 20 0 20 0 7791760 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511447800304 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21991] ppid=21971 vsize=13270076 CPUtime=1.13 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21991/stat : 21991 (java) S 21971 21974 19776 0 -1 1077944384 4610 0 0 0 113 0 0 0 20 0 20 0 7791760 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511446748016 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21992] ppid=21971 vsize=13270076 CPUtime=0.9 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21992/stat : 21992 (java) S 21971 21974 19776 0 -1 1077944384 9198 0 0 0 89 1 0 0 20 0 20 0 7791760 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511445695216 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21993] ppid=21971 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21993/stat : 21993 (java) S 21971 21974 19776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7791760 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511444642144 140512787580629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 [pid=21974/tid=21994] ppid=21971 vsize=13270076 CPUtime=0.75 cores=1,3,5,7,9,11,13,15 /proc/21974/task/21994/stat : 21994 (java) S 21971 21974 19776 0 -1 1077944384 811 0 0 0 37 38 0 0 20 0 20 0 7791760 13588557824 104189 33554432000 4194304 4196468 140731900192720 140511443589424 140512787581570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 12513280 140731900195977 140731900196164 140731900196164 140731900198863 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 13270076 Child status: 143 Real time (s): 2347.93 CPU time (s): 2400.07 CPU user time (s): 2396.85 CPU system time (s): 3.2208 CPU usage (%): 102.221 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2396.85 system time used= 3.2208 maximum resident set size= 417380 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 113384 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2656 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 245316 involuntary context switches= 162165 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.3124 second user time and 21.1221 second system time The end
Begin job on node151 at 2017-07-22 14:07:49 IDJOB=4247456 IDBENCH=127041 IDSOLVER=2628 FILE ID=node151/4247456-1500725269 RUNJOBID= node151-1500715858-19808 PBS_JOBID= 20623357 Free space on /tmp= 61984 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-040.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247456-1500725269/watcher-4247456-1500725269 -o /tmp/evaluation-result-4247456-1500725269/solver-4247456-1500725269 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500715858-19808 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1486094485 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247456-1500725269.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 4e9e0842de773da2d9de44121d9bf85e RANDOM SEED=1486094485 node151.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 : 1600.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.49 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 : 5342.81 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.49 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 : 5342.81 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 : 1600.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.49 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 : 2133.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 : 5342.81 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 : 1600.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.49 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 : 2400.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 : 5342.81 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 : 1600.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.49 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 : 1600.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 : 5342.81 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 : 1600.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.49 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 : 5342.81 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 : 1600.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.49 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 : 2267.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 : 5342.81 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 : 1600.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.49 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 : 5342.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31381756 kB MemAvailable: 31726368 kB Buffers: 135876 kB Cached: 488128 kB SwapCached: 0 kB Active: 652368 kB Inactive: 302896 kB Active(anon): 334068 kB Inactive(anon): 8668 kB Active(file): 318300 kB Inactive(file): 294228 kB Unevictable: 5936 kB Mlocked: 5968 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42320 kB Writeback: 0 kB AnonPages: 390240 kB Mapped: 45796 kB Shmem: 8848 kB Slab: 129452 kB SReclaimable: 95836 kB SUnreclaim: 33616 kB KernelStack: 4880 kB PageTables: 5500 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1214080 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 249856 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61944 MiB End job on node151 at 2017-07-22 14:46:57