Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 | SAT (TO) | 161 | 2520.03 | 2514.12 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t09-7.xml |
MD5SUM | 2318da7117aad88e4beeaec86ff9c63e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 161 |
Best CPU time to get the best result obtained on this benchmark | 9.75422 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4074 |
Number of constraints | 216 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":2,"count":776},{"size":3,"count":582},{"size":5,"count":194},{"size":8,"count":194},{"size":11,"count":194},{"size":12,"count":388},{"size":14,"count":388},{"size":17,"count":388},{"size":18,"count":194},{"size":19,"count":582},{"size":20,"count":194}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":4074}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 3880 |
Distribution of constraint arities | [{"arity":21,"count":194},{"arity":194,"count":21},{"arity":3880,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":214}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406236-1569402031.xml" -tl '2520s' -p 1 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4406236-1569402031.xml, -tl, 2520s, -p, 1] 0.34/0.22 c simple solver 0.34/0.28 c parse instance... 1.30/0.62 c solve instance... 499.95/496.42 o 184 499.95/496.45 o 183 500.16/496.56 o 182 500.58/496.88 o 181 502.04/498.28 o 180 502.04/498.29 o 179 502.14/498.30 o 178 502.14/498.33 o 177 502.14/498.33 o 176 502.14/498.34 o 175 502.79/498.86 o 174 962.83/958.16 o 173 962.92/958.28 o 172 963.14/958.42 o 171 971.01/966.29 o 170 972.21/967.48 o 169 979.82/975.05 o 168 987.32/982.54 o 167 1046.86/1042.01 o 166 1172.08/1167.26 o 165 1172.78/1167.98 o 164 1173.38/1168.52 o 163 1199.69/1194.80 o 162 1200.00/1195.15 o 161 2520.00/2514.11 s SATISFIABLE 2520.00/2514.11 v <instantiation> 2520.00/2514.11 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> 2520.00/2514.11 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> 2520.00/2514.11 v </instantiation> 2520.00/2514.11 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: 16374 MiB (10904 MiB free) memory of node 1: 16384 MiB (12262 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406236-1569402031/watcher-4406236-1569402031 -o /var/tmp/evaluation-result-4406236-1569402031/solver-4406236-1569402031 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1569396629-3721 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1898939242 HOME/instance-4406236-1569402031.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=5589, runsolver pid=5586 Current StackSize limit: 8192 KiB [startup+0.100057 s]* /proc/loadavg: 1.89 1.93 1.93 4/232 5605 /proc/meminfo: memFree=23706056/32770624 swapFree=67003052/67108860 [pid=5589] ppid=5586 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6 /proc/5589/stat : 5589 (xcsp3-exec) S 5586 5589 3690 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516442561 115843072 364 33554432000 4194304 5098028 140736116946336 140736116944440 139709117252220 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39198720 140736116949846 140736116950105 140736116950105 140736116953030 0 /proc/5589/statm: 28282 364 305 221 0 87 0 [pid=5591] ppid=5589 vsize=15144776 memory=28928 CPUtime=0.13 cores=0,2,4,6 /proc/5591/stat : 5591 (java) S 5589 5589 3690 0 -1 1077944320 5699 0 0 0 11 2 0 0 20 0 15 0 516442562 15508250624 7232 33554432000 4194304 4196468 140734035660080 140734035642624 140262015266551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 /proc/5591/statm: 3786194 7232 3179 1 0 3748377 0 [pid=5591/tid=5592] ppid=5589 vsize=15144776 memory=7755380662287438683 CPUtime=0.09 cores=0,2,4,6 /proc/5591/task/5592/stat : 5592 (java) R 5589 5589 3690 0 -1 4202560 3572 0 0 0 8 1 0 0 20 0 15 0 516442562 15508250624 7232 33554432000 4194304 4196468 140734035660080 140262019497872 140262015278486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5593] ppid=5589 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5593/stat : 5593 (java) S 5589 5589 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516442563 15508250624 7232 33554432000 4194304 4196468 140734035660080 140261967886608 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5594] ppid=5589 vsize=15144776 memory=139692272752256 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5594/stat : 5594 (java) S 5589 5589 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516442563 15508250624 7232 33554432000 4194304 4196468 140734035660080 140261966834064 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5595] ppid=5589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5595/stat : 5595 (java) S 5589 5589 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516442563 15508250624 7232 33554432000 4194304 4196468 140734035660080 140261965781520 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5596] ppid=5589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5596/stat : 5596 (java) S 5589 5589 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516442563 15508250624 7232 33554432000 4194304 4196468 140734035660080 140261964728976 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5597] ppid=5589 vsize=15144776 memory=139692272752256 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5597/stat : 5597 (java) S 5589 5589 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516442564 15508250624 7232 33554432000 4194304 4196468 140734035660080 140261483071984 140262015277698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5598] ppid=5589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5598/stat : 5598 (java) S 5589 5589 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516442565 15508250624 7232 33554432000 4194304 4196468 140734035660080 140261482018208 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5599] ppid=5589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5599/stat : 5599 (java) S 5589 5589 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516442565 15508250624 7232 33554432000 4194304 4196468 140734035660080 140261480965616 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5600] ppid=5589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5600/stat : 5600 (java) S 5589 5589 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516442567 15508250624 7232 33554432000 4194304 4196468 140734035660080 140261479914192 140262015285147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5601] ppid=5589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5601/stat : 5601 (java) S 5589 5589 3690 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 516442567 15508250624 7232 33554432000 4194304 4196468 140734035660080 140261478860784 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5602] ppid=5589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5602/stat : 5602 (java) S 5589 5589 3690 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 516442567 15508250624 7232 33554432000 4194304 4196468 140734035660080 140261477808240 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5603] ppid=5589 vsize=15144776 memory=139692272752256 CPUtime=0.02 cores=0,2,4,6 /proc/5591/task/5603/stat : 5603 (java) S 5589 5589 3690 0 -1 1077944384 376 0 0 0 2 0 0 0 20 0 15 0 516442567 15508250624 7232 33554432000 4194304 4196468 140734035660080 140261476755696 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5604] ppid=5589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5604/stat : 5604 (java) S 5589 5589 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516442567 15508250624 7232 33554432000 4194304 4196468 140734035660080 140261475703392 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5605] ppid=5589 vsize=15144776 memory=139692272752256 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5605/stat : 5605 (java) S 5589 5589 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516442568 15508250624 7232 33554432000 4194304 4196468 140734035660080 140261474650928 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 30384 KiB [startup+0.211008 s]* /proc/loadavg: 1.89 1.93 1.93 4/232 5605 /proc/meminfo: memFree=23693548/32770624 swapFree=67003052/67108860 [pid=5589] ppid=5586 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6 /proc/5589/stat : 5589 (xcsp3-exec) S 5586 5589 3690 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516442561 115843072 364 33554432000 4194304 5098028 140736116946336 140736116944440 139709117252220 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39198720 140736116949846 140736116950105 140736116950105 140736116953030 0 /proc/5589/statm: 28282 364 305 221 0 87 0 [pid=5591] ppid=5589 vsize=15144776 memory=40868 CPUtime=0.34 cores=0,2,4,6 /proc/5591/stat : 5591 (java) S 5589 5589 3690 0 -1 1077944320 9472 0 0 0 31 3 0 0 20 0 15 0 516442562 15508250624 10217 33554432000 4194304 4196468 140734035660080 140734035642624 140262015266551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 /proc/5591/statm: 3786194 10217 3288 1 0 3748377 0 [pid=5591/tid=5592] ppid=5589 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6 /proc/5591/task/5592/stat : 5592 (java) R 5589 5589 3690 0 -1 4202560 6604 0 0 0 17 2 0 0 20 0 15 0 516442562 15508250624 10217 33554432000 4194304 4196468 140734035660080 140262019499280 140261999347038 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5593] ppid=5589 vsize=15144776 memory=13591 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5593/stat : 5593 (java) S 5589 5589 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516442563 15508250624 10217 33554432000 4194304 4196468 140734035660080 140261967886608 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5594] ppid=5589 vsize=15144776 memory=4050054670789351072 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5594/stat : 5594 (java) S 5589 5589 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516442563 15508250624 10217 33554432000 4194304 4196468 140734035660080 140261966834064 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5595] ppid=5589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5595/stat : 5595 (java) S 5589 5589 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516442563 15508250624 10217 33554432000 4194304 4196468 140734035660080 140261965781520 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5596] ppid=5589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5596/stat : 5596 (java) S 5589 5589 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516442563 15508250624 10217 33554432000 4194304 4196468 140734035660080 140261964728976 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5597] ppid=5589 vsize=15144776 memory=139692272752256 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5597/stat : 5597 (java) S 5589 5589 3690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516442564 15508250624 10217 33554432000 4194304 4196468 140734035660080 140261483071984 140262015277698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5598] ppid=5589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5598/stat : 5598 (java) S 5589 5589 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516442565 15508250624 10217 33554432000 4194304 4196468 140734035660080 140261482018208 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5599] ppid=5589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5599/stat : 5599 (java) S 5589 5589 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516442565 15508250624 10217 33554432000 4194304 4196468 140734035660080 140261480965616 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5600] ppid=5589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5600/stat : 5600 (java) S 5589 5589 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516442567 15508250624 10217 33554432000 4194304 4196468 140734035660080 140261479914192 140262015285147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5601] ppid=5589 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/5591/task/5601/stat : 5601 (java) S 5589 5589 3690 0 -1 1077944384 564 0 0 0 3 0 0 0 20 0 15 0 516442567 15508250624 10217 33554432000 4194304 4196468 140734035660080 140261478860784 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5602] ppid=5589 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/5591/task/5602/stat : 5602 (java) S 5589 5589 3690 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 15 0 516442567 15508250624 10217 33554432000 4194304 4196468 140734035660080 140261477808240 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5603] ppid=5589 vsize=15144776 memory=139692272752256 CPUtime=0.08 cores=0,2,4,6 /proc/5591/task/5603/stat : 5603 (java) R 5589 5589 3690 0 -1 4202560 791 0 0 0 8 0 0 0 20 0 15 0 516442567 15508250624 10217 33554432000 4194304 4196468 140734035660080 140261476755696 140262015287898 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5604] ppid=5589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5604/stat : 5604 (java) S 5589 5589 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516442567 15508250624 10217 33554432000 4194304 4196468 140734035660080 140261475703392 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5605] ppid=5589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5605/stat : 5605 (java) S 5589 5589 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516442568 15508250624 10217 33554432000 4194304 4196468 140734035660080 140261474650928 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 42324 KiB [startup+0.310821 s]* /proc/loadavg: 1.89 1.93 1.93 4/232 5605 /proc/meminfo: memFree=23685420/32770624 swapFree=67003052/67108860 [pid=5589] ppid=5586 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6 /proc/5589/stat : 5589 (xcsp3-exec) S 5586 5589 3690 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516442561 115843072 364 33554432000 4194304 5098028 140736116946336 140736116944440 139709117252220 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39198720 140736116949846 140736116950105 140736116950105 140736116953030 0 /proc/5589/statm: 28282 364 305 221 0 87 0 [pid=5591] ppid=5589 vsize=15149032 memory=49884 CPUtime=0.53 cores=0,2,4,6 /proc/5591/stat : 5591 (java) S 5589 5589 3690 0 -1 1077944320 10866 0 0 0 49 4 0 0 20 0 15 0 516442562 15512608768 12471 33554432000 4194304 4196468 140734035660080 140734035642624 140262015266551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 /proc/5591/statm: 3787258 12471 3329 1 0 3748377 0 [pid=5591/tid=5592] ppid=5589 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6 /proc/5591/task/5592/stat : 5592 (java) R 5589 5589 3690 0 -1 4202560 7805 0 0 0 27 3 0 0 20 0 15 0 516442562 15512608768 12539 33554432000 4194304 4196468 140734035660080 140262019497664 140261999347038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5593] ppid=5589 vsize=15149032 memory=13953 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5593/stat : 5593 (java) S 5589 5589 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516442563 15512608768 12539 33554432000 4194304 4196468 140734035660080 140261967886608 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5594] ppid=5589 vsize=15149032 memory=3892289 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5594/stat : 5594 (java) S 5589 5589 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516442563 15512608768 12539 33554432000 4194304 4196468 140734035660080 140261966834064 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5595] ppid=5589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5595/stat : 5595 (java) S 5589 5589 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516442563 15512608768 12539 33554432000 4194304 4196468 140734035660080 140261965781520 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5596] ppid=5589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5596/stat : 5596 (java) S 5589 5589 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516442563 15512608768 12539 33554432000 4194304 4196468 140734035660080 140261964728976 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5597] ppid=5589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5597/stat : 5597 (java) S 5589 5589 3690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516442564 15512608768 12539 33554432000 4194304 4196468 140734035660080 140261483071984 140262015277698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5598] ppid=5589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5598/stat : 5598 (java) S 5589 5589 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516442565 15512608768 12539 33554432000 4194304 4196468 140734035660080 140261482018208 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5599] ppid=5589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5599/stat : 5599 (java) S 5589 5589 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516442565 15512608768 12539 33554432000 4194304 4196468 140734035660080 140261480965616 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5600] ppid=5589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5600/stat : 5600 (java) S 5589 5589 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516442567 15512608768 12539 33554432000 4194304 4196468 140734035660080 140261479914192 140262015285147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5601] ppid=5589 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6 /proc/5591/task/5601/stat : 5601 (java) S 5589 5589 3690 0 -1 1077944384 584 0 0 0 4 0 0 0 20 0 15 0 516442567 15512608768 12539 33554432000 4194304 4196468 140734035660080 140261478860784 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5602] ppid=5589 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6 /proc/5591/task/5602/stat : 5602 (java) R 5589 5589 3690 0 -1 4202560 313 0 0 0 5 0 0 0 20 0 15 0 516442567 15512608768 12539 33554432000 4194304 4196468 140734035660080 140261477808240 140261992527808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5603] ppid=5589 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6 /proc/5591/task/5603/stat : 5603 (java) S 5589 5589 3690 0 -1 1077944384 878 0 0 0 12 0 0 0 20 0 15 0 516442567 15512608768 12539 33554432000 4194304 4196468 140734035660080 140261476755696 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5604] ppid=5589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5604/stat : 5604 (java) S 5589 5589 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516442567 15512608768 12539 33554432000 4194304 4196468 140734035660080 140261475703392 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5605] ppid=5589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5605/stat : 5605 (java) S 5589 5589 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516442568 15512608768 12539 33554432000 4194304 4196468 140734035660080 140261474650928 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 51340 KiB [startup+0.700771 s] /proc/loadavg: 1.89 1.93 1.93 6/232 5605 /proc/meminfo: memFree=23672432/32770624 swapFree=67003052/67108860 [pid=5589] ppid=5586 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6 /proc/5589/stat : 5589 (xcsp3-exec) S 5586 5589 3690 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516442561 115843072 364 33554432000 4194304 5098028 140736116946336 140736116944440 139709117252220 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39198720 140736116949846 140736116950105 140736116950105 140736116953030 0 /proc/5589/statm: 28282 364 305 221 0 87 0 [pid=5591] ppid=5589 vsize=15151156 memory=78300 CPUtime=1.58 cores=0,2,4,6 /proc/5591/stat : 5591 (java) S 5589 5589 3690 0 -1 1077944320 13674 0 0 0 153 5 0 0 20 0 15 0 516442562 15514783744 19575 33554432000 4194304 4196468 140734035660080 140734035642624 140262015266551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 /proc/5591/statm: 3787789 19575 3463 1 0 3748889 0 [pid=5591/tid=5592] ppid=5589 vsize=15151156 memory=35564 CPUtime=0.67 cores=0,2,4,6 /proc/5591/task/5592/stat : 5592 (java) R 5589 5589 3690 0 -1 4202560 8982 0 0 0 63 4 0 0 20 0 15 0 516442562 15514783744 19575 33554432000 4194304 4196468 140734035660080 140262019503328 140261640138198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5593] ppid=5589 vsize=15151156 memory=496 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5593/stat : 5593 (java) S 5589 5589 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516442563 15514783744 19575 33554432000 4194304 4196468 140734035660080 140261967886608 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5594] ppid=5589 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5594/stat : 5594 (java) S 5589 5589 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516442563 15514783744 19575 33554432000 4194304 4196468 140734035660080 140261966834064 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5595] ppid=5589 vsize=15151156 memory=928 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5595/stat : 5595 (java) S 5589 5589 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516442563 15514783744 19575 33554432000 4194304 4196468 140734035660080 140261965781520 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5596] ppid=5589 vsize=15151156 memory=1756 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5596/stat : 5596 (java) S 5589 5589 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516442563 15514783744 19575 33554432000 4194304 4196468 140734035660080 140261964728976 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5597] ppid=5589 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5597/stat : 5597 (java) S 5589 5589 3690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516442564 15514783744 19575 33554432000 4194304 4196468 140734035660080 140261483071984 140262015277698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5598] ppid=5589 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5598/stat : 5598 (java) S 5589 5589 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516442565 15514783744 19575 33554432000 4194304 4196468 140734035660080 140261482018208 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5599] ppid=5589 vsize=15151156 memory=1984 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5599/stat : 5599 (java) S 5589 5589 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516442565 15514783744 19575 33554432000 4194304 4196468 140734035660080 140261480965616 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5600] ppid=5589 vsize=15151156 memory=2376 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5600/stat : 5600 (java) S 5589 5589 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516442567 15514783744 19575 33554432000 4194304 4196468 140734035660080 140261479914192 140262015285147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5601] ppid=5589 vsize=15151156 memory=1768 CPUtime=0.25 cores=0,2,4,6 /proc/5591/task/5601/stat : 5601 (java) R 5589 5589 3690 0 -1 4202560 995 0 0 0 25 0 0 0 20 0 15 0 516442567 15514783744 19575 33554432000 4194304 4196468 140734035660080 140261478852240 140261996445374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5602] ppid=5589 vsize=15151156 memory=111628 CPUtime=0.26 cores=0,2,4,6 /proc/5591/task/5602/stat : 5602 (java) R 5589 5589 3690 0 -1 4202560 672 0 0 0 26 0 0 0 20 0 15 0 516442567 15514783744 19575 33554432000 4194304 4196468 140734035660080 140261477799568 140261994535584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5603] ppid=5589 vsize=15151156 memory=804 CPUtime=0.37 cores=0,2,4,6 /proc/5591/task/5603/stat : 5603 (java) R 5589 5589 3690 0 -1 1077944384 1716 0 0 0 37 0 0 0 20 0 15 0 516442567 15514783744 19575 33554432000 4194304 4196468 140734035660080 140261476755696 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5604] ppid=5589 vsize=15151156 memory=1808 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5604/stat : 5604 (java) S 5589 5589 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516442567 15514783744 19575 33554432000 4194304 4196468 140734035660080 140261475703392 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5605] ppid=5589 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5605/stat : 5605 (java) S 5589 5589 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516442568 15514783744 19575 33554432000 4194304 4196468 140734035660080 140261474650928 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 Current children cumulated CPU time: 1.58 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 79756 KiB [startup+1.50083 s] /proc/loadavg: 1.89 1.93 1.93 3/232 5605 /proc/meminfo: memFree=23655312/32770624 swapFree=67003052/67108860 [pid=5589] ppid=5586 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6 /proc/5589/stat : 5589 (xcsp3-exec) S 5586 5589 3690 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516442561 115843072 364 33554432000 4194304 5098028 140736116946336 140736116944440 139709117252220 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39198720 140736116949846 140736116950105 140736116950105 140736116953030 0 /proc/5589/statm: 28282 364 305 221 0 87 0 ################ # More data... # ################ /proc/5591/task/5599/stat : 5599 (java) S 5589 5589 3690 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 516442565 15514783744 41699 33554432000 4194304 4196468 140734035660080 140261480965632 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5600] ppid=5589 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5600/stat : 5600 (java) S 5589 5589 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516442567 15514783744 41699 33554432000 4194304 4196468 140734035660080 140261479914192 140262015285147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5601] ppid=5589 vsize=15151156 memory=164712 CPUtime=2.06 cores=0,2,4,6 /proc/5591/task/5601/stat : 5601 (java) S 5589 5589 3690 0 -1 1077944384 13759 0 0 0 204 2 0 0 20 0 15 0 516442567 15514783744 41699 33554432000 4194304 4196468 140734035660080 140261478860784 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5602] ppid=5589 vsize=15151156 memory=1456 CPUtime=1.81 cores=0,2,4,6 /proc/5591/task/5602/stat : 5602 (java) S 5589 5589 3690 0 -1 1077944384 11095 0 0 0 180 1 0 0 20 0 15 0 516442567 15514783744 41699 33554432000 4194304 4196468 140734035660080 140261477808240 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5603] ppid=5589 vsize=15151156 memory=1456 CPUtime=0.6 cores=0,2,4,6 /proc/5591/task/5603/stat : 5603 (java) S 5589 5589 3690 0 -1 1077944384 8251 0 0 0 59 1 0 0 20 0 15 0 516442567 15514783744 41699 33554432000 4194304 4196468 140734035660080 140261476755696 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5604] ppid=5589 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5604/stat : 5604 (java) S 5589 5589 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516442567 15514783744 41699 33554432000 4194304 4196468 140734035660080 140261475703392 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5605] ppid=5589 vsize=15151156 memory=-7175204567652784766 CPUtime=0.7 cores=0,2,4,6 /proc/5591/task/5605/stat : 5605 (java) S 5589 5589 3690 0 -1 1077944384 1321 0 0 0 32 38 0 0 20 0 15 0 516442568 15514783744 41699 33554432000 4194304 4196468 140734035660080 140261474650928 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 Current children cumulated CPU time: 2448.11 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 168252 KiB [startup+2502.3 s] /proc/loadavg: 1.42 1.58 1.66 3/234 6022 /proc/meminfo: memFree=21475200/32770624 swapFree=67003060/67108860 [pid=5589] ppid=5586 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6 /proc/5589/stat : 5589 (xcsp3-exec) S 5586 5589 3690 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516442561 115843072 364 33554432000 4194304 5098028 140736116946336 140736116944440 139709117252220 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39198720 140736116949846 140736116950105 140736116950105 140736116953030 0 /proc/5589/statm: 28282 364 305 221 0 87 0 [pid=5591] ppid=5589 vsize=15151156 memory=168856 CPUtime=2508.17 cores=0,2,4,6 /proc/5591/stat : 5591 (java) S 5589 5589 3690 0 -1 1077944320 67053 0 0 0 250770 47 0 0 20 0 15 0 516442562 15514783744 42214 33554432000 4194304 4196468 140734035660080 140734035642624 140262015266551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 /proc/5591/statm: 3787789 42214 3516 1 0 3748889 0 [pid=5591/tid=5592] ppid=5589 vsize=15151156 memory=166808 CPUtime=2501.94 cores=0,2,4,6 /proc/5591/task/5592/stat : 5592 (java) R 5589 5589 3690 0 -1 4202560 18752 0 0 0 250187 7 0 0 20 0 15 0 516442562 15514783744 42214 33554432000 4194304 4196468 140734035660080 140262019506064 140261641470580 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5593] ppid=5589 vsize=15151156 memory=166808 CPUtime=0.21 cores=0,2,4,6 /proc/5591/task/5593/stat : 5593 (java) S 5589 5589 3690 0 -1 1077944384 2854 0 0 0 18 3 0 0 20 0 15 0 516442563 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261967886608 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5594] ppid=5589 vsize=15151156 memory=166808 CPUtime=0.21 cores=0,2,4,6 /proc/5591/task/5594/stat : 5594 (java) S 5589 5589 3690 0 -1 1077944384 1612 0 0 0 18 3 0 0 20 0 15 0 516442563 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261966834064 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5595] ppid=5589 vsize=15151156 memory=166808 CPUtime=0.2 cores=0,2,4,6 /proc/5591/task/5595/stat : 5595 (java) S 5589 5589 3690 0 -1 1077944384 2695 0 0 0 18 2 0 0 20 0 15 0 516442563 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261965781520 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5596] ppid=5589 vsize=15151156 memory=166808 CPUtime=0.19 cores=0,2,4,6 /proc/5591/task/5596/stat : 5596 (java) S 5589 5589 3690 0 -1 1077944384 1711 0 0 0 17 2 0 0 20 0 15 0 516442563 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261964728976 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5597] ppid=5589 vsize=15151156 memory=168856 CPUtime=0.15 cores=0,2,4,6 /proc/5591/task/5597/stat : 5597 (java) S 5589 5589 3690 0 -1 1077944384 3582 0 0 0 11 4 0 0 20 0 15 0 516442564 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261483071984 140262015277698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5598] ppid=5589 vsize=15151156 memory=168856 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5598/stat : 5598 (java) S 5589 5589 3690 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 516442565 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261482018272 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5599] ppid=5589 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5599/stat : 5599 (java) S 5589 5589 3690 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 516442565 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261480965632 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5600] ppid=5589 vsize=15151156 memory=166808 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5600/stat : 5600 (java) S 5589 5589 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516442567 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261479914192 140262015285147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5601] ppid=5589 vsize=15151156 memory=166808 CPUtime=2.06 cores=0,2,4,6 /proc/5591/task/5601/stat : 5601 (java) S 5589 5589 3690 0 -1 1077944384 13761 0 0 0 204 2 0 0 20 0 15 0 516442567 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261478860784 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5602] ppid=5589 vsize=15151156 memory=2052 CPUtime=1.81 cores=0,2,4,6 /proc/5591/task/5602/stat : 5602 (java) S 5589 5589 3690 0 -1 1077944384 11097 0 0 0 180 1 0 0 20 0 15 0 516442567 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261477808240 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5603] ppid=5589 vsize=15151156 memory=166808 CPUtime=0.6 cores=0,2,4,6 /proc/5591/task/5603/stat : 5603 (java) S 5589 5589 3690 0 -1 1077944384 8253 0 0 0 59 1 0 0 20 0 15 0 516442567 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261476755696 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5604] ppid=5589 vsize=15151156 memory=496 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5604/stat : 5604 (java) S 5589 5589 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516442567 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261475703392 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5605] ppid=5589 vsize=15151156 memory=3280 CPUtime=0.72 cores=0,2,4,6 /proc/5591/task/5605/stat : 5605 (java) S 5589 5589 3690 0 -1 1077944384 1325 0 0 0 33 39 0 0 20 0 15 0 516442568 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261474650928 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 Current children cumulated CPU time: 2508.17 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 170312 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2514.11 s] /proc/loadavg: 1.41 1.56 1.65 3/234 6025 /proc/meminfo: memFree=21460328/32770624 swapFree=67003060/67108860 [pid=5589] ppid=5586 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6 /proc/5589/stat : 5589 (xcsp3-exec) S 5586 5589 3690 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516442561 115843072 364 33554432000 4194304 5098028 140736116946336 140736116944440 139709117252220 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39198720 140736116949846 140736116950105 140736116950105 140736116953030 0 /proc/5589/statm: 28282 364 305 221 0 87 0 [pid=5591] ppid=5589 vsize=15151156 memory=168856 CPUtime=2520 cores=0,2,4,6 /proc/5591/stat : 5591 (java) S 5589 5589 3690 0 -1 1077944320 67063 0 0 0 251952 48 0 0 20 0 15 0 516442562 15514783744 42214 33554432000 4194304 4196468 140734035660080 140734035642624 140262015266551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 /proc/5591/statm: 3787789 42214 3516 1 0 3748889 0 [pid=5591/tid=5592] ppid=5589 vsize=15151156 memory=1456 CPUtime=2513.74 cores=0,2,4,6 /proc/5591/task/5592/stat : 5592 (java) R 5589 5589 3690 0 -1 4202560 18756 0 0 0 251367 7 0 0 20 0 15 0 516442562 15514783744 42214 33554432000 4194304 4196468 140734035660080 140262019506144 140261642922273 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5593] ppid=5589 vsize=15151156 memory=168856 CPUtime=0.21 cores=0,2,4,6 /proc/5591/task/5593/stat : 5593 (java) S 5589 5589 3690 0 -1 1077944384 2854 0 0 0 18 3 0 0 20 0 15 0 516442563 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261967886608 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5594] ppid=5589 vsize=15151156 memory=1456 CPUtime=0.21 cores=0,2,4,6 /proc/5591/task/5594/stat : 5594 (java) S 5589 5589 3690 0 -1 1077944384 1613 0 0 0 18 3 0 0 20 0 15 0 516442563 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261966834064 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5595] ppid=5589 vsize=15151156 memory=168856 CPUtime=0.2 cores=0,2,4,6 /proc/5591/task/5595/stat : 5595 (java) S 5589 5589 3690 0 -1 1077944384 2696 0 0 0 18 2 0 0 20 0 15 0 516442563 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261965781520 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5596] ppid=5589 vsize=15151156 memory=168856 CPUtime=0.2 cores=0,2,4,6 /proc/5591/task/5596/stat : 5596 (java) S 5589 5589 3690 0 -1 1077944384 1711 0 0 0 18 2 0 0 20 0 15 0 516442563 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261964728976 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5597] ppid=5589 vsize=15151156 memory=168856 CPUtime=0.16 cores=0,2,4,6 /proc/5591/task/5597/stat : 5597 (java) S 5589 5589 3690 0 -1 1077944384 3584 0 0 0 12 4 0 0 20 0 15 0 516442564 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261483071984 140262015277698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5598] ppid=5589 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5598/stat : 5598 (java) S 5589 5589 3690 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 516442565 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261482018272 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5599] ppid=5589 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5599/stat : 5599 (java) S 5589 5589 3690 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 516442565 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261480965632 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5600] ppid=5589 vsize=15151156 memory=16 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5600/stat : 5600 (java) S 5589 5589 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516442567 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261479914192 140262015285147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5601] ppid=5589 vsize=15151156 memory=168856 CPUtime=2.06 cores=0,2,4,6 /proc/5591/task/5601/stat : 5601 (java) S 5589 5589 3690 0 -1 1077944384 13761 0 0 0 204 2 0 0 20 0 15 0 516442567 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261478860784 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5602] ppid=5589 vsize=15151156 memory=1660 CPUtime=1.81 cores=0,2,4,6 /proc/5591/task/5602/stat : 5602 (java) S 5589 5589 3690 0 -1 1077944384 11097 0 0 0 180 1 0 0 20 0 15 0 516442567 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261477808240 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5603] ppid=5589 vsize=15151156 memory=4100 CPUtime=0.6 cores=0,2,4,6 /proc/5591/task/5603/stat : 5603 (java) S 5589 5589 3690 0 -1 1077944384 8253 0 0 0 59 1 0 0 20 0 15 0 516442567 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261476755696 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5604] ppid=5589 vsize=15151156 memory=168856 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5604/stat : 5604 (java) S 5589 5589 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516442567 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261475703392 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5605] ppid=5589 vsize=15151156 memory=1456 CPUtime=0.72 cores=0,2,4,6 /proc/5591/task/5605/stat : 5605 (java) S 5589 5589 3690 0 -1 1077944384 1327 0 0 0 33 39 0 0 20 0 15 0 516442568 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261474650928 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 Current children cumulated CPU time: 2520 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 170312 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2514.12 s] # the end of solver process 5589 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000831 s, system=0.001663 s [startup+2514.12 s] # the end of solver process 5591 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.54 s, system=0.48479 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2514.11 s] /proc/loadavg: 1.41 1.56 1.65 3/234 6025 /proc/meminfo: memFree=21460328/32770624 swapFree=67003060/67108860 [pid=5589] ppid=5586 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6 /proc/5589/stat : 5589 (xcsp3-exec) S 5586 5589 3690 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516442561 115843072 364 33554432000 4194304 5098028 140736116946336 140736116944440 139709117252220 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39198720 140736116949846 140736116950105 140736116950105 140736116953030 0 /proc/5589/statm: 28282 364 305 221 0 87 0 [pid=5591] ppid=5589 vsize=15151156 memory=168856 CPUtime=2520 cores=0,2,4,6 /proc/5591/stat : 5591 (java) S 5589 5589 3690 0 -1 1077944320 67063 0 0 0 251952 48 0 0 20 0 15 0 516442562 15514783744 42214 33554432000 4194304 4196468 140734035660080 140734035642624 140262015266551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 /proc/5591/statm: 3787789 42214 3516 1 0 3748889 0 [pid=5591/tid=5592] ppid=5589 vsize=15151156 memory=1456 CPUtime=2513.74 cores=0,2,4,6 /proc/5591/task/5592/stat : 5592 (java) R 5589 5589 3690 0 -1 4202560 18756 0 0 0 251367 7 0 0 20 0 15 0 516442562 15514783744 42214 33554432000 4194304 4196468 140734035660080 140262019506144 140261642922273 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5593] ppid=5589 vsize=15151156 memory=168856 CPUtime=0.21 cores=0,2,4,6 /proc/5591/task/5593/stat : 5593 (java) S 5589 5589 3690 0 -1 1077944384 2854 0 0 0 18 3 0 0 20 0 15 0 516442563 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261967886608 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5594] ppid=5589 vsize=15151156 memory=1456 CPUtime=0.21 cores=0,2,4,6 /proc/5591/task/5594/stat : 5594 (java) S 5589 5589 3690 0 -1 1077944384 1613 0 0 0 18 3 0 0 20 0 15 0 516442563 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261966834064 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5595] ppid=5589 vsize=15151156 memory=168856 CPUtime=0.2 cores=0,2,4,6 /proc/5591/task/5595/stat : 5595 (java) S 5589 5589 3690 0 -1 1077944384 2696 0 0 0 18 2 0 0 20 0 15 0 516442563 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261965781520 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5596] ppid=5589 vsize=15151156 memory=168856 CPUtime=0.2 cores=0,2,4,6 /proc/5591/task/5596/stat : 5596 (java) S 5589 5589 3690 0 -1 1077944384 1711 0 0 0 18 2 0 0 20 0 15 0 516442563 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261964728976 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5597] ppid=5589 vsize=15151156 memory=168856 CPUtime=0.16 cores=0,2,4,6 /proc/5591/task/5597/stat : 5597 (java) S 5589 5589 3690 0 -1 1077944384 3584 0 0 0 12 4 0 0 20 0 15 0 516442564 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261483071984 140262015277698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5598] ppid=5589 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5598/stat : 5598 (java) S 5589 5589 3690 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 516442565 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261482018272 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5599] ppid=5589 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5599/stat : 5599 (java) S 5589 5589 3690 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 516442565 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261480965632 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5600] ppid=5589 vsize=15151156 memory=16 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5600/stat : 5600 (java) S 5589 5589 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516442567 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261479914192 140262015285147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5601] ppid=5589 vsize=15151156 memory=168856 CPUtime=2.06 cores=0,2,4,6 /proc/5591/task/5601/stat : 5601 (java) S 5589 5589 3690 0 -1 1077944384 13761 0 0 0 204 2 0 0 20 0 15 0 516442567 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261478860784 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5602] ppid=5589 vsize=15151156 memory=1660 CPUtime=1.81 cores=0,2,4,6 /proc/5591/task/5602/stat : 5602 (java) S 5589 5589 3690 0 -1 1077944384 11097 0 0 0 180 1 0 0 20 0 15 0 516442567 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261477808240 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5603] ppid=5589 vsize=15151156 memory=4100 CPUtime=0.6 cores=0,2,4,6 /proc/5591/task/5603/stat : 5603 (java) S 5589 5589 3690 0 -1 1077944384 8253 0 0 0 59 1 0 0 20 0 15 0 516442567 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261476755696 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5604] ppid=5589 vsize=15151156 memory=168856 CPUtime=0 cores=0,2,4,6 /proc/5591/task/5604/stat : 5604 (java) S 5589 5589 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516442567 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261475703392 140262015276757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 [pid=5591/tid=5605] ppid=5589 vsize=15151156 memory=1456 CPUtime=0.72 cores=0,2,4,6 /proc/5591/task/5605/stat : 5605 (java) S 5589 5589 3690 0 -1 1077944384 1327 0 0 0 33 39 0 0 20 0 15 0 516442568 15514783744 42214 33554432000 4194304 4196468 140734035660080 140261474650928 140262015277698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 14553088 140734035661787 140734035661962 140734035661962 140734035664847 0 Current children cumulated CPU time: 2520 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 170312 KiB Child status: 143 Real time (s): 2514.12 CPU time (s): 2520.03 CPU user time (s): 2519.54 CPU system time (s): 0.48479 CPU usage (%): 100.235 Max. virtual memory (cumulated for all children) (KiB): 15266348 Max. memory (cumulated for all children) (KiB): 226836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.54 system time used= 0.48479 maximum resident set size= 229476 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67966 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2792 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 60526 involuntary context switches= 2282 # summary of solver processes directly reported to runsolver: # pid: 5589,5591 # total CPU time (s): 2520.03 # total CPU user time (s): 2519.54 # total CPU system time (s): 0.48479 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.4111 second user time and 23.3822 second system time The end
Begin job on node133 at 2019-09-25 10:59:50 IDJOB=4406236 IDBENCH=124153 IDSOLVER=2869 FILE ID=node133/4406236-1569402031 RUNJOBID= node133-1569396629-3721 PBS_JOBID= 21705685 Free space on /var/tmp= 13464 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 /var/tmp/evaluation-result-4406236-1569402031/watcher-4406236-1569402031 -o /var/tmp/evaluation-result-4406236-1569402031/solver-4406236-1569402031 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1569396629-3721 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1898939242 HOME/instance-4406236-1569402031.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2318da7117aad88e4beeaec86ff9c63e RANDOM SEED=1898939242 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23722856 kB MemAvailable: 31430116 kB Buffers: 167772 kB Cached: 7585908 kB SwapCached: 5092 kB Active: 4243328 kB Inactive: 3931968 kB Active(anon): 418264 kB Inactive(anon): 58652 kB Active(file): 3825064 kB Inactive(file): 3873316 kB Unevictable: 109536 kB Mlocked: 109536 kB SwapTotal: 67108860 kB SwapFree: 67003052 kB Dirty: 25968 kB Writeback: 0 kB AnonPages: 531340 kB Mapped: 71920 kB Shmem: 46900 kB Slab: 466860 kB SReclaimable: 437340 kB SUnreclaim: 29520 kB KernelStack: 4096 kB PageTables: 7096 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1233348 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 471040 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13436 MiB End job on node133 at 2019-09-25 11:41:44