Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: OscaR - Hybrid 2017-06-30 | SAT (TO) | 1406 | 2400.08 | 2295.54 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml |
| MD5SUM | 994883c0320da003cf1ede0b66369d8b |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 725 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2550 |
| Number of constraints | 2499 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":50},{"size":2,"count":2450},{"size":101,"count":49}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 97 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":50},{"degree":2,"count":98},{"degree":4,"count":2352},{"degree":97,"count":49}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 49 |
| Distribution of constraint arities | [{"arity":1,"count":49},{"arity":3,"count":2352},{"arity":49,"count":98}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 49 |
| Distribution of constraint types | [{"type":"intension","count":49},{"type":"sum","count":2352},{"type":"count","count":98}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.42/0.30 c version: 2017-06-30 0.42/0.30 c seed: 1414732987 0.42/0.30 c timeout: 2400 0.42/0.30 c memlimit: 15500 0.42/0.30 c nbcore: 8 0.42/0.32 c Parsing instance... 3.90/1.31 c Parsing done, starting first complete search... 3.90/1.40 o 1520 4.31/1.43 o 1511 4.31/1.47 o 1486 4.31/1.49 o 1475 5.15/1.60 o 1473 5.15/1.62 o 1463 5.15/1.63 o 1455 5.15/1.67 o 1449 5.15/1.68 o 1439 5.15/1.69 o 1417 5.85/1.81 o 1414 5.85/1.82 o 1406 7.52/3.33 c First complete search done, starting ALNS search... 1753.02/1679.11 c ALNS done, starting second complete search 2400.02/2295.50 s SATISFIABLE 2400.02/2295.51 v <instantiation> 2400.02/2295.51 v <list> 2400.02/2295.51 v x[0][0] 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[0][47] x[0][48] x[0][49] x[1][0] x[1][1] 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[1][47] x[1][48] x[1][49] x[2][0] x[2][1] x[2][2] 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[2][47] x[2][48] x[2][49] x[3][0] x[3][1] x[3][2] x[3][3] 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[3][47] x[3][48] x[3][49] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] 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[4][47] x[4][48] x[4][49] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] 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[5][47] x[5][48] x[5][49] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] 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[6][47] x[6][48] x[6][49] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] 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[7][47] x[7][48] x[7][49] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] 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[8][47] x[8][48] x[8][49] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] 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[9][47] x[9][48] x[9][49] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] 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[10][47] x[10][48] x[10][49] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] 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[11][47] x[11][48] x[11][49] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] 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[12][47] x[12][48] x[12][49] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] 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[13][47] x[13][48] x[13][49] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] 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[14][47] x[14][48] x[14][49] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] 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[15][47] x[15][48] x[15][49] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] 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[16][47] x[16][48] x[16][49] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] 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[17][47] x[17][48] x[17][49] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] 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[18][47] x[18][48] x[18][49] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] 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[19][47] x[19][48] x[19][49] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] 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[20][47] x[20][48] x[20][49] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] 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[21][47] x[21][48] x[21][49] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] 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[22][47] x[22][48] x[22][49] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] 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[23][47] x[23][48] x[23][49] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] 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[24][47] x[24][48] x[24][49] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] 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[25][47] x[25][48] x[25][49] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] 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[26][47] x[26][48] x[26][49] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] 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[27][47] x[27][48] x[27][49] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] 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[28][47] x[28][48] x[28][49] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] 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[29][47] x[29][48] x[29][49] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] 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[30][47] x[30][48] x[30][49] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] 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[31][47] x[31][48] x[31][49] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] 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[32][47] x[32][48] x[32][49] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] 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[33][47] x[33][48] x[33][49] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] 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[34][47] x[34][48] x[34][49] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] 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[35][47] x[35][48] x[35][49] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] 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[36][47] x[36][48] x[36][49] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] 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[37][47] x[37][48] x[37][49] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] 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[38][47] x[38][48] x[38][49] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] 2400.02/2295.51 v </list> 2400.02/2295.51 v <values> 2400.02/2295.51 v 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 55 14 100 21 61 100 100 88 100 58 100 66 70 28 47 22 81 84 88 59 100 69 74 95 34 100 84 100 83 80 42 49 54 68 100 63 58 55 35 95 63 39 38 52 85 87 29 100 2400.02/2295.51 v </values> 2400.02/2295.51 v </instantiation>
OK 1406
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-4246370-1500703329/watcher-4246370-1500703329 -o /tmp/evaluation-result-4246370-1500703329/solver-4246370-1500703329 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500696956-15262 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1414732987 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246370-1500703329.xml pid=15993 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.35 1.53 1.61 3/262 15996 /proc/meminfo: memFree=30045912/32770624 swapFree=5800/297568 [pid=15996] ppid=15993 vsize=10621200 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/stat : 15996 (java) S 15993 15996 7621 0 -1 1077944320 1786 0 0 0 0 0 0 0 20 0 2 0 5600682 10876108800 2037 33554432000 4194304 4196468 140728838587936 140728838570480 140497660968695 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 /proc/15996/statm: 2655300 2037 1173 1 0 2644211 0 [pid=15996/tid=15997] ppid=15993 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15997/stat : 15997 (java) R 15993 15996 7621 0 -1 4202560 611 0 0 0 0 0 0 0 20 0 2 0 5600682 10889764864 2168 33554432000 4194304 4196468 140728838587936 140497665210784 140497653258144 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [startup+0.100154 s] /proc/loadavg: 1.35 1.53 1.61 3/262 15996 /proc/meminfo: memFree=30045912/32770624 swapFree=5800/297568 [pid=15996] ppid=15993 vsize=13261040 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/15996/stat : 15996 (java) S 15993 15996 7621 0 -1 1077944320 5806 0 0 0 8 1 0 0 20 0 20 0 5600682 13579304960 5578 33554432000 4194304 4196468 140728838587936 140728838570480 140497660968695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 /proc/15996/statm: 3315260 5578 2595 1 0 3303698 0 [pid=15996/tid=15997] ppid=15993 vsize=13261040 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15997/stat : 15997 (java) R 15993 15996 7621 0 -1 4202560 3871 0 0 0 7 1 0 0 20 0 20 0 5600682 13579304960 5578 33554432000 4194304 4196468 140728838587936 140497665204464 140497642545536 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13261040 [startup+0.200456 s] /proc/loadavg: 1.35 1.53 1.61 3/262 15996 /proc/meminfo: memFree=30045912/32770624 swapFree=5800/297568 [pid=15996] ppid=15993 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/15996/stat : 15996 (java) S 15993 15996 7621 0 -1 1077944320 8895 0 0 0 24 2 0 0 20 0 20 0 5600682 13582245888 8953 33554432000 4194304 4196468 140728838587936 140728838570480 140497660968695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 /proc/15996/statm: 3315978 8953 3563 1 0 3303698 0 [pid=15996/tid=15997] ppid=15993 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15997/stat : 15997 (java) R 15993 15996 7621 0 -1 4202560 6616 0 0 0 16 1 0 0 20 0 20 0 5600682 13582245888 8953 33554432000 4194304 4196468 140728838587936 140497665150272 140497660980630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 13263912 [startup+0.300405 s] /proc/loadavg: 1.35 1.53 1.61 3/262 15996 /proc/meminfo: memFree=30045912/32770624 swapFree=5800/297568 [pid=15996] ppid=15993 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15 /proc/15996/stat : 15996 (java) S 15993 15996 7621 0 -1 1077944320 9948 0 0 0 40 2 0 0 20 0 20 0 5600682 13582245888 11235 33554432000 4194304 4196468 140728838587936 140728838570480 140497660968695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 /proc/15996/statm: 3315978 11235 3644 1 0 3303698 0 [pid=15996/tid=15997] ppid=15993 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15997/stat : 15997 (java) R 15993 15996 7621 0 -1 4202560 7351 0 0 0 26 2 0 0 20 0 20 0 5600682 13582245888 11235 33554432000 4194304 4196468 140728838587936 140497665178208 140497645049182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 13263912 [startup+0.700323 s] /proc/loadavg: 1.35 1.53 1.61 3/262 15996 /proc/meminfo: memFree=30045912/32770624 swapFree=5800/297568 [pid=15996] ppid=15993 vsize=13265980 CPUtime=1.55 cores=1,3,5,7,9,11,13,15 /proc/15996/stat : 15996 (java) S 15993 15996 7621 0 -1 1077944320 14252 0 0 0 151 4 0 0 20 0 20 0 5600682 13584363520 22619 33554432000 4194304 4196468 140728838587936 140728838570480 140497660968695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 /proc/15996/statm: 3316495 22619 3773 1 0 3304210 0 [pid=15996/tid=15997] ppid=15993 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15997/stat : 15997 (java) R 15993 15996 7621 0 -1 4202560 8514 0 0 0 64 3 0 0 20 0 20 0 5600682 13584363520 22619 33554432000 4194304 4196468 140728838587936 140497665199848 140497645049182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 Current children cumulated CPU time (s) 1.55 Current children cumulated vsize (KiB) 13265980 [startup+1.50115 s] /proc/loadavg: 1.35 1.53 1.61 7/282 16016 /proc/meminfo: memFree=29934740/32770624 swapFree=5800/297556 [pid=15996] ppid=15993 vsize=13270076 CPUtime=4.75 cores=1,3,5,7,9,11,13,15 /proc/15996/stat : 15996 (java) S 15993 15996 7621 0 -1 1077944320 27906 0 0 0 466 9 0 0 20 0 20 0 5600682 13588557824 46884 33554432000 4194304 4196468 140728838587936 140728838570480 140497660968695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 /proc/15996/statm: 3317519 46884 3794 1 0 3305234 0 [pid=15996/tid=15997] ppid=15993 vsize=13270076 CPUtime=1.47 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15997/stat : 15997 (java) R 15993 15996 7621 0 -1 4202560 11596 0 0 0 141 6 0 0 20 0 20 0 5600682 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497665205768 140497259195888 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=15999] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15999/stat : 15999 (java) S 15993 15996 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5600683 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497579448976 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16000] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16000/stat : 16000 (java) S 15993 15996 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5600683 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497578396176 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16001] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16001/stat : 16001 (java) S 15993 15996 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5600683 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497577343376 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16002] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16002/stat : 16002 (java) S 15993 15996 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5600683 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497576290576 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16003] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16003/stat : 16003 (java) S 15993 15996 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5600683 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497575238800 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16004] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16004/stat : 16004 (java) S 15993 15996 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5600683 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497255394320 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16005] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16005/stat : 16005 (java) S 15993 15996 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5600683 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497254341520 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16006] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16006/stat : 16006 (java) S 15993 15996 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5600683 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497253288720 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16007] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16007/stat : 16007 (java) S 15993 15996 7621 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 5600685 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497124710768 140497660979842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16008] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16008/stat : 16008 (java) S 15993 15996 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5600686 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497123656736 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16009] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16009/stat : 16009 (java) S 15993 15996 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5600686 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497122603888 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16010] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16010/stat : 16010 (java) S 15993 15996 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5600690 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497121552208 140497660987291 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16011] ppid=15993 vsize=13270076 CPUtime=0.81 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16011/stat : 16011 (java) R 15993 15996 7621 0 -1 4202560 3086 0 0 0 81 0 0 0 20 0 20 0 5600690 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497120487024 140497660990042 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16012] ppid=15993 vsize=13270076 CPUtime=0.82 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16012/stat : 16012 (java) R 15993 15996 7621 0 -1 4202560 3567 0 0 0 81 1 0 0 20 0 20 0 5600690 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497119433816 140497644525109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16013] ppid=15993 vsize=13270076 CPUtime=0.85 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16013/stat : 16013 (java) R 15993 15996 7621 0 -1 4202560 3578 0 0 0 84 1 0 0 20 0 20 0 5600690 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497118382632 140497640622896 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16014] ppid=15993 vsize=13270076 CPUtime=0.76 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16014/stat : 16014 (java) S 15993 15996 7621 0 -1 1077944384 4665 0 0 0 76 0 0 0 20 0 20 0 5600690 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497117342192 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16015] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16015/stat : 16015 (java) S 15993 15996 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5600690 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497116289632 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16016] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16016/stat : 16016 (java) S 15993 15996 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5600691 13588557824 46884 33554432000 4194304 4196468 140728838587936 140497115236912 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 Current children cumulated CPU time (s) 4.75 Current children cumulated vsize (KiB) 13270076 [startup+3.10083 s] /proc/loadavg: 1.35 1.53 1.61 3/282 16016 /proc/meminfo: memFree=29822888/32770624 swapFree=5800/297556 [pid=15996] ppid=15993 vsize=13270076 CPUtime=7.31 cores=1,3,5,7,9,11,13,15 /proc/15996/stat : 15996 (java) S 15993 15996 7621 0 -1 1077944320 30529 0 0 0 711 20 0 0 20 0 20 0 5600682 13588557824 60128 33554432000 4194304 4196468 140728838587936 140728838570480 140497660968695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 /proc/15996/statm: 3317519 60128 3818 1 0 3305234 0 [pid=15996/tid=15997] ppid=15993 vsize=13270076 CPUtime=3.04 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15997/stat : 15997 (java) R 15993 15996 7621 0 -1 4202560 11897 0 0 0 298 6 0 0 20 0 20 0 5600682 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497665204016 140497264573280 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=15999] ppid=15993 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15999/stat : 15999 (java) S 15993 15996 7621 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 20 0 5600683 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497579448976 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16000] ppid=15993 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16000/stat : 16000 (java) S 15993 15996 7621 0 -1 1077944384 217 0 0 0 0 1 0 0 20 0 20 0 5600683 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497578396176 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16001] ppid=15993 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16001/stat : 16001 (java) S 15993 15996 7621 0 -1 1077944384 31 0 0 0 0 1 0 0 20 0 20 0 5600683 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497577343376 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16002] ppid=15993 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16002/stat : 16002 (java) S 15993 15996 7621 0 -1 1077944384 14 0 0 0 0 1 0 0 20 0 20 0 5600683 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497576290576 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16003] ppid=15993 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16003/stat : 16003 (java) S 15993 15996 7621 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 20 0 5600683 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497575238800 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16004] ppid=15993 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16004/stat : 16004 (java) S 15993 15996 7621 0 -1 1077944384 60 0 0 0 0 1 0 0 20 0 20 0 5600683 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497255394320 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16005] ppid=15993 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16005/stat : 16005 (java) S 15993 15996 7621 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 20 0 5600683 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497254341520 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16006] ppid=15993 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16006/stat : 16006 (java) S 15993 15996 7621 0 -1 1077944384 13 0 0 0 0 1 0 0 20 0 20 0 5600683 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497253288720 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16007] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16007/stat : 16007 (java) S 15993 15996 7621 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 20 0 5600685 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497124710768 140497660979842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16008] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16008/stat : 16008 (java) S 15993 15996 7621 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5600686 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497123656800 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16009] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16009/stat : 16009 (java) S 15993 15996 7621 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 5600686 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497122603888 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16010] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16010/stat : 16010 (java) S 15993 15996 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5600690 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497121552208 140497660987291 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16011] ppid=15993 vsize=13270076 CPUtime=1.13 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16011/stat : 16011 (java) S 15993 15996 7621 0 -1 1077944384 3714 0 0 0 113 0 0 0 20 0 20 0 5600690 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497120500592 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16012] ppid=15993 vsize=13270076 CPUtime=1.06 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16012/stat : 16012 (java) S 15993 15996 7621 0 -1 1077944384 3628 0 0 0 105 1 0 0 20 0 20 0 5600690 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497119447792 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16013] ppid=15993 vsize=13270076 CPUtime=1.06 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16013/stat : 16013 (java) S 15993 15996 7621 0 -1 1077944384 3968 0 0 0 105 1 0 0 20 0 20 0 5600690 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497118394992 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16014] ppid=15993 vsize=13270076 CPUtime=0.79 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16014/stat : 16014 (java) S 15993 15996 7621 0 -1 1077944384 5256 0 0 0 79 0 0 0 20 0 20 0 5600690 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497117342192 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16015] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16015/stat : 16015 (java) S 15993 15996 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5600690 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497116289632 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16016] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16016/stat : 16016 (java) S 15993 15996 7621 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 5600691 13588557824 60128 33554432000 4194304 4196468 140728838587936 140497115236912 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 Current children cumulated CPU time (s) 7.31 Current children cumulated vsize (KiB) 13270076 [startup+6.30153 s] /proc/loadavg: 1.88 1.64 1.64 10/282 16016 /proc/meminfo: memFree=29624664/32770624 swapFree=5800/297564 [pid=15996] ppid=15993 vsize=13270076 CPUtime=11.88 cores=1,3,5,7,9,11,13,15 /proc/15996/stat : 15996 (java) S 15993 15996 7621 0 -1 1077944320 35064 0 0 0 1114 74 0 0 20 0 20 0 5600682 13588557824 169790 33554432000 4194304 4196468 140728838587936 140728838570480 140497660968695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 /proc/15996/statm: 3317519 169790 3832 1 0 3305234 0 [pid=15996/tid=15997] ppid=15993 vsize=13270076 CPUtime=5.79 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15997/stat : 15997 (java) R 15993 15996 7621 0 -1 4202560 13545 0 0 0 569 10 0 0 20 0 20 0 5600682 13588557824 169790 33554432000 4194304 4196468 140728838587936 140497665205808 140497264573388 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=15999] ppid=15993 vsize=13270076 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15999/stat : 15999 (java) S 15993 15996 7621 0 -1 1077944384 129 0 0 0 7 7 0 0 20 0 20 0 5600683 13588557824 169790 33554432000 4194304 4196468 140728838587936 140497579448976 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16000] ppid=15993 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16000/stat : 16000 (java) S 15993 15996 7621 0 -1 1077944384 276 0 0 0 6 7 0 0 20 0 20 0 5600683 13588557824 169790 33554432000 4194304 4196468 140728838587936 140497578396176 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16001] ppid=15993 vsize=13270076 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16001/stat : 16001 (java) S 15993 15996 7621 0 -1 1077944384 90 0 0 0 7 7 0 0 20 0 20 0 5600683 13588557824 169790 33554432000 4194304 4196468 140728838587936 140497577343376 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16002] ppid=15993 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16002/stat : 16002 (java) S 15993 15996 7621 0 -1 1077944384 107 0 0 0 7 6 0 0 20 0 20 0 5600683 13588557824 169790 33554432000 4194304 4196468 140728838587936 140497576290576 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16003] ppid=15993 vsize=13270076 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16003/stat : 16003 (java) S 15993 15996 7621 0 -1 1077944384 1033 0 0 0 7 7 0 0 20 0 20 0 5600683 13588557824 169790 33554432000 4194304 4196468 140728838587936 140497575238800 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16004] ppid=15993 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16004/stat : 16004 (java) S 15993 15996 7621 0 -1 1077944384 147 0 0 0 6 7 0 0 20 0 20 0 5600683 13588557824 169790 33554432000 4194304 4196468 140728838587936 140497255394320 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16005] ppid=15993 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16005/stat : 16005 (java) S 15993 15996 7621 0 -1 1077944384 132 0 0 0 7 6 0 0 20 0 20 0 5600683 13588557824 169790 33554432000 4194304 4196468 140728838587936 140497254341520 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16006] ppid=15993 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16006/stat : 16006 (java) S 15993 15996 7621 0 -1 1077944384 90 0 0 0 6 7 0 0 20 0 20 0 5600683 13588557824 169790 33554432000 4194304 4196468 140728838587936 140497253288720 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16007] ppid=15993 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16007/stat : 16007 (java) S 15993 15996 7621 0 -1 1077944384 725 0 0 0 2 0 0 0 20 0 20 0 5600685 13588557824 169790 33554432000 4194304 4196468 140728838587936 140497124710768 140497660979842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16008] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16008/stat : 16008 (java) S 15993 15996 7621 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5600686 13588557824 169790 33554432000 4194304 4196468 140728838587936 140497123656800 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16009] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16009/stat : 16009 (java) S 15993 15996 7621 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 5600686 13588557824 169790 33554432000 4194304 4196468 140728838587936 140497122603904 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16010] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=15996/tid=16012] ppid=15993 vsize=13270076 CPUtime=1.68 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16012/stat : 16012 (java) S 15993 15996 7621 0 -1 1077944384 10515 0 0 0 165 3 0 0 20 0 20 0 5600690 13588557824 353039 33554432000 4194304 4196468 140728838587936 140497119447792 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 58 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16013] ppid=15993 vsize=13270076 CPUtime=1.96 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16013/stat : 16013 (java) S 15993 15996 7621 0 -1 1077944384 13199 0 0 0 194 2 0 0 20 0 20 0 5600690 13588557824 353039 33554432000 4194304 4196468 140728838587936 140497118394992 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 39 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16014] ppid=15993 vsize=13270076 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16014/stat : 16014 (java) S 15993 15996 7621 0 -1 1077944384 24467 0 0 0 110 2 0 0 20 0 20 0 5600690 13588557824 353039 33554432000 4194304 4196468 140728838587936 140497117342192 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 59 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16015] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16015/stat : 16015 (java) S 15993 15996 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5600690 13588557824 353039 33554432000 4194304 4196468 140728838587936 140497116289632 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16016] ppid=15993 vsize=13270076 CPUtime=1.16 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16016/stat : 16016 (java) S 15993 15996 7621 0 -1 1077944384 1722 0 0 0 55 61 0 0 20 0 20 0 5600691 13588557824 353039 33554432000 4194304 4196468 140728838587936 140497115236912 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 57 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 Current children cumulated CPU time (s) 2302.12 Current children cumulated vsize (KiB) 13270076 [startup+2262.3 s] /proc/loadavg: 1.53 1.54 1.54 3/281 16165 /proc/meminfo: memFree=30000856/32770624 swapFree=5800/299664 [pid=15996] ppid=15993 vsize=13270076 CPUtime=2364.93 cores=1,3,5,7,9,11,13,15 /proc/15996/stat : 15996 (java) S 15993 15996 7621 0 -1 1077944320 324231 0 0 0 235964 529 0 0 20 0 20 0 5600682 13588557824 330324 33554432000 4194304 4196468 140728838587936 140728838570480 140497660968695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 /proc/15996/statm: 3317519 330324 3860 1 0 3305234 0 [pid=15996/tid=15997] ppid=15993 vsize=13270076 CPUtime=2243.25 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15997/stat : 15997 (java) R 15993 15996 7621 0 -1 4202560 101079 0 0 0 224248 77 0 0 20 0 20 0 5600682 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497665206832 140497265129968 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=15999] ppid=15993 vsize=13270076 CPUtime=13.82 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15999/stat : 15999 (java) S 15993 15996 7621 0 -1 1077944384 13271 0 0 0 1337 45 0 0 20 0 20 0 5600683 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497579448976 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16000] ppid=15993 vsize=13270076 CPUtime=13.89 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16000/stat : 16000 (java) S 15993 15996 7621 0 -1 1077944384 12338 0 0 0 1346 43 0 0 20 0 20 0 5600683 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497578396176 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16001] ppid=15993 vsize=13270076 CPUtime=14.09 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16001/stat : 16001 (java) S 15993 15996 7621 0 -1 1077944384 13176 0 0 0 1363 46 0 0 20 0 20 0 5600683 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497577343376 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16002] ppid=15993 vsize=13270076 CPUtime=14.13 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16002/stat : 16002 (java) S 15993 15996 7621 0 -1 1077944384 13872 0 0 0 1369 44 0 0 20 0 20 0 5600683 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497576290576 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16003] ppid=15993 vsize=13270076 CPUtime=14.08 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16003/stat : 16003 (java) S 15993 15996 7621 0 -1 1077944384 12284 0 0 0 1362 46 0 0 20 0 20 0 5600683 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497575238800 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16004] ppid=15993 vsize=13270076 CPUtime=13.97 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16004/stat : 16004 (java) S 15993 15996 7621 0 -1 1077944384 11831 0 0 0 1351 46 0 0 20 0 20 0 5600683 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497255394320 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16005] ppid=15993 vsize=13270076 CPUtime=14.14 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16005/stat : 16005 (java) S 15993 15996 7621 0 -1 1077944384 14302 0 0 0 1366 48 0 0 20 0 20 0 5600683 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497254341520 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16006] ppid=15993 vsize=13270076 CPUtime=13.88 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16006/stat : 16006 (java) S 15993 15996 7621 0 -1 1077944384 12396 0 0 0 1344 44 0 0 20 0 20 0 5600683 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497253288720 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16007] ppid=15993 vsize=13270076 CPUtime=1.76 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16007/stat : 16007 (java) S 15993 15996 7621 0 -1 1077944384 57069 0 0 0 139 37 0 0 20 0 20 0 5600685 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497124710768 140497660979842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16008] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16008/stat : 16008 (java) S 15993 15996 7621 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 5600686 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497123656800 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16009] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16009/stat : 16009 (java) S 15993 15996 7621 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 20 0 5600686 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497122603904 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16010] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16010/stat : 16010 (java) S 15993 15996 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5600690 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497121552208 140497660987291 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16011] ppid=15993 vsize=13270076 CPUtime=1.83 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16011/stat : 16011 (java) S 15993 15996 7621 0 -1 1077944384 11198 0 0 0 182 1 0 0 20 0 20 0 5600690 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497120500592 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 31 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16012] ppid=15993 vsize=13270076 CPUtime=1.68 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16012/stat : 16012 (java) S 15993 15996 7621 0 -1 1077944384 10517 0 0 0 165 3 0 0 20 0 20 0 5600690 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497119447792 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 58 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16013] ppid=15993 vsize=13270076 CPUtime=1.96 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16013/stat : 16013 (java) S 15993 15996 7621 0 -1 1077944384 13201 0 0 0 194 2 0 0 20 0 20 0 5600690 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497118394992 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 39 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16014] ppid=15993 vsize=13270076 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16014/stat : 16014 (java) S 15993 15996 7621 0 -1 1077944384 24469 0 0 0 110 2 0 0 20 0 20 0 5600690 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497117342192 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 59 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16015] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16015/stat : 16015 (java) S 15993 15996 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5600690 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497116289632 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16016] ppid=15993 vsize=13270076 CPUtime=1.2 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16016/stat : 16016 (java) S 15993 15996 7621 0 -1 1077944384 1752 0 0 0 57 63 0 0 20 0 20 0 5600691 13588557824 330324 33554432000 4194304 4196468 140728838587936 140497115236912 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 57 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 Current children cumulated CPU time (s) 2364.93 Current children cumulated vsize (KiB) 13270076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2295.5 s] /proc/loadavg: 1.39 1.50 1.53 3/281 16173 /proc/meminfo: memFree=30045412/32770624 swapFree=5800/299708 [pid=15996] ppid=15993 vsize=13270076 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15 /proc/15996/stat : 15996 (java) S 15993 15996 7621 0 -1 1077944320 328028 0 0 0 239470 532 0 0 20 0 20 0 5600682 13588557824 319206 33554432000 4194304 4196468 140728838587936 140728838570480 140497660968695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 /proc/15996/statm: 3317519 319206 3860 1 0 3305234 0 [pid=15996/tid=15997] ppid=15993 vsize=13270076 CPUtime=2276.07 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15997/stat : 15997 (java) R 15993 15996 7621 0 -1 4202560 102449 0 0 0 227530 77 0 0 20 0 20 0 5600682 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497665206832 140497264876266 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=15999] ppid=15993 vsize=13270076 CPUtime=14.09 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15999/stat : 15999 (java) S 15993 15996 7621 0 -1 1077944384 13287 0 0 0 1364 45 0 0 20 0 20 0 5600683 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497579448976 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16000] ppid=15993 vsize=13270076 CPUtime=14.17 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16000/stat : 16000 (java) S 15993 15996 7621 0 -1 1077944384 12403 0 0 0 1373 44 0 0 20 0 20 0 5600683 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497578396176 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16001] ppid=15993 vsize=13270076 CPUtime=14.37 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16001/stat : 16001 (java) S 15993 15996 7621 0 -1 1077944384 13232 0 0 0 1391 46 0 0 20 0 20 0 5600683 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497577343376 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16002] ppid=15993 vsize=13270076 CPUtime=14.4 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16002/stat : 16002 (java) S 15993 15996 7621 0 -1 1077944384 13946 0 0 0 1396 44 0 0 20 0 20 0 5600683 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497576290576 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16003] ppid=15993 vsize=13270076 CPUtime=14.34 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16003/stat : 16003 (java) S 15993 15996 7621 0 -1 1077944384 12307 0 0 0 1388 46 0 0 20 0 20 0 5600683 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497575238800 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16004] ppid=15993 vsize=13270076 CPUtime=14.27 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16004/stat : 16004 (java) S 15993 15996 7621 0 -1 1077944384 11845 0 0 0 1381 46 0 0 20 0 20 0 5600683 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497255394320 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16005] ppid=15993 vsize=13270076 CPUtime=14.42 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16005/stat : 16005 (java) S 15993 15996 7621 0 -1 1077944384 14335 0 0 0 1394 48 0 0 20 0 20 0 5600683 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497254341520 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16006] ppid=15993 vsize=13270076 CPUtime=14.15 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16006/stat : 16006 (java) S 15993 15996 7621 0 -1 1077944384 12486 0 0 0 1371 44 0 0 20 0 20 0 5600683 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497253288720 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16007] ppid=15993 vsize=13270076 CPUtime=1.79 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16007/stat : 16007 (java) S 15993 15996 7621 0 -1 1077944384 59104 0 0 0 142 37 0 0 20 0 20 0 5600685 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497124710768 140497660979842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16008] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16008/stat : 16008 (java) S 15993 15996 7621 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 5600686 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497123656800 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16009] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16009/stat : 16009 (java) S 15993 15996 7621 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 20 0 5600686 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497122603904 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16010] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16010/stat : 16010 (java) S 15993 15996 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5600690 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497121552208 140497660987291 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16011] ppid=15993 vsize=13270076 CPUtime=1.83 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16011/stat : 16011 (java) S 15993 15996 7621 0 -1 1077944384 11200 0 0 0 182 1 0 0 20 0 20 0 5600690 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497120500592 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 31 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16012] ppid=15993 vsize=13270076 CPUtime=1.68 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16012/stat : 16012 (java) S 15993 15996 7621 0 -1 1077944384 10519 0 0 0 165 3 0 0 20 0 20 0 5600690 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497119447792 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 58 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16013] ppid=15993 vsize=13270076 CPUtime=1.96 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16013/stat : 16013 (java) S 15993 15996 7621 0 -1 1077944384 13203 0 0 0 194 2 0 0 20 0 20 0 5600690 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497118394992 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 39 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16014] ppid=15993 vsize=13270076 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16014/stat : 16014 (java) S 15993 15996 7621 0 -1 1077944384 24471 0 0 0 110 2 0 0 20 0 20 0 5600690 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497117342192 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 59 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16015] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16015/stat : 16015 (java) S 15993 15996 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5600690 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497116289632 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16016] ppid=15993 vsize=13270076 CPUtime=1.23 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16016/stat : 16016 (java) S 15993 15996 7621 0 -1 1077944384 1765 0 0 0 58 65 0 0 20 0 20 0 5600691 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497115236912 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 57 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 13270076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 15996 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2295.5 s] /proc/loadavg: 1.39 1.50 1.53 3/281 16173 /proc/meminfo: memFree=30045412/32770624 swapFree=5800/299708 [pid=15996] ppid=15993 vsize=13270076 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15 /proc/15996/stat : 15996 (java) S 15993 15996 7621 0 -1 1077944320 328028 0 0 0 239470 532 0 0 20 0 20 0 5600682 13588557824 319206 33554432000 4194304 4196468 140728838587936 140728838570480 140497660968695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 /proc/15996/statm: 3317519 319206 3860 1 0 3305234 0 [pid=15996/tid=15997] ppid=15993 vsize=13270076 CPUtime=2276.07 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15997/stat : 15997 (java) R 15993 15996 7621 0 -1 4202560 102449 0 0 0 227530 77 0 0 20 0 20 0 5600682 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497665206832 140497264876266 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=15999] ppid=15993 vsize=13270076 CPUtime=14.09 cores=1,3,5,7,9,11,13,15 /proc/15996/task/15999/stat : 15999 (java) S 15993 15996 7621 0 -1 1077944384 13287 0 0 0 1364 45 0 0 20 0 20 0 5600683 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497579448976 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16000] ppid=15993 vsize=13270076 CPUtime=14.17 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16000/stat : 16000 (java) S 15993 15996 7621 0 -1 1077944384 12403 0 0 0 1373 44 0 0 20 0 20 0 5600683 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497578396176 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16001] ppid=15993 vsize=13270076 CPUtime=14.37 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16001/stat : 16001 (java) S 15993 15996 7621 0 -1 1077944384 13232 0 0 0 1391 46 0 0 20 0 20 0 5600683 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497577343376 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16002] ppid=15993 vsize=13270076 CPUtime=14.4 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16002/stat : 16002 (java) S 15993 15996 7621 0 -1 1077944384 13946 0 0 0 1396 44 0 0 20 0 20 0 5600683 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497576290576 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16003] ppid=15993 vsize=13270076 CPUtime=14.34 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16003/stat : 16003 (java) S 15993 15996 7621 0 -1 1077944384 12307 0 0 0 1388 46 0 0 20 0 20 0 5600683 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497575238800 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16004] ppid=15993 vsize=13270076 CPUtime=14.27 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16004/stat : 16004 (java) S 15993 15996 7621 0 -1 1077944384 11845 0 0 0 1381 46 0 0 20 0 20 0 5600683 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497255394320 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16005] ppid=15993 vsize=13270076 CPUtime=14.42 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16005/stat : 16005 (java) S 15993 15996 7621 0 -1 1077944384 14335 0 0 0 1394 48 0 0 20 0 20 0 5600683 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497254341520 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16006] ppid=15993 vsize=13270076 CPUtime=14.15 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16006/stat : 16006 (java) S 15993 15996 7621 0 -1 1077944384 12486 0 0 0 1371 44 0 0 20 0 20 0 5600683 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497253288720 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16007] ppid=15993 vsize=13270076 CPUtime=1.79 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16007/stat : 16007 (java) S 15993 15996 7621 0 -1 1077944384 59104 0 0 0 142 37 0 0 20 0 20 0 5600685 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497124710768 140497660979842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16008] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16008/stat : 16008 (java) S 15993 15996 7621 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 5600686 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497123656800 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16009] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16009/stat : 16009 (java) S 15993 15996 7621 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 20 0 5600686 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497122603904 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16010] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16010/stat : 16010 (java) S 15993 15996 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5600690 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497121552208 140497660987291 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16011] ppid=15993 vsize=13270076 CPUtime=1.83 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16011/stat : 16011 (java) S 15993 15996 7621 0 -1 1077944384 11200 0 0 0 182 1 0 0 20 0 20 0 5600690 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497120500592 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 31 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16012] ppid=15993 vsize=13270076 CPUtime=1.68 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16012/stat : 16012 (java) S 15993 15996 7621 0 -1 1077944384 10519 0 0 0 165 3 0 0 20 0 20 0 5600690 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497119447792 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 58 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16013] ppid=15993 vsize=13270076 CPUtime=1.96 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16013/stat : 16013 (java) S 15993 15996 7621 0 -1 1077944384 13203 0 0 0 194 2 0 0 20 0 20 0 5600690 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497118394992 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 39 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16014] ppid=15993 vsize=13270076 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16014/stat : 16014 (java) S 15993 15996 7621 0 -1 1077944384 24471 0 0 0 110 2 0 0 20 0 20 0 5600690 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497117342192 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 59 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16015] ppid=15993 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16015/stat : 16015 (java) S 15993 15996 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5600690 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497116289632 140497660978901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 [pid=15996/tid=16016] ppid=15993 vsize=13270076 CPUtime=1.23 cores=1,3,5,7,9,11,13,15 /proc/15996/task/16016/stat : 16016 (java) S 15993 15996 7621 0 -1 1077944384 1765 0 0 0 58 65 0 0 20 0 20 0 5600691 13588557824 319206 33554432000 4194304 4196468 140728838587936 140497115236912 140497660979842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 57 0 0 6293624 6294260 23072768 140728838591629 140728838591812 140728838591812 140728838594511 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 13270076 Child status: 143 Real time (s): 2295.54 CPU time (s): 2400.08 CPU user time (s): 2394.75 CPU system time (s): 5.33657 CPU usage (%): 104.554 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2394.75 system time used= 5.33657 maximum resident set size= 3461472 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 328733 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2720 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 111776 involuntary context switches= 132762 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.6756 second user time and 19.3128 second system time The end
Begin job on node124 at 2017-07-22 08:02:09 IDJOB=4246370 IDBENCH=124451 IDSOLVER=2629 FILE ID=node124/4246370-1500703329 RUNJOBID= node124-1500696956-15262 PBS_JOBID= 20623343 Free space on /tmp= 61968 MiB SOLVER NAME= OscaR - Hybrid 2017-06-30 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n50-k10.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246370-1500703329/watcher-4246370-1500703329 -o /tmp/evaluation-result-4246370-1500703329/solver-4246370-1500703329 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500696956-15262 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1414732987 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246370-1500703329.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 994883c0320da003cf1ede0b66369d8b RANDOM SEED=1414732987 node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 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 : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 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 : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30045784 kB MemAvailable: 30334872 kB Buffers: 123944 kB Cached: 446204 kB SwapCached: 0 kB Active: 1978180 kB Inactive: 306476 kB Active(anon): 1717308 kB Inactive(anon): 8744 kB Active(file): 260872 kB Inactive(file): 297732 kB Unevictable: 5800 kB Mlocked: 5800 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42132 kB Writeback: 16 kB AnonPages: 1725764 kB Mapped: 45088 kB Shmem: 8840 kB Slab: 126560 kB SReclaimable: 92636 kB SUnreclaim: 33924 kB KernelStack: 4416 kB PageTables: 10096 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2271412 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1585152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61928 MiB End job on node124 at 2017-07-22 08:40:25