Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco-solver 4.0.7 seq (493a269) | SAT (TO) | 36779 | 2400.04 | 2386.13 |
| Name | QuadraticAssignment/ QuadraticAssignment-sko72_c18.xml |
| MD5SUM | 69672b68d8d3f9201b488571cf4784d4 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 35807 |
| Best CPU time to get the best result obtained on this benchmark | 2520.07 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5256 |
| Number of constraints | 2557 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 72 |
| Distribution of domain sizes | [{"size":8,"count":2556},{"size":72,"count":72}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 72 |
| Distribution of variable degrees | [{"degree":0,"count":2628},{"degree":2,"count":2556},{"degree":72,"count":72}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 72 |
| Distribution of constraint arities | [{"arity":3,"count":2556},{"arity":72,"count":1}] |
| Number of extensional constraints | 2556 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":2556},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292346-1532328173.xml" -tl '2400s' -p 1 -x 0 0.11/0.18 c Choco 493a269 0.11/0.18 c [HOME/instance-4292346-1532328173.xml, -tl, 2400s, -p, 1, -x, 0] 0.34/0.22 c simple solver 0.34/0.28 c parse instance... 14.35/7.99 c solve instance... 855.50/844.54 o 37296 855.63/844.61 o 37282 855.63/844.66 o 37187 1057.88/1045.34 o 36972 1057.88/1045.39 o 36917 1058.00/1045.47 o 36897 1058.55/1045.92 o 36877 1583.58/1570.44 o 36853 1583.58/1570.48 o 36847 1583.68/1570.54 o 36810 1583.78/1570.60 o 36802 1583.78/1570.64 o 36797 1583.88/1570.72 o 36783 1583.88/1570.77 o 36779 2400.01/2386.11 s SATISFIABLE 2400.01/2386.11 v <instantiation> 2400.01/2386.11 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][70] d[36][71] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][70] d[53][71] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][71] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[67][68] d[67][69] d[67][70] d[67][71] d[68][69] d[68][70] d[68][71] d[69][70] d[69][71] d[70][71] </list> 2400.01/2386.11 v <values>23 33 41 66 11 49 1 59 34 60 31 6 35 44 9 30 37 20 63 38 54 43 56 55 16 51 25 40 8 28 70 52 4 64 17 22 47 32 39 48 2 69 14 46 13 15 19 62 57 5 27 42 50 3 29 18 71 65 68 21 24 58 0 61 53 10 36 45 67 7 26 12 10 5 5 5 0 4 0 2 4 0 3 2 2 0 0 5 1 2 5 5 0 2 2 1 5 4 5 0 0 0 1 2 0 0 5 0 2 1 0 4 1 2 5 2 0 10 1 0 2 5 10 0 2 1 5 1 2 0 0 3 0 2 1 10 5 0 1 5 0 0 3 0 0 2 0 10 4 1 0 0 10 10 1 2 0 6 0 0 2 2 3 0 5 2 2 5 0 10 5 5 0 3 2 0 2 1 1 2 0 5 2 0 0 0 5 1 1 1 0 0 4 0 2 2 5 1 4 0 2 3 1 0 2 0 4 1 0 1 2 0 1 0 2 3 5 6 10 0 1 0 0 0 6 5 0 2 2 1 2 5 10 6 0 10 2 10 4 0 2 0 5 0 0 0 10 2 10 3 0 2 1 3 0 2 1 5 4 0 0 5 10 0 5 0 5 10 2 5 0 2 0 2 0 2 3 5 3 0 1 1 5 10 2 5 5 4 0 0 0 1 1 5 0 5 10 5 1 10 0 1 5 0 2 0 10 0 5 1 5 5 5 3 0 5 3 0 1 5 0 5 2 10 1 0 0 5 2 2 0 1 2 0 2 2 2 5 0 0 4 2 5 3 3 10 4 2 1 1 0 5 3 5 1 2 2 3 5 6 5 1 0 5 0 1 5 0 2 0 4 0 1 1 6 5 5 0 0 2 5 0 0 0 0 0 1 1 0 0 2 0 1 2 1 1 5 0 3 0 0 0 0 2 3 5 2 0 0 0 0 10 1 2 0 0 0 1 0 2 2 0 2 5 1 5 5 5 5 0 0 1 2 0 5 5 2 0 5 10 2 0 10 2 0 0 5 5 2 0 5 2 0 2 0 0 3 0 10 2 2 0 5 1 0 0 5 3 5 10 5 6 5 0 2 0 0 10 5 0 4 2 2 1 5 1 10 2 6 2 5 5 10 10 0 0 0 2 3 0 5 10 5 1 0 2 1 2 0 1 2 0 0 2 5 5 1 3 0 2 0 0 0 1 1 0 5 0 2 0 0 0 5 0 5 5 3 3 0 0 1 2 10 0 5 5 4 4 5 2 0 5 0 6 5 10 10 2 10 2 5 0 5 1 0 2 5 0 2 1 2 2 1 5 6 4 0 2 0 5 0 2 0 3 1 5 3 0 3 2 0 2 0 0 0 0 2 2 3 10 0 0 0 0 1 0 0 2 5 1 10 6 1 0 0 0 5 5 0 10 5 2 2 5 2 0 2 5 1 2 0 1 0 0 5 0 1 5 2 0 5 1 6 0 0 0 5 4 0 4 2 2 0 5 5 0 0 0 0 2 2 0 10 0 1 5 2 0 4 5 4 0 5 2 0 0 5 10 0 2 5 4 0 5 5 2 0 1 5 4 0 10 4 5 0 2 1 0 10 2 5 1 0 2 5 3 4 5 0 0 5 2 0 0 2 5 0 4 1 2 2 5 10 0 0 0 5 3 10 0 5 5 2 5 0 6 0 5 5 2 0 1 0 2 0 10 6 0 2 1 1 5 1 10 2 0 2 1 0 0 0 1 5 0 2 0 1 5 2 10 1 3 5 5 2 1 0 5 1 0 5 1 0 5 2 10 1 5 10 0 2 3 4 2 5 5 0 4 0 0 5 2 5 5 5 0 4 2 1 0 0 0 0 0 0 4 10 1 0 3 0 10 2 4 0 10 0 0 1 2 0 5 0 5 4 6 0 0 2 1 10 2 5 3 3 0 0 2 10 0 0 0 1 10 0 2 3 5 1 2 0 0 5 2 5 5 5 10 1 6 5 5 10 1 0 2 0 2 10 0 0 5 2 0 2 5 0 10 0 2 4 0 0 0 10 1 0 5 10 0 0 0 2 5 0 5 2 2 0 2 1 10 5 5 3 1 1 5 0 2 2 0 0 1 1 10 1 0 0 1 0 1 1 5 0 10 2 0 0 1 0 10 0 5 0 5 2 2 1 6 0 0 1 0 5 0 0 2 2 0 5 10 0 5 1 5 2 5 10 2 5 5 1 0 0 2 2 2 2 0 10 2 2 10 5 4 3 0 1 0 2 1 5 5 2 5 5 2 1 5 2 10 0 5 5 2 1 1 0 5 5 1 0 0 2 2 4 0 0 0 0 0 2 0 1 0 0 5 2 10 0 10 1 5 2 1 2 1 0 0 6 5 1 0 1 5 0 5 3 4 5 5 2 0 0 0 0 1 0 6 5 2 2 2 0 2 0 0 2 0 2 1 3 5 2 2 5 1 2 5 0 2 1 2 2 5 0 0 0 0 0 10 5 4 3 1 2 0 2 5 0 5 1 0 5 5 2 5 0 6 10 2 3 2 0 2 0 5 0 6 0 0 5 10 0 5 0 0 2 3 2 5 5 6 1 1 0 0 10 1 2 10 2 2 0 5 1 4 0 5 6 10 0 0 5 2 2 5 1 10 0 1 1 5 5 5 5 3 2 10 0 1 1 5 5 2 2 5 0 5 2 1 0 1 5 2 0 2 2 0 5 5 5 3 2 0 1 2 0 4 5 2 5 2 5 10 1 2 1 0 1 0 2 2 10 0 0 1 0 5 5 2 0 1 4 1 1 0 1 1 0 0 0 0 0 0 1 5 0 1 2 10 0 5 5 2 4 0 4 0 1 5 5 5 10 5 0 0 10 0 2 5 2 5 10 1 5 5 0 10 2 3 0 1 0 10 5 10 0 5 5 5 0 1 5 5 2 2 5 0 0 1 0 1 5 0 1 0 5 0 1 5 10 10 0 3 2 1 5 10 0 1 0 1 1 0 5 2 5 5 2 5 0 5 0 2 5 5 2 0 3 2 0 2 10 2 5 0 5 1 10 2 5 2 5 3 2 5 2 2 0 1 1 10 0 2 0 10 5 1 10 10 0 5 5 0 5 0 5 10 4 1 0 0 5 5 0 5 3 5 2 2 0 10 0 2 4 1 5 0 1 0 0 0 5 2 0 0 0 2 5 3 1 2 5 5 5 1 0 5 10 2 5 0 0 2 0 0 0 1 0 0 1 2 0 5 0 0 0 5 0 0 5 10 10 5 0 0 2 0 0 5 1 5 1 1 0 2 5 2 0 10 0 1 10 0 5 4 1 1 0 2 10 0 0 3 0 0 10 0 5 0 5 4 1 6 2 1 4 0 2 0 5 0 5 2 1 1 1 1 1 1 5 0 0 1 5 0 5 1 1 2 0 2 1 5 0 2 2 5 2 0 5 0 0 1 2 2 1 0 4 2 2 2 2 5 0 1 10 5 5 5 1 3 5 0 6 5 0 2 4 5 0 3 10 2 0 6 2 0 1 0 6 5 2 0 5 0 2 2 1 5 3 1 10 0 3 10 6 0 2 5 0 5 0 4 0 0 0 5 0 2 3 10 3 1 2 0 0 5 0 0 5 5 4 2 0 0 2 0 2 2 2 3 2 0 0 0 5 10 5 5 0 0 0 2 10 2 0 5 1 2 5 0 0 5 1 1 10 2 2 5 2 2 2 4 0 0 1 5 2 0 5 5 2 2 0 1 5 2 5 0 4 5 0 10 10 2 10 3 2 1 2 0 0 0 3 0 5 0 0 2 3 0 2 2 0 2 1 0 5 5 5 5 0 1 2 0 1 2 3 10 5 0 4 1 0 2 4 4 5 0 4 5 2 5 0 2 6 5 2 0 2 5 5 0 5 0 0 0 1 5 2 0 0 5 5 2 5 5 2 1 3 5 10 0 0 2 1 3 0 4 2 0 5 5 3 0 1 0 0 0 5 1 0 2 0 10 1 2 10 0 5 0 5 5 5 0 0 5 0 0 0 2 10 5 2 3 2 5 4 5 2 5 4 10 0 0 0 2 1 10 0 0 2 5 5 5 3 0 2 5 5 4 2 2 0 0 3 10 6 0 0 0 0 5 5 2 0 0 0 0 5 2 0 10 0 5 1 1 0 2 2 0 0 6 0 2 2 0 0 1 4 0 1 2 1 2 2 3 0 0 5 2 2 1 0 5 0 0 0 3 2 5 2 0 3 0 5 0 5 5 3 1 6 5 2 2 2 5 2 0 5 1 0 0 5 0 3 0 5 0 0 5 0 5 10 10 0 5 5 3 2 1 1 2 2 5 2 0 5 5 10 1 5 0 0 2 0 2 10 0 0 5 1 5 5 0 2 0 0 10 5 0 1 2 1 2 2 5 1 2 0 2 0 2 0 1 0 0 0 0 0 10 2 1 5 5 5 4 5 2 10 5 0 5 0 4 5 2 10 10 0 0 2 2 5 4 2 10 1 1 0 2 1 5 2 5 0 0 0 3 2 5 0 2 1 0 5 10 10 0 0 6 1 4 0 0 5 4 0 5 0 1 0 4 10 5 0 2 0 5 0 0 2 10 5 5 0 4 5 0 6 10 5 1 5 2 4 0 2 1 10 5 5 3 1 0 5 0 0 2 0 2 10 5 2 10 1 5 2 2 10 4 1 1 1 2 1 1 10 4 1 0 0 3 10 1 10 0 2 2 1 0 0 5 0 2 1 2 6 0 2 2 1 2 2 2 1 2 5 0 5 5 4 5 5 0 0 2 5 10 0 0 0 3 0 5 4 2 2 10 4 5 0 0 5 5 10 0 2 2 0 2 5 0 2 5 2 0 0 5 10 0 0 0 0 5 1 5 5 6 1 2 0 2 2 5 6 0 0 1 1 2 6 2 2 0 0 3 2 10 6 5 5 10 1 0 10 0 5 10 2 0 2 0 0 4 0 1 0 6 3 0 1 0 5 5 5 5 0 1 10 2 0 10 10 5 5 5 2 0 0 0 0 1 5 4 2 5 0 1 5 1 4 2 0 1 0 5 10 0 1 1 4 0 0 5 1 0 6 1 0 0 5 0 2 2 10 5 5 4 0 1 2 5 5 5 4 0 2 0 1 2 10 2 5 2 0 0 0 0 3 1 2 2 10 10 0 0 10 0 5 3 1 2 0 0 5 5 1 0 2 10 1 5 0 0 0 5 2 5 4 0 10 5 5 1 2 10 5 5 2 5 5 0 1 5 2 5 2 5 2 1 2 2 0 3 10 4 10 10 1 1 0 0 3 0 3 10 1 5 2 10 1 1 10 4 0 3 0 6 5 0 0 3 0 0 10 0 10 10 1 0 1 2 3 0 1 5 1 4 0 0 2 0 10 4 3 4 10 5 5 5 5 5 0 4 0 5 2 0 10 1 0 5 5 2 2 0 5 0 0 1 1 5 5 5 4 3 5 0 2 5 3 2 5 3 5 10 1 5 1 5 6 2 0 1 1 2 0 4 2 0 1 5 2 5 0 0 2 5 1 0 0 0 0 1 0 5 1 10 1 5 5 0 1 0 0 10 10 0 0 10 2 10 10 0 5 5 5 2 5 1 0 2 3 0 1 3 5 5 2 5 2 0 5 5 1 5 10 5 5 5 2 0 5 2 10 1 3 4 5 5 10 2 5 3 5 10 6 0 0 0 10 5 5 10 0 0 1 0 5 4 0 10 2 5 5 5 0 5 3 10 0 5 5 2 10 0 1 5 5 0 3 10 5 0 3 2 0 2 10 2 2 0 1 10 2 2 0 1 5 1 2 0 10 5 3 1 1 3 10 10 5 1 5 5 10 0 5 1 10 0 0 0 1 1 5 0 5 0 5 10 1 10 0 1 4 5 0 0 5 2 10 10 0 6 0 0 1 5 0 6 2 0 4 10 0 0 2 10 3 0 0 2 2 2 </values> 2400.01/2386.11 v </instantiation> 2400.01/2386.11 c Unexpected resolution interruption!
OK 36779
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 (11036 MiB free)
memory of node 1: 16384 MiB (11795 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292346-1532328173/watcher-4292346-1532328173 -o /tmp/evaluation-result-4292346-1532328173/solver-4292346-1532328173 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532328173-11338 --watchdog 2560 HOME/xcsp3-exec -seed 1360516818 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292346-1532328173.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11358, runsolver pid=11355
Current StackSize limit: 8192 KiB
[startup+0.100168 s]*
/proc/loadavg: 0.69 0.78 1.02 4/218 11399
/proc/meminfo: memFree=23345372/32770624 swapFree=67108860/67108860
[pid=11358] ppid=11355 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11358/stat : 11358 (xcsp3-exec) S 11355 11358 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 50380505 115843072 363 33554432000 4194304 5098028 140725002734352 140725002732456 140408454951548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17346560 140725002740794 140725002740996 140725002740996 140725002743754 0
/proc/11358/statm: 28282 363 306 221 0 87 0
[pid=11363] ppid=11358 vsize=14082840 memory=28700 CPUtime=0.11 cores=0,2,4,6
/proc/11363/stat : 11363 (java) S 11358 11358 11307 0 -1 1077944320 5505 0 0 0 10 1 0 0 20 0 15 0 50380505 14420828160 7175 33554432000 4194304 4196468 140731240643856 140731240626400 140649752059639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
/proc/11363/statm: 3520710 7175 2999 1 0 3483008 0
[pid=11363/tid=11365] ppid=11358 vsize=14082840 memory=5852830839579967649 CPUtime=0.08 cores=0,2,4,6
/proc/11363/task/11365/stat : 11365 (java) R 11358 11358 11307 0 -1 4202560 3536 0 0 0 8 0 0 0 20 0 15 0 50380505 14420828160 7175 33554432000 4194304 4196468 140731240643856 140649756278616 140649752071574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11366] ppid=11358 vsize=14082840 memory=3472468819584226512 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11366/stat : 11366 (java) S 11358 11358 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380506 14420828160 7175 33554432000 4194304 4196468 140731240643856 140649347496720 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11367] ppid=11358 vsize=14082840 memory=140690689074816 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11367/stat : 11367 (java) S 11358 11358 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380506 14420828160 7175 33554432000 4194304 4196468 140731240643856 140649346444176 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11368] ppid=11358 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11368/stat : 11368 (java) S 11358 11358 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380506 14420828160 7175 33554432000 4194304 4196468 140731240643856 140649345391632 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11369] ppid=11358 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11369/stat : 11369 (java) S 11358 11358 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380506 14420828160 7175 33554432000 4194304 4196468 140731240643856 140649344339088 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11378] ppid=11358 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11378/stat : 11378 (java) S 11358 11358 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380508 14420828160 7175 33554432000 4194304 4196468 140731240643856 140649092155376 140649752070786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11383] ppid=11358 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11383/stat : 11383 (java) S 11358 11358 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50380508 14420828160 7175 33554432000 4194304 4196468 140731240643856 140649091101600 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11384] ppid=11358 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11384/stat : 11384 (java) S 11358 11358 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50380509 14420828160 7175 33554432000 4194304 4196468 140731240643856 140649090049008 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11388] ppid=11358 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11388/stat : 11388 (java) S 11358 11358 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380511 14420828160 7175 33554432000 4194304 4196468 140731240643856 140649088997584 140649752078235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11389] ppid=11358 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11389/stat : 11389 (java) S 11358 11358 11307 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 50380511 14420828160 7175 33554432000 4194304 4196468 140731240643856 140649087945200 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11390] ppid=11358 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11390/stat : 11390 (java) S 11358 11358 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380511 14420828160 7175 33554432000 4194304 4196468 140731240643856 140649086892656 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11391] ppid=11358 vsize=14082840 memory=140690689074816 CPUtime=0.01 cores=0,2,4,6
/proc/11363/task/11391/stat : 11391 (java) R 11358 11358 11307 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 15 0 50380511 14420828160 7175 33554432000 4194304 4196468 140731240643856 140649085840112 140649745165341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11392] ppid=11358 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11392/stat : 11392 (java) S 11358 11358 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380511 14420828160 7175 33554432000 4194304 4196468 140731240643856 140649084787808 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11393] ppid=11358 vsize=14082840 memory=140690689074816 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11393/stat : 11393 (java) S 11358 11358 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380511 14420828160 7175 33554432000 4194304 4196468 140731240643856 140649083734320 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30152 KiB
[startup+0.210699 s]*
/proc/loadavg: 0.69 0.78 1.02 3/218 11399
/proc/meminfo: memFree=23320824/32770624 swapFree=67108860/67108860
[pid=11358] ppid=11355 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11358/stat : 11358 (xcsp3-exec) S 11355 11358 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 50380505 115843072 363 33554432000 4194304 5098028 140725002734352 140725002732456 140408454951548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17346560 140725002740794 140725002740996 140725002740996 140725002743754 0
/proc/11358/statm: 28282 363 306 221 0 87 0
[pid=11363] ppid=11358 vsize=14082840 memory=40948 CPUtime=0.34 cores=0,2,4,6
/proc/11363/stat : 11363 (java) S 11358 11358 11307 0 -1 1077944320 8257 0 0 0 32 2 0 0 20 0 15 0 50380505 14420828160 10237 33554432000 4194304 4196468 140731240643856 140731240626400 140649752059639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
/proc/11363/statm: 3520710 10237 3162 1 0 3483008 0
[pid=11363/tid=11365] ppid=11358 vsize=14082840 memory=5852833021473685665 CPUtime=0.2 cores=0,2,4,6
/proc/11363/task/11365/stat : 11365 (java) R 11358 11358 11307 0 -1 4202560 5410 0 0 0 19 1 0 0 20 0 15 0 50380505 14420828160 10237 33554432000 4194304 4196468 140731240643856 140649756294624 140649752071574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11366] ppid=11358 vsize=14082840 memory=3472468819584226512 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11366/stat : 11366 (java) S 11358 11358 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380506 14420828160 10237 33554432000 4194304 4196468 140731240643856 140649347496720 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11367] ppid=11358 vsize=14082840 memory=140690689074816 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11367/stat : 11367 (java) S 11358 11358 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380506 14420828160 10237 33554432000 4194304 4196468 140731240643856 140649346444176 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11368] ppid=11358 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11368/stat : 11368 (java) S 11358 11358 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380506 14420828160 10237 33554432000 4194304 4196468 140731240643856 140649345391632 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11369] ppid=11358 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11369/stat : 11369 (java) S 11358 11358 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380506 14420828160 10237 33554432000 4194304 4196468 140731240643856 140649344339088 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11378] ppid=11358 vsize=14082840 memory=140690689074816 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11378/stat : 11378 (java) S 11358 11358 11307 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 50380508 14420828160 10237 33554432000 4194304 4196468 140731240643856 140649092155376 140649752070786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11383] ppid=11358 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11383/stat : 11383 (java) S 11358 11358 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50380508 14420828160 10237 33554432000 4194304 4196468 140731240643856 140649091101600 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11384] ppid=11358 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11384/stat : 11384 (java) S 11358 11358 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50380509 14420828160 10237 33554432000 4194304 4196468 140731240643856 140649090049008 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11388] ppid=11358 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11388/stat : 11388 (java) S 11358 11358 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380511 14420828160 10237 33554432000 4194304 4196468 140731240643856 140649088997584 140649752078235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11389] ppid=11358 vsize=14082840 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11363/task/11389/stat : 11389 (java) R 11358 11358 11307 0 -1 4202560 526 0 0 0 3 0 0 0 20 0 15 0 50380511 14420828160 10237 33554432000 4194304 4196468 140731240643856 140649087945200 140649752080986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11390] ppid=11358 vsize=14082840 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/11363/task/11390/stat : 11390 (java) S 11358 11358 11307 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 50380511 14420828160 10237 33554432000 4194304 4196468 140731240643856 140649086892656 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11391] ppid=11358 vsize=14082840 memory=140690689074816 CPUtime=0.07 cores=0,2,4,6
/proc/11363/task/11391/stat : 11391 (java) R 11358 11358 11307 0 -1 4202560 757 0 0 0 7 0 0 0 20 0 15 0 50380511 14420828160 10237 33554432000 4194304 4196468 140731240643856 140649085840112 140649731498321 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11392] ppid=11358 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11392/stat : 11392 (java) S 11358 11358 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380511 14420828160 10237 33554432000 4194304 4196468 140731240643856 140649084787808 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11393] ppid=11358 vsize=14082840 memory=140690689074816 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11393/stat : 11393 (java) S 11358 11358 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380511 14420828160 10237 33554432000 4194304 4196468 140731240643856 140649083734320 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42400 KiB
[startup+0.311995 s]*
/proc/loadavg: 0.69 0.78 1.02 5/218 11399
/proc/meminfo: memFree=23307392/32770624 swapFree=67108860/67108860
[pid=11358] ppid=11355 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11358/stat : 11358 (xcsp3-exec) S 11355 11358 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 50380505 115843072 363 33554432000 4194304 5098028 140725002734352 140725002732456 140408454951548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17346560 140725002740794 140725002740996 140725002740996 140725002743754 0
/proc/11358/statm: 28282 363 306 221 0 87 0
[pid=11363] ppid=11358 vsize=14087096 memory=48500 CPUtime=0.52 cores=0,2,4,6
/proc/11363/stat : 11363 (java) S 11358 11358 11307 0 -1 1077944320 9219 0 0 0 50 2 0 0 20 0 15 0 50380505 14425186304 12125 33554432000 4194304 4196468 140731240643856 140731240626400 140649752059639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
/proc/11363/statm: 3521774 12125 3256 1 0 3483008 0
[pid=11363/tid=11365] ppid=11358 vsize=14087096 memory=7896387329779998622 CPUtime=0.3 cores=0,2,4,6
/proc/11363/task/11365/stat : 11365 (java) R 11358 11358 11307 0 -1 4202560 6122 0 0 0 28 2 0 0 20 0 15 0 50380505 14425186304 12125 33554432000 4194304 4196468 140731240643856 140649756290752 140649736140126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11366] ppid=11358 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11366/stat : 11366 (java) S 11358 11358 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380506 14425186304 12125 33554432000 4194304 4196468 140731240643856 140649347496720 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11367] ppid=11358 vsize=14087096 memory=140690579400735 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11367/stat : 11367 (java) S 11358 11358 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380506 14425186304 12125 33554432000 4194304 4196468 140731240643856 140649346444176 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11368] ppid=11358 vsize=14087096 memory=281381158766880 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11368/stat : 11368 (java) S 11358 11358 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380506 14425186304 12125 33554432000 4194304 4196468 140731240643856 140649345391632 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11369] ppid=11358 vsize=14087096 memory=140690579363855 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11369/stat : 11369 (java) S 11358 11358 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380506 14425186304 12125 33554432000 4194304 4196468 140731240643856 140649344339088 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11378] ppid=11358 vsize=14087096 memory=281381268445568 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11378/stat : 11378 (java) S 11358 11358 11307 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 50380508 14425186304 12125 33554432000 4194304 4196468 140731240643856 140649092155376 140649752070786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11383] ppid=11358 vsize=14087096 memory=140690579368463 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11383/stat : 11383 (java) S 11358 11358 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50380508 14425186304 12125 33554432000 4194304 4196468 140731240643856 140649091101600 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11384] ppid=11358 vsize=14087096 memory=140690579382075 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11384/stat : 11384 (java) S 11358 11358 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50380509 14425186304 12125 33554432000 4194304 4196468 140731240643856 140649090049008 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11388] ppid=11358 vsize=14087096 memory=140690579384405 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11388/stat : 11388 (java) S 11358 11358 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380511 14425186304 12125 33554432000 4194304 4196468 140731240643856 140649088997584 140649752078235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11389] ppid=11358 vsize=14087096 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/11363/task/11389/stat : 11389 (java) S 11358 11358 11307 0 -1 1077944384 544 0 0 0 5 0 0 0 20 0 15 0 50380511 14425186304 12125 33554432000 4194304 4196468 140731240643856 140649087945200 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11390] ppid=11358 vsize=14087096 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/11363/task/11390/stat : 11390 (java) R 11358 11358 11307 0 -1 4202560 399 0 0 0 4 0 0 0 20 0 15 0 50380511 14425186304 12125 33554432000 4194304 4196468 140731240643856 140649086883040 140649729320896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11391] ppid=11358 vsize=14087096 memory=140690689074816 CPUtime=0.12 cores=0,2,4,6
/proc/11363/task/11391/stat : 11391 (java) S 11358 11358 11307 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 15 0 50380511 14425186304 12125 33554432000 4194304 4196468 140731240643856 140649085840112 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11392] ppid=11358 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11392/stat : 11392 (java) S 11358 11358 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380511 14425186304 12125 33554432000 4194304 4196468 140731240643856 140649084787808 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11393] ppid=11358 vsize=14087096 memory=140690689076268 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11393/stat : 11393 (java) S 11358 11358 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380511 14425186304 12125 33554432000 4194304 4196468 140731240643856 140649083734320 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49952 KiB
[startup+0.700779 s]
/proc/loadavg: 0.69 0.78 1.02 8/218 11399
/proc/meminfo: memFree=23264092/32770624 swapFree=67108860/67108860
[pid=11358] ppid=11355 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11358/stat : 11358 (xcsp3-exec) S 11355 11358 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 50380505 115843072 363 33554432000 4194304 5098028 140725002734352 140725002732456 140408454951548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17346560 140725002740794 140725002740996 140725002740996 140725002743754 0
/proc/11358/statm: 28282 363 306 221 0 87 0
[pid=11363] ppid=11358 vsize=14089252 memory=100936 CPUtime=1.77 cores=0,2,4,6
/proc/11363/stat : 11363 (java) S 11358 11358 11307 0 -1 1077944320 12769 0 0 0 172 5 0 0 20 0 15 0 50380505 14427394048 25234 33554432000 4194304 4196468 140731240643856 140731240626400 140649752059639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
/proc/11363/statm: 3522305 25234 3334 1 0 3483520 0
[pid=11363/tid=11365] ppid=11358 vsize=14089220 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/11363/task/11365/stat : 11365 (java) D 11358 11358 11307 0 -1 1077944384 6802 0 0 0 63 3 0 0 20 0 15 0 50380505 14427361280 25234 33554432000 4194304 4196468 140731240643856 140649756276128 140649744738861 0 4 0 16800975 18446744072101625380 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11366] ppid=11358 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11366/stat : 11366 (java) S 11358 11358 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380506 14427361280 25234 33554432000 4194304 4196468 140731240643856 140649347496720 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11367] ppid=11358 vsize=14089220 memory=5 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11367/stat : 11367 (java) S 11358 11358 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380506 14427361280 25234 33554432000 4194304 4196468 140731240643856 140649346444176 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11368] ppid=11358 vsize=14089220 memory=30 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11368/stat : 11368 (java) S 11358 11358 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380506 14427361280 25234 33554432000 4194304 4196468 140731240643856 140649345391632 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11369] ppid=11358 vsize=14089252 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11369/stat : 11369 (java) S 11358 11358 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380506 14427394048 25234 33554432000 4194304 4196468 140731240643856 140649344339088 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11378] ppid=11358 vsize=14089252 memory=4 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11378/stat : 11378 (java) S 11358 11358 11307 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 50380508 14427394048 25234 33554432000 4194304 4196468 140731240643856 140649092155376 140649752070786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11383] ppid=11358 vsize=14089252 memory=7165352523811206457 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11383/stat : 11383 (java) S 11358 11358 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50380508 14427394048 25234 33554432000 4194304 4196468 140731240643856 140649091101600 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11384] ppid=11358 vsize=14089220 memory=7156871063736963152 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11384/stat : 11384 (java) S 11358 11358 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50380509 14427361280 25234 33554432000 4194304 4196468 140731240643856 140649090049008 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11388] ppid=11358 vsize=14089220 memory=2412 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11388/stat : 11388 (java) S 11358 11358 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380511 14427361280 25234 33554432000 4194304 4196468 140731240643856 140649088997584 140649752078235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11389] ppid=11358 vsize=14089220 memory=1724 CPUtime=0.37 cores=0,2,4,6
/proc/11363/task/11389/stat : 11389 (java) R 11358 11358 11307 0 -1 4202560 1544 0 0 0 37 0 0 0 20 0 15 0 50380511 14427361280 25234 33554432000 4194304 4196468 140731240643856 140649087937152 140649733469789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11390] ppid=11358 vsize=14089220 memory=1228 CPUtime=0.34 cores=0,2,4,6
/proc/11363/task/11390/stat : 11390 (java) R 11358 11358 11307 0 -1 4202560 1248 0 0 0 34 0 0 0 20 0 15 0 50380511 14427361280 25234 33554432000 4194304 4196468 140731240643856 140649086879328 140649737185018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11391] ppid=11358 vsize=14089220 memory=1428 CPUtime=0.36 cores=0,2,4,6
/proc/11363/task/11391/stat : 11391 (java) S 11358 11358 11307 0 -1 1077944384 1868 0 0 0 36 0 0 0 20 0 15 0 50380511 14427361280 25234 33554432000 4194304 4196468 140731240643856 140649085840112 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11392] ppid=11358 vsize=14089252 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11392/stat : 11392 (java) S 11358 11358 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380511 14427394048 25234 33554432000 4194304 4196468 140731240643856 140649084787808 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11393] ppid=11358 vsize=14089252 memory=5300 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11393/stat : 11393 (java) S 11358 11358 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380511 14427394048 25234 33554432000 4194304 4196468 140731240643856 140649083734320 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 14202380 KiB
Current children cumulated memory: 102388 KiB
[startup+1.50088 s]
/proc/loadavg: 0.96 0.83 1.03 5/218 11399
/proc/meminfo: memFree=23161288/32770624 swapFree=67108860/67108860
[pid=11358] ppid=11355 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11358/stat : 11358 (xcsp3-exec) S 11355 11358 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 50380505 115843072 363 33554432000 4194304 5098028 140725002734352 140725002732456 140408454951548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17346560 140725002740794 140725002740996 140725002740996 140725002743754 0
/proc/11358/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
[pid=11363/tid=11378] ppid=11358 vsize=14089220 memory=1462300 CPUtime=0.15 cores=0,2,4,6
/proc/11363/task/11378/stat : 11378 (java) S 11358 11358 11307 0 -1 1077944384 3573 0 0 0 12 3 0 0 20 0 15 0 50380508 14427361280 365575 33554432000 4194304 4196468 140731240643856 140649092155376 140649752070786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11383] ppid=11358 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11383/stat : 11383 (java) S 11358 11358 11307 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 50380508 14427361280 365575 33554432000 4194304 4196468 140731240643856 140649091101664 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11384] ppid=11358 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11384/stat : 11384 (java) S 11358 11358 11307 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 50380509 14427361280 365575 33554432000 4194304 4196468 140731240643856 140649090049024 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11388] ppid=11358 vsize=14089220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11388/stat : 11388 (java) S 11358 11358 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380511 14427361280 365575 33554432000 4194304 4196468 140731240643856 140649088997584 140649752078235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11389] ppid=11358 vsize=14089220 memory=2292 CPUtime=3.17 cores=0,2,4,6
/proc/11363/task/11389/stat : 11389 (java) S 11358 11358 11307 0 -1 1077944384 21167 0 0 0 315 2 0 0 20 0 15 0 50380511 14427361280 365575 33554432000 4194304 4196468 140731240643856 140649087945200 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11390] ppid=11358 vsize=14089220 memory=1462300 CPUtime=2.83 cores=0,2,4,6
/proc/11363/task/11390/stat : 11390 (java) S 11358 11358 11307 0 -1 1077944384 21470 0 0 0 280 3 0 0 20 0 15 0 50380511 14427361280 365575 33554432000 4194304 4196468 140731240643856 140649086892656 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11391] ppid=11358 vsize=14089220 memory=4140 CPUtime=0.81 cores=0,2,4,6
/proc/11363/task/11391/stat : 11391 (java) S 11358 11358 11307 0 -1 1077944384 13692 0 0 0 80 1 0 0 20 0 15 0 50380511 14427361280 365575 33554432000 4194304 4196468 140731240643856 140649085840112 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11392] ppid=11358 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11392/stat : 11392 (java) S 11358 11358 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380511 14427361280 365575 33554432000 4194304 4196468 140731240643856 140649084787808 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11393] ppid=11358 vsize=14089220 memory=1462300 CPUtime=1.54 cores=0,2,4,6
/proc/11363/task/11393/stat : 11393 (java) S 11358 11358 11307 0 -1 1077944384 1535 0 0 0 76 78 0 0 20 0 15 0 50380511 14427361280 365575 33554432000 4194304 4196468 140731240643856 140649083734320 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
Current children cumulated CPU time: 2336.02 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1463752 KiB
[startup+2382.3 s]
/proc/loadavg: 1.97 2.01 1.95 3/217 11494
/proc/meminfo: memFree=21709800/32770624 swapFree=67108860/67108860
[pid=11358] ppid=11355 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11358/stat : 11358 (xcsp3-exec) S 11355 11358 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 50380505 115843072 363 33554432000 4194304 5098028 140725002734352 140725002732456 140408454951548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17346560 140725002740794 140725002740996 140725002740996 140725002743754 0
/proc/11358/statm: 28282 363 306 221 0 87 0
[pid=11363] ppid=11358 vsize=14089220 memory=1523692 CPUtime=2396.2 cores=0,2,4,6
/proc/11363/stat : 11363 (java) S 11358 11358 11307 0 -1 1077944320 150721 0 0 0 239422 198 0 0 20 0 15 0 50380505 14427361280 380923 33554432000 4194304 4196468 140731240643856 140731240626400 140649752059639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
/proc/11363/statm: 3522305 380923 3419 1 0 3483520 0
[pid=11363/tid=11365] ppid=11358 vsize=14089220 memory=1452 CPUtime=2380.2 cores=0,2,4,6
/proc/11363/task/11365/stat : 11365 (java) R 11358 11358 11307 0 -1 4202560 68203 0 0 0 238006 14 0 0 20 0 15 0 50380505 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649756299072 140649395699977 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11366] ppid=11358 vsize=14089220 memory=1523692 CPUtime=1.83 cores=0,2,4,6
/proc/11363/task/11366/stat : 11366 (java) S 11358 11358 11307 0 -1 1077944384 4975 0 0 0 156 27 0 0 20 0 15 0 50380506 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649347496720 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11367] ppid=11358 vsize=14089220 memory=1523692 CPUtime=1.83 cores=0,2,4,6
/proc/11363/task/11367/stat : 11367 (java) S 11358 11358 11307 0 -1 1077944384 4014 0 0 0 156 27 0 0 20 0 15 0 50380506 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649346444176 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11368] ppid=11358 vsize=14089220 memory=1452 CPUtime=1.8 cores=0,2,4,6
/proc/11363/task/11368/stat : 11368 (java) S 11358 11358 11307 0 -1 1077944384 4310 0 0 0 154 26 0 0 20 0 15 0 50380506 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649345391632 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11369] ppid=11358 vsize=14089220 memory=1523692 CPUtime=1.83 cores=0,2,4,6
/proc/11363/task/11369/stat : 11369 (java) S 11358 11358 11307 0 -1 1077944384 5669 0 0 0 156 27 0 0 20 0 15 0 50380506 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649344339088 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11378] ppid=11358 vsize=14089220 memory=1452 CPUtime=0.16 cores=0,2,4,6
/proc/11363/task/11378/stat : 11378 (java) S 11358 11358 11307 0 -1 1077944384 3774 0 0 0 12 4 0 0 20 0 15 0 50380508 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649092155376 140649752070786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11383] ppid=11358 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11383/stat : 11383 (java) S 11358 11358 11307 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 50380508 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649091101664 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11384] ppid=11358 vsize=14089220 memory=183 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11384/stat : 11384 (java) S 11358 11358 11307 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 50380509 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649090049024 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11388] ppid=11358 vsize=14089220 memory=1523692 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11388/stat : 11388 (java) S 11358 11358 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649088997584 140649752078235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11389] ppid=11358 vsize=14089220 memory=4140 CPUtime=3.19 cores=0,2,4,6
/proc/11363/task/11389/stat : 11389 (java) S 11358 11358 11307 0 -1 1077944384 21178 0 0 0 317 2 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649087945200 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11390] ppid=11358 vsize=14089220 memory=2340 CPUtime=2.85 cores=0,2,4,6
/proc/11363/task/11390/stat : 11390 (java) S 11358 11358 11307 0 -1 1077944384 21534 0 0 0 282 3 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649086892656 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11391] ppid=11358 vsize=14089220 memory=1568 CPUtime=0.82 cores=0,2,4,6
/proc/11363/task/11391/stat : 11391 (java) S 11358 11358 11307 0 -1 1077944384 14099 0 0 0 80 2 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649085840112 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11392] ppid=11358 vsize=14089220 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11392/stat : 11392 (java) S 11358 11358 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649084787808 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11393] ppid=11358 vsize=14089220 memory=16460 CPUtime=1.58 cores=0,2,4,6
/proc/11363/task/11393/stat : 11393 (java) S 11358 11358 11307 0 -1 1077944384 1567 0 0 0 78 80 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649083734320 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
Current children cumulated CPU time: 2396.2 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1525144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2386.11 s]
/proc/loadavg: 1.97 2.01 1.95 3/217 11494
/proc/meminfo: memFree=21709800/32770624 swapFree=67108860/67108860
[pid=11358] ppid=11355 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11358/stat : 11358 (xcsp3-exec) S 11355 11358 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 50380505 115843072 363 33554432000 4194304 5098028 140725002734352 140725002732456 140408454951548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17346560 140725002740794 140725002740996 140725002740996 140725002743754 0
/proc/11358/statm: 28282 363 306 221 0 87 0
[pid=11363] ppid=11358 vsize=14089220 memory=1523692 CPUtime=2400.01 cores=0,2,4,6
/proc/11363/stat : 11363 (java) S 11358 11358 11307 0 -1 1077944320 150826 0 0 0 239803 198 0 0 20 0 15 0 50380505 14427361280 380923 33554432000 4194304 4196468 140731240643856 140731240626400 140649752059639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
/proc/11363/statm: 3522305 380923 3419 1 0 3483520 0
[pid=11363/tid=11365] ppid=11358 vsize=14089220 memory=1452 CPUtime=2384.01 cores=0,2,4,6
/proc/11363/task/11365/stat : 11365 (java) R 11358 11358 11307 0 -1 4202560 68308 0 0 0 238387 14 0 0 20 0 15 0 50380505 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649756299072 140649395700188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11366] ppid=11358 vsize=14089220 memory=1523692 CPUtime=1.83 cores=0,2,4,6
/proc/11363/task/11366/stat : 11366 (java) S 11358 11358 11307 0 -1 1077944384 4975 0 0 0 156 27 0 0 20 0 15 0 50380506 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649347496720 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11367] ppid=11358 vsize=14089220 memory=1452 CPUtime=1.83 cores=0,2,4,6
/proc/11363/task/11367/stat : 11367 (java) S 11358 11358 11307 0 -1 1077944384 4014 0 0 0 156 27 0 0 20 0 15 0 50380506 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649346444176 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11368] ppid=11358 vsize=14089220 memory=1523692 CPUtime=1.8 cores=0,2,4,6
/proc/11363/task/11368/stat : 11368 (java) S 11358 11358 11307 0 -1 1077944384 4310 0 0 0 154 26 0 0 20 0 15 0 50380506 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649345391632 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11369] ppid=11358 vsize=14089220 memory=1523692 CPUtime=1.83 cores=0,2,4,6
/proc/11363/task/11369/stat : 11369 (java) S 11358 11358 11307 0 -1 1077944384 5669 0 0 0 156 27 0 0 20 0 15 0 50380506 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649344339088 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11378] ppid=11358 vsize=14089220 memory=1452 CPUtime=0.16 cores=0,2,4,6
/proc/11363/task/11378/stat : 11378 (java) S 11358 11358 11307 0 -1 1077944384 3774 0 0 0 12 4 0 0 20 0 15 0 50380508 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649092155376 140649752070786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11383] ppid=11358 vsize=14089220 memory=1523692 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11383/stat : 11383 (java) S 11358 11358 11307 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 50380508 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649091101664 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11384] ppid=11358 vsize=14089220 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11384/stat : 11384 (java) S 11358 11358 11307 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 50380509 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649090049024 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11388] ppid=11358 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11388/stat : 11388 (java) S 11358 11358 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649088997584 140649752078235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11389] ppid=11358 vsize=14089220 memory=1452 CPUtime=3.19 cores=0,2,4,6
/proc/11363/task/11389/stat : 11389 (java) S 11358 11358 11307 0 -1 1077944384 21178 0 0 0 317 2 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649087945200 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11390] ppid=11358 vsize=14089220 memory=6791534058613427641 CPUtime=2.85 cores=0,2,4,6
/proc/11363/task/11390/stat : 11390 (java) S 11358 11358 11307 0 -1 1077944384 21534 0 0 0 282 3 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649086892656 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11391] ppid=11358 vsize=14089220 memory=1428 CPUtime=0.82 cores=0,2,4,6
/proc/11363/task/11391/stat : 11391 (java) S 11358 11358 11307 0 -1 1077944384 14099 0 0 0 80 2 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649085840112 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11392] ppid=11358 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11392/stat : 11392 (java) S 11358 11358 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649084787808 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11393] ppid=11358 vsize=14089220 memory=1452 CPUtime=1.59 cores=0,2,4,6
/proc/11363/task/11393/stat : 11393 (java) S 11358 11358 11307 0 -1 1077944384 1567 0 0 0 78 81 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649083734320 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1525144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2386.13 s]
# the end of solver process 11358 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.05 s, system=1.99262 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2386.11 s]
/proc/loadavg: 1.97 2.01 1.95 3/217 11494
/proc/meminfo: memFree=21709800/32770624 swapFree=67108860/67108860
[pid=11358] ppid=11355 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11358/stat : 11358 (xcsp3-exec) S 11355 11358 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 50380505 115843072 363 33554432000 4194304 5098028 140725002734352 140725002732456 140408454951548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17346560 140725002740794 140725002740996 140725002740996 140725002743754 0
/proc/11358/statm: 28282 363 306 221 0 87 0
[pid=11363] ppid=11358 vsize=14089220 memory=1523692 CPUtime=2400.01 cores=0,2,4,6
/proc/11363/stat : 11363 (java) S 11358 11358 11307 0 -1 1077944320 150826 0 0 0 239803 198 0 0 20 0 15 0 50380505 14427361280 380923 33554432000 4194304 4196468 140731240643856 140731240626400 140649752059639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
/proc/11363/statm: 3522305 380923 3419 1 0 3483520 0
[pid=11363/tid=11365] ppid=11358 vsize=14089220 memory=1452 CPUtime=2384.01 cores=0,2,4,6
/proc/11363/task/11365/stat : 11365 (java) R 11358 11358 11307 0 -1 4202560 68308 0 0 0 238387 14 0 0 20 0 15 0 50380505 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649756299072 140649395700188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11366] ppid=11358 vsize=14089220 memory=1523692 CPUtime=1.83 cores=0,2,4,6
/proc/11363/task/11366/stat : 11366 (java) S 11358 11358 11307 0 -1 1077944384 4975 0 0 0 156 27 0 0 20 0 15 0 50380506 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649347496720 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11367] ppid=11358 vsize=14089220 memory=1452 CPUtime=1.83 cores=0,2,4,6
/proc/11363/task/11367/stat : 11367 (java) S 11358 11358 11307 0 -1 1077944384 4014 0 0 0 156 27 0 0 20 0 15 0 50380506 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649346444176 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11368] ppid=11358 vsize=14089220 memory=1523692 CPUtime=1.8 cores=0,2,4,6
/proc/11363/task/11368/stat : 11368 (java) S 11358 11358 11307 0 -1 1077944384 4310 0 0 0 154 26 0 0 20 0 15 0 50380506 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649345391632 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11369] ppid=11358 vsize=14089220 memory=1523692 CPUtime=1.83 cores=0,2,4,6
/proc/11363/task/11369/stat : 11369 (java) S 11358 11358 11307 0 -1 1077944384 5669 0 0 0 156 27 0 0 20 0 15 0 50380506 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649344339088 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11378] ppid=11358 vsize=14089220 memory=1452 CPUtime=0.16 cores=0,2,4,6
/proc/11363/task/11378/stat : 11378 (java) S 11358 11358 11307 0 -1 1077944384 3774 0 0 0 12 4 0 0 20 0 15 0 50380508 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649092155376 140649752070786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11383] ppid=11358 vsize=14089220 memory=1523692 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11383/stat : 11383 (java) S 11358 11358 11307 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 50380508 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649091101664 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11384] ppid=11358 vsize=14089220 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11384/stat : 11384 (java) S 11358 11358 11307 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 50380509 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649090049024 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11388] ppid=11358 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11388/stat : 11388 (java) S 11358 11358 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649088997584 140649752078235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11389] ppid=11358 vsize=14089220 memory=1452 CPUtime=3.19 cores=0,2,4,6
/proc/11363/task/11389/stat : 11389 (java) S 11358 11358 11307 0 -1 1077944384 21178 0 0 0 317 2 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649087945200 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11390] ppid=11358 vsize=14089220 memory=6791534058613427641 CPUtime=2.85 cores=0,2,4,6
/proc/11363/task/11390/stat : 11390 (java) S 11358 11358 11307 0 -1 1077944384 21534 0 0 0 282 3 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649086892656 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11391] ppid=11358 vsize=14089220 memory=1428 CPUtime=0.82 cores=0,2,4,6
/proc/11363/task/11391/stat : 11391 (java) S 11358 11358 11307 0 -1 1077944384 14099 0 0 0 80 2 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649085840112 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11392] ppid=11358 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11363/task/11392/stat : 11392 (java) S 11358 11358 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649084787808 140649752069845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
[pid=11363/tid=11393] ppid=11358 vsize=14089220 memory=1452 CPUtime=1.59 cores=0,2,4,6
/proc/11363/task/11393/stat : 11393 (java) S 11358 11358 11307 0 -1 1077944384 1567 0 0 0 78 81 0 0 20 0 15 0 50380511 14427361280 380923 33554432000 4194304 4196468 140731240643856 140649083734320 140649752070786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 19783680 140731240649857 140731240650033 140731240650033 140731240652751 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1525144 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2386.13
CPU time (s): 2400.04
CPU user time (s): 2398.05
CPU system time (s): 1.99262
CPU usage (%): 100.583
Max. virtual memory (cumulated for all children) (KiB): 14202380
Max. memory (cumulated for all children) (KiB): 1525144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.05
system time used= 1.99262
maximum resident set size= 1524036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151684
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55767
involuntary context switches= 3115
# summary of solver processes directly reported to runsolver:
# pid: 11358
# total CPU time (s): 2400.04
# total CPU user time (s): 2398.05
# total CPU system time (s): 1.99262
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8715 second user time and 24.6373 second system time
The end
Begin job on node103 at 2018-07-23 08:42:53 IDJOB=4292346 IDBENCH=141244 IDSOLVER=2747 FILE ID=node103/4292346-1532328173 RUNJOBID= node103-1532328173-11338 PBS_JOBID= 21018996 Free space on /tmp= 56852 MiB SOLVER NAME= Choco-solver 4.0.7 seq (493a269) BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko72_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292346-1532328173/watcher-4292346-1532328173 -o /tmp/evaluation-result-4292346-1532328173/solver-4292346-1532328173 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532328173-11338 --watchdog 2560 HOME/xcsp3-exec -seed 1360516818 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292346-1532328173.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 69672b68d8d3f9201b488571cf4784d4 RANDOM SEED=1360516818 node103.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.48 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.48 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.48 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.48 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: 23380440 kB MemAvailable: 31938300 kB Buffers: 254672 kB Cached: 8503580 kB SwapCached: 0 kB Active: 1514800 kB Inactive: 7296520 kB Active(anon): 55948 kB Inactive(anon): 16976 kB Active(file): 1458852 kB Inactive(file): 7279544 kB Unevictable: 7144 kB Mlocked: 7144 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 40976 kB Writeback: 0 kB AnonPages: 60600 kB Mapped: 36296 kB Shmem: 17036 kB Slab: 275968 kB SReclaimable: 247924 kB SUnreclaim: 28044 kB KernelStack: 3120 kB PageTables: 5496 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 317432 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56812 MiB End job on node103 at 2018-07-23 09:22:39