Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-07-26) | SAT (TO) | 7447576 | 253.14999 | 240.00999 |
| Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml |
| MD5SUM | c9a66f606132a3c8760ec6756f0c4250 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 7376034 |
| Best CPU time to get the best result obtained on this benchmark | 251.92 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6480 |
| Number of constraints | 3128 |
| Number of domains | 2 |
| Minimum domain size | 80 |
| Maximum domain size | 100 |
| Distribution of domain sizes | [{"size":80,"count":80},{"size":100,"count":3127}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 80 |
| Distribution of variable degrees | [{"degree":0,"count":3273},{"degree":2,"count":3127},{"degree":77,"count":3},{"degree":78,"count":14},{"degree":79,"count":29},{"degree":80,"count":34}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 80 |
| Distribution of constraint arities | [{"arity":3,"count":3127},{"arity":80,"count":1}] |
| Number of extensional constraints | 3127 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":3127},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.08 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255190-1501619646.xml" -tl '264s' -p 1 -x 3 0.00/0.27 c [HOME/instance-4255190-1501619646.xml, -tl, 264s, -p, 1, -x, 3] 0.00/0.32 c simple solver 0.00/0.39 c parse instance... 22.33/18.15 c solve instance... 108.22/100.67 o 7580069 108.95/100.93 o 7566572 213.43/202.49 o 7462763 213.54/202.58 o 7450680 213.74/202.74 o 7447576 253.15/240.00 s SATISFIABLE 253.15/240.00 v <instantiation> 253.15/240.00 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] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] 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][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[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] 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[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] 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][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][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] 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[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] 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[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] 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][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[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] 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[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] 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][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[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] 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][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[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] 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][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[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[10][11] d[10][12] d[10][13] d[10][14] 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[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] 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[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] 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[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] 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[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] 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[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] 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[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] 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][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[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] 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[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] 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][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] 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[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] 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[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] 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][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[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] 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[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] 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[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] 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[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] 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[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] 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[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] 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][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[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] 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[28][72] d[28][73] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] 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][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] 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][54] d[30][55] d[30][56] 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[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] 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][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[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][78] d[31][79] 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][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[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] 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[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] 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[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] 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[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] 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][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] 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[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] 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][56] d[38][57] 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[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] 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[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] 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[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] 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[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] 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[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] 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[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] 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[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] 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[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] 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[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] 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[47][72] d[47][73] d[47][74] d[47][76] d[47][77] d[47][78] d[47][79] 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[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] 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[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] 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[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] 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[51][72] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] 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[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] 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][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] 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[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] 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[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] 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][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] 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[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] 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[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] 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[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] 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[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] 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[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] 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[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] 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[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[68][69] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][78] d[69][79] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[75][76] d[75][77] d[75][78] d[75][79] d[76][77] d[76][78] d[76][79] d[77][78] d[77][79] d[78][79] </list> 253.15/240.00 v <values>45 16 60 19 22 66 63 4 64 74 55 8 71 17 51 77 5 52 11 57 14 23 34 39 2 46 37 79 54 47 24 0 18 7 61 13 76 50 44 28 72 27 49 42 3 33 56 20 10 31 29 12 69 41 59 35 43 32 68 75 36 9 58 38 73 78 40 25 62 30 65 67 70 26 21 6 53 15 48 1 56 71 30 89 68 4 37 75 87 55 78 78 44 57 50 43 76 19 92 47 99 65 45 27 62 88 19 5 59 79 21 23 13 28 15 21 12 51 22 21 27 65 47 62 26 59 81 63 3 92 98 89 39 72 53 84 1 38 45 41 13 91 21 28 69 84 72 90 41 96 0 38 22 22 77 81 29 10 88 75 93 18 11 70 99 39 43 33 20 45 31 22 93 48 81 7 60 79 15 84 75 82 52 87 39 37 0 15 57 13 12 70 15 82 25 20 76 84 90 94 57 10 56 59 60 6 18 82 12 80 34 49 51 55 5 41 29 54 95 77 33 94 44 62 62 72 81 20 41 89 97 74 79 48 15 79 56 83 92 17 65 55 15 33 38 29 33 53 98 78 14 47 93 33 25 17 87 52 84 71 48 30 40 33 13 84 5 9 24 92 98 87 66 24 35 53 44 16 18 76 37 55 13 0 91 73 97 74 19 19 99 50 0 30 98 96 48 32 14 55 23 37 80 6 58 28 49 53 68 86 46 21 93 79 87 16 54 36 32 55 82 89 58 54 94 67 49 71 35 94 41 12 8 89 75 34 12 9 29 37 10 62 30 33 6 21 73 81 29 42 3 9 19 42 80 72 54 56 63 37 63 21 40 84 40 2 64 53 42 66 94 9 50 80 79 1 13 48 97 15 34 99 75 29 27 74 40 9 35 93 33 94 59 58 7 63 3 94 11 85 32 53 22 19 38 53 99 2 43 6 17 84 84 10 20 76 56 48 14 85 1 29 6 78 24 67 22 61 90 99 79 19 78 55 93 39 5 17 70 3 30 94 33 9 72 44 80 95 57 48 72 47 55 81 73 28 76 97 71 85 40 54 82 45 77 65 54 26 60 81 13 67 92 27 87 61 88 20 56 68 48 32 99 61 77 34 36 33 42 94 39 22 2 97 48 57 28 36 75 10 42 66 49 89 7 26 85 62 73 77 97 32 31 46 9 96 39 96 77 54 39 56 97 57 60 47 96 56 37 34 26 31 18 14 87 7 36 37 10 89 69 66 3 93 49 77 11 87 27 14 98 96 69 84 45 33 38 3 1 77 35 92 47 54 8 52 79 11 21 42 15 48 93 16 52 62 87 23 96 2 14 54 27 18 92 49 74 13 74 4 69 91 33 90 35 64 70 27 86 10 13 58 80 41 6 96 15 2 34 9 20 27 42 84 26 71 80 50 12 19 9 52 68 76 0 26 87 55 20 96 56 26 14 51 79 66 54 37 93 37 11 94 42 2 21 98 49 93 67 37 40 7 7 26 19 39 71 39 90 74 65 1 92 1 93 70 84 93 27 71 93 21 60 35 1 51 12 72 62 8 4 30 85 84 11 35 77 5 54 94 73 93 12 90 45 19 54 46 57 50 84 48 31 81 11 43 23 25 63 99 29 69 28 16 80 13 73 25 2 17 8 17 82 3 85 75 43 14 20 44 25 17 23 67 81 25 19 76 93 17 26 21 24 4 35 98 15 89 64 62 39 61 71 55 67 37 85 90 59 88 27 80 30 37 99 83 62 57 40 11 45 3 25 37 1 22 1 55 15 53 26 98 97 28 54 46 98 78 81 49 33 99 99 65 32 62 50 89 89 66 27 75 99 54 79 36 96 97 42 26 47 35 52 84 67 95 0 69 85 44 16 56 51 47 48 5 29 4 33 8 24 74 73 82 72 44 74 98 91 35 83 23 96 1 59 30 60 87 3 37 48 88 22 90 69 52 96 64 44 47 14 91 48 96 96 1 61 4 28 23 74 21 75 5 80 60 63 76 90 35 47 50 82 23 72 29 43 60 48 97 93 53 87 44 43 8 13 30 90 92 85 47 64 50 10 40 28 54 22 74 19 37 9 10 43 46 81 84 53 54 53 55 46 22 62 84 76 39 30 91 68 82 62 30 95 12 6 92 22 95 58 12 64 88 46 8 62 34 69 35 86 49 90 9 52 85 72 94 1 1 51 41 24 65 45 20 32 20 49 24 85 15 83 81 58 96 17 36 86 23 20 76 63 43 69 45 16 80 71 29 50 37 22 40 84 79 23 62 28 36 35 22 0 25 19 22 96 98 18 13 34 51 55 70 87 94 17 15 93 57 74 54 49 5 85 68 62 30 53 42 8 74 20 58 4 96 64 89 47 37 11 28 23 32 12 96 49 7 44 25 82 94 64 29 93 0 98 79 5 30 35 6 64 60 12 92 97 61 38 94 88 81 4 45 39 47 79 83 55 13 74 38 84 24 54 83 46 71 57 63 77 31 22 10 89 44 5 42 92 39 88 27 6 33 22 90 14 49 67 0 6 27 27 71 21 2 58 79 21 63 10 64 83 70 85 57 6 44 25 86 69 97 13 64 13 19 11 75 89 78 3 70 23 88 2 91 99 55 59 18 4 10 98 64 59 99 30 77 10 33 57 8 43 36 58 81 61 88 37 17 1 20 66 75 11 32 40 48 54 50 22 38 31 10 9 43 55 57 4 18 38 75 41 18 41 0 84 36 22 5 66 21 40 73 84 22 50 90 23 91 68 58 5 47 62 58 12 56 70 92 3 18 40 26 34 56 91 81 63 41 24 59 69 63 22 83 69 26 22 66 79 36 32 27 62 62 1 70 91 1 82 64 72 75 44 33 67 99 46 28 45 86 46 96 13 69 18 41 12 71 45 49 72 42 1 39 44 19 44 85 17 46 55 35 90 91 3 32 29 38 71 43 76 78 10 72 15 16 33 44 57 10 31 2 44 54 69 10 40 77 43 81 76 84 43 21 36 93 31 9 5 77 62 32 80 20 45 56 37 72 99 67 66 12 6 13 93 92 56 66 52 31 54 68 91 46 53 12 20 89 54 6 29 58 52 8 24 23 76 11 26 81 5 55 0 67 17 79 90 95 56 44 84 98 86 88 84 37 88 59 93 3 60 44 81 58 95 27 38 37 53 63 75 4 74 53 59 89 48 44 69 46 31 1 62 63 50 87 22 72 89 46 82 84 16 79 53 69 25 32 44 96 72 61 92 35 47 66 12 53 48 6 1 23 69 69 58 53 0 16 92 48 81 79 88 25 52 58 14 17 2 92 39 31 24 31 3 41 46 34 3 8 49 68 36 34 96 78 39 75 58 70 53 81 25 6 73 52 26 18 40 8 59 9 98 93 20 3 4 32 17 75 0 5 64 80 35 57 26 98 86 92 54 87 94 8 16 95 23 80 45 86 47 29 47 99 8 66 41 61 77 62 41 60 2 70 12 78 68 21 0 68 3 38 56 66 27 49 60 39 6 62 9 54 32 4 3 1 46 61 55 10 76 26 78 32 77 28 20 1 9 75 43 55 86 89 42 22 17 21 71 26 36 30 54 60 69 25 91 15 77 33 67 45 74 49 67 84 15 91 12 72 15 80 98 90 98 35 13 17 60 8 40 52 17 24 45 91 93 46 5 23 67 72 80 3 77 36 38 33 3 83 54 19 75 1 34 99 49 54 46 91 49 13 75 92 60 91 92 39 27 26 15 32 29 7 17 7 28 62 66 48 44 70 89 9 88 66 30 71 70 66 60 81 73 3 24 81 91 68 46 75 63 58 30 89 84 27 67 23 46 97 49 61 71 46 81 32 21 72 61 62 6 50 95 38 58 72 59 97 82 68 19 47 55 26 58 75 40 51 56 78 34 85 13 21 87 39 12 17 53 3 43 85 68 91 7 25 35 46 30 45 52 87 33 90 58 39 66 3 85 67 21 9 64 90 14 33 71 44 35 30 9 96 9 63 87 87 73 80 25 83 98 96 2 61 71 11 38 57 50 12 46 36 57 94 69 17 94 71 85 17 76 22 34 29 69 69 10 3 82 65 33 58 68 31 99 29 2 87 78 18 82 50 83 32 53 8 29 55 48 26 30 1 17 65 99 12 44 25 67 28 32 10 70 46 35 66 41 6 38 57 83 57 41 73 58 76 12 17 19 74 70 31 11 84 26 44 21 11 89 71 74 58 3 88 9 84 12 51 67 69 23 43 28 79 93 55 28 22 70 22 60 63 81 61 24 24 94 50 16 81 30 54 21 71 82 44 53 56 30 13 96 76 39 11 66 47 27 17 25 81 59 77 80 56 80 56 10 62 18 48 37 30 88 21 65 15 23 24 17 93 36 91 52 31 31 73 50 95 73 74 93 97 90 87 37 42 30 45 22 3 75 72 88 49 65 37 92 77 60 1 11 0 80 8 30 87 97 12 6 56 21 99 60 91 38 19 97 87 61 53 97 73 99 44 60 93 44 63 93 21 0 21 56 90 64 63 61 51 53 51 68 61 68 73 36 60 56 0 55 35 55 10 91 10 26 35 28 42 2 27 15 61 28 2 69 13 90 32 7 32 68 9 18 29 65 31 91 33 38 85 21 44 30 0 9 94 17 24 91 47 25 18 22 83 35 25 93 40 21 82 36 35 11 11 82 36 82 86 30 1 63 69 82 44 2 57 91 61 56 85 20 59 4 76 76 35 80 18 26 56 26 4 27 1 91 85 6 8 29 21 2 66 79 78 80 48 63 85 31 53 5 29 74 61 27 79 36 37 23 91 85 4 57 73 5 51 65 34 15 51 44 31 28 72 6 68 82 12 45 49 80 12 99 41 39 96 90 25 30 97 40 37 48 55 16 7 27 74 3 17 83 10 99 30 23 2 15 69 82 3 17 34 81 96 42 42 26 33 60 4 42 29 56 60 23 43 56 55 17 40 94 98 3 32 63 28 3 5 15 56 96 4 31 89 0 81 78 35 78 44 42 63 72 52 94 94 7 16 90 56 70 49 78 10 11 9 90 58 72 19 7 19 15 66 79 4 0 24 2 62 30 75 97 92 62 80 0 63 80 51 33 72 9 27 2 40 25 53 13 2 3 12 67 27 66 8 61 34 73 68 88 46 89 1 11 94 84 55 0 90 92 69 66 32 76 26 96 39 86 27 52 52 99 96 87 27 64 69 25 81 19 21 8 2 99 61 68 3 85 93 86 57 23 81 67 32 72 49 91 63 70 41 98 85 22 21 40 5 36 11 50 76 55 12 53 60 50 84 41 12 97 29 46 92 57 61 84 90 12 51 80 59 64 75 46 10 25 48 77 75 59 18 73 60 59 99 49 61 59 62 30 2 9 4 98 31 99 86 95 91 51 49 30 30 87 18 73 13 87 19 26 53 5 79 5 3 51 41 52 73 15 39 2 9 56 26 98 62 49 88 88 41 89 77 31 76 89 45 14 78 54 52 8 58 12 85 57 31 69 46 79 18 95 90 48 37 20 35 1 36 36 64 2 24 62 61 42 50 46 68 1 93 45 20 48 54 77 82 85 55 1 78 28 29 80 20 28 29 78 17 40 44 63 35 63 10 67 63 25 63 3 46 23 81 94 54 49 78 80 18 60 26 94 13 91 62 26 98 85 78 97 5 87 70 3 19 36 28 83 2 34 12 75 71 83 28 58 77 17 62 65 65 92 28 87 56 31 61 82 54 97 81 49 47 32 85 20 68 17 6 17 67 33 26 4 23 92 89 12 33 28 82 65 10 99 86 31 87 29 41 67 39 31 2 22 15 89 80 19 21 4 27 19 25 26 35 67 5 29 91 84 54 69 91 41 85 8 21 86 37 94 82 49 3 0 76 62 48 7 76 34 35 60 66 95 5 15 6 5 77 32 82 26 66 82 28 31 1 92 42 51 43 43 29 57 76 3 53 29 79 16 97 81 13 71 7 50 83 88 94 41 80 92 3 38 0 29 32 98 91 78 15 92 94 80 15 48 1 84 76 28 0 79 18 52 64 48 14 66 13 11 54 25 87 8 75 70 45 0 46 76 8 24 74 92 15 31 45 90 35 69 62 74 28 9 49 63 89 80 22 79 45 29 67 18 33 98 80 6 34 52 18 79 97 19 99 27 64 37 0 1 7 39 45 99 23 87 88 9 30 95 3 40 86 53 28 23 62 30 75 84 66 99 91 33 38 85 13 1 68 48 78 66 34 3 99 66 30 91 72 91 2 95 70 45 76 76 23 42 20 16 70 64 82 10 5 67 89 87 47 45 42 56 74 26 50 27 4 40 23 58 83 72 93 10 78 86 58 48 12 4 69 74 81 8 88 21 71 35 81 51 24 97 53 53 87 17 81 36 20 43 33 42 30 12 71 35 48 53 3 7 69 59 30 26 2 43 16 64 26 29 2 51 56 76 1 89 26 41 83 52 57 3 20 51 4 4 64 91 54 60 71 6 67 67 23 78 59 40 70 62 3 69 47 21 71 30 58 64 91 20 40 51 48 95 80 26 47 41 85 0 19 67 32 16 45 85 29 9 73 13 11 5 73 22 44 9 48 27 9 3 73 25 70 42 94 94 20 54 86 8 85 31 26 97 21 73 76 27 25 72 66 86 94 28 97 75 64 6 22 18 13 88 85 32 38 32 80 79 18 23 26 2 84 18 11 25 21 13 46 31 73 75 79 44 94 17 56 17 45 28 80 13 29 44 36 95 9 62 79 61 56 24 81 76 87 74 46 94 52 18 32 10 49 92 63 84 7 22 52 79 57 20 5 74 45 44 5 11 1 86 8 30 83 98 82 86 25 87 17 30 20 92 80 10 71 62 20 17 4 44 42 28 70 25 3 14 85 17 40 98 57 78 67 57 29 33 39 55 56 55 54 73 50 55 67 28 71 94 53 46 69 21 51 95 51 13 89 40 70 91 76 89 3 61 45 79 37 24 26 13 97 74 84 31 46 24 47 14 44 87 10 83 54 6 26 77 41 22 9 57 47 40 45 21 96 85 64 8 91 31 6 79 18 35 7 13 10 85 35 86 65 4 20 27 46 56 50 95 17 58 26 57 1 25 32 30 1 87 6 43 75 78 92 18 9 47 63 57 67 14 62 16 16 45 86 87 20 98 52 77 99 83 74 15 47 99 27 57 37 91 29 32 6 21 74 30 84 48 64 26 69 12 89 41 81 89 7 50 24 17 56 84 22 49 9 17 16 68 71 87 91 26 42 65 85 64 52 85 34 86 2 12 41 70 </values> 253.15/240.00 v </instantiation> 253.15/240.00 c Unexpected resolution interruption!
OK 7447576
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255190-1501619646/watcher-4255190-1501619646 -o /tmp/evaluation-result-4255190-1501619646/solver-4255190-1501619646 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501617027-7473 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1347926089 HOME/instance-4255190-1501619646.xml pid=11913 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.13 1.77 1.73 3/196 11916 /proc/meminfo: memFree=30524480/32770624 swapFree=0/970808 [pid=11916] ppid=11913 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/11916/stat : 11916 (runsolver) D 11913 11916 5678 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10589348 24240128 106 18446744073709551615 4194304 4338465 140728355240304 140728355237944 140256493249239 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 19206144 140728355246173 140728355246662 140728355246662 140728355250122 0 /proc/11916/statm: 5918 106 53 36 0 2156 0 [startup+0.100135 s] /proc/loadavg: 2.13 1.77 1.73 3/196 11916 /proc/meminfo: memFree=30524480/32770624 swapFree=0/970808 [pid=11916] ppid=11913 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/11916/stat : 11916 (xcsp3-exec) S 11913 11916 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10589348 9740288 344 18446744073709551615 4194304 5098028 140727811758864 140727811756968 140535954559612 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 18554880 140727811764635 140727811764839 140727811764839 140727811768299 0 /proc/11916/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.206548 s] /proc/loadavg: 2.13 1.77 1.73 3/196 11916 /proc/meminfo: memFree=30524480/32770624 swapFree=0/970808 [pid=11916] ppid=11913 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/11916/stat : 11916 (xcsp3-exec) S 11913 11916 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10589348 9740288 344 18446744073709551615 4194304 5098028 140727811758864 140727811756968 140535954559612 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 18554880 140727811764635 140727811764839 140727811764839 140727811768299 0 /proc/11916/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300291 s] /proc/loadavg: 2.13 1.77 1.73 3/196 11916 /proc/meminfo: memFree=30524480/32770624 swapFree=0/970808 [pid=11916] ppid=11913 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/11916/stat : 11916 (xcsp3-exec) S 11913 11916 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10589348 9740288 344 18446744073709551615 4194304 5098028 140727811758864 140727811756968 140535954559612 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 18554880 140727811764635 140727811764839 140727811764839 140727811768299 0 /proc/11916/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700587 s] /proc/loadavg: 2.13 1.77 1.73 3/196 11916 /proc/meminfo: memFree=30524480/32770624 swapFree=0/970808 [pid=11916] ppid=11913 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/11916/stat : 11916 (xcsp3-exec) S 11913 11916 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10589348 9740288 344 18446744073709551615 4194304 5098028 140727811758864 140727811756968 140535954559612 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 18554880 140727811764635 140727811764839 140727811764839 140727811768299 0 /proc/11916/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50059 s] /proc/loadavg: 2.13 1.77 1.73 3/212 11932 /proc/meminfo: memFree=30425180/32770624 swapFree=0/970856 [pid=11916] ppid=11913 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/11916/stat : 11916 (xcsp3-exec) S 11913 11916 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10589348 9740288 344 18446744073709551615 4194304 5098028 140727811758864 140727811756968 140535954559612 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 18554880 140727811764635 140727811764839 140727811764839 140727811768299 0 /proc/11916/statm: 2378 344 289 221 0 87 0 [pid=11918] ppid=11916 vsize=13978684 CPUtime=2.43 cores=1,3,5,7 /proc/11918/stat : 11918 (java) S 11916 11916 5678 0 -1 1077944320 14134 0 0 0 237 6 0 0 20 0 15 0 10589356 14314172416 24861 18446744073709551615 4194304 4196468 140736903975520 140736903958064 140533635714807 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 /proc/11918/statm: 3494671 24861 3164 1 0 3482972 0 [pid=11918/tid=11919] ppid=11916 vsize=13978684 CPUtime=1.35 cores=1,3,5,7 /proc/11918/task/11919/stat : 11919 (java) R 11916 11916 5678 0 -1 4202560 7651 0 0 0 131 4 0 0 20 0 15 0 10589357 14314172416 24861 18446744073709551615 4194304 4196468 140736903975520 140533639951160 140533229676511 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11920] ppid=11916 vsize=13978684 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11920/stat : 11920 (java) S 11916 11916 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10589357 14314172416 24861 18446744073709551615 4194304 4196468 140736903975520 140533555128720 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11921] ppid=11916 vsize=13978684 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11921/stat : 11921 (java) S 11916 11916 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10589357 14314172416 24861 18446744073709551615 4194304 4196468 140736903975520 140533554075920 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11922] ppid=11916 vsize=13978684 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11922/stat : 11922 (java) S 11916 11916 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10589357 14314172416 24861 18446744073709551615 4194304 4196468 140736903975520 140533553023632 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11923] ppid=11916 vsize=13978684 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11923/stat : 11923 (java) S 11916 11916 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10589357 14314172416 24861 18446744073709551615 4194304 4196468 140736903975520 140533551970832 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11924] ppid=11916 vsize=13978684 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11924/stat : 11924 (java) S 11916 11916 5678 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10589359 14314172416 24861 18446744073709551615 4194304 4196468 140736903975520 140533113014896 140533635725954 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11925] ppid=11916 vsize=13978684 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11925/stat : 11925 (java) S 11916 11916 5678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10589359 14314172416 24861 18446744073709551615 4194304 4196468 140736903975520 140533111960864 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11926] ppid=11916 vsize=13978684 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11926/stat : 11926 (java) S 11916 11916 5678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10589359 14314172416 24861 18446744073709551615 4194304 4196468 140736903975520 140533110908528 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11927] ppid=11916 vsize=13978684 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11927/stat : 11927 (java) S 11916 11916 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10589362 14314172416 24861 18446744073709551615 4194304 4196468 140736903975520 140533109856848 140533635733403 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11928] ppid=11916 vsize=13978684 CPUtime=0.37 cores=1,3,5,7 /proc/11918/task/11928/stat : 11928 (java) S 11916 11916 5678 0 -1 1077944384 1665 0 0 0 37 0 0 0 20 0 15 0 10589362 14314172416 24861 18446744073709551615 4194304 4196468 140736903975520 140533108803696 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11929] ppid=11916 vsize=13978684 CPUtime=0.35 cores=1,3,5,7 /proc/11918/task/11929/stat : 11929 (java) S 11916 11916 5678 0 -1 1077944384 1774 0 0 0 35 0 0 0 20 0 15 0 10589362 14314172416 24861 18446744073709551615 4194304 4196468 140736903975520 140533107750896 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11930] ppid=11916 vsize=13978684 CPUtime=0.32 cores=1,3,5,7 /proc/11918/task/11930/stat : 11930 (java) S 11916 11916 5678 0 -1 1077944384 1714 0 0 0 32 0 0 0 20 0 15 0 10589362 14314172416 24861 18446744073709551615 4194304 4196468 140736903975520 140533106698608 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11931] ppid=11916 vsize=13978684 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11931/stat : 11931 (java) S 11916 11916 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10589362 14314172416 24861 18446744073709551615 4194304 4196468 140736903975520 140533105646048 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11932] ppid=11916 vsize=13978684 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11932/stat : 11932 (java) S 11916 11916 5678 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 10589366 14314172416 24861 18446744073709551615 4194304 4196468 140736903975520 140533104593840 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 Current children cumulated CPU time (s) 2.43 Current children cumulated vsize (KiB) 13988196 [startup+3.10067 s] /proc/loadavg: 2.13 1.77 1.73 4/212 11932 /proc/meminfo: memFree=30413508/32770624 swapFree=0/970872 [pid=11916] ppid=11913 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/11916/stat : 11916 (xcsp3-exec) S 11913 11916 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10589348 9740288 344 18446744073709551615 4194304 5098028 140727811758864 140727811756968 140535954559612 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 18554880 140727811764635 140727811764839 140727811764839 140727811768299 0 /proc/11916/statm: 2378 344 289 221 0 87 0 [pid=11918] ppid=11916 vsize=13980732 CPUtime=4.35 cores=1,3,5,7 /proc/11918/stat : 11918 (java) S 11916 11916 5678 0 -1 1077944320 16820 0 0 0 428 7 0 0 20 0 15 0 10589356 14316269568 36929 18446744073709551615 4194304 4196468 140736903975520 140736903958064 140533635714807 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 /proc/11918/statm: 3495183 36929 3175 1 0 3483484 0 [pid=11918/tid=11919] ppid=11916 vsize=13980732 CPUtime=2.95 cores=1,3,5,7 /proc/11918/task/11919/stat : 11919 (java) R 11916 11916 5678 0 -1 4202560 8983 0 0 0 290 5 0 0 20 0 15 0 10589357 14316269568 36929 18446744073709551615 4194304 4196468 140736903975520 140533639950128 140533230306326 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11920] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11920/stat : 11920 (java) S 11916 11916 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10589357 14316269568 36929 18446744073709551615 4194304 4196468 140736903975520 140533555128720 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11921] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11921/stat : 11921 (java) S 11916 11916 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10589357 14316269568 36929 18446744073709551615 4194304 4196468 140736903975520 140533554075920 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11922] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11922/stat : 11922 (java) S 11916 11916 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10589357 14316269568 36929 18446744073709551615 4194304 4196468 140736903975520 140533553023632 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11923] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11923/stat : 11923 (java) S 11916 11916 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10589357 14316269568 36929 18446744073709551615 4194304 4196468 140736903975520 140533551970832 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11924] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11924/stat : 11924 (java) S 11916 11916 5678 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10589359 14316269568 36929 18446744073709551615 4194304 4196468 140736903975520 140533113014896 140533635725954 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11925] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11925/stat : 11925 (java) S 11916 11916 5678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10589359 14316269568 36929 18446744073709551615 4194304 4196468 140736903975520 140533111960864 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11926] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11926/stat : 11926 (java) S 11916 11916 5678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10589359 14316269568 36929 18446744073709551615 4194304 4196468 140736903975520 140533110908528 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11927] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11927/stat : 11927 (java) S 11916 11916 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10589362 14316269568 36929 18446744073709551615 4194304 4196468 140736903975520 140533109856848 140533635733403 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11928] ppid=11916 vsize=13980732 CPUtime=0.49 cores=1,3,5,7 /proc/11918/task/11928/stat : 11928 (java) S 11916 11916 5678 0 -1 1077944384 2105 0 0 0 49 0 0 0 20 0 15 0 10589362 14316269568 36929 18446744073709551615 4194304 4196468 140736903975520 140533108803696 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11929] ppid=11916 vsize=13980732 CPUtime=0.49 cores=1,3,5,7 /proc/11918/task/11929/stat : 11929 (java) S 11916 11916 5678 0 -1 1077944384 2236 0 0 0 49 0 0 0 20 0 15 0 10589362 14316269568 36929 18446744073709551615 4194304 4196468 140736903975520 140533107750896 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11930] ppid=11916 vsize=13980732 CPUtime=0.38 cores=1,3,5,7 /proc/11918/task/11930/stat : 11930 (java) S 11916 11916 5678 0 -1 1077944384 2116 0 0 0 38 0 0 0 20 0 15 0 10589362 14316269568 36929 18446744073709551615 4194304 4196468 140736903975520 140533106698608 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11931] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11931/stat : 11931 (java) S 11916 11916 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10589362 14316269568 36929 18446744073709551615 4194304 4196468 140736903975520 140533105646048 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11932] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11932/stat : 11932 (java) S 11916 11916 5678 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 10589366 14316269568 36929 18446744073709551615 4194304 4196468 140736903975520 140533104593840 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 Current children cumulated CPU time (s) 4.35 Current children cumulated vsize (KiB) 13990244 [startup+6.30072 s] /proc/loadavg: 2.12 1.78 1.73 3/212 11932 /proc/meminfo: memFree=30270204/32770624 swapFree=0/970872 [pid=11916] ppid=11913 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/11916/stat : 11916 (xcsp3-exec) S 11913 11916 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10589348 9740288 344 18446744073709551615 4194304 5098028 140727811758864 140727811756968 140535954559612 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 18554880 140727811764635 140727811764839 140727811764839 140727811768299 0 /proc/11916/statm: 2378 344 289 221 0 87 0 [pid=11918] ppid=11916 vsize=13980732 CPUtime=8.04 cores=1,3,5,7 /proc/11918/stat : 11918 (java) S 11916 11916 5678 0 -1 1077944320 19129 0 0 0 773 31 0 0 20 0 15 0 10589356 14316269568 90538 18446744073709551615 4194304 4196468 140736903975520 140736903958064 140533635714807 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 /proc/11918/statm: 3495183 90538 3207 1 0 3483484 0 [pid=11918/tid=11919] ppid=11916 vsize=13980732 CPUtime=6.02 cores=1,3,5,7 /proc/11918/task/11919/stat : 11919 (java) R 11916 11916 5678 0 -1 4202560 9047 0 0 0 597 5 0 0 20 0 15 0 10589357 14316269568 90538 18446744073709551615 4194304 4196468 140736903975520 140533639949256 140533230306304 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11920] ppid=11916 vsize=13980732 CPUtime=0.11 cores=1,3,5,7 /proc/11918/task/11920/stat : 11920 (java) S 11916 11916 5678 0 -1 1077944384 201 0 0 0 6 5 0 0 20 0 15 0 10589357 14316269568 90538 18446744073709551615 4194304 4196468 140736903975520 140533555128720 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11921] ppid=11916 vsize=13980732 CPUtime=0.11 cores=1,3,5,7 /proc/11918/task/11921/stat : 11921 (java) S 11916 11916 5678 0 -1 1077944384 191 0 0 0 5 6 0 0 20 0 15 0 10589357 14316269568 90538 18446744073709551615 4194304 4196468 140736903975520 140533554075920 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11922] ppid=11916 vsize=13980732 CPUtime=0.1 cores=1,3,5,7 /proc/11918/task/11922/stat : 11922 (java) S 11916 11916 5678 0 -1 1077944384 381 0 0 0 5 5 0 0 20 0 15 0 10589357 14316269568 90538 18446744073709551615 4194304 4196468 140736903975520 140533553023632 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11923] ppid=11916 vsize=13980732 CPUtime=0.11 cores=1,3,5,7 /proc/11918/task/11923/stat : 11923 (java) S 11916 11916 5678 0 -1 1077944384 322 0 0 0 6 5 0 0 20 0 15 0 10589357 14316269568 90538 18446744073709551615 4194304 4196468 140736903975520 140533551970832 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11924] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11924/stat : 11924 (java) S 11916 11916 5678 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 15 0 10589359 14316269568 90538 18446744073709551615 4194304 4196468 140736903975520 140533113014896 140533635725954 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11925] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11925/stat : 11925 (java) S 11916 11916 5678 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10589359 14316269568 90538 18446744073709551615 4194304 4196468 140736903975520 140533111960864 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11926] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11926/stat : 11926 (java) S 11916 11916 5678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10589359 14316269568 90538 18446744073709551615 4194304 4196468 140736903975520 140533110908528 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11927] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11927/stat : 11927 (java) S 11916 11916 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10589362 14316269568 90538 18446744073709551615 4194304 4196468 140736903975520 140533109856848 140533635733403 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11928] ppid=11916 vsize=13980732 CPUtime=0.53 cores=1,3,5,7 /proc/11918/task/11928/stat : 11928 (java) S 11916 11916 5678 0 -1 1077944384 2396 0 0 0 53 0 0 0 20 0 15 0 10589362 14316269568 90538 18446744073709551615 4194304 4196468 140736903975520 140533108803696 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11929] ppid=11916 vsize=13980732 CPUtime=0.56 cores=1,3,5,7 /proc/11918/task/11929/stat : 11929 (java) S 11916 11916 5678 0 -1 1077944384 2416 0 0 0 56 0 0 0 20 0 15 0 10589362 14316269568 90538 18446744073709551615 4194304 4196468 140736903975520 140533107750896 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11930] ppid=11916 vsize=13980732 CPUtime=0.42 cores=1,3,5,7 /proc/11918/task/11930/stat : 11930 (java) S 11916 11916 5678 0 -1 1077944384 2519 0 0 0 41 1 0 0 20 0 15 0 10589362 14316269568 90538 18446744073709551615 4194304 4196468 140736903975520 140533106698608 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11931] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11931/stat : 11931 (java) S 11916 11916 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10589362 14316269568 90538 18446744073709551615 4194304 4196468 140736903975520 140533105646048 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11932] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11932/stat : 11932 (java) S 11916 11916 5678 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 10589366 14316269568 90538 18446744073709551615 4194304 4196468 140736903975520 140533104593840 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 Current children cumulated CPU time (s) 8.04 Current children cumulated vsize (KiB) 13990244 [startup+12.7007 s] /proc/loadavg: 2.03 1.76 1.72 3/212 11932 /proc/meminfo: memFree=29791700/32770624 swapFree=0/970880 [pid=11916] ppid=11913 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/11916/stat : 11916 (xcsp3-exec) S 11913 11916 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10589348 9740288 344 18446744073709551615 4194304 5098028 140727811758864 140727811756968 140535954559612 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 18554880 140727811764635 140727811764839 140727811764839 140727811768299 0 /proc/11916/statm: 2378 344 289 221 0 87 0 [pid=11918] ppid=11916 vsize=13980732 CPUtime=16.08 cores=1,3,5,7 /proc/11918/stat : 11918 (java) S 11916 11916 5678 0 -1 1077944320 22123 0 0 0 1544 64 0 0 20 0 15 0 10589356 14316269568 178770 18446744073709551615 4194304 4196468 140736903975520 140736903958064 140533635714807 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 /proc/11918/statm: 3495183 178770 3223 1 0 3483484 0 [pid=11918/tid=11919] ppid=11916 vsize=13980732 CPUtime=11.8 cores=1,3,5,7 /proc/11918/task/11919/stat : 11919 (java) R 11916 11916 5678 0 -1 4202560 9213 0 0 0 1173 7 0 0 20 0 15 0 10589357 14316269568 178770 18446744073709551615 4194304 4196468 140736903975520 140533639948752 140533230306342 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11920] ppid=11916 vsize=13980732 CPUtime=0.65 cores=1,3,5,7 /proc/11918/task/11920/stat : 11920 (java) S 11916 11916 5678 0 -1 1077944384 457 0 0 0 52 13 0 0 20 0 15 0 10589357 14316269568 178770 18446744073709551615 4194304 4196468 140736903975520 140533555128720 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11921] ppid=11916 vsize=13980732 CPUtime=0.64 cores=1,3,5,7 /proc/11918/task/11921/stat : 11921 (java) S 11916 11916 5678 0 -1 1077944384 702 0 0 0 51 13 0 0 20 0 15 0 10589357 14316269568 178770 18446744073709551615 4194304 4196468 140736903975520 140533554075920 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 ################ # More data... # ################ [pid=11918/tid=11925] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11925/stat : 11925 (java) S 11916 11916 5678 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10589359 14316269568 324777 18446744073709551615 4194304 4196468 140736903975520 140533111960864 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11926] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11926/stat : 11926 (java) S 11916 11916 5678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10589359 14316269568 324777 18446744073709551615 4194304 4196468 140736903975520 140533110908528 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11927] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11927/stat : 11927 (java) S 11916 11916 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10589362 14316269568 324777 18446744073709551615 4194304 4196468 140736903975520 140533109856848 140533635733403 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11928] ppid=11916 vsize=13980732 CPUtime=2.88 cores=1,3,5,7 /proc/11918/task/11928/stat : 11928 (java) R 11916 11916 5678 0 -1 4202560 10304 0 0 0 287 1 0 0 20 0 15 0 10589362 14316269568 324777 18446744073709551615 4194304 4196468 140736903975520 140533108791328 140533617258960 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11929] ppid=11916 vsize=13980732 CPUtime=3.09 cores=1,3,5,7 /proc/11918/task/11929/stat : 11929 (java) R 11916 11916 5678 0 -1 4202560 10468 0 0 0 308 1 0 0 20 0 15 0 10589362 14316269568 324777 18446744073709551615 4194304 4196468 140736903975520 140533107738096 140533613881288 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11930] ppid=11916 vsize=13980732 CPUtime=0.81 cores=1,3,5,7 /proc/11918/task/11930/stat : 11930 (java) S 11916 11916 5678 0 -1 1077944384 5824 0 0 0 79 2 0 0 20 0 15 0 10589362 14316269568 324777 18446744073709551615 4194304 4196468 140736903975520 140533106698608 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11931] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11931/stat : 11931 (java) S 11916 11916 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10589362 14316269568 324777 18446744073709551615 4194304 4196468 140736903975520 140533105646048 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11932] ppid=11916 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/11918/task/11932/stat : 11932 (java) S 11916 11916 5678 0 -1 1077944384 211 0 0 0 2 3 0 0 20 0 15 0 10589366 14316269568 324777 18446744073709551615 4194304 4196468 140736903975520 140533104593840 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 Current children cumulated CPU time (s) 112.19 Current children cumulated vsize (KiB) 13990244 [startup+162.301 s] /proc/loadavg: 1.73 1.75 1.73 3/212 11937 /proc/meminfo: memFree=29217744/32770624 swapFree=0/970968 [pid=11916] ppid=11913 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/11916/stat : 11916 (xcsp3-exec) S 11913 11916 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10589348 9740288 344 18446744073709551615 4194304 5098028 140727811758864 140727811756968 140535954559612 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 18554880 140727811764635 140727811764839 140727811764839 140727811768299 0 /proc/11916/statm: 2378 344 289 221 0 87 0 [pid=11918] ppid=11916 vsize=13980732 CPUtime=173.17 cores=1,3,5,7 /proc/11918/stat : 11918 (java) S 11916 11916 5678 0 -1 1077944320 54433 0 0 0 17183 134 0 0 20 0 15 0 10589356 14316269568 335242 18446744073709551615 4194304 4196468 140736903975520 140736903958064 140533635714807 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 /proc/11918/statm: 3495183 335242 3243 1 0 3483484 0 [pid=11918/tid=11919] ppid=11916 vsize=13980732 CPUtime=161.01 cores=1,3,5,7 /proc/11918/task/11919/stat : 11919 (java) R 11916 11916 5678 0 -1 4202560 18304 0 0 0 16090 11 0 0 20 0 15 0 10589357 14316269568 335242 18446744073709551615 4194304 4196468 140736903975520 140533639950464 140533232081141 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11920] ppid=11916 vsize=13980732 CPUtime=1.05 cores=1,3,5,7 /proc/11918/task/11920/stat : 11920 (java) S 11916 11916 5678 0 -1 1077944384 1227 0 0 0 77 28 0 0 20 0 15 0 10589357 14316269568 335242 18446744073709551615 4194304 4196468 140736903975520 140533555128720 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11921] ppid=11916 vsize=13980732 CPUtime=1.04 cores=1,3,5,7 /proc/11918/task/11921/stat : 11921 (java) S 11916 11916 5678 0 -1 1077944384 1226 0 0 0 76 28 0 0 20 0 15 0 10589357 14316269568 335242 18446744073709551615 4194304 4196468 140736903975520 140533554075920 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11922] ppid=11916 vsize=13980732 CPUtime=1.04 cores=1,3,5,7 /proc/11918/task/11922/stat : 11922 (java) S 11916 11916 5678 0 -1 1077944384 1630 0 0 0 76 28 0 0 20 0 15 0 10589357 14316269568 335242 18446744073709551615 4194304 4196468 140736903975520 140533553023632 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11923] ppid=11916 vsize=13980732 CPUtime=1.05 cores=1,3,5,7 /proc/11918/task/11923/stat : 11923 (java) S 11916 11916 5678 0 -1 1077944384 1455 0 0 0 77 28 0 0 20 0 15 0 10589357 14316269568 335242 18446744073709551615 4194304 4196468 140736903975520 140533551970832 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11924] ppid=11916 vsize=13980732 CPUtime=0.1 cores=1,3,5,7 /proc/11918/task/11924/stat : 11924 (java) S 11916 11916 5678 0 -1 1077944384 1951 0 0 0 10 0 0 0 20 0 15 0 10589359 14316269568 335242 18446744073709551615 4194304 4196468 140736903975520 140533113014896 140533635725954 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11925] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11925/stat : 11925 (java) S 11916 11916 5678 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10589359 14316269568 335242 18446744073709551615 4194304 4196468 140736903975520 140533111960864 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11926] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11926/stat : 11926 (java) S 11916 11916 5678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10589359 14316269568 335242 18446744073709551615 4194304 4196468 140736903975520 140533110908528 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11927] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11927/stat : 11927 (java) S 11916 11916 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10589362 14316269568 335242 18446744073709551615 4194304 4196468 140736903975520 140533109856848 140533635733403 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11928] ppid=11916 vsize=13980732 CPUtime=3.41 cores=1,3,5,7 /proc/11918/task/11928/stat : 11928 (java) S 11916 11916 5678 0 -1 1077944384 10402 0 0 0 340 1 0 0 20 0 15 0 10589362 14316269568 335242 18446744073709551615 4194304 4196468 140736903975520 140533108803696 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11929] ppid=11916 vsize=13980732 CPUtime=3.46 cores=1,3,5,7 /proc/11918/task/11929/stat : 11929 (java) S 11916 11916 5678 0 -1 1077944384 10591 0 0 0 345 1 0 0 20 0 15 0 10589362 14316269568 335242 18446744073709551615 4194304 4196468 140736903975520 140533107750896 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11930] ppid=11916 vsize=13980732 CPUtime=0.84 cores=1,3,5,7 /proc/11918/task/11930/stat : 11930 (java) S 11916 11916 5678 0 -1 1077944384 6092 0 0 0 82 2 0 0 20 0 15 0 10589362 14316269568 335242 18446744073709551615 4194304 4196468 140736903975520 140533106698608 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11931] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11931/stat : 11931 (java) S 11916 11916 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10589362 14316269568 335242 18446744073709551615 4194304 4196468 140736903975520 140533105646048 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11932] ppid=11916 vsize=13980732 CPUtime=0.08 cores=1,3,5,7 /proc/11918/task/11932/stat : 11932 (java) S 11916 11916 5678 0 -1 1077944384 214 0 0 0 3 5 0 0 20 0 15 0 10589366 14316269568 335242 18446744073709551615 4194304 4196468 140736903975520 140533104593840 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 Current children cumulated CPU time (s) 173.17 Current children cumulated vsize (KiB) 13990244 [startup+222.307 s] /proc/loadavg: 1.65 1.72 1.72 3/212 12017 /proc/meminfo: memFree=29444748/32770624 swapFree=0/971020 [pid=11916] ppid=11913 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/11916/stat : 11916 (xcsp3-exec) S 11913 11916 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10589348 9740288 344 18446744073709551615 4194304 5098028 140727811758864 140727811756968 140535954559612 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 18554880 140727811764635 140727811764839 140727811764839 140727811768299 0 /proc/11916/statm: 2378 344 289 221 0 87 0 [pid=11918] ppid=11916 vsize=13980732 CPUtime=235.43 cores=1,3,5,7 /proc/11918/stat : 11918 (java) S 11916 11916 5678 0 -1 1077944320 68190 0 0 0 23393 150 0 0 20 0 15 0 10589356 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140736903958064 140533635714807 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 /proc/11918/statm: 3495183 412971 3249 1 0 3483484 0 [pid=11918/tid=11919] ppid=11916 vsize=13980732 CPUtime=220.93 cores=1,3,5,7 /proc/11918/task/11919/stat : 11919 (java) R 11916 11916 5678 0 -1 4202560 21089 0 0 0 22081 12 0 0 20 0 15 0 10589357 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533639951144 140533232081141 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11920] ppid=11916 vsize=13980732 CPUtime=1.13 cores=1,3,5,7 /proc/11918/task/11920/stat : 11920 (java) S 11916 11916 5678 0 -1 1077944384 1302 0 0 0 82 31 0 0 20 0 15 0 10589357 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533555128720 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11921] ppid=11916 vsize=13980732 CPUtime=1.13 cores=1,3,5,7 /proc/11918/task/11921/stat : 11921 (java) S 11916 11916 5678 0 -1 1077944384 1658 0 0 0 81 32 0 0 20 0 15 0 10589357 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533554075920 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11922] ppid=11916 vsize=13980732 CPUtime=1.13 cores=1,3,5,7 /proc/11918/task/11922/stat : 11922 (java) S 11916 11916 5678 0 -1 1077944384 2159 0 0 0 82 31 0 0 20 0 15 0 10589357 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533553023632 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11923] ppid=11916 vsize=13980732 CPUtime=1.13 cores=1,3,5,7 /proc/11918/task/11923/stat : 11923 (java) S 11916 11916 5678 0 -1 1077944384 1543 0 0 0 82 31 0 0 20 0 15 0 10589357 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533551970832 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11924] ppid=11916 vsize=13980732 CPUtime=0.11 cores=1,3,5,7 /proc/11918/task/11924/stat : 11924 (java) S 11916 11916 5678 0 -1 1077944384 2201 0 0 0 10 1 0 0 20 0 15 0 10589359 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533113014896 140533635725954 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11925] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11925/stat : 11925 (java) S 11916 11916 5678 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10589359 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533111960928 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11926] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11926/stat : 11926 (java) S 11916 11916 5678 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10589359 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533110908544 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11927] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11927/stat : 11927 (java) S 11916 11916 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10589362 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533109856848 140533635733403 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11928] ppid=11916 vsize=13980732 CPUtime=4.6 cores=1,3,5,7 /proc/11918/task/11928/stat : 11928 (java) S 11916 11916 5678 0 -1 1077944384 16196 0 0 0 458 2 0 0 20 0 15 0 10589362 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533108803696 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11929] ppid=11916 vsize=13980732 CPUtime=4.17 cores=1,3,5,7 /proc/11918/task/11929/stat : 11929 (java) S 11916 11916 5678 0 -1 1077944384 13756 0 0 0 415 2 0 0 20 0 15 0 10589362 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533107750896 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11930] ppid=11916 vsize=13980732 CPUtime=0.92 cores=1,3,5,7 /proc/11918/task/11930/stat : 11930 (java) S 11916 11916 5678 0 -1 1077944384 6646 0 0 0 90 2 0 0 20 0 15 0 10589362 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533106698608 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11931] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11931/stat : 11931 (java) S 11916 11916 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10589362 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533105646048 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11932] ppid=11916 vsize=13980732 CPUtime=0.12 cores=1,3,5,7 /proc/11918/task/11932/stat : 11932 (java) S 11916 11916 5678 0 -1 1077944384 262 0 0 0 5 7 0 0 20 0 15 0 10589366 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533104593840 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 Current children cumulated CPU time (s) 235.43 Current children cumulated vsize (KiB) 13990244 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 1.91 1.77 1.73 3/212 12017 /proc/meminfo: memFree=29296684/32770624 swapFree=0/971036 [pid=11916] ppid=11913 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/11916/stat : 11916 (xcsp3-exec) S 11913 11916 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10589348 9740288 344 18446744073709551615 4194304 5098028 140727811758864 140727811756968 140535954559612 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 18554880 140727811764635 140727811764839 140727811764839 140727811768299 0 /proc/11916/statm: 2378 344 289 221 0 87 0 [pid=11918] ppid=11916 vsize=13980732 CPUtime=253.15 cores=1,3,5,7 /proc/11918/stat : 11918 (java) S 11916 11916 5678 0 -1 1077944320 68211 0 0 0 25164 151 0 0 20 0 15 0 10589356 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140736903958064 140533635714807 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 /proc/11918/statm: 3495183 412971 3249 1 0 3483484 0 [pid=11918/tid=11919] ppid=11916 vsize=13980732 CPUtime=238.63 cores=1,3,5,7 /proc/11918/task/11919/stat : 11919 (java) R 11916 11916 5678 0 -1 4202560 21110 0 0 0 23851 12 0 0 20 0 15 0 10589357 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533639951144 140533228662208 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11920] ppid=11916 vsize=13980732 CPUtime=1.13 cores=1,3,5,7 /proc/11918/task/11920/stat : 11920 (java) S 11916 11916 5678 0 -1 1077944384 1302 0 0 0 82 31 0 0 20 0 15 0 10589357 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533555128720 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11921] ppid=11916 vsize=13980732 CPUtime=1.13 cores=1,3,5,7 /proc/11918/task/11921/stat : 11921 (java) S 11916 11916 5678 0 -1 1077944384 1658 0 0 0 81 32 0 0 20 0 15 0 10589357 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533554075920 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11922] ppid=11916 vsize=13980732 CPUtime=1.13 cores=1,3,5,7 /proc/11918/task/11922/stat : 11922 (java) S 11916 11916 5678 0 -1 1077944384 2159 0 0 0 82 31 0 0 20 0 15 0 10589357 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533553023632 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11923] ppid=11916 vsize=13980732 CPUtime=1.13 cores=1,3,5,7 /proc/11918/task/11923/stat : 11923 (java) S 11916 11916 5678 0 -1 1077944384 1543 0 0 0 82 31 0 0 20 0 15 0 10589357 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533551970832 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11924] ppid=11916 vsize=13980732 CPUtime=0.11 cores=1,3,5,7 /proc/11918/task/11924/stat : 11924 (java) S 11916 11916 5678 0 -1 1077944384 2201 0 0 0 10 1 0 0 20 0 15 0 10589359 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533113014896 140533635725954 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11925] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11925/stat : 11925 (java) S 11916 11916 5678 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10589359 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533111960928 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11926] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11926/stat : 11926 (java) S 11916 11916 5678 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10589359 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533110908544 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11927] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11927/stat : 11927 (java) S 11916 11916 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10589362 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533109856848 140533635733403 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11928] ppid=11916 vsize=13980732 CPUtime=4.6 cores=1,3,5,7 /proc/11918/task/11928/stat : 11928 (java) S 11916 11916 5678 0 -1 1077944384 16196 0 0 0 458 2 0 0 20 0 15 0 10589362 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533108803696 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11929] ppid=11916 vsize=13980732 CPUtime=4.17 cores=1,3,5,7 /proc/11918/task/11929/stat : 11929 (java) S 11916 11916 5678 0 -1 1077944384 13756 0 0 0 415 2 0 0 20 0 15 0 10589362 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533107750896 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11930] ppid=11916 vsize=13980732 CPUtime=0.92 cores=1,3,5,7 /proc/11918/task/11930/stat : 11930 (java) S 11916 11916 5678 0 -1 1077944384 6646 0 0 0 90 2 0 0 20 0 15 0 10589362 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533106698608 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11931] ppid=11916 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/11918/task/11931/stat : 11931 (java) S 11916 11916 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10589362 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533105646048 140533635725013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 [pid=11918/tid=11932] ppid=11916 vsize=13980732 CPUtime=0.13 cores=1,3,5,7 /proc/11918/task/11932/stat : 11932 (java) S 11916 11916 5678 0 -1 1077944384 262 0 0 0 6 7 0 0 20 0 15 0 10589366 14316269568 412971 18446744073709551615 4194304 4196468 140736903975520 140533104593840 140533635725954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140736903983572 140736903983747 140736903983747 140736903987151 0 Current children cumulated CPU time (s) 253.15 Current children cumulated vsize (KiB) 13990244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 11918 sig 9 ??? kill 11916 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 11916 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1744 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=144 # CPU time returned by wait4() is 0.001888 # while last known CPU time is 253.15 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 240.01 CPU time (s): 253.15 CPU user time (s): 251.64 CPU system time (s): 1.51 CPU usage (%): 105.475 Max. virtual memory (cumulated for all children) (KiB): 13990244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001744 system time used= 0.000144 maximum resident set size= 1380 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.07976 second user time and 1.53095 second system time The end
Begin job on node128 at 2017-08-01 22:20:08 IDJOB=4255190 IDBENCH=123023 IDSOLVER=2637 FILE ID=node128/4255190-1501619646 RUNJOBID= node128-1501617027-7473 PBS_JOBID= Free space on /tmp= 61844 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai80a.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4255190-1501619646/watcher-4255190-1501619646 -o /tmp/evaluation-result-4255190-1501619646/solver-4255190-1501619646 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501617027-7473 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1347926089 HOME/instance-4255190-1501619646.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250 RANDOM SEED=1347926089 node128.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.05 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.05 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.05 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.05 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: 30524496 kB MemAvailable: 31376584 kB Buffers: 93468 kB Cached: 1041640 kB SwapCached: 0 kB Active: 863688 kB Inactive: 979340 kB Active(anon): 707996 kB Inactive(anon): 8532 kB Active(file): 155692 kB Inactive(file): 970808 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8004 kB Writeback: 0 kB AnonPages: 667032 kB Mapped: 42352 kB Shmem: 8872 kB Slab: 108280 kB SReclaimable: 82844 kB SUnreclaim: 25436 kB KernelStack: 3696 kB PageTables: 6152 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1914664 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 540672 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61836 MiB End job on node128 at 2017-08-01 22:24:08