Trace number 4302597

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.9.2OPT162507055 74.6574 47.1327

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 benchmark68.7953
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.98/0.74	c Concrete v3.9.2.1532736233296 running
74.10/46.99	o 162507055
74.41/47.08	v <instantiation cost="162507055">
74.41/47.08	v       <list>
74.41/47.08	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]
74.41/47.08	v       </list>
74.41/47.08	v       <values>
74.41/47.08	v         2480 2264 2756 2604 2460 2560 2684 2788 2436 2508 2704 2420 2668 2420 2464 2436 2744 2352 2756 2604 2620 2780 2260 2220 2464 2600 2724 2584 2748 2788 2260 2684 2220 2272 2576 2320 2312 2684 2736 2260 2376 2756 2564 2532 2820 2440 2780 2712 2520 2236 2508 2384 2368 2788 2792 2768 2468 2592 2560 2596 2716 2612 2808 2748 2428 2788 2436 2684 2660 2780 2628 2420 2556 2660 2788 2480 2788 2748 2424 2560 2748 2808 2596 2520 2588 2424 2752 2660 2588 2684 2520 2500 2260 2420 2520 2288 2748 2588 2472 2820 2572 2468 2620 2620 2752 2700 2260 2748 2744 2500 2788 2644 2480 2660 2220 2820 2788 2380 2780 2572 2684 2628 2224 2560 2460 2756 2424 2684 2520 2444 2788 2456 2820 2716 2780 2516 2564 2700 2724 2572 2620 2756 2696 2480 2820 2572 2780 2748 2604 2592 2748 2428 2776 2780 2512 2408 2276 2380 2740 2788 2716 2560 2748 2372 2220 2320 2432 2532 2264 2328 2260 2520 2632 2564 2376 2620 2748 2660 2748 2740 2268 2276 2500 2460 2276 2620 2540 2756 2248 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 2336 2788 2404 2472 2724 2412 2260 2736 2708 2724 2264 2660 2780 2752 2464 2480 2380 2788 2732 2312 2820 2748 2632 2672 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 2820 2636 2724 2560 2532 2716 2780 2220 2480 2820 2792 2564 2468 2748 2476 2788 2220 2768 2260 2512 2716 2724 2636 2424 2724 2468 2628 2724 2288 2496 2676 2244 2660 2380 2684 2264 2620 2472 2416 2476 2736 2684 2744 2404 2712 2508 2572 2684 2748 2716 2224 2616 2632 2660 2224 2288 2224 2592 2672 2532 2576 2456 2316 2620 2220 2724 2520 2220 2588 2772 2220 2704 2280 2236 2616 2248 2456 2500 2236 2784 2412 2412 2480 2416 2560 2748 2532 1 1 1 1 1 0 1 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 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 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 1 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 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 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 0 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 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 1 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 192 80 380 236 396 436 296 336 536 520 160 24 136 496 136 40 64 536 236 332 84 176 184 136 152 104 84 344 120 140 108 96 328 200 320 328 160 200 176 332 324 80 124 80 164 188 280 104 104 184 24 464 204 208 440 64 64 96 84 368 52 268 20 168 168 512 64 32 524 564 128 332 280 168 64 108 40 192 48 52 52 188 104 64 112 52 444 20 132 36 36 132 192 80 248 160 100 100 88 368 240 296 156 320 208 76 328 112 448 68 80 48 148 256 68 420 44 180 324 152 336 136 24 100 216 4 328 292 136 344 36 156 244 152 196 196 244 176 352 84 184 152 484 60 28 124 152 48 84 180 4 244 132 332 116 364 308 324 300 32 136 344 280 136 8 20 184 24 24 144 124 360 64 168 160 136 28 240 248 48 40 168 208 260 280 308 56 368 464 400 360 280 296 496 28 324 152 408 8 196 152 252 284 196 40 124 52 232 24 180 56 44 140 76 16 152 204 208 160 204 24 164 160 44 364 20 12 128 4 268 64 524 216 528 176 40 104 288 460 288 208 464 72 104 104 16 124 104 84 88 436 92 496 324 412 352 524 52 548 468 188 356 236 248 344 68 316 104 132 204 200 256 80 108 44 120 56 296 468 460 84 124 300 100 136 248 68 112 508 40 204 260 72 464 180 276 216 44 76 76 324 400 312 456 112 204 24 424 404 308 256 340 144 340 156 276 376 136 260 136 24 64 480 140 180 244 40 96 8 152 276 316 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 28 36 80 92 144 260 300 116 96 424 176 516 488 284 468 380 180 248 88 268 12 280 32 124 228 404 136 372 148 136 112 292 192 120 356 56 120 104 196 344 232 228 104 196 368 204 272 48 532 40 180 148 28 108 44 480 40 28 236 92 192 4 148 20 4 164 76 188 124 176 40 12 80 28 336 144 276 64 36 120 152 36 4 140 64 240 492 184 48 140 56 244 436 204 148 192 520 396 152 324 32 436 72 44 460 128 392 268 152 324 144 184 288 276 20 88 32 32 156 264 268 104 552 188 84 152 24 104 112 408 64 136 108 104 268 116 24 108 24 244 28 204 128 504 468 208 96 464 116 120 400 172 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 412 216 324 24 196 324 140 200 220 12 68 128 72 188 80 148 80 4 32 24 160 328 204 332 16 60 84 560 308 192 76 88 360 232 76 180 204 44 196 204 104 68 88 72 40 364 236 44 176 52 52 324 312 468 472 28 40 92 516 180 160 280 120 416 436 436 44 160 132 68 32 128 148 204 184 224 104 16 104 184 56 68 164 272 20 100 292 300 196 204 240 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 300 128 40 152 188 60 148 144 16 192 300 32 160 600 96 600 192 176 100 144 312 312 64 152 276 108 136 120 136 136 100 56 124 32 164 208 88 532 232 212 504 28 36 20 36 492 220 120 80 424 424 236 232 4 520 300 240 212 252 272 176 128 88 248 100 20 288 16 216 224 40 24 328 328 320 64 136 80 424 80 380 52 260 300 272 196 224 436 216 52 24 212 56 568 220 200 68 124 352 308 168 104 52 104 192 164 280 140 280 192 160 348 152 260 304 492 304 112 192 312 52 92 192 52 24 272 40 64 380 256 24 84 88 340 348 392 524 408 408 476 596 452 20 524 156 188 60 300 44 124 100 292 232 328 176 236 240 128 48 136 124 292 280 184 52 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 208 128 320 384 564 472 172 172 40 124 256 444 96 248 84 600 584 64 184 244 88 472 496 160 376 208 24 500 560 204 76 16 4 208 136 144 44 160 112 120 276 272 80 40 108 480 464 24 64 164 324 152 192 128 112 132 48 136 124 468 300 320 280 220 40 88 140 276 244 80 300 160 288 344 200 540 60 296 308 56 104 88 168 408 260 436 32 224 24 56 24 180 156 280 44 84 372 312 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 244 80 512 272 120 328 312 372 156 88 248 56 216 228 32 164 56 80 316 488 40 128 32 40 228 24 512 92 256 40 176 340 92 148 300 96 196 96 192 12 216 396 292 212 168 116 104 204 424 300 192 372 408 408 396 384 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 500 244 228 4 48 424 280 128 288 224 172 280 256 264 4 168 256 328 4 352 448 136 396 140 168 56 192 176 124 136 120 32 572 272 228 164 152 8 88 244 240 224 236 376 328 460 544 416 20 8 148 112 408 408 352 20 500 40 128 464 152 464 400 156 56 24 268 44 204 68 300 12 88 420 64 168 20 48 216 288 188 92 128 52 336 344 152 16 208 80 308 224 64 56 144 84 32 212 276 96 64 276 8 324 4 184 124 324 64 228 140 156 340 92 128 196 116 104 60 108 92 172 348 164 60 16 236 60 308 304 400 100 484 420 44 256 68 204 260 468 92 28 528 48 12 316 196 48 276 204 288 52 244 244 192 56 128 228 568 64 76 4 420 488 48 144 92 436 112 276 72 8 272 36 408 132 72 240 164 300 192 116 84 28 164 4 52 24 232 332 396 104 84 60 420 300 72 96 96 16 192 144 76 88 44 196 468 80 160 236 56 44 164 52 132 172 12 56 132 96 56 24 152 136 476 256 88 128 12 88 44 4 164 240 176 8 496 280 48 384 232 56 40 204 48 224 40 16 40 128 64 436 216 16 192 296 468 100 336 288 232 16 96 44 252 48 80 312 144 100 152 400 544 572 72 132 44 248 244 236 252 52 44 180 56 304 104 76 356 208 200 64 340 216 248 48 40 24 40 264 172 528 380 128 304 336 240 436 356 40 236 104 224 16 368 188 500 460 228 4 124 24 464 248 408 92 160 300 124 124 372 356 284 176 96 216 400 244 564
74.41/47.08	v       </values>
74.41/47.08	v     </instantiation>
74.41/47.08	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 (14256 MiB free)
  memory of node 1: 16384 MiB (9758 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302597-1532896682/watcher-4302597-1532896682 -o /tmp/evaluation-result-4302597-1532896682/solver-4302597-1532896682 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1620 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=750851140 HOME/instance-4302597-1532896682.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=5544, runsolver pid=5541

[startup+0.100058 s]*
/proc/loadavg: 2.02 1.89 1.78 3/206 5601
/proc/meminfo: memFree=24582696/32770624 swapFree=67108860/67108860
[pid=5544] ppid=5541 vsize=10005480 memory=16820 CPUtime=0.09 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 22004 0 -1 1077944320 4392 12935 0 0 1 1 5 2 20 0 6 0 107231429 10245611520 4205 33554432000 4194304 4196468 140731219868896 140731219851440 140206774161143 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
/proc/5544/statm: 2501370 4205 1935 1 0 2489808 0
[pid=5544/tid=5597] ppid=5541 vsize=10005480 memory=8326441112148417179 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5597/stat : 5597 (java) R 5541 5544 22004 0 -1 4202560 2254 12935 0 0 0 0 5 2 20 0 6 0 107231437 10245611520 4271 33554432000 4194304 4196468 140731219868896 140206745997904 140206774183069 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5598] ppid=5541 vsize=10005480 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5598/stat : 5598 (java) S 5541 5544 22004 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 6 0 107231438 10245611520 4337 33554432000 4194304 4196468 140731219868896 140206778403984 140206774171349 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5599] ppid=5541 vsize=10005480 memory=139959296747136 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5599/stat : 5599 (java) S 5541 5544 22004 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 6 0 107231438 10245611520 4337 33554432000 4194304 4196468 140731219868896 140206659669008 140206774171349 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5600] ppid=5541 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5600/stat : 5600 (java) S 5541 5544 22004 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 6 0 107231438 10245611520 4337 33554432000 4194304 4196468 140731219868896 140206658616208 140206774171349 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5601] ppid=5541 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5601/stat : 5601 (java) S 5541 5544 22004 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 6 0 107231438 10245611520 4337 33554432000 4194304 4196468 140731219868896 140206311922448 140206774171349 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16820 KiB

[startup+0.209778 s]*
/proc/loadavg: 2.02 1.89 1.78 3/215 5610
/proc/meminfo: memFree=24561524/32770624 swapFree=67108860/67108860
[pid=5544] ppid=5541 vsize=10982696 memory=42932 CPUtime=0.25 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 22004 0 -1 1077944320 8646 12935 0 0 16 2 5 2 20 0 15 0 107231429 11246280704 10733 33554432000 4194304 4196468 140731219868896 140731219851440 140206774161143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
/proc/5544/statm: 2745674 10733 2931 1 0 2708109 0
[pid=5544/tid=5597] ppid=5541 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/5544/task/5597/stat : 5597 (java) R 5541 5544 22004 0 -1 4202560 5170 12935 0 0 11 1 5 2 20 0 15 0 107231437 11246280704 10733 33554432000 4194304 4196468 140731219868896 140206745958800 140206755724703 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5598] ppid=5541 vsize=10982696 memory=288293255295271337 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5598/stat : 5598 (java) S 5541 5544 22004 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 15 0 107231438 11246280704 10733 33554432000 4194304 4196468 140731219868896 140206778403984 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5599] ppid=5541 vsize=10982696 memory=3904679358044045344 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5599/stat : 5599 (java) S 5541 5544 22004 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 107231438 11246280704 10733 33554432000 4194304 4196468 140731219868896 140206659669008 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5600] ppid=5541 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5600/stat : 5600 (java) S 5541 5544 22004 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 107231438 11246280704 10733 33554432000 4194304 4196468 140731219868896 140206658616208 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5601] ppid=5541 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5601/stat : 5601 (java) S 5541 5544 22004 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 15 0 107231438 11246280704 10733 33554432000 4194304 4196468 140731219868896 140206311922448 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5602] ppid=5541 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5602/stat : 5602 (java) S 5541 5544 22004 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 15 0 107231440 11246280704 10733 33554432000 4194304 4196468 140731219868896 140206267296112 140206774172290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5603] ppid=5541 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5603/stat : 5603 (java) S 5541 5544 22004 0 -1 1077944384 13 12935 0 0 0 0 5 2 20 0 15 0 107231440 11246280704 10733 33554432000 4194304 4196468 140731219868896 140205583492128 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5604] ppid=5541 vsize=10982696 memory=139959296747136 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5604/stat : 5604 (java) S 5541 5544 22004 0 -1 1077944384 21 12935 0 0 0 0 5 2 20 0 15 0 107231440 11246280704 10733 33554432000 4194304 4196468 140731219868896 140205516378992 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5605] ppid=5541 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5605/stat : 5605 (java) S 5541 5544 22004 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 107231443 11246280704 10733 33554432000 4194304 4196468 140731219868896 140205208983376 140206774179739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5606] ppid=5541 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5544/task/5606/stat : 5606 (java) S 5541 5544 22004 0 -1 1077944384 481 12935 0 0 1 0 5 2 20 0 15 0 107231443 11246280704 10733 33554432000 4194304 4196468 140731219868896 140206266243952 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5607] ppid=5541 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5607/stat : 5607 (java) S 5541 5544 22004 0 -1 1077944384 127 12935 0 0 0 0 5 2 20 0 15 0 107231443 11246280704 10733 33554432000 4194304 4196468 140731219868896 140206265191152 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5608] ppid=5541 vsize=10982696 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/5544/task/5608/stat : 5608 (java) S 5541 5544 22004 0 -1 1077944384 624 12935 0 0 3 0 5 2 20 0 15 0 107231443 11246280704 10733 33554432000 4194304 4196468 140731219868896 140206264138352 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5609] ppid=5541 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5609/stat : 5609 (java) S 5541 5544 22004 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 107231443 11246280704 10733 33554432000 4194304 4196468 140731219868896 140204778187488 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5610] ppid=5541 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5610/stat : 5610 (java) S 5541 5544 22004 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 107231444 11246280704 10733 33554432000 4194304 4196468 140731219868896 140206263085744 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 42932 KiB

[startup+0.310377 s]*
/proc/loadavg: 2.02 1.89 1.78 3/215 5610
/proc/meminfo: memFree=24552144/32770624 swapFree=67108860/67108860
[pid=5544] ppid=5541 vsize=10983192 memory=54268 CPUtime=0.38 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 22004 0 -1 1077944320 10659 12935 0 0 28 3 5 2 20 0 15 0 107231429 11246788608 13567 33554432000 4194304 4196468 140731219868896 140731219851440 140206774161143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
/proc/5544/statm: 2745798 13567 3063 1 0 2708109 0
[pid=5544/tid=5597] ppid=5541 vsize=10983192 memory=6935054825532540783 CPUtime=0.28 cores=0,2,4,6
/proc/5544/task/5597/stat : 5597 (java) R 5541 5544 22004 0 -1 4202560 7183 12935 0 0 20 1 5 2 20 0 15 0 107231437 11246788608 13567 33554432000 4194304 4196468 140731219868896 140206745973152 140206755724718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5598] ppid=5541 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5598/stat : 5598 (java) S 5541 5544 22004 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 15 0 107231438 11246788608 13567 33554432000 4194304 4196468 140731219868896 140206778403984 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5599] ppid=5541 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5599/stat : 5599 (java) S 5541 5544 22004 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 107231438 11246788608 13567 33554432000 4194304 4196468 140731219868896 140206659669008 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5600] ppid=5541 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5600/stat : 5600 (java) S 5541 5544 22004 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 107231438 11246788608 13567 33554432000 4194304 4196468 140731219868896 140206658616208 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5601] ppid=5541 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5601/stat : 5601 (java) S 5541 5544 22004 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 15 0 107231438 11246788608 13567 33554432000 4194304 4196468 140731219868896 140206311922448 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5602] ppid=5541 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5602/stat : 5602 (java) S 5541 5544 22004 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 15 0 107231440 11246788608 13567 33554432000 4194304 4196468 140731219868896 140206267296112 140206774172290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5603] ppid=5541 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5603/stat : 5603 (java) S 5541 5544 22004 0 -1 1077944384 13 12935 0 0 0 0 5 2 20 0 15 0 107231440 11246788608 13567 33554432000 4194304 4196468 140731219868896 140205583492128 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5604] ppid=5541 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5604/stat : 5604 (java) S 5541 5544 22004 0 -1 1077944384 21 12935 0 0 0 0 5 2 20 0 15 0 107231440 11246788608 13567 33554432000 4194304 4196468 140731219868896 140205516378992 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5605] ppid=5541 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5605/stat : 5605 (java) S 5541 5544 22004 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 107231443 11246788608 13567 33554432000 4194304 4196468 140731219868896 140205208983376 140206774179739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5606] ppid=5541 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5544/task/5606/stat : 5606 (java) S 5541 5544 22004 0 -1 1077944384 482 12935 0 0 1 0 5 2 20 0 15 0 107231443 11246788608 13567 33554432000 4194304 4196468 140731219868896 140206266243952 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5607] ppid=5541 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5544/task/5607/stat : 5607 (java) S 5541 5544 22004 0 -1 1077944384 127 12935 0 0 1 0 5 2 20 0 15 0 107231443 11246788608 13567 33554432000 4194304 4196468 140731219868896 140206265191152 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5608] ppid=5541 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5544/task/5608/stat : 5608 (java) S 5541 5544 22004 0 -1 1077944384 629 12935 0 0 5 0 5 2 20 0 15 0 107231443 11246788608 13567 33554432000 4194304 4196468 140731219868896 140206264138352 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5609] ppid=5541 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5609/stat : 5609 (java) S 5541 5544 22004 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 107231443 11246788608 13567 33554432000 4194304 4196468 140731219868896 140204778187488 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5610] ppid=5541 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5610/stat : 5610 (java) S 5541 5544 22004 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 107231444 11246788608 13567 33554432000 4194304 4196468 140731219868896 140206263085744 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54268 KiB

[startup+0.700734 s]
/proc/loadavg: 2.02 1.89 1.78 3/215 5610
/proc/meminfo: memFree=24540808/32770624 swapFree=67108860/67108860
[pid=5544] ppid=5541 vsize=10983192 memory=87040 CPUtime=0.98 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 22004 0 -1 1077944320 16874 12935 0 0 86 5 5 2 20 0 15 0 107231429 11246788608 21760 33554432000 4194304 4196468 140731219868896 140731219851440 140206774161143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
/proc/5544/statm: 2745798 21760 3242 1 0 2708109 0
[pid=5544/tid=5597] ppid=5541 vsize=10983192 memory=6307362048920095132 CPUtime=0.66 cores=0,2,4,6
/proc/5544/task/5597/stat : 5597 (java) R 5541 5544 22004 0 -1 4202560 12461 12935 0 0 56 3 5 2 20 0 15 0 107231437 11246788608 21760 33554432000 4194304 4196468 140731219868896 140206745981968 140206755724757 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5598] ppid=5541 vsize=10983192 memory=4640492708758985641 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5598/stat : 5598 (java) S 5541 5544 22004 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 15 0 107231438 11246788608 21760 33554432000 4194304 4196468 140731219868896 140206778403984 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5599] ppid=5541 vsize=10983192 memory=8027200600010211434 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5599/stat : 5599 (java) S 5541 5544 22004 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 107231438 11246788608 21760 33554432000 4194304 4196468 140731219868896 140206659669008 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5600] ppid=5541 vsize=10983192 memory=6083073847998109799 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5600/stat : 5600 (java) S 5541 5544 22004 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 107231438 11246788608 21760 33554432000 4194304 4196468 140731219868896 140206658616208 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5601] ppid=5541 vsize=10983192 memory=6943526294502006880 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5601/stat : 5601 (java) S 5541 5544 22004 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 15 0 107231438 11246788608 21760 33554432000 4194304 4196468 140731219868896 140206311922448 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5602] ppid=5541 vsize=10983192 memory=139959296746017 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5602/stat : 5602 (java) S 5541 5544 22004 0 -1 1077944384 5 12935 0 0 0 0 5 2 20 0 15 0 107231440 11246788608 21760 33554432000 4194304 4196468 140731219868896 140206267296112 140206774172290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5603] ppid=5541 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5603/stat : 5603 (java) S 5541 5544 22004 0 -1 1077944384 13 12935 0 0 0 0 5 2 20 0 15 0 107231440 11246788608 21760 33554432000 4194304 4196468 140731219868896 140205583492128 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5604] ppid=5541 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5604/stat : 5604 (java) S 5541 5544 22004 0 -1 1077944384 21 12935 0 0 0 0 5 2 20 0 15 0 107231440 11246788608 21760 33554432000 4194304 4196468 140731219868896 140205516378992 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5605] ppid=5541 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5605/stat : 5605 (java) S 5541 5544 22004 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 107231443 11246788608 21760 33554432000 4194304 4196468 140731219868896 140205208983376 140206774179739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5606] ppid=5541 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/5544/task/5606/stat : 5606 (java) S 5541 5544 22004 0 -1 1077944384 1091 12935 0 0 10 0 5 2 20 0 15 0 107231443 11246788608 21760 33554432000 4194304 4196468 140731219868896 140206266243952 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5607] ppid=5541 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/5544/task/5607/stat : 5607 (java) S 5541 5544 22004 0 -1 1077944384 405 12935 0 0 6 0 5 2 20 0 15 0 107231443 11246788608 21760 33554432000 4194304 4196468 140731219868896 140206265191152 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5608] ppid=5541 vsize=10983192 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/5544/task/5608/stat : 5608 (java) S 5541 5544 22004 0 -1 1077944384 670 12935 0 0 12 0 5 2 20 0 15 0 107231443 11246788608 21760 33554432000 4194304 4196468 140731219868896 140206264138352 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5609] ppid=5541 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5609/stat : 5609 (java) S 5541 5544 22004 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 107231443 11246788608 21760 33554432000 4194304 4196468 140731219868896 140204778187488 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5610] ppid=5541 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5610/stat : 5610 (java) S 5541 5544 22004 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 107231444 11246788608 21760 33554432000 4194304 4196468 140731219868896 140206263085744 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87040 KiB

[startup+1.50096 s]
/proc/loadavg: 2.02 1.89 1.78 3/215 5610
/proc/meminfo: memFree=24495212/32770624 swapFree=67108860/67108860
[pid=5544] ppid=5541 vsize=10991948 memory=317440 CPUtime=3.04 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 22004 0 -1 1077944320 23469 12935 0 0 273 24 5 2 20 0 15 0 107231429 11255754752 79360 33554432000 4194304 4196468 140731219868896 140731219851440 140206774161143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
/proc/5544/statm: 2747987 79360 3470 1 0 2709645 0
[pid=5544/tid=5597] ppid=5541 vsize=10991948 memory=279918319504056 CPUtime=1.4 cores=0,2,4,6
/proc/5544/task/5597/stat : 5597 (java) R 5541 5544 22004 0 -1 4202560 15058 12935 0 0 125 8 5 2 20 0 15 0 107231437 11255754752 79360 33554432000 4194304 4196468 140731219868896 140206745993648 140206758204773 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5598] ppid=5541 vsize=10991948 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5544/task/5598/stat : 5598 (java) S 5541 5544 22004 0 -1 1077944384 366 12935 0 0 2 3 5 2 20 0 15 0 107231438 11255754752 79360 33554432000 4194304 4196468 140731219868896 140206778403984 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5599] ppid=5541 vsize=10991948 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5544/task/5599/stat : 5599 (java) S 5541 5544 22004 0 -1 1077944384 56 12935 0 0 2 3 5 2 20 0 15 0 107231438 11255754752 79360 33554432000 4194304 4196468 140731219868896 140206659669008 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5600] ppid=5541 vsize=10991948 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5544/task/5600/stat : 5600 (java) S 5541 5544 22004 0 -1 1077944384 116 12935 0 0 2 3 5 2 20 0 15 0 107231438 11255754752 79360 33554432000 4194304 4196468 140731219868896 140206658616208 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5601] ppid=5541 vsize=10991948 memory=-7306379679665460894 CPUtime=0.12 cores=0,2,4,6
/proc/5544/task/5601/stat : 5601 (java) S 5541 5544 22004 0 -1 1077944384 100 12935 0 0 2 3 5 2 20 0 15 0 107231438 11255754752 79360 33554432000 4194304 4196468 140731219868896 140206311922448 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5602] ppid=5541 vsize=10991948 memory=-6876588628787748224 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5602/stat : 5602 (java) S 5541 5544 22004 0 -1 1077944384 88 12935 0 0 0 0 5 2 20 0 15 0 107231440 11255754752 79360 33554432000 4194304 4196468 140731219868896 140206267296112 140206774172290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5603] ppid=5541 vsize=10991948 memory=6944656591801720471 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5603/stat : 5603 (java) S 5541 5544 22004 0 -1 1077944384 15 12935 0 0 0 0 5 2 20 0 15 0 107231440 11255754752 79360 33554432000 4194304 4196468 140731219868896 140205583492128 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5604] ppid=5541 vsize=10991948 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5604/stat : 5604 (java) S 5541 5544 22004 0 -1 1077944384 43 12935 0 0 0 0 5 2 20 0 15 0 107231440 11255754752 79360 33554432000 4194304 4196468 140731219868896 140205516378992 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5605] ppid=5541 vsize=10991948 memory=7451035641953675857 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5605/stat : 5605 (java) S 5541 5544 22004 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 107231443 11255754752 79360 33554432000 4194304 4196468 140731219868896 140205208983376 140206774179739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5606] ppid=5541 vsize=10991948 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/5544/task/5606/stat : 5606 (java) R 5541 5544 22004 0 -1 4202560 1934 12935 0 0 48 1 5 2 20 0 15 0 107231443 11255754752 79360 33554432000 4194304 4196468 140731219868896 140206266227296 140206759083080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5607] ppid=5541 vsize=10991948 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/5544/task/5607/stat : 5607 (java) R 5541 5544 22004 0 -1 4202560 2127 12935 0 0 50 0 5 2 20 0 15 0 107231443 11255754752 79360 33554432000 4194304 4196468 140731219868896 140206265176944 140206753405035 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5608] ppid=5541 vsize=10991948 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/5544/task/5608/stat : 5608 (java) R 5541 5544 22004 0 -1 4202560 1366 12935 0 0 38 0 5 2 20 0 15 0 107231443 11255754752 79360 33554432000 4194304 4196468 140731219868896 140206264138352 140206767260843 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5609] ppid=5541 vsize=10991948 memory=139959160091184 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5609/stat : 5609 (java) S 5541 5544 22004 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 107231443 11255754752 79360 33554432000 4194304 4196468 140731219868896 140204778187488 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5610] ppid=5541 vsize=10991948 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5610/stat : 5610 (java) S 5541 5544 22004 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 107231444 11255754752 79360 33554432000 4194304 4196468 140731219868896 140206263085744 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10991948 KiB

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


[startup+44.8006 s]
/proc/loadavg: 1.77 1.84 1.77 3/215 5610
/proc/meminfo: memFree=21340112/32770624 swapFree=67108860/67108860
[pid=5544] ppid=5541 vsize=11017128 memory=3379052 CPUtime=67.83 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 22004 0 -1 1077944320 97420 12935 0 0 6563 213 5 2 20 0 15 0 107231429 11281539072 844763 33554432000 4194304 4196468 140731219868896 140731219851440 140206774161143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
/proc/5544/statm: 2754282 844763 3533 1 0 2715935 0
[pid=5544/tid=5597] ppid=5541 vsize=11017128 memory=288230596050944315 CPUtime=42.54 cores=0,2,4,6
/proc/5544/task/5597/stat : 5597 (java) R 5541 5544 22004 0 -1 4202560 42120 12935 0 0 4206 41 5 2 20 0 15 0 107231437 11281539072 844763 33554432000 4194304 4196468 140731219868896 140206745993408 140206352470189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5598] ppid=5541 vsize=11017128 memory=13852958290872746 CPUtime=2.11 cores=0,2,4,6
/proc/5544/task/5598/stat : 5598 (java) S 5541 5544 22004 0 -1 1077944384 2193 12935 0 0 166 38 5 2 20 0 15 0 107231438 11281539072 844763 33554432000 4194304 4196468 140731219868896 140206778403984 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5599] ppid=5541 vsize=11017128 memory=4028 CPUtime=2.1 cores=0,2,4,6
/proc/5544/task/5599/stat : 5599 (java) S 5541 5544 22004 0 -1 1077944384 2470 12935 0 0 166 37 5 2 20 0 15 0 107231438 11281539072 844763 33554432000 4194304 4196468 140731219868896 140206659669008 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5600] ppid=5541 vsize=11017128 memory=30512 CPUtime=2.1 cores=0,2,4,6
/proc/5544/task/5600/stat : 5600 (java) S 5541 5544 22004 0 -1 1077944384 1932 12935 0 0 164 39 5 2 20 0 15 0 107231438 11281539072 844763 33554432000 4194304 4196468 140731219868896 140206658616208 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5601] ppid=5541 vsize=11017128 memory=1296 CPUtime=2.12 cores=0,2,4,6
/proc/5544/task/5601/stat : 5601 (java) S 5541 5544 22004 0 -1 1077944384 2399 12935 0 0 166 39 5 2 20 0 15 0 107231438 11281539072 844763 33554432000 4194304 4196468 140731219868896 140206311922448 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5602] ppid=5541 vsize=11017128 memory=8112282956445269571 CPUtime=0.17 cores=0,2,4,6
/proc/5544/task/5602/stat : 5602 (java) S 5541 5544 22004 0 -1 1077944384 5655 12935 0 0 10 0 5 2 20 0 15 0 107231440 11281539072 844763 33554432000 4194304 4196468 140731219868896 140206267296112 140206774172290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5603] ppid=5541 vsize=11017128 memory=30512 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5603/stat : 5603 (java) S 5541 5544 22004 0 -1 1077944384 19 12935 0 0 0 0 5 2 20 0 15 0 107231440 11281539072 844763 33554432000 4194304 4196468 140731219868896 140205583492192 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5604] ppid=5541 vsize=11017128 memory=1296 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5604/stat : 5604 (java) S 5541 5544 22004 0 -1 1077944384 46 12935 0 0 0 0 5 2 20 0 15 0 107231440 11281539072 844763 33554432000 4194304 4196468 140731219868896 140205516379008 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5605] ppid=5541 vsize=11017128 memory=2424 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5605/stat : 5605 (java) S 5541 5544 22004 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 107231443 11281539072 844763 33554432000 4194304 4196468 140731219868896 140205208983376 140206774179739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5606] ppid=5541 vsize=11017128 memory=0 CPUtime=7.2 cores=0,2,4,6
/proc/5544/task/5606/stat : 5606 (java) R 5541 5544 22004 0 -1 4202560 10438 12935 0 0 710 3 5 2 20 0 15 0 107231443 11281539072 844763 33554432000 4194304 4196468 140731219868896 140206266233216 140206757692622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5607] ppid=5541 vsize=11017128 memory=7893295687695687954 CPUtime=7.22 cores=0,2,4,6
/proc/5544/task/5607/stat : 5607 (java) R 5541 5544 22004 0 -1 4202560 14182 12935 0 0 712 3 5 2 20 0 15 0 107231443 11281539072 844763 33554432000 4194304 4196468 140731219868896 140206265177032 140206755705377 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5608] ppid=5541 vsize=11017128 memory=-8918990855134196790 CPUtime=2.68 cores=0,2,4,6
/proc/5544/task/5608/stat : 5608 (java) S 5541 5544 22004 0 -1 1077944384 12923 12935 0 0 256 5 5 2 20 0 15 0 107231443 11281539072 844763 33554432000 4194304 4196468 140731219868896 140206264138352 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5609] ppid=5541 vsize=11017128 memory=-5345911753256963030 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5609/stat : 5609 (java) S 5541 5544 22004 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 107231443 11281539072 844763 33554432000 4194304 4196468 140731219868896 140204778187488 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5610] ppid=5541 vsize=11017128 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/5544/task/5610/stat : 5610 (java) S 5541 5544 22004 0 -1 1077944384 842 12935 0 0 0 1 5 2 20 0 15 0 107231444 11281539072 844763 33554432000 4194304 4196468 140731219868896 140206263085744 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
Current children cumulated CPU time: 67.83 s
Current children cumulated vsize: 11017128 KiB
Current children cumulated memory: 3379052 KiB

[startup+46.4044 s]
/proc/loadavg: 1.87 1.86 1.78 5/215 5610
/proc/meminfo: memFree=21313824/32770624 swapFree=67108860/67108860
[pid=5544] ppid=5541 vsize=11016544 memory=3402068 CPUtime=72.54 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 22004 0 -1 1077944320 112374 12935 0 0 7032 215 5 2 20 0 15 0 107231429 11280941056 850517 33554432000 4194304 4196468 140731219868896 140731219851440 140206774161143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
/proc/5544/statm: 2754136 850517 3535 1 0 2715789 0
[pid=5544/tid=5597] ppid=5541 vsize=11016544 memory=4052 CPUtime=44.01 cores=0,2,4,6
/proc/5544/task/5597/stat : 5597 (java) R 5541 5544 22004 0 -1 4202560 52776 12935 0 0 4352 42 5 2 20 0 15 0 107231437 11280941056 850517 33554432000 4194304 4196468 140731219868896 140206745987072 140206340372587 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5598] ppid=5541 vsize=11016544 memory=18248 CPUtime=2.23 cores=0,2,4,6
/proc/5544/task/5598/stat : 5598 (java) S 5541 5544 22004 0 -1 1077944384 2241 12935 0 0 178 38 5 2 20 0 15 0 107231438 11280941056 850517 33554432000 4194304 4196468 140731219868896 140206778403984 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5599] ppid=5541 vsize=11016544 memory=640 CPUtime=2.22 cores=0,2,4,6
/proc/5544/task/5599/stat : 5599 (java) S 5541 5544 22004 0 -1 1077944384 2507 12935 0 0 178 37 5 2 20 0 15 0 107231438 11280941056 850517 33554432000 4194304 4196468 140731219868896 140206659669008 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5600] ppid=5541 vsize=11016544 memory=1784 CPUtime=2.22 cores=0,2,4,6
/proc/5544/task/5600/stat : 5600 (java) S 5541 5544 22004 0 -1 1077944384 2105 12935 0 0 176 39 5 2 20 0 15 0 107231438 11280941056 850517 33554432000 4194304 4196468 140731219868896 140206658616208 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5601] ppid=5541 vsize=11016544 memory=1236 CPUtime=2.24 cores=0,2,4,6
/proc/5544/task/5601/stat : 5601 (java) S 5541 5544 22004 0 -1 1077944384 2479 12935 0 0 178 39 5 2 20 0 15 0 107231438 11280941056 850517 33554432000 4194304 4196468 140731219868896 140206311922448 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5602] ppid=5541 vsize=11016544 memory=3401620 CPUtime=0.18 cores=0,2,4,6
/proc/5544/task/5602/stat : 5602 (java) S 5541 5544 22004 0 -1 1077944384 5658 12935 0 0 11 0 5 2 20 0 15 0 107231440 11280941056 850517 33554432000 4194304 4196468 140731219868896 140206267296112 140206774172290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5603] ppid=5541 vsize=11016544 memory=2592 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5603/stat : 5603 (java) S 5541 5544 22004 0 -1 1077944384 19 12935 0 0 0 0 5 2 20 0 15 0 107231440 11280941056 850517 33554432000 4194304 4196468 140731219868896 140205583492192 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5604] ppid=5541 vsize=11016544 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5604/stat : 5604 (java) S 5541 5544 22004 0 -1 1077944384 46 12935 0 0 0 0 5 2 20 0 15 0 107231440 11280941056 850517 33554432000 4194304 4196468 140731219868896 140205516379008 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5605] ppid=5541 vsize=11016544 memory=1572 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5605/stat : 5605 (java) S 5541 5544 22004 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 107231443 11280941056 850517 33554432000 4194304 4196468 140731219868896 140205208983376 140206774179739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5606] ppid=5541 vsize=11016544 memory=2244 CPUtime=8.54 cores=0,2,4,6
/proc/5544/task/5606/stat : 5606 (java) R 5541 5544 22004 0 -1 4202560 12959 12935 0 0 843 4 5 2 20 0 15 0 107231443 11280941056 850517 33554432000 4194304 4196468 140731219868896 140206266222032 140206774182490 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5607] ppid=5541 vsize=11016544 memory=4124 CPUtime=8.37 cores=0,2,4,6
/proc/5544/task/5607/stat : 5607 (java) R 5541 5544 22004 0 -1 4202560 15296 12935 0 0 826 4 5 2 20 0 15 0 107231443 11280941056 850517 33554432000 4194304 4196468 140731219868896 140206265180944 140206757657931 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5608] ppid=5541 vsize=11016544 memory=2200 CPUtime=2.96 cores=0,2,4,6
/proc/5544/task/5608/stat : 5608 (java) S 5541 5544 22004 0 -1 1077944384 13245 12935 0 0 283 6 5 2 20 0 15 0 107231443 11280941056 850517 33554432000 4194304 4196468 140731219868896 140206264138352 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5609] ppid=5541 vsize=11016544 memory=8148 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5609/stat : 5609 (java) S 5541 5544 22004 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 107231443 11280941056 850517 33554432000 4194304 4196468 140731219868896 140204778187488 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5610] ppid=5541 vsize=11016544 memory=844 CPUtime=0.08 cores=0,2,4,6
/proc/5544/task/5610/stat : 5610 (java) S 5541 5544 22004 0 -1 1077944384 842 12935 0 0 0 1 5 2 20 0 15 0 107231444 11280941056 850517 33554432000 4194304 4196468 140731219868896 140206263085744 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
Current children cumulated CPU time: 72.54 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3402068 KiB

[startup+46.801 s]
/proc/loadavg: 1.87 1.86 1.78 5/215 5610
/proc/meminfo: memFree=21313824/32770624 swapFree=67108860/67108860
[pid=5544] ppid=5541 vsize=11016544 memory=3402144 CPUtime=73.76 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 22004 0 -1 1077944320 112901 12935 0 0 7154 215 5 2 20 0 15 0 107231429 11280941056 850536 33554432000 4194304 4196468 140731219868896 140731219851440 140206774161143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
/proc/5544/statm: 2754136 850536 3535 1 0 2715789 0
[pid=5544/tid=5597] ppid=5541 vsize=11016544 memory=13852958290872746 CPUtime=44.41 cores=0,2,4,6
/proc/5544/task/5597/stat : 5597 (java) R 5541 5544 22004 0 -1 4202560 53292 12935 0 0 4392 42 5 2 20 0 15 0 107231437 11280941056 850536 33554432000 4194304 4196468 140731219868896 140206745992816 140206338506828 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5598] ppid=5541 vsize=11016544 memory=4124 CPUtime=2.23 cores=0,2,4,6
/proc/5544/task/5598/stat : 5598 (java) S 5541 5544 22004 0 -1 1077944384 2241 12935 0 0 178 38 5 2 20 0 15 0 107231438 11280941056 850536 33554432000 4194304 4196468 140731219868896 140206778403984 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5599] ppid=5541 vsize=11016544 memory=2200 CPUtime=2.22 cores=0,2,4,6
/proc/5544/task/5599/stat : 5599 (java) S 5541 5544 22004 0 -1 1077944384 2507 12935 0 0 178 37 5 2 20 0 15 0 107231438 11280941056 850536 33554432000 4194304 4196468 140731219868896 140206659669008 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5600] ppid=5541 vsize=11016544 memory=8148 CPUtime=2.22 cores=0,2,4,6
/proc/5544/task/5600/stat : 5600 (java) S 5541 5544 22004 0 -1 1077944384 2105 12935 0 0 176 39 5 2 20 0 15 0 107231438 11280941056 850536 33554432000 4194304 4196468 140731219868896 140206658616208 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5601] ppid=5541 vsize=11016544 memory=844 CPUtime=2.24 cores=0,2,4,6
/proc/5544/task/5601/stat : 5601 (java) S 5541 5544 22004 0 -1 1077944384 2479 12935 0 0 178 39 5 2 20 0 15 0 107231438 11280941056 850536 33554432000 4194304 4196468 140731219868896 140206311922448 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5602] ppid=5541 vsize=11016544 memory=1408 CPUtime=0.18 cores=0,2,4,6
/proc/5544/task/5602/stat : 5602 (java) S 5541 5544 22004 0 -1 1077944384 5658 12935 0 0 11 0 5 2 20 0 15 0 107231440 11280941056 850536 33554432000 4194304 4196468 140731219868896 140206267296112 140206774172290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5603] ppid=5541 vsize=11016544 memory=3148 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5603/stat : 5603 (java) S 5541 5544 22004 0 -1 1077944384 19 12935 0 0 0 0 5 2 20 0 15 0 107231440 11280941056 850536 33554432000 4194304 4196468 140731219868896 140205583492192 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5604] ppid=5541 vsize=11016544 memory=3402220 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5604/stat : 5604 (java) S 5541 5544 22004 0 -1 1077944384 46 12935 0 0 0 0 5 2 20 0 15 0 107231440 11280941056 850536 33554432000 4194304 4196468 140731219868896 140205516379008 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5605] ppid=5541 vsize=11016544 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5605/stat : 5605 (java) S 5541 5544 22004 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 107231443 11280941056 850536 33554432000 4194304 4196468 140731219868896 140205208983376 140206774179739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5606] ppid=5541 vsize=11016544 memory=2804 CPUtime=8.92 cores=0,2,4,6
/proc/5544/task/5606/stat : 5606 (java) R 5541 5544 22004 0 -1 4202560 12960 12935 0 0 881 4 5 2 20 0 15 0 107231443 11280941056 850536 33554432000 4194304 4196468 140731219868896 140206266225360 140206758584213 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5607] ppid=5541 vsize=11016544 memory=3357896 CPUtime=8.77 cores=0,2,4,6
/proc/5544/task/5607/stat : 5607 (java) R 5541 5544 22004 0 -1 4202560 15296 12935 0 0 866 4 5 2 20 0 15 0 107231443 11280941056 850536 33554432000 4194304 4196468 140731219868896 140206265176848 140206774182490 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5608] ppid=5541 vsize=11016544 memory=1796 CPUtime=3 cores=0,2,4,6
/proc/5544/task/5608/stat : 5608 (java) S 5541 5544 22004 0 -1 1077944384 13255 12935 0 0 287 6 5 2 20 0 15 0 107231443 11280941056 850536 33554432000 4194304 4196468 140731219868896 140206264138352 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5609] ppid=5541 vsize=11016544 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5609/stat : 5609 (java) S 5541 5544 22004 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 107231443 11280941056 850536 33554432000 4194304 4196468 140731219868896 140204778187488 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5610] ppid=5541 vsize=11016544 memory=7182 CPUtime=0.08 cores=0,2,4,6
/proc/5544/task/5610/stat : 5610 (java) S 5541 5544 22004 0 -1 1077944384 842 12935 0 0 0 1 5 2 20 0 15 0 107231444 11280941056 850536 33554432000 4194304 4196468 140731219868896 140206263085744 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
Current children cumulated CPU time: 73.76 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3402144 KiB

[startup+47.001 s]*
/proc/loadavg: 1.87 1.86 1.78 5/215 5610
/proc/meminfo: memFree=21313280/32770624 swapFree=67108860/67108860
[pid=5544] ppid=5541 vsize=11016544 memory=3402540 CPUtime=74.41 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 22004 0 -1 1077944320 113062 12935 0 0 7219 215 5 2 20 0 15 0 107231429 11280941056 850635 33554432000 4194304 4196468 140731219868896 140731219851440 140206774161143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
/proc/5544/statm: 2754136 850635 3535 1 0 2715789 0
[pid=5544/tid=5597] ppid=5541 vsize=11016544 memory=6935054825532540783 CPUtime=44.61 cores=0,2,4,6
/proc/5544/task/5597/stat : 5597 (java) R 5541 5544 22004 0 -1 4202560 53443 12935 0 0 4412 42 5 2 20 0 15 0 107231437 11280941056 850635 33554432000 4194304 4196468 140731219868896 140206745996144 140206360991124 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5598] ppid=5541 vsize=11016544 memory=4126316290023845779 CPUtime=2.23 cores=0,2,4,6
/proc/5544/task/5598/stat : 5598 (java) S 5541 5544 22004 0 -1 1077944384 2241 12935 0 0 178 38 5 2 20 0 15 0 107231438 11280941056 850635 33554432000 4194304 4196468 140731219868896 140206778403984 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5599] ppid=5541 vsize=11016544 memory=0 CPUtime=2.22 cores=0,2,4,6
/proc/5544/task/5599/stat : 5599 (java) S 5541 5544 22004 0 -1 1077944384 2507 12935 0 0 178 37 5 2 20 0 15 0 107231438 11280941056 850635 33554432000 4194304 4196468 140731219868896 140206659669008 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5600] ppid=5541 vsize=11016544 memory=0 CPUtime=2.22 cores=0,2,4,6
/proc/5544/task/5600/stat : 5600 (java) S 5541 5544 22004 0 -1 1077944384 2105 12935 0 0 176 39 5 2 20 0 15 0 107231438 11280941056 850635 33554432000 4194304 4196468 140731219868896 140206658616208 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5601] ppid=5541 vsize=11016544 memory=0 CPUtime=2.24 cores=0,2,4,6
/proc/5544/task/5601/stat : 5601 (java) S 5541 5544 22004 0 -1 1077944384 2479 12935 0 0 178 39 5 2 20 0 15 0 107231438 11280941056 850635 33554432000 4194304 4196468 140731219868896 140206311922448 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5602] ppid=5541 vsize=11016544 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/5544/task/5602/stat : 5602 (java) S 5541 5544 22004 0 -1 1077944384 5658 12935 0 0 11 0 5 2 20 0 15 0 107231440 11280941056 850635 33554432000 4194304 4196468 140731219868896 140206267296112 140206774172290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5603] ppid=5541 vsize=11016544 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5603/stat : 5603 (java) S 5541 5544 22004 0 -1 1077944384 19 12935 0 0 0 0 5 2 20 0 15 0 107231440 11280941056 850635 33554432000 4194304 4196468 140731219868896 140205583492192 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5604] ppid=5541 vsize=11016544 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5604/stat : 5604 (java) S 5541 5544 22004 0 -1 1077944384 46 12935 0 0 0 0 5 2 20 0 15 0 107231440 11280941056 850635 33554432000 4194304 4196468 140731219868896 140205516379008 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5605] ppid=5541 vsize=11016544 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5605/stat : 5605 (java) S 5541 5544 22004 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 107231443 11280941056 850635 33554432000 4194304 4196468 140731219868896 140205208983376 140206774179739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5606] ppid=5541 vsize=11016544 memory=0 CPUtime=9.13 cores=0,2,4,6
/proc/5544/task/5606/stat : 5606 (java) R 5541 5544 22004 0 -1 4202560 12961 12935 0 0 902 4 5 2 20 0 15 0 107231443 11280941056 850635 33554432000 4194304 4196468 140731219868896 140206266230176 140206759271213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5607] ppid=5541 vsize=11016544 memory=0 CPUtime=8.97 cores=0,2,4,6
/proc/5544/task/5607/stat : 5607 (java) R 5541 5544 22004 0 -1 4202560 15297 12935 0 0 886 4 5 2 20 0 15 0 107231443 11280941056 850635 33554432000 4194304 4196468 140731219868896 140206265180688 140206758162211 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5608] ppid=5541 vsize=11016544 memory=0 CPUtime=3.04 cores=0,2,4,6
/proc/5544/task/5608/stat : 5608 (java) R 5541 5544 22004 0 -1 1077944384 13263 12935 0 0 291 6 5 2 20 0 15 0 107231443 11280941056 850635 33554432000 4194304 4196468 140731219868896 140206264138352 140206774172290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5609] ppid=5541 vsize=11016544 memory=7812146008185729127 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5609/stat : 5609 (java) S 5541 5544 22004 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 107231443 11280941056 850635 33554432000 4194304 4196468 140731219868896 140204778187488 140206774171349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
[pid=5544/tid=5610] ppid=5541 vsize=11016544 memory=9047017150487036575 CPUtime=0.08 cores=0,2,4,6
/proc/5544/task/5610/stat : 5610 (java) S 5541 5544 22004 0 -1 1077944384 842 12935 0 0 0 1 5 2 20 0 15 0 107231444 11280941056 850635 33554432000 4194304 4196468 140731219868896 140206263085744 140206774172290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140731219876466 140731219879265 140731219879265 140731219881935 0
Current children cumulated CPU time: 74.41 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3402540 KiB

[startup+47.111 s]*
/proc/loadavg: 1.87 1.86 1.78 3/202 5611
/proc/meminfo: memFree=24495844/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 47.1327
CPU time (s): 74.6574
CPU user time (s): 72.4519
CPU system time (s): 2.2055
CPU usage (%): 158.398
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 3402540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.4519
system time used= 2.2055
maximum resident set size= 3404696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126125
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= 11716
involuntary context switches= 259


# summary of solver processes directly reported to runsolver:
#   pid: 5544
#   total CPU time (s): 74.6574
#   total CPU user time (s): 72.4519
#   total CPU system time (s): 2.2055

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.297535 second user time and 0.491901 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-29 22:38:02
IDJOB=4302597
IDBENCH=141273
IDSOLVER=2776
FILE ID=node151/4302597-1532896682
RUNJOBID= node151-1532894133-1620
PBS_JOBID= 21022509
Free space on /tmp= 59140 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302597-1532896682/watcher-4302597-1532896682 -o /tmp/evaluation-result-4302597-1532896682/solver-4302597-1532896682 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1620 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=750851140 HOME/instance-4302597-1532896682.xml

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=750851140

node151.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.87
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.87
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.87
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.87
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:        24591428 kB
MemAvailable:   28479344 kB
Buffers:          217924 kB
Cached:          3943640 kB
SwapCached:            0 kB
Active:          5071608 kB
Inactive:        2630836 kB
Active(anon):    3490576 kB
Inactive(anon):    78188 kB
Active(file):    1581032 kB
Inactive(file):  2552648 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            109088 kB
Writeback:             0 kB
AnonPages:       3687676 kB
Mapped:            58092 kB
Shmem:             25224 kB
Slab:             168952 kB
SReclaimable:     140140 kB
SUnreclaim:        28812 kB
KernelStack:        3824 kB
PageTables:        12084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4419500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3440640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59112 MiB
End job on node151 at 2018-07-29 22:38:50