Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering 2017-07-26 | SAT (TO) | 3700 | 2520.05 | 2499.3401 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml |
| MD5SUM | 204525c81941dcb64589d695195e220f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 1407 |
| Best CPU time to get the best result obtained on this benchmark | 2400.09 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3660 |
| Number of constraints | 3599 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":60},{"size":2,"count":3540},{"size":101,"count":59}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 117 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":60},{"degree":2,"count":118},{"degree":4,"count":3422},{"degree":117,"count":59}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 59 |
| Distribution of constraint arities | [{"arity":1,"count":59},{"arity":3,"count":3422},{"arity":59,"count":118}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 59 |
| Distribution of constraint types | [{"type":"intension","count":59},{"type":"sum","count":3422},{"type":"count","count":118}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.29/0.37 c version: 2017-07-26 0.29/0.37 c seed: 5047549 0.29/0.37 c timeout: 2520 0.29/0.37 c memlimit: 11000 0.29/0.37 c nbcore: 4 0.29/0.39 c Parsing instance... 3.33/1.47 c Parsing done, starting search... 3.65/1.58 o 3967 3.97/1.60 o 3954 3.97/1.66 o 3917 3.97/1.69 o 3855 4.29/1.70 o 3850 4.29/1.71 o 3838 4.29/1.72 o 3836 4.29/1.73 o 3811 4.29/1.76 o 3793 4.61/1.88 o 3788 4.92/1.91 o 3786 7.14/3.62 o 3778 8.66/5.16 o 3770 8.76/5.25 o 3763 10.95/7.39 o 3751 11.25/7.64 o 3745 11.25/7.65 o 3743 104.45/100.33 o 3737 147.04/142.72 o 3733 156.69/152.39 o 3727 218.51/213.84 o 3723 247.60/242.76 o 3721 250.23/245.30 o 3719 258.50/253.57 o 3715 496.34/489.78 o 3708 497.15/490.52 o 3700 2520.00/2499.31 s SATISFIABLE 2520.00/2499.32 v <instantiation> 2520.00/2499.32 v <list> 2520.00/2499.32 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] 2520.00/2499.32 v </list> 2520.00/2499.32 v <values> 2520.00/2499.32 v 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 11 7 11 99 66 100 89 23 36 30 97 31 68 100 30 37 2 100 100 19 51 65 61 41 24 53 23 82 45 79 20 57 90 5 76 49 34 53 100 44 77 51 100 95 77 100 83 100 81 77 42 98 55 11 79 67 9 100 2520.00/2499.32 v </values> 2520.00/2499.32 v </instantiation>
OK 3700
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 (15057 MiB free)
memory of node 1: 16384 MiB (15649 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273773-1502759958/watcher-4273773-1502759958 -o /tmp/evaluation-result-4273773-1502759958/solver-4273773-1502759958 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7260 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 5047549 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273773-1502759958.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9687, runsolver pid=9684
Current StackSize limit: 8192 KiB
[startup+0.102197 s]*
/proc/loadavg: 1.33 1.37 1.35 3/202 9694
/proc/meminfo: memFree=31439908/32770624 swapFree=67108860/67108860
[pid=9687] ppid=9684 vsize=13573664 memory=16696 CPUtime=0.02 cores=1,3,5,7
/proc/9687/stat : 9687 (java) S 9684 9687 2357 0 -1 1077944320 4055 0 0 0 1 1 0 0 20 0 9 0 3610924 13899431936 4174 18446744073709551615 4194304 4196468 140736454392192 140736454374736 139898699628279 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
/proc/9687/statm: 3393416 4174 2090 1 0 3382913 0
[pid=9687/tid=9689] ppid=9684 vsize=13573664 memory=-8035107114825123821 CPUtime=0.01 cores=1,3,5,7
/proc/9687/task/9689/stat : 9689 (java) R 9684 9687 2357 0 -1 4202560 2683 0 0 0 1 0 0 0 20 0 9 0 3610933 13899431936 4174 18446744073709551615 4194304 4196468 140736454392192 139898703864008 139898308921690 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9690] ppid=9684 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9690/stat : 9690 (java) S 9684 9687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 3610933 13899431936 4174 18446744073709551615 4194304 4196468 140736454392192 139898634062096 139898699638485 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9691] ppid=9684 vsize=13573664 memory=139753314178688 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9691/stat : 9691 (java) S 9684 9687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 3610933 13899431936 4174 18446744073709551615 4194304 4196468 140736454392192 139898633009552 139898699638485 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9692] ppid=9684 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9692/stat : 9692 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 9 0 3610933 13899431936 4174 18446744073709551615 4194304 4196468 140736454392192 139898631957008 139898699638485 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9693] ppid=9684 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9693/stat : 9693 (java) S 9684 9687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 3610933 13899431936 4174 18446744073709551615 4194304 4196468 140736454392192 139898630904464 139898699638485 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9694] ppid=9684 vsize=13573664 memory=139753314178688 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9694/stat : 9694 (java) S 9684 9687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 3610935 13899431936 4174 18446744073709551615 4194304 4196468 140736454392192 139897818032624 139898699639426 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9695] ppid=9684 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9695/stat : 9695 (java) S 9684 9687 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 3610935 13899431936 4174 18446744073709551615 4194304 4196468 140736454392192 139897816978848 139898699638485 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9696] ppid=9684 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9696/stat : 9696 (java) S 9684 9687 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 3610935 13899431936 4174 18446744073709551615 4194304 4196468 140736454392192 139897815926320 139898699638485 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 16696 KiB
[startup+0.20989 s]*
/proc/loadavg: 1.33 1.37 1.35 3/210 9702
/proc/meminfo: memFree=31428488/32770624 swapFree=67108860/67108860
[pid=9687] ppid=9684 vsize=13976944 memory=34888 CPUtime=0.11 cores=1,3,5,7
/proc/9687/stat : 9687 (java) S 9684 9687 2357 0 -1 1077944320 9475 0 0 0 9 2 0 0 20 0 15 0 3610924 14312390656 8722 18446744073709551615 4194304 4196468 140736454392192 140736454374736 139898699628279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
/proc/9687/statm: 3494236 8722 3383 1 0 3483015 0
[pid=9687/tid=9689] ppid=9684 vsize=13976944 memory=7078076838863583850 CPUtime=0.09 cores=1,3,5,7
/proc/9687/task/9689/stat : 9689 (java) R 9684 9687 2357 0 -1 4202560 7424 0 0 0 7 2 0 0 20 0 15 0 3610933 14312390656 8525 18446744073709551615 4194304 4196468 140736454392192 139898703817728 139898692345383 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9690] ppid=9684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9690/stat : 9690 (java) S 9684 9687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3610933 14311342080 8525 18446744073709551615 4194304 4196468 140736454392192 139898634062096 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9691] ppid=9684 vsize=13975920 memory=139753314178688 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9691/stat : 9691 (java) S 9684 9687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3610933 14311342080 8525 18446744073709551615 4194304 4196468 140736454392192 139898633009552 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9692] ppid=9684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9692/stat : 9692 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610933 14311342080 8525 18446744073709551615 4194304 4196468 140736454392192 139898631957008 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9693] ppid=9684 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9693/stat : 9693 (java) S 9684 9687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3610933 14311342080 8525 18446744073709551615 4194304 4196468 140736454392192 139898630904464 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9694] ppid=9684 vsize=13975920 memory=139753314178688 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9694/stat : 9694 (java) S 9684 9687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3610935 14311342080 8525 18446744073709551615 4194304 4196468 140736454392192 139897818032624 139898699639426 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9695] ppid=9684 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9695/stat : 9695 (java) S 9684 9687 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3610935 14311342080 8525 18446744073709551615 4194304 4196468 140736454392192 139897816978848 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9696] ppid=9684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9696/stat : 9696 (java) S 9684 9687 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3610935 14311342080 8525 18446744073709551615 4194304 4196468 140736454392192 139897815926256 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9697] ppid=9684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9697/stat : 9697 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610938 14311342080 8525 18446744073709551615 4194304 4196468 140736454392192 139897814874832 139898699646875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9698] ppid=9684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9698/stat : 9698 (java) S 9684 9687 2357 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 3610938 14311342080 8525 18446744073709551615 4194304 4196468 140736454392192 139897813821424 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9699] ppid=9684 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9699/stat : 9699 (java) S 9684 9687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3610938 14311342080 8525 18446744073709551615 4194304 4196468 140736454392192 139897812768880 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9700] ppid=9684 vsize=13975920 memory=139753314178688 CPUtime=0.01 cores=1,3,5,7
/proc/9687/task/9700/stat : 9700 (java) S 9684 9687 2357 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 15 0 3610938 14311342080 8525 18446744073709551615 4194304 4196468 140736454392192 139897811716336 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9701] ppid=9684 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9701/stat : 9701 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610938 14311342080 8525 18446744073709551615 4194304 4196468 140736454392192 139897810664032 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9702] ppid=9684 vsize=13975920 memory=139753314178688 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9702/stat : 9702 (java) S 9684 9687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3610941 14311342080 8525 18446744073709551615 4194304 4196468 140736454392192 139897809611568 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13976944 KiB
Current children cumulated memory: 34888 KiB
[startup+0.310418 s]*
/proc/loadavg: 1.33 1.37 1.35 4/210 9702
/proc/meminfo: memFree=31419952/32770624 swapFree=67108860/67108860
[pid=9687] ppid=9684 vsize=13975920 memory=42948 CPUtime=0.29 cores=1,3,5,7
/proc/9687/stat : 9687 (java) S 9684 9687 2357 0 -1 1077944320 10996 0 0 0 25 4 0 0 20 0 15 0 3610924 14311342080 10737 18446744073709551615 4194304 4196468 140736454392192 140736454374736 139898699628279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
/proc/9687/statm: 3493980 10737 3574 1 0 3482759 0
[pid=9687/tid=9689] ppid=9684 vsize=13975920 memory=7680170660397595203 CPUtime=0.19 cores=1,3,5,7
/proc/9687/task/9689/stat : 9689 (java) R 9684 9687 2357 0 -1 4202560 8571 0 0 0 16 3 0 0 20 0 15 0 3610933 14311342080 10737 18446744073709551615 4194304 4196468 140736454392192 139898703841008 139898699650205 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9690] ppid=9684 vsize=13975920 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9690/stat : 9690 (java) S 9684 9687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3610933 14311342080 10737 18446744073709551615 4194304 4196468 140736454392192 139898634062096 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9691] ppid=9684 vsize=13975920 memory=-8412656575859357338 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9691/stat : 9691 (java) S 9684 9687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3610933 14311342080 10737 18446744073709551615 4194304 4196468 140736454392192 139898633009552 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9692] ppid=9684 vsize=13975920 memory=7753707111402272275 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9692/stat : 9692 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610933 14311342080 10737 18446744073709551615 4194304 4196468 140736454392192 139898631957008 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9693] ppid=9684 vsize=13975920 memory=6933928925625698159 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9693/stat : 9693 (java) S 9684 9687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3610933 14311342080 10737 18446744073709551615 4194304 4196468 140736454392192 139898630904464 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9694] ppid=9684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9694/stat : 9694 (java) S 9684 9687 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3610935 14311342080 10737 18446744073709551615 4194304 4196468 140736454392192 139897818032624 139898699639426 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9695] ppid=9684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9695/stat : 9695 (java) S 9684 9687 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3610935 14311342080 10737 18446744073709551615 4194304 4196468 140736454392192 139897816978848 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9696] ppid=9684 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9696/stat : 9696 (java) S 9684 9687 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3610935 14311342080 10737 18446744073709551615 4194304 4196468 140736454392192 139897815926256 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9697] ppid=9684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9697/stat : 9697 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610938 14311342080 10737 18446744073709551615 4194304 4196468 140736454392192 139897814874832 139898699646875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9698] ppid=9684 vsize=13975920 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9687/task/9698/stat : 9698 (java) S 9684 9687 2357 0 -1 1077944384 432 0 0 0 2 0 0 0 20 0 15 0 3610938 14311342080 10737 18446744073709551615 4194304 4196468 140736454392192 139897813821424 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9699] ppid=9684 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9687/task/9699/stat : 9699 (java) S 9684 9687 2357 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 15 0 3610938 14311342080 10737 18446744073709551615 4194304 4196468 140736454392192 139897812768880 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9700] ppid=9684 vsize=13975920 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9687/task/9700/stat : 9700 (java) S 9684 9687 2357 0 -1 1077944384 445 0 0 0 5 0 0 0 20 0 15 0 3610938 14311342080 10737 18446744073709551615 4194304 4196468 140736454392192 139897811716336 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9701] ppid=9684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9701/stat : 9701 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610938 14311342080 10737 18446744073709551615 4194304 4196468 140736454392192 139897810664032 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9702] ppid=9684 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9702/stat : 9702 (java) S 9684 9687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3610941 14311342080 10737 18446744073709551615 4194304 4196468 140736454392192 139897809611568 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 42948 KiB
[startup+0.700657 s]
/proc/loadavg: 1.33 1.37 1.35 3/210 9702
/proc/meminfo: memFree=31404976/32770624 swapFree=67108860/67108860
[pid=9687] ppid=9684 vsize=13977988 memory=73756 CPUtime=1.15 cores=1,3,5,7
/proc/9687/stat : 9687 (java) S 9684 9687 2357 0 -1 1077944320 14084 0 0 0 108 7 0 0 20 0 15 0 3610924 14313459712 18439 18446744073709551615 4194304 4196468 140736454392192 140736454374736 139898699628279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
/proc/9687/statm: 3494497 18439 3735 1 0 3483271 0
[pid=9687/tid=9689] ppid=9684 vsize=13977988 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/9687/task/9689/stat : 9689 (java) S 9684 9687 2357 0 -1 1077944384 10369 0 0 0 52 5 0 0 20 0 15 0 3610933 14313459712 18439 18446744073709551615 4194304 4196468 140736454392192 139898703863776 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9690] ppid=9684 vsize=13977988 memory=2 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9690/stat : 9690 (java) S 9684 9687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3610933 14313459712 18439 18446744073709551615 4194304 4196468 140736454392192 139898634062096 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9691] ppid=9684 vsize=13977988 memory=8458433173657237813 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9691/stat : 9691 (java) S 9684 9687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3610933 14313459712 18439 18446744073709551615 4194304 4196468 140736454392192 139898633009552 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9692] ppid=9684 vsize=13977988 memory=7007706850017951848 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9692/stat : 9692 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610933 14313459712 18439 18446744073709551615 4194304 4196468 140736454392192 139898631957008 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9693] ppid=9684 vsize=13977988 memory=7741523263919513920 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9693/stat : 9693 (java) S 9684 9687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3610933 14313459712 18439 18446744073709551615 4194304 4196468 140736454392192 139898630904464 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9694] ppid=9684 vsize=13977988 memory=2319389199166351968 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9694/stat : 9694 (java) S 9684 9687 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3610935 14313459712 18439 18446744073709551615 4194304 4196468 140736454392192 139897818032624 139898699639426 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9695] ppid=9684 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9695/stat : 9695 (java) S 9684 9687 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3610935 14313459712 18439 18446744073709551615 4194304 4196468 140736454392192 139897816978848 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9696] ppid=9684 vsize=13977988 memory=6459630814404 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9696/stat : 9696 (java) S 9684 9687 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3610935 14313459712 18439 18446744073709551615 4194304 4196468 140736454392192 139897815926256 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9697] ppid=9684 vsize=13977988 memory=288230613214036277 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9697/stat : 9697 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610938 14313459712 18439 18446744073709551615 4194304 4196468 140736454392192 139897814874832 139898699646875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9698] ppid=9684 vsize=13977988 memory=16104758087779765 CPUtime=0.15 cores=1,3,5,7
/proc/9687/task/9698/stat : 9698 (java) R 9684 9687 2357 0 -1 4202560 833 0 0 0 15 0 0 0 20 0 15 0 3610938 14313459712 18439 18446744073709551615 4194304 4196468 140736454392192 139897813819824 139898699649626 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9699] ppid=9684 vsize=13977988 memory=8676 CPUtime=0.15 cores=1,3,5,7
/proc/9687/task/9699/stat : 9699 (java) R 9684 9687 2357 0 -1 1077944384 613 0 0 0 15 0 0 0 20 0 15 0 3610938 14313459712 18439 18446744073709551615 4194304 4196468 140736454392192 139897812768880 139898699639426 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9700] ppid=9684 vsize=13977988 memory=1200 CPUtime=0.25 cores=1,3,5,7
/proc/9687/task/9700/stat : 9700 (java) R 9684 9687 2357 0 -1 4202560 885 0 0 0 25 0 0 0 20 0 15 0 3610938 14313459712 18439 18446744073709551615 4194304 4196468 140736454392192 139897811714144 139898691865406 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9701] ppid=9684 vsize=13977988 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9701/stat : 9701 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610938 14313459712 18439 18446744073709551615 4194304 4196468 140736454392192 139897810664032 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9702] ppid=9684 vsize=13977988 memory=4016 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9702/stat : 9702 (java) S 9684 9687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3610941 14313459712 18439 18446744073709551615 4194304 4196468 140736454392192 139897809611568 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 73756 KiB
[startup+1.501 s]
/proc/loadavg: 1.33 1.37 1.35 5/210 9702
/proc/meminfo: memFree=31344072/32770624 swapFree=67108860/67108860
[pid=9687] ppid=9684 vsize=13982084 memory=194004 CPUtime=3.65 cores=1,3,5,7
/proc/9687/stat : 9687 (java) S 9684 9687 2357 0 -1 1077944320 30098 0 0 0 352 13 0 0 20 0 15 0 3610924 14317654016 48501 18446744073709551615 4194304 4196468 140736454392192 140736454374736 139898699628279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
/proc/9687/statm: 3495521 48501 3773 1 0 3484295 0
[pid=9687/tid=9689] ppid=9684 vsize=13982084 memory=7036 CPUtime=1.36 cores=1,3,5,7
/proc/9687/task/9689/stat : 9689 (java) R 9684 9687 2357 0 -1 4202560 15950 0 0 0 128 8 0 0 20 0 15 0 3610933 14317654016 48501 18446744073709551615 4194304 4196468 140736454392192 139898703864128 139898316921755 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9690] ppid=9684 vsize=13982084 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9690/stat : 9690 (java) S 9684 9687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3610933 14317654016 48501 18446744073709551615 4194304 4196468 140736454392192 139898634062096 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9691] ppid=9684 vsize=13982084 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9691/stat : 9691 (java) S 9684 9687 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3610933 14317654016 48501 18446744073709551615 4194304 4196468 140736454392192 139898633009552 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9692] ppid=9684 vsize=13982084 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9692/stat : 9692 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610933 14317654016 48501 18446744073709551615 4194304 4196468 140736454392192 139898631957008 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9693] ppid=9684 vsize=13982084 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9693/stat : 9693 (java) S 9684 9687 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3610933 14317654016 48501 18446744073709551615 4194304 4196468 140736454392192 139898630904464 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9694] ppid=9684 vsize=13982084 memory=279506405589984 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9694/stat : 9694 (java) S 9684 9687 2357 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3610935 14317654016 48501 18446744073709551615 4194304 4196468 140736454392192 139897818032624 139898699639426 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9695] ppid=9684 vsize=13982084 memory=7233736994252652628 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9695/stat : 9695 (java) S 9684 9687 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3610935 14317654016 48501 18446744073709551615 4194304 4196468 140736454392192 139897816978848 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9696] ppid=9684 vsize=13982084 memory=288285563059201275 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9696/stat : 9696 (java) S 9684 9687 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3610935 14317654016 48501 18446744073709551615 4194304 4196468 140736454392192 139897815926256 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9697] ppid=9684 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9697/stat : 9697 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610938 14317654016 48501 18446744073709551615 4194304 4196468 140736454392192 139897814874832 139898699646875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9698] ppid=9684 vsize=13982084 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/9687/task/9698/stat : 9698 (java) R 9684 9687 2357 0 -1 4202560 3997 0 0 0 80 1 0 0 20 0 15 0 3610938 14317654016 48501 18446744073709551615 4194304 4196468 140736454392192 139897813804256 139898699649626 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9699] ppid=9684 vsize=13982084 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/9687/task/9699/stat : 9699 (java) R 9684 9687 2357 0 -1 4202560 3761 0 0 0 78 0 0 0 20 0 15 0 3610938 14317654016 48501 18446744073709551615 4194304 4196468 140736454392192 139897812768880 139898699649626 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9700] ppid=9684 vsize=13982084 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/9687/task/9700/stat : 9700 (java) S 9684 9687 2357 0 -1 1077944384 4970 0 0 0 65 1 0 0 20 0 15 0 3610938 14317654016 48501 18446744073709551615 4194304 4196468 140736454392192 139897811716336 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
################
# More data... #
################
/proc/9687/task/9689/stat : 9689 (java) R 9684 9687 2357 0 -1 4202560 39776 0 0 0 237065 24 0 0 20 0 15 0 3610933 14317654016 197152 18446744073709551615 4194304 4196468 140736454392192 139898703866720 139898317680803 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9690] ppid=9684 vsize=13982084 memory=788608 CPUtime=5.79 cores=1,3,5,7
/proc/9687/task/9690/stat : 9690 (java) S 9684 9687 2357 0 -1 1077944384 9600 0 0 0 549 30 0 0 20 0 15 0 3610933 14317654016 197152 18446744073709551615 4194304 4196468 140736454392192 139898634062096 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9691] ppid=9684 vsize=13982084 memory=788608 CPUtime=5.8 cores=1,3,5,7
/proc/9687/task/9691/stat : 9691 (java) S 9684 9687 2357 0 -1 1077944384 7291 0 0 0 551 29 0 0 20 0 15 0 3610933 14317654016 197152 18446744073709551615 4194304 4196468 140736454392192 139898633009552 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9692] ppid=9684 vsize=13982084 memory=788608 CPUtime=5.81 cores=1,3,5,7
/proc/9687/task/9692/stat : 9692 (java) S 9684 9687 2357 0 -1 1077944384 5821 0 0 0 554 27 0 0 20 0 15 0 3610933 14317654016 197152 18446744073709551615 4194304 4196468 140736454392192 139898631957008 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9693] ppid=9684 vsize=13982084 memory=784512 CPUtime=5.79 cores=1,3,5,7
/proc/9687/task/9693/stat : 9693 (java) S 9684 9687 2357 0 -1 1077944384 6932 0 0 0 552 27 0 0 20 0 15 0 3610933 14317654016 197152 18446744073709551615 4194304 4196468 140736454392192 139898630904464 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9694] ppid=9684 vsize=13982084 memory=788608 CPUtime=2.94 cores=1,3,5,7
/proc/9687/task/9694/stat : 9694 (java) S 9684 9687 2357 0 -1 1077944384 9519 0 0 0 269 25 0 0 20 0 15 0 3610935 14317654016 197152 18446744073709551615 4194304 4196468 140736454392192 139897818032624 139898699639426 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9695] ppid=9684 vsize=13982084 memory=788608 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9695/stat : 9695 (java) S 9684 9687 2357 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3610935 14317654016 197152 18446744073709551615 4194304 4196468 140736454392192 139897816978912 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9696] ppid=9684 vsize=13982084 memory=788608 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9696/stat : 9696 (java) S 9684 9687 2357 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 3610935 14317654016 197152 18446744073709551615 4194304 4196468 140736454392192 139897815926272 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9697] ppid=9684 vsize=13982084 memory=788608 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9697/stat : 9697 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610938 14317654016 197152 18446744073709551615 4194304 4196468 140736454392192 139897814874832 139898699646875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9698] ppid=9684 vsize=13982084 memory=4104 CPUtime=1.55 cores=1,3,5,7
/proc/9687/task/9698/stat : 9698 (java) S 9684 9687 2357 0 -1 1077944384 8045 0 0 0 153 2 0 0 20 0 15 0 3610938 14317654016 197152 18446744073709551615 4194304 4196468 140736454392192 139897813821424 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9699] ppid=9684 vsize=13982084 memory=788608 CPUtime=1.5 cores=1,3,5,7
/proc/9687/task/9699/stat : 9699 (java) S 9684 9687 2357 0 -1 1077944384 6542 0 0 0 149 1 0 0 20 0 15 0 3610938 14317654016 197152 18446744073709551615 4194304 4196468 140736454392192 139897812768880 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9700] ppid=9684 vsize=13982084 memory=4620 CPUtime=0.78 cores=1,3,5,7
/proc/9687/task/9700/stat : 9700 (java) S 9684 9687 2357 0 -1 1077944384 7002 0 0 0 76 2 0 0 20 0 15 0 3610938 14317654016 197152 18446744073709551615 4194304 4196468 140736454392192 139897811716336 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9701] ppid=9684 vsize=13982084 memory=788608 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9701/stat : 9701 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610938 14317654016 197152 18446744073709551615 4194304 4196468 140736454392192 139897810664032 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9702] ppid=9684 vsize=13982084 memory=786560 CPUtime=1.2 cores=1,3,5,7
/proc/9687/task/9702/stat : 9702 (java) S 9684 9687 2357 0 -1 1077944384 862 0 0 0 52 68 0 0 20 0 15 0 3610941 14317654016 197152 18446744073709551615 4194304 4196468 140736454392192 139897809611568 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
Current children cumulated CPU time: 2402.15 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 788608 KiB
[startup+2442.3 s]
/proc/loadavg: 1.61 1.42 1.41 3/209 9882
/proc/meminfo: memFree=30642612/32770624 swapFree=67108860/67108860
[pid=9687] ppid=9684 vsize=13982084 memory=792704 CPUtime=2462.58 cores=1,3,5,7
/proc/9687/stat : 9687 (java) S 9684 9687 2357 0 -1 1077944320 103920 0 0 0 246051 207 0 0 20 0 15 0 3610924 14317654016 198176 18446744073709551615 4194304 4196468 140736454392192 140736454374736 139898699628279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
/proc/9687/statm: 3495521 198176 3805 1 0 3484295 0
[pid=9687/tid=9689] ppid=9684 vsize=13982084 memory=790656 CPUtime=2430.57 cores=1,3,5,7
/proc/9687/task/9689/stat : 9689 (java) R 9684 9687 2357 0 -1 4202560 40370 0 0 0 243033 24 0 0 20 0 15 0 3610933 14317654016 198176 18446744073709551615 4194304 4196468 140736454392192 139898703866720 139898318300167 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9690] ppid=9684 vsize=13982084 memory=790656 CPUtime=5.94 cores=1,3,5,7
/proc/9687/task/9690/stat : 9690 (java) S 9684 9687 2357 0 -1 1077944384 9674 0 0 0 564 30 0 0 20 0 15 0 3610933 14317654016 198176 18446744073709551615 4194304 4196468 140736454392192 139898634062096 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9691] ppid=9684 vsize=13982084 memory=788608 CPUtime=5.96 cores=1,3,5,7
/proc/9687/task/9691/stat : 9691 (java) S 9684 9687 2357 0 -1 1077944384 7310 0 0 0 566 30 0 0 20 0 15 0 3610933 14317654016 198176 18446744073709551615 4194304 4196468 140736454392192 139898633009552 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9692] ppid=9684 vsize=13982084 memory=790656 CPUtime=5.97 cores=1,3,5,7
/proc/9687/task/9692/stat : 9692 (java) S 9684 9687 2357 0 -1 1077944384 5893 0 0 0 570 27 0 0 20 0 15 0 3610933 14317654016 198176 18446744073709551615 4194304 4196468 140736454392192 139898631957008 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9693] ppid=9684 vsize=13982084 memory=790656 CPUtime=5.95 cores=1,3,5,7
/proc/9687/task/9693/stat : 9693 (java) S 9684 9687 2357 0 -1 1077944384 7082 0 0 0 567 28 0 0 20 0 15 0 3610933 14317654016 198176 18446744073709551615 4194304 4196468 140736454392192 139898630904464 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9694] ppid=9684 vsize=13982084 memory=790656 CPUtime=3.02 cores=1,3,5,7
/proc/9687/task/9694/stat : 9694 (java) S 9684 9687 2357 0 -1 1077944384 9695 0 0 0 276 26 0 0 20 0 15 0 3610935 14317654016 198176 18446744073709551615 4194304 4196468 140736454392192 139897818032624 139898699639426 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9695] ppid=9684 vsize=13982084 memory=790656 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9695/stat : 9695 (java) S 9684 9687 2357 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3610935 14317654016 198176 18446744073709551615 4194304 4196468 140736454392192 139897816978912 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9696] ppid=9684 vsize=13982084 memory=790656 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9696/stat : 9696 (java) S 9684 9687 2357 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 3610935 14317654016 198176 18446744073709551615 4194304 4196468 140736454392192 139897815926272 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9697] ppid=9684 vsize=13982084 memory=788608 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9697/stat : 9697 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610938 14317654016 198176 18446744073709551615 4194304 4196468 140736454392192 139897814874832 139898699646875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9698] ppid=9684 vsize=13982084 memory=790656 CPUtime=1.55 cores=1,3,5,7
/proc/9687/task/9698/stat : 9698 (java) S 9684 9687 2357 0 -1 1077944384 8047 0 0 0 153 2 0 0 20 0 15 0 3610938 14317654016 198176 18446744073709551615 4194304 4196468 140736454392192 139897813821424 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9699] ppid=9684 vsize=13982084 memory=792704 CPUtime=1.5 cores=1,3,5,7
/proc/9687/task/9699/stat : 9699 (java) S 9684 9687 2357 0 -1 1077944384 6544 0 0 0 149 1 0 0 20 0 15 0 3610938 14317654016 198176 18446744073709551615 4194304 4196468 140736454392192 139897812768880 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9700] ppid=9684 vsize=13982084 memory=792704 CPUtime=0.78 cores=1,3,5,7
/proc/9687/task/9700/stat : 9700 (java) S 9684 9687 2357 0 -1 1077944384 7004 0 0 0 76 2 0 0 20 0 15 0 3610938 14317654016 198176 18446744073709551615 4194304 4196468 140736454392192 139897811716336 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9701] ppid=9684 vsize=13982084 memory=790656 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9701/stat : 9701 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610938 14317654016 198176 18446744073709551615 4194304 4196468 140736454392192 139897810664032 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9702] ppid=9684 vsize=13982084 memory=790656 CPUtime=1.23 cores=1,3,5,7
/proc/9687/task/9702/stat : 9702 (java) S 9684 9687 2357 0 -1 1077944384 877 0 0 0 52 71 0 0 20 0 15 0 3610941 14317654016 198176 18446744073709551615 4194304 4196468 140736454392192 139897809611568 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
Current children cumulated CPU time: 2462.58 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 792704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499.3 s]
/proc/loadavg: 1.57 1.43 1.41 3/209 9961
/proc/meminfo: memFree=30482320/32770624 swapFree=67108860/67108860
[pid=9687] ppid=9684 vsize=13982084 memory=794752 CPUtime=2520 cores=1,3,5,7
/proc/9687/stat : 9687 (java) S 9684 9687 2357 0 -1 1077944320 104891 0 0 0 251789 211 0 0 20 0 15 0 3610924 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 140736454374736 139898699628279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
/proc/9687/statm: 3495521 198688 3805 1 0 3484295 0
[pid=9687/tid=9689] ppid=9684 vsize=13982084 memory=792704 CPUtime=2487.27 cores=1,3,5,7
/proc/9687/task/9689/stat : 9689 (java) R 9684 9687 2357 0 -1 4202560 40811 0 0 0 248703 24 0 0 20 0 15 0 3610933 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139898703866640 139898317890371 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9690] ppid=9684 vsize=13982084 memory=792704 CPUtime=6.1 cores=1,3,5,7
/proc/9687/task/9690/stat : 9690 (java) S 9684 9687 2357 0 -1 1077944384 9735 0 0 0 579 31 0 0 20 0 15 0 3610933 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139898634062096 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9691] ppid=9684 vsize=13982084 memory=792704 CPUtime=6.12 cores=1,3,5,7
/proc/9687/task/9691/stat : 9691 (java) S 9684 9687 2357 0 -1 1077944384 7419 0 0 0 582 30 0 0 20 0 15 0 3610933 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139898633009552 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9692] ppid=9684 vsize=13982084 memory=794752 CPUtime=6.12 cores=1,3,5,7
/proc/9687/task/9692/stat : 9692 (java) S 9684 9687 2357 0 -1 1077944384 5996 0 0 0 584 28 0 0 20 0 15 0 3610933 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139898631957008 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9693] ppid=9684 vsize=13982084 memory=794752 CPUtime=6.1 cores=1,3,5,7
/proc/9687/task/9693/stat : 9693 (java) S 9684 9687 2357 0 -1 1077944384 7142 0 0 0 582 28 0 0 20 0 15 0 3610933 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139898630904464 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9694] ppid=9684 vsize=13982084 memory=792704 CPUtime=3.09 cores=1,3,5,7
/proc/9687/task/9694/stat : 9694 (java) S 9684 9687 2357 0 -1 1077944384 9871 0 0 0 283 26 0 0 20 0 15 0 3610935 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897818032624 139898699639426 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9695] ppid=9684 vsize=13982084 memory=10932 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9695/stat : 9695 (java) S 9684 9687 2357 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3610935 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897816978912 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9696] ppid=9684 vsize=13982084 memory=7108 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9696/stat : 9696 (java) S 9684 9687 2357 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 3610935 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897815926272 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9697] ppid=9684 vsize=13982084 memory=792704 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9697/stat : 9697 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610938 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897814874832 139898699646875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9698] ppid=9684 vsize=13982084 memory=794752 CPUtime=1.55 cores=1,3,5,7
/proc/9687/task/9698/stat : 9698 (java) S 9684 9687 2357 0 -1 1077944384 8049 0 0 0 153 2 0 0 20 0 15 0 3610938 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897813821424 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9699] ppid=9684 vsize=13982084 memory=794752 CPUtime=1.5 cores=1,3,5,7
/proc/9687/task/9699/stat : 9699 (java) S 9684 9687 2357 0 -1 1077944384 6546 0 0 0 149 1 0 0 20 0 15 0 3610938 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897812768880 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9700] ppid=9684 vsize=13982084 memory=4104 CPUtime=0.78 cores=1,3,5,7
/proc/9687/task/9700/stat : 9700 (java) S 9684 9687 2357 0 -1 1077944384 7006 0 0 0 76 2 0 0 20 0 15 0 3610938 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897811716336 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9701] ppid=9684 vsize=13982084 memory=4016 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9701/stat : 9701 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610938 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897810664032 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9702] ppid=9684 vsize=13982084 memory=16424 CPUtime=1.26 cores=1,3,5,7
/proc/9687/task/9702/stat : 9702 (java) S 9684 9687 2357 0 -1 1077944384 892 0 0 0 53 73 0 0 20 0 15 0 3610941 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897809611568 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 794752 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.34 s]
# the end of solver process 9687 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.94 s, system=2.11708 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2499.3 s]
/proc/loadavg: 1.57 1.43 1.41 3/209 9961
/proc/meminfo: memFree=30482320/32770624 swapFree=67108860/67108860
[pid=9687] ppid=9684 vsize=13982084 memory=794752 CPUtime=2520 cores=1,3,5,7
/proc/9687/stat : 9687 (java) S 9684 9687 2357 0 -1 1077944320 104891 0 0 0 251789 211 0 0 20 0 15 0 3610924 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 140736454374736 139898699628279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
/proc/9687/statm: 3495521 198688 3805 1 0 3484295 0
[pid=9687/tid=9689] ppid=9684 vsize=13982084 memory=792704 CPUtime=2487.27 cores=1,3,5,7
/proc/9687/task/9689/stat : 9689 (java) R 9684 9687 2357 0 -1 4202560 40811 0 0 0 248703 24 0 0 20 0 15 0 3610933 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139898703866640 139898317890371 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9690] ppid=9684 vsize=13982084 memory=792704 CPUtime=6.1 cores=1,3,5,7
/proc/9687/task/9690/stat : 9690 (java) S 9684 9687 2357 0 -1 1077944384 9735 0 0 0 579 31 0 0 20 0 15 0 3610933 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139898634062096 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9691] ppid=9684 vsize=13982084 memory=792704 CPUtime=6.12 cores=1,3,5,7
/proc/9687/task/9691/stat : 9691 (java) S 9684 9687 2357 0 -1 1077944384 7419 0 0 0 582 30 0 0 20 0 15 0 3610933 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139898633009552 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9692] ppid=9684 vsize=13982084 memory=794752 CPUtime=6.12 cores=1,3,5,7
/proc/9687/task/9692/stat : 9692 (java) S 9684 9687 2357 0 -1 1077944384 5996 0 0 0 584 28 0 0 20 0 15 0 3610933 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139898631957008 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9693] ppid=9684 vsize=13982084 memory=794752 CPUtime=6.1 cores=1,3,5,7
/proc/9687/task/9693/stat : 9693 (java) S 9684 9687 2357 0 -1 1077944384 7142 0 0 0 582 28 0 0 20 0 15 0 3610933 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139898630904464 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9694] ppid=9684 vsize=13982084 memory=792704 CPUtime=3.09 cores=1,3,5,7
/proc/9687/task/9694/stat : 9694 (java) S 9684 9687 2357 0 -1 1077944384 9871 0 0 0 283 26 0 0 20 0 15 0 3610935 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897818032624 139898699639426 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9695] ppid=9684 vsize=13982084 memory=10932 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9695/stat : 9695 (java) S 9684 9687 2357 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3610935 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897816978912 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9696] ppid=9684 vsize=13982084 memory=7108 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9696/stat : 9696 (java) S 9684 9687 2357 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 3610935 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897815926272 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9697] ppid=9684 vsize=13982084 memory=792704 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9697/stat : 9697 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610938 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897814874832 139898699646875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9698] ppid=9684 vsize=13982084 memory=794752 CPUtime=1.55 cores=1,3,5,7
/proc/9687/task/9698/stat : 9698 (java) S 9684 9687 2357 0 -1 1077944384 8049 0 0 0 153 2 0 0 20 0 15 0 3610938 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897813821424 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9699] ppid=9684 vsize=13982084 memory=794752 CPUtime=1.5 cores=1,3,5,7
/proc/9687/task/9699/stat : 9699 (java) S 9684 9687 2357 0 -1 1077944384 6546 0 0 0 149 1 0 0 20 0 15 0 3610938 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897812768880 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9700] ppid=9684 vsize=13982084 memory=4104 CPUtime=0.78 cores=1,3,5,7
/proc/9687/task/9700/stat : 9700 (java) S 9684 9687 2357 0 -1 1077944384 7006 0 0 0 76 2 0 0 20 0 15 0 3610938 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897811716336 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9701] ppid=9684 vsize=13982084 memory=4016 CPUtime=0 cores=1,3,5,7
/proc/9687/task/9701/stat : 9701 (java) S 9684 9687 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3610938 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897810664032 139898699638485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
[pid=9687/tid=9702] ppid=9684 vsize=13982084 memory=16424 CPUtime=1.26 cores=1,3,5,7
/proc/9687/task/9702/stat : 9702 (java) S 9684 9687 2357 0 -1 1077944384 892 0 0 0 53 73 0 0 20 0 15 0 3610941 14317654016 198688 18446744073709551615 4194304 4196468 140736454392192 139897809611568 139898699639426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140736454398324 140736454398508 140736454398508 140736454401999 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 794752 KiB
Child status: 143
Real time (s): 2499.34
CPU time (s): 2520.05
CPU user time (s): 2517.94
CPU system time (s): 2.11708
CPU usage (%): 100.829
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 794752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.94
system time used= 2.11708
maximum resident set size= 795320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105595
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136563
involuntary context switches= 6612
# summary of solver processes directly reported to runsolver:
# pid: 9687
# total CPU time (s): 2520.05
# total CPU user time (s): 2517.94
# total CPU system time (s): 2.11708
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4385 second user time and 23.6843 second system time
The end
Begin job on node129 at 2017-08-15 03:05:22 IDJOB=4273773 IDBENCH=124430 IDSOLVER=2666 FILE ID=node129/4273773-1502759958 RUNJOBID= node129-1502746532-7260 PBS_JOBID= Free space on /tmp= 61972 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-07-26 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n60-k9.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4273773-1502759958/watcher-4273773-1502759958 -o /tmp/evaluation-result-4273773-1502759958/solver-4273773-1502759958 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7260 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 5047549 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273773-1502759958.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 204525c81941dcb64589d695195e220f RANDOM SEED=5047549 node129.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.61 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.61 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.61 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.61 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: 31444144 kB MemAvailable: 31828508 kB Buffers: 108480 kB Cached: 556776 kB SwapCached: 0 kB Active: 582424 kB Inactive: 336620 kB Active(anon): 254248 kB Inactive(anon): 8564 kB Active(file): 328176 kB Inactive(file): 328056 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42564 kB Writeback: 4 kB AnonPages: 253928 kB Mapped: 43464 kB Shmem: 8900 kB Slab: 112148 kB SReclaimable: 87936 kB SUnreclaim: 24212 kB KernelStack: 3440 kB PageTables: 5332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1200432 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 143360 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61932 MiB End job on node129 at 2017-08-15 03:47:02