Trace number 4387522

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.10OPT130971634 99.3344 53.5282

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-17-0300_c18.xml
MD5SUM89893934ad5b9c06ca26522ad9c878f8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark130971634
Best CPU time to get the best result obtained on this benchmark90.5587
Satisfiable
(Un)Satisfiability was proved
Number of variables6028
Number of constraints3865
Number of domains51
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":2107},{"size":11,"count":1809},{"size":12,"count":1},{"size":31,"count":40},{"size":33,"count":87},{"size":39,"count":25},{"size":59,"count":10},{"size":64,"count":57},{"size":66,"count":15},{"size":69,"count":34},{"size":70,"count":43},{"size":72,"count":1},{"size":73,"count":50},{"size":74,"count":6},{"size":76,"count":21},{"size":79,"count":26},{"size":82,"count":6},{"size":97,"count":23},{"size":99,"count":8},{"size":101,"count":32},{"size":103,"count":72},{"size":105,"count":85},{"size":107,"count":132},{"size":109,"count":12},{"size":110,"count":53},{"size":113,"count":7},{"size":115,"count":3},{"size":119,"count":40},{"size":130,"count":5},{"size":132,"count":2},{"size":134,"count":32},{"size":136,"count":22},{"size":138,"count":99},{"size":140,"count":66},{"size":143,"count":27},{"size":144,"count":90},{"size":147,"count":132},{"size":151,"count":746}]
Minimum variable degree2
Maximum variable degree1810
Distribution of variable degrees[{"degree":2,"count":5428},{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":12},{"degree":6,"count":14},{"degree":7,"count":31},{"degree":8,"count":28},{"degree":9,"count":30},{"degree":10,"count":32},{"degree":11,"count":42},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":59},{"degree":15,"count":85},{"degree":16,"count":118},{"degree":17,"count":63},{"degree":1810,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":247},{"arity":3,"count":1809},{"arity":6,"count":1809}]
Number of extensional constraints1809
Number of intensional constraints2056
Distribution of constraint types[{"type":"extension","count":1809},{"type":"intension","count":2056}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.73/0.54	c Concrete v3.10.1560635388952 running
96.62/52.73	o 130971634
99.00/53.46	v <instantiation
99.00/53.46	v         cost = '130971634'>
99.00/53.46	v       <list>
99.00/53.46	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] 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] 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] 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] 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]
99.00/53.46	v       </list>
99.00/53.46	v       <values>
99.00/53.46	v         2640 2180 2356 2592 2544 2400 2608 2460 2396 2132 2176 2460 2608 2460 2416 2136 2544 2628 2380 2136 2600 2520 2200 2456 2372 2284 2492 2692 2380 2496 2424 2460 2528 2504 2720 2588 2440 2128 2680 2604 2424 2600 2652 2504 2536 2304 2560 2536 2420 2456 2500 2652 2496 2284 2176 2720 2220 2644 2228 2456 2664 2288 2504 2136 2396 2176 2536 2568 2296 2680 2628 2376 2176 2328 2176 2416 2536 2160 2256 2256 2420 2628 2692 2504 2544 2516 2460 2676 2552 2504 2612 2136 2168 2120 2316 2168 2416 2416 2604 2456 2456 2420 2356 2456 2368 2680 2380 2668 2496 2576 2184 2360 2208 2720 2176 2160 2380 2164 2140 2324 2256 2656 2336 2656 2544 2420 2136 2504 2264 2504 2416 2616 2500 2240 2152 2504 2248 2232 2612 2416 2324 2316 2504 2568 2144 2668 2176 2692 2420 2368 2544 2480 2568 2456 2528 2180 2544 2136 2420 2644 2324 2120 2616 2184 2456 2456 2208 2276 2544 2376 2456 2668 2692 2616 2704 2568 2328 2652 2668 2544 2160 2420 2652 2276 2524 2400 2200 2460 2268 2396 2420 2652 2168 2476 2324 2244 2636 2608 2332 2504 2524 2288 2436 2628 2284 2416 2144 2204 2496 2136 2396 2416 2652 2640 2484 2120 2416 2296 2384 2120 2668 2420 2440 2124 2316 2272 2548 2304 2416 2396 2504 2480 2284 2380 2708 2496 2172 2472 2208 2132 2456 2536 2416 2160 2488 2628 2608 2416 2416 2544 2132 2628 2384 2264 2568 2416 2484 2172 2524 2544 2220 2172 2496 2376 2588 2296 2332 2136 2628 2568 2456 2292 2668 2544 2448 2144 2456 2184 2176 2456 2440 2628 2508 2512 2416 2192 2532 2180 2484 2164 2532 2492 2284 2248 2436 2276 2248 2240 2668 2436 1 1 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 0 1 0 1 1 1 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 1 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 3 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 3 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 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 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 40 440 136 384 472 16 28 136 432 376 156 28 156 364 540 40 500 240 136 156 300 260 48 236 196 36 16 68 164 336 228 308 272 196 148 204 60 336 280 64 232 232 212 416 52 416 472 172 448 172 316 44 68 44 88 176 24 216 408 408 24 136 84 288 408 408 40 124 148 20 384 24 20 124 20 124 144 124 280 228 472 64 84 188 84 148 152 240 448 60 152 152 400 416 172 232 144 300 116 4 4 4 184 168 44 176 248 328 164 64 192 168 232 72 72 360 308 520 428 324 548 12 288 436 324 244 156 88 48 360 384 120 492 368 44 4 108 68 168 316 192 88 128 472 400 448 112 472 60 20 84 204 100 252 44 316 208 136 64 44 276 4 172 84 120 240 120 276 304 264 236 92 212 32 64 36 20 400 244 368 516 472 248 312 88 368 84 408 60 108 260 340 128 128 124 88 352 296 40 92 408 340 52 64 112 148 304 188 496 456 96 464 136 380 244 124 220 40 296 260 288 76 148 196 288 116 116 128 392 320 516 152 280 200 280 364 96 320 8 128 408 400 296 344 440 16 360 12 56 480 52 304 336 32 68 116 64 140 192 140 200 280 148 108 132 148 8 340 104 56 32 40 416 40 412 444 80 96 324 468 284 112 92 24 280 76 172 52 84 292 132 48 172 132 156 280 236 44 196 84 408 176 408 148 132 116 152 132 156 212 172 64 344 152 52 188 328 8 348 356 116 96 204 76 176 136 272 556 116 332 188 272 208 148 80 76 204 124 120 76 76 104 288 188 76 248 128 184 40 160 28 204 212 76 144 204 80 288 112 184 68 332 192 4 232 196 84 4 208 268 124 72 72 72 164 32 124 368 44 288 188 148 164 328 84 48 84 148 88 384 280 216 260 40 536 384 64 264 344 112 432 240 92 188 132 300 108 20 52 172 296 444 404 424 96 312 64 184 240 276 304 152 40 268 128 260 192 296 524 376 56 248 160 64 76 136 504 200 64 284 264 472 196 52 232 504 4 48 444 348 248 224 428 396 80 404 36 104 308 64 248 268 32 240 288 100 120 12 304 244 216 32 88 44 144 440 344 12 480 56 336 400 164 144 68 68 164 516 232 100 196 40 40 8 176 44 368 24 356 32 200 220 216 48 328 188 104 368 84 240 64 48 24 92 40 156 280 132 12 140 40 120 88 120 136 300 144 312 388 340 348 168 8 40 180 24 68 100 144 108 64 140 236 376 316 180 144 124 360 120 132 416 40 24 120 344 208 44 208 124 232 52 16 48 80 40 112 180 68 40 72 72 280 324 44 220 156 356 116 152 232 236 84 24 168 324 396 532 484 4 388 36 196 108 128 452 216 56 356 16 224 200 20 56 80 160 76 48 336 8 12 56 252 136 260 136 40 284 8 152 152 544 400 88 204 296 320 260 432 216 216 516 280 588 576 556 472 460 240 236 448 96 68 220 84 88 156 312 56 272 228 388 184 32 476 12 28 4 524 228 340 64 404 272 104 340 20 156 4 20 180 124 92 12 500 520 248 248 268 400 120 208 208 152 392 380 36 152 28 156 116 144 104 244 204 40 108 384 248 344 228 20 220 8 96 472 216 40 120 276 148 360 244 328 280 320 368 244 328 8 152 72 72 32 328 32 116 12 120 252 96 28 100 208 24 152 120 220 28 104 248 164 36 332 332 4 176 476 548 304 536 496 148 516 432 468 12 352 192 60 124 196 84 40 240 252 60 56 148 8 32 260 220 328 68 460 372 280 152 100 4 48 280 128 192 128 244 40 32 120 360 120 80 156 80 8 316 40 52 360 356 260 40 24 104 48 364 40 112 144 508 164 136 88 268 68 48 124 452 160 312 348 112 120 248 436 136 20 40 268 28 248 84 212 248 4 168 40 488 304 148 24 20 296 344 484 144 336 84 464 556 236 188 444 272 272 416 24 420 48 84 176 112 64 380 88 88 8 48 28 128 424 128 60 128 192 56 96 232 152 144 124 108 24 208 44 128 220 260 444 64 400 16 60 216 432 108 260 132 416 116 132 184 416 96 140 116 100 372 68 180 220 228 444 68 44 468 192 44 216 476 492 96 316 372 180 408 360 48 300 436 200 252 448 444 484 460 328 248 128 40 96 500 548 496 88 548 156 264 184 352 176 352 8 340 140 12 148 80 324 192 164 16 96 376 252 448 356 472 136 540 400 128 72 500 4 264 232 252 272 128 128 60 212 244 172 168 88 152 40 128 128 88 296 444 8 40 484 444 4 340 80 24 120 88 112 56 332 76 180 208 48 88 36 48 84 124 96 220 152 232 208 124 144 28 32 252 168 72 284 84 140 100 128 80 264 40 36 172 40 40 40 284 320 136 216 128 232 192 104 344 180 536 304 192 264 500 148 288 124 288 164 104 48 116 104 188 172 532 252 248 252 80 8 316 256 72 76 440 32 160 80 316 40 104 60 404 4 20 184 276 156 88 124 224 268 148 168 404 444 296 276 216 52 512 16 300 388 600 304 184 112 272 212 116 272 356 456 80 484 492 164 364 468 508 288 288 164 272 104 288 12 212 504 124 316 464 8 56 424 16 84 184 44 528 188 344 156 144 8 404 236 152 332 204 188 288 360 380 180 64 112 236 40 496 456 352 360 112 12 168 208 144 200 216 48 60 120 332 416 12 332 536 4 360 364 200 408 128 368 408 32 84 4 96 272 36 196 20 232 276 368 8 284 44 508 516 108 260 24 140 180 148 32 88 88 304 352 404 64 220 444 32 12 404 228 132 344 128 368 68 276 92 84 212 176 28 496 320 92 52 132 348 68 320 192 4 216 308 64 412 36 56 32 248 388 428 244 144 416 296 360 328 48 368 108 124 124 164 68 296 420 444 404 380 136 84 44 272 436 224 436 188 92 60 100 224 52 492 156 40 468 348 88 288 44 92 64 68 40 124 212 220 132 328 172 32 228 300 292 28 352 216 40 64 24 112 372 20 332 124 64 524 144 76 444 36 16 248 288 212 60 80 40 56 140 304 308 348 452 272 312 64 428 52 272 76 248 128 200 232 260 260 88 32 268 296 212 104 336 296 232 72 56 276 60 152 336 176 128 244 56 40 80 112 196 488 280 36 236 12 344 276 148 128 128 104 72 240 408 232 96 176 136 76 248 276 228 240 112 16 8 248 436 120 132 60 116 532 276 176 88 52 404 408 92 24 132 312 92 320 376 52 236 64 88 68 168 20 40 140 40 248 152 80 336 8 280 52 172 180 460 316 8 432 276 36 88 460 392 120 140 20 68 100 84 84 408 84 296 104 108 204 212 196 152 336 112 40 28 20 172 288 160 216 408 276 24 472 24 444 200 484 200 48 12 372 52 220 532 248 68 280 100 188 96 80 276 36 284 36 108 356 368 388 128 24 168 544 212 60 160 84 68 72 372 212 88 108 336 104 4 4 60 40 212 188 124 148 84 204 468 376 404 352 196 352 220 184 228 232 156 280 96 72 40 124 284 104 96 240 216 40 216 44 44 84 108 56 148 148 148 136 260 172 76 300 480 432 476 440 32 228 288 356 60 112 204 148 84 408 324 240 4 16 68 460 124 396 472 168 228 20 40 472 212 296 200 332 88 8 172 44 364 148 340 108 48 60 260 508 132 96 96 344 352 344 304 152 128 284 128 8 508 40 344 72 32 60 252 20 40 288 44 324 172 60 320 472 156 108 232 144 40 192 276 24 472 156 144 356 204 180 68 100 44 184 12 56 40 132 140 228 332 164 32 152 296 296 316 40 376 488 308 268 296 256 92 52 192 4 356 348 260 444 408 124 112 184 80 32 376 80 372 404 304 8 128 136 120 224 116 40 20 148 24 196 212 152 8 8 208 220 164 104 236 412 40 80 268 264 64 96 60 316 40 12 52 400 32 360 116 320 88 52 208 52 32 272 232 252 76 168 72 316 268 24 248 456 464 40 96 128 496 316 456 84 408 192 364 376 32 348 276 20 144 40 24 48 368 408 312 28 204 28 8 320 60 156 212 116 128 140 144 100 24 112 8 108 8 60 12 388 348 444 20 308 260 100 328 116 116 132 368 40 68 84 244 428
99.00/53.46	v       </values>
99.00/53.46	v     </instantiation>
99.00/53.46	s OPTIMUM FOUND

Verifier Data 

OK	130971634

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387522-1568308788/watcher-4387522-1568308788 -o /tmp/evaluation-result-4387522-1568308788/solver-4387522-1568308788 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568285996-4542 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=863854503 HOME/instance-4387522-1568308788.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100211 s]*
/proc/loadavg: 1.76 1.49 1.45 3/218 13370
/proc/meminfo: memFree=18276924/32770624 swapFree=66999904/67108860
[pid=13313] ppid=13310 vsize=9972712 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/13313/stat : 13313 (java) S 13310 13313 3654 0 -1 1077944320 4521 13132 0 0 1 0 6 2 20 0 6 0 407143746 10212057088 4269 33554432000 4194304 4196468 140725438316144 140725438298688 140130842484471 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
/proc/13313/statm: 2493178 4269 1935 1 0 2481616 0
[pid=13313/tid=13366] ppid=13310 vsize=9972712 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/13313/task/13366/stat : 13366 (java) R 13310 13313 3654 0 -1 4202560 2346 13132 0 0 1 0 6 2 20 0 6 0 407143755 10212057088 4335 33554432000 4194304 4196468 140725438316144 140130814321232 140130834721598 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13367] ppid=13310 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13367/stat : 13367 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 6 0 407143755 10212057088 4335 33554432000 4194304 4196468 140725438316144 140130846727184 140130842494677 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13368] ppid=13310 vsize=9972712 memory=288370438081074816 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13368/stat : 13368 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 6 0 407143755 10212057088 4335 33554432000 4194304 4196468 140725438316144 140130761546896 140130842494677 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13369] ppid=13310 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13369/stat : 13369 (java) S 13310 13313 3654 0 -1 1077944384 2 13132 0 0 0 0 6 2 20 0 6 0 407143755 10212057088 4335 33554432000 4194304 4196468 140725438316144 140130760493840 140130842494677 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13370] ppid=13310 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13370/stat : 13370 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 6 0 407143755 10212057088 4335 33554432000 4194304 4196468 140725438316144 140130759441296 140130842494677 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB

[startup+0.210671 s]*
/proc/loadavg: 1.76 1.49 1.45 3/227 13379
/proc/meminfo: memFree=18258556/32770624 swapFree=66999904/67108860
[pid=13313] ppid=13310 vsize=10818940 memory=39008 CPUtime=0.26 cores=1,3,5,7
/proc/13313/stat : 13313 (java) S 13310 13313 3654 0 -1 1077944320 7138 13132 0 0 17 1 6 2 20 0 15 0 407143746 11078594560 9752 33554432000 4194304 4196468 140725438316144 140725438298688 140130842484471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
/proc/13313/statm: 2704735 9752 2978 1 0 2667149 0
[pid=13313/tid=13366] ppid=13310 vsize=10818940 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/13313/task/13366/stat : 13366 (java) R 13310 13313 3654 0 -1 4202560 3650 13132 0 0 11 0 6 2 20 0 15 0 407143755 11078594560 9752 33554432000 4194304 4196468 140725438316144 140130814301584 140130842506397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13367] ppid=13310 vsize=10818940 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13367/stat : 13367 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 15 0 407143755 11078594560 9752 33554432000 4194304 4196468 140725438316144 140130846727184 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13368] ppid=13310 vsize=10818940 memory=140061929375935 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13368/stat : 13368 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 15 0 407143755 11078594560 9752 33554432000 4194304 4196468 140725438316144 140130761546896 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13369] ppid=13310 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13369/stat : 13369 (java) S 13310 13313 3654 0 -1 1077944384 2 13132 0 0 0 0 6 2 20 0 15 0 407143755 11078594560 9752 33554432000 4194304 4196468 140725438316144 140130760493840 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13370] ppid=13310 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13370/stat : 13370 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 15 0 407143755 11078594560 9752 33554432000 4194304 4196468 140725438316144 140130759441296 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13371] ppid=13310 vsize=10818940 memory=140061929363072 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13371/stat : 13371 (java) S 13310 13313 3654 0 -1 1077944384 2 13132 0 0 0 0 6 2 20 0 15 0 407143757 11078594560 9752 33554432000 4194304 4196468 140725438316144 140130114275568 140130842495618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13372] ppid=13310 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13372/stat : 13372 (java) S 13310 13313 3654 0 -1 1077944384 13 13132 0 0 0 0 6 2 20 0 15 0 407143757 11078594560 9752 33554432000 4194304 4196468 140725438316144 140130018911392 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13373] ppid=13310 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13373/stat : 13373 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 15 0 407143758 11078594560 9752 33554432000 4194304 4196468 140725438316144 140129884693232 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13374] ppid=13310 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13374/stat : 13374 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 15 0 407143760 11078594560 9752 33554432000 4194304 4196468 140725438316144 140129375967184 140130842503067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13375] ppid=13310 vsize=10818940 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13313/task/13375/stat : 13375 (java) S 13310 13313 3654 0 -1 1077944384 328 13132 0 0 1 0 6 2 20 0 15 0 407143760 11078594560 9752 33554432000 4194304 4196468 140725438316144 140130113223408 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13376] ppid=13310 vsize=10818940 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/13313/task/13376/stat : 13376 (java) S 13310 13313 3654 0 -1 1077944384 283 13132 0 0 1 0 6 2 20 0 15 0 407143760 11078594560 9752 33554432000 4194304 4196468 140725438316144 140130112170864 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13377] ppid=13310 vsize=10818940 memory=140061929363072 CPUtime=0.11 cores=1,3,5,7
/proc/13313/task/13377/stat : 13377 (java) R 13310 13313 3654 0 -1 4202560 643 13132 0 0 3 0 6 2 20 0 15 0 407143760 11078594560 9752 33554432000 4194304 4196468 140725438316144 140130111117808 140130821323431 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13378] ppid=13310 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13378/stat : 13378 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 15 0 407143760 11078594560 9752 33554432000 4194304 4196468 140725438316144 140129342409568 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13379] ppid=13310 vsize=10818940 memory=140061929363072 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13379/stat : 13379 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 15 0 407143761 11078594560 9752 33554432000 4194304 4196468 140725438316144 140130110065200 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 39008 KiB

[startup+0.318625 s]*
/proc/loadavg: 1.76 1.49 1.45 3/227 13379
/proc/meminfo: memFree=18246224/32770624 swapFree=66999904/67108860
[pid=13313] ppid=13310 vsize=10820244 memory=50860 CPUtime=0.42 cores=1,3,5,7
/proc/13313/stat : 13313 (java) S 13310 13313 3654 0 -1 1077944320 10925 13132 0 0 31 3 6 2 20 0 15 0 407143746 11079929856 12715 33554432000 4194304 4196468 140725438316144 140725438298688 140130842484471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
/proc/13313/statm: 2705061 12715 3311 1 0 2667149 0
[pid=13313/tid=13366] ppid=13310 vsize=10820244 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/13313/task/13366/stat : 13366 (java) R 13310 13313 3654 0 -1 4202560 7411 13132 0 0 20 2 6 2 20 0 15 0 407143755 11079929856 12715 33554432000 4194304 4196468 140725438316144 140130814304288 140130842496406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13367] ppid=13310 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13367/stat : 13367 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 15 0 407143755 11079929856 12715 33554432000 4194304 4196468 140725438316144 140130846727184 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13368] ppid=13310 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13368/stat : 13368 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 15 0 407143755 11079929856 12715 33554432000 4194304 4196468 140725438316144 140130761546896 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13369] ppid=13310 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13369/stat : 13369 (java) S 13310 13313 3654 0 -1 1077944384 2 13132 0 0 0 0 6 2 20 0 15 0 407143755 11079929856 12715 33554432000 4194304 4196468 140725438316144 140130760493840 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13370] ppid=13310 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13370/stat : 13370 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 15 0 407143755 11079929856 12715 33554432000 4194304 4196468 140725438316144 140130759441296 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13371] ppid=13310 vsize=10820244 memory=140061929363071 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13371/stat : 13371 (java) S 13310 13313 3654 0 -1 1077944384 2 13132 0 0 0 0 6 2 20 0 15 0 407143757 11079929856 12715 33554432000 4194304 4196468 140725438316144 140130114275568 140130842495618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13372] ppid=13310 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13372/stat : 13372 (java) S 13310 13313 3654 0 -1 1077944384 13 13132 0 0 0 0 6 2 20 0 15 0 407143757 11079929856 12715 33554432000 4194304 4196468 140725438316144 140130018911392 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13373] ppid=13310 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13373/stat : 13373 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 15 0 407143758 11079929856 12715 33554432000 4194304 4196468 140725438316144 140129884693232 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13374] ppid=13310 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13374/stat : 13374 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 15 0 407143760 11079929856 12715 33554432000 4194304 4196468 140725438316144 140129375967184 140130842503067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13375] ppid=13310 vsize=10820244 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/13313/task/13375/stat : 13375 (java) S 13310 13313 3654 0 -1 1077944384 337 13132 0 0 2 0 6 2 20 0 15 0 407143760 11079929856 12715 33554432000 4194304 4196468 140725438316144 140130113223408 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13376] ppid=13310 vsize=10820244 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/13313/task/13376/stat : 13376 (java) S 13310 13313 3654 0 -1 1077944384 285 13132 0 0 2 0 6 2 20 0 15 0 407143760 11079929856 12715 33554432000 4194304 4196468 140725438316144 140130112170864 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13377] ppid=13310 vsize=10820244 memory=140061929363072 CPUtime=0.13 cores=1,3,5,7
/proc/13313/task/13377/stat : 13377 (java) S 13310 13313 3654 0 -1 1077944384 656 13132 0 0 5 0 6 2 20 0 15 0 407143760 11079929856 12715 33554432000 4194304 4196468 140725438316144 140130111117808 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13378] ppid=13310 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13378/stat : 13378 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 15 0 407143760 11079929856 12715 33554432000 4194304 4196468 140725438316144 140129342409568 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13379] ppid=13310 vsize=10820244 memory=140061929363072 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13379/stat : 13379 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 15 0 407143761 11079929856 12715 33554432000 4194304 4196468 140725438316144 140130110065200 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 50860 KiB

[startup+0.702009 s]
/proc/loadavg: 1.76 1.49 1.45 5/227 13379
/proc/meminfo: memFree=18233320/32770624 swapFree=66999904/67108860
[pid=13313] ppid=13310 vsize=10825364 memory=81016 CPUtime=1.15 cores=1,3,5,7
/proc/13313/stat : 13313 (java) S 13310 13313 3654 0 -1 1077944320 14898 13132 0 0 102 5 6 2 20 0 15 0 407143746 11085172736 20189 33554432000 4194304 4196468 140725438316144 140725438298688 140130842484471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
/proc/13313/statm: 2706341 20189 3508 1 0 2668429 0
[pid=13313/tid=13366] ppid=13310 vsize=10824340 memory=2020 CPUtime=0.67 cores=1,3,5,7
/proc/13313/task/13366/stat : 13366 (java) R 13310 13313 3654 0 -1 4202560 10600 13132 0 0 56 3 6 2 20 0 15 0 407143755 11084124160 20229 33554432000 4194304 4196468 140725438316144 140130814302432 140130835163693 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13367] ppid=13310 vsize=10824340 memory=1432 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13367/stat : 13367 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 15 0 407143755 11084124160 20229 33554432000 4194304 4196468 140725438316144 140130846727184 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13368] ppid=13310 vsize=10824340 memory=9536 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13368/stat : 13368 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 15 0 407143755 11084124160 20229 33554432000 4194304 4196468 140725438316144 140130761546896 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13369] ppid=13310 vsize=10824340 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13369/stat : 13369 (java) S 13310 13313 3654 0 -1 1077944384 2 13132 0 0 0 0 6 2 20 0 15 0 407143755 11084124160 20229 33554432000 4194304 4196468 140725438316144 140130760493840 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13370] ppid=13310 vsize=10825364 memory=140061929361953 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13370/stat : 13370 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 15 0 407143755 11085172736 20229 33554432000 4194304 4196468 140725438316144 140130759441296 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13371] ppid=13310 vsize=10825364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13371/stat : 13371 (java) S 13310 13313 3654 0 -1 1077944384 5 13132 0 0 0 0 6 2 20 0 15 0 407143757 11085172736 20229 33554432000 4194304 4196468 140725438316144 140130114275568 140130842495618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13372] ppid=13310 vsize=10825364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13372/stat : 13372 (java) S 13310 13313 3654 0 -1 1077944384 13 13132 0 0 0 0 6 2 20 0 15 0 407143757 11085172736 20229 33554432000 4194304 4196468 140725438316144 140130018911392 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13373] ppid=13310 vsize=10825364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13373/stat : 13373 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 15 0 407143758 11085172736 20229 33554432000 4194304 4196468 140725438316144 140129884693232 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13374] ppid=13310 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13374/stat : 13374 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 15 0 407143760 11084124160 20229 33554432000 4194304 4196468 140725438316144 140129375967184 140130842503067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13375] ppid=13310 vsize=10824340 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/13313/task/13375/stat : 13375 (java) S 13310 13313 3654 0 -1 1077944384 608 13132 0 0 12 0 6 2 20 0 15 0 407143760 11084124160 20229 33554432000 4194304 4196468 140725438316144 140130113223408 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13376] ppid=13310 vsize=10824340 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/13313/task/13376/stat : 13376 (java) S 13310 13313 3654 0 -1 1077944384 637 13132 0 0 15 0 6 2 20 0 15 0 407143760 11084124160 20229 33554432000 4194304 4196468 140725438316144 140130112170864 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13377] ppid=13310 vsize=10825364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/13313/task/13377/stat : 13377 (java) S 13310 13313 3654 0 -1 1077944384 839 13132 0 0 17 0 6 2 20 0 15 0 407143760 11085172736 20229 33554432000 4194304 4196468 140725438316144 140130111117808 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13378] ppid=13310 vsize=10825364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13378/stat : 13378 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 15 0 407143760 11085172736 20229 33554432000 4194304 4196468 140725438316144 140129342409568 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13379] ppid=13310 vsize=10825364 memory=3580 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13379/stat : 13379 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 15 0 407143761 11085172736 20229 33554432000 4194304 4196468 140725438316144 140130110065200 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10825364 KiB
Current children cumulated memory: 81016 KiB

[startup+1.50167 s]
/proc/loadavg: 1.76 1.49 1.45 6/227 13379
/proc/meminfo: memFree=18038824/32770624 swapFree=66999904/67108860
[pid=13313] ppid=13310 vsize=10826464 memory=432464 CPUtime=3.63 cores=1,3,5,7
/proc/13313/stat : 13313 (java) S 13310 13313 3654 0 -1 1077944320 20010 13132 0 0 318 37 6 2 20 0 15 0 407143746 11086299136 108116 33554432000 4194304 4196468 140725438316144 140725438298688 140130842484471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
/proc/13313/statm: 2706616 108116 3569 1 0 2668685 0
[pid=13313/tid=13366] ppid=13310 vsize=10826464 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/13313/task/13366/stat : 13366 (java) R 13310 13313 3654 0 -1 4202560 11492 13132 0 0 117 8 6 2 20 0 15 0 407143755 11086299136 108116 33554432000 4194304 4196468 140725438316144 140130814319016 140130842496406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13367] ppid=13310 vsize=10826464 memory=1432 CPUtime=0.16 cores=1,3,5,7
/proc/13313/task/13367/stat : 13367 (java) S 13310 13313 3654 0 -1 1077944384 208 13132 0 0 3 5 6 2 20 0 15 0 407143755 11086299136 108116 33554432000 4194304 4196468 140725438316144 140130846727184 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13368] ppid=13310 vsize=10826464 memory=9536 CPUtime=0.2 cores=1,3,5,7
/proc/13313/task/13368/stat : 13368 (java) S 13310 13313 3654 0 -1 1077944384 204 13132 0 0 5 7 6 2 20 0 15 0 407143755 11086299136 108116 33554432000 4194304 4196468 140725438316144 140130761546896 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13369] ppid=13310 vsize=10826464 memory=280123538420832 CPUtime=0.17 cores=1,3,5,7
/proc/13313/task/13369/stat : 13369 (java) S 13310 13313 3654 0 -1 1077944384 102 13132 0 0 4 5 6 2 20 0 15 0 407143755 11086299136 108116 33554432000 4194304 4196468 140725438316144 140130760493840 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13370] ppid=13310 vsize=10826464 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/13313/task/13370/stat : 13370 (java) S 13310 13313 3654 0 -1 1077944384 196 13132 0 0 4 7 6 2 20 0 15 0 407143755 11086299136 108116 33554432000 4194304 4196468 140725438316144 140130759441296 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13371] ppid=13310 vsize=10826464 memory=6944656591801717918 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13371/stat : 13371 (java) S 13310 13313 3654 0 -1 1077944384 86 13132 0 0 0 0 6 2 20 0 15 0 407143757 11086299136 108116 33554432000 4194304 4196468 140725438316144 140130114275568 140130842495618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13372] ppid=13310 vsize=10826464 memory=6944656592455360569 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13372/stat : 13372 (java) S 13310 13313 3654 0 -1 1077944384 14 13132 0 0 0 0 6 2 20 0 15 0 407143757 11086299136 108116 33554432000 4194304 4196468 140725438316144 140130018911456 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13373] ppid=13310 vsize=10826464 memory=6944656592452807316 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13373/stat : 13373 (java) S 13310 13313 3654 0 -1 1077944384 2 13132 0 0 0 0 6 2 20 0 15 0 407143758 11086299136 108116 33554432000 4194304 4196468 140725438316144 140129884693248 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13374] ppid=13310 vsize=10826464 memory=280123538844128 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13374/stat : 13374 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 15 0 407143760 11086299136 108116 33554432000 4194304 4196468 140725438316144 140129375967184 140130842503067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13375] ppid=13310 vsize=10826464 memory=197224898259008 CPUtime=0.76 cores=1,3,5,7
/proc/13313/task/13375/stat : 13375 (java) R 13310 13313 3654 0 -1 4202560 2144 13132 0 0 68 0 6 2 20 0 15 0 407143760 11086299136 108116 33554432000 4194304 4196468 140725438316144 140130113209632 140130825871801 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13376] ppid=13310 vsize=10826464 memory=197224898259009 CPUtime=0.8 cores=1,3,5,7
/proc/13313/task/13376/stat : 13376 (java) R 13310 13313 3654 0 -1 4202560 1905 13132 0 0 72 0 6 2 20 0 15 0 407143760 11086299136 108116 33554432000 4194304 4196468 140725438316144 140130112151824 140130820501459 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13377] ppid=13310 vsize=10826464 memory=197224898259010 CPUtime=0.49 cores=1,3,5,7
/proc/13313/task/13377/stat : 13377 (java) S 13310 13313 3654 0 -1 1077944384 1441 13132 0 0 41 0 6 2 20 0 15 0 407143760 11086299136 108116 33554432000 4194304 4196468 140725438316144 140130111117808 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13378] ppid=13310 vsize=10826464 memory=197224898259011 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13378/stat : 13378 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 15 0 407143760 11086299136 108116 33554432000 4194304 4196468 140725438316144 140129342409568 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13379] ppid=13310 vsize=10826464 memory=197224898259012 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13379/stat : 13379 (java) S 13310 13313 3654 0 -1 1077944384 1 13132 0 0 0 0 6 2 20 0 15 0 407143761 11086299136 108116 33554432000 4194304 4196468 140725438316144 140130110065200 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
Current children cumulated CPU time: 3.63 s
Current children cumulated vsize: 10826464 KiB

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

[pid=13313] ppid=13310 vsize=10851736 memory=4321076 CPUtime=92.13 cores=1,3,5,7
/proc/13313/stat : 13313 (java) S 13310 13313 3654 0 -1 1077944320 397123 13132 0 0 8888 317 6 2 20 0 15 0 407143746 11112177664 1080269 33554432000 4194304 4196468 140725438316144 140725438298688 140130842484471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
/proc/13313/statm: 2712934 1080269 3630 1 0 2674998 0
[pid=13313/tid=13366] ppid=13310 vsize=10851736 memory=5976 CPUtime=41.38 cores=1,3,5,7
/proc/13313/task/13366/stat : 13366 (java) R 13310 13313 3654 0 -1 4202560 41255 13132 0 0 4096 34 6 2 20 0 15 0 407143755 11112177664 1080269 33554432000 4194304 4196468 140725438316144 140130814307808 140130820479568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13367] ppid=13310 vsize=10851736 memory=1544 CPUtime=8.85 cores=1,3,5,7
/proc/13313/task/13367/stat : 13367 (java) S 13310 13313 3654 0 -1 1077944384 43406 13132 0 0 812 65 6 2 20 0 15 0 407143755 11112177664 1080269 33554432000 4194304 4196468 140725438316144 140130846727184 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13368] ppid=13310 vsize=10851736 memory=6791534058613427641 CPUtime=8.98 cores=1,3,5,7
/proc/13313/task/13368/stat : 13368 (java) S 13310 13313 3654 0 -1 1077944384 53697 13132 0 0 822 68 6 2 20 0 15 0 407143755 11112177664 1080269 33554432000 4194304 4196468 140725438316144 140130761546896 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13369] ppid=13310 vsize=10851736 memory=4283732 CPUtime=8.94 cores=1,3,5,7
/proc/13313/task/13369/stat : 13369 (java) S 13310 13313 3654 0 -1 1077944384 54394 13132 0 0 823 63 6 2 20 0 15 0 407143755 11112177664 1080269 33554432000 4194304 4196468 140725438316144 140130760493840 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13370] ppid=13310 vsize=10851736 memory=4283732 CPUtime=9.07 cores=1,3,5,7
/proc/13313/task/13370/stat : 13370 (java) S 13310 13313 3654 0 -1 1077944384 124978 13132 0 0 830 69 6 2 20 0 15 0 407143755 11112177664 1080269 33554432000 4194304 4196468 140725438316144 140130759441296 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13371] ppid=13310 vsize=10851736 memory=2020 CPUtime=0.83 cores=1,3,5,7
/proc/13313/task/13371/stat : 13371 (java) S 13310 13313 3654 0 -1 1077944384 23110 13132 0 0 73 2 6 2 20 0 15 0 407143757 11112177664 1080269 33554432000 4194304 4196468 140725438316144 140130114275568 140130842495618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13372] ppid=13310 vsize=10851736 memory=1432 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13372/stat : 13372 (java) S 13310 13313 3654 0 -1 1077944384 16 13132 0 0 0 0 6 2 20 0 15 0 407143757 11112177664 1080269 33554432000 4194304 4196468 140725438316144 140130018911456 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13373] ppid=13310 vsize=10851736 memory=9536 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13373/stat : 13373 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 15 0 407143758 11112177664 1080269 33554432000 4194304 4196468 140725438316144 140129884693248 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13374] ppid=13310 vsize=10851736 memory=692 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13374/stat : 13374 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 15 0 407143760 11112177664 1080269 33554432000 4194304 4196468 140725438316144 140129375967184 140130842503067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13375] ppid=13310 vsize=10851736 memory=4132 CPUtime=5.85 cores=1,3,5,7
/proc/13313/task/13375/stat : 13375 (java) R 13310 13313 3654 0 -1 4202560 16939 13132 0 0 574 3 6 2 20 0 15 0 407143760 11112177664 1080269 33554432000 4194304 4196468 140725438316144 140130113211840 140130821673920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13376] ppid=13310 vsize=10851736 memory=2832 CPUtime=6.42 cores=1,3,5,7
/proc/13313/task/13376/stat : 13376 (java) R 13310 13313 3654 0 -1 4202560 20369 13132 0 0 631 3 6 2 20 0 15 0 407143760 11112177664 1080269 33554432000 4194304 4196468 140725438316144 140130112155528 140130825871256 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13377] ppid=13310 vsize=10851736 memory=1712 CPUtime=2.33 cores=1,3,5,7
/proc/13313/task/13377/stat : 13377 (java) S 13310 13313 3654 0 -1 1077944384 15369 13132 0 0 221 4 6 2 20 0 15 0 407143760 11112177664 1080269 33554432000 4194304 4196468 140725438316144 140130111117808 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13378] ppid=13310 vsize=10851736 memory=1220 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13378/stat : 13378 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 15 0 407143760 11112177664 1080269 33554432000 4194304 4196468 140725438316144 140129342409568 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13379] ppid=13310 vsize=10851736 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/13313/task/13379/stat : 13379 (java) S 13310 13313 3654 0 -1 1077944384 1372 13132 0 0 1 1 6 2 20 0 15 0 407143761 11112177664 1080269 33554432000 4194304 4196468 140725438316144 140130110065200 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
Current children cumulated CPU time: 92.13 s
Current children cumulated vsize: 10851736 KiB
Current children cumulated memory: 4321076 KiB

[startup+52.8007 s]
/proc/loadavg: 1.97 1.61 1.49 5/229 13392
/proc/meminfo: memFree=13967592/32770624 swapFree=66999904/67108860
[pid=13313] ppid=13310 vsize=10849012 memory=4326408 CPUtime=96.89 cores=1,3,5,7
/proc/13313/stat : 13313 (java) S 13310 13313 3654 0 -1 1077944320 401035 13132 0 0 9364 317 6 2 20 0 15 0 407143746 11109388288 1081602 33554432000 4194304 4196468 140725438316144 140725438298688 140130842484471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
/proc/13313/statm: 2712253 1081602 3631 1 0 2674317 0
[pid=13313/tid=13366] ppid=13310 vsize=10849012 memory=4289720 CPUtime=42.97 cores=1,3,5,7
/proc/13313/task/13366/stat : 13366 (java) R 13310 13313 3654 0 -1 4202560 41954 13132 0 0 4255 34 6 2 20 0 15 0 407143755 11109388288 1081602 33554432000 4194304 4196468 140725438316144 140130814317920 140130457072156 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13367] ppid=13310 vsize=10849012 memory=4283732 CPUtime=8.85 cores=1,3,5,7
/proc/13313/task/13367/stat : 13367 (java) S 13310 13313 3654 0 -1 1077944384 43406 13132 0 0 812 65 6 2 20 0 15 0 407143755 11109388288 1081602 33554432000 4194304 4196468 140725438316144 140130846727184 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13368] ppid=13310 vsize=10849012 memory=988 CPUtime=8.98 cores=1,3,5,7
/proc/13313/task/13368/stat : 13368 (java) S 13310 13313 3654 0 -1 1077944384 53697 13132 0 0 822 68 6 2 20 0 15 0 407143755 11109388288 1081602 33554432000 4194304 4196468 140725438316144 140130761546896 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13369] ppid=13310 vsize=10849012 memory=6791534058613427641 CPUtime=8.94 cores=1,3,5,7
/proc/13313/task/13369/stat : 13369 (java) S 13310 13313 3654 0 -1 1077944384 54394 13132 0 0 823 63 6 2 20 0 15 0 407143755 11109388288 1081602 33554432000 4194304 4196468 140725438316144 140130760493840 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13370] ppid=13310 vsize=10849012 memory=1808 CPUtime=9.07 cores=1,3,5,7
/proc/13313/task/13370/stat : 13370 (java) S 13310 13313 3654 0 -1 1077944384 124978 13132 0 0 830 69 6 2 20 0 15 0 407143755 11109388288 1081602 33554432000 4194304 4196468 140725438316144 140130759441296 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13371] ppid=13310 vsize=10849012 memory=924 CPUtime=0.83 cores=1,3,5,7
/proc/13313/task/13371/stat : 13371 (java) S 13310 13313 3654 0 -1 1077944384 23113 13132 0 0 73 2 6 2 20 0 15 0 407143757 11109388288 1081602 33554432000 4194304 4196468 140725438316144 140130114275568 140130842495618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13372] ppid=13310 vsize=10849012 memory=3848 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13372/stat : 13372 (java) S 13310 13313 3654 0 -1 1077944384 16 13132 0 0 0 0 6 2 20 0 15 0 407143757 11109388288 1081602 33554432000 4194304 4196468 140725438316144 140130018911456 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13373] ppid=13310 vsize=10849012 memory=2600 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13373/stat : 13373 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 15 0 407143758 11109388288 1081602 33554432000 4194304 4196468 140725438316144 140129884693248 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13374] ppid=13310 vsize=10849012 memory=2900 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13374/stat : 13374 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 15 0 407143760 11109388288 1081602 33554432000 4194304 4196468 140725438316144 140129375967184 140130842503067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13375] ppid=13310 vsize=10849012 memory=1408 CPUtime=7.3 cores=1,3,5,7
/proc/13313/task/13375/stat : 13375 (java) S 13310 13313 3654 0 -1 1077944384 18143 13132 0 0 719 3 6 2 20 0 15 0 407143760 11109388288 1081602 33554432000 4194304 4196468 140725438316144 140130113223408 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13376] ppid=13310 vsize=10849012 memory=3164 CPUtime=7.87 cores=1,3,5,7
/proc/13313/task/13376/stat : 13376 (java) S 13310 13313 3654 0 -1 1077944384 21357 13132 0 0 776 3 6 2 20 0 15 0 407143760 11109388288 1081602 33554432000 4194304 4196468 140725438316144 140130112170864 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13377] ppid=13310 vsize=10849012 memory=2489580 CPUtime=2.6 cores=1,3,5,7
/proc/13313/task/13377/stat : 13377 (java) S 13310 13313 3654 0 -1 1077944384 16387 13132 0 0 248 4 6 2 20 0 15 0 407143760 11109388288 1081602 33554432000 4194304 4196468 140725438316144 140130111117808 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13378] ppid=13310 vsize=10849012 memory=4100 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13378/stat : 13378 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 15 0 407143760 11109388288 1081602 33554432000 4194304 4196468 140725438316144 140129342409568 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13379] ppid=13310 vsize=10849012 memory=1408 CPUtime=0.1 cores=1,3,5,7
/proc/13313/task/13379/stat : 13379 (java) S 13310 13313 3654 0 -1 1077944384 1372 13132 0 0 1 1 6 2 20 0 15 0 407143761 11109388288 1081602 33554432000 4194304 4196468 140725438316144 140130110065200 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
Current children cumulated CPU time: 96.89 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 4326408 KiB

[startup+53.2017 s]
/proc/loadavg: 1.97 1.61 1.49 6/230 13393
/proc/meminfo: memFree=13961580/32770624 swapFree=66999904/67108860
[pid=13313] ppid=13310 vsize=10947320 memory=4334784 CPUtime=98.21 cores=1,3,5,7
/proc/13313/stat : 13313 (java) S 13310 13313 3654 0 -1 1077944320 404304 13132 0 0 9495 318 6 2 20 0 16 0 407143746 11210055680 1083696 33554432000 4194304 4196468 140725438316144 140725438298688 140130842484471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
/proc/13313/statm: 2736830 1083696 3632 1 0 2698894 0
[pid=13313/tid=13366] ppid=13310 vsize=10947320 memory=288230621803970871 CPUtime=43.09 cores=1,3,5,7
/proc/13313/task/13366/stat : 13366 (java) S 13310 13313 3654 0 -1 1077944384 42019 13132 0 0 4267 34 6 2 20 0 16 0 407143755 11210055680 1083696 33554432000 4194304 4196468 140725438316144 140130814325792 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13367] ppid=13310 vsize=10947320 memory=15823304585906089 CPUtime=9.12 cores=1,3,5,7
/proc/13313/task/13367/stat : 13367 (java) R 13310 13313 3654 0 -1 4202560 44159 13132 0 0 839 65 6 2 20 0 16 0 407143755 11210055680 1083696 33554432000 4194304 4196468 140725438316144 140130846727384 140130824110413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13368] ppid=13310 vsize=10947320 memory=692 CPUtime=9.24 cores=1,3,5,7
/proc/13313/task/13368/stat : 13368 (java) R 13310 13313 3654 0 -1 4202560 54011 13132 0 0 848 68 6 2 20 0 16 0 407143755 11210055680 1083696 33554432000 4194304 4196468 140725438316144 140130761547096 140130828242801 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13369] ppid=13310 vsize=10947320 memory=4132 CPUtime=9.21 cores=1,3,5,7
/proc/13313/task/13369/stat : 13369 (java) R 13310 13313 3654 0 -1 4202560 54582 13132 0 0 850 63 6 2 20 0 16 0 407143755 11210055680 1083696 33554432000 4194304 4196468 140725438316144 140130760493840 140130827528581 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13370] ppid=13310 vsize=10947320 memory=2832 CPUtime=9.34 cores=1,3,5,7
/proc/13313/task/13370/stat : 13370 (java) R 13310 13313 3654 0 -1 4202560 126857 13132 0 0 856 70 6 2 20 0 16 0 407143755 11210055680 1083696 33554432000 4194304 4196468 140725438316144 140130759440680 140130827511890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13371] ppid=13310 vsize=10947320 memory=1712 CPUtime=0.83 cores=1,3,5,7
/proc/13313/task/13371/stat : 13371 (java) S 13310 13313 3654 0 -1 1077944384 23113 13132 0 0 73 2 6 2 20 0 16 0 407143757 11210055680 1083696 33554432000 4194304 4196468 140725438316144 140130114274080 140130842494677 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13372] ppid=13310 vsize=10947320 memory=1220 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13372/stat : 13372 (java) S 13310 13313 3654 0 -1 1077944384 16 13132 0 0 0 0 6 2 20 0 16 0 407143757 11210055680 1083696 33554432000 4194304 4196468 140725438316144 140130018911456 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13373] ppid=13310 vsize=10947320 memory=992 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13373/stat : 13373 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 16 0 407143758 11210055680 1083696 33554432000 4194304 4196468 140725438316144 140129884693248 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13374] ppid=13310 vsize=10947320 memory=5976 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13374/stat : 13374 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 16 0 407143760 11210055680 1083696 33554432000 4194304 4196468 140725438316144 140129375967184 140130842503067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13375] ppid=13310 vsize=10947320 memory=1544 CPUtime=7.34 cores=1,3,5,7
/proc/13313/task/13375/stat : 13375 (java) S 13310 13313 3654 0 -1 1077944384 18153 13132 0 0 723 3 6 2 20 0 16 0 407143760 11210055680 1083696 33554432000 4194304 4196468 140725438316144 140130113203216 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13376] ppid=13310 vsize=10947320 memory=776 CPUtime=7.93 cores=1,3,5,7
/proc/13313/task/13376/stat : 13376 (java) S 13310 13313 3654 0 -1 1077944384 21374 13132 0 0 781 4 6 2 20 0 16 0 407143760 11210055680 1083696 33554432000 4194304 4196468 140725438316144 140130112150608 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13377] ppid=13310 vsize=10947320 memory=4283732 CPUtime=2.62 cores=1,3,5,7
/proc/13313/task/13377/stat : 13377 (java) S 13310 13313 3654 0 -1 1077944384 16416 13132 0 0 250 4 6 2 20 0 16 0 407143760 11210055680 1083696 33554432000 4194304 4196468 140725438316144 140130111117808 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13378] ppid=13310 vsize=10947320 memory=140063178490440 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13378/stat : 13378 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 16 0 407143760 11210055680 1083696 33554432000 4194304 4196468 140725438316144 140129342409568 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13379] ppid=13310 vsize=10947320 memory=579334881661968957 CPUtime=0.1 cores=1,3,5,7
/proc/13313/task/13379/stat : 13379 (java) R 13310 13313 3654 0 -1 1077944384 1372 13132 0 0 1 1 6 2 20 0 16 0 407143761 11210055680 1083696 33554432000 4194304 4196468 140725438316144 140130110065200 140130842495618 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13393] ppid=13310 vsize=10947320 memory=288285597418929404 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13393/stat : 13393 (java) S 13310 13313 3654 0 -1 1077944384 14 13132 0 0 0 0 6 2 20 0 16 0 407149038 11210055680 1083696 33554432000 4194304 4196468 140725438316144 140128945167840 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
Current children cumulated CPU time: 98.21 s
Current children cumulated vsize: 10947320 KiB
Current children cumulated memory: 4334784 KiB

[startup+53.4017 s]
/proc/loadavg: 1.97 1.61 1.49 6/230 13393
/proc/meminfo: memFree=13961580/32770624 swapFree=66999904/67108860
[pid=13313] ppid=13310 vsize=10947320 memory=4335092 CPUtime=99 cores=1,3,5,7
/proc/13313/stat : 13313 (java) S 13310 13313 3654 0 -1 1077944320 404472 13132 0 0 9574 318 6 2 20 0 16 0 407143746 11210055680 1083773 33554432000 4194304 4196468 140725438316144 140725438298688 140130842484471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
/proc/13313/statm: 2736830 1083773 3632 1 0 2698894 0
[pid=13313/tid=13366] ppid=13310 vsize=10947320 memory=-7259680087821831619 CPUtime=43.09 cores=1,3,5,7
/proc/13313/task/13366/stat : 13366 (java) S 13310 13313 3654 0 -1 1077944384 42019 13132 0 0 4267 34 6 2 20 0 16 0 407143755 11210055680 1083773 33554432000 4194304 4196468 140725438316144 140130814325792 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13367] ppid=13310 vsize=10947320 memory=6010738038913721959 CPUtime=9.32 cores=1,3,5,7
/proc/13313/task/13367/stat : 13367 (java) R 13310 13313 3654 0 -1 4202560 44213 13132 0 0 859 65 6 2 20 0 16 0 407143755 11210055680 1083773 33554432000 4194304 4196468 140725438316144 140130846727384 140130827525430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13368] ppid=13310 vsize=10947320 memory=7018694351302387309 CPUtime=9.44 cores=1,3,5,7
/proc/13313/task/13368/stat : 13368 (java) R 13310 13313 3654 0 -1 4202560 54063 13132 0 0 868 68 6 2 20 0 16 0 407143755 11210055680 1083773 33554432000 4194304 4196468 140725438316144 140130761547096 140130827509823 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13369] ppid=13310 vsize=10947320 memory=7523653973935876435 CPUtime=9.4 cores=1,3,5,7
/proc/13313/task/13369/stat : 13369 (java) R 13310 13313 3654 0 -1 4202560 54635 13132 0 0 869 63 6 2 20 0 16 0 407143755 11210055680 1083773 33554432000 4194304 4196468 140725438316144 140130760493728 140130827508174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13370] ppid=13310 vsize=10947320 memory=6153433744106875499 CPUtime=9.54 cores=1,3,5,7
/proc/13313/task/13370/stat : 13370 (java) R 13310 13313 3654 0 -1 4202560 126866 13132 0 0 876 70 6 2 20 0 16 0 407143755 11210055680 1083773 33554432000 4194304 4196468 140725438316144 140130759440680 140130827507902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13371] ppid=13310 vsize=10947320 memory=5792850022486336087 CPUtime=0.83 cores=1,3,5,7
/proc/13313/task/13371/stat : 13371 (java) S 13310 13313 3654 0 -1 1077944384 23113 13132 0 0 73 2 6 2 20 0 16 0 407143757 11210055680 1083773 33554432000 4194304 4196468 140725438316144 140130114274080 140130842494677 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13372] ppid=13310 vsize=10947320 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13372/stat : 13372 (java) S 13310 13313 3654 0 -1 1077944384 16 13132 0 0 0 0 6 2 20 0 16 0 407143757 11210055680 1083773 33554432000 4194304 4196468 140725438316144 140130018911456 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13373] ppid=13310 vsize=10947320 memory=3618413826336109624 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13373/stat : 13373 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 16 0 407143758 11210055680 1083773 33554432000 4194304 4196468 140725438316144 140129884693248 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13374] ppid=13310 vsize=10947320 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13374/stat : 13374 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 16 0 407143760 11210055680 1083773 33554432000 4194304 4196468 140725438316144 140129375967184 140130842503067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13375] ppid=13310 vsize=10947320 memory=0 CPUtime=7.34 cores=1,3,5,7
/proc/13313/task/13375/stat : 13375 (java) S 13310 13313 3654 0 -1 1077944384 18153 13132 0 0 723 3 6 2 20 0 16 0 407143760 11210055680 1083773 33554432000 4194304 4196468 140725438316144 140130113203216 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13376] ppid=13310 vsize=10947320 memory=280123540254512 CPUtime=7.93 cores=1,3,5,7
/proc/13313/task/13376/stat : 13376 (java) S 13310 13313 3654 0 -1 1077944384 21374 13132 0 0 781 4 6 2 20 0 16 0 407143760 11210055680 1083773 33554432000 4194304 4196468 140725438316144 140130112150608 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13377] ppid=13310 vsize=10947320 memory=303430223234596890 CPUtime=2.62 cores=1,3,5,7
/proc/13313/task/13377/stat : 13377 (java) S 13310 13313 3654 0 -1 1077944384 16416 13132 0 0 250 4 6 2 20 0 16 0 407143760 11210055680 1083773 33554432000 4194304 4196468 140725438316144 140130111117808 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13378] ppid=13310 vsize=10947320 memory=288230621803970871 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13378/stat : 13378 (java) S 13310 13313 3654 0 -1 1077944384 3 13132 0 0 0 0 6 2 20 0 16 0 407143760 11210055680 1083773 33554432000 4194304 4196468 140725438316144 140129342409568 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13379] ppid=13310 vsize=10947320 memory=24050 CPUtime=0.1 cores=1,3,5,7
/proc/13313/task/13379/stat : 13379 (java) S 13310 13313 3654 0 -1 1077944384 1372 13132 0 0 1 1 6 2 20 0 16 0 407143761 11210055680 1083773 33554432000 4194304 4196468 140725438316144 140130110065200 140130842495618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
[pid=13313/tid=13393] ppid=13310 vsize=10947320 memory=5867741088321987176 CPUtime=0.08 cores=1,3,5,7
/proc/13313/task/13393/stat : 13393 (java) S 13310 13313 3654 0 -1 1077944384 14 13132 0 0 0 0 6 2 20 0 16 0 407149038 11210055680 1083773 33554432000 4194304 4196468 140725438316144 140128945167840 140130842494677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140725438319350 140725438321861 140725438321861 140725438324687 0
Current children cumulated CPU time: 99 s
Current children cumulated vsize: 10947320 KiB
Current children cumulated memory: 4335092 KiB

[startup+53.5008 s]*
/proc/loadavg: 1.97 1.61 1.49 3/216 13393
/proc/meminfo: memFree=15256940/32770624 swapFree=66999904/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 53.5282
CPU time (s): 99.3344
CPU user time (s): 96.0736
CPU system time (s): 3.26073
CPU usage (%): 185.574
Max. virtual memory (cumulated for all children) (KiB): 10947320
Max. memory (cumulated for all children) (KiB): 4335092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 96.0736
system time used= 3.26073
maximum resident set size= 4335220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 417698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11685
involuntary context switches= 476


# summary of solver processes directly reported to runsolver:
#   pid: 13313
#   total CPU time (s): 99.3344
#   total CPU user time (s): 96.0736
#   total CPU system time (s): 3.26073

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.377923 second user time and 0.519644 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-12 19:19:10
IDJOB=4387522
IDBENCH=141269
IDSOLVER=2823
FILE ID=node123/4387522-1568308788
RUNJOBID= node123-1568285996-4542
PBS_JOBID= 21701081
Free space on /tmp= 56664 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-17-0300_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387522-1568308788/watcher-4387522-1568308788 -o /tmp/evaluation-result-4387522-1568308788/solver-4387522-1568308788 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568285996-4542 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=863854503 HOME/instance-4387522-1568308788.xml

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

MD5SUM BENCH= 89893934ad5b9c06ca26522ad9c878f8
RANDOM SEED=863854503

node123.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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        18287128 kB
MemAvailable:   29375116 kB
Buffers:          196680 kB
Cached:         11064716 kB
SwapCached:         7400 kB
Active:          4227952 kB
Inactive:        9521980 kB
Active(anon):    2484776 kB
Inactive(anon):    45308 kB
Active(file):    1743176 kB
Inactive(file):  9476672 kB
Unevictable:      106696 kB
Mlocked:          106696 kB
SwapTotal:      67108860 kB
SwapFree:       66999904 kB
Dirty:            136340 kB
Writeback:             0 kB
AnonPages:       2529864 kB
Mapped:            56604 kB
Shmem:             32668 kB
Slab:             326320 kB
SReclaimable:     296600 kB
SUnreclaim:        29720 kB
KernelStack:        3984 kB
PageTables:        10888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3582732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2336768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56628 MiB
End job on node123 at 2019-09-12 19:20:03