Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering 2017-07-26 | SAT (TO) | 2696 | 245.061 | 240.022 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml |
| MD5SUM | 45202abbf2fd4260704b0005edccc47f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 1215 |
| Best CPU time to get the best result obtained on this benchmark | 251.95799 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2352 |
| Number of constraints | 2303 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":48},{"size":2,"count":2256},{"size":101,"count":47}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 93 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":48},{"degree":2,"count":94},{"degree":4,"count":2162},{"degree":93,"count":47}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 47 |
| Distribution of constraint arities | [{"arity":1,"count":47},{"arity":3,"count":2162},{"arity":47,"count":94}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 47 |
| Distribution of constraint types | [{"type":"intension","count":47},{"type":"sum","count":2162},{"type":"count","count":94}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.30/0.44 c version: 2017-07-26 0.30/0.44 c seed: 706611695 0.30/0.44 c timeout: 264 0.30/0.44 c memlimit: 11000 0.30/0.44 c nbcore: 4 0.30/0.46 c Parsing instance... 3.07/1.41 c Parsing done, starting search... 3.07/1.49 o 3170 3.42/1.51 o 3108 3.42/1.52 o 3104 3.42/1.54 o 3098 3.42/1.55 o 3078 3.42/1.57 o 3024 3.42/1.59 o 2962 3.76/1.68 o 2955 4.04/1.76 o 2911 4.67/1.92 o 2910 4.67/1.92 o 2905 5.81/2.79 o 2876 6.69/3.52 o 2870 6.69/3.56 o 2861 6.69/3.56 o 2846 7.63/4.46 o 2845 8.88/5.68 o 2824 12.75/9.44 o 2809 12.75/9.44 o 2801 26.23/22.71 o 2797 30.24/26.76 o 2793 55.23/51.62 o 2792 58.57/54.95 o 2785 60.58/56.97 o 2782 67.45/63.77 o 2781 67.45/63.77 o 2775 67.45/63.80 o 2767 85.18/81.30 o 2763 93.42/89.54 o 2762 132.71/128.58 o 2758 132.71/128.59 o 2754 133.31/129.16 o 2751 133.42/129.25 o 2745 133.92/129.78 o 2741 134.03/129.82 o 2737 154.98/150.64 o 2729 155.48/151.13 o 2725 155.69/151.35 o 2704 165.15/160.79 o 2696 245.01/240.00 s SATISFIABLE 245.01/240.01 v <instantiation> 245.01/240.01 v <list> 245.01/240.01 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] 245.01/240.01 v </list> 245.01/240.01 v <values> 245.01/240.01 v 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 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 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 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 0 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 1 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 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 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 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 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 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 1 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 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 0 0 0 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 1 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 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 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 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 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 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 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 20 100 22 19 75 100 74 34 69 100 33 100 53 17 56 59 68 35 51 100 57 100 59 50 38 62 86 65 78 95 53 65 85 31 44 84 42 28 16 47 71 6 19 72 49 86 100 245.01/240.01 v </values> 245.01/240.01 v </instantiation>
OK 2696
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-4256363-1501631390/watcher-4256363-1501631390 -o /tmp/evaluation-result-4256363-1501631390/solver-4256363-1501631390 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501623088-15580 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 706611695 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256363-1501631390.xml pid=22196 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.81 1.75 1.69 3/194 22199 /proc/meminfo: memFree=31649388/32770624 swapFree=0/205076 [pid=22199] ppid=22196 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/22199/stat : 22199 (runsolver) D 22196 22199 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11755973 24240128 107 18446744073709551615 4194304 4338465 140734733317232 140734733314872 140716006277847 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 22822912 140734733320295 140734733320774 140734733320774 140734733324234 0 /proc/22199/statm: 5918 107 54 36 0 2156 0 [startup+0.100145 s] /proc/loadavg: 1.81 1.75 1.69 3/194 22199 /proc/meminfo: memFree=31649388/32770624 swapFree=0/205076 [pid=22199] ppid=22196 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/22199/stat : 22199 (runsolver) D 22196 22199 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11755973 24240128 107 18446744073709551615 4194304 4338465 140734733317232 140734733314872 140716006277847 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 22822912 140734733320295 140734733320774 140734733320774 140734733324234 0 /proc/22199/statm: 5918 107 54 36 0 2156 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23672 [startup+0.200316 s] /proc/loadavg: 1.81 1.75 1.69 3/194 22199 /proc/meminfo: memFree=31649388/32770624 swapFree=0/205076 [pid=22199] ppid=22196 vsize=13906484 CPUtime=0.05 cores=1,3,5,7 /proc/22199/stat : 22199 (java) S 22196 22199 5123 0 -1 1077944320 4763 0 0 0 4 1 0 0 20 0 14 0 11755973 14240239616 5313 18446744073709551615 4194304 4196468 140736840545008 140736840527552 139704260218615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 12 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 /proc/22199/statm: 3476621 5313 2562 1 0 3466126 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13906484 [startup+0.300251 s] /proc/loadavg: 1.81 1.75 1.69 3/194 22199 /proc/meminfo: memFree=31649388/32770624 swapFree=0/205076 [pid=22199] ppid=22196 vsize=13975920 CPUtime=0.13 cores=1,3,5,7 /proc/22199/stat : 22199 (java) S 22196 22199 5123 0 -1 1077944320 9252 0 0 0 11 2 0 0 20 0 15 0 11755973 14311342080 8267 18446744073709551615 4194304 4196468 140736840545008 140736840527552 139704260218615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 12 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 /proc/22199/statm: 3493980 8267 3374 1 0 3482767 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 13975920 [startup+0.700808 s] /proc/loadavg: 1.81 1.75 1.69 3/194 22199 /proc/meminfo: memFree=31649388/32770624 swapFree=0/205076 [pid=22199] ppid=22196 vsize=13977988 CPUtime=0.92 cores=1,3,5,7 /proc/22199/stat : 22199 (java) S 22196 22199 5123 0 -1 1077944320 13594 0 0 0 88 4 0 0 20 0 15 0 11755973 14313459712 16377 18446744073709551615 4194304 4196468 140736840545008 140736840527552 139704260218615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 12 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 /proc/22199/statm: 3494497 16377 3710 1 0 3483279 0 Current children cumulated CPU time (s) 0.92 Current children cumulated vsize (KiB) 13977988 [startup+1.50119 s] /proc/loadavg: 1.81 1.75 1.69 6/209 22214 /proc/meminfo: memFree=31554204/32770624 swapFree=0/205068 [pid=22199] ppid=22196 vsize=13982084 CPUtime=3.42 cores=1,3,5,7 /proc/22199/stat : 22199 (java) S 22196 22199 5123 0 -1 1077944320 28290 0 0 0 332 10 0 0 20 0 15 0 11755973 14317654016 42429 18446744073709551615 4194304 4196468 140736840545008 140736840527552 139704260218615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 12 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 /proc/22199/statm: 3495521 42429 3761 1 0 3484303 0 [pid=22199/tid=22201] ppid=22196 vsize=13982084 CPUtime=1.28 cores=1,3,5,7 /proc/22199/task/22201/stat : 22201 (java) R 22196 22199 5123 0 -1 4202560 14516 0 0 0 122 6 0 0 20 0 15 0 11755986 14317654016 42429 18446744073709551615 4194304 4196468 140736840545008 139704264454856 139703902292444 0 4 1 16800974 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22202] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22202/stat : 22202 (java) S 22196 22199 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11755987 14317654016 42429 18446744073709551615 4194304 4196468 140736840545008 139704217184528 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22203] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22203/stat : 22203 (java) S 22196 22199 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11755987 14317654016 42429 18446744073709551615 4194304 4196468 140736840545008 139704216131984 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22204] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22204/stat : 22204 (java) S 22196 22199 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11755987 14317654016 42429 18446744073709551615 4194304 4196468 140736840545008 139704215079440 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22205] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22205/stat : 22205 (java) S 22196 22199 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11755987 14317654016 42429 18446744073709551615 4194304 4196468 140736840545008 139703856851600 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22206] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22206/stat : 22206 (java) S 22196 22199 5123 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 11755988 14317654016 42429 18446744073709551615 4194304 4196468 140736840545008 139703244802544 139704260229762 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22207] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22207/stat : 22207 (java) S 22196 22199 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11755989 14317654016 42429 18446744073709551615 4194304 4196468 140736840545008 139703243748768 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22208] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22208/stat : 22208 (java) S 22196 22199 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11755989 14317654016 42429 18446744073709551615 4194304 4196468 140736840545008 139703242696176 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22209] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22209/stat : 22209 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755991 14317654016 42429 18446744073709551615 4194304 4196468 140736840545008 139703241644752 139704260237211 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22210] ppid=22196 vsize=13982084 CPUtime=0.72 cores=1,3,5,7 /proc/22199/task/22210/stat : 22210 (java) R 22196 22199 5123 0 -1 4202560 4297 0 0 0 72 0 0 0 20 0 15 0 11755991 14317654016 42429 18446744073709551615 4194304 4196468 140736840545008 139703240572568 139704246237893 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22211] ppid=22196 vsize=13982084 CPUtime=0.72 cores=1,3,5,7 /proc/22199/task/22211/stat : 22211 (java) R 22196 22199 5123 0 -1 4202560 2670 0 0 0 71 1 0 0 20 0 15 0 11755991 14317654016 42429 18446744073709551615 4194304 4196468 140736840545008 139703239527792 139704241740372 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22212] ppid=22196 vsize=13982084 CPUtime=0.66 cores=1,3,5,7 /proc/22199/task/22212/stat : 22212 (java) S 22196 22199 5123 0 -1 1077944384 5412 0 0 0 65 1 0 0 20 0 15 0 11755991 14317654016 42429 18446744073709551615 4194304 4196468 140736840545008 139703238486256 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22213] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22213/stat : 22213 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755991 14317654016 42429 18446744073709551615 4194304 4196468 140736840545008 139703237433952 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22214] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22214/stat : 22214 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755997 14317654016 42429 18446744073709551615 4194304 4196468 140736840545008 139703236381488 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 Current children cumulated CPU time (s) 3.42 Current children cumulated vsize (KiB) 13982084 [startup+3.1007 s] /proc/loadavg: 1.81 1.75 1.69 3/209 22214 /proc/meminfo: memFree=31432224/32770624 swapFree=0/205068 [pid=22199] ppid=22196 vsize=13982084 CPUtime=6.29 cores=1,3,5,7 /proc/22199/stat : 22199 (java) S 22196 22199 5123 0 -1 1077944320 32807 0 0 0 615 14 0 0 20 0 15 0 11755973 14317654016 61865 18446744073709551615 4194304 4196468 140736840545008 140736840527552 139704260218615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 12 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 /proc/22199/statm: 3495521 61865 3794 1 0 3484303 0 [pid=22199/tid=22201] ppid=22196 vsize=13982084 CPUtime=2.84 cores=1,3,5,7 /proc/22199/task/22201/stat : 22201 (java) R 22196 22199 5123 0 -1 4202560 14904 0 0 0 277 7 0 0 20 0 15 0 11755986 14317654016 61865 18446744073709551615 4194304 4196468 140736840545008 139704264456992 139703903290980 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22202] ppid=22196 vsize=13982084 CPUtime=0.02 cores=1,3,5,7 /proc/22199/task/22202/stat : 22202 (java) S 22196 22199 5123 0 -1 1077944384 87 0 0 0 2 0 0 0 20 0 15 0 11755987 14317654016 61865 18446744073709551615 4194304 4196468 140736840545008 139704217184528 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22203] ppid=22196 vsize=13982084 CPUtime=0.02 cores=1,3,5,7 /proc/22199/task/22203/stat : 22203 (java) S 22196 22199 5123 0 -1 1077944384 236 0 0 0 2 0 0 0 20 0 15 0 11755987 14317654016 61865 18446744073709551615 4194304 4196468 140736840545008 139704216131984 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22204] ppid=22196 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/22199/task/22204/stat : 22204 (java) S 22196 22199 5123 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 15 0 11755987 14317654016 61865 18446744073709551615 4194304 4196468 140736840545008 139704215079440 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22205] ppid=22196 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/22199/task/22205/stat : 22205 (java) S 22196 22199 5123 0 -1 1077944384 881 0 0 0 1 0 0 0 20 0 15 0 11755987 14317654016 61865 18446744073709551615 4194304 4196468 140736840545008 139703856851600 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22206] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22206/stat : 22206 (java) S 22196 22199 5123 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 11755988 14317654016 61865 18446744073709551615 4194304 4196468 140736840545008 139703244802544 139704260229762 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22207] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22207/stat : 22207 (java) S 22196 22199 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11755989 14317654016 61865 18446744073709551615 4194304 4196468 140736840545008 139703243748832 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22208] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22208/stat : 22208 (java) S 22196 22199 5123 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 11755989 14317654016 61865 18446744073709551615 4194304 4196468 140736840545008 139703242696192 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22209] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22209/stat : 22209 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755991 14317654016 61865 18446744073709551615 4194304 4196468 140736840545008 139703241644752 139704260237211 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22210] ppid=22196 vsize=13982084 CPUtime=1.27 cores=1,3,5,7 /proc/22199/task/22210/stat : 22210 (java) S 22196 22199 5123 0 -1 1077944384 5481 0 0 0 126 1 0 0 20 0 15 0 11755991 14317654016 61865 18446744073709551615 4194304 4196468 140736840545008 139703240591344 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22211] ppid=22196 vsize=13982084 CPUtime=1.3 cores=1,3,5,7 /proc/22199/task/22211/stat : 22211 (java) S 22196 22199 5123 0 -1 1077944384 3277 0 0 0 129 1 0 0 20 0 15 0 11755991 14317654016 61865 18446744073709551615 4194304 4196468 140736840545008 139703239538800 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22212] ppid=22196 vsize=13982084 CPUtime=0.72 cores=1,3,5,7 /proc/22199/task/22212/stat : 22212 (java) S 22196 22199 5123 0 -1 1077944384 6136 0 0 0 71 1 0 0 20 0 15 0 11755991 14317654016 61865 18446744073709551615 4194304 4196468 140736840545008 139703238486256 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22213] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22213/stat : 22213 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755991 14317654016 61865 18446744073709551615 4194304 4196468 140736840545008 139703237433952 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22214] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22214/stat : 22214 (java) S 22196 22199 5123 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 11755997 14317654016 61865 18446744073709551615 4194304 4196468 140736840545008 139703236381488 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13982084 [startup+6.30065 s] /proc/loadavg: 1.82 1.75 1.69 3/209 22215 /proc/meminfo: memFree=31289800/32770624 swapFree=0/205080 [pid=22199] ppid=22196 vsize=13982084 CPUtime=9.57 cores=1,3,5,7 /proc/22199/stat : 22199 (java) S 22196 22199 5123 0 -1 1077944320 33292 0 0 0 939 18 0 0 20 0 15 0 11755973 14317654016 93184 18446744073709551615 4194304 4196468 140736840545008 140736840527552 139704260218615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 12 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 /proc/22199/statm: 3495521 93184 3794 1 0 3484303 0 [pid=22199/tid=22201] ppid=22196 vsize=13982084 CPUtime=6.02 cores=1,3,5,7 /proc/22199/task/22201/stat : 22201 (java) R 22196 22199 5123 0 -1 4202560 15073 0 0 0 594 8 0 0 20 0 15 0 11755986 14317654016 93184 18446744073709551615 4194304 4196468 140736840545008 139704264448448 139703902905899 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22202] ppid=22196 vsize=13982084 CPUtime=0.04 cores=1,3,5,7 /proc/22199/task/22202/stat : 22202 (java) S 22196 22199 5123 0 -1 1077944384 95 0 0 0 3 1 0 0 20 0 15 0 11755987 14317654016 93184 18446744073709551615 4194304 4196468 140736840545008 139704217184528 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22203] ppid=22196 vsize=13982084 CPUtime=0.04 cores=1,3,5,7 /proc/22199/task/22203/stat : 22203 (java) S 22196 22199 5123 0 -1 1077944384 246 0 0 0 3 1 0 0 20 0 15 0 11755987 14317654016 93184 18446744073709551615 4194304 4196468 140736840545008 139704216131984 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22204] ppid=22196 vsize=13982084 CPUtime=0.03 cores=1,3,5,7 /proc/22199/task/22204/stat : 22204 (java) S 22196 22199 5123 0 -1 1077944384 123 0 0 0 2 1 0 0 20 0 15 0 11755987 14317654016 93184 18446744073709551615 4194304 4196468 140736840545008 139704215079440 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22205] ppid=22196 vsize=13982084 CPUtime=0.02 cores=1,3,5,7 /proc/22199/task/22205/stat : 22205 (java) S 22196 22199 5123 0 -1 1077944384 900 0 0 0 2 0 0 0 20 0 15 0 11755987 14317654016 93184 18446744073709551615 4194304 4196468 140736840545008 139703856851600 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22206] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22206/stat : 22206 (java) S 22196 22199 5123 0 -1 1077944384 396 0 0 0 0 0 0 0 20 0 15 0 11755988 14317654016 93184 18446744073709551615 4194304 4196468 140736840545008 139703244802544 139704260229762 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22207] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22207/stat : 22207 (java) S 22196 22199 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11755989 14317654016 93184 18446744073709551615 4194304 4196468 140736840545008 139703243748832 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22208] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22208/stat : 22208 (java) S 22196 22199 5123 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 11755989 14317654016 93184 18446744073709551615 4194304 4196468 140736840545008 139703242696192 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22209] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22209/stat : 22209 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755991 14317654016 93184 18446744073709551615 4194304 4196468 140736840545008 139703241644752 139704260237211 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22210] ppid=22196 vsize=13982084 CPUtime=1.28 cores=1,3,5,7 /proc/22199/task/22210/stat : 22210 (java) S 22196 22199 5123 0 -1 1077944384 5482 0 0 0 127 1 0 0 20 0 15 0 11755991 14317654016 93184 18446744073709551615 4194304 4196468 140736840545008 139703240591344 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22211] ppid=22196 vsize=13982084 CPUtime=1.31 cores=1,3,5,7 /proc/22199/task/22211/stat : 22211 (java) S 22196 22199 5123 0 -1 1077944384 3277 0 0 0 130 1 0 0 20 0 15 0 11755991 14317654016 93184 18446744073709551615 4194304 4196468 140736840545008 139703239538800 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22212] ppid=22196 vsize=13982084 CPUtime=0.74 cores=1,3,5,7 /proc/22199/task/22212/stat : 22212 (java) S 22196 22199 5123 0 -1 1077944384 6232 0 0 0 73 1 0 0 20 0 15 0 11755991 14317654016 93184 18446744073709551615 4194304 4196468 140736840545008 139703238486256 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22213] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22213/stat : 22213 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755991 14317654016 93184 18446744073709551615 4194304 4196468 140736840545008 139703237433952 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22214] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22214/stat : 22214 (java) S 22196 22199 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 11755997 14317654016 93184 18446744073709551615 4194304 4196468 140736840545008 139703236381488 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 Current children cumulated CPU time (s) 9.57 Current children cumulated vsize (KiB) 13982084 [startup+12.7007 s] /proc/loadavg: 1.68 1.72 1.68 3/209 22215 /proc/meminfo: memFree=31269456/32770624 swapFree=0/205088 [pid=22199] ppid=22196 vsize=13982084 CPUtime=16.17 cores=1,3,5,7 /proc/22199/stat : 22199 (java) S 22196 22199 5123 0 -1 1077944320 37390 0 0 0 1593 24 0 0 20 0 15 0 11755973 14317654016 102148 18446744073709551615 4194304 4196468 140736840545008 140736840527552 139704260218615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 12 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 /proc/22199/statm: 3495521 102148 3794 1 0 3484303 0 [pid=22199/tid=22201] ppid=22196 vsize=13982084 CPUtime=12.37 cores=1,3,5,7 /proc/22199/task/22201/stat : 22201 (java) R 22196 22199 5123 0 -1 4202560 15865 0 0 0 1229 8 0 0 20 0 15 0 11755986 14317654016 102148 18446744073709551615 4194304 4196468 140736840545008 139704264457216 139703903005940 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22202] ppid=22196 vsize=13982084 CPUtime=0.08 cores=1,3,5,7 /proc/22199/task/22202/stat : 22202 (java) S 22196 22199 5123 0 -1 1077944384 1309 0 0 0 6 2 0 0 20 0 15 0 11755987 14317654016 102148 18446744073709551615 4194304 4196468 140736840545008 139704217184528 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22203] ppid=22196 vsize=13982084 CPUtime=0.08 cores=1,3,5,7 /proc/22199/task/22203/stat : 22203 (java) S 22196 22199 5123 0 -1 1077944384 679 0 0 0 6 2 0 0 20 0 15 0 11755987 14317654016 102148 18446744073709551615 4194304 4196468 140736840545008 139704216131984 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22204] ppid=22196 vsize=13982084 CPUtime=0.07 cores=1,3,5,7 /proc/22199/task/22204/stat : 22204 (java) S 22196 22199 5123 0 -1 1077944384 234 0 0 0 5 2 0 0 20 0 15 0 11755987 14317654016 102148 18446744073709551615 4194304 4196468 140736840545008 139704215079440 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22205] ppid=22196 vsize=13982084 CPUtime=0.07 cores=1,3,5,7 /proc/22199/task/22205/stat : 22205 (java) S 22196 22199 5123 0 -1 1077944384 983 0 0 0 5 2 0 0 20 0 15 0 11755987 14317654016 102148 18446744073709551615 4194304 4196468 140736840545008 139703856851600 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22206] ppid=22196 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/22199/task/22206/stat : 22206 (java) S 22196 22199 5123 0 -1 1077944384 634 0 0 0 1 0 0 0 20 0 15 0 11755988 14317654016 102148 18446744073709551615 4194304 4196468 140736840545008 139703244802544 139704260229762 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22207] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22207/stat : 22207 (java) S 22196 22199 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11755989 14317654016 102148 18446744073709551615 4194304 4196468 140736840545008 139703243748832 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22208] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22208/stat : 22208 (java) S 22196 22199 5123 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 11755989 14317654016 102148 18446744073709551615 4194304 4196468 140736840545008 139703242696192 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22209] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22209/stat : 22209 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755991 14317654016 102148 18446744073709551615 4194304 4196468 140736840545008 139703241644752 139704260237211 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 ################ # More data... # ################ /proc/22199/task/22213/stat : 22213 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755991 14317654016 93508 18446744073709551615 4194304 4196468 140736840545008 139703237433952 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22214] ppid=22196 vsize=13982084 CPUtime=0.02 cores=1,3,5,7 /proc/22199/task/22214/stat : 22214 (java) S 22196 22199 5123 0 -1 1077944384 286 0 0 0 1 1 0 0 20 0 15 0 11755997 14317654016 93508 18446744073709551615 4194304 4196468 140736840545008 139703236381488 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 Current children cumulated CPU time (s) 54.73 Current children cumulated vsize (KiB) 13982084 [startup+102.301 s] /proc/loadavg: 1.67 1.70 1.68 3/209 22294 /proc/meminfo: memFree=30526992/32770624 swapFree=0/205196 [pid=22199] ppid=22196 vsize=13982084 CPUtime=106.32 cores=1,3,5,7 /proc/22199/stat : 22199 (java) S 22196 22199 5123 0 -1 1077944320 49615 0 0 0 10597 35 0 0 20 0 15 0 11755973 14317654016 77288 18446744073709551615 4194304 4196468 140736840545008 140736840527552 139704260218615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 12 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 /proc/22199/statm: 3495521 77288 3795 1 0 3484303 0 [pid=22199/tid=22201] ppid=22196 vsize=13982084 CPUtime=101.73 cores=1,3,5,7 /proc/22199/task/22201/stat : 22201 (java) R 22196 22199 5123 0 -1 4202560 18581 0 0 0 10164 9 0 0 20 0 15 0 11755986 14317654016 77288 18446744073709551615 4194304 4196468 140736840545008 139704264457264 139703902847910 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22202] ppid=22196 vsize=13982084 CPUtime=0.22 cores=1,3,5,7 /proc/22199/task/22202/stat : 22202 (java) S 22196 22199 5123 0 -1 1077944384 2167 0 0 0 17 5 0 0 20 0 15 0 11755987 14317654016 77288 18446744073709551615 4194304 4196468 140736840545008 139704217184528 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22203] ppid=22196 vsize=13982084 CPUtime=0.22 cores=1,3,5,7 /proc/22199/task/22203/stat : 22203 (java) S 22196 22199 5123 0 -1 1077944384 1375 0 0 0 17 5 0 0 20 0 15 0 11755987 14317654016 77288 18446744073709551615 4194304 4196468 140736840545008 139704216131984 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22204] ppid=22196 vsize=13982084 CPUtime=0.21 cores=1,3,5,7 /proc/22199/task/22204/stat : 22204 (java) S 22196 22199 5123 0 -1 1077944384 945 0 0 0 17 4 0 0 20 0 15 0 11755987 14317654016 77288 18446744073709551615 4194304 4196468 140736840545008 139704215079440 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22205] ppid=22196 vsize=13982084 CPUtime=0.21 cores=1,3,5,7 /proc/22199/task/22205/stat : 22205 (java) S 22196 22199 5123 0 -1 1077944384 1930 0 0 0 17 4 0 0 20 0 15 0 11755987 14317654016 77288 18446744073709551615 4194304 4196468 140736840545008 139703856851600 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22206] ppid=22196 vsize=13982084 CPUtime=0.09 cores=1,3,5,7 /proc/22199/task/22206/stat : 22206 (java) S 22196 22199 5123 0 -1 1077944384 1377 0 0 0 7 2 0 0 20 0 15 0 11755988 14317654016 77288 18446744073709551615 4194304 4196468 140736840545008 139703244802544 139704260229762 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22207] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22207/stat : 22207 (java) S 22196 22199 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11755989 14317654016 77288 18446744073709551615 4194304 4196468 140736840545008 139703243748832 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22208] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22208/stat : 22208 (java) S 22196 22199 5123 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 11755989 14317654016 77288 18446744073709551615 4194304 4196468 140736840545008 139703242696192 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22209] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22209/stat : 22209 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755991 14317654016 77288 18446744073709551615 4194304 4196468 140736840545008 139703241644752 139704260237211 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22210] ppid=22196 vsize=13982084 CPUtime=1.38 cores=1,3,5,7 /proc/22199/task/22210/stat : 22210 (java) S 22196 22199 5123 0 -1 1077944384 8500 0 0 0 137 1 0 0 20 0 15 0 11755991 14317654016 77288 18446744073709551615 4194304 4196468 140736840545008 139703240591344 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22211] ppid=22196 vsize=13982084 CPUtime=1.39 cores=1,3,5,7 /proc/22199/task/22211/stat : 22211 (java) S 22196 22199 5123 0 -1 1077944384 4603 0 0 0 138 1 0 0 20 0 15 0 11755991 14317654016 77288 18446744073709551615 4194304 4196468 140736840545008 139703239538800 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22212] ppid=22196 vsize=13982084 CPUtime=0.74 cores=1,3,5,7 /proc/22199/task/22212/stat : 22212 (java) S 22196 22199 5123 0 -1 1077944384 8383 0 0 0 73 1 0 0 20 0 15 0 11755991 14317654016 77288 18446744073709551615 4194304 4196468 140736840545008 139703238486256 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22213] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22213/stat : 22213 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755991 14317654016 77288 18446744073709551615 4194304 4196468 140736840545008 139703237433952 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22214] ppid=22196 vsize=13982084 CPUtime=0.04 cores=1,3,5,7 /proc/22199/task/22214/stat : 22214 (java) S 22196 22199 5123 0 -1 1077944384 336 0 0 0 2 2 0 0 20 0 15 0 11755997 14317654016 77288 18446744073709551615 4194304 4196468 140736840545008 139703236381488 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 Current children cumulated CPU time (s) 106.32 Current children cumulated vsize (KiB) 13982084 [startup+162.301 s] /proc/loadavg: 1.70 1.69 1.68 3/209 22296 /proc/meminfo: memFree=30452000/32770624 swapFree=0/205252 [pid=22199] ppid=22196 vsize=13982084 CPUtime=166.76 cores=1,3,5,7 /proc/22199/stat : 22199 (java) S 22196 22199 5123 0 -1 1077944320 53072 0 0 0 16636 40 0 0 20 0 15 0 11755973 14317654016 78812 18446744073709551615 4194304 4196468 140736840545008 140736840527552 139704260218615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 12 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 /proc/22199/statm: 3495521 78812 3796 1 0 3484303 0 [pid=22199/tid=22201] ppid=22196 vsize=13982084 CPUtime=161.41 cores=1,3,5,7 /proc/22199/task/22201/stat : 22201 (java) R 22196 22199 5123 0 -1 4202560 19582 0 0 0 16132 9 0 0 20 0 15 0 11755986 14317654016 78812 18446744073709551615 4194304 4196468 140736840545008 139704264457184 139703903290945 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22202] ppid=22196 vsize=13982084 CPUtime=0.36 cores=1,3,5,7 /proc/22199/task/22202/stat : 22202 (java) S 22196 22199 5123 0 -1 1077944384 2393 0 0 0 31 5 0 0 20 0 15 0 11755987 14317654016 78812 18446744073709551615 4194304 4196468 140736840545008 139704217184528 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22203] ppid=22196 vsize=13982084 CPUtime=0.37 cores=1,3,5,7 /proc/22199/task/22203/stat : 22203 (java) S 22196 22199 5123 0 -1 1077944384 1956 0 0 0 32 5 0 0 20 0 15 0 11755987 14317654016 78812 18446744073709551615 4194304 4196468 140736840545008 139704216131984 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22204] ppid=22196 vsize=13982084 CPUtime=0.36 cores=1,3,5,7 /proc/22199/task/22204/stat : 22204 (java) S 22196 22199 5123 0 -1 1077944384 1153 0 0 0 31 5 0 0 20 0 15 0 11755987 14317654016 78812 18446744073709551615 4194304 4196468 140736840545008 139704215079440 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22205] ppid=22196 vsize=13982084 CPUtime=0.37 cores=1,3,5,7 /proc/22199/task/22205/stat : 22205 (java) S 22196 22199 5123 0 -1 1077944384 2191 0 0 0 32 5 0 0 20 0 15 0 11755987 14317654016 78812 18446744073709551615 4194304 4196468 140736840545008 139703856851600 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22206] ppid=22196 vsize=13982084 CPUtime=0.18 cores=1,3,5,7 /proc/22199/task/22206/stat : 22206 (java) S 22196 22199 5123 0 -1 1077944384 1615 0 0 0 15 3 0 0 20 0 15 0 11755988 14317654016 78812 18446744073709551615 4194304 4196468 140736840545008 139703244802544 139704260229762 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22207] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22207/stat : 22207 (java) S 22196 22199 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11755989 14317654016 78812 18446744073709551615 4194304 4196468 140736840545008 139703243748832 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22208] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22208/stat : 22208 (java) S 22196 22199 5123 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 11755989 14317654016 78812 18446744073709551615 4194304 4196468 140736840545008 139703242696192 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22209] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22209/stat : 22209 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755991 14317654016 78812 18446744073709551615 4194304 4196468 140736840545008 139703241644752 139704260237211 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22210] ppid=22196 vsize=13982084 CPUtime=1.38 cores=1,3,5,7 /proc/22199/task/22210/stat : 22210 (java) S 22196 22199 5123 0 -1 1077944384 9091 0 0 0 137 1 0 0 20 0 15 0 11755991 14317654016 78812 18446744073709551615 4194304 4196468 140736840545008 139703240591344 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22211] ppid=22196 vsize=13982084 CPUtime=1.39 cores=1,3,5,7 /proc/22199/task/22211/stat : 22211 (java) S 22196 22199 5123 0 -1 1077944384 4929 0 0 0 138 1 0 0 20 0 15 0 11755991 14317654016 78812 18446744073709551615 4194304 4196468 140736840545008 139703239538800 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22212] ppid=22196 vsize=13982084 CPUtime=0.74 cores=1,3,5,7 /proc/22199/task/22212/stat : 22212 (java) S 22196 22199 5123 0 -1 1077944384 8385 0 0 0 73 1 0 0 20 0 15 0 11755991 14317654016 78812 18446744073709551615 4194304 4196468 140736840545008 139703238486256 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22213] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22213/stat : 22213 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755991 14317654016 78812 18446744073709551615 4194304 4196468 140736840545008 139703237433952 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22214] ppid=22196 vsize=13982084 CPUtime=0.07 cores=1,3,5,7 /proc/22199/task/22214/stat : 22214 (java) S 22196 22199 5123 0 -1 1077944384 359 0 0 0 3 4 0 0 20 0 15 0 11755997 14317654016 78812 18446744073709551615 4194304 4196468 140736840545008 139703236381488 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 Current children cumulated CPU time (s) 166.76 Current children cumulated vsize (KiB) 13982084 [startup+222.306 s] /proc/loadavg: 1.64 1.69 1.68 3/209 22298 /proc/meminfo: memFree=30588580/32770624 swapFree=0/205292 [pid=22199] ppid=22196 vsize=13982084 CPUtime=227.19 cores=1,3,5,7 /proc/22199/stat : 22199 (java) S 22196 22199 5123 0 -1 1077944320 54203 0 0 0 22674 45 0 0 20 0 15 0 11755973 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 140736840527552 139704260218615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 12 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 /proc/22199/statm: 3495521 79444 3796 1 0 3484303 0 [pid=22199/tid=22201] ppid=22196 vsize=13982084 CPUtime=221.14 cores=1,3,5,7 /proc/22199/task/22201/stat : 22201 (java) R 22196 22199 5123 0 -1 4202560 19897 0 0 0 22104 10 0 0 20 0 15 0 11755986 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139704264457008 139703903124739 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22202] ppid=22196 vsize=13982084 CPUtime=0.51 cores=1,3,5,7 /proc/22199/task/22202/stat : 22202 (java) S 22196 22199 5123 0 -1 1077944384 2643 0 0 0 45 6 0 0 20 0 15 0 11755987 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139704217184528 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22203] ppid=22196 vsize=13982084 CPUtime=0.52 cores=1,3,5,7 /proc/22199/task/22203/stat : 22203 (java) S 22196 22199 5123 0 -1 1077944384 2053 0 0 0 46 6 0 0 20 0 15 0 11755987 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139704216131984 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22204] ppid=22196 vsize=13982084 CPUtime=0.5 cores=1,3,5,7 /proc/22199/task/22204/stat : 22204 (java) S 22196 22199 5123 0 -1 1077944384 1261 0 0 0 45 5 0 0 20 0 15 0 11755987 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139704215079440 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22205] ppid=22196 vsize=13982084 CPUtime=0.51 cores=1,3,5,7 /proc/22199/task/22205/stat : 22205 (java) S 22196 22199 5123 0 -1 1077944384 2317 0 0 0 46 5 0 0 20 0 15 0 11755987 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703856851600 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22206] ppid=22196 vsize=13982084 CPUtime=0.28 cores=1,3,5,7 /proc/22199/task/22206/stat : 22206 (java) S 22196 22199 5123 0 -1 1077944384 1832 0 0 0 24 4 0 0 20 0 15 0 11755988 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703244802544 139704260229762 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22207] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22207/stat : 22207 (java) S 22196 22199 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11755989 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703243748832 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22208] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22208/stat : 22208 (java) S 22196 22199 5123 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 11755989 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703242696192 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22209] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22209/stat : 22209 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755991 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703241644752 139704260237211 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22210] ppid=22196 vsize=13982084 CPUtime=1.39 cores=1,3,5,7 /proc/22199/task/22210/stat : 22210 (java) S 22196 22199 5123 0 -1 1077944384 9091 0 0 0 138 1 0 0 20 0 15 0 11755991 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703240591344 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22211] ppid=22196 vsize=13982084 CPUtime=1.4 cores=1,3,5,7 /proc/22199/task/22211/stat : 22211 (java) S 22196 22199 5123 0 -1 1077944384 4931 0 0 0 139 1 0 0 20 0 15 0 11755991 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703239538800 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22212] ppid=22196 vsize=13982084 CPUtime=0.74 cores=1,3,5,7 /proc/22199/task/22212/stat : 22212 (java) S 22196 22199 5123 0 -1 1077944384 8385 0 0 0 73 1 0 0 20 0 15 0 11755991 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703238486256 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22213] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22213/stat : 22213 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755991 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703237433952 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22214] ppid=22196 vsize=13982084 CPUtime=0.11 cores=1,3,5,7 /proc/22199/task/22214/stat : 22214 (java) S 22196 22199 5123 0 -1 1077944384 375 0 0 0 5 6 0 0 20 0 15 0 11755997 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703236381488 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 Current children cumulated CPU time (s) 227.19 Current children cumulated vsize (KiB) 13982084 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 1.68 1.69 1.68 3/209 22298 /proc/meminfo: memFree=30641772/32770624 swapFree=0/205300 [pid=22199] ppid=22196 vsize=13982084 CPUtime=245.01 cores=1,3,5,7 /proc/22199/stat : 22199 (java) S 22196 22199 5123 0 -1 1077944320 54365 0 0 0 24454 47 0 0 20 0 15 0 11755973 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 140736840527552 139704260218615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 12 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 /proc/22199/statm: 3495521 79444 3796 1 0 3484303 0 [pid=22199/tid=22201] ppid=22196 vsize=13982084 CPUtime=238.74 cores=1,3,5,7 /proc/22199/task/22201/stat : 22201 (java) R 22196 22199 5123 0 -1 4202560 19943 0 0 0 23864 10 0 0 20 0 15 0 11755986 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139704264457072 139703902847884 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22202] ppid=22196 vsize=13982084 CPUtime=0.56 cores=1,3,5,7 /proc/22199/task/22202/stat : 22202 (java) S 22196 22199 5123 0 -1 1077944384 2676 0 0 0 50 6 0 0 20 0 15 0 11755987 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139704217184528 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22203] ppid=22196 vsize=13982084 CPUtime=0.56 cores=1,3,5,7 /proc/22199/task/22203/stat : 22203 (java) S 22196 22199 5123 0 -1 1077944384 2073 0 0 0 50 6 0 0 20 0 15 0 11755987 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139704216131984 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22204] ppid=22196 vsize=13982084 CPUtime=0.54 cores=1,3,5,7 /proc/22199/task/22204/stat : 22204 (java) S 22196 22199 5123 0 -1 1077944384 1295 0 0 0 49 5 0 0 20 0 15 0 11755987 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139704215079440 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22205] ppid=22196 vsize=13982084 CPUtime=0.56 cores=1,3,5,7 /proc/22199/task/22205/stat : 22205 (java) S 22196 22199 5123 0 -1 1077944384 2346 0 0 0 50 6 0 0 20 0 15 0 11755987 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703856851600 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22206] ppid=22196 vsize=13982084 CPUtime=0.31 cores=1,3,5,7 /proc/22199/task/22206/stat : 22206 (java) S 22196 22199 5123 0 -1 1077944384 1832 0 0 0 27 4 0 0 20 0 15 0 11755988 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703244802544 139704260229762 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22207] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22207/stat : 22207 (java) S 22196 22199 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11755989 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703243748832 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22208] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22208/stat : 22208 (java) S 22196 22199 5123 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 11755989 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703242696192 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22209] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22209/stat : 22209 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755991 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703241644752 139704260237211 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22210] ppid=22196 vsize=13982084 CPUtime=1.39 cores=1,3,5,7 /proc/22199/task/22210/stat : 22210 (java) S 22196 22199 5123 0 -1 1077944384 9091 0 0 0 138 1 0 0 20 0 15 0 11755991 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703240591344 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22211] ppid=22196 vsize=13982084 CPUtime=1.4 cores=1,3,5,7 /proc/22199/task/22211/stat : 22211 (java) S 22196 22199 5123 0 -1 1077944384 4931 0 0 0 139 1 0 0 20 0 15 0 11755991 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703239538800 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22212] ppid=22196 vsize=13982084 CPUtime=0.74 cores=1,3,5,7 /proc/22199/task/22212/stat : 22212 (java) S 22196 22199 5123 0 -1 1077944384 8385 0 0 0 73 1 0 0 20 0 15 0 11755991 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703238486256 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22213] ppid=22196 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/22199/task/22213/stat : 22213 (java) S 22196 22199 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11755991 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703237433952 139704260228821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 [pid=22199/tid=22214] ppid=22196 vsize=13982084 CPUtime=0.11 cores=1,3,5,7 /proc/22199/task/22214/stat : 22214 (java) S 22196 22199 5123 0 -1 1077944384 375 0 0 0 5 6 0 0 20 0 15 0 11755997 14317654016 79444 18446744073709551615 4194304 4196468 140736840545008 139703236381488 139704260229762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19517440 140736840548754 140736840548939 140736840548939 140736840552399 0 Current children cumulated CPU time (s) 245.01 Current children cumulated vsize (KiB) 13982084 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 22199 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 240.022 CPU time (s): 245.061 CPU user time (s): 244.582 CPU system time (s): 0.479595 CPU usage (%): 102.1 Max. virtual memory (cumulated for all children) (KiB): 13982084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 244.582 system time used= 0.479595 maximum resident set size= 418840 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56486 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15229 involuntary context switches= 497 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.2109 second user time and 1.31886 second system time The end
Begin job on node130 at 2017-08-02 01:35:55 IDJOB=4256363 IDBENCH=124397 IDSOLVER=2639 FILE ID=node130/4256363-1501631390 RUNJOBID= node130-1501623088-15580 PBS_JOBID= Free space on /tmp= 61616 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-07-26 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n48-k7.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4256363-1501631390/watcher-4256363-1501631390 -o /tmp/evaluation-result-4256363-1501631390/solver-4256363-1501631390 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501623088-15580 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 706611695 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256363-1501631390.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 45202abbf2fd4260704b0005edccc47f RANDOM SEED=706611695 node130.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.46 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.46 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.46 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.46 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31649340 kB MemAvailable: 31852472 kB Buffers: 105628 kB Cached: 379808 kB SwapCached: 0 kB Active: 504776 kB Inactive: 213656 kB Active(anon): 233336 kB Inactive(anon): 8532 kB Active(file): 271440 kB Inactive(file): 205124 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42264 kB Writeback: 0 kB AnonPages: 230652 kB Mapped: 44740 kB Shmem: 8872 kB Slab: 109684 kB SReclaimable: 84808 kB SUnreclaim: 24876 kB KernelStack: 3504 kB PageTables: 5360 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1160024 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 114688 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 61576 MiB End job on node130 at 2017-08-02 01:39:55