Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 | SAT (TO) | 161 | 2400.08 | 2394.02 |
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.91727 |
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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406536-1569397466.xml" -tl '2400s' -p 1 0.13/0.19 c Choco e747e1e 0.13/0.20 c [HOME/instance-4406536-1569397466.xml, -tl, 2400s, -p, 1] 0.34/0.24 c simple solver 0.34/0.31 c parse instance... 1.27/0.67 c solve instance... 550.42/546.64 o 184 550.42/546.67 o 183 550.62/546.80 o 182 551.22/547.14 o 181 552.77/548.64 o 180 552.77/548.64 o 179 552.77/548.66 o 178 552.77/548.69 o 177 552.77/548.69 o 176 552.87/548.70 o 175 553.52/549.26 o 174 1065.79/1060.70 o 173 1065.89/1060.84 o 172 1066.01/1060.99 o 171 1074.90/1069.75 o 170 1076.21/1071.07 o 169 1084.61/1079.48 o 168 1093.01/1087.81 o 167 1159.13/1153.94 o 166 1297.89/1292.60 o 165 1298.59/1293.39 o 164 1299.19/1293.99 o 163 1328.32/1323.06 o 162 1328.71/1323.45 o 161 2400.05/2394.01 s SATISFIABLE 2400.05/2394.01 v <instantiation> 2400.05/2394.01 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> 2400.05/2394.01 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 1 0 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 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 1 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 1 0 0 0 0 1 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 1 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 1 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 1 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 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 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 1 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 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 1 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 2400.05/2394.01 v </instantiation> 2400.05/2394.01 c Unexpected resolution interruption!
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: 16375 MiB (15416 MiB free) memory of node 1: 16384 MiB (7243 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406536-1569397466/watcher-4406536-1569397466 -o /tmp/evaluation-result-4406536-1569397466/solver-4406536-1569397466 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569396628-22039 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406536-1569397466.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=22308, runsolver pid=22305 [startup+0.100094 s]* /proc/loadavg: 1.96 1.67 1.00 3/230 22324 /proc/meminfo: memFree=23187432/32770688 swapFree=67001276/67108860 [pid=22308] ppid=22305 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/22308/stat : 22308 (xcsp3-exec) S 22305 22308 22008 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515688188 115843072 363 33554432000 4194304 5098028 140728099288464 140728099286568 140322900439676 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13463552 140728099292026 140728099292269 140728099292269 140728099295178 0 /proc/22308/statm: 28282 363 304 221 0 87 0 [pid=22310] ppid=22308 vsize=15144776 memory=29992 CPUtime=0.13 cores=0-3 /proc/22310/stat : 22310 (java) S 22308 22308 22008 0 -1 1077944320 5433 0 0 0 12 1 0 0 20 0 15 0 515688188 15508250624 7498 33554432000 4194304 4196468 140731375993376 140731375975920 140114610794231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 /proc/22310/statm: 3786194 7498 3121 1 0 3748377 0 [pid=22310/tid=22311] ppid=22308 vsize=15144776 memory=8036256212623698507 CPUtime=0.08 cores=0-3 /proc/22310/task/22311/stat : 22311 (java) R 22308 22308 22008 0 -1 4202560 3372 0 0 0 8 0 0 0 20 0 15 0 515688188 15508250624 7498 33554432000 4194304 4196468 140731375993376 140114615027712 140114610816157 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22312] ppid=22308 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0-3 /proc/22310/task/22312/stat : 22312 (java) S 22308 22308 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515688189 15508250624 7498 33554432000 4194304 4196468 140731375993376 140114522450320 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22313] ppid=22308 vsize=15144776 memory=140636783355520 CPUtime=0 cores=0-3 /proc/22310/task/22313/stat : 22313 (java) S 22308 22308 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515688189 15508250624 7498 33554432000 4194304 4196468 140731375993376 140114521397520 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22314] ppid=22308 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/22310/task/22314/stat : 22314 (java) S 22308 22308 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515688189 15508250624 7498 33554432000 4194304 4196468 140731375993376 140114520345232 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22315] ppid=22308 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/22310/task/22315/stat : 22315 (java) S 22308 22308 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515688189 15508250624 7498 33554432000 4194304 4196468 140731375993376 140114519292432 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22316] ppid=22308 vsize=15144776 memory=140636783355520 CPUtime=0 cores=0-3 /proc/22310/task/22316/stat : 22316 (java) S 22308 22308 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515688191 15508250624 7498 33554432000 4194304 4196468 140731375993376 140114079521392 140114610805378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22317] ppid=22308 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/22310/task/22317/stat : 22317 (java) S 22308 22308 22008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515688191 15508250624 7498 33554432000 4194304 4196468 140731375993376 140114078467360 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22318] ppid=22308 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/22310/task/22318/stat : 22318 (java) S 22308 22308 22008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515688191 15508250624 7498 33554432000 4194304 4196468 140731375993376 140114077415024 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22319] ppid=22308 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/22310/task/22319/stat : 22319 (java) S 22308 22308 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515688194 15508250624 7498 33554432000 4194304 4196468 140731375993376 140114076363344 140114610812827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22320] ppid=22308 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/22310/task/22320/stat : 22320 (java) R 22308 22308 22008 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 515688194 15508250624 7498 33554432000 4194304 4196468 140731375993376 140114075310192 140114610805378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22321] ppid=22308 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/22310/task/22321/stat : 22321 (java) S 22308 22308 22008 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 515688194 15508250624 7498 33554432000 4194304 4196468 140731375993376 140114074257392 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22322] ppid=22308 vsize=15144776 memory=140636783355520 CPUtime=0.01 cores=0-3 /proc/22310/task/22322/stat : 22322 (java) R 22308 22308 22008 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 15 0 515688194 15508250624 7498 33554432000 4194304 4196468 140731375993376 140114073205104 140114603511383 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22323] ppid=22308 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/22310/task/22323/stat : 22323 (java) S 22308 22308 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515688194 15508250624 7498 33554432000 4194304 4196468 140731375993376 140114072152544 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22324] ppid=22308 vsize=15144776 memory=140636783355520 CPUtime=0 cores=0-3 /proc/22310/task/22324/stat : 22324 (java) S 22308 22308 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515688195 15508250624 7498 33554432000 4194304 4196468 140731375993376 140114071100336 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 31444 KiB [startup+0.211722 s]* /proc/loadavg: 1.96 1.67 1.00 3/230 22324 /proc/meminfo: memFree=23173468/32770688 swapFree=67001276/67108860 [pid=22308] ppid=22305 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/22308/stat : 22308 (xcsp3-exec) S 22305 22308 22008 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515688188 115843072 363 33554432000 4194304 5098028 140728099288464 140728099286568 140322900439676 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13463552 140728099292026 140728099292269 140728099292269 140728099295178 0 /proc/22308/statm: 28282 363 304 221 0 87 0 [pid=22310] ppid=22308 vsize=15144776 memory=41304 CPUtime=0.34 cores=0-3 /proc/22310/stat : 22310 (java) S 22308 22308 22008 0 -1 1077944320 8943 0 0 0 32 2 0 0 20 0 15 0 515688188 15508250624 10326 33554432000 4194304 4196468 140731375993376 140731375975920 140114610794231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 /proc/22310/statm: 3786194 10326 3316 1 0 3748377 0 [pid=22310/tid=22311] ppid=22308 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0-3 /proc/22310/task/22311/stat : 22311 (java) R 22308 22308 22008 0 -1 4202560 6171 0 0 0 18 2 0 0 20 0 15 0 515688188 15508250624 10326 33554432000 4194304 4196468 140731375993376 140114615028352 140114610816157 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22312] ppid=22308 vsize=15144776 memory=9642 CPUtime=0 cores=0-3 /proc/22310/task/22312/stat : 22312 (java) S 22308 22308 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515688189 15508250624 10326 33554432000 4194304 4196468 140731375993376 140114522450320 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22313] ppid=22308 vsize=15144776 memory=3545802065567831833 CPUtime=0 cores=0-3 /proc/22310/task/22313/stat : 22313 (java) S 22308 22308 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515688189 15508250624 10326 33554432000 4194304 4196468 140731375993376 140114521397520 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22314] ppid=22308 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/22310/task/22314/stat : 22314 (java) S 22308 22308 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515688189 15508250624 10326 33554432000 4194304 4196468 140731375993376 140114520345232 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22315] ppid=22308 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/22310/task/22315/stat : 22315 (java) S 22308 22308 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515688189 15508250624 10326 33554432000 4194304 4196468 140731375993376 140114519292432 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22316] ppid=22308 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/22310/task/22316/stat : 22316 (java) S 22308 22308 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515688191 15508250624 10326 33554432000 4194304 4196468 140731375993376 140114079521392 140114610805378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22317] ppid=22308 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/22310/task/22317/stat : 22317 (java) S 22308 22308 22008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515688191 15508250624 10326 33554432000 4194304 4196468 140731375993376 140114078467360 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22318] ppid=22308 vsize=15144776 memory=140636783355520 CPUtime=0 cores=0-3 /proc/22310/task/22318/stat : 22318 (java) S 22308 22308 22008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515688191 15508250624 10326 33554432000 4194304 4196468 140731375993376 140114077415024 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22319] ppid=22308 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/22310/task/22319/stat : 22319 (java) S 22308 22308 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515688194 15508250624 10326 33554432000 4194304 4196468 140731375993376 140114076363344 140114610812827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22320] ppid=22308 vsize=15144776 memory=0 CPUtime=0.03 cores=0-3 /proc/22310/task/22320/stat : 22320 (java) S 22308 22308 22008 0 -1 1077944384 534 0 0 0 3 0 0 0 20 0 15 0 515688194 15508250624 10326 33554432000 4194304 4196468 140731375993376 140114075310192 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22321] ppid=22308 vsize=15144776 memory=-1 CPUtime=0.01 cores=0-3 /proc/22310/task/22321/stat : 22321 (java) S 22308 22308 22008 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 15 0 515688194 15508250624 10326 33554432000 4194304 4196468 140731375993376 140114074257392 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22322] ppid=22308 vsize=15144776 memory=0 CPUtime=0.08 cores=0-3 /proc/22310/task/22322/stat : 22322 (java) S 22308 22308 22008 0 -1 1077944384 730 0 0 0 8 0 0 0 20 0 15 0 515688194 15508250624 10326 33554432000 4194304 4196468 140731375993376 140114073205104 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22323] ppid=22308 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/22310/task/22323/stat : 22323 (java) S 22308 22308 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515688194 15508250624 10326 33554432000 4194304 4196468 140731375993376 140114072152544 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22324] ppid=22308 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/22310/task/22324/stat : 22324 (java) S 22308 22308 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515688195 15508250624 10326 33554432000 4194304 4196468 140731375993376 140114071100336 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 42756 KiB [startup+0.311652 s]* /proc/loadavg: 1.96 1.67 1.00 4/230 22324 /proc/meminfo: memFree=23169572/32770688 swapFree=67001276/67108860 [pid=22308] ppid=22305 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/22308/stat : 22308 (xcsp3-exec) S 22305 22308 22008 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515688188 115843072 363 33554432000 4194304 5098028 140728099288464 140728099286568 140322900439676 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13463552 140728099292026 140728099292269 140728099292269 140728099295178 0 /proc/22308/statm: 28282 363 304 221 0 87 0 [pid=22310] ppid=22308 vsize=15149032 memory=46944 CPUtime=0.52 cores=0-3 /proc/22310/stat : 22310 (java) S 22308 22308 22008 0 -1 1077944320 10035 0 0 0 49 3 0 0 20 0 15 0 515688188 15512608768 11736 33554432000 4194304 4196468 140731375993376 140731375975920 140114610794231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 /proc/22310/statm: 3787258 11736 3336 1 0 3748377 0 [pid=22310/tid=22311] ppid=22308 vsize=15149032 memory=8389772277269004345 CPUtime=0.3 cores=0-3 /proc/22310/task/22311/stat : 22311 (java) R 22308 22308 22008 0 -1 4202560 7123 0 0 0 28 2 0 0 20 0 15 0 515688188 15512608768 11736 33554432000 4194304 4196468 140731375993376 140114615016544 140114594874718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22312] ppid=22308 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/22310/task/22312/stat : 22312 (java) S 22308 22308 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515688189 15512608768 11736 33554432000 4194304 4196468 140731375993376 140114522450320 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22313] ppid=22308 vsize=15149032 memory=3833183618742900011 CPUtime=0 cores=0-3 /proc/22310/task/22313/stat : 22313 (java) S 22308 22308 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515688189 15512608768 11736 33554432000 4194304 4196468 140731375993376 140114521397520 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22314] ppid=22308 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/22310/task/22314/stat : 22314 (java) S 22308 22308 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515688189 15512608768 11736 33554432000 4194304 4196468 140731375993376 140114520345232 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22315] ppid=22308 vsize=15149032 memory=-1 CPUtime=0 cores=0-3 /proc/22310/task/22315/stat : 22315 (java) S 22308 22308 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515688189 15512608768 11736 33554432000 4194304 4196468 140731375993376 140114519292432 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22316] ppid=22308 vsize=15149032 memory=140636783355520 CPUtime=0 cores=0-3 /proc/22310/task/22316/stat : 22316 (java) S 22308 22308 22008 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515688191 15512608768 11736 33554432000 4194304 4196468 140731375993376 140114079521392 140114610805378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22317] ppid=22308 vsize=15149032 memory=-1 CPUtime=0 cores=0-3 /proc/22310/task/22317/stat : 22317 (java) S 22308 22308 22008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515688191 15512608768 11736 33554432000 4194304 4196468 140731375993376 140114078467360 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22318] ppid=22308 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/22310/task/22318/stat : 22318 (java) S 22308 22308 22008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515688191 15512608768 11736 33554432000 4194304 4196468 140731375993376 140114077415024 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22319] ppid=22308 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/22310/task/22319/stat : 22319 (java) S 22308 22308 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515688194 15512608768 11736 33554432000 4194304 4196468 140731375993376 140114076363344 140114610812827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22320] ppid=22308 vsize=15149032 memory=0 CPUtime=0.04 cores=0-3 /proc/22310/task/22320/stat : 22320 (java) S 22308 22308 22008 0 -1 1077944384 544 0 0 0 4 0 0 0 20 0 15 0 515688194 15512608768 11736 33554432000 4194304 4196468 140731375993376 140114075310192 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22321] ppid=22308 vsize=15149032 memory=-1 CPUtime=0.03 cores=0-3 /proc/22310/task/22321/stat : 22321 (java) S 22308 22308 22008 0 -1 1077944384 256 0 0 0 3 0 0 0 20 0 15 0 515688194 15512608768 11736 33554432000 4194304 4196468 140731375993376 140114074257392 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22322] ppid=22308 vsize=15149032 memory=140636783355520 CPUtime=0.12 cores=0-3 /proc/22310/task/22322/stat : 22322 (java) R 22308 22308 22008 0 -1 4202560 812 0 0 0 12 0 0 0 20 0 15 0 515688194 15512608768 11736 33554432000 4194304 4196468 140731375993376 140114073205104 140114610815578 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22323] ppid=22308 vsize=15149032 memory=-1 CPUtime=0 cores=0-3 /proc/22310/task/22323/stat : 22323 (java) S 22308 22308 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515688194 15512608768 11736 33554432000 4194304 4196468 140731375993376 140114072152544 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22324] ppid=22308 vsize=15149032 memory=140636783355520 CPUtime=0 cores=0-3 /proc/22310/task/22324/stat : 22324 (java) S 22308 22308 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515688195 15512608768 11736 33554432000 4194304 4196468 140731375993376 140114071100336 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 48396 KiB [startup+0.708102 s] /proc/loadavg: 1.96 1.67 1.00 3/230 22324 /proc/meminfo: memFree=23158692/32770688 swapFree=67001276/67108860 [pid=22308] ppid=22305 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/22308/stat : 22308 (xcsp3-exec) S 22305 22308 22008 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515688188 115843072 363 33554432000 4194304 5098028 140728099288464 140728099286568 140322900439676 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13463552 140728099292026 140728099292269 140728099292269 140728099295178 0 /proc/22308/statm: 28282 363 304 221 0 87 0 [pid=22310] ppid=22308 vsize=15151156 memory=77848 CPUtime=1.55 cores=0-3 /proc/22310/stat : 22310 (java) S 22308 22308 22008 0 -1 1077944320 13142 0 0 0 150 5 0 0 20 0 15 0 515688188 15514783744 19462 33554432000 4194304 4196468 140731375993376 140731375975920 140114610794231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 /proc/22310/statm: 3787789 19462 3463 1 0 3748889 0 [pid=22310/tid=22311] ppid=22308 vsize=15151156 memory=2120 CPUtime=0.69 cores=0-3 /proc/22310/task/22311/stat : 22311 (java) R 22308 22308 22008 0 -1 4202560 8648 0 0 0 65 4 0 0 20 0 15 0 515688188 15514783744 19462 33554432000 4194304 4196468 140731375993376 140114615032344 140114593969808 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22312] ppid=22308 vsize=15151156 memory=496 CPUtime=0 cores=0-3 /proc/22310/task/22312/stat : 22312 (java) S 22308 22308 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515688189 15514783744 19462 33554432000 4194304 4196468 140731375993376 140114522450320 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22313] ppid=22308 vsize=15151156 memory=1556 CPUtime=0 cores=0-3 /proc/22310/task/22313/stat : 22313 (java) S 22308 22308 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515688189 15514783744 19462 33554432000 4194304 4196468 140731375993376 140114521397520 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22314] ppid=22308 vsize=15151156 memory=928 CPUtime=0 cores=0-3 /proc/22310/task/22314/stat : 22314 (java) S 22308 22308 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515688189 15514783744 19462 33554432000 4194304 4196468 140731375993376 140114520345232 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22315] ppid=22308 vsize=15151156 memory=1620 CPUtime=0 cores=0-3 /proc/22310/task/22315/stat : 22315 (java) S 22308 22308 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515688189 15514783744 19462 33554432000 4194304 4196468 140731375993376 140114519292432 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22316] ppid=22308 vsize=15151156 memory=780 CPUtime=0 cores=0-3 /proc/22310/task/22316/stat : 22316 (java) S 22308 22308 22008 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515688191 15514783744 19462 33554432000 4194304 4196468 140731375993376 140114079521392 140114610805378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22317] ppid=22308 vsize=15151156 memory=1444 CPUtime=0 cores=0-3 /proc/22310/task/22317/stat : 22317 (java) S 22308 22308 22008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515688191 15514783744 19462 33554432000 4194304 4196468 140731375993376 140114078467360 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22318] ppid=22308 vsize=15151156 memory=1984 CPUtime=0 cores=0-3 /proc/22310/task/22318/stat : 22318 (java) S 22308 22308 22008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515688191 15514783744 19462 33554432000 4194304 4196468 140731375993376 140114077415024 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22319] ppid=22308 vsize=15151156 memory=7086240636229996643 CPUtime=0 cores=0-3 /proc/22310/task/22319/stat : 22319 (java) S 22308 22308 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515688194 15514783744 19462 33554432000 4194304 4196468 140731375993376 140114076363344 140114610812827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22320] ppid=22308 vsize=15151156 memory=7453282923444726100 CPUtime=0.24 cores=0-3 /proc/22310/task/22320/stat : 22320 (java) S 22308 22308 22008 0 -1 1077944384 909 0 0 0 24 0 0 0 20 0 15 0 515688194 15514783744 19462 33554432000 4194304 4196468 140731375993376 140114075310192 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22321] ppid=22308 vsize=15151156 memory=7007707949394126417 CPUtime=0.21 cores=0-3 /proc/22310/task/22321/stat : 22321 (java) S 22308 22308 22008 0 -1 1077944384 696 0 0 0 21 0 0 0 20 0 15 0 515688194 15514783744 19462 33554432000 4194304 4196468 140731375993376 140114074257392 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22322] ppid=22308 vsize=15151156 memory=8514726395714826909 CPUtime=0.4 cores=0-3 /proc/22310/task/22322/stat : 22322 (java) R 22308 22308 22008 0 -1 4202560 1586 0 0 0 40 0 0 0 20 0 15 0 515688194 15514783744 19462 33554432000 4194304 4196468 140731375993376 140114073205104 140114603894078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22323] ppid=22308 vsize=15151156 memory=0 CPUtime=0 cores=0-3 /proc/22310/task/22323/stat : 22323 (java) S 22308 22308 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515688194 15514783744 19462 33554432000 4194304 4196468 140731375993376 140114072152544 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22324] ppid=22308 vsize=15151156 memory=0 CPUtime=0 cores=0-3 /proc/22310/task/22324/stat : 22324 (java) S 22308 22308 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515688195 15514783744 19462 33554432000 4194304 4196468 140731375993376 140114071100336 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 Current children cumulated CPU time: 1.55 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 79300 KiB [startup+1.50083 s] /proc/loadavg: 1.96 1.67 1.00 5/230 22324 /proc/meminfo: memFree=23138220/32770688 swapFree=67001276/67108860 [pid=22308] ppid=22305 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/22308/stat : 22308 (xcsp3-exec) S 22305 22308 22008 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515688188 115843072 363 33554432000 4194304 5098028 140728099288464 140728099286568 140322900439676 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13463552 140728099292026 140728099292269 140728099292269 140728099295178 0 /proc/22308/statm: 28282 363 304 221 0 87 0 ################ # More data... # ################ [pid=22310/tid=22316] ppid=22308 vsize=15151156 memory=2832 CPUtime=0.12 cores=0-3 /proc/22310/task/22316/stat : 22316 (java) S 22308 22308 22008 0 -1 1077944384 3807 0 0 0 9 3 0 0 20 0 15 0 515688191 15514783744 39495 33554432000 4194304 4196468 140731375993376 140114079521392 140114610805378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22317] ppid=22308 vsize=15151156 memory=33 CPUtime=0 cores=0-3 /proc/22310/task/22317/stat : 22317 (java) S 22308 22308 22008 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 515688191 15514783744 39495 33554432000 4194304 4196468 140731375993376 140114078467424 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22318] ppid=22308 vsize=15151156 memory=281273248082560 CPUtime=0 cores=0-3 /proc/22310/task/22318/stat : 22318 (java) S 22308 22308 22008 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 515688191 15514783744 39495 33554432000 4194304 4196468 140731375993376 140114077415040 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22319] ppid=22308 vsize=15151156 memory=6124 CPUtime=0 cores=0-3 /proc/22310/task/22319/stat : 22319 (java) S 22308 22308 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515688194 15514783744 39495 33554432000 4194304 4196468 140731375993376 140114076363344 140114610812827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22320] ppid=22308 vsize=15151156 memory=157980 CPUtime=1.92 cores=0-3 /proc/22310/task/22320/stat : 22320 (java) S 22308 22308 22008 0 -1 1077944384 15500 0 0 0 190 2 0 0 20 0 15 0 515688194 15514783744 39495 33554432000 4194304 4196468 140731375993376 140114075310192 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22321] ppid=22308 vsize=15151156 memory=157980 CPUtime=2.24 cores=0-3 /proc/22310/task/22321/stat : 22321 (java) S 22308 22308 22008 0 -1 1077944384 16301 0 0 0 222 2 0 0 20 0 15 0 515688194 15514783744 39495 33554432000 4194304 4196468 140731375993376 140114074257392 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22322] ppid=22308 vsize=15151156 memory=6791534058613427641 CPUtime=0.66 cores=0-3 /proc/22310/task/22322/stat : 22322 (java) S 22308 22308 22008 0 -1 1077944384 8816 0 0 0 65 1 0 0 20 0 15 0 515688194 15514783744 39495 33554432000 4194304 4196468 140731375993376 140114073205104 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22323] ppid=22308 vsize=15151156 memory=3328 CPUtime=0 cores=0-3 /proc/22310/task/22323/stat : 22323 (java) S 22308 22308 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515688194 15514783744 39495 33554432000 4194304 4196468 140731375993376 140114072152544 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22324] ppid=22308 vsize=15151156 memory=157980 CPUtime=0.57 cores=0-3 /proc/22310/task/22324/stat : 22324 (java) S 22308 22308 22008 0 -1 1077944384 1238 0 0 0 26 31 0 0 20 0 15 0 515688195 15514783744 39495 33554432000 4194304 4196468 140731375993376 140114071100336 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 Current children cumulated CPU time: 2268.28 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 159432 KiB [startup+2322.3 s] /proc/loadavg: 1.95 1.92 1.84 3/230 22641 /proc/meminfo: memFree=25217768/32770688 swapFree=67001280/67108860 [pid=22308] ppid=22305 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/22308/stat : 22308 (xcsp3-exec) S 22305 22308 22008 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515688188 115843072 363 33554432000 4194304 5098028 140728099288464 140728099286568 140322900439676 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13463552 140728099292026 140728099292269 140728099292269 140728099295178 0 /proc/22308/statm: 28282 363 304 221 0 87 0 [pid=22310] ppid=22308 vsize=15151156 memory=160028 CPUtime=2328.31 cores=0-3 /proc/22310/stat : 22310 (java) S 22308 22308 22008 0 -1 1077944320 75376 0 0 0 232783 48 0 0 20 0 15 0 515688188 15514783744 40007 33554432000 4194304 4196468 140731375993376 140731375975920 140114610794231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 /proc/22310/statm: 3787789 40007 3516 1 0 3748889 0 [pid=22310/tid=22311] ppid=22308 vsize=15151156 memory=160028 CPUtime=2322.16 cores=0-3 /proc/22310/task/22311/stat : 22311 (java) R 22308 22308 22008 0 -1 4202560 19090 0 0 0 232206 10 0 0 20 0 15 0 515688188 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114615033824 140114204737344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22312] ppid=22308 vsize=15151156 memory=160028 CPUtime=0.13 cores=0-3 /proc/22310/task/22312/stat : 22312 (java) S 22308 22308 22008 0 -1 1077944384 1288 0 0 0 12 1 0 0 20 0 15 0 515688189 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114522450320 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22313] ppid=22308 vsize=15151156 memory=160028 CPUtime=0.13 cores=0-3 /proc/22310/task/22313/stat : 22313 (java) S 22308 22308 22008 0 -1 1077944384 2203 0 0 0 12 1 0 0 20 0 15 0 515688189 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114521397520 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22314] ppid=22308 vsize=15151156 memory=1452 CPUtime=0.13 cores=0-3 /proc/22310/task/22314/stat : 22314 (java) S 22308 22308 22008 0 -1 1077944384 2132 0 0 0 12 1 0 0 20 0 15 0 515688189 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114520345232 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22315] ppid=22308 vsize=15151156 memory=160028 CPUtime=0.13 cores=0-3 /proc/22310/task/22315/stat : 22315 (java) S 22308 22308 22008 0 -1 1077944384 3605 0 0 0 12 1 0 0 20 0 15 0 515688189 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114519292432 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22316] ppid=22308 vsize=15151156 memory=1452 CPUtime=0.12 cores=0-3 /proc/22310/task/22316/stat : 22316 (java) S 22308 22308 22008 0 -1 1077944384 3810 0 0 0 9 3 0 0 20 0 15 0 515688191 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114079521392 140114610805378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22317] ppid=22308 vsize=15151156 memory=160028 CPUtime=0 cores=0-3 /proc/22310/task/22317/stat : 22317 (java) S 22308 22308 22008 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 515688191 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114078467424 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22318] ppid=22308 vsize=15151156 memory=160028 CPUtime=0 cores=0-3 /proc/22310/task/22318/stat : 22318 (java) S 22308 22308 22008 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 515688191 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114077415040 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22319] ppid=22308 vsize=15151156 memory=160028 CPUtime=0 cores=0-3 /proc/22310/task/22319/stat : 22319 (java) S 22308 22308 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515688194 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114076363344 140114610812827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22320] ppid=22308 vsize=15151156 memory=7739276948478193263 CPUtime=1.92 cores=0-3 /proc/22310/task/22320/stat : 22320 (java) S 22308 22308 22008 0 -1 1077944384 15500 0 0 0 190 2 0 0 20 0 15 0 515688194 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114075310192 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22321] ppid=22308 vsize=15151156 memory=1452 CPUtime=2.24 cores=0-3 /proc/22310/task/22321/stat : 22321 (java) S 22308 22308 22008 0 -1 1077944384 16301 0 0 0 222 2 0 0 20 0 15 0 515688194 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114074257392 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22322] ppid=22308 vsize=15151156 memory=1452 CPUtime=0.66 cores=0-3 /proc/22310/task/22322/stat : 22322 (java) S 22308 22308 22008 0 -1 1077944384 8816 0 0 0 65 1 0 0 20 0 15 0 515688194 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114073205104 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22323] ppid=22308 vsize=15151156 memory=1452 CPUtime=0 cores=0-3 /proc/22310/task/22323/stat : 22323 (java) S 22308 22308 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515688194 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114072152544 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22324] ppid=22308 vsize=15151156 memory=160028 CPUtime=0.59 cores=0-3 /proc/22310/task/22324/stat : 22324 (java) S 22308 22308 22008 0 -1 1077944384 1242 0 0 0 26 33 0 0 20 0 15 0 515688195 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114071100336 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 Current children cumulated CPU time: 2328.31 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 161480 KiB [startup+2382.3 s] /proc/loadavg: 1.94 1.92 1.85 3/230 22646 /proc/meminfo: memFree=25218268/32770688 swapFree=67001280/67108860 [pid=22308] ppid=22305 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/22308/stat : 22308 (xcsp3-exec) S 22305 22308 22008 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515688188 115843072 363 33554432000 4194304 5098028 140728099288464 140728099286568 140322900439676 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13463552 140728099292026 140728099292269 140728099292269 140728099295178 0 /proc/22308/statm: 28282 363 304 221 0 87 0 [pid=22310] ppid=22308 vsize=15151156 memory=160028 CPUtime=2388.34 cores=0-3 /proc/22310/stat : 22310 (java) S 22308 22308 22008 0 -1 1077944320 76245 0 0 0 238785 49 0 0 20 0 15 0 515688188 15514783744 40007 33554432000 4194304 4196468 140731375993376 140731375975920 140114610794231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 /proc/22310/statm: 3787789 40007 3516 1 0 3748889 0 [pid=22310/tid=22311] ppid=22308 vsize=15151156 memory=160028 CPUtime=2382.16 cores=0-3 /proc/22310/task/22311/stat : 22311 (java) R 22308 22308 22008 0 -1 4202560 19290 0 0 0 238206 10 0 0 20 0 15 0 515688188 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114615033456 140114204913846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22312] ppid=22308 vsize=15151156 memory=160028 CPUtime=0.13 cores=0-3 /proc/22310/task/22312/stat : 22312 (java) S 22308 22308 22008 0 -1 1077944384 1311 0 0 0 12 1 0 0 20 0 15 0 515688189 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114522450320 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22313] ppid=22308 vsize=15151156 memory=1452 CPUtime=0.13 cores=0-3 /proc/22310/task/22313/stat : 22313 (java) S 22308 22308 22008 0 -1 1077944384 2225 0 0 0 12 1 0 0 20 0 15 0 515688189 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114521397520 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22314] ppid=22308 vsize=15151156 memory=160028 CPUtime=0.13 cores=0-3 /proc/22310/task/22314/stat : 22314 (java) S 22308 22308 22008 0 -1 1077944384 2192 0 0 0 12 1 0 0 20 0 15 0 515688189 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114520345232 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22315] ppid=22308 vsize=15151156 memory=1452 CPUtime=0.13 cores=0-3 /proc/22310/task/22315/stat : 22315 (java) S 22308 22308 22008 0 -1 1077944384 3961 0 0 0 12 1 0 0 20 0 15 0 515688189 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114519292432 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22316] ppid=22308 vsize=15151156 memory=1452 CPUtime=0.12 cores=0-3 /proc/22310/task/22316/stat : 22316 (java) S 22308 22308 22008 0 -1 1077944384 3989 0 0 0 9 3 0 0 20 0 15 0 515688191 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114079521392 140114610805378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22317] ppid=22308 vsize=15151156 memory=160028 CPUtime=0 cores=0-3 /proc/22310/task/22317/stat : 22317 (java) S 22308 22308 22008 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 515688191 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114078467424 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22318] ppid=22308 vsize=15151156 memory=1452 CPUtime=0 cores=0-3 /proc/22310/task/22318/stat : 22318 (java) S 22308 22308 22008 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 515688191 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114077415040 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22319] ppid=22308 vsize=15151156 memory=281273249447712 CPUtime=0 cores=0-3 /proc/22310/task/22319/stat : 22319 (java) S 22308 22308 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515688194 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114076363344 140114610812827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22320] ppid=22308 vsize=15151156 memory=160028 CPUtime=1.92 cores=0-3 /proc/22310/task/22320/stat : 22320 (java) S 22308 22308 22008 0 -1 1077944384 15504 0 0 0 190 2 0 0 20 0 15 0 515688194 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114075310192 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22321] ppid=22308 vsize=15151156 memory=2044 CPUtime=2.24 cores=0-3 /proc/22310/task/22321/stat : 22321 (java) S 22308 22308 22008 0 -1 1077944384 16303 0 0 0 222 2 0 0 20 0 15 0 515688194 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114074257392 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22322] ppid=22308 vsize=15151156 memory=1368 CPUtime=0.66 cores=0-3 /proc/22310/task/22322/stat : 22322 (java) S 22308 22308 22008 0 -1 1077944384 8818 0 0 0 65 1 0 0 20 0 15 0 515688194 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114073205104 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22323] ppid=22308 vsize=15151156 memory=1452 CPUtime=0 cores=0-3 /proc/22310/task/22323/stat : 22323 (java) S 22308 22308 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515688194 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114072152544 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22324] ppid=22308 vsize=15151156 memory=160028 CPUtime=0.61 cores=0-3 /proc/22310/task/22324/stat : 22324 (java) S 22308 22308 22008 0 -1 1077944384 1263 0 0 0 27 34 0 0 20 0 15 0 515688195 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114071100336 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 Current children cumulated CPU time: 2388.34 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 161480 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2394 s]* /proc/loadavg: 1.95 1.92 1.85 3/230 22646 /proc/meminfo: memFree=25218104/32770688 swapFree=67001280/67108860 [pid=22308] ppid=22305 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/22308/stat : 22308 (xcsp3-exec) S 22305 22308 22008 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515688188 115843072 363 33554432000 4194304 5098028 140728099288464 140728099286568 140322900439676 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13463552 140728099292026 140728099292269 140728099292269 140728099295178 0 /proc/22308/statm: 28282 363 304 221 0 87 0 [pid=22310] ppid=22308 vsize=15151156 memory=160028 CPUtime=2400.05 cores=0-3 /proc/22310/stat : 22310 (java) S 22308 22308 22008 0 -1 1077944320 76279 0 0 0 239956 49 0 0 20 0 15 0 515688188 15514783744 40007 33554432000 4194304 4196468 140731375993376 140731375975920 140114610794231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 /proc/22310/statm: 3787789 40007 3516 1 0 3748889 0 [pid=22310/tid=22311] ppid=22308 vsize=15151156 memory=33360 CPUtime=2393.87 cores=0-3 /proc/22310/task/22311/stat : 22311 (java) R 22308 22308 22008 0 -1 4202560 19324 0 0 0 239377 10 0 0 20 0 15 0 515688188 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114615033456 140114199155536 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22312] ppid=22308 vsize=15151156 memory=4872558044660077418 CPUtime=0.13 cores=0-3 /proc/22310/task/22312/stat : 22312 (java) S 22308 22308 22008 0 -1 1077944384 1311 0 0 0 12 1 0 0 20 0 15 0 515688189 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114522450320 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22313] ppid=22308 vsize=15151156 memory=63948 CPUtime=0.13 cores=0-3 /proc/22310/task/22313/stat : 22313 (java) S 22308 22308 22008 0 -1 1077944384 2225 0 0 0 12 1 0 0 20 0 15 0 515688189 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114521397520 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22314] ppid=22308 vsize=15151156 memory=984 CPUtime=0.13 cores=0-3 /proc/22310/task/22314/stat : 22314 (java) S 22308 22308 22008 0 -1 1077944384 2192 0 0 0 12 1 0 0 20 0 15 0 515688189 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114520345232 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22315] ppid=22308 vsize=15151156 memory=2044 CPUtime=0.13 cores=0-3 /proc/22310/task/22315/stat : 22315 (java) S 22308 22308 22008 0 -1 1077944384 3961 0 0 0 12 1 0 0 20 0 15 0 515688189 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114519292432 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22316] ppid=22308 vsize=15151156 memory=1368 CPUtime=0.12 cores=0-3 /proc/22310/task/22316/stat : 22316 (java) S 22308 22308 22008 0 -1 1077944384 3989 0 0 0 9 3 0 0 20 0 15 0 515688191 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114079521392 140114610805378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22317] ppid=22308 vsize=15151156 memory=1056 CPUtime=0 cores=0-3 /proc/22310/task/22317/stat : 22317 (java) S 22308 22308 22008 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 515688191 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114078467424 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22318] ppid=22308 vsize=15151156 memory=772 CPUtime=0 cores=0-3 /proc/22310/task/22318/stat : 22318 (java) S 22308 22308 22008 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 515688191 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114077415040 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22319] ppid=22308 vsize=15151156 memory=3516 CPUtime=0 cores=0-3 /proc/22310/task/22319/stat : 22319 (java) S 22308 22308 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515688194 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114076363344 140114610812827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22320] ppid=22308 vsize=15151156 memory=1088 CPUtime=1.92 cores=0-3 /proc/22310/task/22320/stat : 22320 (java) S 22308 22308 22008 0 -1 1077944384 15504 0 0 0 190 2 0 0 20 0 15 0 515688194 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114075310192 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22321] ppid=22308 vsize=15151156 memory=2832 CPUtime=2.24 cores=0-3 /proc/22310/task/22321/stat : 22321 (java) S 22308 22308 22008 0 -1 1077944384 16303 0 0 0 222 2 0 0 20 0 15 0 515688194 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114074257392 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22322] ppid=22308 vsize=15151156 memory=1564 CPUtime=0.66 cores=0-3 /proc/22310/task/22322/stat : 22322 (java) S 22308 22308 22008 0 -1 1077944384 8818 0 0 0 65 1 0 0 20 0 15 0 515688194 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114073205104 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22323] ppid=22308 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0-3 /proc/22310/task/22323/stat : 22323 (java) S 22308 22308 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515688194 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114072152544 140114610804437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 [pid=22310/tid=22324] ppid=22308 vsize=15151156 memory=2044 CPUtime=0.61 cores=0-3 /proc/22310/task/22324/stat : 22324 (java) S 22308 22308 22008 0 -1 1077944384 1263 0 0 0 27 34 0 0 20 0 15 0 515688195 15514783744 40007 33554432000 4194304 4196468 140731375993376 140114071100336 140114610805378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 32759808 140731375997935 140731375998106 140731375998106 140731376000975 0 Current children cumulated CPU time: 2400.05 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 161480 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2394.02 s] # the end of solver process 22308 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.58 s, system=0.500461 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 2394.02 CPU time (s): 2400.08 CPU user time (s): 2399.58 CPU system time (s): 0.500461 CPU usage (%): 100.253 Max. virtual memory (cumulated for all children) (KiB): 15266348 Max. memory (cumulated for all children) (KiB): 209876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.58 system time used= 0.500461 maximum resident set size= 212520 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77110 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2584 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 56739 involuntary context switches= 1986 # summary of solver processes directly reported to runsolver: # pid: 22308 # total CPU time (s): 2400.08 # total CPU user time (s): 2399.58 # total CPU system time (s): 0.500461 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.9585 second user time and 23.4206 second system time The end
Begin job on node116 at 2019-09-25 09:43:44 IDJOB=4406536 IDBENCH=124153 IDSOLVER=2870 FILE ID=node116/4406536-1569397466 RUNJOBID= node116-1569396628-22039 PBS_JOBID= 21705695 Free space on /tmp= 6524 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-7.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406536-1569397466/watcher-4406536-1569397466 -o /tmp/evaluation-result-4406536-1569397466/solver-4406536-1569397466 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569396628-22039 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406536-1569397466.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2318da7117aad88e4beeaec86ff9c63e RANDOM SEED=1860271512 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 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 : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 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 : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 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 : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 23204100 kB MemAvailable: 29447836 kB Buffers: 115028 kB Cached: 6301212 kB SwapCached: 3308 kB Active: 5599332 kB Inactive: 3215648 kB Active(anon): 2398632 kB Inactive(anon): 56664 kB Active(file): 3200700 kB Inactive(file): 3158984 kB Unevictable: 109488 kB Mlocked: 109488 kB SwapTotal: 67108860 kB SwapFree: 67001276 kB Dirty: 26228 kB Writeback: 8 kB AnonPages: 2506604 kB Mapped: 70472 kB Shmem: 47780 kB Slab: 341312 kB SReclaimable: 312512 kB SUnreclaim: 28800 kB KernelStack: 3792 kB PageTables: 10336 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 3137676 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2414592 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 6500 MiB End job on node116 at 2019-09-25 10:23:38