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) | 78 | 2400.03 | 699.03198 |
| 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.08 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4248698-1502097128.xml" -tl '2400s' -p 4 -x 3 0.00/0.26 c [HOME/instance-4248698-1502097128.xml, -tl, 2400s, -p, 4, -x, 3] 0.00/0.32 c 4 solvers in parallel 0.00/0.39 c parse instance... 9.02/3.34 c solve instance... 34.99/10.53 o 806 63.17/19.84 o 748 85.69/26.12 o 314 124.19/40.90 o 260 163.97/56.28 o 213 249.02/85.36 o 163 468.60/150.78 o 160 486.30/155.28 o 107 731.26/221.91 o 95 839.44/250.17 o 88 936.55/291.09 o 86 1348.26/434.92 o 81 1505.89/474.52 o 78 2400.03/699.07 s SATISFIABLE 2400.03/699.07 v <instantiation> 2400.03/699.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.03/699.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.03/699.07 v </instantiation> 2400.03/699.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-4248698-1502097128/watcher-4248698-1502097128 -o /tmp/evaluation-result-4248698-1502097128/solver-4248698-1502097128 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15622 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 85148895 HOME/instance-4248698-1502097128.xml pid=25336 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.44 7.54 7.19 5/204 25339 /proc/meminfo: memFree=27636656/32770624 swapFree=0/375988 [pid=25339] ppid=25336 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/25339/stat : 25339 (runsolver) D 25336 25339 2911 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 109365983 24240128 106 18446744073709551615 4194304 4338465 140726917903968 140726917901608 140412458107607 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 18792448 140726917906520 140726917907017 140726917907017 140726917910474 0 /proc/25339/statm: 5918 106 53 36 0 2156 0 [startup+0.103736 s] /proc/loadavg: 8.44 7.54 7.19 5/204 25339 /proc/meminfo: memFree=27636656/32770624 swapFree=0/375988 [pid=25339] ppid=25336 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/25339/stat : 25339 (xcsp3-exec) S 25336 25339 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 109365983 9740288 345 18446744073709551615 4194304 5098028 140730971280000 140730971278104 140612491108988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 23281664 140730971287962 140730971288170 140730971288170 140730971291627 0 /proc/25339/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200284 s] /proc/loadavg: 8.44 7.54 7.19 5/204 25339 /proc/meminfo: memFree=27636656/32770624 swapFree=0/375988 [pid=25339] ppid=25336 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/25339/stat : 25339 (xcsp3-exec) S 25336 25339 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 109365983 9740288 345 18446744073709551615 4194304 5098028 140730971280000 140730971278104 140612491108988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 23281664 140730971287962 140730971288170 140730971288170 140730971291627 0 /proc/25339/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.307483 s] /proc/loadavg: 8.44 7.54 7.19 5/204 25339 /proc/meminfo: memFree=27636656/32770624 swapFree=0/375988 [pid=25339] ppid=25336 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/25339/stat : 25339 (xcsp3-exec) S 25336 25339 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 109365983 9740288 345 18446744073709551615 4194304 5098028 140730971280000 140730971278104 140612491108988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 23281664 140730971287962 140730971288170 140730971288170 140730971291627 0 /proc/25339/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700947 s] /proc/loadavg: 8.44 7.54 7.19 5/204 25339 /proc/meminfo: memFree=27636656/32770624 swapFree=0/375988 [pid=25339] ppid=25336 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/25339/stat : 25339 (xcsp3-exec) S 25336 25339 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 109365983 9740288 345 18446744073709551615 4194304 5098028 140730971280000 140730971278104 140612491108988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 23281664 140730971287962 140730971288170 140730971288170 140730971291627 0 /proc/25339/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.5009 s] /proc/loadavg: 8.44 7.54 7.19 9/220 25355 /proc/meminfo: memFree=27450152/32770624 swapFree=0/376020 [pid=25339] ppid=25336 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/25339/stat : 25339 (xcsp3-exec) S 25336 25339 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 109365983 9740288 345 18446744073709551615 4194304 5098028 140730971280000 140730971278104 140612491108988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 23281664 140730971287962 140730971288170 140730971288170 140730971291627 0 /proc/25339/statm: 2378 345 289 221 0 87 0 [pid=25341] ppid=25339 vsize=12919328 CPUtime=4.01 cores=1,3,5,7 /proc/25341/stat : 25341 (java) S 25339 25339 2911 0 -1 1077944320 17304 0 0 0 388 13 0 0 20 0 15 0 109365991 13229391872 58074 18446744073709551615 4194304 4196468 140725188653840 140725188636384 140495035584247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 /proc/25341/statm: 3229832 58074 3208 1 0 3218124 0 [pid=25341/tid=25342] ppid=25339 vsize=12919328 CPUtime=1.31 cores=1,3,5,7 /proc/25341/task/25342/stat : 25342 (java) R 25339 25339 2911 0 -1 4202560 8851 0 0 0 126 5 0 0 20 0 15 0 109365991 13229391872 58074 18446744073709551615 4194304 4196468 140725188653840 140495039822256 140494643441584 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25343] ppid=25339 vsize=12919328 CPUtime=0.03 cores=1,3,5,7 /proc/25341/task/25343/stat : 25343 (java) S 25339 25339 2911 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 15 0 109365992 13229391872 58074 18446744073709551615 4194304 4196468 140725188653840 140494958410256 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25344] ppid=25339 vsize=12919328 CPUtime=0.03 cores=1,3,5,7 /proc/25341/task/25344/stat : 25344 (java) S 25339 25339 2911 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 15 0 109365992 13229391872 58074 18446744073709551615 4194304 4196468 140725188653840 140494638148240 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25345] ppid=25339 vsize=12919328 CPUtime=0.03 cores=1,3,5,7 /proc/25341/task/25345/stat : 25345 (java) S 25339 25339 2911 0 -1 1077944384 28 0 0 0 2 1 0 0 20 0 15 0 109365992 13229391872 58074 18446744073709551615 4194304 4196468 140725188653840 140494637095184 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25346] ppid=25339 vsize=12919328 CPUtime=0.03 cores=1,3,5,7 /proc/25341/task/25346/stat : 25346 (java) S 25339 25339 2911 0 -1 1077944384 63 0 0 0 2 1 0 0 20 0 15 0 109365992 13229391872 58074 18446744073709551615 4194304 4196468 140725188653840 140494636042640 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25347] ppid=25339 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25347/stat : 25347 (java) S 25339 25339 2911 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 109365993 13229391872 58074 18446744073709551615 4194304 4196468 140725188653840 140494519692016 140495035595394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25348] ppid=25339 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25348/stat : 25348 (java) S 25339 25339 2911 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 109365994 13229391872 58074 18446744073709551615 4194304 4196468 140725188653840 140494518638304 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25349] ppid=25339 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25349/stat : 25349 (java) S 25339 25339 2911 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 109365994 13229391872 58074 18446744073709551615 4194304 4196468 140725188653840 140494517585152 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25350] ppid=25339 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25350/stat : 25350 (java) S 25339 25339 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109365996 13229391872 58074 18446744073709551615 4194304 4196468 140725188653840 140494516533712 140495035602843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25351] ppid=25339 vsize=12919328 CPUtime=1.01 cores=1,3,5,7 /proc/25341/task/25351/stat : 25351 (java) R 25339 25339 2911 0 -1 4202560 2372 0 0 0 101 0 0 0 20 0 15 0 109365996 13229391872 58074 18446744073709551615 4194304 4196468 140725188653840 140494515459920 140495016764352 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25352] ppid=25339 vsize=12919328 CPUtime=1 cores=1,3,5,7 /proc/25341/task/25352/stat : 25352 (java) R 25339 25339 2911 0 -1 4202560 1986 0 0 0 100 0 0 0 20 0 15 0 109365996 13229391872 58074 18446744073709551615 4194304 4196468 140725188653840 140494514414368 140495020701367 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25353] ppid=25339 vsize=12919328 CPUtime=0.48 cores=1,3,5,7 /proc/25341/task/25353/stat : 25353 (java) S 25339 25339 2911 0 -1 1077944384 2541 0 0 0 48 0 0 0 20 0 15 0 109365996 13229391872 58074 18446744073709551615 4194304 4196468 140725188653840 140494513375216 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25354] ppid=25339 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25354/stat : 25354 (java) S 25339 25339 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109365997 13229391872 58074 18446744073709551615 4194304 4196468 140725188653840 140494512322912 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25355] ppid=25339 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25355/stat : 25355 (java) S 25339 25339 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109366001 13229391872 58074 18446744073709551615 4194304 4196468 140725188653840 140494511270960 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 Current children cumulated CPU time (s) 4.01 Current children cumulated vsize (KiB) 12928840 [startup+3.1007 s] /proc/loadavg: 8.44 7.54 7.19 8/214 25386 /proc/meminfo: memFree=30978556/32770624 swapFree=0/376020 [pid=25339] ppid=25336 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/25339/stat : 25339 (xcsp3-exec) S 25336 25339 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 109365983 9740288 345 18446744073709551615 4194304 5098028 140730971280000 140730971278104 140612491108988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 23281664 140730971287962 140730971288170 140730971288170 140730971291627 0 /proc/25339/statm: 2378 345 289 221 0 87 0 [pid=25341] ppid=25339 vsize=12919328 CPUtime=8.68 cores=1,3,5,7 /proc/25341/stat : 25341 (java) S 25339 25339 2911 0 -1 1077944320 22049 0 0 0 830 38 0 0 20 0 15 0 109365991 13229391872 191030 18446744073709551615 4194304 4196468 140725188653840 140725188636384 140495035584247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 /proc/25341/statm: 3229832 191030 3233 1 0 3218124 0 [pid=25341/tid=25342] ppid=25339 vsize=12919328 CPUtime=2.65 cores=1,3,5,7 /proc/25341/task/25342/stat : 25342 (java) R 25339 25339 2911 0 -1 4202560 9462 0 0 0 255 10 0 0 20 0 15 0 109365991 13229391872 191030 18446744073709551615 4194304 4196468 140725188653840 140495039822112 140494645094137 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25343] ppid=25339 vsize=12919328 CPUtime=0.27 cores=1,3,5,7 /proc/25341/task/25343/stat : 25343 (java) S 25339 25339 2911 0 -1 1077944384 229 0 0 0 21 6 0 0 20 0 15 0 109365992 13229391872 191030 18446744073709551615 4194304 4196468 140725188653840 140494958410256 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25344] ppid=25339 vsize=12919328 CPUtime=0.24 cores=1,3,5,7 /proc/25341/task/25344/stat : 25344 (java) S 25339 25339 2911 0 -1 1077944384 215 0 0 0 19 5 0 0 20 0 15 0 109365992 13229391872 191030 18446744073709551615 4194304 4196468 140725188653840 140494638148240 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25345] ppid=25339 vsize=12919328 CPUtime=0.25 cores=1,3,5,7 /proc/25341/task/25345/stat : 25345 (java) S 25339 25339 2911 0 -1 1077944384 177 0 0 0 19 6 0 0 20 0 15 0 109365992 13229391872 191030 18446744073709551615 4194304 4196468 140725188653840 140494637095184 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25346] ppid=25339 vsize=12919328 CPUtime=0.24 cores=1,3,5,7 /proc/25341/task/25346/stat : 25346 (java) S 25339 25339 2911 0 -1 1077944384 188 0 0 0 18 6 0 0 20 0 15 0 109365992 13229391872 191030 18446744073709551615 4194304 4196468 140725188653840 140494636042640 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25347] ppid=25339 vsize=12919328 CPUtime=0.01 cores=1,3,5,7 /proc/25341/task/25347/stat : 25347 (java) S 25339 25339 2911 0 -1 1077944384 531 0 0 0 1 0 0 0 20 0 15 0 109365993 13229391872 191030 18446744073709551615 4194304 4196468 140725188653840 140494519692016 140495035595394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25348] ppid=25339 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25348/stat : 25348 (java) S 25339 25339 2911 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 109365994 13229391872 191030 18446744073709551615 4194304 4196468 140725188653840 140494518638304 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25349] ppid=25339 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25349/stat : 25349 (java) S 25339 25339 2911 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 109365994 13229391872 191030 18446744073709551615 4194304 4196468 140725188653840 140494517585152 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25350] ppid=25339 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25350/stat : 25350 (java) S 25339 25339 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109365996 13229391872 191030 18446744073709551615 4194304 4196468 140725188653840 140494516533712 140495035602843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25351] ppid=25339 vsize=12919328 CPUtime=2.15 cores=1,3,5,7 /proc/25341/task/25351/stat : 25351 (java) R 25339 25339 2911 0 -1 4202560 3523 0 0 0 215 0 0 0 20 0 15 0 109365996 13229391872 191030 18446744073709551615 4194304 4196468 140725188653840 140494515479712 140495020501544 0 4 1 16800974 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25352] ppid=25339 vsize=12919328 CPUtime=2.2 cores=1,3,5,7 /proc/25341/task/25352/stat : 25352 (java) R 25339 25339 2911 0 -1 4202560 3739 0 0 0 220 0 0 0 20 0 15 0 109365996 13229391872 191030 18446744073709551615 4194304 4196468 140725188653840 140494514416384 140495019081031 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25353] ppid=25339 vsize=12919328 CPUtime=0.58 cores=1,3,5,7 /proc/25341/task/25353/stat : 25353 (java) S 25339 25339 2911 0 -1 1077944384 2686 0 0 0 57 1 0 0 20 0 15 0 109365996 13229391872 191030 18446744073709551615 4194304 4196468 140725188653840 140494513375216 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25354] ppid=25339 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25354/stat : 25354 (java) S 25339 25339 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109365997 13229391872 191030 18446744073709551615 4194304 4196468 140725188653840 140494512322912 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25355] ppid=25339 vsize=12919328 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25355/stat : 25355 (java) S 25339 25339 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109366001 13229391872 191030 18446744073709551615 4194304 4196468 140725188653840 140494511270960 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 Current children cumulated CPU time (s) 8.68 Current children cumulated vsize (KiB) 12928840 [startup+6.30591 s] /proc/loadavg: 8.33 7.53 7.19 9/219 25438 /proc/meminfo: memFree=30482236/32770624 swapFree=0/376052 [pid=25339] ppid=25336 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/25339/stat : 25339 (xcsp3-exec) S 25336 25339 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 109365983 9740288 345 18446744073709551615 4194304 5098028 140730971280000 140730971278104 140612491108988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 23281664 140730971287962 140730971288170 140730971288170 140730971291627 0 /proc/25339/statm: 2378 345 289 221 0 87 0 [pid=25341] ppid=25339 vsize=13185584 CPUtime=20.73 cores=1,3,5,7 /proc/25341/stat : 25341 (java) S 25339 25339 2911 0 -1 1077944320 28425 0 0 0 2025 48 0 0 20 0 19 0 109365991 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140725188636384 140495035584247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 /proc/25341/statm: 3296396 214696 3247 1 0 3284688 0 [pid=25341/tid=25342] ppid=25339 vsize=13185584 CPUtime=2.95 cores=1,3,5,7 /proc/25341/task/25342/stat : 25342 (java) S 25339 25339 2911 0 -1 1077944384 9517 0 0 0 285 10 0 0 20 0 19 0 109365991 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140495039825024 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25343] ppid=25339 vsize=13185584 CPUtime=0.37 cores=1,3,5,7 /proc/25341/task/25343/stat : 25343 (java) S 25339 25339 2911 0 -1 1077944384 544 0 0 0 29 8 0 0 20 0 19 0 109365992 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494958410256 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25344] ppid=25339 vsize=13185584 CPUtime=0.33 cores=1,3,5,7 /proc/25341/task/25344/stat : 25344 (java) S 25339 25339 2911 0 -1 1077944384 418 0 0 0 26 7 0 0 20 0 19 0 109365992 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494638148240 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25345] ppid=25339 vsize=13185584 CPUtime=0.35 cores=1,3,5,7 /proc/25341/task/25345/stat : 25345 (java) S 25339 25339 2911 0 -1 1077944384 1493 0 0 0 27 8 0 0 20 0 19 0 109365992 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494637095184 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25346] ppid=25339 vsize=13185584 CPUtime=0.33 cores=1,3,5,7 /proc/25341/task/25346/stat : 25346 (java) S 25339 25339 2911 0 -1 1077944384 344 0 0 0 25 8 0 0 20 0 19 0 109365992 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494636042640 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25347] ppid=25339 vsize=13185584 CPUtime=0.01 cores=1,3,5,7 /proc/25341/task/25347/stat : 25347 (java) S 25339 25339 2911 0 -1 1077944384 752 0 0 0 1 0 0 0 20 0 19 0 109365993 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494519692016 140495035595394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25348] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25348/stat : 25348 (java) S 25339 25339 2911 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 109365994 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494518638304 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25349] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25349/stat : 25349 (java) S 25339 25339 2911 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 109365994 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494517585152 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25350] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25350/stat : 25350 (java) S 25339 25339 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109365996 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494516533712 140495035602843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25351] ppid=25339 vsize=13185584 CPUtime=3.09 cores=1,3,5,7 /proc/25341/task/25351/stat : 25351 (java) R 25339 25339 2911 0 -1 4202560 5094 0 0 0 308 1 0 0 20 0 19 0 109365996 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494515480736 140495016284862 0 4 1 16800974 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25352] ppid=25339 vsize=13185584 CPUtime=3.12 cores=1,3,5,7 /proc/25341/task/25352/stat : 25352 (java) S 25339 25339 2911 0 -1 1077944384 4307 0 0 0 311 1 0 0 20 0 19 0 109365996 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494514428272 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25353] ppid=25339 vsize=13185584 CPUtime=0.85 cores=1,3,5,7 /proc/25341/task/25353/stat : 25353 (java) S 25339 25339 2911 0 -1 1077944384 3553 0 0 0 84 1 0 0 20 0 19 0 109365996 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494513375216 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25354] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25354/stat : 25354 (java) S 25339 25339 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109365997 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494512322912 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25355] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25355/stat : 25355 (java) S 25339 25339 2911 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 109366001 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494511270960 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25387] ppid=25339 vsize=13185584 CPUtime=2.33 cores=1,3,5,7 /proc/25341/task/25387/stat : 25387 (java) R 25339 25339 2911 0 -1 4202560 369 0 0 0 233 0 0 0 20 0 19 0 109366323 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494503254960 140494648352440 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25388] ppid=25339 vsize=13185584 CPUtime=2.24 cores=1,3,5,7 /proc/25341/task/25388/stat : 25388 (java) R 25339 25339 2911 0 -1 4202560 308 0 0 0 224 0 0 0 20 0 19 0 109366323 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494502202928 140494647437882 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25389] ppid=25339 vsize=13185584 CPUtime=2.3 cores=1,3,5,7 /proc/25341/task/25389/stat : 25389 (java) R 25339 25339 2911 0 -1 1077944384 187 0 0 0 230 0 0 0 20 0 19 0 109366323 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494501149600 140495035594453 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25390] ppid=25339 vsize=13185584 CPUtime=2.36 cores=1,3,5,7 /proc/25341/task/25390/stat : 25390 (java) R 25339 25339 2911 0 -1 4202560 186 0 0 0 236 0 0 0 20 0 19 0 109366323 13502038016 214696 18446744073709551615 4194304 4196468 140725188653840 140494500100624 140494646852017 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 Current children cumulated CPU time (s) 20.73 Current children cumulated vsize (KiB) 13195096 [startup+12.7009 s] /proc/loadavg: 8.46 7.57 7.21 11/222 25446 /proc/meminfo: memFree=29703844/32770624 swapFree=0/376048 [pid=25339] ppid=25336 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/25339/stat : 25339 (xcsp3-exec) S 25336 25339 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 109365983 9740288 345 18446744073709551615 4194304 5098028 140730971280000 140730971278104 140612491108988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 23281664 140730971287962 140730971288170 140730971288170 140730971291627 0 /proc/25339/statm: 2378 345 289 221 0 87 0 [pid=25341] ppid=25339 vsize=13185584 CPUtime=43.63 cores=1,3,5,7 ################ # More data... # ################ /proc/25339/statm: 2378 345 289 221 0 87 0 [pid=25341] ppid=25339 vsize=13185584 CPUtime=1935.2 cores=1,3,5,7 /proc/25341/stat : 25341 (java) S 25339 25339 2911 0 -1 1077944320 243823 0 0 0 193250 270 0 0 20 0 19 0 109365991 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140725188636384 140495035584247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 /proc/25341/statm: 3296396 995711 3270 1 0 3284688 0 [pid=25341/tid=25342] ppid=25339 vsize=13185584 CPUtime=2.97 cores=1,3,5,7 /proc/25341/task/25342/stat : 25342 (java) S 25339 25339 2911 0 -1 1077944384 12199 0 0 0 286 11 0 0 20 0 19 0 109365991 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140495039825024 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25343] ppid=25339 vsize=13185584 CPUtime=2.13 cores=1,3,5,7 /proc/25341/task/25343/stat : 25343 (java) S 25339 25339 2911 0 -1 1077944384 7219 0 0 0 181 32 0 0 20 0 19 0 109365992 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494958410256 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25344] ppid=25339 vsize=13185584 CPUtime=2.12 cores=1,3,5,7 /proc/25341/task/25344/stat : 25344 (java) S 25339 25339 2911 0 -1 1077944384 9160 0 0 0 180 32 0 0 20 0 19 0 109365992 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494638148240 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25345] ppid=25339 vsize=13185584 CPUtime=2.12 cores=1,3,5,7 /proc/25341/task/25345/stat : 25345 (java) S 25339 25339 2911 0 -1 1077944384 6818 0 0 0 179 33 0 0 20 0 19 0 109365992 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494637095184 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25346] ppid=25339 vsize=13185584 CPUtime=2.1 cores=1,3,5,7 /proc/25341/task/25346/stat : 25346 (java) S 25339 25339 2911 0 -1 1077944384 7823 0 0 0 178 32 0 0 20 0 19 0 109365992 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494636042640 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25347] ppid=25339 vsize=13185584 CPUtime=0.92 cores=1,3,5,7 /proc/25341/task/25347/stat : 25347 (java) S 25339 25339 2911 0 -1 1077944384 13769 0 0 0 39 53 0 0 20 0 19 0 109365993 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494519692016 140495035595394 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25348] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25348/stat : 25348 (java) S 25339 25339 2911 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 109365994 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494518638304 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25349] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25349/stat : 25349 (java) S 25339 25339 2911 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 109365994 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494517585152 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25350] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25350/stat : 25350 (java) S 25339 25339 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109365996 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494516533712 140495035602843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25351] ppid=25339 vsize=13185584 CPUtime=4.61 cores=1,3,5,7 /proc/25341/task/25351/stat : 25351 (java) S 25339 25339 2911 0 -1 1077944384 35930 0 0 0 459 2 0 0 20 0 19 0 109365996 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494515480816 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25352] ppid=25339 vsize=13185584 CPUtime=4.63 cores=1,3,5,7 /proc/25341/task/25352/stat : 25352 (java) S 25339 25339 2911 0 -1 1077944384 31254 0 0 0 460 3 0 0 20 0 19 0 109365996 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494514428272 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25353] ppid=25339 vsize=13185584 CPUtime=0.99 cores=1,3,5,7 /proc/25341/task/25353/stat : 25353 (java) S 25339 25339 2911 0 -1 1077944384 22237 0 0 0 98 1 0 0 20 0 19 0 109365996 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494513375216 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25354] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25354/stat : 25354 (java) S 25339 25339 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109365997 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494512322912 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25355] ppid=25339 vsize=13185584 CPUtime=0.37 cores=1,3,5,7 /proc/25341/task/25355/stat : 25355 (java) S 25339 25339 2911 0 -1 1077944384 3432 0 0 0 14 23 0 0 20 0 19 0 109366001 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494511270960 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25599] ppid=25339 vsize=13185584 CPUtime=106.45 cores=1,3,5,7 /proc/25341/task/25599/stat : 25599 (java) R 25339 25339 2911 0 -1 4202560 1107 0 0 0 10644 1 0 0 20 0 19 0 109413436 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494502201984 140494647751373 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25600] ppid=25339 vsize=13185584 CPUtime=107.21 cores=1,3,5,7 /proc/25341/task/25600/stat : 25600 (java) R 25339 25339 2911 0 -1 4202560 8307 0 0 0 10719 2 0 0 20 0 19 0 109413436 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494503258272 140494647661539 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25601] ppid=25339 vsize=13185584 CPUtime=107.38 cores=1,3,5,7 /proc/25341/task/25601/stat : 25601 (java) R 25339 25339 2911 0 -1 4202560 1915 0 0 0 10738 0 0 0 20 0 19 0 109413436 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494501150328 140494647751377 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25602] ppid=25339 vsize=13185584 CPUtime=106.74 cores=1,3,5,7 /proc/25341/task/25602/stat : 25602 (java) R 25339 25339 2911 0 -1 4202560 2950 0 0 0 10674 0 0 0 20 0 19 0 109413436 13502038016 995711 18446744073709551615 4194304 4196468 140725188653840 140494500098528 140494646852017 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 Current children cumulated CPU time (s) 1935.2 Current children cumulated vsize (KiB) 13195096 [startup+642.301 s] /proc/loadavg: 7.62 7.28 7.16 7/224 25614 /proc/meminfo: memFree=23593728/32770624 swapFree=0/376284 [pid=25339] ppid=25336 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/25339/stat : 25339 (xcsp3-exec) S 25336 25339 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 109365983 9740288 345 18446744073709551615 4194304 5098028 140730971280000 140730971278104 140612491108988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 23281664 140730971287962 140730971288170 140730971288170 140730971291627 0 /proc/25339/statm: 2378 345 289 221 0 87 0 [pid=25341] ppid=25339 vsize=13185584 CPUtime=2174.24 cores=1,3,5,7 /proc/25341/stat : 25341 (java) S 25339 25339 2911 0 -1 1077944320 249642 0 0 0 217148 276 0 0 20 0 19 0 109365991 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140725188636384 140495035584247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 /proc/25341/statm: 3296396 977486 3270 1 0 3284688 0 [pid=25341/tid=25342] ppid=25339 vsize=13185584 CPUtime=2.97 cores=1,3,5,7 /proc/25341/task/25342/stat : 25342 (java) S 25339 25339 2911 0 -1 1077944384 12199 0 0 0 286 11 0 0 20 0 19 0 109365991 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140495039825024 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25343] ppid=25339 vsize=13185584 CPUtime=2.15 cores=1,3,5,7 /proc/25341/task/25343/stat : 25343 (java) S 25339 25339 2911 0 -1 1077944384 7451 0 0 0 182 33 0 0 20 0 19 0 109365992 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494958410256 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25344] ppid=25339 vsize=13185584 CPUtime=2.14 cores=1,3,5,7 /proc/25341/task/25344/stat : 25344 (java) S 25339 25339 2911 0 -1 1077944384 9299 0 0 0 182 32 0 0 20 0 19 0 109365992 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494638148240 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25345] ppid=25339 vsize=13185584 CPUtime=2.14 cores=1,3,5,7 /proc/25341/task/25345/stat : 25345 (java) S 25339 25339 2911 0 -1 1077944384 6884 0 0 0 181 33 0 0 20 0 19 0 109365992 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494637095184 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25346] ppid=25339 vsize=13185584 CPUtime=2.12 cores=1,3,5,7 /proc/25341/task/25346/stat : 25346 (java) S 25339 25339 2911 0 -1 1077944384 8609 0 0 0 180 32 0 0 20 0 19 0 109365992 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494636042640 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25347] ppid=25339 vsize=13185584 CPUtime=0.98 cores=1,3,5,7 /proc/25341/task/25347/stat : 25347 (java) S 25339 25339 2911 0 -1 1077944384 14035 0 0 0 40 58 0 0 20 0 19 0 109365993 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494519692016 140495035595394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25348] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25348/stat : 25348 (java) S 25339 25339 2911 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 109365994 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494518638304 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25349] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25349/stat : 25349 (java) S 25339 25339 2911 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 109365994 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494517585152 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25350] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25350/stat : 25350 (java) S 25339 25339 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109365996 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494516533712 140495035602843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25351] ppid=25339 vsize=13185584 CPUtime=4.63 cores=1,3,5,7 /proc/25341/task/25351/stat : 25351 (java) S 25339 25339 2911 0 -1 1077944384 36495 0 0 0 461 2 0 0 20 0 19 0 109365996 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494515480816 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25352] ppid=25339 vsize=13185584 CPUtime=4.63 cores=1,3,5,7 /proc/25341/task/25352/stat : 25352 (java) S 25339 25339 2911 0 -1 1077944384 31258 0 0 0 460 3 0 0 20 0 19 0 109365996 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494514428272 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25353] ppid=25339 vsize=13185584 CPUtime=1 cores=1,3,5,7 /proc/25341/task/25353/stat : 25353 (java) S 25339 25339 2911 0 -1 1077944384 23299 0 0 0 98 2 0 0 20 0 19 0 109365996 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494513375216 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25354] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25354/stat : 25354 (java) S 25339 25339 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109365997 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494512322912 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25355] ppid=25339 vsize=13185584 CPUtime=0.4 cores=1,3,5,7 /proc/25341/task/25355/stat : 25355 (java) S 25339 25339 2911 0 -1 1077944384 3472 0 0 0 15 25 0 0 20 0 19 0 109366001 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494511270960 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25599] ppid=25339 vsize=13185584 CPUtime=166.1 cores=1,3,5,7 /proc/25341/task/25599/stat : 25599 (java) R 25339 25339 2911 0 -1 4202560 1246 0 0 0 16609 1 0 0 20 0 19 0 109413436 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494502202232 140494647751115 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25600] ppid=25339 vsize=13185584 CPUtime=166.57 cores=1,3,5,7 /proc/25341/task/25600/stat : 25600 (java) R 25339 25339 2911 0 -1 4202560 10277 0 0 0 16655 2 0 0 20 0 19 0 109413436 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494503257800 140494647661362 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25601] ppid=25339 vsize=13185584 CPUtime=167.35 cores=1,3,5,7 /proc/25341/task/25601/stat : 25601 (java) R 25339 25339 2911 0 -1 4202560 2037 0 0 0 16734 1 0 0 20 0 19 0 109413436 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494501150080 140494647751389 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25602] ppid=25339 vsize=13185584 CPUtime=166.64 cores=1,3,5,7 /proc/25341/task/25602/stat : 25602 (java) R 25339 25339 2911 0 -1 4202560 3378 0 0 0 16663 1 0 0 20 0 19 0 109413436 13502038016 977486 18446744073709551615 4194304 4196468 140725188653840 140494500098664 140494646852121 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 Current children cumulated CPU time (s) 2174.24 Current children cumulated vsize (KiB) 13195096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+699.001 s] /proc/loadavg: 7.95 7.43 7.22 9/224 25616 /proc/meminfo: memFree=23700040/32770624 swapFree=0/376296 [pid=25339] ppid=25336 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/25339/stat : 25339 (xcsp3-exec) S 25336 25339 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 109365983 9740288 345 18446744073709551615 4194304 5098028 140730971280000 140730971278104 140612491108988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 23281664 140730971287962 140730971288170 140730971288170 140730971291627 0 /proc/25339/statm: 2378 345 289 221 0 87 0 [pid=25341] ppid=25339 vsize=13185584 CPUtime=2400.03 cores=1,3,5,7 /proc/25341/stat : 25341 (java) S 25339 25339 2911 0 -1 1077944320 255740 0 0 0 239714 289 0 0 20 0 19 0 109365991 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140725188636384 140495035584247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 /proc/25341/statm: 3296396 936687 3270 1 0 3284688 0 [pid=25341/tid=25342] ppid=25339 vsize=13185584 CPUtime=2.97 cores=1,3,5,7 /proc/25341/task/25342/stat : 25342 (java) S 25339 25339 2911 0 -1 1077944384 12199 0 0 0 286 11 0 0 20 0 19 0 109365991 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140495039825024 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25343] ppid=25339 vsize=13185584 CPUtime=2.18 cores=1,3,5,7 /proc/25341/task/25343/stat : 25343 (java) S 25339 25339 2911 0 -1 1077944384 7603 0 0 0 185 33 0 0 20 0 19 0 109365992 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494958410256 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25344] ppid=25339 vsize=13185584 CPUtime=2.17 cores=1,3,5,7 /proc/25341/task/25344/stat : 25344 (java) S 25339 25339 2911 0 -1 1077944384 9479 0 0 0 185 32 0 0 20 0 19 0 109365992 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494638148240 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25345] ppid=25339 vsize=13185584 CPUtime=2.18 cores=1,3,5,7 /proc/25341/task/25345/stat : 25345 (java) S 25339 25339 2911 0 -1 1077944384 7691 0 0 0 184 34 0 0 20 0 19 0 109365992 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494637095184 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25346] ppid=25339 vsize=13185584 CPUtime=2.15 cores=1,3,5,7 /proc/25341/task/25346/stat : 25346 (java) S 25339 25339 2911 0 -1 1077944384 8790 0 0 0 182 33 0 0 20 0 19 0 109365992 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494636042640 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25347] ppid=25339 vsize=13185584 CPUtime=1.12 cores=1,3,5,7 /proc/25341/task/25347/stat : 25347 (java) S 25339 25339 2911 0 -1 1077944384 14309 0 0 0 42 70 0 0 20 0 19 0 109365993 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494519692016 140495035595394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25348] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25348/stat : 25348 (java) S 25339 25339 2911 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 109365994 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494518638304 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25349] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25349/stat : 25349 (java) S 25339 25339 2911 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 109365994 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494517585152 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25350] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25350/stat : 25350 (java) S 25339 25339 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109365996 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494516533712 140495035602843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25351] ppid=25339 vsize=13185584 CPUtime=4.63 cores=1,3,5,7 /proc/25341/task/25351/stat : 25351 (java) S 25339 25339 2911 0 -1 1077944384 36905 0 0 0 461 2 0 0 20 0 19 0 109365996 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494515480816 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25352] ppid=25339 vsize=13185584 CPUtime=4.63 cores=1,3,5,7 /proc/25341/task/25352/stat : 25352 (java) S 25339 25339 2911 0 -1 1077944384 31534 0 0 0 460 3 0 0 20 0 19 0 109365996 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494514428272 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25353] ppid=25339 vsize=13185584 CPUtime=1 cores=1,3,5,7 /proc/25341/task/25353/stat : 25353 (java) S 25339 25339 2911 0 -1 1077944384 23935 0 0 0 98 2 0 0 20 0 19 0 109365996 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494513375216 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25354] ppid=25339 vsize=13185584 CPUtime=0 cores=1,3,5,7 /proc/25341/task/25354/stat : 25354 (java) S 25339 25339 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109365997 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494512322912 140495035594453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25355] ppid=25339 vsize=13185584 CPUtime=0.43 cores=1,3,5,7 /proc/25341/task/25355/stat : 25355 (java) S 25339 25339 2911 0 -1 1077944384 3510 0 0 0 16 27 0 0 20 0 19 0 109366001 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494511270960 140495035595394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25599] ppid=25339 vsize=13185584 CPUtime=222.42 cores=1,3,5,7 /proc/25341/task/25599/stat : 25599 (java) R 25339 25339 2911 0 -1 4202560 1552 0 0 0 22241 1 0 0 20 0 19 0 109413436 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494502202064 140494647750955 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25600] ppid=25339 vsize=13185584 CPUtime=222.77 cores=1,3,5,7 /proc/25341/task/25600/stat : 25600 (java) R 25339 25339 2911 0 -1 4202560 12379 0 0 0 22274 3 0 0 20 0 19 0 109413436 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494503255832 140494648569528 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25601] ppid=25339 vsize=13185584 CPUtime=223.81 cores=1,3,5,7 /proc/25341/task/25601/stat : 25601 (java) R 25339 25339 2911 0 -1 4202560 2468 0 0 0 22380 1 0 0 20 0 19 0 109413436 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494501149992 140494647751357 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 [pid=25341/tid=25602] ppid=25339 vsize=13185584 CPUtime=223.14 cores=1,3,5,7 /proc/25341/task/25602/stat : 25602 (java) R 25339 25339 2911 0 -1 4202560 3683 0 0 0 22313 1 0 0 20 0 19 0 109413436 13502038016 936687 18446744073709551615 4194304 4196468 140725188653840 140494500098528 140494646852527 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28336128 140725188657622 140725188657798 140725188657798 140725188661199 0 Current children cumulated CPU time (s) 2400.03 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 25341 sig 9 ??? kill 25339 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 25339 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1242 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=621 # CPU time returned by wait4() is 0.001863 # while last known CPU time is 2400.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 699.032 CPU time (s): 2400.03 CPU user time (s): 2397.14 CPU system time (s): 2.89 CPU usage (%): 343.336 Max. virtual memory (cumulated for all children) (KiB): 13195096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001242 system time used= 0.000621 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.38353 second user time and 5.74565 second system time The end
Begin job on node132 at 2017-08-07 10:57:47 IDJOB=4248698 IDBENCH=140592 IDSOLVER=2626 FILE ID=node132/4248698-1502097128 RUNJOBID= node132-1502078046-15622 PBS_JOBID= Free space on /tmp= 62020 MiB SOLVER NAME= choco-solver 5a 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-4248698-1502097128/watcher-4248698-1502097128 -o /tmp/evaluation-result-4248698-1502097128/solver-4248698-1502097128 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15622 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 85148895 HOME/instance-4248698-1502097128.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b40b46819fbd3a38fcaaee2fdd389509 RANDOM SEED=85148895 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: 27636920 kB MemAvailable: 28206340 kB Buffers: 233388 kB Cached: 634388 kB SwapCached: 0 kB Active: 4292892 kB Inactive: 408616 kB Active(anon): 3834520 kB Inactive(anon): 32628 kB Active(file): 458372 kB Inactive(file): 375988 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8580 kB Writeback: 8 kB AnonPages: 3833344 kB Mapped: 61844 kB Shmem: 33468 kB Slab: 128420 kB SReclaimable: 101788 kB SUnreclaim: 26632 kB KernelStack: 3568 kB PageTables: 12744 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4760092 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3710976 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= 62012 MiB End job on node132 at 2017-08-07 11:09:26