Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | SAT (TO) | 66 | 2400.1399 | 681.53101 |
| 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.10 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4248642-1502096448.xml" -tl '2400s' -p 4 -x 3 0.00/0.28 c [HOME/instance-4248642-1502096448.xml, -tl, 2400s, -p, 4, -x, 3] 0.00/0.33 c 4 solvers in parallel 0.00/0.40 c parse instance... 9.25/3.35 c solve instance... 34.02/10.42 o 872 64.57/20.02 o 786 83.08/24.84 o 733 104.91/31.52 o 588 135.84/42.80 o 514 162.60/51.87 o 507 189.48/61.06 o 175 268.88/84.63 o 167 323.80/102.03 o 104 490.26/150.29 o 90 522.08/158.41 o 86 806.50/236.93 o 73 1153.16/368.25 o 66 2400.14/681.56 s SATISFIABLE 2400.14/681.56 v <instantiation> 2400.14/681.56 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.14/681.56 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.14/681.56 v </instantiation> 2400.14/681.56 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-4248642-1502096448/watcher-4248642-1502096448 -o /tmp/evaluation-result-4248642-1502096448/solver-4248642-1502096448 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15621 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1645057945 HOME/instance-4248642-1502096448.xml pid=25125 running on 4 cores: 0,2,4,6 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.79 7.63 7.20 5/203 25128 /proc/meminfo: memFree=30034364/32770624 swapFree=0/375728 [pid=25128] ppid=25125 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/25128/stat : 25128 (runsolver) D 25125 25128 2911 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 109297976 24240128 106 18446744073709551615 4194304 4338465 140734756469664 140734756467304 140351648424663 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 20918272 140734756470870 140734756471369 140734756471369 140734756474826 0 /proc/25128/statm: 5918 106 53 36 0 2156 0 [startup+0.100125 s] /proc/loadavg: 7.79 7.63 7.20 5/203 25128 /proc/meminfo: memFree=30034364/32770624 swapFree=0/375728 [pid=25128] ppid=25125 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/25128/stat : 25128 (runsolver) D 25125 25128 2911 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 109297976 24240128 106 18446744073709551615 4194304 4338465 140734756469664 140734756467304 140351648424663 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 20918272 140734756470870 140734756471369 140734756471369 140734756474826 0 /proc/25128/statm: 5918 106 53 36 0 2156 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23672 [startup+0.200335 s] /proc/loadavg: 7.79 7.63 7.20 5/203 25128 /proc/meminfo: memFree=30034364/32770624 swapFree=0/375728 [pid=25128] ppid=25125 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/25128/stat : 25128 (xcsp3-exec) S 25125 25128 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 109297976 9740288 345 18446744073709551615 4194304 5098028 140736195979792 140736195977896 139656742290044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 9441280 140736195985816 140736195986026 140736195986026 140736195989483 0 /proc/25128/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.30035 s] /proc/loadavg: 7.79 7.63 7.20 5/203 25128 /proc/meminfo: memFree=30034364/32770624 swapFree=0/375728 [pid=25128] ppid=25125 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/25128/stat : 25128 (xcsp3-exec) S 25125 25128 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 109297976 9740288 345 18446744073709551615 4194304 5098028 140736195979792 140736195977896 139656742290044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 9441280 140736195985816 140736195986026 140736195986026 140736195989483 0 /proc/25128/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.701782 s] /proc/loadavg: 7.79 7.63 7.20 5/203 25128 /proc/meminfo: memFree=30034364/32770624 swapFree=0/375728 [pid=25128] ppid=25125 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/25128/stat : 25128 (xcsp3-exec) S 25125 25128 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 109297976 9740288 345 18446744073709551615 4194304 5098028 140736195979792 140736195977896 139656742290044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 9441280 140736195985816 140736195986026 140736195986026 140736195989483 0 /proc/25128/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50079 s] /proc/loadavg: 7.79 7.63 7.20 9/220 25145 /proc/meminfo: memFree=29851484/32770624 swapFree=0/375760 [pid=25128] ppid=25125 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/25128/stat : 25128 (xcsp3-exec) S 25125 25128 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 109297976 9740288 345 18446744073709551615 4194304 5098028 140736195979792 140736195977896 139656742290044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 9441280 140736195985816 140736195986026 140736195986026 140736195989483 0 /proc/25128/statm: 2378 345 289 221 0 87 0 [pid=25130] ppid=25128 vsize=12919328 CPUtime=3.96 cores=0,2,4,6 /proc/25130/stat : 25130 (java) S 25128 25128 2911 0 -1 1077944320 15885 0 0 0 384 12 0 0 20 0 15 0 109297986 13229391872 57780 18446744073709551615 4194304 4196468 140728726716832 140728726699376 139989713432311 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 /proc/25130/statm: 3229832 57780 3204 1 0 3218124 0 [pid=25130/tid=25131] ppid=25128 vsize=12919328 CPUtime=1.29 cores=0,2,4,6 /proc/25130/task/25131/stat : 25131 (java) S 25128 25128 2911 0 -1 1077944384 8271 0 0 0 124 5 0 0 20 0 15 0 109297987 13229391872 57780 18446744073709551615 4194304 4196468 140728726716832 139989717670096 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25132] ppid=25128 vsize=12919328 CPUtime=0.01 cores=0,2,4,6 /proc/25130/task/25132/stat : 25132 (java) R 25128 25128 2911 0 -1 4202560 26 0 0 0 1 0 0 0 20 0 15 0 109297988 13229391872 57780 18446744073709551615 4194304 4196468 140728726716832 139989636258592 139989698459730 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25133] ppid=25128 vsize=12919328 CPUtime=0.01 cores=0,2,4,6 /proc/25130/task/25133/stat : 25133 (java) R 25128 25128 2911 0 -1 4202560 55 0 0 0 1 0 0 0 20 0 15 0 109297988 13229391872 57780 18446744073709551615 4194304 4196468 140728726716832 139989635206104 139989698460176 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25134] ppid=25128 vsize=12919328 CPUtime=0.04 cores=0,2,4,6 /proc/25130/task/25134/stat : 25134 (java) R 25128 25128 2911 0 -1 4202560 51 0 0 0 3 1 0 0 20 0 15 0 109297988 13229391872 57780 18446744073709551615 4194304 4196468 140728726716832 139989634153616 139989706535923 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25135] ppid=25128 vsize=12919328 CPUtime=0.03 cores=0,2,4,6 /proc/25130/task/25135/stat : 25135 (java) R 25128 25128 2911 0 -1 4202560 50 0 0 0 2 1 0 0 20 0 15 0 109297988 13229391872 57780 18446744073709551615 4194304 4196468 140728726716832 139989633101016 139989698460176 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25136] ppid=25128 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25136/stat : 25136 (java) S 25128 25128 2911 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 109297989 13229391872 57780 18446744073709551615 4194304 4196468 140728726716832 139989196665504 139989713442517 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25137] ppid=25128 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25137/stat : 25137 (java) S 25128 25128 2911 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 109297989 13229391872 57780 18446744073709551615 4194304 4196468 140728726716832 139989195612960 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25138] ppid=25128 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25138/stat : 25138 (java) S 25128 25128 2911 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 109297990 13229391872 57780 18446744073709551615 4194304 4196468 140728726716832 139989194560624 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25139] ppid=25128 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25139/stat : 25139 (java) S 25128 25128 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109297992 13229391872 57780 18446744073709551615 4194304 4196468 140728726716832 139989193508944 139989713450907 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25140] ppid=25128 vsize=12919328 CPUtime=0.99 cores=0,2,4,6 /proc/25130/task/25140/stat : 25140 (java) S 25128 25128 2911 0 -1 1077944384 2079 0 0 0 99 0 0 0 20 0 15 0 109297992 13229391872 57780 18446744073709551615 4194304 4196468 140728726716832 139989192441808 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25141] ppid=25128 vsize=12919328 CPUtime=0.99 cores=0,2,4,6 /proc/25130/task/25141/stat : 25141 (java) S 25128 25128 2911 0 -1 1077944384 1902 0 0 0 99 0 0 0 20 0 15 0 109297992 13229391872 57780 18446744073709551615 4194304 4196468 140728726716832 139989191389008 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25142] ppid=25128 vsize=12919328 CPUtime=0.52 cores=0,2,4,6 /proc/25130/task/25142/stat : 25142 (java) S 25128 25128 2911 0 -1 1077944384 2072 0 0 0 51 1 0 0 20 0 15 0 109297992 13229391872 57780 18446744073709551615 4194304 4196468 140728726716832 139989190351728 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25143] ppid=25128 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25143/stat : 25143 (java) S 25128 25128 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109297992 13229391872 57780 18446744073709551615 4194304 4196468 140728726716832 139989189299168 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25144] ppid=25128 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25144/stat : 25144 (java) S 25128 25128 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109297996 13229391872 57780 18446744073709551615 4194304 4196468 140728726716832 139989188245936 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 Current children cumulated CPU time (s) 3.96 Current children cumulated vsize (KiB) 12928840 [startup+3.10079 s] /proc/loadavg: 7.79 7.63 7.20 8/220 25145 /proc/meminfo: memFree=29636448/32770624 swapFree=0/375760 [pid=25128] ppid=25125 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/25128/stat : 25128 (xcsp3-exec) S 25125 25128 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 109297976 9740288 345 18446744073709551615 4194304 5098028 140736195979792 140736195977896 139656742290044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 9441280 140736195985816 140736195986026 140736195986026 140736195989483 0 /proc/25128/statm: 2378 345 289 221 0 87 0 [pid=25130] ppid=25128 vsize=12919328 CPUtime=8.86 cores=0,2,4,6 /proc/25130/stat : 25130 (java) S 25128 25128 2911 0 -1 1077944320 21271 0 0 0 850 36 0 0 20 0 15 0 109297986 13229391872 189421 18446744073709551615 4194304 4196468 140728726716832 140728726699376 139989713432311 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 /proc/25130/statm: 3229832 189421 3231 1 0 3218124 0 [pid=25130/tid=25131] ppid=25128 vsize=12919328 CPUtime=2.65 cores=0,2,4,6 /proc/25130/task/25131/stat : 25131 (java) S 25128 25128 2911 0 -1 1077944384 8638 0 0 0 254 11 0 0 20 0 15 0 109297987 13229391872 189421 18446744073709551615 4194304 4196468 140728726716832 139989717671472 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25132] ppid=25128 vsize=12919328 CPUtime=0.19 cores=0,2,4,6 /proc/25130/task/25132/stat : 25132 (java) R 25128 25128 2911 0 -1 4202560 412 0 0 0 15 4 0 0 20 0 15 0 109297988 13229391872 189421 18446744073709551615 4194304 4196468 140728726716832 139989636258904 139989698460185 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25133] ppid=25128 vsize=12919328 CPUtime=0.23 cores=0,2,4,6 /proc/25130/task/25133/stat : 25133 (java) R 25128 25128 2911 0 -1 4202560 208 0 0 0 18 5 0 0 20 0 15 0 109297988 13229391872 189421 18446744073709551615 4194304 4196468 140728726716832 139989635205904 139989698460194 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25134] ppid=25128 vsize=12919328 CPUtime=0.22 cores=0,2,4,6 /proc/25130/task/25134/stat : 25134 (java) R 25128 25128 2911 0 -1 4202560 183 0 0 0 17 5 0 0 20 0 15 0 109297988 13229391872 189421 18446744073709551615 4194304 4196468 140728726716832 139989634153616 139989698460194 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25135] ppid=25128 vsize=12919328 CPUtime=0.23 cores=0,2,4,6 /proc/25130/task/25135/stat : 25135 (java) R 25128 25128 2911 0 -1 4202560 216 0 0 0 18 5 0 0 20 0 15 0 109297988 13229391872 189421 18446744073709551615 4194304 4196468 140728726716832 139989633100704 139989706529012 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25136] ppid=25128 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25136/stat : 25136 (java) S 25128 25128 2911 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 109297989 13229391872 189421 18446744073709551615 4194304 4196468 140728726716832 139989196665504 139989713442517 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25137] ppid=25128 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25137/stat : 25137 (java) S 25128 25128 2911 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 109297989 13229391872 189421 18446744073709551615 4194304 4196468 140728726716832 139989195613024 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25138] ppid=25128 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25138/stat : 25138 (java) S 25128 25128 2911 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 109297990 13229391872 189421 18446744073709551615 4194304 4196468 140728726716832 139989194560640 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25139] ppid=25128 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25139/stat : 25139 (java) S 25128 25128 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109297992 13229391872 189421 18446744073709551615 4194304 4196468 140728726716832 139989193508944 139989713450907 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25140] ppid=25128 vsize=12919328 CPUtime=2.33 cores=0,2,4,6 /proc/25130/task/25140/stat : 25140 (java) S 25128 25128 2911 0 -1 1077944384 3593 0 0 0 232 1 0 0 20 0 15 0 109297992 13229391872 189421 18446744073709551615 4194304 4196468 140728726716832 139989192456816 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25141] ppid=25128 vsize=12919328 CPUtime=2.3 cores=0,2,4,6 /proc/25130/task/25141/stat : 25141 (java) S 25128 25128 2911 0 -1 1077944384 3326 0 0 0 230 0 0 0 20 0 15 0 109297992 13229391872 189421 18446744073709551615 4194304 4196468 140728726716832 139989191389008 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25142] ppid=25128 vsize=12919328 CPUtime=0.62 cores=0,2,4,6 /proc/25130/task/25142/stat : 25142 (java) S 25128 25128 2911 0 -1 1077944384 3185 0 0 0 61 1 0 0 20 0 15 0 109297992 13229391872 189421 18446744073709551615 4194304 4196468 140728726716832 139989190351728 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25143] ppid=25128 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25143/stat : 25143 (java) S 25128 25128 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109297992 13229391872 189933 18446744073709551615 4194304 4196468 140728726716832 139989189299168 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25144] ppid=25128 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25144/stat : 25144 (java) S 25128 25128 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109297996 13229391872 189933 18446744073709551615 4194304 4196468 140728726716832 139989188245936 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 Current children cumulated CPU time (s) 8.86 Current children cumulated vsize (KiB) 12928840 [startup+6.30085 s] /proc/loadavg: 8.04 7.69 7.22 7/224 25149 /proc/meminfo: memFree=29257704/32770624 swapFree=0/375748 [pid=25128] ppid=25125 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/25128/stat : 25128 (xcsp3-exec) S 25125 25128 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 109297976 9740288 345 18446744073709551615 4194304 5098028 140736195979792 140736195977896 139656742290044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 9441280 140736195985816 140736195986026 140736195986026 140736195989483 0 /proc/25128/statm: 2378 345 289 221 0 87 0 [pid=25130] ppid=25128 vsize=13185584 CPUtime=20.94 cores=0,2,4,6 /proc/25130/stat : 25130 (java) S 25128 25128 2911 0 -1 1077944320 26023 0 0 0 2054 40 0 0 20 0 19 0 109297986 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 140728726699376 139989713432311 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 /proc/25130/statm: 3296396 197212 3250 1 0 3284688 0 [pid=25130/tid=25131] ppid=25128 vsize=13185584 CPUtime=2.92 cores=0,2,4,6 /proc/25130/task/25131/stat : 25131 (java) S 25128 25128 2911 0 -1 1077944384 8696 0 0 0 281 11 0 0 20 0 19 0 109297987 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989717673088 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25132] ppid=25128 vsize=13185584 CPUtime=0.21 cores=0,2,4,6 /proc/25130/task/25132/stat : 25132 (java) S 25128 25128 2911 0 -1 1077944384 423 0 0 0 17 4 0 0 20 0 19 0 109297988 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989636258704 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25133] ppid=25128 vsize=13185584 CPUtime=0.26 cores=0,2,4,6 /proc/25130/task/25133/stat : 25133 (java) S 25128 25128 2911 0 -1 1077944384 216 0 0 0 21 5 0 0 20 0 19 0 109297988 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989635205904 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25134] ppid=25128 vsize=13185584 CPUtime=0.26 cores=0,2,4,6 /proc/25130/task/25134/stat : 25134 (java) S 25128 25128 2911 0 -1 1077944384 193 0 0 0 20 6 0 0 20 0 19 0 109297988 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989634153616 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25135] ppid=25128 vsize=13185584 CPUtime=0.27 cores=0,2,4,6 /proc/25130/task/25135/stat : 25135 (java) S 25128 25128 2911 0 -1 1077944384 225 0 0 0 21 6 0 0 20 0 19 0 109297988 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989633100816 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25136] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25136/stat : 25136 (java) S 25128 25128 2911 0 -1 1077944384 602 0 0 0 0 0 0 0 20 0 19 0 109297989 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989196666992 139989713443458 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25137] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25137/stat : 25137 (java) S 25128 25128 2911 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 109297989 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989195613024 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25138] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25138/stat : 25138 (java) S 25128 25128 2911 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 109297990 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989194560640 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25139] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25139/stat : 25139 (java) S 25128 25128 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109297992 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989193508944 139989713450907 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25140] ppid=25128 vsize=13185584 CPUtime=3.7 cores=0,2,4,6 /proc/25130/task/25140/stat : 25140 (java) S 25128 25128 2911 0 -1 1077944384 5321 0 0 0 369 1 0 0 20 0 19 0 109297992 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989192456816 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25141] ppid=25128 vsize=13185584 CPUtime=3.6 cores=0,2,4,6 /proc/25130/task/25141/stat : 25141 (java) S 25128 25128 2911 0 -1 1077944384 4367 0 0 0 359 1 0 0 20 0 19 0 109297992 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989191404016 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25142] ppid=25128 vsize=13185584 CPUtime=0.86 cores=0,2,4,6 /proc/25130/task/25142/stat : 25142 (java) S 25128 25128 2911 0 -1 1077944384 3704 0 0 0 84 2 0 0 20 0 19 0 109297992 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989190351728 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25143] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25143/stat : 25143 (java) S 25128 25128 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109297992 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989189299168 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25144] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25144/stat : 25144 (java) R 25128 25128 2911 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 109297996 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989188245936 139989713443458 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25146] ppid=25128 vsize=13185584 CPUtime=2.25 cores=0,2,4,6 /proc/25130/task/25146/stat : 25146 (java) R 25128 25128 2911 0 -1 4202560 161 0 0 0 225 0 0 0 20 0 19 0 109298316 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989180729440 139989318382956 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25147] ppid=25128 vsize=13185584 CPUtime=2.26 cores=0,2,4,6 /proc/25130/task/25147/stat : 25147 (java) R 25128 25128 2911 0 -1 4202560 180 0 0 0 226 0 0 0 20 0 19 0 109298316 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989179679352 139989317788529 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25148] ppid=25128 vsize=13185584 CPUtime=2.05 cores=0,2,4,6 /proc/25130/task/25148/stat : 25148 (java) R 25128 25128 2911 0 -1 4202560 439 0 0 0 205 0 0 0 20 0 19 0 109298316 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989178625496 139989318383211 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25149] ppid=25128 vsize=13185584 CPUtime=2.19 cores=0,2,4,6 /proc/25130/task/25149/stat : 25149 (java) R 25128 25128 2911 0 -1 4202560 183 0 0 0 219 0 0 0 20 0 19 0 109298316 13502038016 197212 18446744073709551615 4194304 4196468 140728726716832 139989177573800 139989317287612 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 Current children cumulated CPU time (s) 20.94 Current children cumulated vsize (KiB) 13195096 [startup+12.7008 s] /proc/loadavg: 7.72 7.63 7.20 7/224 25153 /proc/meminfo: memFree=29175224/32770624 swapFree=0/375744 [pid=25128] ppid=25125 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/25128/stat : 25128 (xcsp3-exec) S 25125 25128 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 109297976 9740288 345 18446744073709551615 4194304 5098028 140736195979792 140736195977896 139656742290044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 9441280 140736195985816 140736195986026 140736195986026 140736195989483 0 /proc/25128/statm: 2378 345 289 221 0 87 0 [pid=25130] ppid=25128 vsize=13185584 CPUtime=43.1 cores=0,2,4,6 ################ # More data... # ################ /proc/25128/statm: 2378 345 289 221 0 87 0 [pid=25130] ppid=25128 vsize=13185584 CPUtime=2243.99 cores=0,2,4,6 /proc/25130/stat : 25130 (java) S 25128 25128 2911 0 -1 1077944320 215392 0 0 0 224127 272 0 0 20 0 19 0 109297986 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 140728726699376 139989713432311 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 /proc/25130/statm: 3296396 841279 3272 1 0 3284688 0 [pid=25130/tid=25131] ppid=25128 vsize=13185584 CPUtime=2.95 cores=0,2,4,6 /proc/25130/task/25131/stat : 25131 (java) S 25128 25128 2911 0 -1 1077944384 10794 0 0 0 283 12 0 0 20 0 19 0 109297987 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989717673088 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25132] ppid=25128 vsize=13185584 CPUtime=1.97 cores=0,2,4,6 /proc/25130/task/25132/stat : 25132 (java) S 25128 25128 2911 0 -1 1077944384 6205 0 0 0 174 23 0 0 20 0 19 0 109297988 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989636258704 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25133] ppid=25128 vsize=13185584 CPUtime=2.02 cores=0,2,4,6 /proc/25130/task/25133/stat : 25133 (java) S 25128 25128 2911 0 -1 1077944384 6564 0 0 0 177 25 0 0 20 0 19 0 109297988 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989635205904 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25134] ppid=25128 vsize=13185584 CPUtime=2.02 cores=0,2,4,6 /proc/25130/task/25134/stat : 25134 (java) S 25128 25128 2911 0 -1 1077944384 4895 0 0 0 178 24 0 0 20 0 19 0 109297988 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989634153616 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25135] ppid=25128 vsize=13185584 CPUtime=2.01 cores=0,2,4,6 /proc/25130/task/25135/stat : 25135 (java) S 25128 25128 2911 0 -1 1077944384 6211 0 0 0 176 25 0 0 20 0 19 0 109297988 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989633100816 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25136] ppid=25128 vsize=13185584 CPUtime=1.48 cores=0,2,4,6 /proc/25130/task/25136/stat : 25136 (java) S 25128 25128 2911 0 -1 1077944384 12625 0 0 0 53 95 0 0 20 0 19 0 109297989 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989196666992 139989713443458 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25137] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25137/stat : 25137 (java) S 25128 25128 2911 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 109297989 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989195613024 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25138] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25138/stat : 25138 (java) S 25128 25128 2911 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 109297990 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989194560640 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25139] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25139/stat : 25139 (java) S 25128 25128 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109297992 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989193508944 139989713450907 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25140] ppid=25128 vsize=13185584 CPUtime=4.79 cores=0,2,4,6 /proc/25130/task/25140/stat : 25140 (java) S 25128 25128 2911 0 -1 1077944384 32937 0 0 0 477 2 0 0 20 0 19 0 109297992 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989192456816 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25141] ppid=25128 vsize=13185584 CPUtime=4.77 cores=0,2,4,6 /proc/25130/task/25141/stat : 25141 (java) S 25128 25128 2911 0 -1 1077944384 26880 0 0 0 475 2 0 0 20 0 19 0 109297992 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989191404016 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25142] ppid=25128 vsize=13185584 CPUtime=1 cores=0,2,4,6 /proc/25130/task/25142/stat : 25142 (java) S 25128 25128 2911 0 -1 1077944384 22430 0 0 0 97 3 0 0 20 0 19 0 109297992 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989190351728 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25143] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25143/stat : 25143 (java) S 25128 25128 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109297992 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989189299168 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25144] ppid=25128 vsize=13185584 CPUtime=0.34 cores=0,2,4,6 /proc/25130/task/25144/stat : 25144 (java) S 25128 25128 2911 0 -1 1077944384 3000 0 0 0 18 16 0 0 20 0 19 0 109297996 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989188245936 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25249] ppid=25128 vsize=13185584 CPUtime=271.34 cores=0,2,4,6 /proc/25130/task/25249/stat : 25249 (java) R 25128 25128 2911 0 -1 4202560 2060 0 0 0 27134 0 0 0 20 0 19 0 109334802 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989180730248 139989318383260 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25250] ppid=25128 vsize=13185584 CPUtime=270.84 cores=0,2,4,6 /proc/25130/task/25250/stat : 25250 (java) R 25128 25128 2911 0 -1 4202560 13111 0 0 0 27081 3 0 0 20 0 19 0 109334802 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989179681432 139989317788478 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25251] ppid=25128 vsize=13185584 CPUtime=272.52 cores=0,2,4,6 /proc/25130/task/25251/stat : 25251 (java) R 25128 25128 2911 0 -1 4202560 1892 0 0 0 27252 0 0 0 20 0 19 0 109334802 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989178625984 139989318383271 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25252] ppid=25128 vsize=13185584 CPUtime=271.26 cores=0,2,4,6 /proc/25130/task/25252/stat : 25252 (java) R 25128 25128 2911 0 -1 4202560 7962 0 0 0 27124 2 0 0 20 0 19 0 109334802 13502038016 841279 18446744073709551615 4194304 4196468 140728726716832 139989177573352 139989317287502 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 Current children cumulated CPU time (s) 2243.99 Current children cumulated vsize (KiB) 13195096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+681.502 s] /proc/loadavg: 8.44 7.54 7.19 8/220 25355 /proc/meminfo: memFree=27511772/32770624 swapFree=0/375988 [pid=25128] ppid=25125 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/25128/stat : 25128 (xcsp3-exec) S 25125 25128 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 109297976 9740288 345 18446744073709551615 4194304 5098028 140736195979792 140736195977896 139656742290044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 9441280 140736195985816 140736195986026 140736195986026 140736195989483 0 /proc/25128/statm: 2378 345 289 221 0 87 0 [pid=25130] ppid=25128 vsize=13185584 CPUtime=2400.14 cores=0,2,4,6 /proc/25130/stat : 25130 (java) S 25128 25128 2911 0 -1 1077944320 216966 0 0 0 239723 291 0 0 20 0 19 0 109297986 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 140728726699376 139989713432311 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 /proc/25130/statm: 3296396 947034 3272 1 0 3284688 0 [pid=25130/tid=25131] ppid=25128 vsize=13185584 CPUtime=2.95 cores=0,2,4,6 /proc/25130/task/25131/stat : 25131 (java) S 25128 25128 2911 0 -1 1077944384 10794 0 0 0 283 12 0 0 20 0 19 0 109297987 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989717673088 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25132] ppid=25128 vsize=13185584 CPUtime=2.01 cores=0,2,4,6 /proc/25130/task/25132/stat : 25132 (java) S 25128 25128 2911 0 -1 1077944384 6279 0 0 0 176 25 0 0 20 0 19 0 109297988 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989636258704 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25133] ppid=25128 vsize=13185584 CPUtime=2.05 cores=0,2,4,6 /proc/25130/task/25133/stat : 25133 (java) S 25128 25128 2911 0 -1 1077944384 6588 0 0 0 179 26 0 0 20 0 19 0 109297988 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989635205904 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25134] ppid=25128 vsize=13185584 CPUtime=2.05 cores=0,2,4,6 /proc/25130/task/25134/stat : 25134 (java) S 25128 25128 2911 0 -1 1077944384 4913 0 0 0 180 25 0 0 20 0 19 0 109297988 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989634153616 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25135] ppid=25128 vsize=13185584 CPUtime=2.04 cores=0,2,4,6 /proc/25130/task/25135/stat : 25135 (java) S 25128 25128 2911 0 -1 1077944384 6244 0 0 0 178 26 0 0 20 0 19 0 109297988 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989633100816 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25136] ppid=25128 vsize=13185584 CPUtime=1.56 cores=0,2,4,6 /proc/25130/task/25136/stat : 25136 (java) S 25128 25128 2911 0 -1 1077944384 12642 0 0 0 55 101 0 0 20 0 19 0 109297989 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989196666992 139989713443458 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25137] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25137/stat : 25137 (java) S 25128 25128 2911 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 109297989 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989195613024 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25138] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25138/stat : 25138 (java) S 25128 25128 2911 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 109297990 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989194560640 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25139] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25139/stat : 25139 (java) S 25128 25128 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109297992 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989193508944 139989713450907 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25140] ppid=25128 vsize=13185584 CPUtime=4.79 cores=0,2,4,6 /proc/25130/task/25140/stat : 25140 (java) S 25128 25128 2911 0 -1 1077944384 32940 0 0 0 477 2 0 0 20 0 19 0 109297992 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989192456816 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25141] ppid=25128 vsize=13185584 CPUtime=4.79 cores=0,2,4,6 /proc/25130/task/25141/stat : 25141 (java) S 25128 25128 2911 0 -1 1077944384 26893 0 0 0 477 2 0 0 20 0 19 0 109297992 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989191404016 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25142] ppid=25128 vsize=13185584 CPUtime=1 cores=0,2,4,6 /proc/25130/task/25142/stat : 25142 (java) S 25128 25128 2911 0 -1 1077944384 22435 0 0 0 97 3 0 0 20 0 19 0 109297992 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989190351728 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25143] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25143/stat : 25143 (java) S 25128 25128 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109297992 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989189299168 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25144] ppid=25128 vsize=13185584 CPUtime=0.36 cores=0,2,4,6 /proc/25130/task/25144/stat : 25144 (java) S 25128 25128 2911 0 -1 1077944384 3003 0 0 0 19 17 0 0 20 0 19 0 109297996 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989188245936 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25249] ppid=25128 vsize=13185584 CPUtime=310.49 cores=0,2,4,6 /proc/25130/task/25249/stat : 25249 (java) R 25128 25128 2911 0 -1 4202560 2073 0 0 0 31049 0 0 0 20 0 19 0 109334802 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989180730088 139989318382947 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25250] ppid=25128 vsize=13185584 CPUtime=309.63 cores=0,2,4,6 /proc/25130/task/25250/stat : 25250 (java) R 25128 25128 2911 0 -1 4202560 13864 0 0 0 30956 7 0 0 20 0 19 0 109334802 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989179681808 139989318581362 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25251] ppid=25128 vsize=13185584 CPUtime=311.63 cores=0,2,4,6 /proc/25130/task/25251/stat : 25251 (java) R 25128 25128 2911 0 -1 4202560 1904 0 0 0 31163 0 0 0 20 0 19 0 109334802 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989178626024 139989318382744 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25252] ppid=25128 vsize=13185584 CPUtime=310.1 cores=0,2,4,6 /proc/25130/task/25252/stat : 25252 (java) R 25128 25128 2911 0 -1 4202560 8568 0 0 0 31005 5 0 0 20 0 19 0 109334802 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989177573104 139989317572283 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 Current children cumulated CPU time (s) 2400.14 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 25130 sig 9 ??? kill 25128 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+681.502 s] /proc/loadavg: 8.44 7.54 7.19 8/220 25355 /proc/meminfo: memFree=27511772/32770624 swapFree=0/375988 [pid=25128] ppid=25125 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/25128/stat : 25128 (xcsp3-exec) S 25125 25128 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 109297976 9740288 345 18446744073709551615 4194304 5098028 140736195979792 140736195977896 139656742290044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 9441280 140736195985816 140736195986026 140736195986026 140736195989483 0 /proc/25128/statm: 2378 345 289 221 0 87 0 [pid=25130] ppid=25128 vsize=13185584 CPUtime=2400.14 cores=0,2,4,6 /proc/25130/stat : 25130 (java) S 25128 25128 2911 0 -1 1077944320 216966 0 0 0 239723 291 0 0 20 0 19 0 109297986 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 140728726699376 139989713432311 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 /proc/25130/statm: 3296396 947034 3272 1 0 3284688 0 [pid=25130/tid=25131] ppid=25128 vsize=13185584 CPUtime=2.95 cores=0,2,4,6 /proc/25130/task/25131/stat : 25131 (java) S 25128 25128 2911 0 -1 1077944384 10794 0 0 0 283 12 0 0 20 0 19 0 109297987 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989717673088 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25132] ppid=25128 vsize=13185584 CPUtime=2.01 cores=0,2,4,6 /proc/25130/task/25132/stat : 25132 (java) S 25128 25128 2911 0 -1 1077944384 6279 0 0 0 176 25 0 0 20 0 19 0 109297988 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989636258704 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25133] ppid=25128 vsize=13185584 CPUtime=2.05 cores=0,2,4,6 /proc/25130/task/25133/stat : 25133 (java) S 25128 25128 2911 0 -1 1077944384 6588 0 0 0 179 26 0 0 20 0 19 0 109297988 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989635205904 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25134] ppid=25128 vsize=13185584 CPUtime=2.05 cores=0,2,4,6 /proc/25130/task/25134/stat : 25134 (java) S 25128 25128 2911 0 -1 1077944384 4913 0 0 0 180 25 0 0 20 0 19 0 109297988 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989634153616 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25135] ppid=25128 vsize=13185584 CPUtime=2.04 cores=0,2,4,6 /proc/25130/task/25135/stat : 25135 (java) S 25128 25128 2911 0 -1 1077944384 6244 0 0 0 178 26 0 0 20 0 19 0 109297988 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989633100816 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25136] ppid=25128 vsize=13185584 CPUtime=1.56 cores=0,2,4,6 /proc/25130/task/25136/stat : 25136 (java) S 25128 25128 2911 0 -1 1077944384 12642 0 0 0 55 101 0 0 20 0 19 0 109297989 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989196666992 139989713443458 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25137] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25137/stat : 25137 (java) S 25128 25128 2911 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 109297989 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989195613024 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25138] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25138/stat : 25138 (java) S 25128 25128 2911 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 109297990 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989194560640 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25139] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25139/stat : 25139 (java) S 25128 25128 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109297992 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989193508944 139989713450907 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25140] ppid=25128 vsize=13185584 CPUtime=4.79 cores=0,2,4,6 /proc/25130/task/25140/stat : 25140 (java) S 25128 25128 2911 0 -1 1077944384 32940 0 0 0 477 2 0 0 20 0 19 0 109297992 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989192456816 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25141] ppid=25128 vsize=13185584 CPUtime=4.79 cores=0,2,4,6 /proc/25130/task/25141/stat : 25141 (java) S 25128 25128 2911 0 -1 1077944384 26893 0 0 0 477 2 0 0 20 0 19 0 109297992 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989191404016 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25142] ppid=25128 vsize=13185584 CPUtime=1 cores=0,2,4,6 /proc/25130/task/25142/stat : 25142 (java) S 25128 25128 2911 0 -1 1077944384 22435 0 0 0 97 3 0 0 20 0 19 0 109297992 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989190351728 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25143] ppid=25128 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/25130/task/25143/stat : 25143 (java) S 25128 25128 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109297992 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989189299168 139989713442517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25144] ppid=25128 vsize=13185584 CPUtime=0.36 cores=0,2,4,6 /proc/25130/task/25144/stat : 25144 (java) S 25128 25128 2911 0 -1 1077944384 3003 0 0 0 19 17 0 0 20 0 19 0 109297996 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989188245936 139989713443458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25249] ppid=25128 vsize=13185584 CPUtime=310.49 cores=0,2,4,6 /proc/25130/task/25249/stat : 25249 (java) R 25128 25128 2911 0 -1 4202560 2073 0 0 0 31049 0 0 0 20 0 19 0 109334802 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989180730088 139989318382947 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25250] ppid=25128 vsize=13185584 CPUtime=309.63 cores=0,2,4,6 /proc/25130/task/25250/stat : 25250 (java) R 25128 25128 2911 0 -1 4202560 13864 0 0 0 30956 7 0 0 20 0 19 0 109334802 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989179681808 139989318581362 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25251] ppid=25128 vsize=13185584 CPUtime=311.63 cores=0,2,4,6 /proc/25130/task/25251/stat : 25251 (java) R 25128 25128 2911 0 -1 4202560 1904 0 0 0 31163 0 0 0 20 0 19 0 109334802 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989178626024 139989318382744 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 [pid=25130/tid=25252] ppid=25128 vsize=13185584 CPUtime=310.1 cores=0,2,4,6 /proc/25130/task/25252/stat : 25252 (java) R 25128 25128 2911 0 -1 4202560 8568 0 0 0 31005 5 0 0 20 0 19 0 109334802 13502038016 947034 18446744073709551615 4194304 4196468 140728726716832 139989177573104 139989317572283 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19124224 140728726725078 140728726725254 140728726725254 140728726728655 0 Current children cumulated CPU time (s) 2400.14 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 25128 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2021 # CPU time returned by wait4() is 0.002021 # while last known CPU time is 2400.14 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 681.531 CPU time (s): 2400.14 CPU user time (s): 2397.23 CPU system time (s): 2.91 CPU usage (%): 352.169 Max. virtual memory (cumulated for all children) (KiB): 13195096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.002021 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 510 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.51586 second user time and 5.28752 second system time The end
Begin job on node132 at 2017-08-07 10:46:27 IDJOB=4248642 IDBENCH=140591 IDSOLVER=2626 FILE ID=node132/4248642-1502096448 RUNJOBID= node132-1502078046-15621 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 5a 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-4248642-1502096448/watcher-4248642-1502096448 -o /tmp/evaluation-result-4248642-1502096448/solver-4248642-1502096448 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15621 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1645057945 HOME/instance-4248642-1502096448.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6af071621bab6d4e45a1e2acc37440b7 RANDOM SEED=1645057945 node132.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.74 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.74 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.74 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.74 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: 30034632 kB MemAvailable: 30603288 kB Buffers: 233120 kB Cached: 634152 kB SwapCached: 0 kB Active: 1901484 kB Inactive: 408356 kB Active(anon): 1443612 kB Inactive(anon): 32628 kB Active(file): 457872 kB Inactive(file): 375728 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8512 kB Writeback: 4 kB AnonPages: 1442520 kB Mapped: 61760 kB Shmem: 33468 kB Slab: 128388 kB SReclaimable: 101780 kB SUnreclaim: 26608 kB KernelStack: 3552 kB PageTables: 7396 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3346088 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1331200 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 62016 MiB End job on node132 at 2017-08-07 10:57:49