Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 161 | 103.71 | 14.0161 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t09-7.xml |
MD5SUM | 2318da7117aad88e4beeaec86ff9c63e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 161 |
Best CPU time to get the best result obtained on this benchmark | 9.75422 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4074 |
Number of constraints | 216 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":2,"count":776},{"size":3,"count":582},{"size":5,"count":194},{"size":8,"count":194},{"size":11,"count":194},{"size":12,"count":388},{"size":14,"count":388},{"size":17,"count":388},{"size":18,"count":194},{"size":19,"count":582},{"size":20,"count":194}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":4074}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 3880 |
Distribution of constraint arities | [{"arity":21,"count":194},{"arity":194,"count":21},{"arity":3880,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":214}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407136-1569346828.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4407136-1569346828.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 2.59/0.96 c solve instance... 102.35/13.51 o 161 103.54/14.00 s OPTIMUM FOUND 103.54/14.00 v <instantiation> 103.54/14.00 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[167][10] r[167][11] r[167][12] r[167][13] r[167][14] r[167][15] r[167][16] r[167][17] r[167][18] r[167][19] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[168][10] r[168][11] r[168][12] r[168][13] r[168][14] r[168][15] r[168][16] r[168][17] r[168][18] r[168][19] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[169][10] r[169][11] r[169][12] r[169][13] r[169][14] r[169][15] r[169][16] r[169][17] r[169][18] r[169][19] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[170][10] r[170][11] r[170][12] r[170][13] r[170][14] r[170][15] r[170][16] r[170][17] r[170][18] r[170][19] r[171][0] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[171][10] r[171][11] r[171][12] r[171][13] r[171][14] r[171][15] r[171][16] r[171][17] r[171][18] r[171][19] r[172][0] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[172][10] r[172][11] r[172][12] r[172][13] r[172][14] r[172][15] r[172][16] r[172][17] r[172][18] r[172][19] r[173][0] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[173][10] r[173][11] r[173][12] r[173][13] r[173][14] r[173][15] r[173][16] r[173][17] r[173][18] r[173][19] r[174][0] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] r[174][10] r[174][11] r[174][12] r[174][13] r[174][14] r[174][15] r[174][16] r[174][17] r[174][18] r[174][19] r[175][0] r[175][1] r[175][2] r[175][3] r[175][4] r[175][5] r[175][6] r[175][7] r[175][8] r[175][9] r[175][10] r[175][11] r[175][12] r[175][13] r[175][14] r[175][15] r[175][16] r[175][17] r[175][18] r[175][19] r[176][0] r[176][1] r[176][2] r[176][3] r[176][4] r[176][5] r[176][6] r[176][7] r[176][8] r[176][9] r[176][10] r[176][11] r[176][12] r[176][13] r[176][14] r[176][15] r[176][16] r[176][17] r[176][18] r[176][19] r[177][0] r[177][1] r[177][2] r[177][3] r[177][4] r[177][5] r[177][6] r[177][7] r[177][8] r[177][9] r[177][10] r[177][11] r[177][12] r[177][13] r[177][14] r[177][15] r[177][16] r[177][17] r[177][18] r[177][19] r[178][0] r[178][1] r[178][2] r[178][3] r[178][4] r[178][5] r[178][6] r[178][7] r[178][8] r[178][9] r[178][10] r[178][11] r[178][12] r[178][13] r[178][14] r[178][15] r[178][16] r[178][17] r[178][18] r[178][19] r[179][0] r[179][1] r[179][2] r[179][3] r[179][4] r[179][5] r[179][6] r[179][7] r[179][8] r[179][9] r[179][10] r[179][11] r[179][12] r[179][13] r[179][14] r[179][15] r[179][16] r[179][17] r[179][18] r[179][19] r[180][0] r[180][1] r[180][2] r[180][3] r[180][4] r[180][5] r[180][6] r[180][7] r[180][8] r[180][9] r[180][10] r[180][11] r[180][12] r[180][13] r[180][14] r[180][15] r[180][16] r[180][17] r[180][18] r[180][19] r[181][0] r[181][1] r[181][2] r[181][3] r[181][4] r[181][5] r[181][6] r[181][7] r[181][8] r[181][9] r[181][10] r[181][11] r[181][12] r[181][13] r[181][14] r[181][15] r[181][16] r[181][17] r[181][18] r[181][19] r[182][0] r[182][1] r[182][2] r[182][3] r[182][4] r[182][5] r[182][6] r[182][7] r[182][8] r[182][9] r[182][10] r[182][11] r[182][12] r[182][13] r[182][14] r[182][15] r[182][16] r[182][17] r[182][18] r[182][19] r[183][0] r[183][1] r[183][2] r[183][3] r[183][4] r[183][5] r[183][6] r[183][7] r[183][8] r[183][9] r[183][10] r[183][11] r[183][12] r[183][13] r[183][14] r[183][15] r[183][16] r[183][17] r[183][18] r[183][19] r[184][0] r[184][1] r[184][2] r[184][3] r[184][4] r[184][5] r[184][6] r[184][7] r[184][8] r[184][9] r[184][10] r[184][11] r[184][12] r[184][13] r[184][14] r[184][15] r[184][16] r[184][17] r[184][18] r[184][19] r[185][0] r[185][1] r[185][2] r[185][3] r[185][4] r[185][5] r[185][6] r[185][7] r[185][8] r[185][9] r[185][10] r[185][11] r[185][12] r[185][13] r[185][14] r[185][15] r[185][16] r[185][17] r[185][18] r[185][19] r[186][0] r[186][1] r[186][2] r[186][3] r[186][4] r[186][5] r[186][6] r[186][7] r[186][8] r[186][9] r[186][10] r[186][11] r[186][12] r[186][13] r[186][14] r[186][15] r[186][16] r[186][17] r[186][18] r[186][19] r[187][0] r[187][1] r[187][2] r[187][3] r[187][4] r[187][5] r[187][6] r[187][7] r[187][8] r[187][9] r[187][10] r[187][11] r[187][12] r[187][13] r[187][14] r[187][15] r[187][16] r[187][17] r[187][18] r[187][19] r[188][0] r[188][1] r[188][2] r[188][3] r[188][4] r[188][5] r[188][6] r[188][7] r[188][8] r[188][9] r[188][10] r[188][11] r[188][12] r[188][13] r[188][14] r[188][15] r[188][16] r[188][17] r[188][18] r[188][19] r[189][0] r[189][1] r[189][2] r[189][3] r[189][4] r[189][5] r[189][6] r[189][7] r[189][8] r[189][9] r[189][10] r[189][11] r[189][12] r[189][13] r[189][14] r[189][15] r[189][16] r[189][17] r[189][18] r[189][19] r[190][0] r[190][1] r[190][2] r[190][3] r[190][4] r[190][5] r[190][6] r[190][7] r[190][8] r[190][9] r[190][10] r[190][11] r[190][12] r[190][13] r[190][14] r[190][15] r[190][16] r[190][17] r[190][18] r[190][19] r[191][0] r[191][1] r[191][2] r[191][3] r[191][4] r[191][5] r[191][6] r[191][7] r[191][8] r[191][9] r[191][10] r[191][11] r[191][12] r[191][13] r[191][14] r[191][15] r[191][16] r[191][17] r[191][18] r[191][19] r[192][0] r[192][1] r[192][2] r[192][3] r[192][4] r[192][5] r[192][6] r[192][7] r[192][8] r[192][9] r[192][10] r[192][11] r[192][12] r[192][13] r[192][14] r[192][15] r[192][16] r[192][17] r[192][18] r[192][19] r[193][0] r[193][1] r[193][2] r[193][3] r[193][4] r[193][5] r[193][6] r[193][7] r[193][8] r[193][9] r[193][10] r[193][11] r[193][12] r[193][13] r[193][14] r[193][15] r[193][16] r[193][17] r[193][18] r[193][19] </list> 103.54/14.00 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 103.54/14.00 v </instantiation>
OK 161
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (12401 MiB free) memory of node 1: 16384 MiB (11484 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407136-1569346828/watcher-4407136-1569346828 -o /var/tmp/evaluation-result-4407136-1569346828/solver-4407136-1569346828 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569335941-423 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1007611094 HOME/instance-4407136-1569346828.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=3323, runsolver pid=3320 [startup+0.100159 s]* /proc/loadavg: 8.47 8.35 7.99 2/212 3344 /proc/meminfo: memFree=24442324/32770624 swapFree=66997016/67108860 [pid=3323] ppid=3320 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3323/stat : 3323 (xcsp3-exec) S 3320 3323 395 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510950593 115843072 363 33554432000 4194304 5098028 140732461860096 140732461858200 140335434388092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25038848 140732461867857 140732461868117 140732461868117 140732461871046 0 /proc/3323/statm: 28282 363 304 221 0 87 0 [pid=3325] ppid=3323 vsize=28227396 memory=29060 CPUtime=0.13 cores=0-7 /proc/3325/stat : 3325 (java) S 3323 3323 395 0 -1 1077944320 5745 0 0 0 12 1 0 0 20 0 20 0 510950593 28904853504 7265 33554432000 4194304 4196468 140728427931792 140728427914336 139914995822327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 /proc/3325/statm: 7056849 7265 3122 1 0 7019032 0 [pid=3325/tid=3326] ppid=3323 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/3325/task/3326/stat : 3326 (java) R 3323 3323 395 0 -1 4202560 3646 0 0 0 9 0 0 0 20 0 20 0 510950593 28904853504 7265 33554432000 4194304 4196468 140728427931792 139915000054256 139914981515830 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3327] ppid=3323 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/3325/task/3327/stat : 3327 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510950594 28904853504 7265 33554432000 4194304 4196468 140728427931792 139914948442640 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3328] ppid=3323 vsize=28227396 memory=140180741088896 CPUtime=0 cores=0-7 /proc/3325/task/3328/stat : 3328 (java) S 3323 3323 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510950594 28904853504 7265 33554432000 4194304 4196468 140728427931792 139914947390096 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3329] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3329/stat : 3329 (java) S 3323 3323 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510950594 28904853504 7265 33554432000 4194304 4196468 140728427931792 139914946337040 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3330] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3330/stat : 3330 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510950594 28904853504 7265 33554432000 4194304 4196468 140728427931792 139914945284496 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3331] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3331/stat : 3331 (java) S 3323 3323 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510950594 28904853504 7265 33554432000 4194304 4196468 140728427931792 139914944232464 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3332] ppid=3323 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3325/task/3332/stat : 3332 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510950594 28904853504 7265 33554432000 4194304 4196468 140728427931792 139914943179920 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3333] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3333/stat : 3333 (java) S 3323 3323 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510950594 28904853504 7265 33554432000 4194304 4196468 140728427931792 139914942126864 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3334] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3334/stat : 3334 (java) S 3323 3323 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510950594 28904853504 7265 33554432000 4194304 4196468 140728427931792 139914941074320 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3335] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3335/stat : 3335 (java) S 3323 3323 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510950596 28904853504 7265 33554432000 4194304 4196468 140728427931792 139913661376752 139914995833474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3336] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3336/stat : 3336 (java) S 3323 3323 395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510950596 28904853504 7265 33554432000 4194304 4196468 140728427931792 139913592824992 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3337] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3337/stat : 3337 (java) S 3323 3323 395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510950596 28904853504 7265 33554432000 4194304 4196468 140728427931792 139913591771888 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3338] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3338/stat : 3338 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510950599 28904853504 7265 33554432000 4194304 4196468 140728427931792 139913590720464 139914995840923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3339] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3339/stat : 3339 (java) S 3323 3323 395 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 510950599 28904853504 7265 33554432000 4194304 4196468 140728427931792 139913589668592 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3340] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3340/stat : 3340 (java) S 3323 3323 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510950599 28904853504 7265 33554432000 4194304 4196468 140728427931792 139913588616048 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3341] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3341/stat : 3341 (java) S 3323 3323 395 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 510950599 28904853504 7265 33554432000 4194304 4196468 140728427931792 139913587562992 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3342] ppid=3323 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/3325/task/3342/stat : 3342 (java) R 3323 3323 395 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 20 0 510950599 28904853504 7265 33554432000 4194304 4196468 140728427931792 139913586510448 139914995843674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3343] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3343/stat : 3343 (java) S 3323 3323 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510950599 28904853504 7265 33554432000 4194304 4196468 140728427931792 139913585457632 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3344] ppid=3323 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3325/task/3344/stat : 3344 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510950599 28904853504 7265 33554432000 4194304 4196468 140728427931792 139913584405168 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30512 KiB [startup+0.210161 s]* /proc/loadavg: 8.47 8.35 7.99 2/212 3344 /proc/meminfo: memFree=24428028/32770624 swapFree=66997016/67108860 [pid=3323] ppid=3320 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3323/stat : 3323 (xcsp3-exec) S 3320 3323 395 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510950593 115843072 363 33554432000 4194304 5098028 140732461860096 140732461858200 140335434388092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25038848 140732461867857 140732461868117 140732461868117 140732461871046 0 /proc/3323/statm: 28282 363 304 221 0 87 0 [pid=3325] ppid=3323 vsize=28227396 memory=41244 CPUtime=0.33 cores=0-7 /proc/3325/stat : 3325 (java) S 3323 3323 395 0 -1 1077944320 9514 0 0 0 31 2 0 0 20 0 20 0 510950593 28904853504 10311 33554432000 4194304 4196468 140728427931792 140728427914336 139914995822327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 /proc/3325/statm: 7056849 10311 3312 1 0 7019032 0 [pid=3325/tid=3326] ppid=3323 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/3325/task/3326/stat : 3326 (java) R 3323 3323 395 0 -1 4202560 6647 0 0 0 18 2 0 0 20 0 20 0 510950593 28904853504 10311 33554432000 4194304 4196468 140728427931792 139915000052048 139914988500341 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3327] ppid=3323 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/3325/task/3327/stat : 3327 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510950594 28904853504 10311 33554432000 4194304 4196468 140728427931792 139914948442640 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3328] ppid=3323 vsize=28227396 memory=140180744600447 CPUtime=0 cores=0-7 /proc/3325/task/3328/stat : 3328 (java) S 3323 3323 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510950594 28904853504 10311 33554432000 4194304 4196468 140728427931792 139914947390096 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3329] ppid=3323 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3325/task/3329/stat : 3329 (java) S 3323 3323 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510950594 28904853504 10311 33554432000 4194304 4196468 140728427931792 139914946337040 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3330] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3330/stat : 3330 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510950594 28904853504 10311 33554432000 4194304 4196468 140728427931792 139914945284496 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3331] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3331/stat : 3331 (java) S 3323 3323 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510950594 28904853504 10311 33554432000 4194304 4196468 140728427931792 139914944232464 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3332] ppid=3323 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3325/task/3332/stat : 3332 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510950594 28904853504 10311 33554432000 4194304 4196468 140728427931792 139914943179920 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3333] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3333/stat : 3333 (java) S 3323 3323 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510950594 28904853504 10311 33554432000 4194304 4196468 140728427931792 139914942126864 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3334] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3334/stat : 3334 (java) S 3323 3323 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510950594 28904853504 10311 33554432000 4194304 4196468 140728427931792 139914941074320 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3335] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3335/stat : 3335 (java) S 3323 3323 395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510950596 28904853504 10311 33554432000 4194304 4196468 140728427931792 139913661376752 139914995833474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3336] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3336/stat : 3336 (java) S 3323 3323 395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510950596 28904853504 10311 33554432000 4194304 4196468 140728427931792 139913592824992 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3337] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3337/stat : 3337 (java) S 3323 3323 395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510950596 28904853504 10311 33554432000 4194304 4196468 140728427931792 139913591771888 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3338] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3338/stat : 3338 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510950599 28904853504 10311 33554432000 4194304 4196468 140728427931792 139913590720464 139914995840923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3339] ppid=3323 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/3325/task/3339/stat : 3339 (java) S 3323 3323 395 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 20 0 510950599 28904853504 10311 33554432000 4194304 4196468 140728427931792 139913589668592 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3340] ppid=3323 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/3325/task/3340/stat : 3340 (java) S 3323 3323 395 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 20 0 510950599 28904853504 10311 33554432000 4194304 4196468 140728427931792 139913588616048 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3341] ppid=3323 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/3325/task/3341/stat : 3341 (java) S 3323 3323 395 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 20 0 510950599 28904853504 10311 33554432000 4194304 4196468 140728427931792 139913587562992 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3342] ppid=3323 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/3325/task/3342/stat : 3342 (java) S 3323 3323 395 0 -1 1077944384 699 0 0 0 8 0 0 0 20 0 20 0 510950599 28904853504 10311 33554432000 4194304 4196468 140728427931792 139913586510448 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3343] ppid=3323 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3343/stat : 3343 (java) S 3323 3323 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510950599 28904853504 10311 33554432000 4194304 4196468 140728427931792 139913585457632 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3344] ppid=3323 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3325/task/3344/stat : 3344 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510950599 28904853504 10311 33554432000 4194304 4196468 140728427931792 139913584405168 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42696 KiB [startup+0.309491 s]* /proc/loadavg: 8.47 8.35 7.99 3/212 3344 /proc/meminfo: memFree=24421500/32770624 swapFree=66997016/67108860 [pid=3323] ppid=3320 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3323/stat : 3323 (xcsp3-exec) S 3320 3323 395 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510950593 115843072 363 33554432000 4194304 5098028 140732461860096 140732461858200 140335434388092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25038848 140732461867857 140732461868117 140732461868117 140732461871046 0 /proc/3323/statm: 28282 363 304 221 0 87 0 [pid=3325] ppid=3323 vsize=28231652 memory=49424 CPUtime=0.52 cores=0-7 /proc/3325/stat : 3325 (java) S 3323 3323 395 0 -1 1077944320 10704 0 0 0 49 3 0 0 20 0 20 0 510950593 28909211648 12356 33554432000 4194304 4196468 140728427931792 140728427914336 139914995822327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 /proc/3325/statm: 7057913 12356 3344 1 0 7019032 0 [pid=3325/tid=3326] ppid=3323 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/3325/task/3326/stat : 3326 (java) R 3323 3323 395 0 -1 4202560 7737 0 0 0 27 2 0 0 20 0 20 0 510950593 28909211648 12356 33554432000 4194304 4196468 140728427931792 139915000053440 139914979902814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3327] ppid=3323 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3327/stat : 3327 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510950594 28909211648 12356 33554432000 4194304 4196468 140728427931792 139914948442640 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3328] ppid=3323 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3328/stat : 3328 (java) S 3323 3323 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510950594 28909211648 12356 33554432000 4194304 4196468 140728427931792 139914947390096 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3329] ppid=3323 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3329/stat : 3329 (java) S 3323 3323 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510950594 28909211648 12356 33554432000 4194304 4196468 140728427931792 139914946337040 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3330] ppid=3323 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3330/stat : 3330 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510950594 28909211648 12356 33554432000 4194304 4196468 140728427931792 139914945284496 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3331] ppid=3323 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3331/stat : 3331 (java) S 3323 3323 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510950594 28909211648 12356 33554432000 4194304 4196468 140728427931792 139914944232464 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3332] ppid=3323 vsize=28231652 memory=140180619094703 CPUtime=0 cores=0-7 /proc/3325/task/3332/stat : 3332 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510950594 28909211648 12356 33554432000 4194304 4196468 140728427931792 139914943179920 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3333] ppid=3323 vsize=28231652 memory=140180619097008 CPUtime=0 cores=0-7 /proc/3325/task/3333/stat : 3333 (java) S 3323 3323 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510950594 28909211648 12356 33554432000 4194304 4196468 140728427931792 139914942126864 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3334] ppid=3323 vsize=28231652 memory=140180619099312 CPUtime=0 cores=0-7 /proc/3325/task/3334/stat : 3334 (java) S 3323 3323 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510950594 28909211648 12356 33554432000 4194304 4196468 140728427931792 139914941074320 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3335] ppid=3323 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3335/stat : 3335 (java) S 3323 3323 395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510950596 28909211648 12356 33554432000 4194304 4196468 140728427931792 139913661376752 139914995833474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3336] ppid=3323 vsize=28231652 memory=280361238212496 CPUtime=0 cores=0-7 /proc/3325/task/3336/stat : 3336 (java) S 3323 3323 395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510950596 28909211648 12356 33554432000 4194304 4196468 140728427931792 139913592824992 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3337] ppid=3323 vsize=28231652 memory=280361238210192 CPUtime=0 cores=0-7 /proc/3325/task/3337/stat : 3337 (java) S 3323 3323 395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510950596 28909211648 12356 33554432000 4194304 4196468 140728427931792 139913591771888 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3338] ppid=3323 vsize=28231652 memory=280361238217104 CPUtime=0 cores=0-7 /proc/3325/task/3338/stat : 3338 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510950599 28909211648 12356 33554432000 4194304 4196468 140728427931792 139913590720464 139914995840923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3339] ppid=3323 vsize=28231652 memory=280361238158384 CPUtime=0.02 cores=0-7 /proc/3325/task/3339/stat : 3339 (java) S 3323 3323 395 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 20 0 510950599 28909211648 12356 33554432000 4194304 4196468 140728427931792 139913589668592 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3340] ppid=3323 vsize=28231652 memory=280361238230928 CPUtime=0.03 cores=0-7 /proc/3325/task/3340/stat : 3340 (java) R 3323 3323 395 0 -1 4202560 429 0 0 0 3 0 0 0 20 0 20 0 510950599 28909211648 12356 33554432000 4194304 4196468 140728427931792 139913588606432 139914979322763 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3341] ppid=3323 vsize=28231652 memory=280361238237840 CPUtime=0.02 cores=0-7 /proc/3325/task/3341/stat : 3341 (java) S 3323 3323 395 0 -1 1077944384 164 0 0 0 2 0 0 0 20 0 20 0 510950599 28909211648 12356 33554432000 4194304 4196468 140728427931792 139913587562992 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3342] ppid=3323 vsize=28231652 memory=280361238235536 CPUtime=0.13 cores=0-7 /proc/3325/task/3342/stat : 3342 (java) S 3323 3323 395 0 -1 1077944384 778 0 0 0 13 0 0 0 20 0 20 0 510950599 28909211648 12356 33554432000 4194304 4196468 140728427931792 139913586510448 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3343] ppid=3323 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3343/stat : 3343 (java) S 3323 3323 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510950599 28909211648 12356 33554432000 4194304 4196468 140728427931792 139913585457632 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3344] ppid=3323 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/3325/task/3344/stat : 3344 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510950599 28909211648 12356 33554432000 4194304 4196468 140728427931792 139913584405168 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50876 KiB [startup+0.700846 s] /proc/loadavg: 8.47 8.35 7.99 3/212 3344 /proc/meminfo: memFree=24408952/32770624 swapFree=66997016/67108860 [pid=3323] ppid=3320 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3323/stat : 3323 (xcsp3-exec) S 3320 3323 395 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510950593 115843072 363 33554432000 4194304 5098028 140732461860096 140732461858200 140335434388092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25038848 140732461867857 140732461868117 140732461868117 140732461871046 0 /proc/3323/statm: 28282 363 304 221 0 87 0 [pid=3325] ppid=3323 vsize=28233776 memory=95256 CPUtime=1.72 cores=0-7 /proc/3325/stat : 3325 (java) S 3323 3323 395 0 -1 1077944320 14927 0 0 0 167 5 0 0 20 0 20 0 510950593 28911386624 23814 33554432000 4194304 4196468 140728427931792 140728427914336 139914995822327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 /proc/3325/statm: 7058444 23814 3464 1 0 7019544 0 [pid=3325/tid=3326] ppid=3323 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/3325/task/3326/stat : 3326 (java) R 3323 3323 395 0 -1 4202560 9124 0 0 0 64 3 0 0 20 0 20 0 510950593 28911386624 23814 33554432000 4194304 4196468 140728427931792 139915000058736 139914995834262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3327] ppid=3323 vsize=28233776 memory=140180619305840 CPUtime=0 cores=0-7 /proc/3325/task/3327/stat : 3327 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510950594 28911386624 23814 33554432000 4194304 4196468 140728427931792 139914948442640 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3328] ppid=3323 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3328/stat : 3328 (java) S 3323 3323 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510950594 28911386624 23814 33554432000 4194304 4196468 140728427931792 139914947390096 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3329] ppid=3323 vsize=28233776 memory=1540 CPUtime=0 cores=0-7 /proc/3325/task/3329/stat : 3329 (java) S 3323 3323 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510950594 28911386624 23814 33554432000 4194304 4196468 140728427931792 139914946337040 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 ################ # More data... # ################ [pid=3325/tid=3343] ppid=3323 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3343/stat : 3343 (java) S 3323 3323 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510950599 29456678912 75888 33554432000 4194304 4196468 140728427931792 139913585457632 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3344] ppid=3323 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3344/stat : 3344 (java) S 3323 3323 395 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 28 0 510950599 29456678912 75888 33554432000 4194304 4196468 140728427931792 139913584405168 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3345] ppid=3323 vsize=28766288 memory=8112282956445269571 CPUtime=11.13 cores=0-7 /proc/3325/task/3345/stat : 3345 (java) R 3323 3323 395 0 -1 4202560 331 0 0 0 1113 0 0 0 20 0 28 0 510950691 29456678912 75888 33554432000 4194304 4196468 140728427931792 139913575422440 139914623372466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3346] ppid=3323 vsize=28766288 memory=288230596050944315 CPUtime=11.29 cores=0-7 /proc/3325/task/3346/stat : 3346 (java) R 3323 3323 395 0 -1 4202560 160 0 0 0 1129 0 0 0 20 0 28 0 510950691 29456678912 75888 33554432000 4194304 4196468 140728427931792 139913574371080 139914623306875 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3347] ppid=3323 vsize=28766288 memory=15541825314228036 CPUtime=11.18 cores=0-7 /proc/3325/task/3347/stat : 3347 (java) R 3323 3323 395 0 -1 4202560 167 0 0 0 1115 3 0 0 20 0 28 0 510950691 29456678912 75888 33554432000 4194304 4196468 140728427931792 139913573318984 139914623307210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3348] ppid=3323 vsize=28766288 memory=0 CPUtime=10.96 cores=0-7 /proc/3325/task/3348/stat : 3348 (java) R 3323 3323 395 0 -1 4202560 637 0 0 0 1095 1 0 0 20 0 28 0 510950691 29456678912 75888 33554432000 4194304 4196468 140728427931792 139913572266208 139914620196575 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3349] ppid=3323 vsize=28766288 memory=1452 CPUtime=11.27 cores=0-7 /proc/3325/task/3349/stat : 3349 (java) R 3323 3323 395 0 -1 4202560 210 0 0 0 1127 0 0 0 20 0 28 0 510950691 29456678912 75888 33554432000 4194304 4196468 140728427931792 139913571213432 139914623307215 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3350] ppid=3323 vsize=28766288 memory=0 CPUtime=11.27 cores=0-7 /proc/3325/task/3350/stat : 3350 (java) R 3323 3323 395 0 -1 4202560 326 0 0 0 1127 0 0 0 20 0 28 0 510950696 29456678912 75888 33554432000 4194304 4196468 140728427931792 139913570160872 139914622249830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3351] ppid=3323 vsize=28766288 memory=0 CPUtime=10.99 cores=0-7 /proc/3325/task/3351/stat : 3351 (java) R 3323 3323 395 0 -1 4202560 329 0 0 0 1099 0 0 0 20 0 28 0 510950696 29456678912 75888 33554432000 4194304 4196468 140728427931792 139913569109528 139914622196992 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3352] ppid=3323 vsize=28766288 memory=0 CPUtime=11.24 cores=0-7 /proc/3325/task/3352/stat : 3352 (java) R 3323 3323 395 0 -1 4202560 197 0 0 0 1124 0 0 0 20 0 28 0 510950696 29456678912 75888 33554432000 4194304 4196468 140728427931792 139913568055480 139914620430736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 Current children cumulated CPU time: 95.98 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 305004 KiB [startup+14.016 s] # the end of solver process 3323 was just reported to runsolver # cumulated CPU time of all completed processes: user=103.383 s, system=0.327069 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+12.8024 s] /proc/loadavg: 8.17 8.29 7.97 9/221 3359 /proc/meminfo: memFree=24186684/32770624 swapFree=66997024/67108860 [pid=3323] ppid=3320 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3323/stat : 3323 (xcsp3-exec) S 3320 3323 395 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510950593 115843072 363 33554432000 4194304 5098028 140732461860096 140732461858200 140335434388092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25038848 140732461867857 140732461868117 140732461868117 140732461871046 0 /proc/3323/statm: 28282 363 304 221 0 87 0 [pid=3325] ppid=3323 vsize=28766288 memory=307648 CPUtime=96.78 cores=0-7 /proc/3325/stat : 3325 (java) S 3323 3323 395 0 -1 1077944320 32950 0 0 0 9650 28 0 0 20 0 28 0 510950593 29456678912 76912 33554432000 4194304 4196468 140728427931792 140728427914336 139914995822327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 /proc/3325/statm: 7191572 76912 3530 1 0 7152672 0 [pid=3325/tid=3326] ppid=3323 vsize=28766288 memory=0 CPUtime=0.96 cores=0-7 /proc/3325/task/3326/stat : 3326 (java) S 3323 3323 395 0 -1 1077944384 9253 0 0 0 92 4 0 0 20 0 28 0 510950593 29456678912 76912 33554432000 4194304 4196468 140728427931792 139915000063104 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3327] ppid=3323 vsize=28766288 memory=8112282956445269571 CPUtime=0.04 cores=0-7 /proc/3325/task/3327/stat : 3327 (java) S 3323 3323 395 0 -1 1077944384 71 0 0 0 3 1 0 0 20 0 28 0 510950594 29456678912 76912 33554432000 4194304 4196468 140728427931792 139914948442640 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3328] ppid=3323 vsize=28766288 memory=2004 CPUtime=0.04 cores=0-7 /proc/3325/task/3328/stat : 3328 (java) S 3323 3323 395 0 -1 1077944384 186 0 0 0 3 1 0 0 20 0 28 0 510950594 29456678912 76912 33554432000 4194304 4196468 140728427931792 139914947390096 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3329] ppid=3323 vsize=28766288 memory=1428 CPUtime=0.04 cores=0-7 /proc/3325/task/3329/stat : 3329 (java) S 3323 3323 395 0 -1 1077944384 107 0 0 0 3 1 0 0 20 0 28 0 510950594 29456678912 76912 33554432000 4194304 4196468 140728427931792 139914946337040 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3330] ppid=3323 vsize=28766288 memory=1060 CPUtime=0.05 cores=0-7 /proc/3325/task/3330/stat : 3330 (java) S 3323 3323 395 0 -1 1077944384 87 0 0 0 4 1 0 0 20 0 28 0 510950594 29456678912 76912 33554432000 4194304 4196468 140728427931792 139914945284496 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3331] ppid=3323 vsize=28766288 memory=740 CPUtime=0.02 cores=0-7 /proc/3325/task/3331/stat : 3331 (java) S 3323 3323 395 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 28 0 510950594 29456678912 76912 33554432000 4194304 4196468 140728427931792 139914944232464 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3332] ppid=3323 vsize=28766288 memory=1228 CPUtime=0.05 cores=0-7 /proc/3325/task/3332/stat : 3332 (java) S 3323 3323 395 0 -1 1077944384 267 0 0 0 4 1 0 0 20 0 28 0 510950594 29456678912 76912 33554432000 4194304 4196468 140728427931792 139914943179920 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3333] ppid=3323 vsize=28766288 memory=9520 CPUtime=0.03 cores=0-7 /proc/3325/task/3333/stat : 3333 (java) S 3323 3323 395 0 -1 1077944384 82 0 0 0 2 1 0 0 20 0 28 0 510950594 29456678912 76912 33554432000 4194304 4196468 140728427931792 139914942126864 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3334] ppid=3323 vsize=28766288 memory=4076 CPUtime=0.03 cores=0-7 /proc/3325/task/3334/stat : 3334 (java) S 3323 3323 395 0 -1 1077944384 851 0 0 0 2 1 0 0 20 0 28 0 510950594 29456678912 76912 33554432000 4194304 4196468 140728427931792 139914941074320 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3335] ppid=3323 vsize=28766288 memory=8112282956445269571 CPUtime=0.01 cores=0-7 /proc/3325/task/3335/stat : 3335 (java) S 3323 3323 395 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 28 0 510950596 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913661376752 139914995833474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3336] ppid=3323 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3336/stat : 3336 (java) S 3323 3323 395 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 510950596 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913592825056 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3337] ppid=3323 vsize=28766288 memory=140180619919072 CPUtime=0 cores=0-7 /proc/3325/task/3337/stat : 3337 (java) S 3323 3323 395 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 510950596 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913591771888 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3338] ppid=3323 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/3325/task/3338/stat : 3338 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510950599 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913590720464 139914995840923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3339] ppid=3323 vsize=28766288 memory=0 CPUtime=1.47 cores=0-7 /proc/3325/task/3339/stat : 3339 (java) S 3323 3323 395 0 -1 1077944384 4553 0 0 0 146 1 0 0 20 0 28 0 510950599 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913589668592 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3340] ppid=3323 vsize=28766288 memory=0 CPUtime=1.42 cores=0-7 /proc/3325/task/3340/stat : 3340 (java) S 3323 3323 395 0 -1 1077944384 3843 0 0 0 141 1 0 0 20 0 28 0 510950599 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913588616048 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3341] ppid=3323 vsize=28766288 memory=0 CPUtime=1.57 cores=0-7 /proc/3325/task/3341/stat : 3341 (java) S 3323 3323 395 0 -1 1077944384 5703 0 0 0 156 1 0 0 20 0 28 0 510950599 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913587562992 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3342] ppid=3323 vsize=28766288 memory=0 CPUtime=0.74 cores=0-7 /proc/3325/task/3342/stat : 3342 (java) S 3323 3323 395 0 -1 1077944384 3532 0 0 0 73 1 0 0 20 0 28 0 510950599 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913586510448 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3343] ppid=3323 vsize=28766288 memory=2004 CPUtime=0 cores=0-7 /proc/3325/task/3343/stat : 3343 (java) S 3323 3323 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510950599 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913585457632 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3344] ppid=3323 vsize=28766288 memory=1428 CPUtime=0 cores=0-7 /proc/3325/task/3344/stat : 3344 (java) S 3323 3323 395 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 28 0 510950599 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913584405168 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3345] ppid=3323 vsize=28766288 memory=1060 CPUtime=11.23 cores=0-7 /proc/3325/task/3345/stat : 3345 (java) R 3323 3323 395 0 -1 4202560 331 0 0 0 1123 0 0 0 20 0 28 0 510950691 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913575422440 139914623306855 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3346] ppid=3323 vsize=28766288 memory=740 CPUtime=11.39 cores=0-7 /proc/3325/task/3346/stat : 3346 (java) R 3323 3323 395 0 -1 4202560 160 0 0 0 1139 0 0 0 20 0 28 0 510950691 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913574371080 139914623222978 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3347] ppid=3323 vsize=28766288 memory=1228 CPUtime=11.28 cores=0-7 /proc/3325/task/3347/stat : 3347 (java) R 3323 3323 395 0 -1 4202560 167 0 0 0 1125 3 0 0 20 0 28 0 510950691 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913573318984 139914623494758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3348] ppid=3323 vsize=28766288 memory=9520 CPUtime=11.06 cores=0-7 /proc/3325/task/3348/stat : 3348 (java) R 3323 3323 395 0 -1 4202560 641 0 0 0 1105 1 0 0 20 0 28 0 510950691 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913572266208 139914620430741 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3349] ppid=3323 vsize=28766288 memory=4076 CPUtime=11.37 cores=0-7 /proc/3325/task/3349/stat : 3349 (java) R 3323 3323 395 0 -1 4202560 210 0 0 0 1137 0 0 0 20 0 28 0 510950691 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913571213432 139914623306855 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3350] ppid=3323 vsize=28766288 memory=2836 CPUtime=11.37 cores=0-7 /proc/3325/task/3350/stat : 3350 (java) R 3323 3323 395 0 -1 4202560 326 0 0 0 1137 0 0 0 20 0 28 0 510950696 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913570160872 139914622830247 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3351] ppid=3323 vsize=28766288 memory=0 CPUtime=11.09 cores=0-7 /proc/3325/task/3351/stat : 3351 (java) R 3323 3323 395 0 -1 4202560 329 0 0 0 1109 0 0 0 20 0 28 0 510950696 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913569109528 139914623306756 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3352] ppid=3323 vsize=28766288 memory=0 CPUtime=11.34 cores=0-7 /proc/3325/task/3352/stat : 3352 (java) R 3323 3323 395 0 -1 4202560 197 0 0 0 1134 0 0 0 20 0 28 0 510950696 29456678912 76912 33554432000 4194304 4196468 140728427931792 139913568055480 139914623306688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 Current children cumulated CPU time: 96.78 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 309100 KiB [startup+13.6084 s] /proc/loadavg: 8.17 8.29 7.97 9/221 3359 /proc/meminfo: memFree=24153792/32770624 swapFree=66997024/67108860 [pid=3323] ppid=3320 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3323/stat : 3323 (xcsp3-exec) S 3320 3323 395 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510950593 115843072 363 33554432000 4194304 5098028 140732461860096 140732461858200 140335434388092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25038848 140732461867857 140732461868117 140732461868117 140732461871046 0 /proc/3323/statm: 28282 363 304 221 0 87 0 [pid=3325] ppid=3323 vsize=28768336 memory=342496 CPUtime=103.08 cores=0-7 /proc/3325/stat : 3325 (java) S 3323 3323 395 0 -1 1077944320 37686 0 0 0 10277 31 0 0 20 0 28 0 510950593 29458776064 85624 33554432000 4194304 4196468 140728427931792 140728427914336 139914995822327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 /proc/3325/statm: 7192084 85624 3533 1 0 7153184 0 [pid=3325/tid=3326] ppid=3323 vsize=28768336 memory=1147 CPUtime=0.97 cores=0-7 /proc/3325/task/3326/stat : 3326 (java) S 3323 3323 395 0 -1 1077944384 9540 0 0 0 93 4 0 0 20 0 28 0 510950593 29458776064 85624 33554432000 4194304 4196468 140728427931792 139915000063104 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3327] ppid=3323 vsize=28768336 memory=1119 CPUtime=0.04 cores=0-7 /proc/3325/task/3327/stat : 3327 (java) S 3323 3323 395 0 -1 1077944384 71 0 0 0 3 1 0 0 20 0 28 0 510950594 29458776064 85624 33554432000 4194304 4196468 140728427931792 139914948442640 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3328] ppid=3323 vsize=28768336 memory=1144 CPUtime=0.04 cores=0-7 /proc/3325/task/3328/stat : 3328 (java) S 3323 3323 395 0 -1 1077944384 186 0 0 0 3 1 0 0 20 0 28 0 510950594 29458776064 85624 33554432000 4194304 4196468 140728427931792 139914947390096 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3329] ppid=3323 vsize=28768336 memory=2836 CPUtime=0.04 cores=0-7 /proc/3325/task/3329/stat : 3329 (java) S 3323 3323 395 0 -1 1077944384 107 0 0 0 3 1 0 0 20 0 28 0 510950594 29458776064 85624 33554432000 4194304 4196468 140728427931792 139914946337040 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3330] ppid=3323 vsize=28768336 memory=1540 CPUtime=0.05 cores=0-7 /proc/3325/task/3330/stat : 3330 (java) S 3323 3323 395 0 -1 1077944384 87 0 0 0 4 1 0 0 20 0 28 0 510950594 29458776064 85624 33554432000 4194304 4196468 140728427931792 139914945284496 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3331] ppid=3323 vsize=28768336 memory=1732 CPUtime=0.02 cores=0-7 /proc/3325/task/3331/stat : 3331 (java) S 3323 3323 395 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 28 0 510950594 29458776064 85624 33554432000 4194304 4196468 140728427931792 139914944232464 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3332] ppid=3323 vsize=28768336 memory=6128 CPUtime=0.05 cores=0-7 /proc/3325/task/3332/stat : 3332 (java) S 3323 3323 395 0 -1 1077944384 267 0 0 0 4 1 0 0 20 0 28 0 510950594 29458776064 85624 33554432000 4194304 4196468 140728427931792 139914943179920 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3333] ppid=3323 vsize=28768336 memory=772 CPUtime=0.03 cores=0-7 /proc/3325/task/3333/stat : 3333 (java) S 3323 3323 395 0 -1 1077944384 82 0 0 0 2 1 0 0 20 0 28 0 510950594 29458776064 85624 33554432000 4194304 4196468 140728427931792 139914942126864 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3334] ppid=3323 vsize=28768336 memory=952 CPUtime=0.03 cores=0-7 /proc/3325/task/3334/stat : 3334 (java) S 3323 3323 395 0 -1 1077944384 851 0 0 0 2 1 0 0 20 0 28 0 510950594 29458776064 85624 33554432000 4194304 4196468 140728427931792 139914941074320 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3335] ppid=3323 vsize=28768336 memory=14008 CPUtime=0.01 cores=0-7 /proc/3325/task/3335/stat : 3335 (java) S 3323 3323 395 0 -1 1077944384 922 0 0 0 1 0 0 0 20 0 28 0 510950596 29458776064 85624 33554432000 4194304 4196468 140728427931792 139913661376752 139914995833474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3336] ppid=3323 vsize=28768336 memory=3620 CPUtime=0 cores=0-7 /proc/3325/task/3336/stat : 3336 (java) S 3323 3323 395 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 510950596 29458776064 85624 33554432000 4194304 4196468 140728427931792 139913592825056 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3337] ppid=3323 vsize=28768336 memory=1804 CPUtime=0 cores=0-7 /proc/3325/task/3337/stat : 3337 (java) S 3323 3323 395 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 510950596 29458776064 85624 33554432000 4194304 4196468 140728427931792 139913591771888 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3338] ppid=3323 vsize=28768336 memory=56396 CPUtime=0 cores=0-7 /proc/3325/task/3338/stat : 3338 (java) S 3323 3323 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510950599 29458776064 85624 33554432000 4194304 4196468 140728427931792 139913590720464 139914995840923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3339] ppid=3323 vsize=28768336 memory=920 CPUtime=1.5 cores=0-7 /proc/3325/task/3339/stat : 3339 (java) R 3323 3323 395 0 -1 4202560 5333 0 0 0 149 1 0 0 20 0 28 0 510950599 29458776064 85624 33554432000 4194304 4196468 140728427931792 139913589648992 139914979322724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3340] ppid=3323 vsize=28768336 memory=4544 CPUtime=1.45 cores=0-7 /proc/3325/task/3340/stat : 3340 (java) R 3323 3323 395 0 -1 4202560 4628 0 0 0 144 1 0 0 20 0 28 0 510950599 29458776064 85624 33554432000 4194304 4196468 140728427931792 139913588604608 139914979308559 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3341] ppid=3323 vsize=28768336 memory=984 CPUtime=1.59 cores=0-7 /proc/3325/task/3341/stat : 3341 (java) R 3323 3323 395 0 -1 4202560 5908 0 0 0 158 1 0 0 20 0 28 0 510950599 29458776064 85624 33554432000 4194304 4196468 140728427931792 139913587563288 139914975068469 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3342] ppid=3323 vsize=28768336 memory=2004 CPUtime=0.76 cores=0-7 /proc/3325/task/3342/stat : 3342 (java) R 3323 3323 395 0 -1 1077944384 3989 0 0 0 75 1 0 0 20 0 28 0 510950599 29458776064 85624 33554432000 4194304 4196468 140728427931792 139913586510448 139914995833474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3343] ppid=3323 vsize=28768336 memory=1428 CPUtime=0 cores=0-7 /proc/3325/task/3343/stat : 3343 (java) S 3323 3323 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510950599 29458776064 85624 33554432000 4194304 4196468 140728427931792 139913585457632 139914995832533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 [pid=3325/tid=3344] ppid=3323 vsize=28768336 memory=1060 CPUtime=0 cores=0-7 /proc/3325/task/3344/stat : 3344 (java) S 3323 3323 395 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 28 0 510950599 29458776064 85624 33554432000 4194304 4196468 140728427931792 139913584405168 139914995833474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 26341376 140728427938774 140728427938950 140728427938950 140728427941839 0 Current children cumulated CPU time: 103.08 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 343948 KiB [startup+14.0009 s]* /proc/loadavg: 8.17 8.29 7.97 2/221 3367 /proc/meminfo: memFree=24124856/32770624 swapFree=66997024/67108860 [pid=3323] ppid=3320 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3323/stat : 3323 (xcsp3-exec) S 3320 3323 395 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510950593 115843072 363 33554432000 4194304 5098028 140732461860096 140732461858200 140335434388092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25038848 140732461867857 140732461868117 140732461868117 140732461871046 0 /proc/3323/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 14.0161 CPU time (s): 103.71 CPU user time (s): 103.383 CPU system time (s): 0.327069 CPU usage (%): 739.934 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 346284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 103.383 system time used= 0.327069 maximum resident set size= 345416 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39010 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4829 involuntary context switches= 2015 # summary of solver processes directly reported to runsolver: # pid: 3323 # total CPU time (s): 103.71 # total CPU user time (s): 103.383 # total CPU system time (s): 0.327069 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.143789 second user time and 0.212262 second system time The end
Begin job on node126 at 2019-09-24 19:39:50 IDJOB=4407136 IDBENCH=124153 IDSOLVER=2871 FILE ID=node126/4407136-1569346828 RUNJOBID= node126-1569335941-423 PBS_JOBID= 21705059 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-7.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407136-1569346828/watcher-4407136-1569346828 -o /var/tmp/evaluation-result-4407136-1569346828/solver-4407136-1569346828 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569335941-423 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1007611094 HOME/instance-4407136-1569346828.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2318da7117aad88e4beeaec86ff9c63e RANDOM SEED=1007611094 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24458872 kB MemAvailable: 31844968 kB Buffers: 94180 kB Cached: 7522188 kB SwapCached: 7648 kB Active: 3797548 kB Inactive: 3828956 kB Active(anon): 3688 kB Inactive(anon): 56920 kB Active(file): 3793860 kB Inactive(file): 3772036 kB Unevictable: 109424 kB Mlocked: 109424 kB SwapTotal: 67108860 kB SwapFree: 66997016 kB Dirty: 26196 kB Writeback: 12 kB AnonPages: 113664 kB Mapped: 54240 kB Shmem: 41596 kB Slab: 277244 kB SReclaimable: 248660 kB SUnreclaim: 28584 kB KernelStack: 3408 kB PageTables: 5304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515836 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /var/tmp at the end= 13484 MiB End job on node126 at 2019-09-24 19:40:04