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) | 78 | 2400.21 | 693.03601 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml |
| MD5SUM | b40b46819fbd3a38fcaaee2fdd389509 |
| 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.0601 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2209 |
| Number of constraints | 16215 |
| Number of domains | 1 |
| Minimum domain size | 1081 |
| Maximum domain size | 1081 |
| Distribution of domain sizes | [{"size":1081,"count":1081}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 46 |
| Distribution of variable degrees | [{"degree":0,"count":1128},{"degree":46,"count":1081}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":16215}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 16215 |
| Distribution of constraint types | [{"type":"intension","count":16215}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.07 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4248697-1502064464.xml" -tl '2400s' -p 4 -x 0 0.00/0.27 c [HOME/instance-4248697-1502064464.xml, -tl, 2400s, -p, 4, -x, 0] 0.00/0.34 c 4 solvers in parallel 0.00/0.41 c parse instance... 9.79/3.64 c solve instance... 37.65/11.13 o 806 66.69/20.43 o 748 90.52/26.78 o 314 130.42/41.53 o 260 171.15/56.92 o 213 261.36/86.78 o 163 497.34/155.66 o 160 519.52/161.66 o 107 772.73/225.83 o 95 889.31/255.35 o 88 990.26/297.47 o 86 1425.17/448.00 o 81 1607.55/493.93 o 78 2400.21/693.07 s SATISFIABLE 2400.21/693.07 v <instantiation> 2400.21/693.07 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[0][46] 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[1][46] 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[2][46] 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[3][46] 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[4][46] 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[5][46] 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[6][46] 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[7][46] 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[8][46] 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[9][46] 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[10][46] 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[11][46] 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[12][46] 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[13][46] 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[14][46] 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[15][46] 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[16][46] 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[17][46] 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[18][46] 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[19][46] 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[20][46] 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[21][46] 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[22][46] 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[23][46] 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[24][46] 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[25][46] 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[26][46] 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[27][46] 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[28][46] 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[29][46] 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[30][46] 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[31][46] 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[32][46] 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[33][46] 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[34][46] 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[35][46] 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[36][46] 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[37][46] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[42][43] x[42][44] x[42][45] x[42][46] x[43][44] x[43][45] x[43][46] x[44][45] x[44][46] x[45][46] </list> 2400.21/693.07 v <values>28 15 41 67 2 26 25 78 50 38 34 48 51 39 16 29 54 30 71 46 18 78 14 46 18 71 13 73 78 54 36 74 77 19 56 72 72 5 11 46 65 16 11 77 14 40 16 28 7 41 65 60 23 73 67 25 35 54 66 10 14 43 12 36 30 56 44 43 17 10 31 7 32 48 72 41 9 52 8 54 49 42 10 63 40 78 9 52 14 12 2 48 28 78 39 35 26 76 25 46 73 73 39 23 24 3 20 10 24 52 58 71 27 56 36 63 27 25 19 32 67 29 0 12 45 4 43 32 42 23 72 12 42 77 31 56 55 38 50 49 54 33 46 70 20 73 32 52 15 18 43 2 12 60 45 13 27 76 48 13 40 74 37 68 75 75 9 42 49 45 53 72 55 6 37 11 61 10 6 72 58 78 43 62 46 69 69 61 75 9 8 35 23 12 64 51 15 74 8 49 28 36 75 45 63 35 49 34 75 13 67 55 47 37 57 23 68 17 66 31 29 6 68 26 77 25 58 24 70 24 7 23 76 49 3 27 37 43 36 36 76 43 27 32 28 22 19 0 48 41 52 40 34 30 58 8 68 69 20 32 78 54 17 76 9 14 8 37 66 74 78 43 2 67 31 54 48 67 65 27 29 1 33 35 75 5 16 52 14 65 77 72 19 73 49 43 71 45 25 18 33 10 77 4 24 69 57 69 48 1 68 61 41 7 43 70 54 21 6 15 41 53 19 60 63 57 1 16 60 78 31 54 32 47 12 73 33 47 1 27 14 5 64 75 41 68 51 66 64 22 9 2 8 12 34 36 3 50 24 61 66 50 60 55 74 66 28 31 33 66 48 16 20 19 74 6 20 62 34 3 1 66 78 23 15 75 65 49 14 30 20 28 45 17 32 75 78 1 57 17 16 6 35 8 61 71 28 23 42 55 68 70 51 24 33 51 58 53 19 52 23 46 60 14 39 44 20 71 55 62 34 20 2 15 48 10 58 3 33 17 5 39 62 12 64 52 32 65 30 61 1 32 24 13 3 36 47 43 17 35 29 11 20 73 56 1 20 65 63 58 69 48 59 60 31 16 40 51 75 10 62 20 40 44 25 45 36 56 66 41 29 75 14 43 53 62 45 36 31 21 78 63 50 3 26 57 71 23 40 38 0 7 3 72 13 34 29 58 1 67 45 73 5 77 17 8 59 47 10 34 76 28 68 43 4 59 40 67 32 51 17 28 21 54 48 57 41 69 47 10 56 65 40 60 25 11 62 43 31 2 66 6 19 1 72 21 3 62 23 43 67 36 16 53 78 9 31 56 70 30 70 18 36 64 33 15 46 31 25 3 12 69 18 36 20 16 74 23 1 30 6 3 57 2 20 25 77 34 47 59 72 30 28 40 38 19 62 8 26 33 66 46 9 69 63 71 69 43 42 20 78 49 21 47 50 37 25 54 56 22 78 23 46 70 57 16 64 47 42 39 28 41 21 56 19 78 35 62 58 53 74 31 55 16 57 7 41 73 43 59 29 27 68 21 27 57 60 59 1 55 35 55 32 4 50 14 31 1 5 66 43 63 6 35 57 19 78 3 38 75 21 69 78 77 36 42 51 20 75 49 59 7 65 53 41 52 70 13 61 10 51 29 20 52 63 74 74 67 42 42 55 50 20 53 21 72 6 63 70 39 63 66 11 51 24 76 8 9 35 9 53 65 9 53 4 56 43 78 42 7 54 67 75 65 55 5 69 71 68 37 70 62 3 36 3 18 59 40 4 7 58 56 41 36 10 40 9 27 38 12 67 74 12 63 39 76 15 34 57 4 59 35 54 58 16 51 36 51 51 57 41 35 66 54 38 13 41 43 68 53 40 34 60 46 8 29 46 22 71 3 31 3 38 14 0 54 39 41 58 38 48 10 31 31 75 31 57 23 25 25 33 44 32 36 55 78 59 5 8 53 74 73 78 71 74 27 44 9 9 35 21 21 8 45 49 45 31 6 39 43 77 47 69 32 1 52 9 31 8 9 70 69 13 45 24 70 7 63 43 26 31 10 21 58 16 41 74 21 19 30 54 14 16 25 34 68 31 23 19 46 12 60 47 2 35 2 53 11 57 14 26 74 60 29 12 34 67 41 62 66 27 70 2 13 60 73 47 58 53 75 32 78 1 68 6 35 22 14 19 28 58 30 29 59 43 15 16 69 35 70 76 43 64 15 27 31 57 11 44 35 26 59 42 64 31 47 50 17 45 1 5 26 1 44 73 25 77 33 60 64 35 55 47 17 70 12 44 48 51 66 11 14 54 37 7 77 72 30 74 68 54 61 77 53 14 74 78 6 42 27 57 55 72 61 42 30 18 2 14 12 40 11 2 72 50 9 30 15 48 7 18 55 48 15 26 6 6 60 72 47 15 74 47 24 70 76 50 21 49 8 31 39 43 63 46 31 13 49 48 6 16 </values> 2400.21/693.07 v </instantiation> 2400.21/693.07 c Unexpected resolution interruption!
OK 78
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-4248697-1502064464/watcher-4248697-1502064464 -o /tmp/evaluation-result-4248697-1502064464/solver-4248697-1502064464 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1566246240 HOME/instance-4248697-1502064464.xml pid=13989 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: 8.39 7.70 7.27 5/205 13992 /proc/meminfo: memFree=27989876/32770624 swapFree=0/332292 [pid=13992] ppid=13989 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/13992/stat : 13992 (runsolver) D 13989 13992 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 54261650 24240128 106 18446744073709551615 4194304 4338465 140724697155792 140724697153432 140666351243991 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 13131776 140724697157718 140724697158217 140724697158217 140724697161674 0 /proc/13992/statm: 5918 106 53 36 0 2156 0 [startup+0.100624 s] /proc/loadavg: 8.39 7.70 7.27 5/205 13992 /proc/meminfo: memFree=27989876/32770624 swapFree=0/332292 [pid=13992] ppid=13989 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/13992/stat : 13992 (xcsp3-exec) S 13989 13992 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54261650 9740288 345 18446744073709551615 4194304 5098028 140736151691440 140736151689544 140632338137724 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 24506368 140736151695768 140736151695978 140736151695978 140736151699435 0 /proc/13992/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200344 s] /proc/loadavg: 8.39 7.70 7.27 5/205 13992 /proc/meminfo: memFree=27989876/32770624 swapFree=0/332292 [pid=13992] ppid=13989 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/13992/stat : 13992 (xcsp3-exec) S 13989 13992 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54261650 9740288 345 18446744073709551615 4194304 5098028 140736151691440 140736151689544 140632338137724 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 24506368 140736151695768 140736151695978 140736151695978 140736151699435 0 /proc/13992/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300342 s] /proc/loadavg: 8.39 7.70 7.27 5/205 13992 /proc/meminfo: memFree=27989876/32770624 swapFree=0/332292 [pid=13992] ppid=13989 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/13992/stat : 13992 (xcsp3-exec) S 13989 13992 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54261650 9740288 345 18446744073709551615 4194304 5098028 140736151691440 140736151689544 140632338137724 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 24506368 140736151695768 140736151695978 140736151695978 140736151699435 0 /proc/13992/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700529 s] /proc/loadavg: 8.39 7.70 7.27 5/205 13992 /proc/meminfo: memFree=27989876/32770624 swapFree=0/332292 [pid=13992] ppid=13989 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/13992/stat : 13992 (xcsp3-exec) S 13989 13992 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54261650 9740288 345 18446744073709551615 4194304 5098028 140736151691440 140736151689544 140632338137724 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 24506368 140736151695768 140736151695978 140736151695978 140736151699435 0 /proc/13992/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50151 s] /proc/loadavg: 8.39 7.70 7.27 9/221 14008 /proc/meminfo: memFree=27808012/32770624 swapFree=0/332320 [pid=13992] ppid=13989 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/13992/stat : 13992 (xcsp3-exec) S 13989 13992 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54261650 9740288 345 18446744073709551615 4194304 5098028 140736151691440 140736151689544 140632338137724 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 24506368 140736151695768 140736151695978 140736151695978 140736151699435 0 /proc/13992/statm: 2378 345 289 221 0 87 0 [pid=13994] ppid=13992 vsize=12919328 CPUtime=3.89 cores=0,2,4,6 /proc/13994/stat : 13994 (java) S 13992 13992 25100 0 -1 1077944320 16485 0 0 0 379 10 0 0 20 0 15 0 54261657 13229391872 57320 18446744073709551615 4194304 4196468 140736307263328 140736307245872 140314871299831 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 /proc/13994/statm: 3229832 57320 3209 1 0 3218124 0 [pid=13994/tid=13995] ppid=13992 vsize=12919328 CPUtime=1.3 cores=0,2,4,6 /proc/13994/task/13995/stat : 13995 (java) R 13992 13992 25100 0 -1 4202560 8790 0 0 0 125 5 0 0 20 0 15 0 54261658 13229391872 57320 18446744073709551615 4194304 4196468 140736307263328 140314875534960 140314516448512 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13996] ppid=13992 vsize=12919328 CPUtime=0.02 cores=0,2,4,6 /proc/13994/task/13996/stat : 13996 (java) S 13992 13992 25100 0 -1 1077944384 28 0 0 0 2 0 0 0 20 0 15 0 54261658 13229391872 57320 18446744073709551615 4194304 4196468 140736307263328 140314838858640 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13997] ppid=13992 vsize=12919328 CPUtime=0.03 cores=0,2,4,6 /proc/13994/task/13997/stat : 13997 (java) S 13992 13992 25100 0 -1 1077944384 62 0 0 0 3 0 0 0 20 0 15 0 54261658 13229391872 57320 18446744073709551615 4194304 4196468 140736307263328 140314837805840 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13998] ppid=13992 vsize=12919328 CPUtime=0.02 cores=0,2,4,6 /proc/13994/task/13998/stat : 13998 (java) S 13992 13992 25100 0 -1 1077944384 42 0 0 0 2 0 0 0 20 0 15 0 54261658 13229391872 57320 18446744073709551615 4194304 4196468 140736307263328 140314473225360 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13999] ppid=13992 vsize=12919328 CPUtime=0.02 cores=0,2,4,6 /proc/13994/task/13999/stat : 13999 (java) S 13992 13992 25100 0 -1 1077944384 40 0 0 0 2 0 0 0 20 0 15 0 54261658 13229391872 57320 18446744073709551615 4194304 4196468 140736307263328 140314472172560 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14000] ppid=13992 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14000/stat : 14000 (java) S 13992 13992 25100 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 54261660 13229391872 57320 18446744073709551615 4194304 4196468 140736307263328 140314355382384 140314871310978 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14001] ppid=13992 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14001/stat : 14001 (java) S 13992 13992 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 54261660 13229391872 57320 18446744073709551615 4194304 4196468 140736307263328 140314354328416 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14002] ppid=13992 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14002/stat : 14002 (java) S 13992 13992 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 54261661 13229391872 57320 18446744073709551615 4194304 4196468 140736307263328 140314353276032 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14003] ppid=13992 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14003/stat : 14003 (java) S 13992 13992 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54261663 13229391872 57320 18446744073709551615 4194304 4196468 140736307263328 140314352224336 140314871318427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14004] ppid=13992 vsize=12919328 CPUtime=0.95 cores=0,2,4,6 /proc/13994/task/14004/stat : 14004 (java) R 13992 13992 25100 0 -1 4202560 2454 0 0 0 95 0 0 0 20 0 15 0 54261663 13229391872 57320 18446744073709551615 4194304 4196468 140736307263328 140314351162320 140314848896624 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14005] ppid=13992 vsize=12919328 CPUtime=1 cores=0,2,4,6 /proc/13994/task/14005/stat : 14005 (java) R 13992 13992 25100 0 -1 4202560 1701 0 0 0 100 0 0 0 20 0 15 0 54261663 13229391872 57320 18446744073709551615 4194304 4196468 140736307263328 140314350105376 140314850519055 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14006] ppid=13992 vsize=12919328 CPUtime=0.48 cores=0,2,4,6 /proc/13994/task/14006/stat : 14006 (java) S 13992 13992 25100 0 -1 1077944384 1989 0 0 0 48 0 0 0 20 0 15 0 54261663 13229391872 57320 18446744073709551615 4194304 4196468 140736307263328 140314349067120 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14007] ppid=13992 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14007/stat : 14007 (java) S 13992 13992 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54261663 13229391872 57320 18446744073709551615 4194304 4196468 140736307263328 140314348014560 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14008] ppid=13992 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14008/stat : 14008 (java) S 13992 13992 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 54261669 13229391872 57320 18446744073709551615 4194304 4196468 140736307263328 140314346961328 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 Current children cumulated CPU time (s) 3.89 Current children cumulated vsize (KiB) 12928840 [startup+3.10078 s] /proc/loadavg: 8.44 7.72 7.28 7/221 14008 /proc/meminfo: memFree=27588316/32770624 swapFree=0/332320 [pid=13992] ppid=13989 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/13992/stat : 13992 (xcsp3-exec) S 13989 13992 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54261650 9740288 345 18446744073709551615 4194304 5098028 140736151691440 140736151689544 140632338137724 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 24506368 140736151695768 140736151695978 140736151695978 140736151699435 0 /proc/13992/statm: 2378 345 289 221 0 87 0 [pid=13994] ppid=13992 vsize=12919328 CPUtime=8.51 cores=0,2,4,6 /proc/13994/stat : 13994 (java) S 13992 13992 25100 0 -1 1077944320 22688 0 0 0 823 28 0 0 20 0 15 0 54261657 13229391872 142783 18446744073709551615 4194304 4196468 140736307263328 140736307245872 140314871299831 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 /proc/13994/statm: 3229832 142783 3230 1 0 3218124 0 [pid=13994/tid=13995] ppid=13992 vsize=12919328 CPUtime=2.69 cores=0,2,4,6 /proc/13994/task/13995/stat : 13995 (java) R 13992 13992 25100 0 -1 4202560 9334 0 0 0 261 8 0 0 20 0 15 0 54261658 13229391872 142783 18446744073709551615 4194304 4196468 140736307263328 140314875537472 140314517952835 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13996] ppid=13992 vsize=12919328 CPUtime=0.15 cores=0,2,4,6 /proc/13994/task/13996/stat : 13996 (java) S 13992 13992 25100 0 -1 1077944384 129 0 0 0 11 4 0 0 20 0 15 0 54261658 13229391872 142783 18446744073709551615 4194304 4196468 140736307263328 140314838858640 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13997] ppid=13992 vsize=12919328 CPUtime=0.17 cores=0,2,4,6 /proc/13994/task/13997/stat : 13997 (java) S 13992 13992 25100 0 -1 1077944384 173 0 0 0 13 4 0 0 20 0 15 0 54261658 13229391872 142783 18446744073709551615 4194304 4196468 140736307263328 140314837805840 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13998] ppid=13992 vsize=12919328 CPUtime=0.16 cores=0,2,4,6 /proc/13994/task/13998/stat : 13998 (java) S 13992 13992 25100 0 -1 1077944384 130 0 0 0 12 4 0 0 20 0 15 0 54261658 13229391872 142783 18446744073709551615 4194304 4196468 140736307263328 140314473225360 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13999] ppid=13992 vsize=12919328 CPUtime=0.13 cores=0,2,4,6 /proc/13994/task/13999/stat : 13999 (java) S 13992 13992 25100 0 -1 1077944384 113 0 0 0 10 3 0 0 20 0 15 0 54261658 13229391872 142783 18446744073709551615 4194304 4196468 140736307263328 140314472172560 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14000] ppid=13992 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14000/stat : 14000 (java) S 13992 13992 25100 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 54261660 13229391872 142783 18446744073709551615 4194304 4196468 140736307263328 140314355382384 140314871310978 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14001] ppid=13992 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14001/stat : 14001 (java) S 13992 13992 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 54261660 13229391872 142783 18446744073709551615 4194304 4196468 140736307263328 140314354328416 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14002] ppid=13992 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14002/stat : 14002 (java) S 13992 13992 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 54261661 13229391872 142783 18446744073709551615 4194304 4196468 140736307263328 140314353276032 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14003] ppid=13992 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14003/stat : 14003 (java) S 13992 13992 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54261663 13229391872 142783 18446744073709551615 4194304 4196468 140736307263328 140314352224336 140314871318427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14004] ppid=13992 vsize=12919328 CPUtime=2.29 cores=0,2,4,6 /proc/13994/task/14004/stat : 14004 (java) R 13992 13992 25100 0 -1 4202560 5020 0 0 0 228 1 0 0 20 0 15 0 54261663 13229391872 142783 18446744073709551615 4194304 4196468 140736307263328 140314351172208 140314856407803 0 4 1 16800974 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14005] ppid=13992 vsize=12919328 CPUtime=2.28 cores=0,2,4,6 /proc/13994/task/14005/stat : 14005 (java) S 13992 13992 25100 0 -1 1077944384 3582 0 0 0 227 1 0 0 20 0 15 0 54261663 13229391872 142783 18446744073709551615 4194304 4196468 140736307263328 140314350119408 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14006] ppid=13992 vsize=12919328 CPUtime=0.58 cores=0,2,4,6 /proc/13994/task/14006/stat : 14006 (java) S 13992 13992 25100 0 -1 1077944384 2699 0 0 0 57 1 0 0 20 0 15 0 54261663 13229391872 142783 18446744073709551615 4194304 4196468 140736307263328 140314349067120 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14007] ppid=13992 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14007/stat : 14007 (java) S 13992 13992 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54261663 13229391872 142783 18446744073709551615 4194304 4196468 140736307263328 140314348014560 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14008] ppid=13992 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14008/stat : 14008 (java) S 13992 13992 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54261669 13229391872 142783 18446744073709551615 4194304 4196468 140736307263328 140314346961328 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 Current children cumulated CPU time (s) 8.51 Current children cumulated vsize (KiB) 12928840 [startup+6.30151 s] /proc/loadavg: 8.44 7.72 7.28 9/225 14012 /proc/meminfo: memFree=27228920/32770624 swapFree=0/332332 [pid=13992] ppid=13989 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/13992/stat : 13992 (xcsp3-exec) S 13989 13992 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54261650 9740288 345 18446744073709551615 4194304 5098028 140736151691440 140736151689544 140632338137724 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 24506368 140736151695768 140736151695978 140736151695978 140736151699435 0 /proc/13992/statm: 2378 345 289 221 0 87 0 [pid=13994] ppid=13992 vsize=13185584 CPUtime=20.3 cores=0,2,4,6 /proc/13994/stat : 13994 (java) S 13992 13992 25100 0 -1 1077944320 30502 0 0 0 1990 40 0 0 20 0 19 0 54261657 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140736307245872 140314871299831 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 /proc/13994/statm: 3296396 193598 3252 1 0 3284688 0 [pid=13994/tid=13995] ppid=13992 vsize=13185584 CPUtime=3.18 cores=0,2,4,6 /proc/13994/task/13995/stat : 13995 (java) S 13992 13992 25100 0 -1 1077944384 9466 0 0 0 308 10 0 0 20 0 19 0 54261658 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314875540608 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13996] ppid=13992 vsize=13185584 CPUtime=0.24 cores=0,2,4,6 /proc/13994/task/13996/stat : 13996 (java) S 13992 13992 25100 0 -1 1077944384 160 0 0 0 19 5 0 0 20 0 19 0 54261658 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314838858640 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13997] ppid=13992 vsize=13185584 CPUtime=0.27 cores=0,2,4,6 /proc/13994/task/13997/stat : 13997 (java) S 13992 13992 25100 0 -1 1077944384 220 0 0 0 21 6 0 0 20 0 19 0 54261658 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314837805840 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13998] ppid=13992 vsize=13185584 CPUtime=0.25 cores=0,2,4,6 /proc/13994/task/13998/stat : 13998 (java) S 13992 13992 25100 0 -1 1077944384 177 0 0 0 19 6 0 0 20 0 19 0 54261658 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314473225360 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13999] ppid=13992 vsize=13185584 CPUtime=0.21 cores=0,2,4,6 /proc/13994/task/13999/stat : 13999 (java) S 13992 13992 25100 0 -1 1077944384 139 0 0 0 17 4 0 0 20 0 19 0 54261658 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314472172560 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14000] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14000/stat : 14000 (java) S 13992 13992 25100 0 -1 1077944384 535 0 0 0 0 0 0 0 20 0 19 0 54261660 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314355382384 140314871310978 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14001] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14001/stat : 14001 (java) S 13992 13992 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 54261660 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314354328416 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14002] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14002/stat : 14002 (java) S 13992 13992 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 54261661 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314353276032 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14003] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14003/stat : 14003 (java) S 13992 13992 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54261663 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314352224336 140314871318427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14004] ppid=13992 vsize=13185584 CPUtime=3.73 cores=0,2,4,6 /proc/13994/task/14004/stat : 14004 (java) S 13992 13992 25100 0 -1 1077944384 7446 0 0 0 372 1 0 0 20 0 19 0 54261663 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314351172208 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14005] ppid=13992 vsize=13185584 CPUtime=3.53 cores=0,2,4,6 /proc/13994/task/14005/stat : 14005 (java) S 13992 13992 25100 0 -1 1077944384 6350 0 0 0 352 1 0 0 20 0 19 0 54261663 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314350119408 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14006] ppid=13992 vsize=13185584 CPUtime=0.88 cores=0,2,4,6 /proc/13994/task/14006/stat : 14006 (java) S 13992 13992 25100 0 -1 1077944384 3649 0 0 0 87 1 0 0 20 0 19 0 54261663 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314349067120 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14007] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14007/stat : 14007 (java) S 13992 13992 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54261663 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314348014560 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14008] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14008/stat : 14008 (java) S 13992 13992 25100 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 54261669 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314346961328 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14009] ppid=13992 vsize=13185584 CPUtime=1.73 cores=0,2,4,6 /proc/13994/task/14009/stat : 14009 (java) R 13992 13992 25100 0 -1 4202560 204 0 0 0 173 0 0 0 20 0 19 0 54262020 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314338945752 140314521053689 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14010] ppid=13992 vsize=13185584 CPUtime=1.72 cores=0,2,4,6 /proc/13994/task/14010/stat : 14010 (java) R 13992 13992 25100 0 -1 4202560 188 0 0 0 172 0 0 0 20 0 19 0 54262020 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314337897016 140314520925365 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14011] ppid=13992 vsize=13185584 CPUtime=2.14 cores=0,2,4,6 /proc/13994/task/14011/stat : 14011 (java) R 13992 13992 25100 0 -1 4202560 431 0 0 0 214 0 0 0 20 0 19 0 54262020 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314336841432 140314521053606 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14012] ppid=13992 vsize=13185584 CPUtime=2.3 cores=0,2,4,6 /proc/13994/task/14012/stat : 14012 (java) R 13992 13992 25100 0 -1 4202560 231 0 0 0 230 0 0 0 20 0 19 0 54262020 13502038016 193598 18446744073709551615 4194304 4196468 140736307263328 140314335791464 140314520117617 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 Current children cumulated CPU time (s) 20.3 Current children cumulated vsize (KiB) 13195096 [startup+12.7015 s] /proc/loadavg: 8.52 7.76 7.30 9/225 14016 /proc/meminfo: memFree=26830480/32770624 swapFree=0/332336 [pid=13992] ppid=13989 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/13992/stat : 13992 (xcsp3-exec) S 13989 13992 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54261650 9740288 345 18446744073709551615 4194304 5098028 140736151691440 140736151689544 140632338137724 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 24506368 140736151695768 140736151695978 140736151695978 140736151699435 0 /proc/13992/statm: 2378 345 289 221 0 87 0 [pid=13994] ppid=13992 vsize=13185584 CPUtime=43.91 cores=0,2,4,6 ################ # More data... # ################ [pid=13994] ppid=13992 vsize=13185584 CPUtime=1959.5 cores=0,2,4,6 /proc/13994/stat : 13994 (java) S 13992 13992 25100 0 -1 1077944320 255578 0 0 0 195656 294 0 0 20 0 19 0 54261657 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140736307245872 140314871299831 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 /proc/13994/statm: 3296396 1008152 3274 1 0 3284688 0 [pid=13994/tid=13995] ppid=13992 vsize=13185584 CPUtime=3.21 cores=0,2,4,6 /proc/13994/task/13995/stat : 13995 (java) S 13992 13992 25100 0 -1 1077944384 12479 0 0 0 310 11 0 0 20 0 19 0 54261658 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314875540608 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13996] ppid=13992 vsize=13185584 CPUtime=2.52 cores=0,2,4,6 /proc/13994/task/13996/stat : 13996 (java) S 13992 13992 25100 0 -1 1077944384 9635 0 0 0 217 35 0 0 20 0 19 0 54261658 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314838858640 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13997] ppid=13992 vsize=13185584 CPUtime=2.56 cores=0,2,4,6 /proc/13994/task/13997/stat : 13997 (java) S 13992 13992 25100 0 -1 1077944384 9132 0 0 0 220 36 0 0 20 0 19 0 54261658 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314837805840 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13998] ppid=13992 vsize=13185584 CPUtime=2.54 cores=0,2,4,6 /proc/13994/task/13998/stat : 13998 (java) S 13992 13992 25100 0 -1 1077944384 4691 0 0 0 220 34 0 0 20 0 19 0 54261658 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314473225360 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13999] ppid=13992 vsize=13185584 CPUtime=2.5 cores=0,2,4,6 /proc/13994/task/13999/stat : 13999 (java) S 13992 13992 25100 0 -1 1077944384 6943 0 0 0 217 33 0 0 20 0 19 0 54261658 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314472172560 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14000] ppid=13992 vsize=13185584 CPUtime=1.23 cores=0,2,4,6 /proc/13994/task/14000/stat : 14000 (java) S 13992 13992 25100 0 -1 1077944384 16597 0 0 0 46 77 0 0 20 0 19 0 54261660 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314355382384 140314871310978 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14001] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14001/stat : 14001 (java) S 13992 13992 25100 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 54261660 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314354328416 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14002] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14002/stat : 14002 (java) S 13992 13992 25100 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 54261661 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314353276032 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14003] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14003/stat : 14003 (java) S 13992 13992 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54261663 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314352224336 140314871318427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14004] ppid=13992 vsize=13185584 CPUtime=5.51 cores=0,2,4,6 /proc/13994/task/14004/stat : 14004 (java) S 13992 13992 25100 0 -1 1077944384 40788 0 0 0 548 3 0 0 20 0 19 0 54261663 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314351172208 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14005] ppid=13992 vsize=13185584 CPUtime=4.96 cores=0,2,4,6 /proc/13994/task/14005/stat : 14005 (java) S 13992 13992 25100 0 -1 1077944384 33563 0 0 0 494 2 0 0 20 0 19 0 54261663 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314350119408 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14006] ppid=13992 vsize=13185584 CPUtime=1.02 cores=0,2,4,6 /proc/13994/task/14006/stat : 14006 (java) S 13992 13992 25100 0 -1 1077944384 22575 0 0 0 100 2 0 0 20 0 19 0 54261663 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314349067120 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14007] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14007/stat : 14007 (java) S 13992 13992 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54261663 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314348014560 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14008] ppid=13992 vsize=13185584 CPUtime=0.37 cores=0,2,4,6 /proc/13994/task/14008/stat : 14008 (java) S 13992 13992 25100 0 -1 1077944384 4354 0 0 0 20 17 0 0 20 0 19 0 54261669 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314346961328 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14251] ppid=13992 vsize=13185584 CPUtime=86.73 cores=0,2,4,6 /proc/13994/task/14251/stat : 14251 (java) R 13992 13992 25100 0 -1 4202560 1469 0 0 0 8673 0 0 0 20 0 19 0 54311044 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314335787976 140314515129966 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14252] ppid=13992 vsize=13185584 CPUtime=87.14 cores=0,2,4,6 /proc/13994/task/14252/stat : 14252 (java) R 13992 13992 25100 0 -1 4202560 7919 0 0 0 8713 1 0 0 20 0 19 0 54311044 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314336842568 140314520925571 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14253] ppid=13992 vsize=13185584 CPUtime=87.38 cores=0,2,4,6 /proc/13994/task/14253/stat : 14253 (java) R 13992 13992 25100 0 -1 4202560 1053 0 0 0 8738 0 0 0 20 0 19 0 54311044 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314338946944 140314515129652 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14254] ppid=13992 vsize=13185584 CPUtime=87.33 cores=0,2,4,6 /proc/13994/task/14254/stat : 14254 (java) R 13992 13992 25100 0 -1 4202560 2243 0 0 0 8732 1 0 0 20 0 19 0 54311044 13502038016 1008152 18446744073709551615 4194304 4196468 140736307263328 140314337894344 140314517361301 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 Current children cumulated CPU time (s) 1959.5 Current children cumulated vsize (KiB) 13195096 [startup+642.302 s] /proc/loadavg: 8.52 7.36 7.21 10/225 14265 /proc/meminfo: memFree=23721484/32770624 swapFree=0/332600 [pid=13992] ppid=13989 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/13992/stat : 13992 (xcsp3-exec) S 13989 13992 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54261650 9740288 345 18446744073709551615 4194304 5098028 140736151691440 140736151689544 140632338137724 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 24506368 140736151695768 140736151695978 140736151695978 140736151699435 0 /proc/13992/statm: 2378 345 289 221 0 87 0 [pid=13994] ppid=13992 vsize=13185584 CPUtime=2198.58 cores=0,2,4,6 /proc/13994/stat : 13994 (java) S 13992 13992 25100 0 -1 1077944320 262200 0 0 0 219555 303 0 0 20 0 19 0 54261657 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140736307245872 140314871299831 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 /proc/13994/statm: 3296396 956957 3274 1 0 3284688 0 [pid=13994/tid=13995] ppid=13992 vsize=13185584 CPUtime=3.21 cores=0,2,4,6 /proc/13994/task/13995/stat : 13995 (java) S 13992 13992 25100 0 -1 1077944384 12479 0 0 0 310 11 0 0 20 0 19 0 54261658 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314875540608 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13996] ppid=13992 vsize=13185584 CPUtime=2.55 cores=0,2,4,6 /proc/13994/task/13996/stat : 13996 (java) S 13992 13992 25100 0 -1 1077944384 9781 0 0 0 220 35 0 0 20 0 19 0 54261658 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314838858640 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13997] ppid=13992 vsize=13185584 CPUtime=2.58 cores=0,2,4,6 /proc/13994/task/13997/stat : 13997 (java) S 13992 13992 25100 0 -1 1077944384 9292 0 0 0 222 36 0 0 20 0 19 0 54261658 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314837805840 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13998] ppid=13992 vsize=13185584 CPUtime=2.56 cores=0,2,4,6 /proc/13994/task/13998/stat : 13998 (java) S 13992 13992 25100 0 -1 1077944384 5368 0 0 0 222 34 0 0 20 0 19 0 54261658 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314473225360 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13999] ppid=13992 vsize=13185584 CPUtime=2.52 cores=0,2,4,6 /proc/13994/task/13999/stat : 13999 (java) S 13992 13992 25100 0 -1 1077944384 7223 0 0 0 219 33 0 0 20 0 19 0 54261658 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314472172560 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14000] ppid=13992 vsize=13185584 CPUtime=1.32 cores=0,2,4,6 /proc/13994/task/14000/stat : 14000 (java) S 13992 13992 25100 0 -1 1077944384 16855 0 0 0 48 84 0 0 20 0 19 0 54261660 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314355382384 140314871310978 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14001] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14001/stat : 14001 (java) S 13992 13992 25100 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 54261660 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314354328416 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14002] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14002/stat : 14002 (java) S 13992 13992 25100 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 54261661 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314353276032 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14003] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14003/stat : 14003 (java) S 13992 13992 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54261663 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314352224336 140314871318427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14004] ppid=13992 vsize=13185584 CPUtime=5.51 cores=0,2,4,6 /proc/13994/task/14004/stat : 14004 (java) S 13992 13992 25100 0 -1 1077944384 40879 0 0 0 548 3 0 0 20 0 19 0 54261663 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314351172208 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14005] ppid=13992 vsize=13185584 CPUtime=4.97 cores=0,2,4,6 /proc/13994/task/14005/stat : 14005 (java) S 13992 13992 25100 0 -1 1077944384 34117 0 0 0 495 2 0 0 20 0 19 0 54261663 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314350119408 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14006] ppid=13992 vsize=13185584 CPUtime=1.02 cores=0,2,4,6 /proc/13994/task/14006/stat : 14006 (java) S 13992 13992 25100 0 -1 1077944384 23021 0 0 0 100 2 0 0 20 0 19 0 54261663 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314349067120 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14007] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14007/stat : 14007 (java) S 13992 13992 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54261663 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314348014560 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14008] ppid=13992 vsize=13185584 CPUtime=0.4 cores=0,2,4,6 /proc/13994/task/14008/stat : 14008 (java) S 13992 13992 25100 0 -1 1077944384 4405 0 0 0 22 18 0 0 20 0 19 0 54261669 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314346961328 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14251] ppid=13992 vsize=13185584 CPUtime=146.68 cores=0,2,4,6 /proc/13994/task/14251/stat : 14251 (java) R 13992 13992 25100 0 -1 4202560 1605 0 0 0 14668 0 0 0 20 0 19 0 54311044 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314335787976 140314515129903 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14252] ppid=13992 vsize=13185584 CPUtime=146.69 cores=0,2,4,6 /proc/13994/task/14252/stat : 14252 (java) R 13992 13992 25100 0 -1 4202560 10665 0 0 0 14668 1 0 0 20 0 19 0 54311044 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314336844656 140314520925365 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14253] ppid=13992 vsize=13185584 CPUtime=146.85 cores=0,2,4,6 /proc/13994/task/14253/stat : 14253 (java) R 13992 13992 25100 0 -1 4202560 1416 0 0 0 14685 0 0 0 20 0 19 0 54311044 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314338946944 140314515129969 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14254] ppid=13992 vsize=13185584 CPUtime=147.19 cores=0,2,4,6 /proc/13994/task/14254/stat : 14254 (java) R 13992 13992 25100 0 -1 4202560 2957 0 0 0 14718 1 0 0 20 0 19 0 54311044 13502038016 956957 18446744073709551615 4194304 4196468 140736307263328 140314337894344 140314520117776 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 Current children cumulated CPU time (s) 2198.58 Current children cumulated vsize (KiB) 13195096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+693.002 s] /proc/loadavg: 8.14 7.45 7.25 10/224 14271 /proc/meminfo: memFree=23626876/32770624 swapFree=0/332636 [pid=13992] ppid=13989 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/13992/stat : 13992 (xcsp3-exec) S 13989 13992 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 54261650 9740288 345 18446744073709551615 4194304 5098028 140736151691440 140736151689544 140632338137724 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 24506368 140736151695768 140736151695978 140736151695978 140736151699435 0 /proc/13992/statm: 2378 345 289 221 0 87 0 [pid=13994] ppid=13992 vsize=13185584 CPUtime=2400.21 cores=0,2,4,6 /proc/13994/stat : 13994 (java) S 13992 13992 25100 0 -1 1077944320 270157 0 0 0 239692 329 0 0 20 0 19 0 54261657 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140736307245872 140314871299831 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 /proc/13994/statm: 3296396 980504 3274 1 0 3284688 0 [pid=13994/tid=13995] ppid=13992 vsize=13185584 CPUtime=3.21 cores=0,2,4,6 /proc/13994/task/13995/stat : 13995 (java) S 13992 13992 25100 0 -1 1077944384 12479 0 0 0 310 11 0 0 20 0 19 0 54261658 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314875540608 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13996] ppid=13992 vsize=13185584 CPUtime=2.62 cores=0,2,4,6 /proc/13994/task/13996/stat : 13996 (java) S 13992 13992 25100 0 -1 1077944384 9908 0 0 0 227 35 0 0 20 0 19 0 54261658 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314838858640 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13997] ppid=13992 vsize=13185584 CPUtime=2.65 cores=0,2,4,6 /proc/13994/task/13997/stat : 13997 (java) S 13992 13992 25100 0 -1 1077944384 9468 0 0 0 229 36 0 0 20 0 19 0 54261658 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314837805840 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13998] ppid=13992 vsize=13185584 CPUtime=2.63 cores=0,2,4,6 /proc/13994/task/13998/stat : 13998 (java) S 13992 13992 25100 0 -1 1077944384 5791 0 0 0 229 34 0 0 20 0 19 0 54261658 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314473225360 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=13999] ppid=13992 vsize=13185584 CPUtime=2.59 cores=0,2,4,6 /proc/13994/task/13999/stat : 13999 (java) S 13992 13992 25100 0 -1 1077944384 7832 0 0 0 226 33 0 0 20 0 19 0 54261658 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314472172560 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14000] ppid=13992 vsize=13185584 CPUtime=1.63 cores=0,2,4,6 /proc/13994/task/14000/stat : 14000 (java) S 13992 13992 25100 0 -1 1077944384 17300 0 0 0 57 106 0 0 20 0 19 0 54261660 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314355382384 140314871310978 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14001] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14001/stat : 14001 (java) S 13992 13992 25100 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 54261660 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314354328416 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14002] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14002/stat : 14002 (java) S 13992 13992 25100 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 54261661 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314353276032 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14003] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14003/stat : 14003 (java) S 13992 13992 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54261663 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314352224336 140314871318427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14004] ppid=13992 vsize=13185584 CPUtime=5.56 cores=0,2,4,6 /proc/13994/task/14004/stat : 14004 (java) S 13992 13992 25100 0 -1 1077944384 41849 0 0 0 552 4 0 0 20 0 19 0 54261663 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314351172208 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14005] ppid=13992 vsize=13185584 CPUtime=4.99 cores=0,2,4,6 /proc/13994/task/14005/stat : 14005 (java) S 13992 13992 25100 0 -1 1077944384 34855 0 0 0 497 2 0 0 20 0 19 0 54261663 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314350119408 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14006] ppid=13992 vsize=13185584 CPUtime=1.03 cores=0,2,4,6 /proc/13994/task/14006/stat : 14006 (java) S 13992 13992 25100 0 -1 1077944384 23925 0 0 0 101 2 0 0 20 0 19 0 54261663 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314349067120 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14007] ppid=13992 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/13994/task/14007/stat : 14007 (java) S 13992 13992 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54261663 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314348014560 140314871310037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14008] ppid=13992 vsize=13185584 CPUtime=0.43 cores=0,2,4,6 /proc/13994/task/14008/stat : 14008 (java) S 13992 13992 25100 0 -1 1077944384 4421 0 0 0 23 20 0 0 20 0 19 0 54261669 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314346961328 140314871310978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14251] ppid=13992 vsize=13185584 CPUtime=196.88 cores=0,2,4,6 /proc/13994/task/14251/stat : 14251 (java) R 13992 13992 25100 0 -1 4202560 1703 0 0 0 19688 0 0 0 20 0 19 0 54311044 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314335787744 140314515130000 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14252] ppid=13992 vsize=13185584 CPUtime=196.67 cores=0,2,4,6 /proc/13994/task/14252/stat : 14252 (java) R 13992 13992 25100 0 -1 4202560 12251 0 0 0 19665 2 0 0 20 0 19 0 54311044 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314336842328 140314520825018 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14253] ppid=13992 vsize=13185584 CPUtime=197.33 cores=0,2,4,6 /proc/13994/task/14253/stat : 14253 (java) R 13992 13992 25100 0 -1 4202560 1645 0 0 0 19733 0 0 0 20 0 19 0 54311044 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314338947208 140314515129759 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 [pid=13994/tid=14254] ppid=13992 vsize=13185584 CPUtime=197.49 cores=0,2,4,6 /proc/13994/task/14254/stat : 14254 (java) R 13992 13992 25100 0 -1 4202560 4593 0 0 0 19744 5 0 0 20 0 19 0 54311044 13502038016 980504 18446744073709551615 4194304 4196468 140736307263328 140314337895832 140314522775429 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28131328 140736307266006 140736307266182 140736307266182 140736307269583 0 Current children cumulated CPU time (s) 2400.21 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 13994 sig 9 ??? kill 13992 sig 9 ??? kill -13992 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 13992 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1775 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=118 # CPU time returned by wait4() is 0.001893 # while last known CPU time is 2400.21 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 693.036 CPU time (s): 2400.21 CPU user time (s): 2396.92 CPU system time (s): 3.29 CPU usage (%): 346.333 Max. virtual memory (cumulated for all children) (KiB): 13195096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001775 system time used= 0.000118 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 4.21912 second user time and 4.72399 second system time The end
Begin job on node133 at 2017-08-07 01:53:37 IDJOB=4248697 IDBENCH=140592 IDSOLVER=2625 FILE ID=node133/4248697-1502064464 RUNJOBID= node133-1502042263-31898 PBS_JOBID= Free space on /tmp= 62020 MiB SOLVER NAME= choco-solver 4.0.5 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-47.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-4248697-1502064464/watcher-4248697-1502064464 -o /tmp/evaluation-result-4248697-1502064464/solver-4248697-1502064464 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1566246240 HOME/instance-4248697-1502064464.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b40b46819fbd3a38fcaaee2fdd389509 RANDOM SEED=1566246240 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: 27990328 kB MemAvailable: 28492120 kB Buffers: 208564 kB Cached: 584132 kB SwapCached: 0 kB Active: 3995212 kB Inactive: 357212 kB Active(anon): 3559688 kB Inactive(anon): 24920 kB Active(file): 435524 kB Inactive(file): 332292 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8780 kB Writeback: 0 kB AnonPages: 3650344 kB Mapped: 52544 kB Shmem: 25276 kB Slab: 125968 kB SReclaimable: 99624 kB SUnreclaim: 26344 kB KernelStack: 3872 kB PageTables: 11412 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4761480 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3526656 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 02:05:10