Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | SAT (TO) | 2356 | 1957.84 | 252.132 |
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.29/0.25 c version: 2017-08-22 0.29/0.25 c seed: 16234054 0.29/0.25 c timeout: 2016 0.29/0.25 c memlimit: 22000 0.29/0.25 c nbcore: 8 0.29/0.28 c Parsing instance... 2.07/0.88 c Parsing done, starting search... 15.21/7.83 o 2914 15.93/7.96 o 2906 17.56/8.15 o 2849 18.31/8.23 o 2841 18.31/8.30 o 2833 19.13/8.32 o 2712 19.13/8.38 o 2680 19.13/8.39 o 2638 19.13/8.40 o 2635 19.92/8.41 o 2634 19.92/8.42 o 2624 19.92/8.43 o 2615 19.92/8.44 o 2583 19.92/8.46 o 2566 19.92/8.47 o 2552 20.67/8.51 o 2534 20.67/8.53 o 2486 20.67/8.54 o 2484 20.67/8.57 o 2474 22.27/8.72 o 2465 22.27/8.78 o 2463 26.98/9.35 o 2453 28.56/9.52 o 2447 111.36/19.95 o 2441 111.36/19.95 o 2437 119.31/21.00 o 2430 120.97/21.14 o 2429 233.29/35.21 o 2426 248.56/37.16 o 2422 341.69/48.87 o 2399 398.28/55.96 o 2396 663.01/89.17 o 2374 686.12/92.04 o 2360 686.12/92.05 o 2356 1957.02/252.08 s SATISFIABLE 1957.02/252.09 v <instantiation> 1957.02/252.09 v <list> 1957.02/252.09 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] 1957.02/252.09 v </list> 1957.02/252.09 v <values> 1957.02/252.09 v 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 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 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 45 28 34 100 100 77 52 28 80 54 37 76 89 11 83 75 77 100 70 25 52 100 57 45 50 38 24 47 26 62 78 48 100 51 38 100 80 95 44 10 23 87 29 84 100 65 54 1957.02/252.09 v </values> 1957.02/252.09 v </instantiation>
OK 2356
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (11515 MiB free) memory of node 1: 16384 MiB (11411 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4286042-1503440681/watcher-4286042-1503440681 -o /tmp/evaluation-result-4286042-1503440681/solver-4286042-1503440681 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503429131-21852 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 16234054 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4286042-1503440681.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=24399, runsolver pid=24396 Current StackSize limit: 8192 KiB [startup+0.100968 s]* /proc/loadavg: 1.81 4.14 5.85 1/198 24419 /proc/meminfo: memFree=23458696/32770624 swapFree=67108860/67108860 [pid=24399] ppid=24396 vsize=26000852 memory=31696 CPUtime=0.12 cores=0-7 /proc/24399/stat : 24399 (java) S 24396 24399 21825 0 -1 1077944320 8334 0 0 0 11 1 0 0 20 0 20 0 177148742 26624872448 7924 33554432000 4194304 4196468 140726162929024 140726162911568 139735224217335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 /proc/24399/statm: 6500213 7924 3413 1 0 6487932 0 [pid=24399/tid=24401] ppid=24396 vsize=26000852 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/24399/task/24401/stat : 24401 (java) R 24396 24399 21825 0 -1 4202560 6288 0 0 0 8 1 0 0 20 0 20 0 177148742 26624872448 7924 33554432000 4194304 4196468 140726162929024 139735228427808 139735208297822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24402] ppid=24396 vsize=26000852 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/24399/task/24402/stat : 24402 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26624872448 7924 33554432000 4194304 4196468 140726162929024 139735176837392 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24403] ppid=24396 vsize=26000852 memory=140348722345600 CPUtime=0 cores=0-7 /proc/24399/task/24403/stat : 24403 (java) S 24396 24399 21825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177148743 26624872448 7924 33554432000 4194304 4196468 140726162929024 139735175784848 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24404] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24404/stat : 24404 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26624872448 7924 33554432000 4194304 4196468 140726162929024 139735174732304 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24405] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24405/stat : 24405 (java) S 24396 24399 21825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177148743 26624872448 7924 33554432000 4194304 4196468 140726162929024 139735173679760 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24406] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24406/stat : 24406 (java) S 24396 24399 21825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177148743 26624872448 7924 33554432000 4194304 4196468 140726162929024 139735172627216 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24407] ppid=24396 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/24399/task/24407/stat : 24407 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26624872448 7924 33554432000 4194304 4196468 140726162929024 139735171574672 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24408] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24408/stat : 24408 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26624872448 7924 33554432000 4194304 4196468 140726162929024 139735170522128 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24409] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24409/stat : 24409 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26624872448 7924 33554432000 4194304 4196468 140726162929024 139735169469584 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24410] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24410/stat : 24410 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148745 26624872448 7924 33554432000 4194304 4196468 140726162929024 139734012434416 139735224228482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24411] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24411/stat : 24411 (java) S 24396 24399 21825 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177148745 26624872448 7924 33554432000 4194304 4196468 140726162929024 139734011380640 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24412] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24412/stat : 24412 (java) S 24396 24399 21825 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177148745 26624872448 7924 33554432000 4194304 4196468 140726162929024 139733942395888 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24413] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24413/stat : 24413 (java) S 24396 24399 21825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177148748 26624872448 7924 33554432000 4194304 4196468 140726162929024 139733941344464 139735224235931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24414] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24414/stat : 24414 (java) S 24396 24399 21825 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 177148748 26624872448 7924 33554432000 4194304 4196468 140726162929024 139733940292080 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24415] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24415/stat : 24415 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148748 26624872448 7924 33554432000 4194304 4196468 140726162929024 139733939239536 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24416] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24416/stat : 24416 (java) S 24396 24399 21825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177148748 26624872448 7924 33554432000 4194304 4196468 140726162929024 139733938186992 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24417] ppid=24396 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7 /proc/24399/task/24417/stat : 24417 (java) S 24396 24399 21825 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 20 0 177148748 26624872448 7924 33554432000 4194304 4196468 140726162929024 139733937134448 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24418] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24418/stat : 24418 (java) S 24396 24399 21825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177148748 26624872448 7924 33554432000 4194304 4196468 140726162929024 139733936081120 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24419] ppid=24396 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/24399/task/24419/stat : 24419 (java) S 24396 24399 21825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177148748 26624872448 7924 33554432000 4194304 4196468 140726162929024 139733935028656 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 31696 KiB [startup+0.210456 s]* /proc/loadavg: 1.81 4.14 5.85 3/198 24419 /proc/meminfo: memFree=23450692/32770624 swapFree=67108860/67108860 [pid=24399] ppid=24396 vsize=26000852 memory=40752 CPUtime=0.29 cores=0-7 /proc/24399/stat : 24399 (java) S 24396 24399 21825 0 -1 1077944320 9371 0 0 0 27 2 0 0 20 0 20 0 177148742 26624872448 10188 33554432000 4194304 4196468 140726162929024 140726162911568 139735224217335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 /proc/24399/statm: 6500213 10188 3601 1 0 6487932 0 [pid=24399/tid=24401] ppid=24396 vsize=26000852 memory=29681743523217448 CPUtime=0.2 cores=0-7 /proc/24399/task/24401/stat : 24401 (java) R 24396 24399 21825 0 -1 4202560 6946 0 0 0 18 2 0 0 20 0 20 0 177148742 26624872448 10188 33554432000 4194304 4196468 140726162929024 139735228422640 139735208297822 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24402] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24402/stat : 24402 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26624872448 10188 33554432000 4194304 4196468 140726162929024 139735176837392 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24403] ppid=24396 vsize=26000852 memory=288230376152827897 CPUtime=0 cores=0-7 /proc/24399/task/24403/stat : 24403 (java) S 24396 24399 21825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177148743 26624872448 10188 33554432000 4194304 4196468 140726162929024 139735175784848 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24404] ppid=24396 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/24399/task/24404/stat : 24404 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26624872448 10188 33554432000 4194304 4196468 140726162929024 139735174732304 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24405] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24405/stat : 24405 (java) S 24396 24399 21825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177148743 26624872448 10188 33554432000 4194304 4196468 140726162929024 139735173679760 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24406] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24406/stat : 24406 (java) S 24396 24399 21825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177148743 26624872448 10188 33554432000 4194304 4196468 140726162929024 139735172627216 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24407] ppid=24396 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/24399/task/24407/stat : 24407 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26624872448 10188 33554432000 4194304 4196468 140726162929024 139735171574672 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24408] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24408/stat : 24408 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26624872448 10188 33554432000 4194304 4196468 140726162929024 139735170522128 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24409] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24409/stat : 24409 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26624872448 10188 33554432000 4194304 4196468 140726162929024 139735169469584 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24410] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24410/stat : 24410 (java) S 24396 24399 21825 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 177148745 26624872448 10188 33554432000 4194304 4196468 140726162929024 139734012434416 139735224228482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24411] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24411/stat : 24411 (java) S 24396 24399 21825 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177148745 26624872448 10188 33554432000 4194304 4196468 140726162929024 139734011380640 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24412] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24412/stat : 24412 (java) S 24396 24399 21825 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177148745 26624872448 10188 33554432000 4194304 4196468 140726162929024 139733942395888 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24413] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24413/stat : 24413 (java) S 24396 24399 21825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177148748 26624872448 10188 33554432000 4194304 4196468 140726162929024 139733941344464 139735224235931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24414] ppid=24396 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/24399/task/24414/stat : 24414 (java) S 24396 24399 21825 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 20 0 177148748 26624872448 10188 33554432000 4194304 4196468 140726162929024 139733940292080 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24415] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24415/stat : 24415 (java) S 24396 24399 21825 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 177148748 26624872448 10188 33554432000 4194304 4196468 140726162929024 139733939239536 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24416] ppid=24396 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/24399/task/24416/stat : 24416 (java) S 24396 24399 21825 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 20 0 177148748 26624872448 10188 33554432000 4194304 4196468 140726162929024 139733938186992 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24417] ppid=24396 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7 /proc/24399/task/24417/stat : 24417 (java) R 24396 24399 21825 0 -1 4202560 392 0 0 0 5 0 0 0 20 0 20 0 177148748 26624872448 10188 33554432000 4194304 4196468 140726162929024 139733937134448 139735204862239 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24418] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24418/stat : 24418 (java) S 24396 24399 21825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177148748 26624872448 10188 33554432000 4194304 4196468 140726162929024 139733936081120 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24419] ppid=24396 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24419/stat : 24419 (java) S 24396 24399 21825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177148748 26624872448 10188 33554432000 4194304 4196468 140726162929024 139733935028656 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 40752 KiB [startup+0.310162 s]* /proc/loadavg: 1.81 4.14 5.85 2/198 24419 /proc/meminfo: memFree=23442524/32770624 swapFree=67108860/67108860 [pid=24399] ppid=24396 vsize=26000872 memory=49656 CPUtime=0.48 cores=0-7 /proc/24399/stat : 24399 (java) S 24396 24399 21825 0 -1 1077944320 10626 0 0 0 45 3 0 0 20 0 20 0 177148742 26624892928 12414 33554432000 4194304 4196468 140726162929024 140726162911568 139735224217335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 /proc/24399/statm: 6500218 12414 3724 1 0 6487932 0 [pid=24399/tid=24401] ppid=24396 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/24399/task/24401/stat : 24401 (java) R 24396 24399 21825 0 -1 4202560 7730 0 0 0 27 2 0 0 20 0 20 0 177148742 26624892928 12414 33554432000 4194304 4196468 140726162929024 139735228439184 139734831704193 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24402] ppid=24396 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24402/stat : 24402 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26624892928 12414 33554432000 4194304 4196468 140726162929024 139735176837392 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24403] ppid=24396 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24403/stat : 24403 (java) S 24396 24399 21825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177148743 26624892928 12414 33554432000 4194304 4196468 140726162929024 139735175784848 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24404] ppid=24396 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24404/stat : 24404 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26624892928 12414 33554432000 4194304 4196468 140726162929024 139735174732304 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24405] ppid=24396 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24405/stat : 24405 (java) S 24396 24399 21825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177148743 26624892928 12414 33554432000 4194304 4196468 140726162929024 139735173679760 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24406] ppid=24396 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24406/stat : 24406 (java) S 24396 24399 21825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177148743 26624892928 12414 33554432000 4194304 4196468 140726162929024 139735172627216 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24407] ppid=24396 vsize=26000872 memory=140348592581295 CPUtime=0 cores=0-7 /proc/24399/task/24407/stat : 24407 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26624892928 12414 33554432000 4194304 4196468 140726162929024 139735171574672 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24408] ppid=24396 vsize=26000872 memory=3471202396320837679 CPUtime=0 cores=0-7 /proc/24399/task/24408/stat : 24408 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26624892928 12414 33554432000 4194304 4196468 140726162929024 139735170522128 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24409] ppid=24396 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24409/stat : 24409 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26624892928 12414 33554432000 4194304 4196468 140726162929024 139735169469584 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24410] ppid=24396 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24410/stat : 24410 (java) S 24396 24399 21825 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 177148745 26624892928 12414 33554432000 4194304 4196468 140726162929024 139734012434416 139735224228482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24411] ppid=24396 vsize=26000872 memory=2110699199717412 CPUtime=0 cores=0-7 /proc/24399/task/24411/stat : 24411 (java) S 24396 24399 21825 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177148745 26624892928 12414 33554432000 4194304 4196468 140726162929024 139734011380640 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24412] ppid=24396 vsize=26000872 memory=2110699199696548 CPUtime=0 cores=0-7 /proc/24399/task/24412/stat : 24412 (java) S 24396 24399 21825 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177148745 26624892928 12414 33554432000 4194304 4196468 140726162929024 139733942395888 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24413] ppid=24396 vsize=26000872 memory=2110699199698852 CPUtime=0 cores=0-7 /proc/24399/task/24413/stat : 24413 (java) S 24396 24399 21825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177148748 26624892928 12414 33554432000 4194304 4196468 140726162929024 139733941344464 139735224235931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24414] ppid=24396 vsize=26000872 memory=2110699199717668 CPUtime=0.03 cores=0-7 /proc/24399/task/24414/stat : 24414 (java) S 24396 24399 21825 0 -1 1077944384 690 0 0 0 3 0 0 0 20 0 20 0 177148748 26624892928 12414 33554432000 4194304 4196468 140726162929024 139733940292080 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24415] ppid=24396 vsize=26000872 memory=2110699199703460 CPUtime=0.03 cores=0-7 /proc/24399/task/24415/stat : 24415 (java) S 24396 24399 21825 0 -1 1077944384 201 0 0 0 3 0 0 0 20 0 20 0 177148748 26624892928 12414 33554432000 4194304 4196468 140726162929024 139733939239536 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24416] ppid=24396 vsize=26000872 memory=2110699199717700 CPUtime=0.02 cores=0-7 /proc/24399/task/24416/stat : 24416 (java) S 24396 24399 21825 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 20 0 177148748 26624892928 12414 33554432000 4194304 4196468 140726162929024 139733938186992 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24417] ppid=24396 vsize=26000872 memory=2110699199717732 CPUtime=0.08 cores=0-7 /proc/24399/task/24417/stat : 24417 (java) S 24396 24399 21825 0 -1 1077944384 483 0 0 0 8 0 0 0 20 0 20 0 177148748 26624892928 12414 33554432000 4194304 4196468 140726162929024 139733937134448 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24418] ppid=24396 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24418/stat : 24418 (java) S 24396 24399 21825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177148748 26624892928 12414 33554432000 4194304 4196468 140726162929024 139733936081120 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24419] ppid=24396 vsize=26000872 memory=-1 CPUtime=0 cores=0-7 /proc/24399/task/24419/stat : 24419 (java) S 24396 24399 21825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177148748 26624892928 12414 33554432000 4194304 4196468 140726162929024 139733935028656 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26000872 KiB Current children cumulated memory: 49656 KiB [startup+0.701151 s] /proc/loadavg: 1.81 4.14 5.85 3/198 24419 /proc/meminfo: memFree=23427324/32770624 swapFree=67108860/67108860 [pid=24399] ppid=24396 vsize=26002920 memory=97028 CPUtime=1.6 cores=0-7 /proc/24399/stat : 24399 (java) S 24396 24399 21825 0 -1 1077944320 15353 0 0 0 155 5 0 0 20 0 20 0 177148742 26626990080 24257 33554432000 4194304 4196468 140726162929024 140726162911568 139735224217335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 /proc/24399/statm: 6500730 24257 3778 1 0 6488444 0 [pid=24399/tid=24401] ppid=24396 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7 /proc/24399/task/24401/stat : 24401 (java) R 24396 24399 21825 0 -1 4202560 8630 0 0 0 64 3 0 0 20 0 20 0 177148742 26626990080 24257 33554432000 4194304 4196468 140726162929024 139735228453120 139734831672448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24402] ppid=24396 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24402/stat : 24402 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26626990080 24257 33554432000 4194304 4196468 140726162929024 139735176837392 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24403] ppid=24396 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24403/stat : 24403 (java) S 24396 24399 21825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177148743 26626990080 24257 33554432000 4194304 4196468 140726162929024 139735175784848 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24404] ppid=24396 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/24399/task/24404/stat : 24404 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26626990080 24257 33554432000 4194304 4196468 140726162929024 139735174732304 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24405] ppid=24396 vsize=26002920 memory=2408 CPUtime=0 cores=0-7 /proc/24399/task/24405/stat : 24405 (java) S 24396 24399 21825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177148743 26626990080 24257 33554432000 4194304 4196468 140726162929024 139735173679760 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24406] ppid=24396 vsize=26002920 memory=1840 CPUtime=0 cores=0-7 /proc/24399/task/24406/stat : 24406 (java) S 24396 24399 21825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177148743 26626990080 24257 33554432000 4194304 4196468 140726162929024 139735172627216 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24407] ppid=24396 vsize=26002920 memory=1224 CPUtime=0 cores=0-7 /proc/24399/task/24407/stat : 24407 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26626990080 24257 33554432000 4194304 4196468 140726162929024 139735171574672 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24408] ppid=24396 vsize=26002920 memory=12132 CPUtime=0 cores=0-7 /proc/24399/task/24408/stat : 24408 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26626990080 24257 33554432000 4194304 4196468 140726162929024 139735170522128 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24409] ppid=24396 vsize=26002920 memory=5792 CPUtime=0 cores=0-7 /proc/24399/task/24409/stat : 24409 (java) S 24396 24399 21825 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177148743 26626990080 24257 33554432000 4194304 4196468 140726162929024 139735169469584 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24410] ppid=24396 vsize=26002920 memory=796 CPUtime=0 cores=0-7 /proc/24399/task/24410/stat : 24410 (java) S 24396 24399 21825 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 177148745 26626990080 24257 33554432000 4194304 4196468 140726162929024 139734012434416 139735224228482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 ################ # More data... # ################ /proc/24399/task/24425/stat : 24425 (java) R 24396 24399 21825 0 -1 4202560 6710 0 0 0 21142 13 0 0 20 0 46 0 177149480 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733915275272 139734840789215 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24426] ppid=24396 vsize=27743860 memory=280697185730608 CPUtime=0.11 cores=0-7 /proc/24399/task/24426/stat : 24426 (java) S 24396 24399 21825 0 -1 1077944384 55 0 0 0 11 0 0 0 20 0 46 0 177149480 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733914227472 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24427] ppid=24396 vsize=27743860 memory=6645459911560372124 CPUtime=212.22 cores=0-7 /proc/24399/task/24427/stat : 24427 (java) R 24396 24399 21825 0 -1 4202560 7395 0 0 0 21207 15 0 0 20 0 46 0 177149480 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733913170488 139734832731399 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24428] ppid=24396 vsize=27743860 memory=-3535470213243961690 CPUtime=212.17 cores=0-7 /proc/24399/task/24428/stat : 24428 (java) R 24396 24399 21825 0 -1 4202560 7260 0 0 0 21206 11 0 0 20 0 46 0 177149480 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733912119392 139734839851399 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24429] ppid=24396 vsize=27743860 memory=164 CPUtime=210.85 cores=0-7 /proc/24399/task/24429/stat : 24429 (java) R 24396 24399 21825 0 -1 4202560 9064 0 0 0 21070 15 0 0 20 0 46 0 177149480 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733911065640 139734835582311 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24430] ppid=24396 vsize=27743860 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/24399/task/24430/stat : 24430 (java) S 24396 24399 21825 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 46 0 177149480 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733910017296 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24431] ppid=24396 vsize=27743860 memory=6943526294502006880 CPUtime=212.42 cores=0-7 /proc/24399/task/24431/stat : 24431 (java) R 24396 24399 21825 0 -1 4202560 9142 0 0 0 21224 18 0 0 20 0 46 0 177149481 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733908958248 139734839738844 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24432] ppid=24396 vsize=27743860 memory=15688 CPUtime=0 cores=0-7 /proc/24399/task/24432/stat : 24432 (java) S 24396 24399 21825 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 46 0 177149481 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733907912208 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24433] ppid=24396 vsize=27743860 memory=18192 CPUtime=212.07 cores=0-7 /proc/24399/task/24433/stat : 24433 (java) R 24396 24399 21825 0 -1 4202560 8978 0 0 0 21192 15 0 0 20 0 46 0 177149481 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733906855464 139734835585738 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24434] ppid=24396 vsize=27743860 memory=28036 CPUtime=0 cores=0-7 /proc/24399/task/24434/stat : 24434 (java) S 24396 24399 21825 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 46 0 177149528 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733903672080 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24435] ppid=24396 vsize=27743860 memory=59 CPUtime=0 cores=0-7 /proc/24399/task/24435/stat : 24435 (java) S 24396 24399 21825 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 46 0 177149530 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733902619440 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24436] ppid=24396 vsize=27743860 memory=19527 CPUtime=0 cores=0-7 /proc/24399/task/24436/stat : 24436 (java) S 24396 24399 21825 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 177149532 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733856318384 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24437] ppid=24396 vsize=27743860 memory=2888568 CPUtime=0 cores=0-7 /proc/24399/task/24437/stat : 24437 (java) S 24396 24399 21825 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 46 0 177149534 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733855265936 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24438] ppid=24396 vsize=27743860 memory=140353017312895 CPUtime=0 cores=0-7 /proc/24399/task/24438/stat : 24438 (java) S 24396 24399 21825 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 46 0 177149537 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733854213264 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24439] ppid=24396 vsize=27743860 memory=28586861388 CPUtime=0 cores=0-7 /proc/24399/task/24439/stat : 24439 (java) S 24396 24399 21825 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 46 0 177149538 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733853160848 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24440] ppid=24396 vsize=27743860 memory=28586861382 CPUtime=0 cores=0-7 /proc/24399/task/24440/stat : 24440 (java) S 24396 24399 21825 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 46 0 177149539 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733852108304 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24441] ppid=24396 vsize=27743860 memory=2891060 CPUtime=0 cores=0-7 /proc/24399/task/24441/stat : 24441 (java) S 24396 24399 21825 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 46 0 177149540 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733851055760 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24442] ppid=24396 vsize=27743860 memory=2891572 CPUtime=0 cores=0-7 /proc/24399/task/24442/stat : 24442 (java) S 24396 24399 21825 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 46 0 177149581 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733850002096 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24443] ppid=24396 vsize=27743860 memory=2894600 CPUtime=0 cores=0-7 /proc/24399/task/24443/stat : 24443 (java) S 24396 24399 21825 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 46 0 177149584 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733848949648 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24444] ppid=24396 vsize=27743860 memory=4144 CPUtime=0 cores=0-7 /proc/24399/task/24444/stat : 24444 (java) S 24396 24399 21825 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 46 0 177149586 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733847897104 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24445] ppid=24396 vsize=27743860 memory=49164 CPUtime=0 cores=0-7 /proc/24399/task/24445/stat : 24445 (java) S 24396 24399 21825 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 46 0 177149590 28409712640 722142 33554432000 4194304 4196468 140726162929024 139733846844560 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 Current children cumulated CPU time: 1721.16 s Current children cumulated vsize: 27743860 KiB Current children cumulated memory: 2888568 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 8.58 6.76 6.53 10/225 24446 /proc/meminfo: memFree=20602624/32770624 swapFree=67108860/67108860 [pid=24399] ppid=24396 vsize=27743860 memory=2879320 CPUtime=1957.02 cores=0-7 /proc/24399/stat : 24399 (java) S 24396 24399 21825 0 -1 1077944320 233126 0 0 0 195464 238 0 0 20 0 46 0 177148742 28409712640 719830 33554432000 4194304 4196468 140726162929024 140726162911568 139735224217335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 /proc/24399/statm: 6935965 719830 3850 1 0 6923158 0 [pid=24399/tid=24401] ppid=24396 vsize=27743860 memory=1398720917958146503 CPUtime=7.27 cores=0-7 /proc/24399/task/24401/stat : 24401 (java) S 24396 24399 21825 0 -1 1077944384 14465 0 0 0 718 9 0 0 20 0 46 0 177148742 28409712640 719830 33554432000 4194304 4196468 140726162929024 139735228455040 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24402] ppid=24396 vsize=27743860 memory=4126316290023845779 CPUtime=1.29 cores=0-7 /proc/24399/task/24402/stat : 24402 (java) S 24396 24399 21825 0 -1 1077944384 9916 0 0 0 120 9 0 0 20 0 46 0 177148743 28409712640 719830 33554432000 4194304 4196468 140726162929024 139735176837392 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24403] ppid=24396 vsize=27743860 memory=1716 CPUtime=1.27 cores=0-7 /proc/24399/task/24403/stat : 24403 (java) S 24396 24399 21825 0 -1 1077944384 7748 0 0 0 118 9 0 0 20 0 46 0 177148743 28409712640 719830 33554432000 4194304 4196468 140726162929024 139735175784848 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24404] ppid=24396 vsize=27743860 memory=1860 CPUtime=1.3 cores=0-7 /proc/24399/task/24404/stat : 24404 (java) S 24396 24399 21825 0 -1 1077944384 6605 0 0 0 120 10 0 0 20 0 46 0 177148743 28409712640 719830 33554432000 4194304 4196468 140726162929024 139735174732304 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24405] ppid=24396 vsize=27743860 memory=2881892 CPUtime=1.28 cores=0-7 /proc/24399/task/24405/stat : 24405 (java) S 24396 24399 21825 0 -1 1077944384 7544 0 0 0 120 8 0 0 20 0 46 0 177148743 28409712640 719830 33554432000 4194304 4196468 140726162929024 139735173679760 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24406] ppid=24396 vsize=27743860 memory=15688 CPUtime=1.29 cores=0-7 /proc/24399/task/24406/stat : 24406 (java) S 24396 24399 21825 0 -1 1077944384 10794 0 0 0 119 10 0 0 20 0 46 0 177148743 28409712640 719830 33554432000 4194304 4196468 140726162929024 139735172627216 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24407] ppid=24396 vsize=27743860 memory=18192 CPUtime=1.22 cores=0-7 /proc/24399/task/24407/stat : 24407 (java) S 24396 24399 21825 0 -1 1077944384 9257 0 0 0 113 9 0 0 20 0 46 0 177148743 28409712640 719830 33554432000 4194304 4196468 140726162929024 139735171574672 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24408] ppid=24396 vsize=27743860 memory=28036 CPUtime=1.27 cores=0-7 /proc/24399/task/24408/stat : 24408 (java) S 24396 24399 21825 0 -1 1077944384 8754 0 0 0 118 9 0 0 20 0 46 0 177148743 28409712640 719830 33554432000 4194304 4196468 140726162929024 139735170522128 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24409] ppid=24396 vsize=27743860 memory=2882404 CPUtime=1.27 cores=0-7 /proc/24399/task/24409/stat : 24409 (java) S 24396 24399 21825 0 -1 1077944384 8434 0 0 0 118 9 0 0 20 0 46 0 177148743 28409712640 719830 33554432000 4194304 4196468 140726162929024 139735169469584 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24410] ppid=24396 vsize=27743860 memory=1736 CPUtime=0.3 cores=0-7 /proc/24399/task/24410/stat : 24410 (java) S 24396 24399 21825 0 -1 1077944384 19448 0 0 0 24 6 0 0 20 0 46 0 177148745 28409712640 719830 33554432000 4194304 4196468 140726162929024 139734012434416 139735224228482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24411] ppid=24396 vsize=27743860 memory=628 CPUtime=0 cores=0-7 /proc/24399/task/24411/stat : 24411 (java) S 24396 24399 21825 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 46 0 177148745 28409712640 719830 33554432000 4194304 4196468 140726162929024 139734011380704 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24412] ppid=24396 vsize=27743860 memory=1236 CPUtime=0 cores=0-7 /proc/24399/task/24412/stat : 24412 (java) S 24396 24399 21825 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 46 0 177148745 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733942395904 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24413] ppid=24396 vsize=27743860 memory=932 CPUtime=0 cores=0-7 /proc/24399/task/24413/stat : 24413 (java) S 24396 24399 21825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 177148748 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733941344464 139735224235931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24414] ppid=24396 vsize=27743860 memory=2452 CPUtime=2.05 cores=0-7 /proc/24399/task/24414/stat : 24414 (java) S 24396 24399 21825 0 -1 1077944384 8617 0 0 0 203 2 0 0 20 0 46 0 177148748 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733940292080 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24415] ppid=24396 vsize=27743860 memory=932 CPUtime=2.45 cores=0-7 /proc/24399/task/24415/stat : 24415 (java) S 24396 24399 21825 0 -1 1077944384 7779 0 0 0 242 3 0 0 20 0 46 0 177148748 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733939239536 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24416] ppid=24396 vsize=27743860 memory=1572 CPUtime=2.61 cores=0-7 /proc/24399/task/24416/stat : 24416 (java) S 24396 24399 21825 0 -1 1077944384 12367 0 0 0 258 3 0 0 20 0 46 0 177148748 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733938186992 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24417] ppid=24396 vsize=27743860 memory=2228 CPUtime=1.13 cores=0-7 /proc/24399/task/24417/stat : 24417 (java) S 24396 24399 21825 0 -1 1077944384 10229 0 0 0 111 2 0 0 20 0 46 0 177148748 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733937134448 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24418] ppid=24396 vsize=27743860 memory=4124 CPUtime=0 cores=0-7 /proc/24399/task/24418/stat : 24418 (java) S 24396 24399 21825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 177148748 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733936081120 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24419] ppid=24396 vsize=27743860 memory=304274648164728858 CPUtime=0.09 cores=0-7 /proc/24399/task/24419/stat : 24419 (java) S 24396 24399 21825 0 -1 1077944384 1312 0 0 0 6 3 0 0 20 0 46 0 177148748 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733935028656 139735224228482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24420] ppid=24396 vsize=27743860 memory=290763896594366775 CPUtime=0 cores=0-7 /proc/24399/task/24420/stat : 24420 (java) S 24396 24399 21825 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 46 0 177149456 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733924737792 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24421] ppid=24396 vsize=27743860 memory=14412618299345479 CPUtime=0.72 cores=0-7 /proc/24399/task/24421/stat : 24421 (java) R 24396 24399 21825 0 -1 1077944384 3904 0 0 0 33 39 0 0 20 0 46 0 177149467 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733921588272 139735224228482 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24422] ppid=24396 vsize=27743860 memory=14412618299345479 CPUtime=241.24 cores=0-7 /proc/24399/task/24422/stat : 24422 (java) R 24396 24399 21825 0 -1 4202560 10135 0 0 0 24105 19 0 0 20 0 46 0 177149477 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733918432032 139734836724136 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24423] ppid=24396 vsize=27743860 memory=4436 CPUtime=241.93 cores=0-7 /proc/24399/task/24423/stat : 24423 (java) R 24396 24399 21825 0 -1 4202560 8821 0 0 0 24181 12 0 0 20 0 46 0 177149478 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733917379488 139734839186504 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24424] ppid=24396 vsize=27743860 memory=2885484 CPUtime=0 cores=0-7 /proc/24399/task/24424/stat : 24424 (java) S 24396 24399 21825 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 46 0 177149478 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733916333584 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24425] ppid=24396 vsize=27743860 memory=4108 CPUtime=240.89 cores=0-7 /proc/24399/task/24425/stat : 24425 (java) R 24396 24399 21825 0 -1 4202560 8890 0 0 0 24074 15 0 0 20 0 46 0 177149480 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733915278016 139734835910571 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24426] ppid=24396 vsize=27743860 memory=1398720917958146503 CPUtime=0.11 cores=0-7 /proc/24399/task/24426/stat : 24426 (java) S 24396 24399 21825 0 -1 1077944384 55 0 0 0 11 0 0 0 20 0 46 0 177149480 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733914227472 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24427] ppid=24396 vsize=27743860 memory=4126316290023845779 CPUtime=241.56 cores=0-7 /proc/24399/task/24427/stat : 24427 (java) R 24396 24399 21825 0 -1 4202560 9573 0 0 0 24140 16 0 0 20 0 46 0 177149480 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733913171352 139734839470159 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24428] ppid=24396 vsize=27743860 memory=1436 CPUtime=241.37 cores=0-7 /proc/24399/task/24428/stat : 24428 (java) R 24396 24399 21825 0 -1 4202560 9265 0 0 0 24124 13 0 0 20 0 46 0 177149480 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733912115744 139734836724029 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24429] ppid=24396 vsize=27743860 memory=1012 CPUtime=240.01 cores=0-7 /proc/24399/task/24429/stat : 24429 (java) R 24396 24399 21825 0 -1 4202560 12092 0 0 0 23984 17 0 0 20 0 46 0 177149480 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733911063200 139734835910555 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24430] ppid=24396 vsize=27743860 memory=1716 CPUtime=0 cores=0-7 /proc/24399/task/24430/stat : 24430 (java) S 24396 24399 21825 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 46 0 177149480 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733910017296 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24431] ppid=24396 vsize=27743860 memory=1860 CPUtime=241.57 cores=0-7 /proc/24399/task/24431/stat : 24431 (java) R 24396 24399 21825 0 -1 4202560 11213 0 0 0 24137 20 0 0 20 0 46 0 177149481 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733908960552 139734840791748 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24432] ppid=24396 vsize=27743860 memory=8744 CPUtime=0 cores=0-7 /proc/24399/task/24432/stat : 24432 (java) S 24396 24399 21825 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 46 0 177149481 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733907912208 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24433] ppid=24396 vsize=27743860 memory=4126316290023845779 CPUtime=241.23 cores=0-7 /proc/24399/task/24433/stat : 24433 (java) R 24396 24399 21825 0 -1 4202560 12283 0 0 0 24104 19 0 0 20 0 46 0 177149481 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733906853160 139734839193834 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24434] ppid=24396 vsize=27743860 memory=628 CPUtime=0 cores=0-7 /proc/24399/task/24434/stat : 24434 (java) S 24396 24399 21825 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 46 0 177149528 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733903672080 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24435] ppid=24396 vsize=27743860 memory=1236 CPUtime=0 cores=0-7 /proc/24399/task/24435/stat : 24435 (java) S 24396 24399 21825 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 46 0 177149530 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733902619440 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24436] ppid=24396 vsize=27743860 memory=932 CPUtime=0 cores=0-7 /proc/24399/task/24436/stat : 24436 (java) S 24396 24399 21825 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 177149532 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733856318384 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24437] ppid=24396 vsize=27743860 memory=2452 CPUtime=0 cores=0-7 /proc/24399/task/24437/stat : 24437 (java) S 24396 24399 21825 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 46 0 177149534 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733855265936 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24438] ppid=24396 vsize=27743860 memory=932 CPUtime=0 cores=0-7 /proc/24399/task/24438/stat : 24438 (java) S 24396 24399 21825 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 46 0 177149537 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733854213264 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24439] ppid=24396 vsize=27743860 memory=1572 CPUtime=0 cores=0-7 /proc/24399/task/24439/stat : 24439 (java) S 24396 24399 21825 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 46 0 177149538 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733853160848 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24440] ppid=24396 vsize=27743860 memory=2228 CPUtime=0 cores=0-7 /proc/24399/task/24440/stat : 24440 (java) S 24396 24399 21825 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 46 0 177149539 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733852108304 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24441] ppid=24396 vsize=27743860 memory=4124 CPUtime=0 cores=0-7 /proc/24399/task/24441/stat : 24441 (java) S 24396 24399 21825 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 46 0 177149540 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733851055760 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24442] ppid=24396 vsize=27743860 memory=2208 CPUtime=0 cores=0-7 /proc/24399/task/24442/stat : 24442 (java) S 24396 24399 21825 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 46 0 177149581 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733850002096 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24443] ppid=24396 vsize=27743860 memory=8052 CPUtime=0 cores=0-7 /proc/24399/task/24443/stat : 24443 (java) S 24396 24399 21825 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 46 0 177149584 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733848949648 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24444] ppid=24396 vsize=27743860 memory=844 CPUtime=0 cores=0-7 /proc/24399/task/24444/stat : 24444 (java) S 24396 24399 21825 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 46 0 177149586 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733847897104 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 [pid=24399/tid=24445] ppid=24396 vsize=27743860 memory=1692 CPUtime=0 cores=0-7 /proc/24399/task/24445/stat : 24445 (java) S 24396 24399 21825 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 46 0 177149590 28409712640 719830 33554432000 4194304 4196468 140726162929024 139733846844560 139735224227541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22945792 140726162936937 140726162937120 140726162937120 140726162939855 0 Current children cumulated CPU time: 1957.02 s Current children cumulated vsize: 27743860 KiB Current children cumulated memory: 2879320 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.132 s] # the end of solver process 24399 was just reported to runsolver # cumulated CPU time of all completed processes: user=1955.43 s, system=2.40937 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.132 CPU time (s): 1957.84 CPU user time (s): 1955.43 CPU system time (s): 2.40937 CPU usage (%): 776.514 Max. virtual memory (cumulated for all children) (KiB): 27743860 Max. memory (cumulated for all children) (KiB): 3506152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1955.43 system time used= 2.40937 maximum resident set size= 3506152 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 234930 page faults= 0 swaps= 0 block input operations= 0 block output operations= 568 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 49698 involuntary context switches= 41228 # summary of solver processes directly reported to runsolver: # pid: 24399 # total CPU time (s): 1957.84 # total CPU user time (s): 1955.43 # total CPU system time (s): 2.40937 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.49534 second user time and 3.76387 second system time The end
Begin job on node149 at 2017-08-23 00:10:20 IDJOB=4286042 IDBENCH=124397 IDSOLVER=2682 FILE ID=node149/4286042-1503440681 RUNJOBID= node149-1503429131-21852 PBS_JOBID= 20632141 Free space on /tmp= 61524 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n48-k7.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4286042-1503440681/watcher-4286042-1503440681 -o /tmp/evaluation-result-4286042-1503440681/solver-4286042-1503440681 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503429131-21852 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 16234054 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4286042-1503440681.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 45202abbf2fd4260704b0005edccc47f RANDOM SEED=16234054 node149.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.43 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.43 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.43 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.43 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: 23477692 kB MemAvailable: 31937748 kB Buffers: 287460 kB Cached: 8447972 kB SwapCached: 0 kB Active: 3273544 kB Inactive: 5519084 kB Active(anon): 4844 kB Inactive(anon): 96424 kB Active(file): 3268700 kB Inactive(file): 5422660 kB Unevictable: 7916 kB Mlocked: 7916 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42264 kB Writeback: 0 kB AnonPages: 170084 kB Mapped: 54784 kB Shmem: 41608 kB Slab: 196196 kB SReclaimable: 169060 kB SUnreclaim: 27136 kB KernelStack: 3520 kB PageTables: 5668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 343532 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 112640 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 97664 kB DirectMap2M: 33447936 kB Free space on /tmp at the end= 61484 MiB End job on node149 at 2017-08-23 00:14:32