Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 4.0.5 (2017-07-05) | SAT (TO) | 66 | 2400.1899 | 687.64398 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml |
| MD5SUM | 6af071621bab6d4e45a1e2acc37440b7 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 2400.1101 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2116 |
| Number of constraints | 15180 |
| Number of domains | 1 |
| Minimum domain size | 1035 |
| Maximum domain size | 1035 |
| Distribution of domain sizes | [{"size":1035,"count":1035}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 45 |
| Distribution of variable degrees | [{"degree":0,"count":1081},{"degree":45,"count":1035}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":15180}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 15180 |
| Distribution of constraint types | [{"type":"intension","count":15180}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.08 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4248641-1502063825.xml" -tl '2400s' -p 4 -x 0 0.00/0.33 c [HOME/instance-4248641-1502063825.xml, -tl, 2400s, -p, 4, -x, 0] 0.00/0.39 c 4 solvers in parallel 0.00/0.46 c parse instance... 9.48/3.55 c solve instance... 35.06/10.80 o 872 65.81/20.40 o 786 84.07/25.18 o 733 106.16/31.92 o 588 137.13/43.13 o 514 163.55/52.13 o 507 190.61/61.37 o 175 271.31/85.67 o 167 327.99/103.86 o 104 496.01/153.63 o 90 527.14/161.65 o 86 812.83/241.73 o 73 1167.20/377.79 o 66 2400.19/687.66 s SATISFIABLE 2400.19/687.66 v <instantiation> 2400.19/687.66 v <list>x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][42] x[41][43] x[41][44] x[41][45] x[42][43] x[42][44] x[42][45] x[43][44] x[43][45] x[44][45] </list> 2400.19/687.66 v <values>57 43 45 41 48 59 32 54 13 41 7 42 57 37 4 8 0 40 45 29 50 33 62 28 51 18 28 42 2 54 66 64 43 19 38 10 66 24 34 35 18 1 64 9 0 37 58 37 29 26 44 30 62 35 44 33 40 23 1 22 3 10 4 59 5 48 54 13 37 41 5 19 10 31 46 63 46 6 19 32 46 57 62 32 28 6 48 18 54 43 0 21 36 3 51 10 12 28 17 44 6 53 45 49 53 39 12 30 39 11 32 34 51 22 49 62 37 63 50 65 32 9 64 49 61 15 8 64 40 45 14 33 13 26 53 0 22 61 57 59 13 18 43 6 28 56 21 49 36 55 39 48 21 36 51 36 4 45 60 60 42 14 15 48 58 47 60 10 38 2 47 49 23 15 22 30 40 54 51 21 14 21 48 46 13 8 29 20 54 40 4 25 9 60 1 29 6 28 40 28 35 52 59 44 66 9 1 45 47 6 24 12 65 65 52 43 45 23 14 1 38 17 5 61 7 27 2 34 23 43 3 28 59 58 66 42 45 3 48 43 22 56 17 8 12 58 64 18 10 61 2 24 47 22 11 44 65 53 14 39 25 24 57 0 13 61 21 50 54 10 47 12 60 3 41 23 50 57 52 62 5 11 60 10 41 34 51 13 47 57 5 31 10 21 55 7 35 21 61 57 60 27 2 23 23 14 61 50 58 11 63 38 1 8 42 36 15 61 41 2 60 23 52 14 43 36 44 62 3 28 48 39 40 21 18 1 64 2 40 49 39 23 60 54 42 23 9 10 33 38 33 29 39 23 12 12 12 51 51 32 60 10 37 61 24 43 9 49 59 31 14 56 5 44 7 61 59 44 9 37 23 52 66 13 13 49 7 16 57 21 12 23 27 5 23 12 3 28 0 21 56 48 36 38 33 39 58 25 22 8 41 9 25 16 59 18 63 33 31 59 48 20 57 54 1 33 55 5 29 61 9 57 40 32 14 58 45 27 3 53 32 37 30 33 32 61 49 19 32 12 32 29 6 22 61 19 1 0 5 40 49 36 2 31 55 1 42 3 38 43 1 51 49 63 33 30 6 44 24 2 18 33 59 21 10 32 66 21 28 50 2 36 48 13 19 64 47 22 44 43 37 20 20 42 18 62 11 59 1 39 34 14 30 30 12 61 62 18 10 29 66 64 38 26 38 15 40 62 0 35 34 38 0 15 59 1 8 28 29 4 2 2 54 47 39 4 49 3 31 27 23 19 27 25 61 25 32 15 3 56 8 4 64 31 6 40 43 47 5 48 6 21 29 4 13 32 37 2 55 53 33 45 35 40 31 12 43 20 45 36 35 41 19 37 15 50 33 2 46 26 54 22 53 30 7 23 47 10 41 44 63 16 54 61 52 51 32 21 25 22 64 12 51 42 13 37 6 33 0 57 39 17 5 7 58 43 14 34 26 39 8 54 0 60 43 14 50 33 59 32 23 35 49 24 4 45 10 0 47 0 24 59 31 61 51 44 17 38 17 3 7 49 22 43 23 39 13 5 16 66 48 9 3 55 3 18 15 52 13 3 18 51 42 16 50 24 36 1 25 4 33 27 27 45 3 18 52 51 39 1 66 42 66 2 34 14 11 63 0 52 45 39 17 35 31 12 57 45 55 5 22 43 30 7 51 56 60 19 40 43 45 56 34 14 42 31 45 16 61 17 46 19 36 53 27 40 29 23 5 29 65 1 34 24 50 45 12 18 3 4 15 56 2 29 24 19 8 40 58 26 43 43 2 37 35 54 5 15 3 13 27 48 41 0 66 6 59 48 43 34 17 0 14 61 66 40 27 65 60 5 13 11 66 2 64 15 60 13 34 12 0 29 12 43 61 3 11 60 49 10 3 42 2 62 19 28 66 1 61 26 24 27 13 31 55 38 39 39 66 51 17 42 50 37 25 60 37 63 58 22 34 30 18 64 28 25 59 5 4 6 47 12 32 9 22 39 12 55 47 5 52 53 62 66 7 66 40 42 59 37 29 43 34 5 25 14 45 64 12 59 57 44 7 50 40 50 15 14 17 47 40 42 7 16 35 8 55 12 46 55 66 30 65 39 13 31 47 48 7 20 38 34 31 9 26 51 21 63 53 29 35 9 66 27 33 31 48 18 42 30 21 11 25 37 25 31 56 37 11 24 31 8 34 5 56 28 31 2 62 26 32 56 64 7 11 31 24 30 61 4 12 34 16 24 34 3 9 20 59 66 1 19 63 9 44 31 38 62 30 2 51 8 0 0 50 21 63 44 39 29 48 64 56 15 20 46 26 35 46 25 23 66 17 12 51 60 24 62 12 54 21 49 55 60 34 </values> 2400.19/687.66 v </instantiation> 2400.19/687.66 c Unexpected resolution interruption!
OK 66
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-4248641-1502063825/watcher-4248641-1502063825 -o /tmp/evaluation-result-4248641-1502063825/solver-4248641-1502063825 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31899 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 998893695 HOME/instance-4248641-1502063825.xml pid=13788 running on 4 cores: 1,3,5,7 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: 7.43 7.53 7.18 4/204 13791 /proc/meminfo: memFree=30017400/32770624 swapFree=0/331848 [pid=13791] ppid=13788 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/13791/stat : 13791 (runsolver) D 13788 13791 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 54197755 24240128 107 18446744073709551615 4194304 4338465 140735768888576 140735768886216 140112900960983 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 16171008 140735768895575 140735768896073 140735768896073 140735768899530 0 /proc/13791/statm: 5918 107 54 36 0 2156 0 [startup+0.100094 s] /proc/loadavg: 7.43 7.53 7.18 4/204 13791 /proc/meminfo: memFree=30017400/32770624 swapFree=0/331848 [pid=13791] ppid=13788 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54197755 9740288 345 18446744073709551615 4194304 5098028 140733980906032 140733980904136 140627342549628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38440960 140733980914073 140733980914282 140733980914282 140733980917739 0 /proc/13791/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200268 s] /proc/loadavg: 7.43 7.53 7.18 4/204 13791 /proc/meminfo: memFree=30017400/32770624 swapFree=0/331848 [pid=13791] ppid=13788 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54197755 9740288 345 18446744073709551615 4194304 5098028 140733980906032 140733980904136 140627342549628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38440960 140733980914073 140733980914282 140733980914282 140733980917739 0 /proc/13791/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300199 s] /proc/loadavg: 7.43 7.53 7.18 4/204 13791 /proc/meminfo: memFree=30017400/32770624 swapFree=0/331848 [pid=13791] ppid=13788 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54197755 9740288 345 18446744073709551615 4194304 5098028 140733980906032 140733980904136 140627342549628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38440960 140733980914073 140733980914282 140733980914282 140733980917739 0 /proc/13791/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.70121 s] /proc/loadavg: 7.43 7.53 7.18 4/204 13791 /proc/meminfo: memFree=30017400/32770624 swapFree=0/331848 [pid=13791] ppid=13788 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54197755 9740288 345 18446744073709551615 4194304 5098028 140733980906032 140733980904136 140627342549628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38440960 140733980914073 140733980914282 140733980914282 140733980917739 0 /proc/13791/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.51683 s] /proc/loadavg: 7.24 7.49 7.17 7/220 13807 /proc/meminfo: memFree=29835724/32770624 swapFree=0/332136 [pid=13791] ppid=13788 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54197755 9740288 345 18446744073709551615 4194304 5098028 140733980906032 140733980904136 140627342549628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38440960 140733980914073 140733980914282 140733980914282 140733980917739 0 /proc/13791/statm: 2378 345 289 221 0 87 0 [pid=13793] ppid=13791 vsize=12919328 CPUtime=3.73 cores=1,3,5,7 /proc/13793/stat : 13793 (java) S 13791 13791 25100 0 -1 1077944320 17694 0 0 0 365 8 0 0 20 0 15 0 54197764 13229391872 55451 18446744073709551615 4194304 4196468 140727396332096 140727396314640 139846578749175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 /proc/13793/statm: 3229832 55451 3209 1 0 3218124 0 [pid=13793/tid=13794] ppid=13791 vsize=12919328 CPUtime=1.27 cores=1,3,5,7 /proc/13793/task/13794/stat : 13794 (java) S 13791 13791 25100 0 -1 1077944384 8756 0 0 0 123 4 0 0 20 0 15 0 54197764 13229391872 55451 18446744073709551615 4194304 4196468 140727396332096 139846582987504 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13795] ppid=13791 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13795/stat : 13795 (java) R 13791 13791 25100 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 54197765 13229391872 55516 18446744073709551615 4194304 4196468 140727396332096 139846501575896 139846563777040 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13796] ppid=13791 vsize=12919328 CPUtime=0.02 cores=1,3,5,7 /proc/13793/task/13796/stat : 13796 (java) R 13791 13791 25100 0 -1 4202560 61 0 0 0 2 0 0 0 20 0 15 0 54197765 13229391872 55516 18446744073709551615 4194304 4196468 140727396332096 139846500523352 139846563777049 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13797] ppid=13791 vsize=12919328 CPUtime=0.01 cores=1,3,5,7 /proc/13793/task/13797/stat : 13797 (java) R 13791 13791 25100 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 15 0 54197765 13229391872 55516 18446744073709551615 4194304 4196468 140727396332096 139846499469984 139846563777049 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13798] ppid=13791 vsize=12919328 CPUtime=0.02 cores=1,3,5,7 /proc/13793/task/13798/stat : 13798 (java) R 13791 13791 25100 0 -1 4202560 52 0 0 0 2 0 0 0 20 0 15 0 54197765 13229391872 55516 18446744073709551615 4194304 4196468 140727396332096 139846498417752 139846563777067 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13799] ppid=13791 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13799/stat : 13799 (java) S 13791 13791 25100 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 54197766 13229391872 55516 18446744073709551615 4194304 4196468 140727396332096 139845532857120 139846578759381 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13800] ppid=13791 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13800/stat : 13800 (java) S 13791 13791 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 54197766 13229391872 55516 18446744073709551615 4194304 4196468 140727396332096 139845531804832 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13801] ppid=13791 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13801/stat : 13801 (java) S 13791 13791 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 54197767 13229391872 55516 18446744073709551615 4194304 4196468 140727396332096 139845530751728 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13802] ppid=13791 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13802/stat : 13802 (java) S 13791 13791 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54197769 13229391872 55516 18446744073709551615 4194304 4196468 140727396332096 139845529700304 139846578767771 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13803] ppid=13791 vsize=12919328 CPUtime=0.94 cores=1,3,5,7 /proc/13793/task/13803/stat : 13803 (java) S 13791 13791 25100 0 -1 1077944384 2835 0 0 0 94 0 0 0 20 0 15 0 54197769 13229391872 55516 18446744073709551615 4194304 4196468 140727396332096 139845528641312 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13804] ppid=13791 vsize=12919328 CPUtime=0.93 cores=1,3,5,7 /proc/13793/task/13804/stat : 13804 (java) R 13791 13791 25100 0 -1 4202560 2544 0 0 0 93 0 0 0 20 0 15 0 54197769 13229391872 55516 18446744073709551615 4194304 4196468 140727396332096 139845527581912 139846560292881 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13805] ppid=13791 vsize=12919328 CPUtime=0.47 cores=1,3,5,7 /proc/13793/task/13805/stat : 13805 (java) S 13791 13791 25100 0 -1 1077944384 2094 0 0 0 47 0 0 0 20 0 15 0 54197769 13229391872 55516 18446744073709551615 4194304 4196468 140727396332096 139845526542832 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13806] ppid=13791 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13806/stat : 13806 (java) S 13791 13791 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54197769 13229391872 55516 18446744073709551615 4194304 4196468 140727396332096 139845525490528 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13807] ppid=13791 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13807/stat : 13807 (java) S 13791 13791 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 54197780 13229391872 55516 18446744073709551615 4194304 4196468 140727396332096 139845524437552 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 Current children cumulated CPU time (s) 3.73 Current children cumulated vsize (KiB) 12928840 [startup+3.10121 s] /proc/loadavg: 7.24 7.49 7.17 6/220 13807 /proc/meminfo: memFree=29624080/32770624 swapFree=0/332136 [pid=13791] ppid=13788 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54197755 9740288 345 18446744073709551615 4194304 5098028 140733980906032 140733980904136 140627342549628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38440960 140733980914073 140733980914282 140733980914282 140733980917739 0 /proc/13791/statm: 2378 345 289 221 0 87 0 [pid=13793] ppid=13791 vsize=12919328 CPUtime=8.65 cores=1,3,5,7 /proc/13793/stat : 13793 (java) S 13791 13791 25100 0 -1 1077944320 22778 0 0 0 836 29 0 0 20 0 15 0 54197764 13229391872 166909 18446744073709551615 4194304 4196468 140727396332096 140727396314640 139846578749175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 /proc/13793/statm: 3229832 166909 3232 1 0 3218124 0 [pid=13793/tid=13794] ppid=13791 vsize=12919328 CPUtime=2.68 cores=1,3,5,7 /proc/13793/task/13794/stat : 13794 (java) R 13791 13791 25100 0 -1 4202560 9108 0 0 0 259 9 0 0 20 0 15 0 54197764 13229391872 166909 18446744073709551615 4194304 4196468 140727396332096 139846582985776 139846171213421 0 4 1 16800974 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13795] ppid=13791 vsize=12919328 CPUtime=0.16 cores=1,3,5,7 /proc/13793/task/13795/stat : 13795 (java) S 13791 13791 25100 0 -1 1077944384 405 0 0 0 12 4 0 0 20 0 15 0 54197765 13229391872 166909 18446744073709551615 4194304 4196468 140727396332096 139846501575696 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13796] ppid=13791 vsize=12919328 CPUtime=0.13 cores=1,3,5,7 /proc/13793/task/13796/stat : 13796 (java) S 13791 13791 25100 0 -1 1077944384 120 0 0 0 10 3 0 0 20 0 15 0 54197765 13229391872 166909 18446744073709551615 4194304 4196468 140727396332096 139846500523152 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13797] ppid=13791 vsize=12919328 CPUtime=0.15 cores=1,3,5,7 /proc/13793/task/13797/stat : 13797 (java) S 13791 13791 25100 0 -1 1077944384 107 0 0 0 11 4 0 0 20 0 15 0 54197765 13229391872 166909 18446744073709551615 4194304 4196468 140727396332096 139846499470096 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13798] ppid=13791 vsize=12919328 CPUtime=0.16 cores=1,3,5,7 /proc/13793/task/13798/stat : 13798 (java) S 13791 13791 25100 0 -1 1077944384 164 0 0 0 12 4 0 0 20 0 15 0 54197765 13229391872 166909 18446744073709551615 4194304 4196468 140727396332096 139846498417552 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13799] ppid=13791 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13799/stat : 13799 (java) S 13791 13791 25100 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 54197766 13229391872 166909 18446744073709551615 4194304 4196468 140727396332096 139845532858608 139846578760322 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13800] ppid=13791 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13800/stat : 13800 (java) S 13791 13791 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 54197766 13229391872 166909 18446744073709551615 4194304 4196468 140727396332096 139845531804896 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13801] ppid=13791 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13801/stat : 13801 (java) S 13791 13791 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 54197767 13229391872 166909 18446744073709551615 4194304 4196468 140727396332096 139845530751744 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13802] ppid=13791 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13802/stat : 13802 (java) S 13791 13791 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54197769 13229391872 166909 18446744073709551615 4194304 4196468 140727396332096 139845529700304 139846578767771 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13803] ppid=13791 vsize=12919328 CPUtime=2.36 cores=1,3,5,7 /proc/13793/task/13803/stat : 13803 (java) R 13791 13791 25100 0 -1 4202560 4593 0 0 0 235 1 0 0 20 0 15 0 54197769 13229391872 166909 18446744073709551615 4194304 4196468 140727396332096 139845528635280 139846560293393 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13804] ppid=13791 vsize=12919328 CPUtime=2.37 cores=1,3,5,7 /proc/13793/task/13804/stat : 13804 (java) R 13791 13791 25100 0 -1 4202560 3996 0 0 0 237 0 0 0 20 0 15 0 54197769 13229391872 166909 18446744073709551615 4194304 4196468 140727396332096 139845527588376 139846562243307 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13805] ppid=13791 vsize=12919328 CPUtime=0.57 cores=1,3,5,7 /proc/13793/task/13805/stat : 13805 (java) S 13791 13791 25100 0 -1 1077944384 2778 0 0 0 56 1 0 0 20 0 15 0 54197769 13229391872 166909 18446744073709551615 4194304 4196468 140727396332096 139845526542832 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13806] ppid=13791 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13806/stat : 13806 (java) S 13791 13791 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54197769 13229391872 166909 18446744073709551615 4194304 4196468 140727396332096 139845525490528 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13807] ppid=13791 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13807/stat : 13807 (java) S 13791 13791 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 54197780 13229391872 166909 18446744073709551615 4194304 4196468 140727396332096 139845524437552 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 Current children cumulated CPU time (s) 8.65 Current children cumulated vsize (KiB) 12928840 [startup+6.30116 s] /proc/loadavg: 7.24 7.49 7.17 7/224 13811 /proc/meminfo: memFree=29232120/32770624 swapFree=0/332128 [pid=13791] ppid=13788 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54197755 9740288 345 18446744073709551615 4194304 5098028 140733980906032 140733980904136 140627342549628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38440960 140733980914073 140733980914282 140733980914282 140733980917739 0 /proc/13791/statm: 2378 345 289 221 0 87 0 [pid=13793] ppid=13791 vsize=13185584 CPUtime=20.4 cores=1,3,5,7 /proc/13793/stat : 13793 (java) S 13791 13791 25100 0 -1 1077944320 30025 0 0 0 1998 42 0 0 20 0 19 0 54197764 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 140727396314640 139846578749175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 /proc/13793/statm: 3296396 198867 3251 1 0 3284688 0 [pid=13793/tid=13794] ppid=13791 vsize=13185584 CPUtime=2.98 cores=1,3,5,7 /proc/13793/task/13794/stat : 13794 (java) S 13791 13791 25100 0 -1 1077944384 9188 0 0 0 288 10 0 0 20 0 19 0 54197764 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139846582989952 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13795] ppid=13791 vsize=13185584 CPUtime=0.25 cores=1,3,5,7 /proc/13793/task/13795/stat : 13795 (java) S 13791 13791 25100 0 -1 1077944384 442 0 0 0 19 6 0 0 20 0 19 0 54197765 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139846501575696 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13796] ppid=13791 vsize=13185584 CPUtime=0.23 cores=1,3,5,7 /proc/13793/task/13796/stat : 13796 (java) S 13791 13791 25100 0 -1 1077944384 171 0 0 0 17 6 0 0 20 0 19 0 54197765 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139846500523152 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13797] ppid=13791 vsize=13185584 CPUtime=0.25 cores=1,3,5,7 /proc/13793/task/13797/stat : 13797 (java) S 13791 13791 25100 0 -1 1077944384 162 0 0 0 19 6 0 0 20 0 19 0 54197765 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139846499470096 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13798] ppid=13791 vsize=13185584 CPUtime=0.26 cores=1,3,5,7 /proc/13793/task/13798/stat : 13798 (java) S 13791 13791 25100 0 -1 1077944384 245 0 0 0 20 6 0 0 20 0 19 0 54197765 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139846498417552 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13799] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13799/stat : 13799 (java) S 13791 13791 25100 0 -1 1077944384 545 0 0 0 0 0 0 0 20 0 19 0 54197766 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139845532858608 139846578760322 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13800] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13800/stat : 13800 (java) S 13791 13791 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 54197766 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139845531804896 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13801] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13801/stat : 13801 (java) S 13791 13791 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 54197767 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139845530751744 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13802] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13802/stat : 13802 (java) S 13791 13791 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54197769 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139845529700304 139846578767771 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13803] ppid=13791 vsize=13185584 CPUtime=3.8 cores=1,3,5,7 /proc/13793/task/13803/stat : 13803 (java) S 13791 13791 25100 0 -1 1077944384 7236 0 0 0 379 1 0 0 20 0 19 0 54197769 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139845528648432 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13804] ppid=13791 vsize=13185584 CPUtime=3.72 cores=1,3,5,7 /proc/13793/task/13804/stat : 13804 (java) S 13791 13791 25100 0 -1 1077944384 5897 0 0 0 371 1 0 0 20 0 19 0 54197769 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139845527595888 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13805] ppid=13791 vsize=13185584 CPUtime=0.79 cores=1,3,5,7 /proc/13793/task/13805/stat : 13805 (java) S 13791 13791 25100 0 -1 1077944384 3787 0 0 0 77 2 0 0 20 0 19 0 54197769 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139845526542832 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13806] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13806/stat : 13806 (java) S 13791 13791 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54197769 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139845525490528 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13807] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13807/stat : 13807 (java) S 13791 13791 25100 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 54197780 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139845524437552 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13808] ppid=13791 vsize=13185584 CPUtime=2.09 cores=1,3,5,7 /proc/13793/task/13808/stat : 13808 (java) R 13791 13791 25100 0 -1 4202560 429 0 0 0 209 0 0 0 20 0 19 0 54198115 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139845516922008 139846175034984 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13809] ppid=13791 vsize=13185584 CPUtime=1.83 cores=1,3,5,7 /proc/13793/task/13809/stat : 13809 (java) R 13791 13791 25100 0 -1 4202560 248 0 0 0 183 0 0 0 20 0 19 0 54198115 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139845515870440 139846175215302 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13810] ppid=13791 vsize=13185584 CPUtime=2.09 cores=1,3,5,7 /proc/13793/task/13810/stat : 13810 (java) R 13791 13791 25100 0 -1 4202560 146 0 0 0 209 0 0 0 20 0 19 0 54198115 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139845514817560 139846175034500 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13811] ppid=13791 vsize=13185584 CPUtime=2 cores=1,3,5,7 /proc/13793/task/13811/stat : 13811 (java) R 13791 13791 25100 0 -1 4202560 220 0 0 0 200 0 0 0 20 0 19 0 54198115 13502038016 198867 18446744073709551615 4194304 4196468 140727396332096 139845513766960 139846174259174 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 Current children cumulated CPU time (s) 20.4 Current children cumulated vsize (KiB) 13195096 [startup+12.7012 s] /proc/loadavg: 7.20 7.47 7.17 9/224 13819 /proc/meminfo: memFree=28835136/32770624 swapFree=0/332128 [pid=13791] ppid=13788 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54197755 9740288 345 18446744073709551615 4194304 5098028 140733980906032 140733980904136 140627342549628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38440960 140733980914073 140733980914282 140733980914282 140733980917739 0 /proc/13791/statm: 2378 345 289 221 0 87 0 [pid=13793] ppid=13791 vsize=13185584 CPUtime=42.6 cores=1,3,5,7 ################ # More data... # ################ [pid=13793] ppid=13791 vsize=13185584 CPUtime=2219.79 cores=1,3,5,7 /proc/13793/stat : 13793 (java) S 13791 13791 25100 0 -1 1077944320 226240 0 0 0 221690 289 0 0 20 0 19 0 54197764 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 140727396314640 139846578749175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 /proc/13793/statm: 3296396 876473 3273 1 0 3284688 0 [pid=13793/tid=13794] ppid=13791 vsize=13185584 CPUtime=3 cores=1,3,5,7 /proc/13793/task/13794/stat : 13794 (java) S 13791 13791 25100 0 -1 1077944384 12223 0 0 0 290 10 0 0 20 0 19 0 54197764 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139846582989952 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13795] ppid=13791 vsize=13185584 CPUtime=1.92 cores=1,3,5,7 /proc/13793/task/13795/stat : 13795 (java) S 13791 13791 25100 0 -1 1077944384 5849 0 0 0 166 26 0 0 20 0 19 0 54197765 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139846501575696 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13796] ppid=13791 vsize=13185584 CPUtime=1.9 cores=1,3,5,7 /proc/13793/task/13796/stat : 13796 (java) S 13791 13791 25100 0 -1 1077944384 6112 0 0 0 163 27 0 0 20 0 19 0 54197765 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139846500523152 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13797] ppid=13791 vsize=13185584 CPUtime=1.9 cores=1,3,5,7 /proc/13793/task/13797/stat : 13797 (java) S 13791 13791 25100 0 -1 1077944384 6377 0 0 0 164 26 0 0 20 0 19 0 54197765 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139846499470096 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13798] ppid=13791 vsize=13185584 CPUtime=1.92 cores=1,3,5,7 /proc/13793/task/13798/stat : 13798 (java) S 13791 13791 25100 0 -1 1077944384 6353 0 0 0 165 27 0 0 20 0 19 0 54197765 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139846498417552 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13799] ppid=13791 vsize=13185584 CPUtime=1.56 cores=1,3,5,7 /proc/13793/task/13799/stat : 13799 (java) S 13791 13791 25100 0 -1 1077944384 13847 0 0 0 60 96 0 0 20 0 19 0 54197766 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139845532858608 139846578760322 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13800] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13800/stat : 13800 (java) S 13791 13791 25100 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 54197766 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139845531804896 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13801] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13801/stat : 13801 (java) S 13791 13791 25100 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 54197767 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139845530751744 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13802] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13802/stat : 13802 (java) S 13791 13791 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54197769 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139845529700304 139846578767771 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13803] ppid=13791 vsize=13185584 CPUtime=4.92 cores=1,3,5,7 /proc/13793/task/13803/stat : 13803 (java) S 13791 13791 25100 0 -1 1077944384 33162 0 0 0 490 2 0 0 20 0 19 0 54197769 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139845528648432 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13804] ppid=13791 vsize=13185584 CPUtime=4.96 cores=1,3,5,7 /proc/13793/task/13804/stat : 13804 (java) S 13791 13791 25100 0 -1 1077944384 32741 0 0 0 494 2 0 0 20 0 19 0 54197769 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139845527595888 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13805] ppid=13791 vsize=13185584 CPUtime=0.93 cores=1,3,5,7 /proc/13793/task/13805/stat : 13805 (java) S 13791 13791 25100 0 -1 1077944384 21576 0 0 0 90 3 0 0 20 0 19 0 54197769 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139845526542832 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13806] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13806/stat : 13806 (java) S 13791 13791 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54197769 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139845525490528 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13807] ppid=13791 vsize=13185584 CPUtime=0.38 cores=1,3,5,7 /proc/13793/task/13807/stat : 13807 (java) S 13791 13791 25100 0 -1 1077944384 3382 0 0 0 16 22 0 0 20 0 19 0 54197780 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139845524437552 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13898] ppid=13791 vsize=13185584 CPUtime=262.53 cores=1,3,5,7 /proc/13793/task/13898/stat : 13898 (java) R 13791 13791 25100 0 -1 4202560 2531 0 0 0 26252 1 0 0 20 0 19 0 54235534 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139845514816984 139846175035397 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13899] ppid=13791 vsize=13185584 CPUtime=260.77 cores=1,3,5,7 /proc/13793/task/13899/stat : 13899 (java) R 13791 13791 25100 0 -1 4202560 13452 0 0 0 26073 4 0 0 20 0 19 0 54235534 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139845516925240 139846174422615 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13900] ppid=13791 vsize=13185584 CPUtime=262.45 cores=1,3,5,7 /proc/13793/task/13900/stat : 13900 (java) R 13791 13791 25100 0 -1 4202560 1482 0 0 0 26244 1 0 0 20 0 19 0 54235534 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139845513766856 139846175034950 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13901] ppid=13791 vsize=13185584 CPUtime=262.2 cores=1,3,5,7 /proc/13793/task/13901/stat : 13901 (java) R 13791 13791 25100 0 -1 4202560 7779 0 0 0 26219 1 0 0 20 0 19 0 54235534 13502038016 876473 18446744073709551615 4194304 4196468 140727396332096 139845515870040 139846174060185 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 Current children cumulated CPU time (s) 2219.79 Current children cumulated vsize (KiB) 13195096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+687.601 s] /proc/loadavg: 8.08 7.74 7.31 7/225 14029 /proc/meminfo: memFree=26082524/32770624 swapFree=0/332348 [pid=13791] ppid=13788 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54197755 9740288 345 18446744073709551615 4194304 5098028 140733980906032 140733980904136 140627342549628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38440960 140733980914073 140733980914282 140733980914282 140733980917739 0 /proc/13791/statm: 2378 345 289 221 0 87 0 [pid=13793] ppid=13791 vsize=13185584 CPUtime=2400.19 cores=1,3,5,7 /proc/13793/stat : 13793 (java) S 13791 13791 25100 0 -1 1077944320 228091 0 0 0 239710 309 0 0 20 0 19 0 54197764 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 140727396314640 139846578749175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 /proc/13793/statm: 3296396 962046 3273 1 0 3284688 0 [pid=13793/tid=13794] ppid=13791 vsize=13185584 CPUtime=3 cores=1,3,5,7 /proc/13793/task/13794/stat : 13794 (java) S 13791 13791 25100 0 -1 1077944384 12223 0 0 0 290 10 0 0 20 0 19 0 54197764 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139846582989952 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13795] ppid=13791 vsize=13185584 CPUtime=1.95 cores=1,3,5,7 /proc/13793/task/13795/stat : 13795 (java) S 13791 13791 25100 0 -1 1077944384 5874 0 0 0 168 27 0 0 20 0 19 0 54197765 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139846501575696 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13796] ppid=13791 vsize=13185584 CPUtime=1.93 cores=1,3,5,7 /proc/13793/task/13796/stat : 13796 (java) S 13791 13791 25100 0 -1 1077944384 6127 0 0 0 165 28 0 0 20 0 19 0 54197765 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139846500523152 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13797] ppid=13791 vsize=13185584 CPUtime=1.93 cores=1,3,5,7 /proc/13793/task/13797/stat : 13797 (java) S 13791 13791 25100 0 -1 1077944384 6409 0 0 0 166 27 0 0 20 0 19 0 54197765 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139846499470096 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13798] ppid=13791 vsize=13185584 CPUtime=1.95 cores=1,3,5,7 /proc/13793/task/13798/stat : 13798 (java) S 13791 13791 25100 0 -1 1077944384 6500 0 0 0 167 28 0 0 20 0 19 0 54197765 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139846498417552 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13799] ppid=13791 vsize=13185584 CPUtime=1.69 cores=1,3,5,7 /proc/13793/task/13799/stat : 13799 (java) S 13791 13791 25100 0 -1 1077944384 13850 0 0 0 64 105 0 0 20 0 19 0 54197766 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845532858608 139846578760322 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13800] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13800/stat : 13800 (java) S 13791 13791 25100 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 54197766 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845531804896 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13801] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13801/stat : 13801 (java) S 13791 13791 25100 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 54197767 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845530751744 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13802] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13802/stat : 13802 (java) S 13791 13791 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54197769 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845529700304 139846578767771 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13803] ppid=13791 vsize=13185584 CPUtime=4.93 cores=1,3,5,7 /proc/13793/task/13803/stat : 13803 (java) S 13791 13791 25100 0 -1 1077944384 33172 0 0 0 491 2 0 0 20 0 19 0 54197769 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845528648432 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13804] ppid=13791 vsize=13185584 CPUtime=4.97 cores=1,3,5,7 /proc/13793/task/13804/stat : 13804 (java) S 13791 13791 25100 0 -1 1077944384 32744 0 0 0 495 2 0 0 20 0 19 0 54197769 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845527595888 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13805] ppid=13791 vsize=13185584 CPUtime=0.93 cores=1,3,5,7 /proc/13793/task/13805/stat : 13805 (java) S 13791 13791 25100 0 -1 1077944384 21582 0 0 0 90 3 0 0 20 0 19 0 54197769 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845526542832 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13806] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13806/stat : 13806 (java) S 13791 13791 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54197769 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845525490528 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13807] ppid=13791 vsize=13185584 CPUtime=0.42 cores=1,3,5,7 /proc/13793/task/13807/stat : 13807 (java) S 13791 13791 25100 0 -1 1077944384 3386 0 0 0 18 24 0 0 20 0 19 0 54197780 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845524437552 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13898] ppid=13791 vsize=13185584 CPUtime=307.47 cores=1,3,5,7 /proc/13793/task/13898/stat : 13898 (java) R 13791 13791 25100 0 -1 4202560 2603 0 0 0 30746 1 0 0 20 0 19 0 54235534 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845514816784 139846175034984 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13899] ppid=13791 vsize=13185584 CPUtime=305.92 cores=1,3,5,7 /proc/13793/task/13899/stat : 13899 (java) R 13791 13791 25100 0 -1 4202560 14646 0 0 0 30582 10 0 0 20 0 19 0 54235534 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845516923528 139846175215302 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13900] ppid=13791 vsize=13185584 CPUtime=307.65 cores=1,3,5,7 /proc/13793/task/13900/stat : 13900 (java) R 13791 13791 25100 0 -1 4202560 1543 0 0 0 30764 1 0 0 20 0 19 0 54235534 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845513765128 139846175034912 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13901] ppid=13791 vsize=13185584 CPUtime=307.02 cores=1,3,5,7 /proc/13793/task/13901/stat : 13901 (java) R 13791 13791 25100 0 -1 4202560 8058 0 0 0 30700 2 0 0 20 0 19 0 54235534 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845515870328 139846174259445 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 Current children cumulated CPU time (s) 2400.19 Current children cumulated vsize (KiB) 13195096 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 13793 sig 9 ??? kill 13791 sig 9 ??? kill -13791 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+687.601 s] /proc/loadavg: 8.08 7.74 7.31 7/225 14029 /proc/meminfo: memFree=26082524/32770624 swapFree=0/332348 [pid=13791] ppid=13788 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54197755 9740288 345 18446744073709551615 4194304 5098028 140733980906032 140733980904136 140627342549628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38440960 140733980914073 140733980914282 140733980914282 140733980917739 0 /proc/13791/statm: 2378 345 289 221 0 87 0 [pid=13793] ppid=13791 vsize=13185584 CPUtime=2400.19 cores=1,3,5,7 /proc/13793/stat : 13793 (java) S 13791 13791 25100 0 -1 1077944320 228091 0 0 0 239710 309 0 0 20 0 19 0 54197764 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 140727396314640 139846578749175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 /proc/13793/statm: 3296396 962046 3273 1 0 3284688 0 [pid=13793/tid=13794] ppid=13791 vsize=13185584 CPUtime=3 cores=1,3,5,7 /proc/13793/task/13794/stat : 13794 (java) S 13791 13791 25100 0 -1 1077944384 12223 0 0 0 290 10 0 0 20 0 19 0 54197764 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139846582989952 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13795] ppid=13791 vsize=13185584 CPUtime=1.95 cores=1,3,5,7 /proc/13793/task/13795/stat : 13795 (java) S 13791 13791 25100 0 -1 1077944384 5874 0 0 0 168 27 0 0 20 0 19 0 54197765 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139846501575696 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13796] ppid=13791 vsize=13185584 CPUtime=1.93 cores=1,3,5,7 /proc/13793/task/13796/stat : 13796 (java) S 13791 13791 25100 0 -1 1077944384 6127 0 0 0 165 28 0 0 20 0 19 0 54197765 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139846500523152 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13797] ppid=13791 vsize=13185584 CPUtime=1.93 cores=1,3,5,7 /proc/13793/task/13797/stat : 13797 (java) S 13791 13791 25100 0 -1 1077944384 6409 0 0 0 166 27 0 0 20 0 19 0 54197765 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139846499470096 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13798] ppid=13791 vsize=13185584 CPUtime=1.95 cores=1,3,5,7 /proc/13793/task/13798/stat : 13798 (java) S 13791 13791 25100 0 -1 1077944384 6500 0 0 0 167 28 0 0 20 0 19 0 54197765 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139846498417552 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13799] ppid=13791 vsize=13185584 CPUtime=1.69 cores=1,3,5,7 /proc/13793/task/13799/stat : 13799 (java) S 13791 13791 25100 0 -1 1077944384 13850 0 0 0 64 105 0 0 20 0 19 0 54197766 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845532858608 139846578760322 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13800] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13800/stat : 13800 (java) S 13791 13791 25100 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 54197766 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845531804896 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13801] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13801/stat : 13801 (java) S 13791 13791 25100 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 54197767 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845530751744 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13802] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13802/stat : 13802 (java) S 13791 13791 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54197769 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845529700304 139846578767771 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13803] ppid=13791 vsize=13185584 CPUtime=4.93 cores=1,3,5,7 /proc/13793/task/13803/stat : 13803 (java) S 13791 13791 25100 0 -1 1077944384 33172 0 0 0 491 2 0 0 20 0 19 0 54197769 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845528648432 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13804] ppid=13791 vsize=13185584 CPUtime=4.97 cores=1,3,5,7 /proc/13793/task/13804/stat : 13804 (java) S 13791 13791 25100 0 -1 1077944384 32744 0 0 0 495 2 0 0 20 0 19 0 54197769 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845527595888 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13805] ppid=13791 vsize=13185584 CPUtime=0.93 cores=1,3,5,7 /proc/13793/task/13805/stat : 13805 (java) S 13791 13791 25100 0 -1 1077944384 21582 0 0 0 90 3 0 0 20 0 19 0 54197769 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845526542832 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13806] ppid=13791 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/13793/task/13806/stat : 13806 (java) S 13791 13791 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54197769 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845525490528 139846578759381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13807] ppid=13791 vsize=13185584 CPUtime=0.42 cores=1,3,5,7 /proc/13793/task/13807/stat : 13807 (java) S 13791 13791 25100 0 -1 1077944384 3386 0 0 0 18 24 0 0 20 0 19 0 54197780 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845524437552 139846578760322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13898] ppid=13791 vsize=13185584 CPUtime=307.47 cores=1,3,5,7 /proc/13793/task/13898/stat : 13898 (java) R 13791 13791 25100 0 -1 4202560 2603 0 0 0 30746 1 0 0 20 0 19 0 54235534 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845514816784 139846175034984 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13899] ppid=13791 vsize=13185584 CPUtime=305.92 cores=1,3,5,7 /proc/13793/task/13899/stat : 13899 (java) R 13791 13791 25100 0 -1 4202560 14646 0 0 0 30582 10 0 0 20 0 19 0 54235534 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845516923528 139846175215302 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13900] ppid=13791 vsize=13185584 CPUtime=307.65 cores=1,3,5,7 /proc/13793/task/13900/stat : 13900 (java) R 13791 13791 25100 0 -1 4202560 1543 0 0 0 30764 1 0 0 20 0 19 0 54235534 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845513765128 139846175034912 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 [pid=13793/tid=13901] ppid=13791 vsize=13185584 CPUtime=307.02 cores=1,3,5,7 /proc/13793/task/13901/stat : 13901 (java) R 13791 13791 25100 0 -1 4202560 8058 0 0 0 30700 2 0 0 20 0 19 0 54235534 13502038016 962046 18446744073709551615 4194304 4196468 140727396332096 139845515870328 139846174259445 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140727396340182 140727396340358 140727396340358 140727396343759 0 Current children cumulated CPU time (s) 2400.19 Current children cumulated vsize (KiB) 13195096 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 13791 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=928 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=928 # CPU time returned by wait4() is 0.001856 # while last known CPU time is 2400.19 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 687.644 CPU time (s): 2400.19 CPU user time (s): 2397.1 CPU system time (s): 3.09 CPU usage (%): 349.045 Max. virtual memory (cumulated for all children) (KiB): 13195096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000928 system time used= 0.000928 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.75927 second user time and 5.20444 second system time The end
Begin job on node133 at 2017-08-07 01:42:58 IDJOB=4248641 IDBENCH=140591 IDSOLVER=2625 FILE ID=node133/4248641-1502063825 RUNJOBID= node133-1502042263-31899 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 4.0.5 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-46.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248641-1502063825/watcher-4248641-1502063825 -o /tmp/evaluation-result-4248641-1502063825/solver-4248641-1502063825 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31899 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 998893695 HOME/instance-4248641-1502063825.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6af071621bab6d4e45a1e2acc37440b7 RANDOM SEED=998893695 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30017664 kB MemAvailable: 30518396 kB Buffers: 208320 kB Cached: 583976 kB SwapCached: 0 kB Active: 1972360 kB Inactive: 357028 kB Active(anon): 1537700 kB Inactive(anon): 24920 kB Active(file): 434660 kB Inactive(file): 332108 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8664 kB Writeback: 0 kB AnonPages: 1569780 kB Mapped: 52464 kB Shmem: 25276 kB Slab: 125892 kB SReclaimable: 99596 kB SUnreclaim: 26296 kB KernelStack: 3856 kB PageTables: 8032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3346168 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1454080 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= 62012 MiB End job on node133 at 2017-08-07 01:54:26