Trace number 4402782

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.3OPT162507055 67.4966 40.1205

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-18-0350_c18.xml
MD5SUM970c879d9e656f0525c6818b69538b39
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark162507055
Best CPU time to get the best result obtained on this benchmark67.4966
Satisfiable
(Un)Satisfiability was proved
Number of variables4976
Number of constraints3812
Number of domains49
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":4},{"size":2,"count":1771},{"size":11,"count":1425},{"size":12,"count":1},{"size":21,"count":54},{"size":22,"count":3},{"size":26,"count":5},{"size":27,"count":67},{"size":35,"count":51},{"size":41,"count":8},{"size":42,"count":5},{"size":43,"count":24},{"size":46,"count":13},{"size":47,"count":27},{"size":49,"count":29},{"size":55,"count":18},{"size":69,"count":6},{"size":75,"count":20},{"size":78,"count":3},{"size":82,"count":2},{"size":83,"count":66},{"size":85,"count":10},{"size":86,"count":78},{"size":88,"count":4},{"size":103,"count":37},{"size":111,"count":78},{"size":123,"count":7},{"size":129,"count":11},{"size":134,"count":14},{"size":135,"count":123},{"size":142,"count":28},{"size":143,"count":195},{"size":150,"count":69},{"size":151,"count":720}]
Minimum variable degree2
Maximum variable degree1426
Distribution of variable degrees[{"degree":2,"count":4277},{"degree":3,"count":4},{"degree":4,"count":14},{"degree":5,"count":20},{"degree":6,"count":25},{"degree":7,"count":40},{"degree":8,"count":48},{"degree":9,"count":61},{"degree":10,"count":81},{"degree":11,"count":74},{"degree":12,"count":95},{"degree":13,"count":88},{"degree":14,"count":68},{"degree":15,"count":55},{"degree":16,"count":21},{"degree":17,"count":4},{"degree":1426,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":962},{"arity":3,"count":1425},{"arity":6,"count":1425}]
Number of extensional constraints1425
Number of intensional constraints2387
Distribution of constraint types[{"type":"extension","count":1425},{"type":"intension","count":2387}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.79/0.56	c Concrete v3.12.3.1568965526260 running
67.16/40.06	o 162507055
67.16/40.09	v <instantiation
67.16/40.09	v         cost = '162507055'>
67.16/40.09	v       <list>
67.16/40.09	v         f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] 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] 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] 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]
67.16/40.09	v       </list>
67.16/40.09	v       <values>
67.16/40.09	v         2480 2264 2756 2604 2460 2560 2684 2788 2436 2508 2704 2420 2668 2420 2464 2436 2744 2356 2756 2604 2620 2780 2276 2220 2464 2600 2724 2584 2748 2788 2260 2684 2224 2272 2576 2312 2316 2684 2736 2260 2348 2756 2564 2532 2820 2440 2780 2712 2520 2236 2508 2384 2368 2788 2788 2780 2388 2592 2560 2596 2716 2612 2820 2748 2428 2788 2436 2684 2660 2780 2628 2420 2556 2660 2788 2480 2788 2748 2424 2560 2748 2820 2596 2520 2588 2424 2748 2660 2588 2684 2520 2500 2260 2420 2520 2288 2748 2588 2472 2820 2572 2468 2620 2620 2752 2700 2312 2748 2744 2500 2788 2644 2480 2660 2220 2820 2788 2380 2652 2572 2684 2628 2224 2560 2460 2756 2424 2684 2520 2444 2788 2456 2820 2716 2776 2516 2564 2700 2724 2572 2620 2756 2696 2480 2820 2572 2780 2748 2604 2592 2748 2428 2776 2780 2512 2408 2276 2380 2736 2788 2716 2560 2748 2372 2544 2320 2512 2532 2264 2328 2264 2520 2632 2564 2376 2620 2748 2660 2748 2740 2268 2268 2500 2460 2276 2620 2540 2756 2244 2628 2460 2468 2244 2632 2544 2744 2260 2520 2780 2372 2724 2500 2660 2620 2788 2620 2496 2620 2740 2716 2592 2660 2520 2440 2388 2788 2404 2472 2724 2412 2584 2736 2708 2724 2264 2660 2780 2752 2464 2480 2380 2788 2732 2232 2820 2748 2632 2752 2520 2572 2696 2712 2660 2372 2284 2524 2628 2604 2704 2660 2444 2660 2756 2700 2620 2228 2284 2276 2520 2660 2476 2280 2556 2692 2636 2724 2560 2532 2716 2780 2272 2480 2820 2792 2564 2468 2748 2396 2788 2220 2780 2260 2512 2716 2724 2636 2424 2724 2468 2628 2724 2284 2496 2676 2244 2660 2380 2684 2264 2620 2472 2416 2476 2736 2684 2780 2404 2712 2508 2572 2684 2748 2716 2224 2616 2632 2660 2224 2260 2224 2592 2672 2532 2576 2456 2316 2620 2236 2724 2520 2220 2588 2772 2220 2820 2272 2316 2616 2220 2456 2500 2228 2784 2412 2412 2480 2416 2560 2748 2532 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 1 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 40 256 36 276 180 52 220 80 380 236 396 436 296 336 532 520 160 24 136 496 136 40 64 536 236 332 84 176 184 136 152 104 84 344 120 176 104 96 328 196 320 328 160 200 176 332 324 80 124 80 164 188 288 104 104 184 24 412 204 288 440 64 64 96 84 368 52 268 32 168 168 512 64 32 524 564 128 344 280 168 64 108 40 192 48 52 52 188 104 64 112 52 428 20 132 32 36 132 192 80 248 160 108 100 88 368 240 296 156 320 208 76 328 112 444 68 80 48 148 256 68 448 44 180 324 152 336 136 24 100 216 4 328 292 136 356 36 156 244 232 196 196 228 176 352 84 184 152 468 60 28 124 152 48 84 180 4 240 136 328 112 360 304 320 300 32 136 344 280 136 8 20 184 24 24 144 124 344 64 168 160 136 28 240 248 48 40 168 208 260 280 308 56 352 448 384 344 280 296 496 24 324 152 408 8 196 148 252 284 196 40 124 52 232 24 180 56 44 140 76 16 152 204 208 160 204 24 164 160 44 312 20 12 128 4 268 64 524 216 528 176 40 104 288 460 288 208 464 72 104 104 16 124 104 96 88 464 92 492 320 408 348 556 52 548 468 188 356 236 248 344 68 316 104 132 204 200 256 80 108 44 120 56 304 476 464 92 132 308 92 144 244 64 108 376 40 204 260 72 464 180 276 216 40 76 76 324 400 312 456 112 204 24 424 432 336 284 368 172 368 184 276 376 136 260 136 24 64 480 140 180 256 40 96 8 152 280 344 80 128 32 248 168 308 32 380 396 72 392 80 576 40 28 160 204 288 12 308 132 172 304 236 196 520 276 292 108 76 24 36 80 92 144 260 300 116 96 424 176 516 488 284 584 380 180 248 88 268 12 280 32 124 236 404 136 372 68 164 112 292 192 124 356 136 148 104 196 344 232 228 104 196 364 200 268 44 528 40 192 160 44 120 56 496 40 52 316 172 272 84 228 20 4 164 76 188 124 176 40 12 80 28 336 140 276 64 36 200 152 36 4 140 64 240 492 184 48 140 56 256 448 216 160 204 560 408 152 324 32 516 72 44 464 128 392 268 160 324 144 184 288 392 32 88 32 32 156 264 268 104 472 192 84 152 24 104 112 408 64 136 108 104 268 116 24 120 24 244 28 204 128 504 548 208 96 464 152 120 272 200 88 224 288 152 44 20 140 128 116 188 376 140 124 328 44 168 224 236 80 8 216 180 204 316 104 228 248 8 340 228 360 216 324 24 196 324 140 200 92 12 68 48 72 188 80 148 80 4 32 24 160 340 216 344 28 72 96 600 308 192 156 88 368 228 76 180 204 44 196 204 104 68 88 72 40 364 236 44 180 52 48 320 308 464 468 32 44 88 520 180 160 280 120 416 436 436 160 160 132 68 32 128 148 204 184 224 104 16 104 184 56 68 164 272 20 100 292 300 196 204 248 248 104 92 104 32 12 120 120 212 516 236 400 400 356 196 100 100 240 328 152 252 300 236 204 140 192 344 316 276 288 208 252 176 120 304 128 40 152 188 60 148 144 16 200 300 32 160 548 96 600 192 176 100 144 308 312 64 152 312 108 136 120 136 136 100 56 160 32 164 208 88 208 232 212 508 28 36 20 36 492 220 120 48 432 424 236 232 120 340 248 188 160 200 220 176 128 88 248 100 20 288 16 216 232 40 24 328 328 320 64 132 80 372 80 380 52 256 300 272 196 340 436 216 52 24 292 48 568 220 200 68 124 352 308 168 104 52 104 192 164 280 140 280 192 32 140 24 132 256 368 176 112 192 308 52 92 192 52 24 272 40 64 384 256 24 84 88 368 356 400 524 408 408 476 596 452 20 524 156 188 60 24 44 124 100 292 232 328 176 236 224 128 48 136 124 292 360 184 64 16 324 160 204 76 104 52 104 24 64 228 228 292 100 12 296 152 104 376 68 304 124 16 12 128 216 128 320 384 564 472 172 172 40 124 256 444 96 248 84 584 504 60 184 244 88 472 496 156 372 204 20 496 556 200 76 16 4 208 136 144 44 160 112 120 304 272 80 40 108 480 472 24 64 164 328 152 192 128 112 248 48 136 124 472 300 320 280 220 40 88 140 276 244 80 300 160 288 424 200 548 60 296 308 56 104 88 168 408 260 516 32 224 24 56 24 180 156 360 44 84 356 320 216 116 128 268 320 184 276 144 132 264 456 280 156 92 320 512 336 500 560 268 284 164 324 44 108 104 292 100 132 144 184 356 224 376 92 160 156 196 240 76 508 268 116 328 312 372 156 88 248 56 216 228 32 164 56 80 236 484 40 128 32 40 228 24 520 92 256 40 176 340 92 148 300 96 116 124 192 12 216 396 292 212 168 116 104 204 420 300 192 48 408 408 316 412 184 184 4 404 144 412 372 248 200 16 140 4 152 484 156 256 64 100 56 164 84 16 220 8 44 272 136 204 48 512 244 228 4 48 432 280 128 288 224 172 280 256 264 4 168 256 328 4 352 448 136 476 140 168 56 192 176 124 136 120 32 576 276 232 168 152 8 88 244 188 224 236 376 328 460 544 416 20 16 148 112 408 408 360 20 500 76 128 464 152 464 400 156 56 32 268 44 204 68 300 12 88 420 64 168 56 48 216 288 268 92 128 52 336 344 152 16 208 80 308 224 64 56 144 84 32 212 224 96 64 276 8 324 4 184 124 272 64 228 140 156 340 92 76 144 116 104 60 108 92 172 220 164 60 16 156 60 308 304 76 100 484 420 44 256 68 204 260 468 92 28 528 68 12 316 196 48 276 204 300 52 164 252 192 56 128 228 568 64 76 4 500 488 48 144 40 516 192 356 72 8 272 36 408 132 72 240 164 300 192 116 84 28 164 4 52 24 232 332 408 104 112 60 536 300 72 96 96 16 192 144 76 88 44 196 476 80 160 236 56 44 164 52 132 172 12 56 132 96 56 24 152 136 484 256 88 128 12 88 44 4 164 240 176 8 496 280 56 384 232 56 48 204 48 260 40 16 40 128 64 436 216 16 192 296 468 100 320 160 104 16 96 56 252 48 80 340 144 100 152 400 552 520 72 132 44 248 244 352 252 64 56 192 56 304 104 76 364 208 200 64 344 216 248 48 64 24 40 264 172 528 388 128 304 336 240 464 356 40 236 104 252 16 368 216 420 460 228 4 124 24 448 248 408 92 160 328 152 152 372 276 312 184 96 216 384 244 564
67.16/40.09	v       </values>
67.16/40.09	v     </instantiation>
67.16/40.09	s OPTIMUM FOUND

Verifier Data 

OK	162507055

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402782-1568987809/watcher-4402782-1568987809 -o /tmp/evaluation-result-4402782-1568987809/solver-4402782-1568987809 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568967596-5048 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=812206065 HOME/instance-4402782-1568987809.xml 

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

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

solver pid=11397, runsolver pid=11394

[startup+0.100164 s]*
/proc/loadavg: 1.54 1.49 1.50 3/214 11450
/proc/meminfo: memFree=6562356/32770624 swapFree=66959532/67108860
[pid=11397] ppid=11394 vsize=9972712 memory=16552 CPUtime=0.09 cores=0,2,4,6
/proc/11397/stat : 11397 (java) S 11394 11397 5017 0 -1 1077944320 4378 13547 0 0 1 0 5 3 20 0 6 0 475049741 10212057088 4138 33554432000 4194304 4196468 140722919734304 140722919716848 140223222660855 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
/proc/11397/statm: 2493178 4138 1933 1 0 2481616 0
[pid=11397/tid=11450] ppid=11394 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11450/stat : 11450 (java) R 11394 11397 5017 0 -1 4202560 2182 13547 0 0 0 0 5 3 20 0 6 0 475049750 10212057088 4138 33554432000 4194304 4196468 140722919734304 140223194497616 140223222682781 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11451] ppid=11394 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11451/stat : 11451 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 6 0 475049751 10212057088 4138 33554432000 4194304 4196468 140722919734304 140223226903056 140223222671061 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11452] ppid=11394 vsize=9972712 memory=140089996291442 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11452/stat : 11452 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 6 0 475049751 10212057088 4138 33554432000 4194304 4196468 140722919734304 140223115176592 140223222671061 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11453] ppid=11394 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11453/stat : 11453 (java) S 11394 11397 5017 0 -1 1077944384 1 13547 0 0 0 0 5 3 20 0 6 0 475049751 10212057088 4138 33554432000 4194304 4196468 140722919734304 140223114123536 140223222671061 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11454] ppid=11394 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11454/stat : 11454 (java) S 11394 11397 5017 0 -1 1077944384 1 13547 0 0 0 0 5 3 20 0 6 0 475049751 10212057088 4138 33554432000 4194304 4196468 140722919734304 140223113070992 140223222671061 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16552 KiB

[startup+0.210253 s]*
/proc/loadavg: 1.54 1.49 1.50 3/227 11463
/proc/meminfo: memFree=6539256/32770624 swapFree=66959532/67108860
[pid=11397] ppid=11394 vsize=10819716 memory=44080 CPUtime=0.26 cores=0,2,4,6
/proc/11397/stat : 11397 (java) S 11394 11397 5017 0 -1 1077944320 7301 13547 0 0 17 1 5 3 20 0 15 0 475049741 11079389184 11020 33554432000 4194304 4196468 140722919734304 140722919716848 140223222660855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
/proc/11397/statm: 2704929 11020 3182 1 0 2667149 0
[pid=11397/tid=11450] ppid=11394 vsize=10819716 memory=751940894209540401 CPUtime=0.19 cores=0,2,4,6
/proc/11397/task/11450/stat : 11450 (java) R 11394 11397 5017 0 -1 4202560 3805 13547 0 0 11 0 5 3 20 0 15 0 475049750 11079389184 11020 33554432000 4194304 4196468 140722919734304 140223194465936 140223206741342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11451] ppid=11394 vsize=10819716 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11451/stat : 11451 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 15 0 475049751 11079389184 11020 33554432000 4194304 4196468 140722919734304 140223226903056 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11452] ppid=11394 vsize=10819716 memory=140089996291442 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11452/stat : 11452 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 15 0 475049751 11079389184 11020 33554432000 4194304 4196468 140722919734304 140223115176592 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11453] ppid=11394 vsize=10819716 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11453/stat : 11453 (java) S 11394 11397 5017 0 -1 1077944384 1 13547 0 0 0 0 5 3 20 0 15 0 475049751 11079389184 11020 33554432000 4194304 4196468 140722919734304 140223114123536 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11454] ppid=11394 vsize=10819716 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11454/stat : 11454 (java) S 11394 11397 5017 0 -1 1077944384 1 13547 0 0 0 0 5 3 20 0 15 0 475049751 11079389184 11020 33554432000 4194304 4196468 140722919734304 140223113070992 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11455] ppid=11394 vsize=10819716 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11455/stat : 11455 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 15 0 475049752 11079389184 11020 33554432000 4194304 4196468 140722919734304 140222681516784 140223222672002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11456] ppid=11394 vsize=10819716 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11456/stat : 11456 (java) S 11394 11397 5017 0 -1 1077944384 33 13547 0 0 0 0 5 3 20 0 15 0 475049753 11079389184 11020 33554432000 4194304 4196468 140722919734304 140222680463008 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11457] ppid=11394 vsize=10819716 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11457/stat : 11457 (java) S 11394 11397 5017 0 -1 1077944384 1 13547 0 0 0 0 5 3 20 0 15 0 475049753 11079389184 11020 33554432000 4194304 4196468 140722919734304 140222562034928 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11458] ppid=11394 vsize=10819716 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11458/stat : 11458 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 15 0 475049756 11079389184 11020 33554432000 4194304 4196468 140722919734304 140221958056400 140223222679451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11459] ppid=11394 vsize=10819716 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11397/task/11459/stat : 11459 (java) S 11394 11397 5017 0 -1 1077944384 473 13547 0 0 1 0 5 3 20 0 15 0 475049756 11079389184 11020 33554432000 4194304 4196468 140722919734304 140222646905072 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11460] ppid=11394 vsize=10819716 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11397/task/11460/stat : 11460 (java) S 11394 11397 5017 0 -1 1077944384 173 13547 0 0 1 0 5 3 20 0 15 0 475049756 11079389184 11020 33554432000 4194304 4196468 140722919734304 140222645852528 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11461] ppid=11394 vsize=10819716 memory=140089992746624 CPUtime=0.11 cores=0,2,4,6
/proc/11397/task/11461/stat : 11461 (java) S 11394 11397 5017 0 -1 1077944384 613 13547 0 0 3 0 5 3 20 0 15 0 475049756 11079389184 11020 33554432000 4194304 4196468 140722919734304 140222644799472 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11462] ppid=11394 vsize=10819716 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11462/stat : 11462 (java) S 11394 11397 5017 0 -1 1077944384 3 13547 0 0 0 0 5 3 20 0 15 0 475049756 11079389184 11020 33554432000 4194304 4196468 140722919734304 140221488294240 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11463] ppid=11394 vsize=10819716 memory=140089992746624 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11463/stat : 11463 (java) S 11394 11397 5017 0 -1 1077944384 1 13547 0 0 0 0 5 3 20 0 15 0 475049756 11079389184 11020 33554432000 4194304 4196468 140722919734304 140222643747888 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 44080 KiB

[startup+0.310535 s]*
/proc/loadavg: 1.54 1.49 1.50 3/227 11463
/proc/meminfo: memFree=6527656/32770624 swapFree=66959532/67108860
[pid=11397] ppid=11394 vsize=10820196 memory=52968 CPUtime=0.41 cores=0,2,4,6
/proc/11397/stat : 11397 (java) S 11394 11397 5017 0 -1 1077944320 10947 13547 0 0 30 3 5 3 20 0 15 0 475049741 11079880704 13242 33554432000 4194304 4196468 140722919734304 140722919716848 140223222660855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
/proc/11397/statm: 2705049 13242 3313 1 0 2667149 0
[pid=11397/tid=11450] ppid=11394 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/11397/task/11450/stat : 11450 (java) R 11394 11397 5017 0 -1 4202560 7413 13547 0 0 19 2 5 3 20 0 15 0 475049750 11079880704 13242 33554432000 4194304 4196468 140722919734304 140223194469776 140223206741342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11451] ppid=11394 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11451/stat : 11451 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 15 0 475049751 11079880704 13242 33554432000 4194304 4196468 140722919734304 140223226903056 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11452] ppid=11394 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11452/stat : 11452 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 15 0 475049751 11079880704 13242 33554432000 4194304 4196468 140722919734304 140223115176592 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11453] ppid=11394 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11453/stat : 11453 (java) S 11394 11397 5017 0 -1 1077944384 1 13547 0 0 0 0 5 3 20 0 15 0 475049751 11079880704 13242 33554432000 4194304 4196468 140722919734304 140223114123536 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11454] ppid=11394 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11454/stat : 11454 (java) S 11394 11397 5017 0 -1 1077944384 1 13547 0 0 0 0 5 3 20 0 15 0 475049751 11079880704 13242 33554432000 4194304 4196468 140722919734304 140223113070992 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11455] ppid=11394 vsize=10820196 memory=140089992746623 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11455/stat : 11455 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 15 0 475049752 11079880704 13242 33554432000 4194304 4196468 140722919734304 140222681516784 140223222672002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11456] ppid=11394 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11456/stat : 11456 (java) S 11394 11397 5017 0 -1 1077944384 33 13547 0 0 0 0 5 3 20 0 15 0 475049753 11079880704 13242 33554432000 4194304 4196468 140722919734304 140222680463008 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11457] ppid=11394 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11457/stat : 11457 (java) S 11394 11397 5017 0 -1 1077944384 1 13547 0 0 0 0 5 3 20 0 15 0 475049753 11079880704 13242 33554432000 4194304 4196468 140722919734304 140222562034928 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11458] ppid=11394 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11458/stat : 11458 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 15 0 475049756 11079880704 13242 33554432000 4194304 4196468 140722919734304 140221958056400 140223222679451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11459] ppid=11394 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11397/task/11459/stat : 11459 (java) S 11394 11397 5017 0 -1 1077944384 473 13547 0 0 1 0 5 3 20 0 15 0 475049756 11079880704 13242 33554432000 4194304 4196468 140722919734304 140222646905072 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11460] ppid=11394 vsize=10820196 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/11397/task/11460/stat : 11460 (java) S 11394 11397 5017 0 -1 1077944384 184 13547 0 0 2 0 5 3 20 0 15 0 475049756 11079880704 13242 33554432000 4194304 4196468 140722919734304 140222645852528 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11461] ppid=11394 vsize=10820196 memory=140089992746624 CPUtime=0.13 cores=0,2,4,6
/proc/11397/task/11461/stat : 11461 (java) S 11394 11397 5017 0 -1 1077944384 622 13547 0 0 5 0 5 3 20 0 15 0 475049756 11079880704 13242 33554432000 4194304 4196468 140722919734304 140222644799472 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11462] ppid=11394 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11462/stat : 11462 (java) S 11394 11397 5017 0 -1 1077944384 3 13547 0 0 0 0 5 3 20 0 15 0 475049756 11079880704 13242 33554432000 4194304 4196468 140722919734304 140221488294240 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11463] ppid=11394 vsize=10820196 memory=140089992746624 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11463/stat : 11463 (java) S 11394 11397 5017 0 -1 1077944384 1 13547 0 0 0 0 5 3 20 0 15 0 475049756 11079880704 13242 33554432000 4194304 4196468 140722919734304 140222643747888 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52968 KiB

[startup+0.700712 s]
/proc/loadavg: 1.54 1.49 1.50 3/227 11463
/proc/meminfo: memFree=6515436/32770624 swapFree=66959532/67108860
[pid=11397] ppid=11394 vsize=10824364 memory=85648 CPUtime=1.15 cores=0,2,4,6
/proc/11397/stat : 11397 (java) S 11394 11397 5017 0 -1 1077944320 15112 13547 0 0 102 5 5 3 20 0 15 0 475049741 11084148736 21412 33554432000 4194304 4196468 140722919734304 140722919716848 140223222660855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
/proc/11397/statm: 2706091 21412 3509 1 0 2668173 0
[pid=11397/tid=11450] ppid=11394 vsize=10824364 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/11397/task/11450/stat : 11450 (java) R 11394 11397 5017 0 -1 4202560 10456 13547 0 0 55 4 5 3 20 0 15 0 475049750 11084148736 21412 33554432000 4194304 4196468 140722919734304 140223194484320 140223206741342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11451] ppid=11394 vsize=10824364 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11451/stat : 11451 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 15 0 475049751 11084148736 21412 33554432000 4194304 4196468 140722919734304 140223226903056 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11452] ppid=11394 vsize=10824364 memory=4028 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11452/stat : 11452 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 15 0 475049751 11084148736 21412 33554432000 4194304 4196468 140722919734304 140223115176592 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11453] ppid=11394 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11453/stat : 11453 (java) S 11394 11397 5017 0 -1 1077944384 1 13547 0 0 0 0 5 3 20 0 15 0 475049751 11084148736 21412 33554432000 4194304 4196468 140722919734304 140223114123536 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11454] ppid=11394 vsize=10824364 memory=140089992745457 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11454/stat : 11454 (java) S 11394 11397 5017 0 -1 1077944384 1 13547 0 0 0 0 5 3 20 0 15 0 475049751 11084148736 21412 33554432000 4194304 4196468 140722919734304 140223113070992 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11455] ppid=11394 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11455/stat : 11455 (java) S 11394 11397 5017 0 -1 1077944384 5 13547 0 0 0 0 5 3 20 0 15 0 475049752 11084148736 21412 33554432000 4194304 4196468 140722919734304 140222681516784 140223222672002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11456] ppid=11394 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11456/stat : 11456 (java) S 11394 11397 5017 0 -1 1077944384 33 13547 0 0 0 0 5 3 20 0 15 0 475049753 11084148736 21412 33554432000 4194304 4196468 140722919734304 140222680463008 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11457] ppid=11394 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11457/stat : 11457 (java) S 11394 11397 5017 0 -1 1077944384 1 13547 0 0 0 0 5 3 20 0 15 0 475049753 11084148736 21412 33554432000 4194304 4196468 140722919734304 140222562034928 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11458] ppid=11394 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11458/stat : 11458 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 15 0 475049756 11084148736 21412 33554432000 4194304 4196468 140722919734304 140221958056400 140223222679451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11459] ppid=11394 vsize=10824364 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/11397/task/11459/stat : 11459 (java) R 11394 11397 5017 0 -1 4202560 968 13547 0 0 15 0 5 3 20 0 15 0 475049756 11084148736 21412 33554432000 4194304 4196468 140722919734304 140222646905072 140223207058009 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11460] ppid=11394 vsize=10824364 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/11397/task/11460/stat : 11460 (java) S 11394 11397 5017 0 -1 1077944384 638 13547 0 0 13 0 5 3 20 0 15 0 475049756 11084148736 21412 33554432000 4194304 4196468 140722919734304 140222645852528 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11461] ppid=11394 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/11397/task/11461/stat : 11461 (java) S 11394 11397 5017 0 -1 1077944384 790 13547 0 0 17 0 5 3 20 0 15 0 475049756 11084148736 21412 33554432000 4194304 4196468 140722919734304 140222644799472 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11462] ppid=11394 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11462/stat : 11462 (java) S 11394 11397 5017 0 -1 1077944384 3 13547 0 0 0 0 5 3 20 0 15 0 475049756 11084148736 21412 33554432000 4194304 4196468 140722919734304 140221488294240 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11463] ppid=11394 vsize=10824364 memory=3624 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11463/stat : 11463 (java) S 11394 11397 5017 0 -1 1077944384 1 13547 0 0 0 0 5 3 20 0 15 0 475049756 11084148736 21412 33554432000 4194304 4196468 140722919734304 140222643747888 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85648 KiB

[startup+1.50132 s]
/proc/loadavg: 1.54 1.49 1.50 6/227 11463
/proc/meminfo: memFree=6310896/32770624 swapFree=66959532/67108860
[pid=11397] ppid=11394 vsize=10826488 memory=305372 CPUtime=3.56 cores=0,2,4,6
/proc/11397/stat : 11397 (java) S 11394 11397 5017 0 -1 1077944320 20912 13547 0 0 327 21 5 3 20 0 15 0 475049741 11086323712 76343 33554432000 4194304 4196468 140722919734304 140722919716848 140223222660855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
/proc/11397/statm: 2706622 76343 3565 1 0 2668685 0
[pid=11397/tid=11450] ppid=11394 vsize=10826488 memory=56 CPUtime=1.41 cores=0,2,4,6
/proc/11397/task/11450/stat : 11450 (java) R 11394 11397 5017 0 -1 4202560 11465 13547 0 0 125 8 5 3 20 0 15 0 475049750 11086323712 76343 33554432000 4194304 4196468 140722919734304 140223194492336 140222784289335 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11451] ppid=11394 vsize=10826488 memory=6791534058613427641 CPUtime=0.12 cores=0,2,4,6
/proc/11397/task/11451/stat : 11451 (java) S 11394 11397 5017 0 -1 1077944384 59 13547 0 0 2 2 5 3 20 0 15 0 475049751 11086323712 76343 33554432000 4194304 4196468 140722919734304 140223226903056 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11452] ppid=11394 vsize=10826488 memory=140089992756705 CPUtime=0.13 cores=0,2,4,6
/proc/11397/task/11452/stat : 11452 (java) S 11394 11397 5017 0 -1 1077944384 63 13547 0 0 2 3 5 3 20 0 15 0 475049751 11086323712 76343 33554432000 4194304 4196468 140722919734304 140223115176592 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11453] ppid=11394 vsize=10826488 memory=140089992754497 CPUtime=0.12 cores=0,2,4,6
/proc/11397/task/11453/stat : 11453 (java) S 11394 11397 5017 0 -1 1077944384 56 13547 0 0 2 2 5 3 20 0 15 0 475049751 11086323712 76343 33554432000 4194304 4196468 140722919734304 140223114123536 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11454] ppid=11394 vsize=10826488 memory=140089992756385 CPUtime=0.11 cores=0,2,4,6
/proc/11397/task/11454/stat : 11454 (java) S 11394 11397 5017 0 -1 1077944384 40 13547 0 0 1 2 5 3 20 0 15 0 475049751 11086323712 76343 33554432000 4194304 4196468 140722919734304 140223113070992 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11455] ppid=11394 vsize=10826488 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11455/stat : 11455 (java) S 11394 11397 5017 0 -1 1077944384 85 13547 0 0 0 0 5 3 20 0 15 0 475049752 11086323712 76343 33554432000 4194304 4196468 140722919734304 140222681516784 140223222672002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11456] ppid=11394 vsize=10826488 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11456/stat : 11456 (java) S 11394 11397 5017 0 -1 1077944384 34 13547 0 0 0 0 5 3 20 0 15 0 475049753 11086323712 76343 33554432000 4194304 4196468 140722919734304 140222680463072 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11457] ppid=11394 vsize=10826488 memory=6298110701354178409 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11457/stat : 11457 (java) S 11394 11397 5017 0 -1 1077944384 3 13547 0 0 0 0 5 3 20 0 15 0 475049753 11086323712 76343 33554432000 4194304 4196468 140722919734304 140222562034944 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11458] ppid=11394 vsize=10826488 memory=7738706353549632104 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11458/stat : 11458 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 15 0 475049756 11086323712 76343 33554432000 4194304 4196468 140722919734304 140221958056400 140223222679451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11459] ppid=11394 vsize=10826488 memory=7445697478640626028 CPUtime=0.83 cores=0,2,4,6
/proc/11397/task/11459/stat : 11459 (java) R 11394 11397 5017 0 -1 4202560 2667 13547 0 0 75 0 5 3 20 0 15 0 475049756 11086323712 76343 33554432000 4194304 4196468 140722919734304 140222646886176 140223203362519 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11460] ppid=11394 vsize=10826488 memory=0 CPUtime=0.83 cores=0,2,4,6
/proc/11397/task/11460/stat : 11460 (java) R 11394 11397 5017 0 -1 4202560 2342 13547 0 0 75 0 5 3 20 0 15 0 475049756 11086323712 76343 33554432000 4194304 4196468 140722919734304 140222645833544 140223206563945 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11461] ppid=11394 vsize=10826488 memory=4949696295840688515 CPUtime=0.48 cores=0,2,4,6
/proc/11397/task/11461/stat : 11461 (java) S 11394 11397 5017 0 -1 1077944384 1890 13547 0 0 40 0 5 3 20 0 15 0 475049756 11086323712 76343 33554432000 4194304 4196468 140722919734304 140222644799472 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11462] ppid=11394 vsize=10826488 memory=-7390251449858225344 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11462/stat : 11462 (java) S 11394 11397 5017 0 -1 1077944384 3 13547 0 0 0 0 5 3 20 0 15 0 475049756 11086323712 76343 33554432000 4194304 4196468 140722919734304 140221488294240 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11463] ppid=11394 vsize=10826488 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11463/stat : 11463 (java) S 11394 11397 5017 0 -1 1077944384 1 13547 0 0 0 0 5 3 20 0 15 0 475049756 11086323712 76343 33554432000 4194304 4196468 140722919734304 140222643747888 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
Current children cumulated CPU time: 3.56 s
Current children cumulated vsize: 10826488 KiB

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

[pid=11397/tid=11462] ppid=11394 vsize=10849036 memory=5437 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11462/stat : 11462 (java) S 11394 11397 5017 0 -1 1077944384 3 13547 0 0 0 0 5 3 20 0 15 0 475049756 11109412864 897475 33554432000 4194304 4196468 140722919734304 140221488294240 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11463] ppid=11394 vsize=10849036 memory=3550 CPUtime=0.1 cores=0,2,4,6
/proc/11397/task/11463/stat : 11463 (java) S 11394 11397 5017 0 -1 1077944384 1338 13547 0 0 1 1 5 3 20 0 15 0 475049756 11109412864 897475 33554432000 4194304 4196468 140722919734304 140222643747888 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
Current children cumulated CPU time: 62.8 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3589900 KiB

[startup+39.3007 s]
/proc/loadavg: 2.27 1.67 1.56 5/227 11466
/proc/meminfo: memFree=2994284/32770624 swapFree=66959532/67108860
[pid=11397] ppid=11394 vsize=10849036 memory=3596644 CPUtime=65.31 cores=0,2,4,6
/proc/11397/stat : 11397 (java) S 11394 11397 5017 0 -1 1077944320 123252 13547 0 0 6295 228 5 3 20 0 15 0 475049741 11109412864 899161 33554432000 4194304 4196468 140722919734304 140722919716848 140223222660855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
/proc/11397/statm: 2712259 899161 3637 1 0 2674317 0
[pid=11397/tid=11450] ppid=11394 vsize=10849036 memory=6791534058613427641 CPUtime=36.49 cores=0,2,4,6
/proc/11397/task/11450/stat : 11450 (java) R 11394 11397 5017 0 -1 4202560 36572 13547 0 0 3599 42 5 3 20 0 15 0 475049750 11109412864 899161 33554432000 4194304 4196468 140722919734304 140223194489880 140222801306431 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11451] ppid=11394 vsize=10849036 memory=0 CPUtime=2.64 cores=0,2,4,6
/proc/11397/task/11451/stat : 11451 (java) S 11394 11397 5017 0 -1 1077944384 2822 13547 0 0 211 45 5 3 20 0 15 0 475049751 11109412864 899161 33554432000 4194304 4196468 140722919734304 140223226903056 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11452] ppid=11394 vsize=10849036 memory=1 CPUtime=2.59 cores=0,2,4,6
/proc/11397/task/11452/stat : 11452 (java) S 11394 11397 5017 0 -1 1077944384 3683 13547 0 0 212 39 5 3 20 0 15 0 475049751 11109412864 899161 33554432000 4194304 4196468 140722919734304 140223115176592 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11453] ppid=11394 vsize=10849036 memory=5588 CPUtime=2.64 cores=0,2,4,6
/proc/11397/task/11453/stat : 11453 (java) S 11394 11397 5017 0 -1 1077944384 2536 13547 0 0 214 42 5 3 20 0 15 0 475049751 11109412864 899161 33554432000 4194304 4196468 140722919734304 140223114123536 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11454] ppid=11394 vsize=10849036 memory=2225 CPUtime=2.68 cores=0,2,4,6
/proc/11397/task/11454/stat : 11454 (java) S 11394 11397 5017 0 -1 1077944384 3590 13547 0 0 217 43 5 3 20 0 15 0 475049751 11109412864 899161 33554432000 4194304 4196468 140722919734304 140223113070992 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11455] ppid=11394 vsize=10849036 memory=3332288 CPUtime=0.18 cores=0,2,4,6
/proc/11397/task/11455/stat : 11455 (java) S 11394 11397 5017 0 -1 1077944384 6551 13547 0 0 10 0 5 3 20 0 15 0 475049752 11109412864 899161 33554432000 4194304 4196468 140722919734304 140222681516784 140223222672002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11456] ppid=11394 vsize=10849036 memory=1016 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11456/stat : 11456 (java) S 11394 11397 5017 0 -1 1077944384 48 13547 0 0 0 0 5 3 20 0 15 0 475049753 11109412864 899161 33554432000 4194304 4196468 140722919734304 140222680463072 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11457] ppid=11394 vsize=10849036 memory=3132376 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11457/stat : 11457 (java) S 11394 11397 5017 0 -1 1077944384 3 13547 0 0 0 0 5 3 20 0 15 0 475049753 11109412864 899161 33554432000 4194304 4196468 140722919734304 140222562034944 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11458] ppid=11394 vsize=10849036 memory=2116 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11458/stat : 11458 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 15 0 475049756 11109412864 899161 33554432000 4194304 4196468 140722919734304 140221958056400 140223222679451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11459] ppid=11394 vsize=10849036 memory=30284 CPUtime=7.77 cores=0,2,4,6
/proc/11397/task/11459/stat : 11459 (java) R 11394 11397 5017 0 -1 4202560 24390 13547 0 0 765 4 5 3 20 0 15 0 475049756 11109412864 899161 33554432000 4194304 4196468 140722919734304 140222646891616 140223207578308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11460] ppid=11394 vsize=10849036 memory=6791534058613427641 CPUtime=8.21 cores=0,2,4,6
/proc/11397/task/11460/stat : 11460 (java) R 11394 11397 5017 0 -1 4202560 25794 13547 0 0 809 4 5 3 20 0 15 0 475049756 11109412864 899161 33554432000 4194304 4196468 140722919734304 140222645839376 140223208335999 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11461] ppid=11394 vsize=10849036 memory=1056 CPUtime=2.62 cores=0,2,4,6
/proc/11397/task/11461/stat : 11461 (java) S 11394 11397 5017 0 -1 1077944384 13706 13547 0 0 250 4 5 3 20 0 15 0 475049756 11109412864 899161 33554432000 4194304 4196468 140722919734304 140222644799472 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11462] ppid=11394 vsize=10849036 memory=1188 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11462/stat : 11462 (java) S 11394 11397 5017 0 -1 1077944384 3 13547 0 0 0 0 5 3 20 0 15 0 475049756 11109412864 899161 33554432000 4194304 4196468 140722919734304 140221488294240 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11463] ppid=11394 vsize=10849036 memory=1536 CPUtime=0.1 cores=0,2,4,6
/proc/11397/task/11463/stat : 11463 (java) S 11394 11397 5017 0 -1 1077944384 1342 13547 0 0 1 1 5 3 20 0 15 0 475049756 11109412864 899161 33554432000 4194304 4196468 140722919734304 140222643747888 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
Current children cumulated CPU time: 65.31 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3596644 KiB

[startup+39.7007 s]
/proc/loadavg: 2.27 1.67 1.56 5/227 11466
/proc/meminfo: memFree=2994284/32770624 swapFree=66959532/67108860
[pid=11397] ppid=11394 vsize=10849036 memory=3596836 CPUtime=66.49 cores=0,2,4,6
/proc/11397/stat : 11397 (java) S 11394 11397 5017 0 -1 1077944320 124144 13547 0 0 6413 228 5 3 20 0 15 0 475049741 11109412864 899209 33554432000 4194304 4196468 140722919734304 140722919716848 140223222660855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
/proc/11397/statm: 2712259 899209 3637 1 0 2674317 0
[pid=11397/tid=11450] ppid=11394 vsize=10849036 memory=55572 CPUtime=36.89 cores=0,2,4,6
/proc/11397/task/11450/stat : 11450 (java) R 11394 11397 5017 0 -1 4202560 36693 13547 0 0 3639 42 5 3 20 0 15 0 475049750 11109412864 899209 33554432000 4194304 4196468 140722919734304 140223194488352 140223222682202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11451] ppid=11394 vsize=10849036 memory=988 CPUtime=2.64 cores=0,2,4,6
/proc/11397/task/11451/stat : 11451 (java) S 11394 11397 5017 0 -1 1077944384 2822 13547 0 0 211 45 5 3 20 0 15 0 475049751 11109412864 899209 33554432000 4194304 4196468 140722919734304 140223226903056 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11452] ppid=11394 vsize=10849036 memory=6791534058613427641 CPUtime=2.59 cores=0,2,4,6
/proc/11397/task/11452/stat : 11452 (java) S 11394 11397 5017 0 -1 1077944384 3683 13547 0 0 212 39 5 3 20 0 15 0 475049751 11109412864 899209 33554432000 4194304 4196468 140722919734304 140223115176592 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11453] ppid=11394 vsize=10849036 memory=1448 CPUtime=2.64 cores=0,2,4,6
/proc/11397/task/11453/stat : 11453 (java) S 11394 11397 5017 0 -1 1077944384 2536 13547 0 0 214 42 5 3 20 0 15 0 475049751 11109412864 899209 33554432000 4194304 4196468 140722919734304 140223114123536 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11454] ppid=11394 vsize=10849036 memory=1764 CPUtime=2.68 cores=0,2,4,6
/proc/11397/task/11454/stat : 11454 (java) S 11394 11397 5017 0 -1 1077944384 3590 13547 0 0 217 43 5 3 20 0 15 0 475049751 11109412864 899209 33554432000 4194304 4196468 140722919734304 140223113070992 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11455] ppid=11394 vsize=10849036 memory=111632 CPUtime=0.18 cores=0,2,4,6
/proc/11397/task/11455/stat : 11455 (java) S 11394 11397 5017 0 -1 1077944384 6564 13547 0 0 10 0 5 3 20 0 15 0 475049752 11109412864 899209 33554432000 4194304 4196468 140722919734304 140222681516784 140223222672002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11456] ppid=11394 vsize=10849036 memory=800 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11456/stat : 11456 (java) S 11394 11397 5017 0 -1 1077944384 48 13547 0 0 0 0 5 3 20 0 15 0 475049753 11109412864 899209 33554432000 4194304 4196468 140722919734304 140222680463072 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11457] ppid=11394 vsize=10849036 memory=1804 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11457/stat : 11457 (java) S 11394 11397 5017 0 -1 1077944384 3 13547 0 0 0 0 5 3 20 0 15 0 475049753 11109412864 899209 33554432000 4194304 4196468 140722919734304 140222562034944 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11458] ppid=11394 vsize=10849036 memory=916 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11458/stat : 11458 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 15 0 475049756 11109412864 899209 33554432000 4194304 4196468 140722919734304 140221958056400 140223222679451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11459] ppid=11394 vsize=10849036 memory=3848 CPUtime=8.16 cores=0,2,4,6
/proc/11397/task/11459/stat : 11459 (java) R 11394 11397 5017 0 -1 4202560 24590 13547 0 0 804 4 5 3 20 0 15 0 475049756 11109412864 899209 33554432000 4194304 4196468 140722919734304 140222646891856 140223206046213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11460] ppid=11394 vsize=10849036 memory=2948 CPUtime=8.57 cores=0,2,4,6
/proc/11397/task/11460/stat : 11460 (java) R 11394 11397 5017 0 -1 4202560 26228 13547 0 0 845 4 5 3 20 0 15 0 475049756 11109412864 899209 33554432000 4194304 4196468 140722919734304 140222645842000 140223214912396 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11461] ppid=11394 vsize=10849036 memory=2612 CPUtime=2.66 cores=0,2,4,6
/proc/11397/task/11461/stat : 11461 (java) S 11394 11397 5017 0 -1 1077944384 13830 13547 0 0 254 4 5 3 20 0 15 0 475049756 11109412864 899209 33554432000 4194304 4196468 140722919734304 140222644799472 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11462] ppid=11394 vsize=10849036 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11462/stat : 11462 (java) S 11394 11397 5017 0 -1 1077944384 3 13547 0 0 0 0 5 3 20 0 15 0 475049756 11109412864 899209 33554432000 4194304 4196468 140722919734304 140221488294240 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11463] ppid=11394 vsize=10849036 memory=3144 CPUtime=0.1 cores=0,2,4,6
/proc/11397/task/11463/stat : 11463 (java) S 11394 11397 5017 0 -1 1077944384 1342 13547 0 0 1 1 5 3 20 0 15 0 475049756 11109412864 899209 33554432000 4194304 4196468 140722919734304 140222643747888 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
Current children cumulated CPU time: 66.49 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3596836 KiB

[startup+39.9007 s]
/proc/loadavg: 2.27 1.67 1.56 5/227 11466
/proc/meminfo: memFree=2994284/32770624 swapFree=66959532/67108860
[pid=11397] ppid=11394 vsize=10849036 memory=3596848 CPUtime=66.86 cores=0,2,4,6
/proc/11397/stat : 11397 (java) S 11394 11397 5017 0 -1 1077944320 124234 13547 0 0 6450 228 5 3 20 0 15 0 475049741 11109412864 899212 33554432000 4194304 4196468 140722919734304 140722919716848 140223222660855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
/proc/11397/statm: 2712259 899212 3637 1 0 2674317 0
[pid=11397/tid=11450] ppid=11394 vsize=10849036 memory=6791534058613427641 CPUtime=37.09 cores=0,2,4,6
/proc/11397/task/11450/stat : 11450 (java) R 11394 11397 5017 0 -1 4202560 36760 13547 0 0 3659 42 5 3 20 0 15 0 475049750 11109412864 899212 33554432000 4194304 4196468 140722919734304 140223194489168 140222791282478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11451] ppid=11394 vsize=10849036 memory=1016 CPUtime=2.64 cores=0,2,4,6
/proc/11397/task/11451/stat : 11451 (java) S 11394 11397 5017 0 -1 1077944384 2822 13547 0 0 211 45 5 3 20 0 15 0 475049751 11109412864 899212 33554432000 4194304 4196468 140722919734304 140223226903056 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11452] ppid=11394 vsize=10849036 memory=6044 CPUtime=2.59 cores=0,2,4,6
/proc/11397/task/11452/stat : 11452 (java) S 11394 11397 5017 0 -1 1077944384 3683 13547 0 0 212 39 5 3 20 0 15 0 475049751 11109412864 899212 33554432000 4194304 4196468 140722919734304 140223115176592 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11453] ppid=11394 vsize=10849036 memory=14012 CPUtime=2.64 cores=0,2,4,6
/proc/11397/task/11453/stat : 11453 (java) S 11394 11397 5017 0 -1 1077944384 2536 13547 0 0 214 42 5 3 20 0 15 0 475049751 11109412864 899212 33554432000 4194304 4196468 140722919734304 140223114123536 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11454] ppid=11394 vsize=10849036 memory=2116 CPUtime=2.68 cores=0,2,4,6
/proc/11397/task/11454/stat : 11454 (java) S 11394 11397 5017 0 -1 1077944384 3590 13547 0 0 217 43 5 3 20 0 15 0 475049751 11109412864 899212 33554432000 4194304 4196468 140722919734304 140223113070992 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11455] ppid=11394 vsize=10849036 memory=30284 CPUtime=0.18 cores=0,2,4,6
/proc/11397/task/11455/stat : 11455 (java) S 11394 11397 5017 0 -1 1077944384 6564 13547 0 0 10 0 5 3 20 0 15 0 475049752 11109412864 899212 33554432000 4194304 4196468 140722919734304 140222681516784 140223222672002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11456] ppid=11394 vsize=10849036 memory=14068 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11456/stat : 11456 (java) S 11394 11397 5017 0 -1 1077944384 48 13547 0 0 0 0 5 3 20 0 15 0 475049753 11109412864 899212 33554432000 4194304 4196468 140722919734304 140222680463072 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11457] ppid=11394 vsize=10849036 memory=524 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11457/stat : 11457 (java) S 11394 11397 5017 0 -1 1077944384 3 13547 0 0 0 0 5 3 20 0 15 0 475049753 11109412864 899212 33554432000 4194304 4196468 140722919734304 140222562034944 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11458] ppid=11394 vsize=10849036 memory=1568 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11458/stat : 11458 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 15 0 475049756 11109412864 899212 33554432000 4194304 4196468 140722919734304 140221958056400 140223222679451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11459] ppid=11394 vsize=10849036 memory=928 CPUtime=8.24 cores=0,2,4,6
/proc/11397/task/11459/stat : 11459 (java) R 11394 11397 5017 0 -1 4202560 24603 13547 0 0 812 4 5 3 20 0 15 0 475049756 11109412864 899212 33554432000 4194304 4196468 140722919734304 140222646905072 140223207425541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11460] ppid=11394 vsize=10849036 memory=3520 CPUtime=8.65 cores=0,2,4,6
/proc/11397/task/11460/stat : 11460 (java) R 11394 11397 5017 0 -1 4202560 26230 13547 0 0 853 4 5 3 20 0 15 0 475049756 11109412864 899212 33554432000 4194304 4196468 140722919734304 140222645836720 140223202349295 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11461] ppid=11394 vsize=10849036 memory=1976 CPUtime=2.67 cores=0,2,4,6
/proc/11397/task/11461/stat : 11461 (java) S 11394 11397 5017 0 -1 1077944384 13838 13547 0 0 255 4 5 3 20 0 15 0 475049756 11109412864 899212 33554432000 4194304 4196468 140722919734304 140222644799472 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11462] ppid=11394 vsize=10849036 memory=2512 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11462/stat : 11462 (java) S 11394 11397 5017 0 -1 1077944384 3 13547 0 0 0 0 5 3 20 0 15 0 475049756 11109412864 899212 33554432000 4194304 4196468 140722919734304 140221488294240 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11463] ppid=11394 vsize=10849036 memory=2024 CPUtime=0.1 cores=0,2,4,6
/proc/11397/task/11463/stat : 11463 (java) S 11394 11397 5017 0 -1 1077944384 1342 13547 0 0 1 1 5 3 20 0 15 0 475049756 11109412864 899212 33554432000 4194304 4196468 140722919734304 140222643747888 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
Current children cumulated CPU time: 66.86 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3596848 KiB

[startup+40.0018 s]
/proc/loadavg: 2.27 1.67 1.56 5/227 11466
/proc/meminfo: memFree=2994284/32770624 swapFree=66959532/67108860
[pid=11397] ppid=11394 vsize=10849036 memory=3596936 CPUtime=67.16 cores=0,2,4,6
/proc/11397/stat : 11397 (java) S 11394 11397 5017 0 -1 1077944320 124323 13547 0 0 6480 228 5 3 20 0 15 0 475049741 11109412864 899234 33554432000 4194304 4196468 140722919734304 140722919716848 140223222660855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
/proc/11397/statm: 2712259 899234 3637 1 0 2674317 0
[pid=11397/tid=11450] ppid=11394 vsize=10849036 memory=3596836 CPUtime=37.19 cores=0,2,4,6
/proc/11397/task/11450/stat : 11450 (java) R 11394 11397 5017 0 -1 4202560 36795 13547 0 0 3669 42 5 3 20 0 15 0 475049750 11109412864 899234 33554432000 4194304 4196468 140722919734304 140223194493520 140222802993956 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11451] ppid=11394 vsize=10849036 memory=3596836 CPUtime=2.64 cores=0,2,4,6
/proc/11397/task/11451/stat : 11451 (java) S 11394 11397 5017 0 -1 1077944384 2822 13547 0 0 211 45 5 3 20 0 15 0 475049751 11109412864 899234 33554432000 4194304 4196468 140722919734304 140223226903056 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11452] ppid=11394 vsize=10849036 memory=9592 CPUtime=2.59 cores=0,2,4,6
/proc/11397/task/11452/stat : 11452 (java) S 11394 11397 5017 0 -1 1077944384 3683 13547 0 0 212 39 5 3 20 0 15 0 475049751 11109412864 899234 33554432000 4194304 4196468 140722919734304 140223115176592 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11453] ppid=11394 vsize=10849036 memory=3170172 CPUtime=2.64 cores=0,2,4,6
/proc/11397/task/11453/stat : 11453 (java) S 11394 11397 5017 0 -1 1077944384 2536 13547 0 0 214 42 5 3 20 0 15 0 475049751 11109412864 899234 33554432000 4194304 4196468 140722919734304 140223114123536 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11454] ppid=11394 vsize=10849036 memory=0 CPUtime=2.68 cores=0,2,4,6
/proc/11397/task/11454/stat : 11454 (java) S 11394 11397 5017 0 -1 1077944384 3590 13547 0 0 217 43 5 3 20 0 15 0 475049751 11109412864 899234 33554432000 4194304 4196468 140722919734304 140223113070992 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11455] ppid=11394 vsize=10849036 memory=187 CPUtime=0.18 cores=0,2,4,6
/proc/11397/task/11455/stat : 11455 (java) S 11394 11397 5017 0 -1 1077944384 6564 13547 0 0 10 0 5 3 20 0 15 0 475049752 11109412864 899234 33554432000 4194304 4196468 140722919734304 140222681516784 140223222672002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11456] ppid=11394 vsize=10849036 memory=187 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11456/stat : 11456 (java) S 11394 11397 5017 0 -1 1077944384 48 13547 0 0 0 0 5 3 20 0 15 0 475049753 11109412864 899234 33554432000 4194304 4196468 140722919734304 140222680463072 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11457] ppid=11394 vsize=10849036 memory=3295424 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11457/stat : 11457 (java) S 11394 11397 5017 0 -1 1077944384 3 13547 0 0 0 0 5 3 20 0 15 0 475049753 11109412864 899234 33554432000 4194304 4196468 140722919734304 140222562034944 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11458] ppid=11394 vsize=10849036 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11458/stat : 11458 (java) S 11394 11397 5017 0 -1 1077944384 2 13547 0 0 0 0 5 3 20 0 15 0 475049756 11109412864 899234 33554432000 4194304 4196468 140722919734304 140221958056400 140223222679451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11459] ppid=11394 vsize=10849036 memory=3496048 CPUtime=8.33 cores=0,2,4,6
/proc/11397/task/11459/stat : 11459 (java) R 11394 11397 5017 0 -1 4202560 24610 13547 0 0 821 4 5 3 20 0 15 0 475049756 11109412864 899234 33554432000 4194304 4196468 140722919734304 140222646905072 140223201918492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11460] ppid=11394 vsize=10849036 memory=8 CPUtime=8.73 cores=0,2,4,6
/proc/11397/task/11460/stat : 11460 (java) R 11394 11397 5017 0 -1 4202560 26234 13547 0 0 861 4 5 3 20 0 15 0 475049756 11109412864 899234 33554432000 4194304 4196468 140722919734304 140222645852528 140223200827336 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11461] ppid=11394 vsize=10849036 memory=3501096 CPUtime=2.7 cores=0,2,4,6
/proc/11397/task/11461/stat : 11461 (java) S 11394 11397 5017 0 -1 1077944384 13881 13547 0 0 258 4 5 3 20 0 15 0 475049756 11109412864 899234 33554432000 4194304 4196468 140722919734304 140222644799472 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11462] ppid=11394 vsize=10849036 memory=3348052 CPUtime=0.08 cores=0,2,4,6
/proc/11397/task/11462/stat : 11462 (java) S 11394 11397 5017 0 -1 1077944384 3 13547 0 0 0 0 5 3 20 0 15 0 475049756 11109412864 899234 33554432000 4194304 4196468 140722919734304 140221488294240 140223222671061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
[pid=11397/tid=11463] ppid=11394 vsize=10849036 memory=288230574492221466 CPUtime=0.1 cores=0,2,4,6
/proc/11397/task/11463/stat : 11463 (java) S 11394 11397 5017 0 -1 1077944384 1342 13547 0 0 1 1 5 3 20 0 15 0 475049756 11109412864 899234 33554432000 4194304 4196468 140722919734304 140222643747888 140223222672002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140722919738096 140722919740613 140722919740613 140722919743439 0
Current children cumulated CPU time: 67.16 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3596936 KiB

Child status: 0
Real time (s): 40.1205
CPU time (s): 67.4966
CPU user time (s): 65.1449
CPU system time (s): 2.35176
CPU usage (%): 168.235
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 3596936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.1449
system time used= 2.35176
maximum resident set size= 3599248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138079
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= 10947
involuntary context switches= 262


# summary of solver processes directly reported to runsolver:
#   pid: 11397
#   total CPU time (s): 67.4966
#   total CPU user time (s): 65.1449
#   total CPU system time (s): 2.35176

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.29625 second user time and 0.390649 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-20 15:56:09
IDJOB=4402782
IDBENCH=141273
IDSOLVER=2861
FILE ID=node127/4402782-1568987809
RUNJOBID= node127-1568967596-5048
PBS_JOBID= 21704621
Free space on /tmp= 35704 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4402782-1568987809/watcher-4402782-1568987809 -o /tmp/evaluation-result-4402782-1568987809/solver-4402782-1568987809 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568967596-5048 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=812206065 HOME/instance-4402782-1568987809.xml

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=812206065

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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:         6568640 kB
MemAvailable:   29368148 kB
Buffers:          108200 kB
Cached:         22685936 kB
SwapCached:        44560 kB
Active:         14108732 kB
Inactive:       11170804 kB
Active(anon):    2436808 kB
Inactive(anon):    98124 kB
Active(file):   11671924 kB
Inactive(file): 11072680 kB
Unevictable:      107128 kB
Mlocked:          107128 kB
SwapTotal:      67108860 kB
SwapFree:       66959532 kB
Dirty:            117360 kB
Writeback:             0 kB
AnonPages:       2549520 kB
Mapped:            66300 kB
Shmem:             40780 kB
Slab:             512656 kB
SReclaimable:     483364 kB
SUnreclaim:        29292 kB
KernelStack:        3776 kB
PageTables:        11640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3574436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2369536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 35668 MiB
End job on node127 at 2019-09-20 15:56:49