Trace number 4402812

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.3OPT506362597 168.541 81.7951

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-20-0420_c18.xml
MD5SUMa9a1ecda6b6f8f1e99c2d233168bcaa1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark506362597
Best CPU time to get the best result obtained on this benchmark126.294
Satisfiable
(Un)Satisfiability was proved
Number of variables7590
Number of constraints4736
Number of domains77
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":2665},{"size":11,"count":2250},{"size":12,"count":1},{"size":25,"count":16},{"size":29,"count":112},{"size":33,"count":7},{"size":35,"count":61},{"size":39,"count":31},{"size":41,"count":3},{"size":44,"count":12},{"size":45,"count":29},{"size":47,"count":9},{"size":48,"count":23},{"size":49,"count":22},{"size":50,"count":3},{"size":51,"count":51},{"size":52,"count":61},{"size":54,"count":8},{"size":57,"count":6},{"size":58,"count":4},{"size":59,"count":3},{"size":60,"count":3},{"size":61,"count":12},{"size":63,"count":25},"...",{"size":92,"count":2}, {"size":93,"count":25}, {"size":97,"count":3}, {"size":101,"count":4}, {"size":102,"count":9}, {"size":103,"count":191}, {"size":105,"count":1}, {"size":108,"count":5}, {"size":109,"count":2}, {"size":111,"count":1}, {"size":112,"count":6}, {"size":115,"count":10}, {"size":116,"count":22}, {"size":118,"count":95}, {"size":122,"count":59}, {"size":123,"count":1}, {"size":124,"count":1}, {"size":125,"count":117}, {"size":126,"count":92}, {"size":127,"count":5}, {"size":137,"count":27}, {"size":138,"count":29}, {"size":140,"count":24}, {"size":141,"count":77}, {"size":151,"count":1259}]
Minimum variable degree2
Maximum variable degree2251
Distribution of variable degrees[{"degree":2,"count":6752},{"degree":3,"count":9},{"degree":4,"count":14},{"degree":5,"count":23},{"degree":6,"count":28},{"degree":7,"count":33},{"degree":8,"count":45},{"degree":9,"count":53},{"degree":10,"count":63},{"degree":11,"count":79},{"degree":12,"count":105},{"degree":13,"count":196},{"degree":14,"count":147},{"degree":15,"count":22},{"degree":16,"count":8},{"degree":17,"count":9},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":2251,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":237},{"arity":3,"count":2249},{"arity":6,"count":2250}]
Number of extensional constraints2250
Number of intensional constraints2486
Distribution of constraint types[{"type":"extension","count":2250},{"type":"intension","count":2486}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.79/0.55	c Concrete v3.12.3.1568965526260 running
167.11/81.31	o 506362604
168.04/81.69	o 506362597
168.37/81.73	v <instantiation
168.37/81.73	v         cost = '506362597'>
168.37/81.73	v       <list>
168.37/81.73	v         f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] 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] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v1[2177] v1[2178] v1[2179] v1[2180] v1[2181] v1[2182] v1[2183] v1[2184] v1[2185] v1[2186] v1[2187] v1[2188] v1[2189] v1[2190] v1[2191] v1[2192] v1[2193] v1[2194] v1[2195] v1[2196] v1[2197] v1[2198] v1[2199] v1[2200] v1[2201] v1[2202] v1[2203] v1[2204] v1[2205] v1[2206] v1[2207] v1[2208] v1[2209] v1[2210] v1[2211] v1[2212] v1[2213] v1[2214] v1[2215] v1[2216] v1[2217] v1[2218] v1[2219] v1[2220] v1[2221] v1[2222] v1[2223] v1[2224] v1[2225] v1[2226] v1[2227] v1[2228] v1[2229] v1[2230] v1[2231] v1[2232] v1[2233] v1[2234] v1[2235] v1[2236] v1[2237] v1[2238] v1[2239] v1[2240] v1[2241] v1[2242] v1[2243] v1[2244] v1[2245] v1[2246] v1[2247] v1[2248] v1[2249] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] v2[2177] v2[2178] v2[2179] v2[2180] v2[2181] v2[2182] v2[2183] v2[2184] v2[2185] v2[2186] v2[2187] v2[2188] v2[2189] v2[2190] v2[2191] v2[2192] v2[2193] v2[2194] v2[2195] v2[2196] v2[2197] v2[2198] v2[2199] v2[2200] v2[2201] v2[2202] v2[2203] v2[2204] v2[2205] v2[2206] v2[2207] v2[2208] v2[2209] v2[2210] v2[2211] v2[2212] v2[2213] v2[2214] v2[2215] v2[2216] v2[2217] v2[2218] v2[2219] v2[2220] v2[2221] v2[2222] v2[2223] v2[2224] v2[2225] v2[2226] v2[2227] v2[2228] v2[2229] v2[2230] v2[2231] v2[2232] v2[2233] v2[2234] v2[2235] v2[2236] v2[2237] v2[2238] v2[2239] v2[2240] v2[2241] v2[2242] v2[2243] v2[2244] v2[2245] v2[2246] v2[2247] v2[2248] v2[2249] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176] d[2177] d[2178] d[2179] d[2180] d[2181] d[2182] d[2183] d[2184] d[2185] d[2186] d[2187] d[2188] d[2189] d[2190] d[2191] d[2192] d[2193] d[2194] d[2195] d[2196] d[2197] d[2198] d[2199] d[2200] d[2201] d[2202] d[2203] d[2204] d[2205] d[2206] d[2207] d[2208] d[2209] d[2210] d[2211] d[2212] d[2213] d[2214] d[2215] d[2216] d[2217] d[2218] d[2219] d[2220] d[2221] d[2222] d[2223] d[2224] d[2225] d[2226] d[2227] d[2228] d[2229] d[2230] d[2231] d[2232] d[2233] d[2234] d[2235] d[2236] d[2237] d[2238] d[2239] d[2240] d[2241] d[2242] d[2243] d[2244] d[2245] d[2246] d[2247] d[2248]
168.37/81.74	v       </list>
168.37/81.74	v       <values>
168.37/81.74	v         2808 2528 2488 2524 2504 2464 2744 2260 2348 2372 2516 2464 2556 2288 2716 2544 2780 2808 2588 2616 2504 2376 2556 2628 2664 2448 2296 2572 2408 2632 2532 2420 2720 2556 2688 2808 2628 2604 2588 2316 2568 2284 2704 2392 2608 2676 2264 2328 2352 2492 2756 2556 2276 2652 2716 2780 2304 2612 2532 2688 2608 2628 2744 2676 2628 2504 2260 2764 2516 2220 2776 2632 2620 2612 2612 2428 2676 2588 2788 2676 2648 2596 2568 2628 2764 2660 2308 2556 2296 2484 2328 2504 2632 2776 2672 2260 2728 2276 2300 2816 2508 2260 2628 2620 2704 2404 2648 2640 2612 2644 2664 2588 2276 2712 2608 2756 2392 2300 2780 2628 2456 2772 2780 2500 2780 2516 2780 2588 2336 2608 2688 2720 2740 2560 2636 2352 2556 2628 2524 2336 2360 2776 2556 2392 2408 2620 2732 2652 2556 2780 2604 2260 2556 2336 2276 2636 2728 2220 2716 2656 2532 2668 2532 2648 2680 2588 2592 2532 2392 2508 2380 2380 2688 2596 2504 2584 2680 2716 2652 2504 2700 2784 2516 2820 2448 2244 2716 2624 2620 2800 2312 2388 2556 2260 2236 2608 2236 2820 2628 2352 2572 2592 2580 2260 2464 2556 2816 2752 2300 2572 2648 2760 2364 2340 2360 2660 2720 2788 2756 2664 2768 2624 2484 2712 2608 2664 2768 2352 2748 2468 2816 2568 2520 2516 2628 2416 2284 2780 2680 2296 2748 2640 2784 2400 2568 2236 2232 2568 2516 2284 2768 2636 2336 2580 2244 2712 2348 2220 2516 2652 2332 2284 2648 2724 2516 2588 2796 2680 2220 2628 2400 2552 2440 2764 2492 2232 2340 2756 2628 2672 2592 2720 2424 2612 2612 2716 2528 2748 2392 2752 2260 2680 2740 2680 2244 2820 2220 2392 2820 2656 2260 2740 2568 2608 2612 2804 2420 2648 2588 2528 2528 2516 2676 2648 2492 2664 2820 2712 2680 2816 2660 2712 2612 2632 2704 2756 2720 2468 2516 2372 2288 2664 2804 2244 2296 2404 2820 2380 2752 2708 2316 2464 2272 2480 2800 2488 2356 2632 2528 2636 2596 2528 2272 2608 2672 2720 2332 2644 2752 2728 2492 2588 2336 2464 2720 2220 2308 2260 2284 2556 2628 2760 2752 2324 2680 2380 2588 2596 2588 2568 2540 2260 2780 2776 2752 2624 2304 2516 2716 2264 2628 2704 2648 2300 2652 2352 2608 2492 2628 2680 2588 2608 2588 2556 2516 2780 2820 2516 2464 2688 2648 2668 2712 2272 2616 2352 2364 2220 2556 2716 1 0 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 0 1 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 1 0 1 1 1 1 1 0 1 1 0 0 1 0 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 1 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 548 300 88 180 428 292 468 340 80 92 136 36 24 84 228 28 28 28 80 152 176 60 240 68 116 136 276 256 96 332 268 124 100 172 40 148 284 240 104 248 144 244 280 296 196 236 304 4 244 152 184 312 88 80 108 232 148 144 92 160 164 164 212 184 188 84 352 48 128 52 144 212 240 484 124 28 500 296 372 40 520 332 296 292 44 208 264 40 136 176 304 88 64 420 280 316 180 24 404 348 36 264 284 368 32 428 36 332 216 116 256 256 112 112 164 52 148 72 244 172 40 224 136 60 148 316 160 112 104 168 164 76 184 52 32 100 176 72 224 72 36 312 284 76 296 64 492 520 40 20 196 28 432 336 4 480 392 376 300 160 496 16 36 136 68 316 136 68 40 104 12 144 120 44 64 188 164 172 164 128 452 16 472 256 520 12 128 152 116 28 68 64 480 196 220 252 184 160 524 180 56 140 96 8 24 80 288 72 60 108 40 72 208 140 160 320 280 340 40 168 184 252 4 244 152 4 252 12 84 112 148 40 84 216 64 152 236 260 180 16 212 212 252 72 336 32 132 224 244 256 192 52 12 120 64 124 72 8 20 48 8 188 112 276 112 12 336 388 4 316 60 56 88 156 48 376 356 40 164 328 160 40 116 292 228 44 352 148 304 148 168 392 292 292 36 208 220 36 220 220 460 412 32 208 216 192 48 180 88 340 40 180 232 140 84 220 368 112 4 72 132 188 392 172 204 332 344 200 76 188 168 136 164 292 88 64 192 16 208 324 80 160 200 188 152 396 376 96 96 136 120 24 68 408 36 112 256 112 256 72 52 204 156 296 164 92 68 96 404 36 60 96 100 524 508 32 140 40 324 564 220 368 56 184 40 60 16 160 344 136 328 344 8 124 216 56 76 8 212 200 76 332 324 32 328 92 188 72 188 328 92 124 8 40 72 296 316 348 308 500 364 272 364 332 148 272 148 292 44 208 68 332 144 236 164 232 28 184 48 204 344 44 8 484 340 200 132 64 368 536 424 96 136 316 364 188 112 176 176 124 108 288 36 148 80 64 112 52 216 248 64 144 128 12 112 104 348 248 152 316 340 212 100 424 240 252 116 520 24 92 488 440 336 424 4 340 132 256 216 72 136 140 192 140 92 64 80 248 188 136 108 496 168 316 332 64 64 496 160 108 456 160 76 204 124 40 124 268 40 336 500 504 332 132 360 40 20 380 128 60 484 88 32 20 4 96 24 128 272 132 4 392 388 24 412 108 212 200 480 200 104 40 16 52 40 560 168 32 388 24 68 292 508 428 284 452 332 376 516 8 376 476 516 164 204 24 376 100 316 280 44 128 148 16 4 248 272 216 264 68 176 260 248 76 88 60 152 348 172 388 172 300 40 144 384 192 44 320 4 188 508 24 80 228 76 388 136 76 188 104 324 96 104 4 136 412 48 276 188 136 16 148 52 124 36 108 144 316 120 12 248 388 320 308 392 420 40 104 208 248 232 248 464 84 124 60 504 248 88 112 240 136 112 300 100 164 240 240 12 172 92 80 492 204 160 388 160 368 244 480 372 4 440 120 124 328 16 412 540 164 36 40 404 444 24 168 124 20 252 12 332 292 40 164 148 64 284 120 64 164 240 184 128 276 56 328 68 208 16 92 392 252 40 148 28 40 368 16 44 168 104 96 56 168 220 288 192 88 356 208 100 284 220 16 120 92 4 128 48 48 160 40 40 96 72 32 24 512 60 168 36 556 40 16 76 300 260 516 436 4 44 12 40 96 44 456 120 160 28 160 312 4 140 144 68 72 56 176 64 216 220 152 80 80 52 40 84 12 120 60 80 80 76 212 12 68 104 156 112 344 44 20 100 276 136 488 12 140 544 40 52 276 236 120 412 60 52 176 324 328 508 460 372 356 444 360 404 296 260 148 12 52 88 12 52 108 484 40 20 360 300 356 464 316 444 340 312 92 40 20 140 332 180 128 268 228 52 228 448 340 388 156 424 384 20 252 152 152 144 124 284 244 236 108 216 152 296 48 20 64 104 120 96 92 4 168 444 120 24 440 16 24 124 52 216 156 360 52 84 4 40 556 388 40 560 156 520 452 84 108 124 468 376 20 16 36 496 92 116 76 24 412 40 376 44 56 8 472 116 436 368 440 516 348 348 216 152 208 188 84 180 580 56 220 64 64 168 8 288 248 40 200 272 460 204 496 256 520 408 240 56 36 48 136 136 152 160 376 308 40 280 180 324 156 156 104 104 56 92 56 176 24 68 128 396 40 208 164 412 72 348 148 144 28 120 52 132 132 184 176 52 72 376 64 4 328 328 16 40 384 144 104 68 252 176 116 16 160 108 372 208 140 16 272 176 136 56 364 132 56 20 20 172 60 60 328 240 492 72 476 544 436 56 32 348 68 196 436 60 264 348 476 100 64 76 380 40 84 308 112 60 228 40 40 148 348 56 112 52 252 520 132 496 460 28 456 260 108 328 164 260 328 224 296 448 220 376 164 308 444 504 20 544 168 36 408 144 28 172 40 164 100 112 80 248 120 96 192 132 8 184 224 260 120 412 16 56 92 44 144 256 208 8 32 16 188 388 168 252 24 400 464 316 508 280 16 240 88 316 228 128 88 536 100 152 128 232 124 180 236 244 192 372 68 484 140 124 40 20 28 128 164 416 32 116 328 448 76 156 200 312 276 48 132 192 272 152 144 8 132 68 68 456 76 60 200 196 60 336 152 100 36 520 76 44 16 520 32 40 80 4 104 120 36 288 44 52 336 12 276 392 80 152 268 296 140 280 368 336 176 224 108 116 32 92 128 112 112 20 344 136 84 100 288 152 228 56 196 256 248 364 444 92 384 132 444 100 424 140 20 156 156 88 236 356 108 8 292 24 44 64 468 152 220 556 176 260 164 336 264 160 32 376 48 256 236 236 228 304 76 332 4 392 72 352 188 244 44 16 360 168 268 128 144 228 200 40 184 132 304 348 228 488 164 316 88 96 116 136 68 136 36 124 92 192 224 16 484 192 44 344 144 212 216 8 76 148 48 132 312 332 208 348 36 52 12 36 108 312 164 124 112 464 424 28 276 480 300 4 416 272 380 320 172 464 292 540 56 76 340 20 104 232 116 20 272 92 24 68 116 20 16 200 84 456 376 312 468 348 360 296 392 128 416 32 472 444 224 148 224 208 144 16 420 160 20 324 96 288 48 184 320 84 44 380 152 288 172 28 24 120 168 168 8 292 320 128 36 88 28 28 132 248 108 288 12 236 248 88 112 312 140 8 168 100 128 32 208 100 192 28 136 232 292 28 192 140 292 300 208 116 96 268 32 308 32 204 164 16 144 28 220 224 40 8 280 220 176 252 36 244 116 200 200 184 68 88 28 68 68 28 436 124 92 144 68 200 36 40 428 200 108 288 12 252 40 88 84 320 96 152 40 12 64 108 200 132 416 92 440 480 192 484 232 200 232 164 76 200 160 192 200 68 600 428 108 292 176 548 232 368 188 160 228 112 344 272 220 364 80 236 364 192 340 108 144 300 108 44 388 228 132 92 24 268 40 160 188 60 164 468 192 256 268 92 408 216 104 104 36 128 260 92 312 348 488 352 268 400 12 428 580 48 532 392 48 432 480 112 208 40 20 112 80 112 476 60 96 168 564 524 360 416 52 304 304 192 480 148 264 344 136 92 100 40 112 256 120 320 104 4 72 72 24 60 132 124 320 52 80 56 72 68 140 200 116 24 508 368 404 64 408 452 52 332 88 356 292 204 116 532 492 552 92 520 532 264 224 108 72 400 288 228 348 164 216 176 140 192 340 88 232 180 256 76 208 32 68 396 524 124 204 376 204 452 248 272 332 340 440 364 76 312 288 140 420 48 172 132 64 388 56 84 204 40 112 32 76 24 396 528 176 128 16 272 232 188 364 496 496 200 248 16 420 48 88 400 312 284 160 420 52 548 460 144 156 56 284 180 48 28 68 240 136 264 140 56 308 88 376 48 116 348 80 104 112 144 264 148 200 484 28 428 412 496 96 144 396 360 412 176 452 80 336 256 72 212 128 352 276 212 228 184 4 236 300 196 104 4 300 112 164 112 256 120 280 52 112 92 404 4 340 236 344 468 436 40 428 72 148 100 264 152 132 460 152 140 36 292 292 456 320 116 100 4 32 380 64 36 292 8 432 192 140 196 280 208 52 144 60 280 376 136 400 96 516 380 516 572 480 296 412 40 120 232 324 128 212 136 200 72 116 116 440 208 140 396 284 52 16 100 24 72 280 344 76 128 116 320 104 576 44 220 380 52 480 288 108 52 40 396 68 168 60 8 128 300 528 172 584 492 308 132 204 96 12 112 296 72 408 356 72 468 428 420 284 32 472 196 436 432 132 128 384 92 92 424 372 208 36 96 116 112 24 208 344 24 168 132 304 164 392 272 40 136 40 136 156 156 132 180 128 532 236 104 12 448 76 380 296 428 572 84 28 80 372 268 40 248 440 496 512 132 492 200 92 36 304 148 204 44 4 112 224 44 240 140 4 220 124 84 32 260 200 428 456 252 172 64 176 356 36 260 220 104 476 136 360 76 92 40 464 480 444 128 348 420 344 140 36 172 368 32 104 408 132 84 388 484 344 160 504 548 200 428 412 308 484 560 320 252 120 40 112 340 140 212 84 60 96 292 76 336 20 124 376 68 152 236 184 84 40 112 364 20 296 60 76 160 28 452 252 40 60 132 192 128 40 212 256 160 176 284 148 268 212 296 92 4 80 40 184 160 32 56 56 304 548 512 140 224 184 440 112 52 124 180 64 144 92 344 28 492 404 24 168 92 208 36 236 200 40 264 100 40 380 216 68 20 88 64 340 16 532 288 116 352 108 272 348 312 68 356 248 212 172 600 32 36 80 372 208 128 200 124 416 128 340 48 148 184 436 40 276 140 324 148 44 176 304 176 228 20 112 68 56 132 420 276 136 372 428 84 96 136 252 40 424 416 124 92 556 496 368 468 4 232 72 52 88 88 8 388 392 420 128 56 232 16 296 256 68 472 260 556 136 388 112 132 252 92 28 64 36 128 224 44 80 252
168.37/81.74	v       </values>
168.37/81.74	v     </instantiation>
168.37/81.74	s OPTIMUM FOUND

Verifier Data

OK	506362597

Watcher Data

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 (3083 MiB free)
  memory of node 1: 16384 MiB (3027 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402812-1568987812/watcher-4402812-1568987812 -o /var/tmp/evaluation-result-4402812-1568987812/solver-4402812-1568987812 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node126-1568967600-16259 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1048661505 HOME/instance-4402812-1568987812.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=21435, runsolver pid=21432

[startup+0.100163 s]*
/proc/loadavg: 1.31 1.43 1.42 3/219 21492
/proc/meminfo: memFree=6251196/32770624 swapFree=66993192/67108860
[pid=21435] ppid=21432 vsize=9972712 memory=18860 CPUtime=0.09 cores=0,2,4,6
/proc/21435/stat : 21435 (java) S 21432 21435 16228 0 -1 1077944320 4473 13273 0 0 1 0 5 3 20 0 6 0 475049067 10212057088 4715 33554432000 4194304 4196468 140736263948880 140736263931424 140127283343095 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
/proc/21435/statm: 2493178 4715 1934 1 0 2481616 0
[pid=21435/tid=21488] ppid=21432 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21488/stat : 21488 (java) R 21432 21435 16228 0 -1 4202560 2265 13273 0 0 0 0 5 3 20 0 6 0 475049076 10212057088 4715 33554432000 4194304 4196468 140736263948880 140127255179856 140127283365021 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21489] ppid=21432 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21489/stat : 21489 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 6 0 475049076 10212057088 4715 33554432000 4194304 4196468 140736263948880 140127287585552 140127283353301 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21490] ppid=21432 vsize=9972712 memory=3472473224232253088 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21490/stat : 21490 (java) S 21432 21435 16228 0 -1 1077944384 1 13273 0 0 0 0 5 3 20 0 6 0 475049076 10212057088 4715 33554432000 4194304 4196468 140736263948880 140127202405264 140127283353301 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21491] ppid=21432 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21491/stat : 21491 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 6 0 475049076 10212057088 4715 33554432000 4194304 4196468 140736263948880 140126855027728 140127283353301 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21492] ppid=21432 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21492/stat : 21492 (java) S 21432 21435 16228 0 -1 1077944384 3 13273 0 0 0 0 5 3 20 0 6 0 475049076 10212057088 4715 33554432000 4194304 4196468 140736263948880 140126853975184 140127283353301 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18860 KiB

[startup+0.210313 s]*
/proc/loadavg: 1.31 1.43 1.42 3/228 21501
/proc/meminfo: memFree=6228856/32770624 swapFree=66993192/67108860
[pid=21435] ppid=21432 vsize=10820176 memory=45744 CPUtime=0.26 cores=0,2,4,6
/proc/21435/stat : 21435 (java) S 21432 21435 16228 0 -1 1077944320 7329 13273 0 0 17 1 5 3 20 0 15 0 475049067 11079860224 11436 33554432000 4194304 4196468 140736263948880 140736263931424 140127283343095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
/proc/21435/statm: 2705046 11436 3284 1 0 2667149 0
[pid=21435/tid=21488] ppid=21432 vsize=10820196 memory=753035770744996145 CPUtime=0.2 cores=0,2,4,6
/proc/21435/task/21488/stat : 21488 (java) R 21432 21435 16228 0 -1 4202560 3845 13273 0 0 11 1 5 3 20 0 15 0 475049076 11079880704 11436 33554432000 4194304 4196468 140736263948880 140127255154128 140127275580222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21489] ppid=21432 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21489/stat : 21489 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049076 11079880704 11436 33554432000 4194304 4196468 140736263948880 140127287585552 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21490] ppid=21432 vsize=10820196 memory=3472473224232253088 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21490/stat : 21490 (java) S 21432 21435 16228 0 -1 1077944384 1 13273 0 0 0 0 5 3 20 0 15 0 475049076 11079880704 11436 33554432000 4194304 4196468 140736263948880 140127202405264 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21491] ppid=21432 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21491/stat : 21491 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049076 11079880704 11436 33554432000 4194304 4196468 140736263948880 140126855027728 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21492] ppid=21432 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21492/stat : 21492 (java) S 21432 21435 16228 0 -1 1077944384 3 13273 0 0 0 0 5 3 20 0 15 0 475049076 11079880704 11436 33554432000 4194304 4196468 140736263948880 140126853975184 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21493] ppid=21432 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21493/stat : 21493 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049078 11079880704 11436 33554432000 4194304 4196468 140736263948880 140126810015728 140127283354242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21494] ppid=21432 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21494/stat : 21494 (java) S 21432 21435 16228 0 -1 1077944384 13 13273 0 0 0 0 5 3 20 0 15 0 475049078 11079880704 11436 33554432000 4194304 4196468 140736263948880 140126730576800 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21495] ppid=21432 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21495/stat : 21495 (java) S 21432 21435 16228 0 -1 1077944384 1 13273 0 0 0 0 5 3 20 0 15 0 475049079 11079880704 11436 33554432000 4194304 4196468 140736263948880 140126596359152 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21496] ppid=21432 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21496/stat : 21496 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049081 11079880704 11436 33554432000 4194304 4196468 140736263948880 140125992380624 140127283361691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21497] ppid=21432 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21435/task/21497/stat : 21497 (java) S 21432 21435 16228 0 -1 1077944384 479 13273 0 0 1 0 5 3 20 0 15 0 475049081 11079880704 11436 33554432000 4194304 4196468 140736263948880 140126808963568 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21498] ppid=21432 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/21435/task/21498/stat : 21498 (java) R 21432 21435 16228 0 -1 4202560 189 13273 0 0 1 0 5 3 20 0 15 0 475049081 11079880704 11436 33554432000 4194304 4196468 140736263948880 140126807911024 140127266826469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21499] ppid=21432 vsize=10820196 memory=140491289474688 CPUtime=0.11 cores=0,2,4,6
/proc/21435/task/21499/stat : 21499 (java) R 21432 21435 16228 0 -1 1077944384 595 13273 0 0 3 0 5 3 20 0 15 0 475049081 11079880704 11436 33554432000 4194304 4196468 140736263948880 140126806858480 140127283354242 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21500] ppid=21432 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21500/stat : 21500 (java) S 21432 21435 16228 0 -1 1077944384 3 13273 0 0 0 0 5 3 20 0 15 0 475049082 11079880704 11436 33554432000 4194304 4196468 140736263948880 140125522619488 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21501] ppid=21432 vsize=10820196 memory=140491289474688 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21501/stat : 21501 (java) S 21432 21435 16228 0 -1 1077944384 1 13273 0 0 0 0 5 3 20 0 15 0 475049082 11079880704 11436 33554432000 4194304 4196468 140736263948880 140126805805360 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820176 KiB
Current children cumulated memory: 45744 KiB

[startup+0.310507 s]*
/proc/loadavg: 1.31 1.43 1.42 4/228 21501
/proc/meminfo: memFree=6215696/32770624 swapFree=66993192/67108860
[pid=21435] ppid=21432 vsize=10820196 memory=54320 CPUtime=0.4 cores=0,2,4,6
/proc/21435/stat : 21435 (java) S 21432 21435 16228 0 -1 1077944320 10747 13273 0 0 29 3 5 3 20 0 15 0 475049067 11079880704 13580 33554432000 4194304 4196468 140736263948880 140736263931424 140127283343095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
/proc/21435/statm: 2705049 13580 3341 1 0 2667149 0
[pid=21435/tid=21488] ppid=21432 vsize=10820196 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/21435/task/21488/stat : 21488 (java) R 21432 21435 16228 0 -1 4202560 7219 13273 0 0 19 3 5 3 20 0 15 0 475049076 11079880704 13580 33554432000 4194304 4196468 140736263948880 140127255154640 140127283365021 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21489] ppid=21432 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21489/stat : 21489 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049076 11079880704 13580 33554432000 4194304 4196468 140736263948880 140127287585552 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21490] ppid=21432 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21490/stat : 21490 (java) S 21432 21435 16228 0 -1 1077944384 1 13273 0 0 0 0 5 3 20 0 15 0 475049076 11079880704 13580 33554432000 4194304 4196468 140736263948880 140127202405264 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21491] ppid=21432 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21491/stat : 21491 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049076 11079880704 13580 33554432000 4194304 4196468 140736263948880 140126855027728 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21492] ppid=21432 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21492/stat : 21492 (java) S 21432 21435 16228 0 -1 1077944384 3 13273 0 0 0 0 5 3 20 0 15 0 475049076 11079880704 13580 33554432000 4194304 4196468 140736263948880 140126853975184 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21493] ppid=21432 vsize=10820196 memory=140491289474687 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21493/stat : 21493 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049078 11079880704 13580 33554432000 4194304 4196468 140736263948880 140126810015728 140127283354242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21494] ppid=21432 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21494/stat : 21494 (java) S 21432 21435 16228 0 -1 1077944384 13 13273 0 0 0 0 5 3 20 0 15 0 475049078 11079880704 13580 33554432000 4194304 4196468 140736263948880 140126730576800 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21495] ppid=21432 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21495/stat : 21495 (java) S 21432 21435 16228 0 -1 1077944384 1 13273 0 0 0 0 5 3 20 0 15 0 475049079 11079880704 13580 33554432000 4194304 4196468 140736263948880 140126596359152 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21496] ppid=21432 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21496/stat : 21496 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049081 11079880704 13580 33554432000 4194304 4196468 140736263948880 140125992380624 140127283361691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21497] ppid=21432 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21435/task/21497/stat : 21497 (java) S 21432 21435 16228 0 -1 1077944384 479 13273 0 0 1 0 5 3 20 0 15 0 475049081 11079880704 13580 33554432000 4194304 4196468 140736263948880 140126808963568 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21498] ppid=21432 vsize=10820196 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/21435/task/21498/stat : 21498 (java) S 21432 21435 16228 0 -1 1077944384 199 13273 0 0 2 0 5 3 20 0 15 0 475049081 11079880704 13580 33554432000 4194304 4196468 140736263948880 140126807911024 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21499] ppid=21432 vsize=10820196 memory=140491289474688 CPUtime=0.13 cores=0,2,4,6
/proc/21435/task/21499/stat : 21499 (java) S 21432 21435 16228 0 -1 1077944384 615 13273 0 0 5 0 5 3 20 0 15 0 475049081 11079880704 13580 33554432000 4194304 4196468 140736263948880 140126806858480 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21500] ppid=21432 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21500/stat : 21500 (java) S 21432 21435 16228 0 -1 1077944384 3 13273 0 0 0 0 5 3 20 0 15 0 475049082 11079880704 13580 33554432000 4194304 4196468 140736263948880 140125522619488 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21501] ppid=21432 vsize=10820196 memory=140491289474688 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21501/stat : 21501 (java) S 21432 21435 16228 0 -1 1077944384 1 13273 0 0 0 0 5 3 20 0 15 0 475049082 11079880704 13580 33554432000 4194304 4196468 140736263948880 140126805805360 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54320 KiB

[startup+0.700747 s]
/proc/loadavg: 1.31 1.43 1.42 3/228 21501
/proc/meminfo: memFree=6200936/32770624 swapFree=66993192/67108860
[pid=21435] ppid=21432 vsize=10824364 memory=87440 CPUtime=1.15 cores=0,2,4,6
/proc/21435/stat : 21435 (java) S 21432 21435 16228 0 -1 1077944320 15079 13273 0 0 102 5 5 3 20 0 15 0 475049067 11084148736 21860 33554432000 4194304 4196468 140736263948880 140736263931424 140127283343095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
/proc/21435/statm: 2706091 21860 3507 1 0 2668173 0
[pid=21435/tid=21488] ppid=21432 vsize=10824364 memory=7660742144744843625 CPUtime=0.67 cores=0,2,4,6
/proc/21435/task/21488/stat : 21488 (java) R 21432 21435 16228 0 -1 4202560 10422 13273 0 0 55 4 5 3 20 0 15 0 475049076 11084148736 21860 33554432000 4194304 4196468 140736263948880 140127255172640 140127283365021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21489] ppid=21432 vsize=10824364 memory=1212 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21489/stat : 21489 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049076 11084148736 21860 33554432000 4194304 4196468 140736263948880 140127287585552 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21490] ppid=21432 vsize=10824364 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21490/stat : 21490 (java) S 21432 21435 16228 0 -1 1077944384 1 13273 0 0 0 0 5 3 20 0 15 0 475049076 11084148736 21860 33554432000 4194304 4196468 140736263948880 140127202405264 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21491] ppid=21432 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21491/stat : 21491 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049076 11084148736 21860 33554432000 4194304 4196468 140736263948880 140126855027728 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21492] ppid=21432 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21492/stat : 21492 (java) S 21432 21435 16228 0 -1 1077944384 3 13273 0 0 0 0 5 3 20 0 15 0 475049076 11084148736 21860 33554432000 4194304 4196468 140736263948880 140126853975184 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21493] ppid=21432 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21493/stat : 21493 (java) S 21432 21435 16228 0 -1 1077944384 6 13273 0 0 0 0 5 3 20 0 15 0 475049078 11084148736 21860 33554432000 4194304 4196468 140736263948880 140126810015728 140127283354242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21494] ppid=21432 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21494/stat : 21494 (java) S 21432 21435 16228 0 -1 1077944384 13 13273 0 0 0 0 5 3 20 0 15 0 475049078 11084148736 21860 33554432000 4194304 4196468 140736263948880 140126730576800 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21495] ppid=21432 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21495/stat : 21495 (java) S 21432 21435 16228 0 -1 1077944384 1 13273 0 0 0 0 5 3 20 0 15 0 475049079 11084148736 21860 33554432000 4194304 4196468 140736263948880 140126596359152 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21496] ppid=21432 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21496/stat : 21496 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049081 11084148736 21860 33554432000 4194304 4196468 140736263948880 140125992380624 140127283361691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21497] ppid=21432 vsize=10824364 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/21435/task/21497/stat : 21497 (java) S 21432 21435 16228 0 -1 1077944384 952 13273 0 0 15 0 5 3 20 0 15 0 475049081 11084148736 21860 33554432000 4194304 4196468 140736263948880 140126808963568 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21498] ppid=21432 vsize=10824364 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/21435/task/21498/stat : 21498 (java) R 21432 21435 16228 0 -1 4202560 638 13273 0 0 13 0 5 3 20 0 15 0 475049081 11084148736 21860 33554432000 4194304 4196468 140736263948880 140126807900016 140127266842487 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21499] ppid=21432 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/21435/task/21499/stat : 21499 (java) S 21432 21435 16228 0 -1 1077944384 828 13273 0 0 17 0 5 3 20 0 15 0 475049081 11084148736 21860 33554432000 4194304 4196468 140736263948880 140126806858480 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21500] ppid=21432 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21500/stat : 21500 (java) S 21432 21435 16228 0 -1 1077944384 3 13273 0 0 0 0 5 3 20 0 15 0 475049082 11084148736 21860 33554432000 4194304 4196468 140736263948880 140125522619488 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21501] ppid=21432 vsize=10824364 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21501/stat : 21501 (java) S 21432 21435 16228 0 -1 1077944384 1 13273 0 0 0 0 5 3 20 0 15 0 475049082 11084148736 21860 33554432000 4194304 4196468 140736263948880 140126805805360 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87440 KiB

[startup+1.50078 s]
/proc/loadavg: 1.31 1.43 1.42 6/228 21501
/proc/meminfo: memFree=6001240/32770624 swapFree=66993192/67108860
[pid=21435] ppid=21432 vsize=10826488 memory=483172 CPUtime=3.46 cores=0,2,4,6
/proc/21435/stat : 21435 (java) S 21432 21435 16228 0 -1 1077944320 20628 13273 0 0 295 43 5 3 20 0 15 0 475049067 11086323712 120793 33554432000 4194304 4196468 140736263948880 140736263931424 140127283343095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
/proc/21435/statm: 2706622 120793 3589 1 0 2668685 0
[pid=21435/tid=21488] ppid=21432 vsize=10826488 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/21435/task/21488/stat : 21488 (java) R 21432 21435 16228 0 -1 4202560 11330 13273 0 0 109 10 5 3 20 0 15 0 475049076 11086323712 120802 33554432000 4194304 4196468 140736263948880 140127255173856 140126881710630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21489] ppid=21432 vsize=10826488 memory=-7522837583129502606 CPUtime=0.25 cores=0,2,4,6
/proc/21435/task/21489/stat : 21489 (java) S 21432 21435 16228 0 -1 1077944384 442 13273 0 0 10 7 5 3 20 0 15 0 475049076 11086323712 120802 33554432000 4194304 4196468 140736263948880 140127287585552 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21490] ppid=21432 vsize=10826488 memory=7521946406555247955 CPUtime=0.25 cores=0,2,4,6
/proc/21435/task/21490/stat : 21490 (java) S 21432 21435 16228 0 -1 1077944384 496 13273 0 0 10 7 5 3 20 0 15 0 475049076 11086323712 120802 33554432000 4194304 4196468 140736263948880 140127202405264 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21491] ppid=21432 vsize=10826488 memory=7881973728201173080 CPUtime=0.25 cores=0,2,4,6
/proc/21435/task/21491/stat : 21491 (java) S 21432 21435 16228 0 -1 1077944384 299 13273 0 0 10 7 5 3 20 0 15 0 475049076 11086323712 120802 33554432000 4194304 4196468 140736263948880 140126855027728 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21492] ppid=21432 vsize=10826488 memory=280982263867744 CPUtime=0.24 cores=0,2,4,6
/proc/21435/task/21492/stat : 21492 (java) S 21432 21435 16228 0 -1 1077944384 448 13273 0 0 9 7 5 3 20 0 15 0 475049076 11086323712 120802 33554432000 4194304 4196468 140736263948880 140126853975184 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21493] ppid=21432 vsize=10826488 memory=232538119382965 CPUtime=0.09 cores=0,2,4,6
/proc/21435/task/21493/stat : 21493 (java) S 21432 21435 16228 0 -1 1077944384 307 13273 0 0 1 0 5 3 20 0 15 0 475049078 11086323712 120802 33554432000 4194304 4196468 140736263948880 140126810015728 140127283354242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21494] ppid=21432 vsize=10826488 memory=232538119382966 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21494/stat : 21494 (java) S 21432 21435 16228 0 -1 1077944384 15 13273 0 0 0 0 5 3 20 0 15 0 475049078 11086323712 120802 33554432000 4194304 4196468 140736263948880 140126730576800 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21495] ppid=21432 vsize=10826488 memory=232538119382967 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21495/stat : 21495 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049079 11086323712 120802 33554432000 4194304 4196468 140736263948880 140126596359168 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21496] ppid=21432 vsize=10826488 memory=232538119382968 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21496/stat : 21496 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049081 11086323712 120802 33554432000 4194304 4196468 140736263948880 140125992380624 140127283361691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21497] ppid=21432 vsize=10826488 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/21435/task/21497/stat : 21497 (java) R 21432 21435 16228 0 -1 4202560 1775 13273 0 0 50 0 5 3 20 0 15 0 475049081 11086323712 120802 33554432000 4194304 4196468 140736263948880 140126808949448 140127261746542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21498] ppid=21432 vsize=10826488 memory=280982263461808 CPUtime=0.64 cores=0,2,4,6
/proc/21435/task/21498/stat : 21498 (java) R 21432 21435 16228 0 -1 4202560 1839 13273 0 0 56 0 5 3 20 0 15 0 475049081 11086323712 120802 33554432000 4194304 4196468 140736263948880 140126807897048 140127268460256 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21499] ppid=21432 vsize=10826488 memory=280982263459952 CPUtime=0.43 cores=0,2,4,6
/proc/21435/task/21499/stat : 21499 (java) R 21432 21435 16228 0 -1 4202560 1465 13273 0 0 35 0 5 3 20 0 15 0 475049081 11086323712 120802 33554432000 4194304 4196468 140736263948880 140126806858480 140127283364442 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21500] ppid=21432 vsize=10826488 memory=280982263460016 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21500/stat : 21500 (java) S 21432 21435 16228 0 -1 1077944384 3 13273 0 0 0 0 5 3 20 0 15 0 475049082 11086323712 120802 33554432000 4194304 4196468 140736263948880 140125522619488 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21501] ppid=21432 vsize=10826488 memory=280982263907536 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21501/stat : 21501 (java) S 21432 21435 16228 0 -1 1077944384 1 13273 0 0 0 0 5 3 20 0 15 0 475049082 11086323712 120802 33554432000 4194304 4196468 140736263948880 140126805805360 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
Current children cumulated CPU time: 3.46 s
Current children cumulated vsize: 10826488 KiB

################
# More data... #
################

[pid=21435/tid=21500] ppid=21432 vsize=10849036 memory=-7161732098442470212 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21500/stat : 21500 (java) S 21432 21435 16228 0 -1 1077944384 3 13273 0 0 0 0 5 3 20 0 15 0 475049082 11109412864 1139918 33554432000 4194304 4196468 140736263948880 140125522619488 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21501] ppid=21432 vsize=10849036 memory=6645459911560372124 CPUtime=0.12 cores=0,2,4,6
/proc/21435/task/21501/stat : 21501 (java) S 21432 21435 16228 0 -1 1077944384 1477 13273 0 0 1 3 5 3 20 0 15 0 475049082 11109412864 1139918 33554432000 4194304 4196468 140736263948880 140126805805360 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
Current children cumulated CPU time: 163.49 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4559672 KiB

[startup+80.8007 s]
/proc/loadavg: 2.36 1.70 1.52 5/228 21509
/proc/meminfo: memFree=1696220/32770624 swapFree=66993192/67108860
[pid=21435] ppid=21432 vsize=10849036 memory=4560924 CPUtime=165.54 cores=0,2,4,6
/proc/21435/stat : 21435 (java) S 21432 21435 16228 0 -1 1077944320 345264 13273 0 0 16102 444 5 3 20 0 15 0 475049067 11109412864 1140231 33554432000 4194304 4196468 140736263948880 140736263931424 140127283343095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
/proc/21435/statm: 2712259 1140231 3640 1 0 2674317 0
[pid=21435/tid=21488] ppid=21432 vsize=10849036 memory=6791534058613427641 CPUtime=54.89 cores=0,2,4,6
/proc/21435/task/21488/stat : 21488 (java) R 21432 21435 16228 0 -1 4202560 59736 13273 0 0 5439 42 5 3 20 0 15 0 475049076 11109412864 1140231 33554432000 4194304 4196468 140736263948880 140127255170208 140126901808431 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21489] ppid=21432 vsize=10849036 memory=6791534058613427641 CPUtime=22.44 cores=0,2,4,6
/proc/21435/task/21489/stat : 21489 (java) S 21432 21435 16228 0 -1 1077944384 37287 13273 0 0 2142 94 5 3 20 0 15 0 475049076 11109412864 1140231 33554432000 4194304 4196468 140736263948880 140127287585552 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21490] ppid=21432 vsize=10849036 memory=1688 CPUtime=22.46 cores=0,2,4,6
/proc/21435/task/21490/stat : 21490 (java) S 21432 21435 16228 0 -1 1077944384 39127 13273 0 0 2138 100 5 3 20 0 15 0 475049076 11109412864 1140231 33554432000 4194304 4196468 140736263948880 140127202405264 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21491] ppid=21432 vsize=10849036 memory=1984 CPUtime=22.72 cores=0,2,4,6
/proc/21435/task/21491/stat : 21491 (java) S 21432 21435 16228 0 -1 1077944384 67269 13273 0 0 2170 94 5 3 20 0 15 0 475049076 11109412864 1140231 33554432000 4194304 4196468 140736263948880 140126855027728 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21492] ppid=21432 vsize=10849036 memory=2672 CPUtime=22.79 cores=0,2,4,6
/proc/21435/task/21492/stat : 21492 (java) S 21432 21435 16228 0 -1 1077944384 35271 13273 0 0 2178 93 5 3 20 0 15 0 475049076 11109412864 1140231 33554432000 4194304 4196468 140736263948880 140126853975184 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21493] ppid=21432 vsize=10849036 memory=1440 CPUtime=2.95 cores=0,2,4,6
/proc/21435/task/21493/stat : 21493 (java) S 21432 21435 16228 0 -1 1077944384 41862 13273 0 0 284 3 5 3 20 0 15 0 475049078 11109412864 1140231 33554432000 4194304 4196468 140736263948880 140126810015728 140127283354242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21494] ppid=21432 vsize=10849036 memory=784 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21494/stat : 21494 (java) S 21432 21435 16228 0 -1 1077944384 43 13273 0 0 0 0 5 3 20 0 15 0 475049078 11109412864 1140231 33554432000 4194304 4196468 140736263948880 140126730576864 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21495] ppid=21432 vsize=10849036 memory=4556736 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21495/stat : 21495 (java) S 21432 21435 16228 0 -1 1077944384 32 13273 0 0 0 0 5 3 20 0 15 0 475049079 11109412864 1140231 33554432000 4194304 4196468 140736263948880 140126596359168 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21496] ppid=21432 vsize=10849036 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21496/stat : 21496 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049081 11109412864 1140231 33554432000 4194304 4196468 140736263948880 140125992380624 140127283361691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21497] ppid=21432 vsize=10849036 memory=4553024 CPUtime=7.58 cores=0,2,4,6
/proc/21435/task/21497/stat : 21497 (java) R 21432 21435 16228 0 -1 4202560 21940 13273 0 0 747 3 5 3 20 0 15 0 475049081 11109412864 1140231 33554432000 4194304 4196468 140736263948880 140126808948320 140127266839883 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21498] ppid=21432 vsize=10849036 memory=14008 CPUtime=7.57 cores=0,2,4,6
/proc/21435/task/21498/stat : 21498 (java) R 21432 21435 16228 0 -1 4202560 20494 13273 0 0 746 3 5 3 20 0 15 0 475049081 11109412864 1140231 33554432000 4194304 4196468 140736263948880 140126807900320 140127266839879 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21499] ppid=21432 vsize=10849036 memory=23952 CPUtime=2.61 cores=0,2,4,6
/proc/21435/task/21499/stat : 21499 (java) S 21432 21435 16228 0 -1 1077944384 18514 13273 0 0 249 4 5 3 20 0 15 0 475049081 11109412864 1140231 33554432000 4194304 4196468 140736263948880 140126806858480 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21500] ppid=21432 vsize=10849036 memory=2116 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21500/stat : 21500 (java) S 21432 21435 16228 0 -1 1077944384 3 13273 0 0 0 0 5 3 20 0 15 0 475049082 11109412864 1140231 33554432000 4194304 4196468 140736263948880 140125522619488 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21501] ppid=21432 vsize=10849036 memory=4563176 CPUtime=0.12 cores=0,2,4,6
/proc/21435/task/21501/stat : 21501 (java) S 21432 21435 16228 0 -1 1077944384 1479 13273 0 0 1 3 5 3 20 0 15 0 475049082 11109412864 1140231 33554432000 4194304 4196468 140736263948880 140126805805360 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
Current children cumulated CPU time: 165.54 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4560924 KiB

[startup+81.2007 s]
/proc/loadavg: 2.36 1.70 1.52 5/228 21509
/proc/meminfo: memFree=1695812/32770624 swapFree=66993192/67108860
[pid=21435] ppid=21432 vsize=10849036 memory=4561008 CPUtime=166.78 cores=0,2,4,6
/proc/21435/stat : 21435 (java) S 21432 21435 16228 0 -1 1077944320 345442 13273 0 0 16226 444 5 3 20 0 15 0 475049067 11109412864 1140252 33554432000 4194304 4196468 140736263948880 140736263931424 140127283343095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
/proc/21435/statm: 2712259 1140252 3640 1 0 2674317 0
[pid=21435/tid=21488] ppid=21432 vsize=10849036 memory=6791534058613427641 CPUtime=55.29 cores=0,2,4,6
/proc/21435/task/21488/stat : 21488 (java) R 21432 21435 16228 0 -1 4202560 59744 13273 0 0 5479 42 5 3 20 0 15 0 475049076 11109412864 1140252 33554432000 4194304 4196468 140736263948880 140127255174816 140126881718187 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21489] ppid=21432 vsize=10849036 memory=1764 CPUtime=22.44 cores=0,2,4,6
/proc/21435/task/21489/stat : 21489 (java) S 21432 21435 16228 0 -1 1077944384 37287 13273 0 0 2142 94 5 3 20 0 15 0 475049076 11109412864 1140252 33554432000 4194304 4196468 140736263948880 140127287585552 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21490] ppid=21432 vsize=10849036 memory=111628 CPUtime=22.46 cores=0,2,4,6
/proc/21435/task/21490/stat : 21490 (java) S 21432 21435 16228 0 -1 1077944384 39127 13273 0 0 2138 100 5 3 20 0 15 0 475049076 11109412864 1140252 33554432000 4194304 4196468 140736263948880 140127202405264 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21491] ppid=21432 vsize=10849036 memory=804 CPUtime=22.72 cores=0,2,4,6
/proc/21435/task/21491/stat : 21491 (java) S 21432 21435 16228 0 -1 1077944384 67269 13273 0 0 2170 94 5 3 20 0 15 0 475049076 11109412864 1140252 33554432000 4194304 4196468 140736263948880 140126855027728 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21492] ppid=21432 vsize=10849036 memory=1808 CPUtime=22.79 cores=0,2,4,6
/proc/21435/task/21492/stat : 21492 (java) S 21432 21435 16228 0 -1 1077944384 35271 13273 0 0 2178 93 5 3 20 0 15 0 475049076 11109412864 1140252 33554432000 4194304 4196468 140736263948880 140126853975184 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21493] ppid=21432 vsize=10849036 memory=924 CPUtime=2.95 cores=0,2,4,6
/proc/21435/task/21493/stat : 21493 (java) S 21432 21435 16228 0 -1 1077944384 41862 13273 0 0 284 3 5 3 20 0 15 0 475049078 11109412864 1140252 33554432000 4194304 4196468 140736263948880 140126810015728 140127283354242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21494] ppid=21432 vsize=10849036 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21494/stat : 21494 (java) S 21432 21435 16228 0 -1 1077944384 43 13273 0 0 0 0 5 3 20 0 15 0 475049078 11109412864 1140252 33554432000 4194304 4196468 140736263948880 140126730576864 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21495] ppid=21432 vsize=10849036 memory=2888 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21495/stat : 21495 (java) S 21432 21435 16228 0 -1 1077944384 32 13273 0 0 0 0 5 3 20 0 15 0 475049079 11109412864 1140252 33554432000 4194304 4196468 140736263948880 140126596359168 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21496] ppid=21432 vsize=10849036 memory=2608 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21496/stat : 21496 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049081 11109412864 1140252 33554432000 4194304 4196468 140736263948880 140125992380624 140127283361691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21497] ppid=21432 vsize=10849036 memory=1408 CPUtime=7.98 cores=0,2,4,6
/proc/21435/task/21497/stat : 21497 (java) R 21432 21435 16228 0 -1 4202560 21962 13273 0 0 787 3 5 3 20 0 15 0 475049081 11109412864 1140252 33554432000 4194304 4196468 140736263948880 140126808955520 140127266835671 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21498] ppid=21432 vsize=10849036 memory=3272 CPUtime=7.97 cores=0,2,4,6
/proc/21435/task/21498/stat : 21498 (java) R 21432 21435 16228 0 -1 4202560 20613 13273 0 0 786 3 5 3 20 0 15 0 475049081 11109412864 1140252 33554432000 4194304 4196468 140736263948880 140126807891856 140127268272508 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21499] ppid=21432 vsize=10849036 memory=475532 CPUtime=2.67 cores=0,2,4,6
/proc/21435/task/21499/stat : 21499 (java) S 21432 21435 16228 0 -1 1077944384 18543 13273 0 0 255 4 5 3 20 0 15 0 475049081 11109412864 1140252 33554432000 4194304 4196468 140736263948880 140126806858480 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21500] ppid=21432 vsize=10849036 memory=4104 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21500/stat : 21500 (java) S 21432 21435 16228 0 -1 1077944384 3 13273 0 0 0 0 5 3 20 0 15 0 475049082 11109412864 1140252 33554432000 4194304 4196468 140736263948880 140125522619488 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21501] ppid=21432 vsize=10849036 memory=1408 CPUtime=0.12 cores=0,2,4,6
/proc/21435/task/21501/stat : 21501 (java) S 21432 21435 16228 0 -1 1077944384 1479 13273 0 0 1 3 5 3 20 0 15 0 475049082 11109412864 1140252 33554432000 4194304 4196468 140736263948880 140126805805360 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
Current children cumulated CPU time: 166.78 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4561008 KiB

[startup+81.6007 s]
/proc/loadavg: 2.36 1.70 1.52 5/228 21509
/proc/meminfo: memFree=1695812/32770624 swapFree=66993192/67108860
[pid=21435] ppid=21432 vsize=10849036 memory=4562068 CPUtime=168.04 cores=0,2,4,6
/proc/21435/stat : 21435 (java) S 21432 21435 16228 0 -1 1077944320 345685 13273 0 0 16352 444 5 3 20 0 15 0 475049067 11109412864 1140517 33554432000 4194304 4196468 140736263948880 140736263931424 140127283343095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
/proc/21435/statm: 2712259 1140517 3641 1 0 2674317 0
[pid=21435/tid=21488] ppid=21432 vsize=10849036 memory=6791534058613427641 CPUtime=55.69 cores=0,2,4,6
/proc/21435/task/21488/stat : 21488 (java) R 21432 21435 16228 0 -1 4202560 59817 13273 0 0 5519 42 5 3 20 0 15 0 475049076 11109412864 1140517 33554432000 4194304 4196468 140736263948880 140127255176008 140126892606219 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21489] ppid=21432 vsize=10849036 memory=1564 CPUtime=22.44 cores=0,2,4,6
/proc/21435/task/21489/stat : 21489 (java) S 21432 21435 16228 0 -1 1077944384 37287 13273 0 0 2142 94 5 3 20 0 15 0 475049076 11109412864 1140517 33554432000 4194304 4196468 140736263948880 140127287585552 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21490] ppid=21432 vsize=10849036 memory=4567128 CPUtime=22.46 cores=0,2,4,6
/proc/21435/task/21490/stat : 21490 (java) S 21432 21435 16228 0 -1 1077944384 39127 13273 0 0 2138 100 5 3 20 0 15 0 475049076 11109412864 1140517 33554432000 4194304 4196468 140736263948880 140127202405264 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21491] ppid=21432 vsize=10849036 memory=45244 CPUtime=22.72 cores=0,2,4,6
/proc/21435/task/21491/stat : 21491 (java) S 21432 21435 16228 0 -1 1077944384 67269 13273 0 0 2170 94 5 3 20 0 15 0 475049076 11109412864 1140517 33554432000 4194304 4196468 140736263948880 140126855027728 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21492] ppid=21432 vsize=10849036 memory=984 CPUtime=22.79 cores=0,2,4,6
/proc/21435/task/21492/stat : 21492 (java) S 21432 21435 16228 0 -1 1077944384 35271 13273 0 0 2178 93 5 3 20 0 15 0 475049076 11109412864 1140517 33554432000 4194304 4196468 140736263948880 140126853975184 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21493] ppid=21432 vsize=10849036 memory=2004 CPUtime=2.95 cores=0,2,4,6
/proc/21435/task/21493/stat : 21493 (java) S 21432 21435 16228 0 -1 1077944384 41862 13273 0 0 284 3 5 3 20 0 15 0 475049078 11109412864 1140517 33554432000 4194304 4196468 140736263948880 140126810015728 140127283354242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21494] ppid=21432 vsize=10849036 memory=784 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21494/stat : 21494 (java) S 21432 21435 16228 0 -1 1077944384 43 13273 0 0 0 0 5 3 20 0 15 0 475049078 11109412864 1140517 33554432000 4194304 4196468 140736263948880 140126730576864 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21495] ppid=21432 vsize=10849036 memory=1764 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21495/stat : 21495 (java) S 21432 21435 16228 0 -1 1077944384 32 13273 0 0 0 0 5 3 20 0 15 0 475049079 11109412864 1140517 33554432000 4194304 4196468 140736263948880 140126596359168 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21496] ppid=21432 vsize=10849036 memory=1212 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21496/stat : 21496 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049081 11109412864 1140517 33554432000 4194304 4196468 140736263948880 140125992380624 140127283361691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21497] ppid=21432 vsize=10849036 memory=1060 CPUtime=8.37 cores=0,2,4,6
/proc/21435/task/21497/stat : 21497 (java) R 21432 21435 16228 0 -1 4202560 21984 13273 0 0 826 3 5 3 20 0 15 0 475049081 11109412864 1140517 33554432000 4194304 4196468 140736263948880 140126808947232 140127268458338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21498] ppid=21432 vsize=10849036 memory=740 CPUtime=8.37 cores=0,2,4,6
/proc/21435/task/21498/stat : 21498 (java) R 21432 21435 16228 0 -1 4202560 20667 13273 0 0 826 3 5 3 20 0 15 0 475049081 11109412864 1140517 33554432000 4194304 4196468 140736263948880 140126807900768 140127266839879 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21499] ppid=21432 vsize=10849036 memory=1228 CPUtime=2.73 cores=0,2,4,6
/proc/21435/task/21499/stat : 21499 (java) S 21432 21435 16228 0 -1 1077944384 18637 13273 0 0 261 4 5 3 20 0 15 0 475049081 11109412864 1140517 33554432000 4194304 4196468 140736263948880 140126806858480 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21500] ppid=21432 vsize=10849036 memory=4560360 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21500/stat : 21500 (java) S 21432 21435 16228 0 -1 1077944384 3 13273 0 0 0 0 5 3 20 0 15 0 475049082 11109412864 1140517 33554432000 4194304 4196468 140736263948880 140125522619488 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21501] ppid=21432 vsize=10849036 memory=4559812 CPUtime=0.12 cores=0,2,4,6
/proc/21435/task/21501/stat : 21501 (java) S 21432 21435 16228 0 -1 1077944384 1479 13273 0 0 1 3 5 3 20 0 15 0 475049082 11109412864 1140517 33554432000 4194304 4196468 140736263948880 140126805805360 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
Current children cumulated CPU time: 168.04 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4562068 KiB

[startup+81.704 s]
/proc/loadavg: 2.36 1.70 1.52 5/228 21509
/proc/meminfo: memFree=1695812/32770624 swapFree=66993192/67108860
[pid=21435] ppid=21432 vsize=10849036 memory=4562256 CPUtime=168.37 cores=0,2,4,6
/proc/21435/stat : 21435 (java) S 21432 21435 16228 0 -1 1077944320 345743 13273 0 0 16385 444 5 3 20 0 15 0 475049067 11109412864 1140564 33554432000 4194304 4196468 140736263948880 140736263931424 140127283343095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
/proc/21435/statm: 2712259 1140564 3641 1 0 2674317 0
[pid=21435/tid=21488] ppid=21432 vsize=10849036 memory=4560976 CPUtime=55.79 cores=0,2,4,6
/proc/21435/task/21488/stat : 21488 (java) R 21432 21435 16228 0 -1 4202560 59817 13273 0 0 5529 42 5 3 20 0 15 0 475049076 11109412864 1140564 33554432000 4194304 4196468 140736263948880 140127255176008 140126902832760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21489] ppid=21432 vsize=10849036 memory=4561832 CPUtime=22.44 cores=0,2,4,6
/proc/21435/task/21489/stat : 21489 (java) S 21432 21435 16228 0 -1 1077944384 37287 13273 0 0 2142 94 5 3 20 0 15 0 475049076 11109412864 1140564 33554432000 4194304 4196468 140736263948880 140127287585552 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21490] ppid=21432 vsize=10849036 memory=4567128 CPUtime=22.46 cores=0,2,4,6
/proc/21435/task/21490/stat : 21490 (java) S 21432 21435 16228 0 -1 1077944384 39127 13273 0 0 2138 100 5 3 20 0 15 0 475049076 11109412864 1140564 33554432000 4194304 4196468 140736263948880 140127202405264 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21491] ppid=21432 vsize=10849036 memory=4556736 CPUtime=22.72 cores=0,2,4,6
/proc/21435/task/21491/stat : 21491 (java) S 21432 21435 16228 0 -1 1077944384 67269 13273 0 0 2170 94 5 3 20 0 15 0 475049076 11109412864 1140564 33554432000 4194304 4196468 140736263948880 140126855027728 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21492] ppid=21432 vsize=10849036 memory=4562068 CPUtime=22.79 cores=0,2,4,6
/proc/21435/task/21492/stat : 21492 (java) S 21432 21435 16228 0 -1 1077944384 35271 13273 0 0 2178 93 5 3 20 0 15 0 475049076 11109412864 1140564 33554432000 4194304 4196468 140736263948880 140126853975184 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21493] ppid=21432 vsize=10849036 memory=4561504 CPUtime=2.95 cores=0,2,4,6
/proc/21435/task/21493/stat : 21493 (java) S 21432 21435 16228 0 -1 1077944384 41862 13273 0 0 284 3 5 3 20 0 15 0 475049078 11109412864 1140564 33554432000 4194304 4196468 140736263948880 140126810015728 140127283354242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21494] ppid=21432 vsize=10849036 memory=804 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21494/stat : 21494 (java) S 21432 21435 16228 0 -1 1077944384 43 13273 0 0 0 0 5 3 20 0 15 0 475049078 11109412864 1140564 33554432000 4194304 4196468 140736263948880 140126730576864 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21495] ppid=21432 vsize=10849036 memory=180 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21495/stat : 21495 (java) S 21432 21435 16228 0 -1 1077944384 32 13273 0 0 0 0 5 3 20 0 15 0 475049079 11109412864 1140564 33554432000 4194304 4196468 140736263948880 140126596359168 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21496] ppid=21432 vsize=10849036 memory=11580267627 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21496/stat : 21496 (java) S 21432 21435 16228 0 -1 1077944384 2 13273 0 0 0 0 5 3 20 0 15 0 475049081 11109412864 1140564 33554432000 4194304 4196468 140736263948880 140125992380624 140127283361691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21497] ppid=21432 vsize=10849036 memory=6791534058613427641 CPUtime=8.47 cores=0,2,4,6
/proc/21435/task/21497/stat : 21497 (java) R 21432 21435 16228 0 -1 4202560 22008 13273 0 0 836 3 5 3 20 0 15 0 475049081 11109412864 1140564 33554432000 4194304 4196468 140736263948880 140126808947632 140127267740240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21498] ppid=21432 vsize=10849036 memory=928 CPUtime=8.47 cores=0,2,4,6
/proc/21435/task/21498/stat : 21498 (java) R 21432 21435 16228 0 -1 4202560 20669 13273 0 0 836 3 5 3 20 0 15 0 475049081 11109412864 1140564 33554432000 4194304 4196468 140736263948880 140126807900768 140127268006768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21499] ppid=21432 vsize=10849036 memory=1688 CPUtime=2.75 cores=0,2,4,6
/proc/21435/task/21499/stat : 21499 (java) S 21432 21435 16228 0 -1 1077944384 18669 13273 0 0 263 4 5 3 20 0 15 0 475049081 11109412864 1140564 33554432000 4194304 4196468 140736263948880 140126806858480 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21500] ppid=21432 vsize=10849036 memory=1984 CPUtime=0.08 cores=0,2,4,6
/proc/21435/task/21500/stat : 21500 (java) S 21432 21435 16228 0 -1 1077944384 3 13273 0 0 0 0 5 3 20 0 15 0 475049082 11109412864 1140564 33554432000 4194304 4196468 140736263948880 140125522619488 140127283353301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
[pid=21435/tid=21501] ppid=21432 vsize=10849036 memory=2672 CPUtime=0.12 cores=0,2,4,6
/proc/21435/task/21501/stat : 21501 (java) S 21432 21435 16228 0 -1 1077944384 1479 13273 0 0 1 3 5 3 20 0 15 0 475049082 11109412864 1140564 33554432000 4194304 4196468 140736263948880 140126805805360 140127283354242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33210368 140736263952995 140736263955637 140736263955637 140736263958479 0
Current children cumulated CPU time: 168.37 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4562256 KiB

Child status: 0
Real time (s): 81.7951
CPU time (s): 168.541
CPU user time (s): 164.024
CPU system time (s): 4.51748
CPU usage (%): 206.053
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 4569472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.024
system time used= 4.51748
maximum resident set size= 4569488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359122
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13295
involuntary context switches= 1007


# summary of solver processes directly reported to runsolver:
#   pid: 21435
#   total CPU time (s): 168.541
#   total CPU user time (s): 164.024
#   total CPU system time (s): 4.51748

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.493314 second user time and 0.847884 second system time

The end

Launcher Data

Begin job on node126 at 2019-09-20 15:56:15
IDJOB=4402812
IDBENCH=141274
IDSOLVER=2861
FILE ID=node126/4402812-1568987812
RUNJOBID= node126-1568967600-16259
PBS_JOBID= 21704622
Free space on /var/tmp= 13352 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-20-0420_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402812-1568987812/watcher-4402812-1568987812 -o /var/tmp/evaluation-result-4402812-1568987812/solver-4402812-1568987812 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node126-1568967600-16259 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1048661505 HOME/instance-4402812-1568987812.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a9a1ecda6b6f8f1e99c2d233168bcaa1
RANDOM SEED=1048661505

node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         6258528 kB
MemAvailable:   31400644 kB
Buffers:          130712 kB
Cached:         25059940 kB
SwapCached:         7072 kB
Active:         13086168 kB
Inactive:       12568096 kB
Active(anon):     456424 kB
Inactive(anon):    45880 kB
Active(file):   12629744 kB
Inactive(file): 12522216 kB
Unevictable:      109312 kB
Mlocked:          109312 kB
SwapTotal:      67108860 kB
SwapFree:       66993192 kB
Dirty:            159832 kB
Writeback:             0 kB
AnonPages:        580120 kB
Mapped:            61156 kB
Shmem:             29584 kB
Slab:             447256 kB
SReclaimable:     418616 kB
SUnreclaim:        28640 kB
KernelStack:        4000 kB
PageTables:        10864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1439504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    485376 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /var/tmp at the end= 13320 MiB
End job on node126 at 2019-09-20 15:57:37