Trace number 4302947

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.2-SuperNGOPT162507055 69.7891 44.0613

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302947-1532896784/watcher-4302947-1532896784 -o /tmp/evaluation-result-4302947-1532896784/solver-4302947-1532896784 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=679903348 -superng HOME/instance-4302947-1532896784.xml 

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

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=27082, runsolver pid=27079

[startup+0.10012 s]*
/proc/loadavg: 2.26 2.04 1.88 3/206 27139
/proc/meminfo: memFree=24156180/32770624 swapFree=67108860/67108860
[pid=27082] ppid=27079 vsize=10005480 memory=17080 CPUtime=0.08 cores=1,3,5,7
/proc/27082/stat : 27082 (java) S 27079 27082 13514 0 -1 1077944320 4404 13288 0 0 1 0 4 3 20 0 6 0 107241638 10245611520 4270 33554432000 4194304 4196468 140724557845088 140724557827632 140326118842103 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
/proc/27082/statm: 2501370 4270 1935 1 0 2489808 0
[pid=27082/tid=27135] ppid=27079 vsize=10005480 memory=4279135703913364878 CPUtime=0.08 cores=1,3,5,7
/proc/27082/task/27135/stat : 27135 (java) R 27079 27082 13514 0 -1 4202560 2212 13288 0 0 1 0 4 3 20 0 6 0 107241647 10245611520 4270 33554432000 4194304 4196468 140724557845088 140326090678864 140326111079230 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27136] ppid=27079 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27136/stat : 27136 (java) S 27079 27082 13514 0 -1 1077944384 2 13288 0 0 0 0 4 3 20 0 6 0 107241648 10245611520 4270 33554432000 4194304 4196468 140724557845088 140326123084688 140326118852309 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27137] ppid=27079 vsize=10005480 memory=139963852019328 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27137/stat : 27137 (java) S 27079 27082 13514 0 -1 1077944384 2 13288 0 0 0 0 4 3 20 0 6 0 107241648 10245611520 4270 33554432000 4194304 4196468 140724557845088 140325658028816 140326118852309 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27138] ppid=27079 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27138/stat : 27138 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 6 0 107241648 10245611520 4270 33554432000 4194304 4196468 140724557845088 140325656976528 140326118852309 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27139] ppid=27079 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27139/stat : 27139 (java) S 27079 27082 13514 0 -1 1077944384 1 13288 0 0 0 0 4 3 20 0 6 0 107241648 10245611520 4270 33554432000 4194304 4196468 140724557845088 140325655923728 140326118852309 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17080 KiB

[startup+0.209885 s]*
/proc/loadavg: 2.26 2.04 1.88 3/215 27148
/proc/meminfo: memFree=24131948/32770624 swapFree=67108860/67108860
[pid=27082] ppid=27079 vsize=10982744 memory=45260 CPUtime=0.25 cores=1,3,5,7
/proc/27082/stat : 27082 (java) S 27079 27082 13514 0 -1 1077944320 8056 13288 0 0 17 1 4 3 20 0 15 0 107241638 11246329856 11315 33554432000 4194304 4196468 140724557845088 140724557827632 140326118842103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
/proc/27082/statm: 2745686 11315 2947 1 0 2708109 0
[pid=27082/tid=27135] ppid=27079 vsize=10983736 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/27082/task/27135/stat : 27135 (java) R 27079 27082 13514 0 -1 4202560 4669 13288 0 0 11 0 4 3 20 0 15 0 107241647 11247345664 11381 33554432000 4194304 4196468 140724557845088 140326090666912 140326111521821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27136] ppid=27079 vsize=10983736 memory=339 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27136/stat : 27136 (java) S 27079 27082 13514 0 -1 1077944384 2 13288 0 0 0 0 4 3 20 0 15 0 107241648 11247345664 11447 33554432000 4194304 4196468 140724557845088 140326123084688 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27137] ppid=27079 vsize=10983736 memory=3617997428729468576 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27137/stat : 27137 (java) S 27079 27082 13514 0 -1 1077944384 2 13288 0 0 0 0 4 3 20 0 15 0 107241648 11247345664 11447 33554432000 4194304 4196468 140724557845088 140325658028816 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27138] ppid=27079 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27138/stat : 27138 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241648 11247345664 11447 33554432000 4194304 4196468 140724557845088 140325656976528 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27139] ppid=27079 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27139/stat : 27139 (java) S 27079 27082 13514 0 -1 1077944384 1 13288 0 0 0 0 4 3 20 0 15 0 107241648 11247345664 11447 33554432000 4194304 4196468 140724557845088 140325655923728 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27140] ppid=27079 vsize=10983736 memory=139963852019328 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27140/stat : 27140 (java) S 27079 27082 13514 0 -1 1077944384 2 13288 0 0 0 0 4 3 20 0 15 0 107241649 11247345664 11447 33554432000 4194304 4196468 140724557845088 140325544532080 140326118853250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27141] ppid=27079 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27141/stat : 27141 (java) S 27079 27082 13514 0 -1 1077944384 13 13288 0 0 0 0 4 3 20 0 15 0 107241650 11247345664 11513 33554432000 4194304 4196468 140724557845088 140324916683552 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27142] ppid=27079 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27142/stat : 27142 (java) S 27079 27082 13514 0 -1 1077944384 1 13288 0 0 0 0 4 3 20 0 15 0 107241650 11247345664 11513 33554432000 4194304 4196468 140724557845088 140324768834672 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27143] ppid=27079 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27143/stat : 27143 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241652 11247345664 11513 33554432000 4194304 4196468 140724557845088 140324461434960 140326118860699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27144] ppid=27079 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27082/task/27144/stat : 27144 (java) S 27079 27082 13514 0 -1 1077944384 356 13288 0 0 1 0 4 3 20 0 15 0 107241653 11247345664 11513 33554432000 4194304 4196468 140724557845088 140325543479920 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27145] ppid=27079 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27145/stat : 27145 (java) S 27079 27082 13514 0 -1 1077944384 244 13288 0 0 0 0 4 3 20 0 15 0 107241653 11247345664 11579 33554432000 4194304 4196468 140724557845088 140325542427120 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27146] ppid=27079 vsize=10983736 memory=139963852019328 CPUtime=0.1 cores=1,3,5,7
/proc/27082/task/27146/stat : 27146 (java) S 27079 27082 13514 0 -1 1077944384 621 13288 0 0 3 0 4 3 20 0 15 0 107241653 11247345664 11579 33554432000 4194304 4196468 140724557845088 140325541374832 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27147] ppid=27079 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27147/stat : 27147 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241653 11247345664 11579 33554432000 4194304 4196468 140724557845088 140324030639072 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27148] ppid=27079 vsize=10985364 memory=139963852019328 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27148/stat : 27148 (java) S 27079 27082 13514 0 -1 1077944384 1 13288 0 0 0 0 4 3 20 0 15 0 107241653 11249012736 11579 33554432000 4194304 4196468 140724557845088 140325540321712 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45260 KiB

[startup+0.310217 s]*
/proc/loadavg: 2.26 2.04 1.88 3/215 27148
/proc/meminfo: memFree=24117808/32770624 swapFree=67108860/67108860
[pid=27082] ppid=27079 vsize=10983192 memory=55964 CPUtime=0.39 cores=1,3,5,7
/proc/27082/stat : 27082 (java) S 27079 27082 13514 0 -1 1077944320 10580 13288 0 0 30 2 4 3 20 0 15 0 107241638 11246788608 13991 33554432000 4194304 4196468 140724557845088 140724557827632 140326118842103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
/proc/27082/statm: 2745798 13991 3066 1 0 2708109 0
[pid=27082/tid=27135] ppid=27079 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/27082/task/27135/stat : 27135 (java) R 27079 27082 13514 0 -1 4202560 7128 13288 0 0 20 1 4 3 20 0 15 0 107241647 11246788608 13991 33554432000 4194304 4196468 140724557845088 140326090654112 140326111079230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27136] ppid=27079 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27136/stat : 27136 (java) S 27079 27082 13514 0 -1 1077944384 2 13288 0 0 0 0 4 3 20 0 15 0 107241648 11246788608 13991 33554432000 4194304 4196468 140724557845088 140326123084688 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27137] ppid=27079 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27137/stat : 27137 (java) S 27079 27082 13514 0 -1 1077944384 2 13288 0 0 0 0 4 3 20 0 15 0 107241648 11246788608 13991 33554432000 4194304 4196468 140724557845088 140325658028816 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27138] ppid=27079 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27138/stat : 27138 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241648 11246788608 13991 33554432000 4194304 4196468 140724557845088 140325656976528 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27139] ppid=27079 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27139/stat : 27139 (java) S 27079 27082 13514 0 -1 1077944384 1 13288 0 0 0 0 4 3 20 0 15 0 107241648 11246788608 13991 33554432000 4194304 4196468 140724557845088 140325655923728 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27140] ppid=27079 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27140/stat : 27140 (java) S 27079 27082 13514 0 -1 1077944384 2 13288 0 0 0 0 4 3 20 0 15 0 107241649 11246788608 13991 33554432000 4194304 4196468 140724557845088 140325544532080 140326118853250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27141] ppid=27079 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27141/stat : 27141 (java) S 27079 27082 13514 0 -1 1077944384 13 13288 0 0 0 0 4 3 20 0 15 0 107241650 11246788608 13991 33554432000 4194304 4196468 140724557845088 140324916683552 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27142] ppid=27079 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27142/stat : 27142 (java) S 27079 27082 13514 0 -1 1077944384 1 13288 0 0 0 0 4 3 20 0 15 0 107241650 11246788608 13991 33554432000 4194304 4196468 140724557845088 140324768834672 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27143] ppid=27079 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27143/stat : 27143 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241652 11246788608 13991 33554432000 4194304 4196468 140724557845088 140324461434960 140326118860699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27144] ppid=27079 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27082/task/27144/stat : 27144 (java) S 27079 27082 13514 0 -1 1077944384 357 13288 0 0 2 0 4 3 20 0 15 0 107241653 11246788608 13991 33554432000 4194304 4196468 140724557845088 140325543479920 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27145] ppid=27079 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27082/task/27145/stat : 27145 (java) S 27079 27082 13514 0 -1 1077944384 244 13288 0 0 1 0 4 3 20 0 15 0 107241653 11246788608 13991 33554432000 4194304 4196468 140724557845088 140325542427120 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27146] ppid=27079 vsize=10983192 memory=139963852019328 CPUtime=0.12 cores=1,3,5,7
/proc/27082/task/27146/stat : 27146 (java) R 27079 27082 13514 0 -1 4202560 629 13288 0 0 5 0 4 3 20 0 15 0 107241653 11246788608 13991 33554432000 4194304 4196468 140724557845088 140325541374832 140326111083493 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27147] ppid=27079 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27147/stat : 27147 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241653 11246788608 13991 33554432000 4194304 4196468 140724557845088 140324030639072 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27148] ppid=27079 vsize=10983192 memory=139963852019328 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27148/stat : 27148 (java) S 27079 27082 13514 0 -1 1077944384 1 13288 0 0 0 0 4 3 20 0 15 0 107241653 11246788608 13991 33554432000 4194304 4196468 140724557845088 140325540321712 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55964 KiB

[startup+0.700809 s]
/proc/loadavg: 2.26 2.04 1.88 3/215 27148
/proc/meminfo: memFree=24108876/32770624 swapFree=67108860/67108860
[pid=27082] ppid=27079 vsize=10983192 memory=88660 CPUtime=0.99 cores=1,3,5,7
/proc/27082/stat : 27082 (java) S 27079 27082 13514 0 -1 1077944320 16759 13288 0 0 88 4 4 3 20 0 15 0 107241638 11246788608 22165 33554432000 4194304 4196468 140724557845088 140724557827632 140326118842103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
/proc/27082/statm: 2745798 22165 3237 1 0 2708109 0
[pid=27082/tid=27135] ppid=27079 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/27082/task/27135/stat : 27135 (java) R 27079 27082 13514 0 -1 4202560 12194 13288 0 0 57 2 4 3 20 0 15 0 107241647 11246788608 22165 33554432000 4194304 4196468 140724557845088 140326090662928 140326100405663 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27136] ppid=27079 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27136/stat : 27136 (java) S 27079 27082 13514 0 -1 1077944384 2 13288 0 0 0 0 4 3 20 0 15 0 107241648 11246788608 22165 33554432000 4194304 4196468 140724557845088 140326123084688 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27137] ppid=27079 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27137/stat : 27137 (java) S 27079 27082 13514 0 -1 1077944384 2 13288 0 0 0 0 4 3 20 0 15 0 107241648 11246788608 22165 33554432000 4194304 4196468 140724557845088 140325658028816 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27138] ppid=27079 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27138/stat : 27138 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241648 11246788608 22165 33554432000 4194304 4196468 140724557845088 140325656976528 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27139] ppid=27079 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27139/stat : 27139 (java) S 27079 27082 13514 0 -1 1077944384 1 13288 0 0 0 0 4 3 20 0 15 0 107241648 11246788608 22165 33554432000 4194304 4196468 140724557845088 140325655923728 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27140] ppid=27079 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27140/stat : 27140 (java) S 27079 27082 13514 0 -1 1077944384 5 13288 0 0 0 0 4 3 20 0 15 0 107241649 11246788608 22165 33554432000 4194304 4196468 140724557845088 140325544532080 140326118853250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27141] ppid=27079 vsize=10983192 memory=139963723297456 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27141/stat : 27141 (java) S 27079 27082 13514 0 -1 1077944384 13 13288 0 0 0 0 4 3 20 0 15 0 107241650 11246788608 22165 33554432000 4194304 4196468 140724557845088 140324916683552 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27142] ppid=27079 vsize=10983192 memory=139964394242640 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27142/stat : 27142 (java) S 27079 27082 13514 0 -1 1077944384 1 13288 0 0 0 0 4 3 20 0 15 0 107241650 11246788608 22165 33554432000 4194304 4196468 140724557845088 140324768834672 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27143] ppid=27079 vsize=10983192 memory=1020 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27143/stat : 27143 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241652 11246788608 22165 33554432000 4194304 4196468 140724557845088 140324461434960 140326118860699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27144] ppid=27079 vsize=10983192 memory=7089042195949315648 CPUtime=0.14 cores=1,3,5,7
/proc/27082/task/27144/stat : 27144 (java) S 27079 27082 13514 0 -1 1077944384 703 13288 0 0 7 0 4 3 20 0 15 0 107241653 11246788608 22165 33554432000 4194304 4196468 140724557845088 140325543479920 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27145] ppid=27079 vsize=10983192 memory=7881696724453321575 CPUtime=0.16 cores=1,3,5,7
/proc/27082/task/27145/stat : 27145 (java) S 27079 27082 13514 0 -1 1077944384 937 13288 0 0 9 0 4 3 20 0 15 0 107241653 11246788608 22165 33554432000 4194304 4196468 140724557845088 140325542427120 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27146] ppid=27079 vsize=10983192 memory=5789189752906409301 CPUtime=0.19 cores=1,3,5,7
/proc/27082/task/27146/stat : 27146 (java) S 27079 27082 13514 0 -1 1077944384 699 13288 0 0 12 0 4 3 20 0 15 0 107241653 11246788608 22165 33554432000 4194304 4196468 140724557845088 140325541374832 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27147] ppid=27079 vsize=10983192 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27147/stat : 27147 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241653 11246788608 22165 33554432000 4194304 4196468 140724557845088 140324030639072 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27148] ppid=27079 vsize=10983192 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27148/stat : 27148 (java) S 27079 27082 13514 0 -1 1077944384 1 13288 0 0 0 0 4 3 20 0 15 0 107241653 11246788608 22165 33554432000 4194304 4196468 140724557845088 140325540321712 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88660 KiB

[startup+1.50118 s]
/proc/loadavg: 2.26 2.04 1.88 3/215 27148
/proc/meminfo: memFree=24062148/32770624 swapFree=67108860/67108860
[pid=27082] ppid=27079 vsize=10991948 memory=320204 CPUtime=3.02 cores=1,3,5,7
/proc/27082/stat : 27082 (java) S 27079 27082 13514 0 -1 1077944320 23471 13288 0 0 271 24 4 3 20 0 15 0 107241638 11255754752 80051 33554432000 4194304 4196468 140724557845088 140724557827632 140326118842103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
/proc/27082/statm: 2747987 80051 3469 1 0 2709645 0
[pid=27082/tid=27135] ppid=27079 vsize=10991948 memory=10757 CPUtime=1.39 cores=1,3,5,7
/proc/27082/task/27135/stat : 27135 (java) R 27079 27082 13514 0 -1 4202560 14839 13288 0 0 124 8 4 3 20 0 15 0 107241647 11255754752 80051 33554432000 4194304 4196468 140724557845088 140326090672440 140325658128874 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27136] ppid=27079 vsize=10991948 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/27082/task/27136/stat : 27136 (java) S 27079 27082 13514 0 -1 1077944384 372 13288 0 0 2 3 4 3 20 0 15 0 107241648 11255754752 80051 33554432000 4194304 4196468 140724557845088 140326123084688 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27137] ppid=27079 vsize=10991948 memory=1408 CPUtime=0.12 cores=1,3,5,7
/proc/27082/task/27137/stat : 27137 (java) S 27079 27082 13514 0 -1 1077944384 114 13288 0 0 2 3 4 3 20 0 15 0 107241648 11255754752 80051 33554432000 4194304 4196468 140724557845088 140325658028816 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27138] ppid=27079 vsize=10991948 memory=3048 CPUtime=0.11 cores=1,3,5,7
/proc/27082/task/27138/stat : 27138 (java) S 27079 27082 13514 0 -1 1077944384 91 13288 0 0 2 2 4 3 20 0 15 0 107241648 11255754752 80051 33554432000 4194304 4196468 140724557845088 140325656976528 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27139] ppid=27079 vsize=10991948 memory=88660 CPUtime=0.11 cores=1,3,5,7
/proc/27082/task/27139/stat : 27139 (java) S 27079 27082 13514 0 -1 1077944384 60 13288 0 0 2 2 4 3 20 0 15 0 107241648 11255754752 80051 33554432000 4194304 4196468 140724557845088 140325655923728 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27140] ppid=27079 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27140/stat : 27140 (java) S 27079 27082 13514 0 -1 1077944384 94 13288 0 0 0 0 4 3 20 0 15 0 107241649 11255754752 80051 33554432000 4194304 4196468 140724557845088 140325544532080 140326118853250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27141] ppid=27079 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27141/stat : 27141 (java) S 27079 27082 13514 0 -1 1077944384 14 13288 0 0 0 0 4 3 20 0 15 0 107241650 11255754752 80051 33554432000 4194304 4196468 140724557845088 140324916683616 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27142] ppid=27079 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27142/stat : 27142 (java) S 27079 27082 13514 0 -1 1077944384 2 13288 0 0 0 0 4 3 20 0 15 0 107241650 11255754752 80051 33554432000 4194304 4196468 140724557845088 140324768834672 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27143] ppid=27079 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27143/stat : 27143 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241652 11255754752 80051 33554432000 4194304 4196468 140724557845088 140324461434960 140326118860699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27144] ppid=27079 vsize=10991948 memory=4638778398332698720 CPUtime=0.58 cores=1,3,5,7
/proc/27082/task/27144/stat : 27144 (java) R 27079 27082 13514 0 -1 4202560 2039 13288 0 0 51 0 4 3 20 0 15 0 107241653 11255754752 80051 33554432000 4194304 4196468 140724557845088 140325543465944 140326100361417 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27145] ppid=27079 vsize=10991948 memory=279927446870912 CPUtime=0.53 cores=1,3,5,7
/proc/27082/task/27145/stat : 27145 (java) R 27079 27082 13514 0 -1 4202560 2201 13288 0 0 46 0 4 3 20 0 15 0 107241653 11255754752 80051 33554432000 4194304 4196468 140724557845088 140325542413424 140326100385872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27146] ppid=27079 vsize=10991948 memory=6944656592452807323 CPUtime=0.45 cores=1,3,5,7
/proc/27082/task/27146/stat : 27146 (java) S 27079 27082 13514 0 -1 1077944384 1452 13288 0 0 37 1 4 3 20 0 15 0 107241653 11255754752 80051 33554432000 4194304 4196468 140724557845088 140325541374832 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27147] ppid=27079 vsize=10991948 memory=6944656591801719708 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27147/stat : 27147 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241653 11255754752 80051 33554432000 4194304 4196468 140724557845088 140324030639072 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27148] ppid=27079 vsize=10991948 memory=1399101730491701635 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27148/stat : 27148 (java) S 27079 27082 13514 0 -1 1077944384 1 13288 0 0 0 0 4 3 20 0 15 0 107241653 11255754752 80051 33554432000 4194304 4196468 140724557845088 140325540321712 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10991948 KiB

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

[pid=27082/tid=27147] ppid=27079 vsize=11010400 memory=924 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27147/stat : 27147 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241653 11274649600 837154 33554432000 4194304 4196468 140724557845088 140324030639072 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27148] ppid=27079 vsize=11010400 memory=804 CPUtime=0.09 cores=1,3,5,7
/proc/27082/task/27148/stat : 27148 (java) S 27079 27082 13514 0 -1 1077944384 1967 13288 0 0 1 1 4 3 20 0 15 0 107241653 11274649600 837154 33554432000 4194304 4196468 140724557845088 140325540321712 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
Current children cumulated CPU time: 58.3 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 3348616 KiB

[startup+42.0008 s]
/proc/loadavg: 2.61 2.16 1.93 5/215 27286
/proc/meminfo: memFree=21603736/32770624 swapFree=67108860/67108860
[pid=27082] ppid=27079 vsize=11014496 memory=3364852 CPUtime=63.78 cores=1,3,5,7
/proc/27082/stat : 27082 (java) S 27079 27082 13514 0 -1 1077944320 121748 13288 0 0 6174 197 4 3 20 0 15 0 107241638 11278843904 841213 33554432000 4194304 4196468 140724557845088 140724557827632 140326118842103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
/proc/27082/statm: 2753624 841213 3532 1 0 2715277 0
[pid=27082/tid=27135] ppid=27079 vsize=11014496 memory=6791534058613427641 CPUtime=39.77 cores=1,3,5,7
/proc/27082/task/27135/stat : 27135 (java) R 27079 27082 13514 0 -1 4202560 51803 13288 0 0 3931 39 4 3 20 0 15 0 107241647 11278843904 841213 33554432000 4194304 4196468 140724557845088 140326090672304 140326100407099 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27136] ppid=27079 vsize=11014496 memory=496 CPUtime=2.07 cores=1,3,5,7
/proc/27082/task/27136/stat : 27136 (java) S 27079 27082 13514 0 -1 1077944384 2750 13288 0 0 165 35 4 3 20 0 15 0 107241648 11278843904 841213 33554432000 4194304 4196468 140724557845088 140326123084688 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27137] ppid=27079 vsize=11014496 memory=3325880 CPUtime=2.08 cores=1,3,5,7
/proc/27082/task/27137/stat : 27137 (java) S 27079 27082 13514 0 -1 1077944384 3499 13288 0 0 165 36 4 3 20 0 15 0 107241648 11278843904 841213 33554432000 4194304 4196468 140724557845088 140325658028816 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27138] ppid=27079 vsize=11014496 memory=1172 CPUtime=2.09 cores=1,3,5,7
/proc/27082/task/27138/stat : 27138 (java) S 27079 27082 13514 0 -1 1077944384 1997 13288 0 0 170 32 4 3 20 0 15 0 107241648 11278843904 841213 33554432000 4194304 4196468 140724557845088 140325656976528 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27139] ppid=27079 vsize=11014496 memory=1968 CPUtime=2.09 cores=1,3,5,7
/proc/27082/task/27139/stat : 27139 (java) S 27079 27082 13514 0 -1 1077944384 3207 13288 0 0 166 36 4 3 20 0 15 0 107241648 11278843904 841213 33554432000 4194304 4196468 140724557845088 140325655923728 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27140] ppid=27079 vsize=11014496 memory=3348616 CPUtime=0.17 cores=1,3,5,7
/proc/27082/task/27140/stat : 27140 (java) S 27079 27082 13514 0 -1 1077944384 5201 13288 0 0 9 1 4 3 20 0 15 0 107241649 11278843904 841213 33554432000 4194304 4196468 140724557845088 140325544532080 140326118853250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27141] ppid=27079 vsize=11014496 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27141/stat : 27141 (java) S 27079 27082 13514 0 -1 1077944384 26 13288 0 0 0 0 4 3 20 0 15 0 107241650 11278843904 841213 33554432000 4194304 4196468 140724557845088 140324916683616 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27142] ppid=27079 vsize=11014496 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27142/stat : 27142 (java) S 27079 27082 13514 0 -1 1077944384 14 13288 0 0 0 0 4 3 20 0 15 0 107241650 11278843904 841213 33554432000 4194304 4196468 140724557845088 140324768834688 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27143] ppid=27079 vsize=11014496 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27143/stat : 27143 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241652 11278843904 841213 33554432000 4194304 4196468 140724557845088 140324461434960 140326118860699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27144] ppid=27079 vsize=11014496 memory=139963723605681 CPUtime=6.47 cores=1,3,5,7
/proc/27082/task/27144/stat : 27144 (java) S 27079 27082 13514 0 -1 1077944384 16167 13288 0 0 637 3 4 3 20 0 15 0 107241653 11278843904 841213 33554432000 4194304 4196468 140724557845088 140325543479920 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27145] ppid=27079 vsize=11014496 memory=6791534058613427641 CPUtime=6.79 cores=1,3,5,7
/proc/27082/task/27145/stat : 27145 (java) S 27079 27082 13514 0 -1 1077944384 16616 13288 0 0 668 4 4 3 20 0 15 0 107241653 11278843904 841213 33554432000 4194304 4196468 140724557845088 140325542427120 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27146] ppid=27079 vsize=11014496 memory=17028 CPUtime=2.69 cores=1,3,5,7
/proc/27082/task/27146/stat : 27146 (java) S 27079 27082 13514 0 -1 1077944384 16303 13288 0 0 256 6 4 3 20 0 15 0 107241653 11278843904 841213 33554432000 4194304 4196468 140724557845088 140325541374832 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27147] ppid=27079 vsize=11014496 memory=2324 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27147/stat : 27147 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241653 11278843904 841213 33554432000 4194304 4196468 140724557845088 140324030639072 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27148] ppid=27079 vsize=11014496 memory=1584 CPUtime=0.09 cores=1,3,5,7
/proc/27082/task/27148/stat : 27148 (java) S 27079 27082 13514 0 -1 1077944384 1967 13288 0 0 1 1 4 3 20 0 15 0 107241653 11278843904 841213 33554432000 4194304 4196468 140724557845088 140325540321712 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
Current children cumulated CPU time: 63.78 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3364852 KiB

[startup+42.8008 s]
/proc/loadavg: 2.61 2.16 1.93 5/215 27286
/proc/meminfo: memFree=21569760/32770624 swapFree=67108860/67108860
[pid=27082] ppid=27079 vsize=11082080 memory=3389100 CPUtime=66.06 cores=1,3,5,7
/proc/27082/stat : 27082 (java) S 27079 27082 13514 0 -1 1077944320 128479 13288 0 0 6400 199 4 3 20 0 15 0 107241638 11348049920 847275 33554432000 4194304 4196468 140724557845088 140724557827632 140326118842103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
/proc/27082/statm: 2770520 847275 3533 1 0 2732173 0
[pid=27082/tid=27135] ppid=27079 vsize=11082080 memory=3192420 CPUtime=40.44 cores=1,3,5,7
/proc/27082/task/27135/stat : 27135 (java) R 27079 27082 13514 0 -1 4202560 57390 13288 0 0 3997 40 4 3 20 0 15 0 107241647 11348049920 847275 33554432000 4194304 4196468 140724557845088 140326090676432 140325683623157 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27136] ppid=27079 vsize=11082080 memory=3350116 CPUtime=2.19 cores=1,3,5,7
/proc/27082/task/27136/stat : 27136 (java) S 27079 27082 13514 0 -1 1077944384 2816 13288 0 0 177 35 4 3 20 0 15 0 107241648 11348049920 847275 33554432000 4194304 4196468 140724557845088 140326123084688 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27137] ppid=27079 vsize=11082080 memory=6791534058613427641 CPUtime=2.2 cores=1,3,5,7
/proc/27082/task/27137/stat : 27137 (java) S 27079 27082 13514 0 -1 1077944384 3645 13288 0 0 177 36 4 3 20 0 15 0 107241648 11348049920 847275 33554432000 4194304 4196468 140724557845088 140325658028816 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27138] ppid=27079 vsize=11082080 memory=928 CPUtime=2.21 cores=1,3,5,7
/proc/27082/task/27138/stat : 27138 (java) S 27079 27082 13514 0 -1 1077944384 2096 13288 0 0 182 32 4 3 20 0 15 0 107241648 11348049920 847275 33554432000 4194304 4196468 140724557845088 140325656976528 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27139] ppid=27079 vsize=11082080 memory=1172 CPUtime=2.21 cores=1,3,5,7
/proc/27082/task/27139/stat : 27139 (java) S 27079 27082 13514 0 -1 1077944384 3448 13288 0 0 178 36 4 3 20 0 15 0 107241648 11348049920 847275 33554432000 4194304 4196468 140724557845088 140325655923728 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27140] ppid=27079 vsize=11082080 memory=1968 CPUtime=0.18 cores=1,3,5,7
/proc/27082/task/27140/stat : 27140 (java) S 27079 27082 13514 0 -1 1077944384 5205 13288 0 0 10 1 4 3 20 0 15 0 107241649 11348049920 847275 33554432000 4194304 4196468 140724557845088 140325544532080 140326118853250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27141] ppid=27079 vsize=11082080 memory=3351068 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27141/stat : 27141 (java) S 27079 27082 13514 0 -1 1077944384 26 13288 0 0 0 0 4 3 20 0 15 0 107241650 11348049920 847275 33554432000 4194304 4196468 140724557845088 140324916683616 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27142] ppid=27079 vsize=11082080 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27142/stat : 27142 (java) S 27079 27082 13514 0 -1 1077944384 14 13288 0 0 0 0 4 3 20 0 15 0 107241650 11348049920 847275 33554432000 4194304 4196468 140724557845088 140324768834688 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27143] ppid=27079 vsize=11082080 memory=916 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27143/stat : 27143 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241652 11348049920 847275 33554432000 4194304 4196468 140724557845088 140324461434960 140326118860699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27144] ppid=27079 vsize=11082080 memory=3852 CPUtime=6.94 cores=1,3,5,7
/proc/27082/task/27144/stat : 27144 (java) S 27079 27082 13514 0 -1 1077944384 16328 13288 0 0 684 3 4 3 20 0 15 0 107241653 11348049920 847275 33554432000 4194304 4196468 140724557845088 140325543479920 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27145] ppid=27079 vsize=11082080 memory=4108 CPUtime=7.25 cores=1,3,5,7
/proc/27082/task/27145/stat : 27145 (java) S 27079 27082 13514 0 -1 1077944384 16748 13288 0 0 714 4 4 3 20 0 15 0 107241653 11348049920 847275 33554432000 4194304 4196468 140724557845088 140325542427120 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27146] ppid=27079 vsize=11082080 memory=6791534058613427641 CPUtime=2.86 cores=1,3,5,7
/proc/27082/task/27146/stat : 27146 (java) S 27079 27082 13514 0 -1 1077944384 16598 13288 0 0 273 6 4 3 20 0 15 0 107241653 11348049920 847275 33554432000 4194304 4196468 140724557845088 140325541374832 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27147] ppid=27079 vsize=11082080 memory=3348172 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27147/stat : 27147 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241653 11348049920 847275 33554432000 4194304 4196468 140724557845088 140324030639072 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27148] ppid=27079 vsize=11082080 memory=1408 CPUtime=0.09 cores=1,3,5,7
/proc/27082/task/27148/stat : 27148 (java) S 27079 27082 13514 0 -1 1077944384 1967 13288 0 0 1 1 4 3 20 0 15 0 107241653 11348049920 847275 33554432000 4194304 4196468 140724557845088 140325540321712 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
Current children cumulated CPU time: 66.06 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3389100 KiB

[startup+43.6008 s]
/proc/loadavg: 2.56 2.16 1.93 5/215 27286
/proc/meminfo: memFree=21514776/32770624 swapFree=67108860/67108860
[pid=27082] ppid=27079 vsize=11082080 memory=3390404 CPUtime=68.44 cores=1,3,5,7
/proc/27082/stat : 27082 (java) S 27079 27082 13514 0 -1 1077944320 129053 13288 0 0 6638 199 4 3 20 0 15 0 107241638 11348049920 847601 33554432000 4194304 4196468 140724557845088 140724557827632 140326118842103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
/proc/27082/statm: 2770520 847601 3536 1 0 2732173 0
[pid=27082/tid=27135] ppid=27079 vsize=11082080 memory=3348664 CPUtime=41.24 cores=1,3,5,7
/proc/27082/task/27135/stat : 27135 (java) R 27079 27082 13514 0 -1 4202560 57508 13288 0 0 4077 40 4 3 20 0 15 0 107241647 11348049920 847601 33554432000 4194304 4196468 140724557845088 140326090670384 140325684269386 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27136] ppid=27079 vsize=11082080 memory=6791534058613427641 CPUtime=2.19 cores=1,3,5,7
/proc/27082/task/27136/stat : 27136 (java) S 27079 27082 13514 0 -1 1077944384 2816 13288 0 0 177 35 4 3 20 0 15 0 107241648 11348049920 847601 33554432000 4194304 4196468 140724557845088 140326123084688 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27137] ppid=27079 vsize=11082080 memory=4126316290023845779 CPUtime=2.2 cores=1,3,5,7
/proc/27082/task/27137/stat : 27137 (java) S 27079 27082 13514 0 -1 1077944384 3645 13288 0 0 177 36 4 3 20 0 15 0 107241648 11348049920 847601 33554432000 4194304 4196468 140724557845088 140325658028816 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27138] ppid=27079 vsize=11082080 memory=1584 CPUtime=2.21 cores=1,3,5,7
/proc/27082/task/27138/stat : 27138 (java) S 27079 27082 13514 0 -1 1077944384 2096 13288 0 0 182 32 4 3 20 0 15 0 107241648 11348049920 847601 33554432000 4194304 4196468 140724557845088 140325656976528 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27139] ppid=27079 vsize=11082080 memory=496 CPUtime=2.21 cores=1,3,5,7
/proc/27082/task/27139/stat : 27139 (java) S 27079 27082 13514 0 -1 1077944384 3448 13288 0 0 178 36 4 3 20 0 15 0 107241648 11348049920 847601 33554432000 4194304 4196468 140724557845088 140325655923728 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27140] ppid=27079 vsize=11082080 memory=928 CPUtime=0.18 cores=1,3,5,7
/proc/27082/task/27140/stat : 27140 (java) S 27079 27082 13514 0 -1 1077944384 5205 13288 0 0 10 1 4 3 20 0 15 0 107241649 11348049920 847601 33554432000 4194304 4196468 140724557845088 140325544532080 140326118853250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27141] ppid=27079 vsize=11082080 memory=1172 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27141/stat : 27141 (java) S 27079 27082 13514 0 -1 1077944384 26 13288 0 0 0 0 4 3 20 0 15 0 107241650 11348049920 847601 33554432000 4194304 4196468 140724557845088 140324916683616 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27142] ppid=27079 vsize=11082080 memory=1968 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27142/stat : 27142 (java) S 27079 27082 13514 0 -1 1077944384 14 13288 0 0 0 0 4 3 20 0 15 0 107241650 11348049920 847601 33554432000 4194304 4196468 140724557845088 140324768834688 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27143] ppid=27079 vsize=11082080 memory=1572 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27143/stat : 27143 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241652 11348049920 847601 33554432000 4194304 4196468 140724557845088 140324461434960 140326118860699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27144] ppid=27079 vsize=11082080 memory=924 CPUtime=7.71 cores=1,3,5,7
/proc/27082/task/27144/stat : 27144 (java) R 27079 27082 13514 0 -1 4202560 16438 13288 0 0 760 4 4 3 20 0 15 0 107241653 11348049920 847601 33554432000 4194304 4196468 140724557845088 140325543468656 140326097233370 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27145] ppid=27079 vsize=11082080 memory=1992 CPUtime=7.99 cores=1,3,5,7
/proc/27082/task/27145/stat : 27145 (java) R 27079 27082 13514 0 -1 4202560 17004 13288 0 0 788 4 4 3 20 0 15 0 107241653 11348049920 847601 33554432000 4194304 4196468 140724557845088 140325542427008 140326098306242 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27146] ppid=27079 vsize=11082080 memory=2236 CPUtime=2.94 cores=1,3,5,7
/proc/27082/task/27146/stat : 27146 (java) S 27079 27082 13514 0 -1 1077944384 16688 13288 0 0 280 7 4 3 20 0 15 0 107241653 11348049920 847601 33554432000 4194304 4196468 140724557845088 140325541374832 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27147] ppid=27079 vsize=11082080 memory=1992 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27147/stat : 27147 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241653 11348049920 847601 33554432000 4194304 4196468 140724557845088 140324030639072 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27148] ppid=27079 vsize=11082080 memory=7528 CPUtime=0.09 cores=1,3,5,7
/proc/27082/task/27148/stat : 27148 (java) S 27079 27082 13514 0 -1 1077944384 1967 13288 0 0 1 1 4 3 20 0 15 0 107241653 11348049920 847601 33554432000 4194304 4196468 140724557845088 140325540321712 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
Current children cumulated CPU time: 68.44 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3390404 KiB

[startup+44.0008 s]
/proc/loadavg: 2.56 2.16 1.93 5/215 27286
/proc/meminfo: memFree=21514776/32770624 swapFree=67108860/67108860
[pid=27082] ppid=27079 vsize=11082080 memory=3390940 CPUtime=69.65 cores=1,3,5,7
/proc/27082/stat : 27082 (java) S 27079 27082 13514 0 -1 1077944320 129739 13288 0 0 6759 199 4 3 20 0 15 0 107241638 11348049920 847735 33554432000 4194304 4196468 140724557845088 140724557827632 140326118842103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
/proc/27082/statm: 2770520 847735 3536 1 0 2732173 0
[pid=27082/tid=27135] ppid=27079 vsize=11082080 memory=319474339923886390 CPUtime=41.64 cores=1,3,5,7
/proc/27082/task/27135/stat : 27135 (java) R 27079 27082 13514 0 -1 4202560 58143 13288 0 0 4117 40 4 3 20 0 15 0 107241647 11348049920 847735 33554432000 4194304 4196468 140724557845088 140326090676288 140325682372172 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27136] ppid=27079 vsize=11082080 memory=13847486485760432 CPUtime=2.19 cores=1,3,5,7
/proc/27082/task/27136/stat : 27136 (java) S 27079 27082 13514 0 -1 1077944384 2816 13288 0 0 177 35 4 3 20 0 15 0 107241648 11348049920 847735 33554432000 4194304 4196468 140724557845088 140326123084688 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27137] ppid=27079 vsize=11082080 memory=3846746305933357088 CPUtime=2.2 cores=1,3,5,7
/proc/27082/task/27137/stat : 27137 (java) S 27079 27082 13514 0 -1 1077944384 3645 13288 0 0 177 36 4 3 20 0 15 0 107241648 11348049920 847735 33554432000 4194304 4196468 140724557845088 140325658028816 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27138] ppid=27079 vsize=11082080 memory=6943526294502006880 CPUtime=2.21 cores=1,3,5,7
/proc/27082/task/27138/stat : 27138 (java) S 27079 27082 13514 0 -1 1077944384 2096 13288 0 0 182 32 4 3 20 0 15 0 107241648 11348049920 847735 33554432000 4194304 4196468 140724557845088 140325656976528 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27139] ppid=27079 vsize=11082080 memory=6655300316396806240 CPUtime=2.21 cores=1,3,5,7
/proc/27082/task/27139/stat : 27139 (java) S 27079 27082 13514 0 -1 1077944384 3448 13288 0 0 178 36 4 3 20 0 15 0 107241648 11348049920 847735 33554432000 4194304 4196468 140724557845088 140325655923728 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27140] ppid=27079 vsize=11082080 memory=6944656592455360604 CPUtime=0.18 cores=1,3,5,7
/proc/27082/task/27140/stat : 27140 (java) S 27079 27082 13514 0 -1 1077944384 5205 13288 0 0 10 1 4 3 20 0 15 0 107241649 11348049920 847735 33554432000 4194304 4196468 140724557845088 140325544532080 140326118853250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27141] ppid=27079 vsize=11082080 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27141/stat : 27141 (java) S 27079 27082 13514 0 -1 1077944384 26 13288 0 0 0 0 4 3 20 0 15 0 107241650 11348049920 847735 33554432000 4194304 4196468 140724557845088 140324916683616 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27142] ppid=27079 vsize=11082080 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27142/stat : 27142 (java) S 27079 27082 13514 0 -1 1077944384 14 13288 0 0 0 0 4 3 20 0 15 0 107241650 11348049920 847735 33554432000 4194304 4196468 140724557845088 140324768834688 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27143] ppid=27079 vsize=11082080 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27143/stat : 27143 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241652 11348049920 847735 33554432000 4194304 4196468 140724557845088 140324461434960 140326118860699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27144] ppid=27079 vsize=11082080 memory=0 CPUtime=8.08 cores=1,3,5,7
/proc/27082/task/27144/stat : 27144 (java) R 27079 27082 13514 0 -1 4202560 16451 13288 0 0 797 4 4 3 20 0 15 0 107241653 11348049920 847735 33554432000 4194304 4196468 140724557845088 140325543478320 140326097258405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27145] ppid=27079 vsize=11082080 memory=3472468259951456624 CPUtime=8.38 cores=1,3,5,7
/proc/27082/task/27145/stat : 27145 (java) R 27079 27082 13514 0 -1 4202560 17017 13288 0 0 827 4 4 3 20 0 15 0 107241653 11348049920 847735 33554432000 4194304 4196468 140724557845088 140325542426304 140326099477936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27146] ppid=27079 vsize=11082080 memory=6944656592455359580 CPUtime=3.01 cores=1,3,5,7
/proc/27082/task/27146/stat : 27146 (java) S 27079 27082 13514 0 -1 1077944384 16713 13288 0 0 287 7 4 3 20 0 15 0 107241653 11348049920 847735 33554432000 4194304 4196468 140724557845088 140325541374832 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27147] ppid=27079 vsize=11082080 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/27082/task/27147/stat : 27147 (java) S 27079 27082 13514 0 -1 1077944384 3 13288 0 0 0 0 4 3 20 0 15 0 107241653 11348049920 847735 33554432000 4194304 4196468 140724557845088 140324030639072 140326118852309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
[pid=27082/tid=27148] ppid=27079 vsize=11082080 memory=56 CPUtime=0.09 cores=1,3,5,7
/proc/27082/task/27148/stat : 27148 (java) S 27079 27082 13514 0 -1 1077944384 1967 13288 0 0 1 1 4 3 20 0 15 0 107241653 11348049920 847735 33554432000 4194304 4196468 140724557845088 140325540321712 140326118853250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12042240 140724557851241 140724557854049 140724557854049 140724557856719 0
Current children cumulated CPU time: 69.65 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3390940 KiB

Child status: 0
Real time (s): 44.0613
CPU time (s): 69.7891
CPU user time (s): 67.7276
CPU system time (s): 2.06159
CPU usage (%): 158.391
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 3390940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.7276
system time used= 2.06159
maximum resident set size= 3393128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143174
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= 11980
involuntary context switches= 233


# summary of solver processes directly reported to runsolver:
#   pid: 27082
#   total CPU time (s): 69.7891
#   total CPU user time (s): 67.7276
#   total CPU system time (s): 2.06159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.301514 second user time and 0.451347 second system time

The end

Launcher Data

Begin job on node136 at 2018-07-29 22:39:45
IDJOB=4302947
IDBENCH=141273
IDSOLVER=2777
FILE ID=node136/4302947-1532896784
RUNJOBID= node136-1532893975-22777
PBS_JOBID= 21022516
Free space on /tmp= 60032 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302947-1532896784/watcher-4302947-1532896784 -o /tmp/evaluation-result-4302947-1532896784/solver-4302947-1532896784 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=679903348 -superng HOME/instance-4302947-1532896784.xml

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=679903348

node136.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.50
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.50
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.50
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.50
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:        24161280 kB
MemAvailable:   27745888 kB
Buffers:          219084 kB
Cached:          3635676 kB
SwapCached:            0 kB
Active:          6167560 kB
Inactive:        1958180 kB
Active(anon):    4222132 kB
Inactive(anon):    76480 kB
Active(file):    1945428 kB
Inactive(file):  1881700 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            108664 kB
Writeback:             8 kB
AnonPages:       4277696 kB
Mapped:            48152 kB
Shmem:             25228 kB
Slab:             174492 kB
SReclaimable:     146632 kB
SUnreclaim:        27860 kB
KernelStack:        3600 kB
PageTables:        13148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5640700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3708928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 59972 MiB
End job on node136 at 2018-07-29 22:40:29