Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 seq (2017-08-18) | SAT (TO) | 583 | 244.51199 | 240.036 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml |
MD5SUM | 4c656a32ec3c33e829e63e71b466a9e3 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 476 |
Best CPU time to get the best result obtained on this benchmark | 12.8968 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7018 |
Number of constraints | 650 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 212 |
Distribution of domain sizes | [{"size":2,"count":638},{"size":22,"count":638},{"size":41,"count":638},{"size":43,"count":638},{"size":46,"count":638},{"size":62,"count":638},{"size":114,"count":638},{"size":137,"count":638},{"size":155,"count":638},{"size":178,"count":638},{"size":212,"count":638}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":7018}] |
Minimum constraint arity | 11 |
Maximum constraint arity | 6380 |
Distribution of constraint arities | [{"arity":11,"count":638},{"arity":638,"count":11},{"arity":6380,"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":648}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282781-1503211746.xml" -tl '264s' -p 1 -x 0 0.11/0.14 c [HOME/instance-4282781-1503211746.xml, -tl, 264s, -p, 1, -x, 0] 0.11/0.20 c simple solver 0.33/0.27 c parse instance... 1.80/0.70 c solve instance... 110.03/106.45 o 637 113.79/110.09 o 636 113.91/110.13 o 635 144.41/140.46 o 634 144.51/140.59 o 631 144.61/140.64 o 630 144.72/140.74 o 629 144.82/140.81 o 628 144.95/140.90 o 627 146.53/142.48 o 626 146.83/142.72 o 625 158.86/154.67 o 623 159.87/155.67 o 622 160.97/156.71 o 621 162.07/157.86 o 620 168.29/164.10 o 607 169.88/165.60 o 606 170.48/166.20 o 605 171.49/167.28 o 602 176.90/172.64 o 598 178.21/173.91 o 597 189.65/185.38 o 596 202.06/197.74 o 595 208.76/204.46 o 594 229.30/224.96 o 593 231.00/226.67 o 592 232.01/227.61 o 591 236.02/231.67 o 589 237.92/233.54 o 588 238.43/234.04 o 587 241.43/237.07 o 586 241.92/237.56 o 585 242.82/238.47 o 583 244.43/240.03 s SATISFIABLE 244.43/240.03 v <instantiation> 244.43/240.03 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] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] p[500] p[501] p[502] p[503] p[504] p[505] p[506] p[507] p[508] p[509] p[510] p[511] p[512] p[513] p[514] p[515] p[516] p[517] p[518] p[519] p[520] p[521] p[522] p[523] p[524] p[525] p[526] p[527] p[528] p[529] p[530] p[531] p[532] p[533] p[534] p[535] p[536] p[537] p[538] p[539] p[540] p[541] p[542] p[543] p[544] p[545] p[546] p[547] p[548] p[549] p[550] p[551] p[552] p[553] p[554] p[555] p[556] p[557] p[558] p[559] p[560] p[561] p[562] p[563] p[564] p[565] p[566] p[567] p[568] p[569] p[570] p[571] p[572] p[573] p[574] p[575] p[576] p[577] p[578] p[579] p[580] p[581] p[582] p[583] p[584] p[585] p[586] p[587] p[588] p[589] p[590] p[591] p[592] p[593] p[594] p[595] p[596] p[597] p[598] p[599] p[600] p[601] p[602] p[603] p[604] p[605] p[606] p[607] p[608] p[609] p[610] p[611] p[612] p[613] p[614] p[615] p[616] p[617] p[618] p[619] p[620] p[621] p[622] p[623] p[624] p[625] p[626] p[627] p[628] p[629] p[630] p[631] p[632] p[633] p[634] p[635] p[636] p[637] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[194][0] r[194][1] r[194][2] r[194][3] r[194][4] r[194][5] r[194][6] r[194][7] r[194][8] r[194][9] r[195][0] r[195][1] r[195][2] r[195][3] r[195][4] r[195][5] r[195][6] r[195][7] r[195][8] r[195][9] r[196][0] r[196][1] r[196][2] r[196][3] r[196][4] r[196][5] r[196][6] r[196][7] r[196][8] r[196][9] r[197][0] r[197][1] r[197][2] r[197][3] r[197][4] r[197][5] r[197][6] r[197][7] r[197][8] r[197][9] r[198][0] r[198][1] r[198][2] r[198][3] r[198][4] r[198][5] r[198][6] r[198][7] r[198][8] r[198][9] r[199][0] r[199][1] r[199][2] r[199][3] r[199][4] r[199][5] r[199][6] r[199][7] r[199][8] r[199][9] r[200][0] r[200][1] r[200][2] r[200][3] r[200][4] r[200][5] r[200][6] r[200][7] r[200][8] r[200][9] r[201][0] r[201][1] r[201][2] r[201][3] r[201][4] r[201][5] r[201][6] r[201][7] r[201][8] r[201][9] r[202][0] r[202][1] r[202][2] r[202][3] r[202][4] r[202][5] r[202][6] r[202][7] r[202][8] r[202][9] r[203][0] r[203][1] r[203][2] r[203][3] r[203][4] r[203][5] r[203][6] r[203][7] r[203][8] r[203][9] r[204][0] r[204][1] r[204][2] r[204][3] r[204][4] r[204][5] r[204][6] r[204][7] r[204][8] r[204][9] r[205][0] r[205][1] r[205][2] r[205][3] r[205][4] r[205][5] r[205][6] r[205][7] r[205][8] r[205][9] r[206][0] r[206][1] r[206][2] r[206][3] r[206][4] r[206][5] r[206][6] r[206][7] r[206][8] r[206][9] r[207][0] r[207][1] r[207][2] r[207][3] r[207][4] r[207][5] r[207][6] r[207][7] r[207][8] r[207][9] r[208][0] r[208][1] r[208][2] r[208][3] r[208][4] r[208][5] r[208][6] r[208][7] r[208][8] r[208][9] r[209][0] r[209][1] r[209][2] r[209][3] r[209][4] r[209][5] r[209][6] r[209][7] r[209][8] r[209][9] r[210][0] r[210][1] r[210][2] r[210][3] r[210][4] r[210][5] r[210][6] r[210][7] r[210][8] r[210][9] r[211][0] r[211][1] r[211][2] r[211][3] r[211][4] r[211][5] r[211][6] r[211][7] r[211][8] r[211][9] r[212][0] r[212][1] r[212][2] r[212][3] r[212][4] r[212][5] r[212][6] r[212][7] r[212][8] r[212][9] r[213][0] r[213][1] r[213][2] r[213][3] r[213][4] r[213][5] r[213][6] r[213][7] r[213][8] r[213][9] r[214][0] r[214][1] r[214][2] r[214][3] r[214][4] r[214][5] r[214][6] r[214][7] r[214][8] r[214][9] r[215][0] r[215][1] r[215][2] r[215][3] r[215][4] r[215][5] r[215][6] r[215][7] r[215][8] r[215][9] r[216][0] r[216][1] r[216][2] r[216][3] r[216][4] r[216][5] r[216][6] r[216][7] r[216][8] r[216][9] r[217][0] r[217][1] r[217][2] r[217][3] r[217][4] r[217][5] r[217][6] r[217][7] r[217][8] r[217][9] r[218][0] r[218][1] r[218][2] r[218][3] r[218][4] r[218][5] r[218][6] r[218][7] r[218][8] r[218][9] r[219][0] r[219][1] r[219][2] r[219][3] r[219][4] r[219][5] r[219][6] r[219][7] r[219][8] r[219][9] r[220][0] r[220][1] r[220][2] r[220][3] r[220][4] r[220][5] r[220][6] r[220][7] r[220][8] r[220][9] r[221][0] r[221][1] r[221][2] r[221][3] r[221][4] r[221][5] r[221][6] r[221][7] r[221][8] r[221][9] r[222][0] r[222][1] r[222][2] r[222][3] r[222][4] r[222][5] r[222][6] r[222][7] r[222][8] r[222][9] r[223][0] r[223][1] r[223][2] r[223][3] r[223][4] r[223][5] r[223][6] r[223][7] r[223][8] r[223][9] r[224][0] r[224][1] r[224][2] r[224][3] r[224][4] r[224][5] r[224][6] r[224][7] r[224][8] r[224][9] r[225][0] r[225][1] r[225][2] r[225][3] r[225][4] r[225][5] r[225][6] r[225][7] r[225][8] r[225][9] r[226][0] r[226][1] r[226][2] r[226][3] r[226][4] r[226][5] r[226][6] r[226][7] r[226][8] r[226][9] r[227][0] r[227][1] r[227][2] r[227][3] r[227][4] r[227][5] r[227][6] r[227][7] r[227][8] r[227][9] r[228][0] r[228][1] r[228][2] r[228][3] r[228][4] r[228][5] r[228][6] r[228][7] r[228][8] r[228][9] r[229][0] r[229][1] r[229][2] r[229][3] r[229][4] r[229][5] r[229][6] r[229][7] r[229][8] r[229][9] r[230][0] r[230][1] r[230][2] r[230][3] r[230][4] r[230][5] r[230][6] r[230][7] r[230][8] r[230][9] r[231][0] r[231][1] r[231][2] r[231][3] r[231][4] r[231][5] r[231][6] r[231][7] r[231][8] r[231][9] r[232][0] r[232][1] r[232][2] r[232][3] r[232][4] r[232][5] r[232][6] r[232][7] r[232][8] r[232][9] r[233][0] r[233][1] r[233][2] r[233][3] r[233][4] r[233][5] r[233][6] r[233][7] r[233][8] r[233][9] r[234][0] r[234][1] r[234][2] r[234][3] r[234][4] r[234][5] r[234][6] r[234][7] r[234][8] r[234][9] r[235][0] r[235][1] r[235][2] r[235][3] r[235][4] r[235][5] r[235][6] r[235][7] r[235][8] r[235][9] r[236][0] r[236][1] r[236][2] r[236][3] r[236][4] r[236][5] r[236][6] r[236][7] r[236][8] r[236][9] r[237][0] r[237][1] r[237][2] r[237][3] r[237][4] r[237][5] r[237][6] r[237][7] r[237][8] r[237][9] r[238][0] r[238][1] r[238][2] r[238][3] r[238][4] r[238][5] r[238][6] r[238][7] r[238][8] r[238][9] r[239][0] r[239][1] r[239][2] r[239][3] r[239][4] r[239][5] r[239][6] r[239][7] r[239][8] r[239][9] r[240][0] r[240][1] r[240][2] r[240][3] r[240][4] r[240][5] r[240][6] r[240][7] r[240][8] r[240][9] r[241][0] r[241][1] r[241][2] r[241][3] r[241][4] r[241][5] r[241][6] r[241][7] r[241][8] r[241][9] r[242][0] r[242][1] r[242][2] r[242][3] r[242][4] r[242][5] r[242][6] r[242][7] r[242][8] r[242][9] r[243][0] r[243][1] r[243][2] r[243][3] r[243][4] r[243][5] r[243][6] r[243][7] r[243][8] r[243][9] r[244][0] r[244][1] r[244][2] r[244][3] r[244][4] r[244][5] r[244][6] r[244][7] r[244][8] r[244][9] r[245][0] r[245][1] r[245][2] r[245][3] r[245][4] r[245][5] r[245][6] r[245][7] r[245][8] r[245][9] r[246][0] r[246][1] r[246][2] r[246][3] r[246][4] r[246][5] r[246][6] r[246][7] r[246][8] r[246][9] r[247][0] r[247][1] r[247][2] r[247][3] r[247][4] r[247][5] r[247][6] r[247][7] r[247][8] r[247][9] r[248][0] r[248][1] r[248][2] r[248][3] r[248][4] r[248][5] r[248][6] r[248][7] r[248][8] r[248][9] r[249][0] r[249][1] r[249][2] r[249][3] r[249][4] r[249][5] r[249][6] r[249][7] r[249][8] r[249][9] r[250][0] r[250][1] r[250][2] r[250][3] r[250][4] r[250][5] r[250][6] r[250][7] r[250][8] r[250][9] r[251][0] r[251][1] r[251][2] r[251][3] r[251][4] r[251][5] r[251][6] r[251][7] r[251][8] r[251][9] r[252][0] r[252][1] r[252][2] r[252][3] r[252][4] r[252][5] r[252][6] r[252][7] r[252][8] r[252][9] r[253][0] r[253][1] r[253][2] r[253][3] r[253][4] r[253][5] r[253][6] r[253][7] r[253][8] r[253][9] r[254][0] r[254][1] r[254][2] r[254][3] r[254][4] r[254][5] r[254][6] r[254][7] r[254][8] r[254][9] r[255][0] r[255][1] r[255][2] r[255][3] r[255][4] r[255][5] r[255][6] r[255][7] r[255][8] r[255][9] r[256][0] r[256][1] r[256][2] r[256][3] r[256][4] r[256][5] r[256][6] r[256][7] r[256][8] r[256][9] r[257][0] r[257][1] r[257][2] r[257][3] r[257][4] r[257][5] r[257][6] r[257][7] r[257][8] r[257][9] r[258][0] r[258][1] r[258][2] r[258][3] r[258][4] r[258][5] r[258][6] r[258][7] r[258][8] r[258][9] r[259][0] r[259][1] r[259][2] r[259][3] r[259][4] r[259][5] r[259][6] r[259][7] r[259][8] r[259][9] r[260][0] r[260][1] r[260][2] r[260][3] r[260][4] r[260][5] r[260][6] r[260][7] r[260][8] r[260][9] r[261][0] r[261][1] r[261][2] r[261][3] r[261][4] r[261][5] r[261][6] r[261][7] r[261][8] r[261][9] r[262][0] r[262][1] r[262][2] r[262][3] r[262][4] r[262][5] r[262][6] r[262][7] r[262][8] r[262][9] r[263][0] r[263][1] r[263][2] r[263][3] r[263][4] r[263][5] r[263][6] r[263][7] r[263][8] r[263][9] r[264][0] r[264][1] r[264][2] r[264][3] r[264][4] r[264][5] r[264][6] r[264][7] r[264][8] r[264][9] r[265][0] r[265][1] r[265][2] r[265][3] r[265][4] r[265][5] r[265][6] r[265][7] r[265][8] r[265][9] r[266][0] r[266][1] r[266][2] r[266][3] r[266][4] r[266][5] r[266][6] r[266][7] r[266][8] r[266][9] r[267][0] r[267][1] r[267][2] r[267][3] r[267][4] r[267][5] r[267][6] r[267][7] r[267][8] r[267][9] r[268][0] r[268][1] r[268][2] r[268][3] r[268][4] r[268][5] r[268][6] r[268][7] r[268][8] r[268][9] r[269][0] r[269][1] r[269][2] r[269][3] r[269][4] r[269][5] r[269][6] r[269][7] r[269][8] r[269][9] r[270][0] r[270][1] r[270][2] r[270][3] r[270][4] r[270][5] r[270][6] r[270][7] r[270][8] r[270][9] r[271][0] r[271][1] r[271][2] r[271][3] r[271][4] r[271][5] r[271][6] r[271][7] r[271][8] r[271][9] r[272][0] r[272][1] r[272][2] r[272][3] r[272][4] r[272][5] r[272][6] r[272][7] r[272][8] r[272][9] r[273][0] r[273][1] r[273][2] r[273][3] r[273][4] r[273][5] r[273][6] r[273][7] r[273][8] r[273][9] r[274][0] r[274][1] r[274][2] r[274][3] r[274][4] r[274][5] r[274][6] r[274][7] r[274][8] r[274][9] r[275][0] r[275][1] r[275][2] r[275][3] r[275][4] r[275][5] r[275][6] r[275][7] r[275][8] r[275][9] r[276][0] r[276][1] r[276][2] r[276][3] r[276][4] r[276][5] r[276][6] r[276][7] r[276][8] r[276][9] r[277][0] r[277][1] r[277][2] r[277][3] r[277][4] r[277][5] r[277][6] r[277][7] r[277][8] r[277][9] r[278][0] r[278][1] r[278][2] r[278][3] r[278][4] r[278][5] r[278][6] r[278][7] r[278][8] r[278][9] r[279][0] r[279][1] r[279][2] r[279][3] r[279][4] r[279][5] r[279][6] r[279][7] r[279][8] r[279][9] r[280][0] r[280][1] r[280][2] r[280][3] r[280][4] r[280][5] r[280][6] r[280][7] r[280][8] r[280][9] r[281][0] r[281][1] r[281][2] r[281][3] r[281][4] r[281][5] r[281][6] r[281][7] r[281][8] r[281][9] r[282][0] r[282][1] r[282][2] r[282][3] r[282][4] r[282][5] r[282][6] r[282][7] r[282][8] r[282][9] r[283][0] r[283][1] r[283][2] r[283][3] r[283][4] r[283][5] r[283][6] r[283][7] r[283][8] r[283][9] r[284][0] r[284][1] r[284][2] r[284][3] r[284][4] r[284][5] r[284][6] r[284][7] r[284][8] r[284][9] r[285][0] r[285][1] r[285][2] r[285][3] r[285][4] r[285][5] r[285][6] r[285][7] r[285][8] r[285][9] r[286][0] r[286][1] r[286][2] r[286][3] r[286][4] r[286][5] r[286][6] r[286][7] r[286][8] r[286][9] r[287][0] r[287][1] r[287][2] r[287][3] r[287][4] r[287][5] r[287][6] r[287][7] r[287][8] r[287][9] r[288][0] r[288][1] r[288][2] r[288][3] r[288][4] r[288][5] r[288][6] r[288][7] r[288][8] r[288][9] r[289][0] r[289][1] r[289][2] r[289][3] r[289][4] r[289][5] r[289][6] r[289][7] r[289][8] r[289][9] r[290][0] r[290][1] r[290][2] r[290][3] r[290][4] r[290][5] r[290][6] r[290][7] r[290][8] r[290][9] r[291][0] r[291][1] r[291][2] r[291][3] r[291][4] r[291][5] r[291][6] r[291][7] r[291][8] r[291][9] r[292][0] r[292][1] r[292][2] r[292][3] r[292][4] r[292][5] r[292][6] r[292][7] r[292][8] r[292][9] r[293][0] r[293][1] r[293][2] r[293][3] r[293][4] r[293][5] r[293][6] r[293][7] r[293][8] r[293][9] r[294][0] r[294][1] r[294][2] r[294][3] r[294][4] r[294][5] r[294][6] r[294][7] r[294][8] r[294][9] r[295][0] r[295][1] r[295][2] r[295][3] r[295][4] r[295][5] r[295][6] r[295][7] r[295][8] r[295][9] r[296][0] r[296][1] r[296][2] r[296][3] r[296][4] r[296][5] r[296][6] r[296][7] r[296][8] r[296][9] r[297][0] r[297][1] r[297][2] r[297][3] r[297][4] r[297][5] r[297][6] r[297][7] r[297][8] r[297][9] r[298][0] r[298][1] r[298][2] r[298][3] r[298][4] r[298][5] r[298][6] r[298][7] r[298][8] r[298][9] r[299][0] r[299][1] r[299][2] r[299][3] r[299][4] r[299][5] r[299][6] r[299][7] r[299][8] r[299][9] r[300][0] r[300][1] r[300][2] r[300][3] r[300][4] r[300][5] r[300][6] r[300][7] r[300][8] r[300][9] r[301][0] r[301][1] r[301][2] r[301][3] r[301][4] r[301][5] r[301][6] r[301][7] r[301][8] r[301][9] r[302][0] r[302][1] r[302][2] r[302][3] r[302][4] r[302][5] r[302][6] r[302][7] r[302][8] r[302][9] r[303][0] r[303][1] r[303][2] r[303][3] r[303][4] r[303][5] r[303][6] r[303][7] r[303][8] r[303][9] r[304][0] r[304][1] r[304][2] r[304][3] r[304][4] r[304][5] r[304][6] r[304][7] r[304][8] r[304][9] r[305][0] r[305][1] r[305][2] r[305][3] r[305][4] r[305][5] r[305][6] r[305][7] r[305][8] r[305][9] r[306][0] r[306][1] r[306][2] r[306][3] r[306][4] r[306][5] r[306][6] r[306][7] r[306][8] r[306][9] r[307][0] r[307][1] r[307][2] r[307][3] r[307][4] r[307][5] r[307][6] r[307][7] r[307][8] r[307][9] r[308][0] r[308][1] r[308][2] r[308][3] r[308][4] r[308][5] r[308][6] r[308][7] r[308][8] r[308][9] r[309][0] r[309][1] r[309][2] r[309][3] r[309][4] r[309][5] r[309][6] r[309][7] r[309][8] r[309][9] r[310][0] r[310][1] r[310][2] r[310][3] r[310][4] r[310][5] r[310][6] r[310][7] r[310][8] r[310][9] r[311][0] r[311][1] r[311][2] r[311][3] r[311][4] r[311][5] r[311][6] r[311][7] r[311][8] r[311][9] r[312][0] r[312][1] r[312][2] r[312][3] r[312][4] r[312][5] r[312][6] r[312][7] r[312][8] r[312][9] r[313][0] r[313][1] r[313][2] r[313][3] r[313][4] r[313][5] r[313][6] r[313][7] r[313][8] r[313][9] r[314][0] r[314][1] r[314][2] r[314][3] r[314][4] r[314][5] r[314][6] r[314][7] r[314][8] r[314][9] r[315][0] r[315][1] r[315][2] r[315][3] r[315][4] r[315][5] r[315][6] r[315][7] r[315][8] r[315][9] r[316][0] r[316][1] r[316][2] r[316][3] r[316][4] r[316][5] r[316][6] r[316][7] r[316][8] r[316][9] r[317][0] r[317][1] r[317][2] r[317][3] r[317][4] r[317][5] r[317][6] r[317][7] r[317][8] r[317][9] r[318][0] r[318][1] r[318][2] r[318][3] r[318][4] r[318][5] r[318][6] r[318][7] r[318][8] r[318][9] r[319][0] r[319][1] r[319][2] r[319][3] r[319][4] r[319][5] r[319][6] r[319][7] r[319][8] r[319][9] r[320][0] r[320][1] r[320][2] r[320][3] r[320][4] r[320][5] r[320][6] r[320][7] r[320][8] r[320][9] r[321][0] r[321][1] r[321][2] r[321][3] r[321][4] r[321][5] r[321][6] r[321][7] r[321][8] r[321][9] r[322][0] r[322][1] r[322][2] r[322][3] r[322][4] r[322][5] r[322][6] r[322][7] r[322][8] r[322][9] r[323][0] r[323][1] r[323][2] r[323][3] r[323][4] r[323][5] r[323][6] r[323][7] r[323][8] r[323][9] r[324][0] r[324][1] r[324][2] r[324][3] r[324][4] r[324][5] r[324][6] r[324][7] r[324][8] r[324][9] r[325][0] r[325][1] r[325][2] r[325][3] r[325][4] r[325][5] r[325][6] r[325][7] r[325][8] r[325][9] r[326][0] r[326][1] r[326][2] r[326][3] r[326][4] r[326][5] r[326][6] r[326][7] r[326][8] r[326][9] r[327][0] r[327][1] r[327][2] r[327][3] r[327][4] r[327][5] r[327][6] r[327][7] r[327][8] r[327][9] r[328][0] r[328][1] r[328][2] r[328][3] r[328][4] r[328][5] r[328][6] r[328][7] r[328][8] r[328][9] r[329][0] r[329][1] r[329][2] r[329][3] r[329][4] r[329][5] r[329][6] r[329][7] r[329][8] r[329][9] r[330][0] r[330][1] r[330][2] r[330][3] r[330][4] r[330][5] r[330][6] r[330][7] r[330][8] r[330][9] r[331][0] r[331][1] r[331][2] r[331][3] r[331][4] r[331][5] r[331][6] r[331][7] r[331][8] r[331][9] r[332][0] r[332][1] r[332][2] r[332][3] r[332][4] r[332][5] r[332][6] r[332][7] r[332][8] r[332][9] r[333][0] r[333][1] r[333][2] r[333][3] r[333][4] r[333][5] r[333][6] r[333][7] r[333][8] r[333][9] r[334][0] r[334][1] r[334][2] r[334][3] r[334][4] r[334][5] r[334][6] r[334][7] r[334][8] r[334][9] r[335][0] r[335][1] r[335][2] r[335][3] r[335][4] r[335][5] r[335][6] r[335][7] r[335][8] r[335][9] r[336][0] r[336][1] r[336][2] r[336][3] r[336][4] r[336][5] r[336][6] r[336][7] r[336][8] r[336][9] r[337][0] r[337][1] r[337][2] r[337][3] r[337][4] r[337][5] r[337][6] r[337][7] r[337][8] r[337][9] r[338][0] r[338][1] r[338][2] r[338][3] r[338][4] r[338][5] r[338][6] r[338][7] r[338][8] r[338][9] r[339][0] r[339][1] r[339][2] r[339][3] r[339][4] r[339][5] r[339][6] r[339][7] r[339][8] r[339][9] r[340][0] r[340][1] r[340][2] r[340][3] r[340][4] r[340][5] r[340][6] r[340][7] r[340][8] r[340][9] r[341][0] r[341][1] r[341][2] r[341][3] r[341][4] r[341][5] r[341][6] r[341][7] r[341][8] r[341][9] r[342][0] r[342][1] r[342][2] r[342][3] r[342][4] r[342][5] r[342][6] r[342][7] r[342][8] r[342][9] r[343][0] r[343][1] r[343][2] r[343][3] r[343][4] r[343][5] r[343][6] r[343][7] r[343][8] r[343][9] r[344][0] r[344][1] r[344][2] r[344][3] r[344][4] r[344][5] r[344][6] r[344][7] r[344][8] r[344][9] r[345][0] r[345][1] r[345][2] r[345][3] r[345][4] r[345][5] r[345][6] r[345][7] r[345][8] r[345][9] r[346][0] r[346][1] r[346][2] r[346][3] r[346][4] r[346][5] r[346][6] r[346][7] r[346][8] r[346][9] r[347][0] r[347][1] r[347][2] r[347][3] r[347][4] r[347][5] r[347][6] r[347][7] r[347][8] r[347][9] r[348][0] r[348][1] r[348][2] r[348][3] r[348][4] r[348][5] r[348][6] r[348][7] r[348][8] r[348][9] r[349][0] r[349][1] r[349][2] r[349][3] r[349][4] r[349][5] r[349][6] r[349][7] r[349][8] r[349][9] r[350][0] r[350][1] r[350][2] r[350][3] r[350][4] r[350][5] r[350][6] r[350][7] r[350][8] r[350][9] r[351][0] r[351][1] r[351][2] r[351][3] r[351][4] r[351][5] r[351][6] r[351][7] r[351][8] r[351][9] r[352][0] r[352][1] r[352][2] r[352][3] r[352][4] r[352][5] r[352][6] r[352][7] r[352][8] r[352][9] r[353][0] r[353][1] r[353][2] r[353][3] r[353][4] r[353][5] r[353][6] r[353][7] r[353][8] r[353][9] r[354][0] r[354][1] r[354][2] r[354][3] r[354][4] r[354][5] r[354][6] r[354][7] r[354][8] r[354][9] r[355][0] r[355][1] r[355][2] r[355][3] r[355][4] r[355][5] r[355][6] r[355][7] r[355][8] r[355][9] r[356][0] r[356][1] r[356][2] r[356][3] r[356][4] r[356][5] r[356][6] r[356][7] r[356][8] r[356][9] r[357][0] r[357][1] r[357][2] r[357][3] r[357][4] r[357][5] r[357][6] r[357][7] r[357][8] r[357][9] r[358][0] r[358][1] r[358][2] r[358][3] r[358][4] r[358][5] r[358][6] r[358][7] r[358][8] r[358][9] r[359][0] r[359][1] r[359][2] r[359][3] r[359][4] r[359][5] r[359][6] r[359][7] r[359][8] r[359][9] r[360][0] r[360][1] r[360][2] r[360][3] r[360][4] r[360][5] r[360][6] r[360][7] r[360][8] r[360][9] r[361][0] r[361][1] r[361][2] r[361][3] r[361][4] r[361][5] r[361][6] r[361][7] r[361][8] r[361][9] r[362][0] r[362][1] r[362][2] r[362][3] r[362][4] r[362][5] r[362][6] r[362][7] r[362][8] r[362][9] r[363][0] r[363][1] r[363][2] r[363][3] r[363][4] r[363][5] r[363][6] r[363][7] r[363][8] r[363][9] r[364][0] r[364][1] r[364][2] r[364][3] r[364][4] r[364][5] r[364][6] r[364][7] r[364][8] r[364][9] r[365][0] r[365][1] r[365][2] r[365][3] r[365][4] r[365][5] r[365][6] r[365][7] r[365][8] r[365][9] r[366][0] r[366][1] r[366][2] r[366][3] r[366][4] r[366][5] r[366][6] r[366][7] r[366][8] r[366][9] r[367][0] r[367][1] r[367][2] r[367][3] r[367][4] r[367][5] r[367][6] r[367][7] r[367][8] r[367][9] r[368][0] r[368][1] r[368][2] r[368][3] r[368][4] r[368][5] r[368][6] r[368][7] r[368][8] r[368][9] r[369][0] r[369][1] r[369][2] r[369][3] r[369][4] r[369][5] r[369][6] r[369][7] r[369][8] r[369][9] r[370][0] r[370][1] r[370][2] r[370][3] r[370][4] r[370][5] r[370][6] r[370][7] r[370][8] r[370][9] r[371][0] r[371][1] r[371][2] r[371][3] r[371][4] r[371][5] r[371][6] r[371][7] r[371][8] r[371][9] r[372][0] r[372][1] r[372][2] r[372][3] r[372][4] r[372][5] r[372][6] r[372][7] r[372][8] r[372][9] r[373][0] r[373][1] r[373][2] r[373][3] r[373][4] r[373][5] r[373][6] r[373][7] r[373][8] r[373][9] r[374][0] r[374][1] r[374][2] r[374][3] r[374][4] r[374][5] r[374][6] r[374][7] r[374][8] r[374][9] r[375][0] r[375][1] r[375][2] r[375][3] r[375][4] r[375][5] r[375][6] r[375][7] r[375][8] r[375][9] r[376][0] r[376][1] r[376][2] r[376][3] r[376][4] r[376][5] r[376][6] r[376][7] r[376][8] r[376][9] r[377][0] r[377][1] r[377][2] r[377][3] r[377][4] r[377][5] r[377][6] r[377][7] r[377][8] r[377][9] r[378][0] r[378][1] r[378][2] r[378][3] r[378][4] r[378][5] r[378][6] r[378][7] r[378][8] r[378][9] r[379][0] r[379][1] r[379][2] r[379][3] r[379][4] r[379][5] r[379][6] r[379][7] r[379][8] r[379][9] r[380][0] r[380][1] r[380][2] r[380][3] r[380][4] r[380][5] r[380][6] r[380][7] r[380][8] r[380][9] r[381][0] r[381][1] r[381][2] r[381][3] r[381][4] r[381][5] r[381][6] r[381][7] r[381][8] r[381][9] r[382][0] r[382][1] r[382][2] r[382][3] r[382][4] r[382][5] r[382][6] r[382][7] r[382][8] r[382][9] r[383][0] r[383][1] r[383][2] r[383][3] r[383][4] r[383][5] r[383][6] r[383][7] r[383][8] r[383][9] r[384][0] r[384][1] r[384][2] r[384][3] r[384][4] r[384][5] r[384][6] r[384][7] r[384][8] r[384][9] r[385][0] r[385][1] r[385][2] r[385][3] r[385][4] r[385][5] r[385][6] r[385][7] r[385][8] r[385][9] r[386][0] r[386][1] r[386][2] r[386][3] r[386][4] r[386][5] r[386][6] r[386][7] r[386][8] r[386][9] r[387][0] r[387][1] r[387][2] r[387][3] r[387][4] r[387][5] r[387][6] r[387][7] r[387][8] r[387][9] r[388][0] r[388][1] r[388][2] r[388][3] r[388][4] r[388][5] r[388][6] r[388][7] r[388][8] r[388][9] r[389][0] r[389][1] r[389][2] r[389][3] r[389][4] r[389][5] r[389][6] r[389][7] r[389][8] r[389][9] r[390][0] r[390][1] r[390][2] r[390][3] r[390][4] r[390][5] r[390][6] r[390][7] r[390][8] r[390][9] r[391][0] r[391][1] r[391][2] r[391][3] r[391][4] r[391][5] r[391][6] r[391][7] r[391][8] r[391][9] r[392][0] r[392][1] r[392][2] r[392][3] r[392][4] r[392][5] r[392][6] r[392][7] r[392][8] r[392][9] r[393][0] r[393][1] r[393][2] r[393][3] r[393][4] r[393][5] r[393][6] r[393][7] r[393][8] r[393][9] r[394][0] r[394][1] r[394][2] r[394][3] r[394][4] r[394][5] r[394][6] r[394][7] r[394][8] r[394][9] r[395][0] r[395][1] r[395][2] r[395][3] r[395][4] r[395][5] r[395][6] r[395][7] r[395][8] r[395][9] r[396][0] r[396][1] r[396][2] r[396][3] r[396][4] r[396][5] r[396][6] r[396][7] r[396][8] r[396][9] r[397][0] r[397][1] r[397][2] r[397][3] r[397][4] r[397][5] r[397][6] r[397][7] r[397][8] r[397][9] r[398][0] r[398][1] r[398][2] r[398][3] r[398][4] r[398][5] r[398][6] r[398][7] r[398][8] r[398][9] r[399][0] r[399][1] r[399][2] r[399][3] r[399][4] r[399][5] r[399][6] r[399][7] r[399][8] r[399][9] r[400][0] r[400][1] r[400][2] r[400][3] r[400][4] r[400][5] r[400][6] r[400][7] r[400][8] r[400][9] r[401][0] r[401][1] r[401][2] r[401][3] r[401][4] r[401][5] r[401][6] r[401][7] r[401][8] r[401][9] r[402][0] r[402][1] r[402][2] r[402][3] r[402][4] r[402][5] r[402][6] r[402][7] r[402][8] r[402][9] r[403][0] r[403][1] r[403][2] r[403][3] r[403][4] r[403][5] r[403][6] r[403][7] r[403][8] r[403][9] r[404][0] r[404][1] r[404][2] r[404][3] r[404][4] r[404][5] r[404][6] r[404][7] r[404][8] r[404][9] r[405][0] r[405][1] r[405][2] r[405][3] r[405][4] r[405][5] r[405][6] r[405][7] r[405][8] r[405][9] r[406][0] r[406][1] r[406][2] r[406][3] r[406][4] r[406][5] r[406][6] r[406][7] r[406][8] r[406][9] r[407][0] r[407][1] r[407][2] r[407][3] r[407][4] r[407][5] r[407][6] r[407][7] r[407][8] r[407][9] r[408][0] r[408][1] r[408][2] r[408][3] r[408][4] r[408][5] r[408][6] r[408][7] r[408][8] r[408][9] r[409][0] r[409][1] r[409][2] r[409][3] r[409][4] r[409][5] r[409][6] r[409][7] r[409][8] r[409][9] r[410][0] r[410][1] r[410][2] r[410][3] r[410][4] r[410][5] r[410][6] r[410][7] r[410][8] r[410][9] r[411][0] r[411][1] r[411][2] r[411][3] r[411][4] r[411][5] r[411][6] r[411][7] r[411][8] r[411][9] r[412][0] r[412][1] r[412][2] r[412][3] r[412][4] r[412][5] r[412][6] r[412][7] r[412][8] r[412][9] r[413][0] r[413][1] r[413][2] r[413][3] r[413][4] r[413][5] r[413][6] r[413][7] r[413][8] r[413][9] r[414][0] r[414][1] r[414][2] r[414][3] r[414][4] r[414][5] r[414][6] r[414][7] r[414][8] r[414][9] r[415][0] r[415][1] r[415][2] r[415][3] r[415][4] r[415][5] r[415][6] r[415][7] r[415][8] r[415][9] r[416][0] r[416][1] r[416][2] r[416][3] r[416][4] r[416][5] r[416][6] r[416][7] r[416][8] r[416][9] r[417][0] r[417][1] r[417][2] r[417][3] r[417][4] r[417][5] r[417][6] r[417][7] r[417][8] r[417][9] r[418][0] r[418][1] r[418][2] r[418][3] r[418][4] r[418][5] r[418][6] r[418][7] r[418][8] r[418][9] r[419][0] r[419][1] r[419][2] r[419][3] r[419][4] r[419][5] r[419][6] r[419][7] r[419][8] r[419][9] r[420][0] r[420][1] r[420][2] r[420][3] r[420][4] r[420][5] r[420][6] r[420][7] r[420][8] r[420][9] r[421][0] r[421][1] r[421][2] r[421][3] r[421][4] r[421][5] r[421][6] r[421][7] r[421][8] r[421][9] r[422][0] r[422][1] r[422][2] r[422][3] r[422][4] r[422][5] r[422][6] r[422][7] r[422][8] r[422][9] r[423][0] r[423][1] r[423][2] r[423][3] r[423][4] r[423][5] r[423][6] r[423][7] r[423][8] r[423][9] r[424][0] r[424][1] r[424][2] r[424][3] r[424][4] r[424][5] r[424][6] r[424][7] r[424][8] r[424][9] r[425][0] r[425][1] r[425][2] r[425][3] r[425][4] r[425][5] r[425][6] r[425][7] r[425][8] r[425][9] r[426][0] r[426][1] r[426][2] r[426][3] r[426][4] r[426][5] r[426][6] r[426][7] r[426][8] r[426][9] r[427][0] r[427][1] r[427][2] r[427][3] r[427][4] r[427][5] r[427][6] r[427][7] r[427][8] r[427][9] r[428][0] r[428][1] r[428][2] r[428][3] r[428][4] r[428][5] r[428][6] r[428][7] r[428][8] r[428][9] r[429][0] r[429][1] r[429][2] r[429][3] r[429][4] r[429][5] r[429][6] r[429][7] r[429][8] r[429][9] r[430][0] r[430][1] r[430][2] r[430][3] r[430][4] r[430][5] r[430][6] r[430][7] r[430][8] r[430][9] r[431][0] r[431][1] r[431][2] r[431][3] r[431][4] r[431][5] r[431][6] r[431][7] r[431][8] r[431][9] r[432][0] r[432][1] r[432][2] r[432][3] r[432][4] r[432][5] r[432][6] r[432][7] r[432][8] r[432][9] r[433][0] r[433][1] r[433][2] r[433][3] r[433][4] r[433][5] r[433][6] r[433][7] r[433][8] r[433][9] r[434][0] r[434][1] r[434][2] r[434][3] r[434][4] r[434][5] r[434][6] r[434][7] r[434][8] r[434][9] r[435][0] r[435][1] r[435][2] r[435][3] r[435][4] r[435][5] r[435][6] r[435][7] r[435][8] r[435][9] r[436][0] r[436][1] r[436][2] r[436][3] r[436][4] r[436][5] r[436][6] r[436][7] r[436][8] r[436][9] r[437][0] r[437][1] r[437][2] r[437][3] r[437][4] r[437][5] r[437][6] r[437][7] r[437][8] r[437][9] r[438][0] r[438][1] r[438][2] r[438][3] r[438][4] r[438][5] r[438][6] r[438][7] r[438][8] r[438][9] r[439][0] r[439][1] r[439][2] r[439][3] r[439][4] r[439][5] r[439][6] r[439][7] r[439][8] r[439][9] r[440][0] r[440][1] r[440][2] r[440][3] r[440][4] r[440][5] r[440][6] r[440][7] r[440][8] r[440][9] r[441][0] r[441][1] r[441][2] r[441][3] r[441][4] r[441][5] r[441][6] r[441][7] r[441][8] r[441][9] r[442][0] r[442][1] r[442][2] r[442][3] r[442][4] r[442][5] r[442][6] r[442][7] r[442][8] r[442][9] r[443][0] r[443][1] r[443][2] r[443][3] r[443][4] r[443][5] r[443][6] r[443][7] r[443][8] r[443][9] r[444][0] r[444][1] r[444][2] r[444][3] r[444][4] r[444][5] r[444][6] r[444][7] r[444][8] r[444][9] r[445][0] r[445][1] r[445][2] r[445][3] r[445][4] r[445][5] r[445][6] r[445][7] r[445][8] r[445][9] r[446][0] r[446][1] r[446][2] r[446][3] r[446][4] r[446][5] r[446][6] r[446][7] r[446][8] r[446][9] r[447][0] r[447][1] r[447][2] r[447][3] r[447][4] r[447][5] r[447][6] r[447][7] r[447][8] r[447][9] r[448][0] r[448][1] r[448][2] r[448][3] r[448][4] r[448][5] r[448][6] r[448][7] r[448][8] r[448][9] r[449][0] r[449][1] r[449][2] r[449][3] r[449][4] r[449][5] r[449][6] r[449][7] r[449][8] r[449][9] r[450][0] r[450][1] r[450][2] r[450][3] r[450][4] r[450][5] r[450][6] r[450][7] r[450][8] r[450][9] r[451][0] r[451][1] r[451][2] r[451][3] r[451][4] r[451][5] r[451][6] r[451][7] r[451][8] r[451][9] r[452][0] r[452][1] r[452][2] r[452][3] r[452][4] r[452][5] r[452][6] r[452][7] r[452][8] r[452][9] r[453][0] r[453][1] r[453][2] r[453][3] r[453][4] r[453][5] r[453][6] r[453][7] r[453][8] r[453][9] r[454][0] r[454][1] r[454][2] r[454][3] r[454][4] r[454][5] r[454][6] r[454][7] r[454][8] r[454][9] r[455][0] r[455][1] r[455][2] r[455][3] r[455][4] r[455][5] r[455][6] r[455][7] r[455][8] r[455][9] r[456][0] r[456][1] r[456][2] r[456][3] r[456][4] r[456][5] r[456][6] r[456][7] r[456][8] r[456][9] r[457][0] r[457][1] r[457][2] r[457][3] r[457][4] r[457][5] r[457][6] r[457][7] r[457][8] r[457][9] r[458][0] r[458][1] r[458][2] r[458][3] r[458][4] r[458][5] r[458][6] r[458][7] r[458][8] r[458][9] r[459][0] r[459][1] r[459][2] r[459][3] r[459][4] r[459][5] r[459][6] r[459][7] r[459][8] r[459][9] r[460][0] r[460][1] r[460][2] r[460][3] r[460][4] r[460][5] r[460][6] r[460][7] r[460][8] r[460][9] r[461][0] r[461][1] r[461][2] r[461][3] r[461][4] r[461][5] r[461][6] r[461][7] r[461][8] r[461][9] r[462][0] r[462][1] r[462][2] r[462][3] r[462][4] r[462][5] r[462][6] r[462][7] r[462][8] r[462][9] r[463][0] r[463][1] r[463][2] r[463][3] r[463][4] r[463][5] r[463][6] r[463][7] r[463][8] r[463][9] r[464][0] r[464][1] r[464][2] r[464][3] r[464][4] r[464][5] r[464][6] r[464][7] r[464][8] r[464][9] r[465][0] r[465][1] r[465][2] r[465][3] r[465][4] r[465][5] r[465][6] r[465][7] r[465][8] r[465][9] r[466][0] r[466][1] r[466][2] r[466][3] r[466][4] r[466][5] r[466][6] r[466][7] r[466][8] r[466][9] r[467][0] r[467][1] r[467][2] r[467][3] r[467][4] r[467][5] r[467][6] r[467][7] r[467][8] r[467][9] r[468][0] r[468][1] r[468][2] r[468][3] r[468][4] r[468][5] r[468][6] r[468][7] r[468][8] r[468][9] r[469][0] r[469][1] r[469][2] r[469][3] r[469][4] r[469][5] r[469][6] r[469][7] r[469][8] r[469][9] r[470][0] r[470][1] r[470][2] r[470][3] r[470][4] r[470][5] r[470][6] r[470][7] r[470][8] r[470][9] r[471][0] r[471][1] r[471][2] r[471][3] r[471][4] r[471][5] r[471][6] r[471][7] r[471][8] r[471][9] r[472][0] r[472][1] r[472][2] r[472][3] r[472][4] r[472][5] r[472][6] r[472][7] r[472][8] r[472][9] r[473][0] r[473][1] r[473][2] r[473][3] r[473][4] r[473][5] r[473][6] r[473][7] r[473][8] r[473][9] r[474][0] r[474][1] r[474][2] r[474][3] r[474][4] r[474][5] r[474][6] r[474][7] r[474][8] r[474][9] r[475][0] r[475][1] r[475][2] r[475][3] r[475][4] r[475][5] r[475][6] r[475][7] r[475][8] r[475][9] r[476][0] r[476][1] r[476][2] r[476][3] r[476][4] r[476][5] r[476][6] r[476][7] r[476][8] r[476][9] r[477][0] r[477][1] r[477][2] r[477][3] r[477][4] r[477][5] r[477][6] r[477][7] r[477][8] r[477][9] r[478][0] r[478][1] r[478][2] r[478][3] r[478][4] r[478][5] r[478][6] r[478][7] r[478][8] r[478][9] r[479][0] r[479][1] r[479][2] r[479][3] r[479][4] r[479][5] r[479][6] r[479][7] r[479][8] r[479][9] r[480][0] r[480][1] r[480][2] r[480][3] r[480][4] r[480][5] r[480][6] r[480][7] r[480][8] r[480][9] r[481][0] r[481][1] r[481][2] r[481][3] r[481][4] r[481][5] r[481][6] r[481][7] r[481][8] r[481][9] r[482][0] r[482][1] r[482][2] r[482][3] r[482][4] r[482][5] r[482][6] r[482][7] r[482][8] r[482][9] r[483][0] r[483][1] r[483][2] r[483][3] r[483][4] r[483][5] r[483][6] r[483][7] r[483][8] r[483][9] r[484][0] r[484][1] r[484][2] r[484][3] r[484][4] r[484][5] r[484][6] r[484][7] r[484][8] r[484][9] r[485][0] r[485][1] r[485][2] r[485][3] r[485][4] r[485][5] r[485][6] r[485][7] r[485][8] r[485][9] r[486][0] r[486][1] r[486][2] r[486][3] r[486][4] r[486][5] r[486][6] r[486][7] r[486][8] r[486][9] r[487][0] r[487][1] r[487][2] r[487][3] r[487][4] r[487][5] r[487][6] r[487][7] r[487][8] r[487][9] r[488][0] r[488][1] r[488][2] r[488][3] r[488][4] r[488][5] r[488][6] r[488][7] r[488][8] r[488][9] r[489][0] r[489][1] r[489][2] r[489][3] r[489][4] r[489][5] r[489][6] r[489][7] r[489][8] r[489][9] r[490][0] r[490][1] r[490][2] r[490][3] r[490][4] r[490][5] r[490][6] r[490][7] r[490][8] r[490][9] r[491][0] r[491][1] r[491][2] r[491][3] r[491][4] r[491][5] r[491][6] r[491][7] r[491][8] r[491][9] r[492][0] r[492][1] r[492][2] r[492][3] r[492][4] r[492][5] r[492][6] r[492][7] r[492][8] r[492][9] r[493][0] r[493][1] r[493][2] r[493][3] r[493][4] r[493][5] r[493][6] r[493][7] r[493][8] r[493][9] r[494][0] r[494][1] r[494][2] r[494][3] r[494][4] r[494][5] r[494][6] r[494][7] r[494][8] r[494][9] r[495][0] r[495][1] r[495][2] r[495][3] r[495][4] r[495][5] r[495][6] r[495][7] r[495][8] r[495][9] r[496][0] r[496][1] r[496][2] r[496][3] r[496][4] r[496][5] r[496][6] r[496][7] r[496][8] r[496][9] r[497][0] r[497][1] r[497][2] r[497][3] r[497][4] r[497][5] r[497][6] r[497][7] r[497][8] r[497][9] r[498][0] r[498][1] r[498][2] r[498][3] r[498][4] r[498][5] r[498][6] r[498][7] r[498][8] r[498][9] r[499][0] r[499][1] r[499][2] r[499][3] r[499][4] r[499][5] r[499][6] r[499][7] r[499][8] r[499][9] r[500][0] r[500][1] r[500][2] r[500][3] r[500][4] r[500][5] r[500][6] r[500][7] r[500][8] r[500][9] r[501][0] r[501][1] r[501][2] r[501][3] r[501][4] r[501][5] r[501][6] r[501][7] r[501][8] r[501][9] r[502][0] r[502][1] r[502][2] r[502][3] r[502][4] r[502][5] r[502][6] r[502][7] r[502][8] r[502][9] r[503][0] r[503][1] r[503][2] r[503][3] r[503][4] r[503][5] r[503][6] r[503][7] r[503][8] r[503][9] r[504][0] r[504][1] r[504][2] r[504][3] r[504][4] r[504][5] r[504][6] r[504][7] r[504][8] r[504][9] r[505][0] r[505][1] r[505][2] r[505][3] r[505][4] r[505][5] r[505][6] r[505][7] r[505][8] r[505][9] r[506][0] r[506][1] r[506][2] r[506][3] r[506][4] r[506][5] r[506][6] r[506][7] r[506][8] r[506][9] r[507][0] r[507][1] r[507][2] r[507][3] r[507][4] r[507][5] r[507][6] r[507][7] r[507][8] r[507][9] r[508][0] r[508][1] r[508][2] r[508][3] r[508][4] r[508][5] r[508][6] r[508][7] r[508][8] r[508][9] r[509][0] r[509][1] r[509][2] r[509][3] r[509][4] r[509][5] r[509][6] r[509][7] r[509][8] r[509][9] r[510][0] r[510][1] r[510][2] r[510][3] r[510][4] r[510][5] r[510][6] r[510][7] r[510][8] r[510][9] r[511][0] r[511][1] r[511][2] r[511][3] r[511][4] r[511][5] r[511][6] r[511][7] r[511][8] r[511][9] r[512][0] r[512][1] r[512][2] r[512][3] r[512][4] r[512][5] r[512][6] r[512][7] r[512][8] r[512][9] r[513][0] r[513][1] r[513][2] r[513][3] r[513][4] r[513][5] r[513][6] r[513][7] r[513][8] r[513][9] r[514][0] r[514][1] r[514][2] r[514][3] r[514][4] r[514][5] r[514][6] r[514][7] r[514][8] r[514][9] r[515][0] r[515][1] r[515][2] r[515][3] r[515][4] r[515][5] r[515][6] r[515][7] r[515][8] r[515][9] r[516][0] r[516][1] r[516][2] r[516][3] r[516][4] r[516][5] r[516][6] r[516][7] r[516][8] r[516][9] r[517][0] r[517][1] r[517][2] r[517][3] r[517][4] r[517][5] r[517][6] r[517][7] r[517][8] r[517][9] r[518][0] r[518][1] r[518][2] r[518][3] r[518][4] r[518][5] r[518][6] r[518][7] r[518][8] r[518][9] r[519][0] r[519][1] r[519][2] r[519][3] r[519][4] r[519][5] r[519][6] r[519][7] r[519][8] r[519][9] r[520][0] r[520][1] r[520][2] r[520][3] r[520][4] r[520][5] r[520][6] r[520][7] r[520][8] r[520][9] r[521][0] r[521][1] r[521][2] r[521][3] r[521][4] r[521][5] r[521][6] r[521][7] r[521][8] r[521][9] r[522][0] r[522][1] r[522][2] r[522][3] r[522][4] r[522][5] r[522][6] r[522][7] r[522][8] r[522][9] r[523][0] r[523][1] r[523][2] r[523][3] r[523][4] r[523][5] r[523][6] r[523][7] r[523][8] r[523][9] r[524][0] r[524][1] r[524][2] r[524][3] r[524][4] r[524][5] r[524][6] r[524][7] r[524][8] r[524][9] r[525][0] r[525][1] r[525][2] r[525][3] r[525][4] r[525][5] r[525][6] r[525][7] r[525][8] r[525][9] r[526][0] r[526][1] r[526][2] r[526][3] r[526][4] r[526][5] r[526][6] r[526][7] r[526][8] r[526][9] r[527][0] r[527][1] r[527][2] r[527][3] r[527][4] r[527][5] r[527][6] r[527][7] r[527][8] r[527][9] r[528][0] r[528][1] r[528][2] r[528][3] r[528][4] r[528][5] r[528][6] r[528][7] r[528][8] r[528][9] r[529][0] r[529][1] r[529][2] r[529][3] r[529][4] r[529][5] r[529][6] r[529][7] r[529][8] r[529][9] r[530][0] r[530][1] r[530][2] r[530][3] r[530][4] r[530][5] r[530][6] r[530][7] r[530][8] r[530][9] r[531][0] r[531][1] r[531][2] r[531][3] r[531][4] r[531][5] r[531][6] r[531][7] r[531][8] r[531][9] r[532][0] r[532][1] r[532][2] r[532][3] r[532][4] r[532][5] r[532][6] r[532][7] r[532][8] r[532][9] r[533][0] r[533][1] r[533][2] r[533][3] r[533][4] r[533][5] r[533][6] r[533][7] r[533][8] r[533][9] r[534][0] r[534][1] r[534][2] r[534][3] r[534][4] r[534][5] r[534][6] r[534][7] r[534][8] r[534][9] r[535][0] r[535][1] r[535][2] r[535][3] r[535][4] r[535][5] r[535][6] r[535][7] r[535][8] r[535][9] r[536][0] r[536][1] r[536][2] r[536][3] r[536][4] r[536][5] r[536][6] r[536][7] r[536][8] r[536][9] r[537][0] r[537][1] r[537][2] r[537][3] r[537][4] r[537][5] r[537][6] r[537][7] r[537][8] r[537][9] r[538][0] r[538][1] r[538][2] r[538][3] r[538][4] r[538][5] r[538][6] r[538][7] r[538][8] r[538][9] r[539][0] r[539][1] r[539][2] r[539][3] r[539][4] r[539][5] r[539][6] r[539][7] r[539][8] r[539][9] r[540][0] r[540][1] r[540][2] r[540][3] r[540][4] r[540][5] r[540][6] r[540][7] r[540][8] r[540][9] r[541][0] r[541][1] r[541][2] r[541][3] r[541][4] r[541][5] r[541][6] r[541][7] r[541][8] r[541][9] r[542][0] r[542][1] r[542][2] r[542][3] r[542][4] r[542][5] r[542][6] r[542][7] r[542][8] r[542][9] r[543][0] r[543][1] r[543][2] r[543][3] r[543][4] r[543][5] r[543][6] r[543][7] r[543][8] r[543][9] r[544][0] r[544][1] r[544][2] r[544][3] r[544][4] r[544][5] r[544][6] r[544][7] r[544][8] r[544][9] r[545][0] r[545][1] r[545][2] r[545][3] r[545][4] r[545][5] r[545][6] r[545][7] r[545][8] r[545][9] r[546][0] r[546][1] r[546][2] r[546][3] r[546][4] r[546][5] r[546][6] r[546][7] r[546][8] r[546][9] r[547][0] r[547][1] r[547][2] r[547][3] r[547][4] r[547][5] r[547][6] r[547][7] r[547][8] r[547][9] r[548][0] r[548][1] r[548][2] r[548][3] r[548][4] r[548][5] r[548][6] r[548][7] r[548][8] r[548][9] r[549][0] r[549][1] r[549][2] r[549][3] r[549][4] r[549][5] r[549][6] r[549][7] r[549][8] r[549][9] r[550][0] r[550][1] r[550][2] r[550][3] r[550][4] r[550][5] r[550][6] r[550][7] r[550][8] r[550][9] r[551][0] r[551][1] r[551][2] r[551][3] r[551][4] r[551][5] r[551][6] r[551][7] r[551][8] r[551][9] r[552][0] r[552][1] r[552][2] r[552][3] r[552][4] r[552][5] r[552][6] r[552][7] r[552][8] r[552][9] r[553][0] r[553][1] r[553][2] r[553][3] r[553][4] r[553][5] r[553][6] r[553][7] r[553][8] r[553][9] r[554][0] r[554][1] r[554][2] r[554][3] r[554][4] r[554][5] r[554][6] r[554][7] r[554][8] r[554][9] r[555][0] r[555][1] r[555][2] r[555][3] r[555][4] r[555][5] r[555][6] r[555][7] r[555][8] r[555][9] r[556][0] r[556][1] r[556][2] r[556][3] r[556][4] r[556][5] r[556][6] r[556][7] r[556][8] r[556][9] r[557][0] r[557][1] r[557][2] r[557][3] r[557][4] r[557][5] r[557][6] r[557][7] r[557][8] r[557][9] r[558][0] r[558][1] r[558][2] r[558][3] r[558][4] r[558][5] r[558][6] r[558][7] r[558][8] r[558][9] r[559][0] r[559][1] r[559][2] r[559][3] r[559][4] r[559][5] r[559][6] r[559][7] r[559][8] r[559][9] r[560][0] r[560][1] r[560][2] r[560][3] r[560][4] r[560][5] r[560][6] r[560][7] r[560][8] r[560][9] r[561][0] r[561][1] r[561][2] r[561][3] r[561][4] r[561][5] r[561][6] r[561][7] r[561][8] r[561][9] r[562][0] r[562][1] r[562][2] r[562][3] r[562][4] r[562][5] r[562][6] r[562][7] r[562][8] r[562][9] r[563][0] r[563][1] r[563][2] r[563][3] r[563][4] r[563][5] r[563][6] r[563][7] r[563][8] r[563][9] r[564][0] r[564][1] r[564][2] r[564][3] r[564][4] r[564][5] r[564][6] r[564][7] r[564][8] r[564][9] r[565][0] r[565][1] r[565][2] r[565][3] r[565][4] r[565][5] r[565][6] r[565][7] r[565][8] r[565][9] r[566][0] r[566][1] r[566][2] r[566][3] r[566][4] r[566][5] r[566][6] r[566][7] r[566][8] r[566][9] r[567][0] r[567][1] r[567][2] r[567][3] r[567][4] r[567][5] r[567][6] r[567][7] r[567][8] r[567][9] r[568][0] r[568][1] r[568][2] r[568][3] r[568][4] r[568][5] r[568][6] r[568][7] r[568][8] r[568][9] r[569][0] r[569][1] r[569][2] r[569][3] r[569][4] r[569][5] r[569][6] r[569][7] r[569][8] r[569][9] r[570][0] r[570][1] r[570][2] r[570][3] r[570][4] r[570][5] r[570][6] r[570][7] r[570][8] r[570][9] r[571][0] r[571][1] r[571][2] r[571][3] r[571][4] r[571][5] r[571][6] r[571][7] r[571][8] r[571][9] r[572][0] r[572][1] r[572][2] r[572][3] r[572][4] r[572][5] r[572][6] r[572][7] r[572][8] r[572][9] r[573][0] r[573][1] r[573][2] r[573][3] r[573][4] r[573][5] r[573][6] r[573][7] r[573][8] r[573][9] r[574][0] r[574][1] r[574][2] r[574][3] r[574][4] r[574][5] r[574][6] r[574][7] r[574][8] r[574][9] r[575][0] r[575][1] r[575][2] r[575][3] r[575][4] r[575][5] r[575][6] r[575][7] r[575][8] r[575][9] r[576][0] r[576][1] r[576][2] r[576][3] r[576][4] r[576][5] r[576][6] r[576][7] r[576][8] r[576][9] r[577][0] r[577][1] r[577][2] r[577][3] r[577][4] r[577][5] r[577][6] r[577][7] r[577][8] r[577][9] r[578][0] r[578][1] r[578][2] r[578][3] r[578][4] r[578][5] r[578][6] r[578][7] r[578][8] r[578][9] r[579][0] r[579][1] r[579][2] r[579][3] r[579][4] r[579][5] r[579][6] r[579][7] r[579][8] r[579][9] r[580][0] r[580][1] r[580][2] r[580][3] r[580][4] r[580][5] r[580][6] r[580][7] r[580][8] r[580][9] r[581][0] r[581][1] r[581][2] r[581][3] r[581][4] r[581][5] r[581][6] r[581][7] r[581][8] r[581][9] r[582][0] r[582][1] r[582][2] r[582][3] r[582][4] r[582][5] r[582][6] r[582][7] r[582][8] r[582][9] r[583][0] r[583][1] r[583][2] r[583][3] r[583][4] r[583][5] r[583][6] r[583][7] r[583][8] r[583][9] r[584][0] r[584][1] r[584][2] r[584][3] r[584][4] r[584][5] r[584][6] r[584][7] r[584][8] r[584][9] r[585][0] r[585][1] r[585][2] r[585][3] r[585][4] r[585][5] r[585][6] r[585][7] r[585][8] r[585][9] r[586][0] r[586][1] r[586][2] r[586][3] r[586][4] r[586][5] r[586][6] r[586][7] r[586][8] r[586][9] r[587][0] r[587][1] r[587][2] r[587][3] r[587][4] r[587][5] r[587][6] r[587][7] r[587][8] r[587][9] r[588][0] r[588][1] r[588][2] r[588][3] r[588][4] r[588][5] r[588][6] r[588][7] r[588][8] r[588][9] r[589][0] r[589][1] r[589][2] r[589][3] r[589][4] r[589][5] r[589][6] r[589][7] r[589][8] r[589][9] r[590][0] r[590][1] r[590][2] r[590][3] r[590][4] r[590][5] r[590][6] r[590][7] r[590][8] r[590][9] r[591][0] r[591][1] r[591][2] r[591][3] r[591][4] r[591][5] r[591][6] r[591][7] r[591][8] r[591][9] r[592][0] r[592][1] r[592][2] r[592][3] r[592][4] r[592][5] r[592][6] r[592][7] r[592][8] r[592][9] r[593][0] r[593][1] r[593][2] r[593][3] r[593][4] r[593][5] r[593][6] r[593][7] r[593][8] r[593][9] r[594][0] r[594][1] r[594][2] r[594][3] r[594][4] r[594][5] r[594][6] r[594][7] r[594][8] r[594][9] r[595][0] r[595][1] r[595][2] r[595][3] r[595][4] r[595][5] r[595][6] r[595][7] r[595][8] r[595][9] r[596][0] r[596][1] r[596][2] r[596][3] r[596][4] r[596][5] r[596][6] r[596][7] r[596][8] r[596][9] r[597][0] r[597][1] r[597][2] r[597][3] r[597][4] r[597][5] r[597][6] r[597][7] r[597][8] r[597][9] r[598][0] r[598][1] r[598][2] r[598][3] r[598][4] r[598][5] r[598][6] r[598][7] r[598][8] r[598][9] r[599][0] r[599][1] r[599][2] r[599][3] r[599][4] r[599][5] r[599][6] r[599][7] r[599][8] r[599][9] r[600][0] r[600][1] r[600][2] r[600][3] r[600][4] r[600][5] r[600][6] r[600][7] r[600][8] r[600][9] r[601][0] r[601][1] r[601][2] r[601][3] r[601][4] r[601][5] r[601][6] r[601][7] r[601][8] r[601][9] r[602][0] r[602][1] r[602][2] r[602][3] r[602][4] r[602][5] r[602][6] r[602][7] r[602][8] r[602][9] r[603][0] r[603][1] r[603][2] r[603][3] r[603][4] r[603][5] r[603][6] r[603][7] r[603][8] r[603][9] r[604][0] r[604][1] r[604][2] r[604][3] r[604][4] r[604][5] r[604][6] r[604][7] r[604][8] r[604][9] r[605][0] r[605][1] r[605][2] r[605][3] r[605][4] r[605][5] r[605][6] r[605][7] r[605][8] r[605][9] r[606][0] r[606][1] r[606][2] r[606][3] r[606][4] r[606][5] r[606][6] r[606][7] r[606][8] r[606][9] r[607][0] r[607][1] r[607][2] r[607][3] r[607][4] r[607][5] r[607][6] r[607][7] r[607][8] r[607][9] r[608][0] r[608][1] r[608][2] r[608][3] r[608][4] r[608][5] r[608][6] r[608][7] r[608][8] r[608][9] r[609][0] r[609][1] r[609][2] r[609][3] r[609][4] r[609][5] r[609][6] r[609][7] r[609][8] r[609][9] r[610][0] r[610][1] r[610][2] r[610][3] r[610][4] r[610][5] r[610][6] r[610][7] r[610][8] r[610][9] r[611][0] r[611][1] r[611][2] r[611][3] r[611][4] r[611][5] r[611][6] r[611][7] r[611][8] r[611][9] r[612][0] r[612][1] r[612][2] r[612][3] r[612][4] r[612][5] r[612][6] r[612][7] r[612][8] r[612][9] r[613][0] r[613][1] r[613][2] r[613][3] r[613][4] r[613][5] r[613][6] r[613][7] r[613][8] r[613][9] r[614][0] r[614][1] r[614][2] r[614][3] r[614][4] r[614][5] r[614][6] r[614][7] r[614][8] r[614][9] r[615][0] r[615][1] r[615][2] r[615][3] r[615][4] r[615][5] r[615][6] r[615][7] r[615][8] r[615][9] r[616][0] r[616][1] r[616][2] r[616][3] r[616][4] r[616][5] r[616][6] r[616][7] r[616][8] r[616][9] r[617][0] r[617][1] r[617][2] r[617][3] r[617][4] r[617][5] r[617][6] r[617][7] r[617][8] r[617][9] r[618][0] r[618][1] r[618][2] r[618][3] r[618][4] r[618][5] r[618][6] r[618][7] r[618][8] r[618][9] r[619][0] r[619][1] r[619][2] r[619][3] r[619][4] r[619][5] r[619][6] r[619][7] r[619][8] r[619][9] r[620][0] r[620][1] r[620][2] r[620][3] r[620][4] r[620][5] r[620][6] r[620][7] r[620][8] r[620][9] r[621][0] r[621][1] r[621][2] r[621][3] r[621][4] r[621][5] r[621][6] r[621][7] r[621][8] r[621][9] r[622][0] r[622][1] r[622][2] r[622][3] r[622][4] r[622][5] r[622][6] r[622][7] r[622][8] r[622][9] r[623][0] r[623][1] r[623][2] r[623][3] r[623][4] r[623][5] r[623][6] r[623][7] r[623][8] r[623][9] r[624][0] r[624][1] r[624][2] r[624][3] r[624][4] r[624][5] r[624][6] r[624][7] r[624][8] r[624][9] r[625][0] r[625][1] r[625][2] r[625][3] r[625][4] r[625][5] r[625][6] r[625][7] r[625][8] r[625][9] r[626][0] r[626][1] r[626][2] r[626][3] r[626][4] r[626][5] r[626][6] r[626][7] r[626][8] r[626][9] r[627][0] r[627][1] r[627][2] r[627][3] r[627][4] r[627][5] r[627][6] r[627][7] r[627][8] r[627][9] r[628][0] r[628][1] r[628][2] r[628][3] r[628][4] r[628][5] r[628][6] r[628][7] r[628][8] r[628][9] r[629][0] r[629][1] r[629][2] r[629][3] r[629][4] r[629][5] r[629][6] r[629][7] r[629][8] r[629][9] r[630][0] r[630][1] r[630][2] r[630][3] r[630][4] r[630][5] r[630][6] r[630][7] r[630][8] r[630][9] r[631][0] r[631][1] r[631][2] r[631][3] r[631][4] r[631][5] r[631][6] r[631][7] r[631][8] r[631][9] r[632][0] r[632][1] r[632][2] r[632][3] r[632][4] r[632][5] r[632][6] r[632][7] r[632][8] r[632][9] r[633][0] r[633][1] r[633][2] r[633][3] r[633][4] r[633][5] r[633][6] r[633][7] r[633][8] r[633][9] r[634][0] r[634][1] r[634][2] r[634][3] r[634][4] r[634][5] r[634][6] r[634][7] r[634][8] r[634][9] r[635][0] r[635][1] r[635][2] r[635][3] r[635][4] r[635][5] r[635][6] r[635][7] r[635][8] r[635][9] r[636][0] r[636][1] r[636][2] r[636][3] r[636][4] r[636][5] r[636][6] r[636][7] r[636][8] r[636][9] r[637][0] r[637][1] r[637][2] r[637][3] r[637][4] r[637][5] r[637][6] r[637][7] r[637][8] r[637][9] </list> 244.43/240.03 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 244.43/240.03 v </instantiation> 244.43/240.03 c Unexpected resolution interruption!
OK 583
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 (9879 MiB free) memory of node 1: 16384 MiB (9771 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282781-1503211746/watcher-4282781-1503211746 -o /tmp/evaluation-result-4282781-1503211746/solver-4282781-1503211746 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node150-1503208459-5116 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 749160750 HOME/instance-4282781-1503211746.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=7302, runsolver pid=7299 Current StackSize limit: 8192 KiB [startup+0.10009 s]* /proc/loadavg: 1.99 1.94 1.81 4/218 7318 /proc/meminfo: memFree=20101272/32770624 swapFree=67108860/67108860 [pid=7302] ppid=7299 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6 /proc/7302/stat : 7302 (xcsp3-exec) S 7299 7302 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154255575 9740288 346 33554432000 4194304 5098028 140727266753664 140727266751768 140352641270396 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30392320 140727266759797 140727266760000 140727266760000 140727266762731 0 /proc/7302/statm: 2378 346 289 221 0 87 0 [pid=7304] ppid=7302 vsize=13978596 memory=28204 CPUtime=0.11 cores=0,2,4,6 /proc/7304/stat : 7304 (java) S 7302 7302 5085 0 -1 1077944320 5404 0 0 0 10 1 0 0 20 0 15 0 154255575 14314082304 7051 33554432000 4194304 4196468 140732378707584 140732378690128 140445446586103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 /proc/7304/statm: 3494649 7051 2872 1 0 3482966 0 [pid=7304/tid=7305] ppid=7302 vsize=13978596 memory=7756788037170991963 CPUtime=0.09 cores=0,2,4,6 /proc/7304/task/7305/stat : 7305 (java) R 7302 7302 5085 0 -1 4202560 3426 0 0 0 8 1 0 0 20 0 15 0 154255576 14314082304 7051 33554432000 4194304 4196468 140732378707584 140445450809904 140445446608029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7306] ppid=7302 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7306/stat : 7306 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14314082304 7051 33554432000 4194304 4196468 140732378707584 140445376674960 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7307] ppid=7302 vsize=13978596 memory=140612816586368 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7307/stat : 7307 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14314082304 7051 33554432000 4194304 4196468 140732378707584 140445375622160 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7308] ppid=7302 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7308/stat : 7308 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14314082304 7051 33554432000 4194304 4196468 140732378707584 140445374569360 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7309] ppid=7302 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7309/stat : 7309 (java) S 7302 7302 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154255577 14314082304 7051 33554432000 4194304 4196468 140732378707584 140445373516560 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7310] ppid=7302 vsize=13978596 memory=140612816586368 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7310/stat : 7310 (java) S 7302 7302 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154255578 14314082304 7051 33554432000 4194304 4196468 140732378707584 140444920555888 140445446597250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7311] ppid=7302 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7311/stat : 7311 (java) S 7302 7302 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154255578 14314082304 7051 33554432000 4194304 4196468 140732378707584 140444919501856 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7312] ppid=7302 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7312/stat : 7312 (java) S 7302 7302 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154255579 14314082304 7051 33554432000 4194304 4196468 140732378707584 140444918449008 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7313] ppid=7302 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7313/stat : 7313 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14314082304 7051 33554432000 4194304 4196468 140732378707584 140444917397328 140445446604699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7314] ppid=7302 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7314/stat : 7314 (java) S 7302 7302 5085 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 154255581 14314082304 7051 33554432000 4194304 4196468 140732378707584 140444916345712 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7315] ppid=7302 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7315/stat : 7315 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14314082304 7051 33554432000 4194304 4196468 140732378707584 140444915292912 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7316] ppid=7302 vsize=13978596 memory=140612816586368 CPUtime=0.01 cores=0,2,4,6 /proc/7304/task/7316/stat : 7316 (java) R 7302 7302 5085 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 154255581 14314082304 7051 33554432000 4194304 4196468 140732378707584 140444914240112 140445446607450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7317] ppid=7302 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7317/stat : 7317 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14314082304 7051 33554432000 4194304 4196468 140732378707584 140444913187552 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7318] ppid=7302 vsize=13978596 memory=140612816586368 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7318/stat : 7318 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255582 14314082304 7051 33554432000 4194304 4196468 140732378707584 140444912134832 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 13988108 KiB Current children cumulated memory: 29588 KiB [startup+0.210754 s]* /proc/loadavg: 1.99 1.94 1.81 3/218 7318 /proc/meminfo: memFree=20091348/32770624 swapFree=67108860/67108860 [pid=7302] ppid=7299 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6 /proc/7302/stat : 7302 (xcsp3-exec) S 7299 7302 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154255575 9740288 346 33554432000 4194304 5098028 140727266753664 140727266751768 140352641270396 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30392320 140727266759797 140727266760000 140727266760000 140727266762731 0 /proc/7302/statm: 2378 346 289 221 0 87 0 [pid=7304] ppid=7302 vsize=13982852 memory=40208 CPUtime=0.33 cores=0,2,4,6 /proc/7304/stat : 7304 (java) S 7302 7302 5085 0 -1 1077944320 8074 0 0 0 31 2 0 0 20 0 15 0 154255575 14318440448 10052 33554432000 4194304 4196468 140732378707584 140732378690128 140445446586103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 /proc/7304/statm: 3495713 10052 3065 1 0 3482966 0 [pid=7304/tid=7305] ppid=7302 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6 /proc/7304/task/7305/stat : 7305 (java) R 7302 7302 5085 0 -1 4202560 5294 0 0 0 18 1 0 0 20 0 15 0 154255576 14318440448 10052 33554432000 4194304 4196468 140732378707584 140445450800080 140445446608029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7306] ppid=7302 vsize=13982852 memory=9010 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7306/stat : 7306 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14318440448 10052 33554432000 4194304 4196468 140732378707584 140445376674960 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7307] ppid=7302 vsize=13982852 memory=140612817356264 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7307/stat : 7307 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14318440448 10052 33554432000 4194304 4196468 140732378707584 140445375622160 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7308] ppid=7302 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7308/stat : 7308 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14318440448 10052 33554432000 4194304 4196468 140732378707584 140445374569360 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7309] ppid=7302 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7309/stat : 7309 (java) S 7302 7302 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154255577 14318440448 10052 33554432000 4194304 4196468 140732378707584 140445373516560 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7310] ppid=7302 vsize=13982852 memory=140612816586368 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7310/stat : 7310 (java) S 7302 7302 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154255578 14318440448 10052 33554432000 4194304 4196468 140732378707584 140444920555888 140445446597250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7311] ppid=7302 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7311/stat : 7311 (java) S 7302 7302 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154255578 14318440448 10052 33554432000 4194304 4196468 140732378707584 140444919501856 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7312] ppid=7302 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7312/stat : 7312 (java) S 7302 7302 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154255579 14318440448 10052 33554432000 4194304 4196468 140732378707584 140444918449008 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7313] ppid=7302 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7313/stat : 7313 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14318440448 10052 33554432000 4194304 4196468 140732378707584 140444917397328 140445446604699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7314] ppid=7302 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/7304/task/7314/stat : 7314 (java) S 7302 7302 5085 0 -1 1077944384 615 0 0 0 2 0 0 0 20 0 15 0 154255581 14318440448 10052 33554432000 4194304 4196468 140732378707584 140444916345712 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7315] ppid=7302 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/7304/task/7315/stat : 7315 (java) S 7302 7302 5085 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 15 0 154255581 14318440448 10052 33554432000 4194304 4196468 140732378707584 140444915292912 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7316] ppid=7302 vsize=13982852 memory=140612816586368 CPUtime=0.07 cores=0,2,4,6 /proc/7304/task/7316/stat : 7316 (java) R 7302 7302 5085 0 -1 4202560 705 0 0 0 7 0 0 0 20 0 15 0 154255581 14318440448 10052 33554432000 4194304 4196468 140732378707584 140444914240112 140445430666590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7317] ppid=7302 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7317/stat : 7317 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14318440448 10052 33554432000 4194304 4196468 140732378707584 140444913187552 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7318] ppid=7302 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7318/stat : 7318 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255582 14318440448 10052 33554432000 4194304 4196468 140732378707584 140444912134832 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 13992364 KiB Current children cumulated memory: 41592 KiB [startup+0.310424 s]* /proc/loadavg: 1.99 1.94 1.81 4/218 7318 /proc/meminfo: memFree=20084152/32770624 swapFree=67108860/67108860 [pid=7302] ppid=7299 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6 /proc/7302/stat : 7302 (xcsp3-exec) S 7299 7302 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154255575 9740288 346 33554432000 4194304 5098028 140727266753664 140727266751768 140352641270396 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30392320 140727266759797 140727266760000 140727266760000 140727266762731 0 /proc/7302/statm: 2378 346 289 221 0 87 0 [pid=7304] ppid=7302 vsize=13982852 memory=47116 CPUtime=0.51 cores=0,2,4,6 /proc/7304/stat : 7304 (java) S 7302 7302 5085 0 -1 1077944320 8937 0 0 0 48 3 0 0 20 0 15 0 154255575 14318440448 11779 33554432000 4194304 4196468 140732378707584 140732378690128 140445446586103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 /proc/7304/statm: 3495713 11779 3081 1 0 3482966 0 [pid=7304/tid=7305] ppid=7302 vsize=13982852 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6 /proc/7304/task/7305/stat : 7305 (java) R 7302 7302 5085 0 -1 4202560 5956 0 0 0 27 2 0 0 20 0 15 0 154255576 14318440448 11779 33554432000 4194304 4196468 140732378707584 140445450823920 140445044802766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7306] ppid=7302 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7306/stat : 7306 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14318440448 11779 33554432000 4194304 4196468 140732378707584 140445376674960 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7307] ppid=7302 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7307/stat : 7307 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14318440448 11779 33554432000 4194304 4196468 140732378707584 140445375622160 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7308] ppid=7302 vsize=13982852 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7308/stat : 7308 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14318440448 11779 33554432000 4194304 4196468 140732378707584 140445374569360 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7309] ppid=7302 vsize=13982852 memory=6945503147187019673 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7309/stat : 7309 (java) S 7302 7302 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154255577 14318440448 11779 33554432000 4194304 4196468 140732378707584 140445373516560 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7310] ppid=7302 vsize=13982852 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7310/stat : 7310 (java) S 7302 7302 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154255578 14318440448 11779 33554432000 4194304 4196468 140732378707584 140444920555888 140445446597250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7311] ppid=7302 vsize=13982852 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7311/stat : 7311 (java) S 7302 7302 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154255578 14318440448 11779 33554432000 4194304 4196468 140732378707584 140444919501856 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7312] ppid=7302 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7312/stat : 7312 (java) S 7302 7302 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154255579 14318440448 11779 33554432000 4194304 4196468 140732378707584 140444918449008 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7313] ppid=7302 vsize=13982852 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7313/stat : 7313 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14318440448 11779 33554432000 4194304 4196468 140732378707584 140444917397328 140445446604699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7314] ppid=7302 vsize=13982852 memory=7100839887185294217 CPUtime=0.04 cores=0,2,4,6 /proc/7304/task/7314/stat : 7314 (java) S 7302 7302 5085 0 -1 1077944384 615 0 0 0 4 0 0 0 20 0 15 0 154255581 14318440448 11779 33554432000 4194304 4196468 140732378707584 140444916345712 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7315] ppid=7302 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/7304/task/7315/stat : 7315 (java) S 7302 7302 5085 0 -1 1077944384 189 0 0 0 3 0 0 0 20 0 15 0 154255581 14318440448 11779 33554432000 4194304 4196468 140732378707584 140444915292912 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7316] ppid=7302 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6 /proc/7304/task/7316/stat : 7316 (java) R 7302 7302 5085 0 -1 4202560 881 0 0 0 13 0 0 0 20 0 15 0 154255581 14318440448 11779 33554432000 4194304 4196468 140732378707584 140444914235376 140445438540985 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7317] ppid=7302 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7317/stat : 7317 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14318440448 11779 33554432000 4194304 4196468 140732378707584 140444913187552 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7318] ppid=7302 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7318/stat : 7318 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255582 14318440448 11779 33554432000 4194304 4196468 140732378707584 140444912134832 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 13992364 KiB Current children cumulated memory: 48500 KiB [startup+0.702229 s] /proc/loadavg: 1.99 1.94 1.81 6/218 7318 /proc/meminfo: memFree=20059028/32770624 swapFree=67108860/67108860 [pid=7302] ppid=7299 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6 /proc/7302/stat : 7302 (xcsp3-exec) S 7299 7302 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154255575 9740288 346 33554432000 4194304 5098028 140727266753664 140727266751768 140352641270396 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30392320 140727266759797 140727266760000 140727266760000 140727266762731 0 /proc/7302/statm: 2378 346 289 221 0 87 0 [pid=7304] ppid=7302 vsize=13984976 memory=92840 CPUtime=1.8 cores=0,2,4,6 /proc/7304/stat : 7304 (java) S 7302 7302 5085 0 -1 1077944320 12761 0 0 0 175 5 0 0 20 0 15 0 154255575 14320615424 23210 33554432000 4194304 4196468 140732378707584 140732378690128 140445446586103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 /proc/7304/statm: 3496244 23210 3203 1 0 3483478 0 [pid=7304/tid=7305] ppid=7302 vsize=13984976 memory=33 CPUtime=0.66 cores=0,2,4,6 /proc/7304/task/7305/stat : 7305 (java) R 7302 7302 5085 0 -1 4202560 6649 0 0 0 63 3 0 0 20 0 15 0 154255576 14320615424 23210 33554432000 4194304 4196468 140732378707584 140445450826592 140445446607933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7306] ppid=7302 vsize=13984976 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7306/stat : 7306 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14320615424 23210 33554432000 4194304 4196468 140732378707584 140445376674960 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7307] ppid=7302 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7307/stat : 7307 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14320615424 23210 33554432000 4194304 4196468 140732378707584 140445375622160 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7308] ppid=7302 vsize=13984976 memory=43012 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7308/stat : 7308 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14320615424 23210 33554432000 4194304 4196468 140732378707584 140445374569360 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7309] ppid=7302 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7309/stat : 7309 (java) S 7302 7302 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154255577 14320615424 23210 33554432000 4194304 4196468 140732378707584 140445373516560 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7310] ppid=7302 vsize=13984976 memory=2396 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7310/stat : 7310 (java) S 7302 7302 5085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154255578 14320615424 23210 33554432000 4194304 4196468 140732378707584 140444920555888 140445446597250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7311] ppid=7302 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7311/stat : 7311 (java) S 7302 7302 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154255578 14320615424 23210 33554432000 4194304 4196468 140732378707584 140444919501856 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7312] ppid=7302 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7312/stat : 7312 (java) S 7302 7302 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154255579 14320615424 23210 33554432000 4194304 4196468 140732378707584 140444918449008 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7313] ppid=7302 vsize=13984976 memory=11112 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7313/stat : 7313 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14320615424 23210 33554432000 4194304 4196468 140732378707584 140444917397328 140445446604699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7314] ppid=7302 vsize=13984976 memory=5776 CPUtime=0.32 cores=0,2,4,6 /proc/7304/task/7314/stat : 7314 (java) R 7302 7302 5085 0 -1 4202560 1127 0 0 0 32 0 0 0 20 0 15 0 154255581 14320615424 23210 33554432000 4194304 4196468 140732378707584 140444916332528 140445428107168 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7315] ppid=7302 vsize=13984976 memory=4616 CPUtime=0.38 cores=0,2,4,6 /proc/7304/task/7315/stat : 7315 (java) R 7302 7302 5085 0 -1 4202560 1418 0 0 0 38 0 0 0 20 0 15 0 154255581 14320615424 23210 33554432000 4194304 4196468 140732378707584 140444915277984 140445432601809 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7316] ppid=7302 vsize=13984976 memory=792 CPUtime=0.4 cores=0,2,4,6 /proc/7304/task/7316/stat : 7316 (java) R 7302 7302 5085 0 -1 4202560 2261 0 0 0 40 0 0 0 20 0 15 0 154255581 14320615424 23210 33554432000 4194304 4196468 140732378707584 140444914240112 140445430666590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7317] ppid=7302 vsize=13984976 memory=1424 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7317/stat : 7317 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14320615424 23210 33554432000 4194304 4196468 140732378707584 140444913187552 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7318] ppid=7302 vsize=13984976 memory=1936 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7318/stat : 7318 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255582 14320615424 23210 33554432000 4194304 4196468 140732378707584 140444912134832 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 Current children cumulated CPU time: 1.8 s Current children cumulated vsize: 13994488 KiB Current children cumulated memory: 94224 KiB [startup+1.50079 s] /proc/loadavg: 1.99 1.94 1.81 3/218 7318 /proc/meminfo: memFree=20032472/32770624 swapFree=67108860/67108860 [pid=7302] ppid=7299 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6 /proc/7302/stat : 7302 (xcsp3-exec) S 7299 7302 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154255575 9740288 346 33554432000 4194304 5098028 140727266753664 140727266751768 140352641270396 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30392320 140727266759797 140727266760000 140727266760000 140727266762731 0 /proc/7302/statm: 2378 346 289 221 0 87 0 ################ # More data... # ################ /proc/7304/task/7312/stat : 7312 (java) S 7302 7302 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154255579 14320615424 30738 33554432000 4194304 4196468 140732378707584 140444918449008 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7313] ppid=7302 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7313/stat : 7313 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14320615424 30738 33554432000 4194304 4196468 140732378707584 140444917397328 140445446604699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7314] ppid=7302 vsize=13984976 memory=43012 CPUtime=1.66 cores=0,2,4,6 /proc/7304/task/7314/stat : 7314 (java) S 7302 7302 5085 0 -1 1077944384 13383 0 0 0 164 2 0 0 20 0 15 0 154255581 14320615424 30738 33554432000 4194304 4196468 140732378707584 140444916345712 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7315] ppid=7302 vsize=13984976 memory=1384 CPUtime=1.35 cores=0,2,4,6 /proc/7304/task/7315/stat : 7315 (java) S 7302 7302 5085 0 -1 1077944384 9144 0 0 0 134 1 0 0 20 0 15 0 154255581 14320615424 30738 33554432000 4194304 4196468 140732378707584 140444915292912 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7316] ppid=7302 vsize=13984976 memory=122952 CPUtime=0.58 cores=0,2,4,6 /proc/7304/task/7316/stat : 7316 (java) S 7302 7302 5085 0 -1 1077944384 5881 0 0 0 57 1 0 0 20 0 15 0 154255581 14320615424 30738 33554432000 4194304 4196468 140732378707584 140444914240112 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7317] ppid=7302 vsize=13984976 memory=116876 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7317/stat : 7317 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14320615424 30738 33554432000 4194304 4196468 140732378707584 140444913187552 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7318] ppid=7302 vsize=13984976 memory=116876 CPUtime=0.02 cores=0,2,4,6 /proc/7304/task/7318/stat : 7318 (java) S 7302 7302 5085 0 -1 1077944384 841 0 0 0 1 1 0 0 20 0 15 0 154255582 14320615424 30738 33554432000 4194304 4196468 140732378707584 140444912134832 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 Current children cumulated CPU time: 105.92 s Current children cumulated vsize: 13994488 KiB Current children cumulated memory: 124336 KiB [startup+162.301 s] /proc/loadavg: 2.03 1.99 1.85 3/217 7398 /proc/meminfo: memFree=22274836/32770624 swapFree=67108860/67108860 [pid=7302] ppid=7299 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6 /proc/7302/stat : 7302 (xcsp3-exec) S 7299 7302 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154255575 9740288 346 33554432000 4194304 5098028 140727266753664 140727266751768 140352641270396 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30392320 140727266759797 140727266760000 140727266760000 140727266762731 0 /proc/7302/statm: 2378 346 289 221 0 87 0 [pid=7304] ppid=7302 vsize=13984976 memory=169192 CPUtime=166.58 cores=0,2,4,6 /proc/7304/stat : 7304 (java) S 7302 7302 5085 0 -1 1077944320 48198 0 0 0 16644 14 0 0 20 0 15 0 154255575 14320615424 42298 33554432000 4194304 4196468 140732378707584 140732378690128 140445446586103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 /proc/7304/statm: 3496244 42298 3235 1 0 3483478 0 [pid=7304/tid=7305] ppid=7302 vsize=13984976 memory=1384 CPUtime=162.26 cores=0,2,4,6 /proc/7304/task/7305/stat : 7305 (java) R 7302 7302 5085 0 -1 4202560 12019 0 0 0 16221 5 0 0 20 0 15 0 154255576 14320615424 42298 33554432000 4194304 4196468 140732378707584 140445450824872 140445050590342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7306] ppid=7302 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7306/stat : 7306 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14320615424 42298 33554432000 4194304 4196468 140732378707584 140445376674960 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7307] ppid=7302 vsize=13984976 memory=167144 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7307/stat : 7307 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14320615424 42298 33554432000 4194304 4196468 140732378707584 140445375622160 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7308] ppid=7302 vsize=13984976 memory=167144 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7308/stat : 7308 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14320615424 42298 33554432000 4194304 4196468 140732378707584 140445374569360 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7309] ppid=7302 vsize=13984976 memory=169192 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7309/stat : 7309 (java) S 7302 7302 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154255577 14320615424 42298 33554432000 4194304 4196468 140732378707584 140445373516560 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7310] ppid=7302 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7310/stat : 7310 (java) S 7302 7302 5085 0 -1 1077944384 589 0 0 0 0 0 0 0 20 0 15 0 154255578 14320615424 42298 33554432000 4194304 4196468 140732378707584 140444920555888 140445446597250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7311] ppid=7302 vsize=13984976 memory=167144 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7311/stat : 7311 (java) S 7302 7302 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154255578 14320615424 42298 33554432000 4194304 4196468 140732378707584 140444919501856 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7312] ppid=7302 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7312/stat : 7312 (java) S 7302 7302 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154255579 14320615424 42298 33554432000 4194304 4196468 140732378707584 140444918449008 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7313] ppid=7302 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7313/stat : 7313 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14320615424 42298 33554432000 4194304 4196468 140732378707584 140444917397328 140445446604699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7314] ppid=7302 vsize=13984976 memory=15706 CPUtime=1.91 cores=0,2,4,6 /proc/7304/task/7314/stat : 7314 (java) S 7302 7302 5085 0 -1 1077944384 15196 0 0 0 189 2 0 0 20 0 15 0 154255581 14320615424 42298 33554432000 4194304 4196468 140732378707584 140444916345712 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7315] ppid=7302 vsize=13984976 memory=1384 CPUtime=1.69 cores=0,2,4,6 /proc/7304/task/7315/stat : 7315 (java) S 7302 7302 5085 0 -1 1077944384 10909 0 0 0 168 1 0 0 20 0 15 0 154255581 14320615424 42298 33554432000 4194304 4196468 140732378707584 140444915292912 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7316] ppid=7302 vsize=13984976 memory=161000 CPUtime=0.62 cores=0,2,4,6 /proc/7304/task/7316/stat : 7316 (java) S 7302 7302 5085 0 -1 1077944384 7206 0 0 0 61 1 0 0 20 0 15 0 154255581 14320615424 42298 33554432000 4194304 4196468 140732378707584 140444914240112 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7317] ppid=7302 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7317/stat : 7317 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14320615424 42298 33554432000 4194304 4196468 140732378707584 140444913187552 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7318] ppid=7302 vsize=13984976 memory=167144 CPUtime=0.04 cores=0,2,4,6 /proc/7304/task/7318/stat : 7318 (java) S 7302 7302 5085 0 -1 1077944384 979 0 0 0 2 2 0 0 20 0 15 0 154255582 14320615424 42298 33554432000 4194304 4196468 140732378707584 140444912134832 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 Current children cumulated CPU time: 166.58 s Current children cumulated vsize: 13994488 KiB Current children cumulated memory: 170576 KiB [startup+222.301 s] /proc/loadavg: 2.01 1.99 1.87 3/217 7399 /proc/meminfo: memFree=22248480/32770624 swapFree=67108860/67108860 [pid=7302] ppid=7299 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6 /proc/7302/stat : 7302 (xcsp3-exec) S 7299 7302 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154255575 9740288 346 33554432000 4194304 5098028 140727266753664 140727266751768 140352641270396 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30392320 140727266759797 140727266760000 140727266760000 140727266762731 0 /proc/7302/statm: 2378 346 289 221 0 87 0 [pid=7304] ppid=7302 vsize=13984976 memory=195844 CPUtime=226.7 cores=0,2,4,6 /proc/7304/stat : 7304 (java) S 7302 7302 5085 0 -1 1077944320 49132 0 0 0 22655 15 0 0 20 0 15 0 154255575 14320615424 48961 33554432000 4194304 4196468 140732378707584 140732378690128 140445446586103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 /proc/7304/statm: 3496244 48961 3235 1 0 3483478 0 [pid=7304/tid=7305] ppid=7302 vsize=13984976 memory=189700 CPUtime=222.26 cores=0,2,4,6 /proc/7304/task/7305/stat : 7305 (java) R 7302 7302 5085 0 -1 4202560 12599 0 0 0 22220 6 0 0 20 0 15 0 154255576 14320615424 48961 33554432000 4194304 4196468 140732378707584 140445450822024 140445050590342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7306] ppid=7302 vsize=13984976 memory=189700 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7306/stat : 7306 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14320615424 48961 33554432000 4194304 4196468 140732378707584 140445376674960 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7307] ppid=7302 vsize=13984976 memory=191748 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7307/stat : 7307 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14320615424 48961 33554432000 4194304 4196468 140732378707584 140445375622160 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7308] ppid=7302 vsize=13984976 memory=191748 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7308/stat : 7308 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14320615424 48961 33554432000 4194304 4196468 140732378707584 140445374569360 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7309] ppid=7302 vsize=13984976 memory=195844 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7309/stat : 7309 (java) S 7302 7302 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154255577 14320615424 48961 33554432000 4194304 4196468 140732378707584 140445373516560 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7310] ppid=7302 vsize=13984976 memory=195844 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7310/stat : 7310 (java) S 7302 7302 5085 0 -1 1077944384 595 0 0 0 0 0 0 0 20 0 15 0 154255578 14320615424 48961 33554432000 4194304 4196468 140732378707584 140444920555888 140445446597250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7311] ppid=7302 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7311/stat : 7311 (java) S 7302 7302 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154255578 14320615424 48961 33554432000 4194304 4196468 140732378707584 140444919501856 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7312] ppid=7302 vsize=13984976 memory=195844 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7312/stat : 7312 (java) S 7302 7302 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154255579 14320615424 48961 33554432000 4194304 4196468 140732378707584 140444918449008 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7313] ppid=7302 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7313/stat : 7313 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14320615424 48961 33554432000 4194304 4196468 140732378707584 140444917397328 140445446604699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7314] ppid=7302 vsize=13984976 memory=191748 CPUtime=1.98 cores=0,2,4,6 /proc/7304/task/7314/stat : 7314 (java) S 7302 7302 5085 0 -1 1077944384 15367 0 0 0 196 2 0 0 20 0 15 0 154255581 14320615424 48961 33554432000 4194304 4196468 140732378707584 140444916345712 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7315] ppid=7302 vsize=13984976 memory=195844 CPUtime=1.72 cores=0,2,4,6 /proc/7304/task/7315/stat : 7315 (java) S 7302 7302 5085 0 -1 1077944384 11019 0 0 0 171 1 0 0 20 0 15 0 154255581 14320615424 48961 33554432000 4194304 4196468 140732378707584 140444915292912 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7316] ppid=7302 vsize=13984976 memory=4140 CPUtime=0.63 cores=0,2,4,6 /proc/7304/task/7316/stat : 7316 (java) S 7302 7302 5085 0 -1 1077944384 7246 0 0 0 62 1 0 0 20 0 15 0 154255581 14320615424 48961 33554432000 4194304 4196468 140732378707584 140444914240112 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7317] ppid=7302 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7317/stat : 7317 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14320615424 48961 33554432000 4194304 4196468 140732378707584 140444913187552 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7318] ppid=7302 vsize=13984976 memory=195844 CPUtime=0.06 cores=0,2,4,6 /proc/7304/task/7318/stat : 7318 (java) S 7302 7302 5085 0 -1 1077944384 1006 0 0 0 3 3 0 0 20 0 15 0 154255582 14320615424 48961 33554432000 4194304 4196468 140732378707584 140444912134832 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 Current children cumulated CPU time: 226.7 s Current children cumulated vsize: 13994488 KiB Current children cumulated memory: 197228 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s]* /proc/loadavg: 2.01 1.99 1.87 3/217 7399 /proc/meminfo: memFree=22238364/32770624 swapFree=67108860/67108860 [pid=7302] ppid=7299 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6 /proc/7302/stat : 7302 (xcsp3-exec) S 7299 7302 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154255575 9740288 346 33554432000 4194304 5098028 140727266753664 140727266751768 140352641270396 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30392320 140727266759797 140727266760000 140727266760000 140727266762731 0 /proc/7302/statm: 2378 346 289 221 0 87 0 [pid=7304] ppid=7302 vsize=13984976 memory=206084 CPUtime=244.43 cores=0,2,4,6 /proc/7304/stat : 7304 (java) S 7302 7302 5085 0 -1 1077944320 49851 0 0 0 24427 16 0 0 20 0 15 0 154255575 14320615424 51521 33554432000 4194304 4196468 140732378707584 140732378690128 140445446586103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 /proc/7304/statm: 3496244 51521 3235 1 0 3483478 0 [pid=7304/tid=7305] ppid=7302 vsize=13984976 memory=8112282956445269571 CPUtime=239.97 cores=0,2,4,6 /proc/7304/task/7305/stat : 7305 (java) R 7302 7302 5085 0 -1 4202560 13083 0 0 0 23991 6 0 0 20 0 15 0 154255576 14320615424 51521 33554432000 4194304 4196468 140732378707584 140445450825656 140445051880887 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7306] ppid=7302 vsize=13984976 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7306/stat : 7306 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14320615424 51521 33554432000 4194304 4196468 140732378707584 140445376674960 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7307] ppid=7302 vsize=13984976 memory=11112 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7307/stat : 7307 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14320615424 51521 33554432000 4194304 4196468 140732378707584 140445375622160 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7308] ppid=7302 vsize=13984976 memory=5776 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7308/stat : 7308 (java) S 7302 7302 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154255577 14320615424 51521 33554432000 4194304 4196468 140732378707584 140445374569360 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7309] ppid=7302 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7309/stat : 7309 (java) S 7302 7302 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154255577 14320615424 51521 33554432000 4194304 4196468 140732378707584 140445373516560 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7310] ppid=7302 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7310/stat : 7310 (java) S 7302 7302 5085 0 -1 1077944384 619 0 0 0 0 0 0 0 20 0 15 0 154255578 14320615424 51521 33554432000 4194304 4196468 140732378707584 140444920555888 140445446597250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7311] ppid=7302 vsize=13984976 memory=1796 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7311/stat : 7311 (java) S 7302 7302 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154255578 14320615424 51521 33554432000 4194304 4196468 140732378707584 140444919501856 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7312] ppid=7302 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7312/stat : 7312 (java) S 7302 7302 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154255579 14320615424 51521 33554432000 4194304 4196468 140732378707584 140444918449008 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7313] ppid=7302 vsize=13984976 memory=960 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7313/stat : 7313 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14320615424 51521 33554432000 4194304 4196468 140732378707584 140444917397328 140445446604699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7314] ppid=7302 vsize=13984976 memory=1232 CPUtime=1.98 cores=0,2,4,6 /proc/7304/task/7314/stat : 7314 (java) S 7302 7302 5085 0 -1 1077944384 15369 0 0 0 196 2 0 0 20 0 15 0 154255581 14320615424 51521 33554432000 4194304 4196468 140732378707584 140444916345712 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7315] ppid=7302 vsize=13984976 memory=2464 CPUtime=1.73 cores=0,2,4,6 /proc/7304/task/7315/stat : 7315 (java) S 7302 7302 5085 0 -1 1077944384 11042 0 0 0 172 1 0 0 20 0 15 0 154255581 14320615424 51521 33554432000 4194304 4196468 140732378707584 140444915292912 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7316] ppid=7302 vsize=13984976 memory=1580 CPUtime=0.63 cores=0,2,4,6 /proc/7304/task/7316/stat : 7316 (java) S 7302 7302 5085 0 -1 1077944384 7418 0 0 0 62 1 0 0 20 0 15 0 154255581 14320615424 51521 33554432000 4194304 4196468 140732378707584 140444914240112 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7317] ppid=7302 vsize=13984976 memory=928 CPUtime=0 cores=0,2,4,6 /proc/7304/task/7317/stat : 7317 (java) S 7302 7302 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154255581 14320615424 51521 33554432000 4194304 4196468 140732378707584 140444913187552 140445446596309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 [pid=7304/tid=7318] ppid=7302 vsize=13984976 memory=2244 CPUtime=0.07 cores=0,2,4,6 /proc/7304/task/7318/stat : 7318 (java) S 7302 7302 5085 0 -1 1077944384 1020 0 0 0 3 4 0 0 20 0 15 0 154255582 14320615424 51521 33554432000 4194304 4196468 140732378707584 140444912134832 140445446597250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 22781952 140732378711197 140732378711372 140732378711372 140732378714063 0 Current children cumulated CPU time: 244.43 s Current children cumulated vsize: 13994488 KiB Current children cumulated memory: 207468 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+240.027 s] # the end of solver process 7302 was just reported to runsolver # cumulated CPU time of all completed processes: user=0 s, system=0.001983 s [startup+240.036 s] # the end of solver process 7304 was just reported to runsolver # cumulated CPU time of all completed processes: user=244.331 s, system=0.181037 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 Child status: 143 Real time (s): 240.036 CPU time (s): 244.512 CPU user time (s): 244.331 CPU system time (s): 0.181037 CPU usage (%): 101.865 Max. virtual memory (cumulated for all children) (KiB): 13996444 Max. memory (cumulated for all children) (KiB): 207468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 244.331 system time used= 0.181037 maximum resident set size= 221096 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51452 page faults= 0 swaps= 0 block input operations= 0 block output operations= 384 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7823 involuntary context switches= 458 # summary of solver processes directly reported to runsolver: # pid: 7302,7304 # total CPU time (s): 244.512 # total CPU user time (s): 244.331 # total CPU system time (s): 0.181037 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.70004 second user time and 2.08505 second system time The end
Begin job on node150 at 2017-08-20 08:34:46 IDJOB=4282781 IDBENCH=124232 IDSOLVER=2678 FILE ID=node150/4282781-1503211746 RUNJOBID= node150-1503208459-5116 PBS_JOBID= 20630864 Free space on /tmp= 61764 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t08-9.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4282781-1503211746/watcher-4282781-1503211746 -o /tmp/evaluation-result-4282781-1503211746/solver-4282781-1503211746 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node150-1503208459-5116 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 749160750 HOME/instance-4282781-1503211746.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4c656a32ec3c33e829e63e71b466a9e3 RANDOM SEED=749160750 node150.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 : 5332.89 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 : 5332.89 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 : 5332.89 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 : 5332.89 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: 20123036 kB MemAvailable: 29430044 kB Buffers: 301988 kB Cached: 9283636 kB SwapCached: 0 kB Active: 5305068 kB Inactive: 6862780 kB Active(anon): 2532592 kB Inactive(anon): 85796 kB Active(file): 2772476 kB Inactive(file): 6776984 kB Unevictable: 7260 kB Mlocked: 7260 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7772 kB Writeback: 0 kB AnonPages: 2589564 kB Mapped: 64408 kB Shmem: 33416 kB Slab: 173312 kB SReclaimable: 146764 kB SUnreclaim: 26548 kB KernelStack: 3520 kB PageTables: 10296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3894908 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2471936 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61756 MiB End job on node150 at 2017-08-20 08:38:46