Trace number 4387523

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.10OPT162507055 82.8551 44.4371

General information on the benchmark

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

Solver Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387523-1568308804/watcher-4387523-1568308804 -o /tmp/evaluation-result-4387523-1568308804/solver-4387523-1568308804 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568282271-6097 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1597390415 HOME/instance-4387523-1568308804.xml 

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

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


[startup+0.100171 s]*
/proc/loadavg: 1.36 1.40 1.41 3/217 13030
/proc/meminfo: memFree=29412760/32770624 swapFree=66934492/67108860
[pid=12973] ppid=12970 vsize=9972712 memory=18328 CPUtime=0.08 cores=0,2,4,6
/proc/12973/stat : 12973 (java) S 12970 12973 5271 0 -1 1077944320 4342 13278 0 0 1 0 4 3 20 0 6 0 407138939 10212057088 4582 33554432000 4194304 4196468 140735390146608 140735390129152 139936739139319 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
/proc/12973/statm: 2493178 4582 1931 1 0 2481616 0
[pid=12973/tid=13026] ppid=12970 vsize=9972712 memory=-8617482348318186131 CPUtime=0.08 cores=0,2,4,6
/proc/12973/task/13026/stat : 13026 (java) R 12970 12973 5271 0 -1 4202560 2137 13278 0 0 1 0 4 3 20 0 6 0 407138948 10212057088 4582 33554432000 4194304 4196468 140735390146608 139936710976080 139936739161245 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13027] ppid=12970 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13027/stat : 13027 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 6 0 407138949 10212057088 4582 33554432000 4194304 4196468 140735390146608 139936743381520 139936739149525 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13028] ppid=12970 vsize=9972712 memory=140665537652352 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13028/stat : 13028 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 6 0 407138949 10212057088 4582 33554432000 4194304 4196468 140735390146608 139936631655056 139936739149525 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13029] ppid=12970 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13029/stat : 13029 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 6 0 407138949 10212057088 4582 33554432000 4194304 4196468 140735390146608 139936630602000 139936739149525 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13030] ppid=12970 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13030/stat : 13030 (java) S 12970 12973 5271 0 -1 1077944384 2 13278 0 0 0 0 4 3 20 0 6 0 407138949 10212057088 4582 33554432000 4194304 4196468 140735390146608 139936629549456 139936739149525 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB

[startup+0.210208 s]*
/proc/loadavg: 1.36 1.40 1.41 3/226 13039
/proc/meminfo: memFree=29389540/32770624 swapFree=66934492/67108860
[pid=12973] ppid=12970 vsize=10818940 memory=41828 CPUtime=0.26 cores=0,2,4,6
/proc/12973/stat : 12973 (java) S 12970 12973 5271 0 -1 1077944320 6759 13278 0 0 17 2 4 3 20 0 15 0 407138939 11078594560 10457 33554432000 4194304 4196468 140735390146608 140735390129152 139936739139319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
/proc/12973/statm: 2704735 10457 2980 1 0 2667149 0
[pid=12973/tid=13026] ppid=12970 vsize=10818940 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/12973/task/13026/stat : 13026 (java) R 12970 12973 5271 0 -1 4202560 3247 13278 0 0 10 1 4 3 20 0 15 0 407138948 11078594560 10457 33554432000 4194304 4196468 140735390146608 139936710927104 139936739161245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13027] ppid=12970 vsize=10818940 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13027/stat : 13027 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 15 0 407138949 11078594560 10457 33554432000 4194304 4196468 140735390146608 139936743381520 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13028] ppid=12970 vsize=10818940 memory=288371041689364096 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13028/stat : 13028 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 15 0 407138949 11078594560 10457 33554432000 4194304 4196468 140735390146608 139936631655056 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13029] ppid=12970 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13029/stat : 13029 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 15 0 407138949 11078594560 10457 33554432000 4194304 4196468 140735390146608 139936630602000 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13030] ppid=12970 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13030/stat : 13030 (java) S 12970 12973 5271 0 -1 1077944384 2 13278 0 0 0 0 4 3 20 0 15 0 407138949 11078594560 10457 33554432000 4194304 4196468 140735390146608 139936629549456 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13031] ppid=12970 vsize=10818940 memory=140665537652352 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13031/stat : 13031 (java) S 12970 12973 5271 0 -1 1077944384 2 13278 0 0 0 0 4 3 20 0 15 0 407138950 11078594560 10457 33554432000 4194304 4196468 140735390146608 139936198634224 139936739150466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13032] ppid=12970 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13032/stat : 13032 (java) S 12970 12973 5271 0 -1 1077944384 33 13278 0 0 0 0 4 3 20 0 15 0 407138951 11078594560 10457 33554432000 4194304 4196468 140735390146608 139936197580448 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13033] ppid=12970 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13033/stat : 13033 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 15 0 407138951 11078594560 10457 33554432000 4194304 4196468 140735390146608 139936074294512 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13034] ppid=12970 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13034/stat : 13034 (java) S 12970 12973 5271 0 -1 1077944384 2 13278 0 0 0 0 4 3 20 0 15 0 407138954 11078594560 10457 33554432000 4194304 4196468 140735390146608 139935470315984 139936739157915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13035] ppid=12970 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12973/task/13035/stat : 13035 (java) S 12970 12973 5271 0 -1 1077944384 481 13278 0 0 1 0 4 3 20 0 15 0 407138954 11078594560 10457 33554432000 4194304 4196468 140735390146608 139936164022512 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13036] ppid=12970 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12973/task/13036/stat : 13036 (java) S 12970 12973 5271 0 -1 1077944384 162 13278 0 0 1 0 4 3 20 0 15 0 407138954 11078594560 10457 33554432000 4194304 4196468 140735390146608 139936162969968 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13037] ppid=12970 vsize=10818940 memory=140665537652352 CPUtime=0.1 cores=0,2,4,6
/proc/12973/task/13037/stat : 13037 (java) S 12970 12973 5271 0 -1 1077944384 617 13278 0 0 3 0 4 3 20 0 15 0 407138954 11078594560 10457 33554432000 4194304 4196468 140735390146608 139936161916912 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13038] ppid=12970 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13038/stat : 13038 (java) S 12970 12973 5271 0 -1 1077944384 3 13278 0 0 0 0 4 3 20 0 15 0 407138954 11078594560 10457 33554432000 4194304 4196468 140735390146608 139935000553824 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13039] ppid=12970 vsize=10818940 memory=140665537652352 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13039/stat : 13039 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 15 0 407138954 11078594560 10457 33554432000 4194304 4196468 140735390146608 139936160865328 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 41828 KiB

[startup+0.31048 s]*
/proc/loadavg: 1.36 1.40 1.41 3/226 13039
/proc/meminfo: memFree=29379372/32770624 swapFree=66934492/67108860
[pid=12973] ppid=12970 vsize=10820096 memory=52980 CPUtime=0.39 cores=0,2,4,6
/proc/12973/stat : 12973 (java) S 12970 12973 5271 0 -1 1077944320 10464 13278 0 0 29 3 4 3 20 0 15 0 407138939 11079778304 13245 33554432000 4194304 4196468 140735390146608 140735390129152 139936739139319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
/proc/12973/statm: 2705024 13245 3234 1 0 2667149 0
[pid=12973/tid=13026] ppid=12970 vsize=10820096 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/12973/task/13026/stat : 13026 (java) R 12970 12973 5271 0 -1 4202560 6940 13278 0 0 19 3 4 3 20 0 15 0 407138948 11079778304 13245 33554432000 4194304 4196468 140735390146608 139936710945792 139936739161245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13027] ppid=12970 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13027/stat : 13027 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 15 0 407138949 11079778304 13245 33554432000 4194304 4196468 140735390146608 139936743381520 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13028] ppid=12970 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13028/stat : 13028 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 15 0 407138949 11079778304 13245 33554432000 4194304 4196468 140735390146608 139936631655056 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13029] ppid=12970 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13029/stat : 13029 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 15 0 407138949 11079778304 13245 33554432000 4194304 4196468 140735390146608 139936630602000 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13030] ppid=12970 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13030/stat : 13030 (java) S 12970 12973 5271 0 -1 1077944384 2 13278 0 0 0 0 4 3 20 0 15 0 407138949 11079778304 13245 33554432000 4194304 4196468 140735390146608 139936629549456 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13031] ppid=12970 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13031/stat : 13031 (java) S 12970 12973 5271 0 -1 1077944384 2 13278 0 0 0 0 4 3 20 0 15 0 407138950 11079778304 13245 33554432000 4194304 4196468 140735390146608 139936198634224 139936739150466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13032] ppid=12970 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13032/stat : 13032 (java) S 12970 12973 5271 0 -1 1077944384 33 13278 0 0 0 0 4 3 20 0 15 0 407138951 11079778304 13245 33554432000 4194304 4196468 140735390146608 139936197580448 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13033] ppid=12970 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13033/stat : 13033 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 15 0 407138951 11079778304 13245 33554432000 4194304 4196468 140735390146608 139936074294512 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13034] ppid=12970 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13034/stat : 13034 (java) S 12970 12973 5271 0 -1 1077944384 2 13278 0 0 0 0 4 3 20 0 15 0 407138954 11079778304 13245 33554432000 4194304 4196468 140735390146608 139935470315984 139936739157915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13035] ppid=12970 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12973/task/13035/stat : 13035 (java) S 12970 12973 5271 0 -1 1077944384 481 13278 0 0 1 0 4 3 20 0 15 0 407138954 11079778304 13245 33554432000 4194304 4196468 140735390146608 139936164022512 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13036] ppid=12970 vsize=10820096 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/12973/task/13036/stat : 13036 (java) S 12970 12973 5271 0 -1 1077944384 164 13278 0 0 2 0 4 3 20 0 15 0 407138954 11079778304 13245 33554432000 4194304 4196468 140735390146608 139936162969968 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13037] ppid=12970 vsize=10820096 memory=140665537652352 CPUtime=0.12 cores=0,2,4,6
/proc/12973/task/13037/stat : 13037 (java) S 12970 12973 5271 0 -1 1077944384 626 13278 0 0 5 0 4 3 20 0 15 0 407138954 11079778304 13245 33554432000 4194304 4196468 140735390146608 139936161916912 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13038] ppid=12970 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13038/stat : 13038 (java) S 12970 12973 5271 0 -1 1077944384 3 13278 0 0 0 0 4 3 20 0 15 0 407138954 11079778304 13245 33554432000 4194304 4196468 140735390146608 139935000553824 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13039] ppid=12970 vsize=10820096 memory=140665537652352 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13039/stat : 13039 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 15 0 407138954 11079778304 13245 33554432000 4194304 4196468 140735390146608 139936160865328 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 52980 KiB

[startup+0.700725 s]
/proc/loadavg: 1.36 1.40 1.41 5/226 13039
/proc/meminfo: memFree=29366096/32770624 swapFree=66934492/67108860
[pid=12973] ppid=12970 vsize=10824340 memory=82580 CPUtime=1.14 cores=0,2,4,6
/proc/12973/stat : 12973 (java) S 12970 12973 5271 0 -1 1077944320 14376 13278 0 0 102 5 4 3 20 0 15 0 407138939 11084124160 20645 33554432000 4194304 4196468 140735390146608 140735390129152 139936739139319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
/proc/12973/statm: 2706085 20645 3508 1 0 2668173 0
[pid=12973/tid=13026] ppid=12970 vsize=10824340 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/12973/task/13026/stat : 13026 (java) R 12970 12973 5271 0 -1 1077944384 10059 13278 0 0 56 4 4 3 20 0 15 0 407138948 11084124160 20645 33554432000 4194304 4196468 140735390146608 139936710966512 139936739163197 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13027] ppid=12970 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13027/stat : 13027 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 15 0 407138949 11084124160 20645 33554432000 4194304 4196468 140735390146608 139936743381520 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13028] ppid=12970 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13028/stat : 13028 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 15 0 407138949 11084124160 20645 33554432000 4194304 4196468 140735390146608 139936631655056 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13029] ppid=12970 vsize=10824340 memory=140665413578960 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13029/stat : 13029 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 15 0 407138949 11084124160 20645 33554432000 4194304 4196468 140735390146608 139936630602000 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13030] ppid=12970 vsize=10824340 memory=140668768879209 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13030/stat : 13030 (java) S 12970 12973 5271 0 -1 1077944384 2 13278 0 0 0 0 4 3 20 0 15 0 407138949 11084124160 20645 33554432000 4194304 4196468 140735390146608 139936629549456 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13031] ppid=12970 vsize=10824340 memory=1060 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13031/stat : 13031 (java) S 12970 12973 5271 0 -1 1077944384 5 13278 0 0 0 0 4 3 20 0 15 0 407138950 11084124160 20645 33554432000 4194304 4196468 140735390146608 139936198634224 139936739150466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13032] ppid=12970 vsize=10824340 memory=7014751519667017297 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13032/stat : 13032 (java) S 12970 12973 5271 0 -1 1077944384 33 13278 0 0 0 0 4 3 20 0 15 0 407138951 11084124160 20645 33554432000 4194304 4196468 140735390146608 139936197580448 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13033] ppid=12970 vsize=10824340 memory=7450755146279572583 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13033/stat : 13033 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 15 0 407138951 11084124160 20645 33554432000 4194304 4196468 140735390146608 139936074294512 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13034] ppid=12970 vsize=10824340 memory=14056 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13034/stat : 13034 (java) S 12970 12973 5271 0 -1 1077944384 2 13278 0 0 0 0 4 3 20 0 15 0 407138954 11084124160 20645 33554432000 4194304 4196468 140735390146608 139935470315984 139936739157915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13035] ppid=12970 vsize=10824340 memory=2116 CPUtime=0.19 cores=0,2,4,6
/proc/12973/task/13035/stat : 13035 (java) S 12970 12973 5271 0 -1 1077944384 738 13278 0 0 12 0 4 3 20 0 15 0 407138954 11084124160 20645 33554432000 4194304 4196468 140735390146608 139936164022512 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13036] ppid=12970 vsize=10824340 memory=516 CPUtime=0.22 cores=0,2,4,6
/proc/12973/task/13036/stat : 13036 (java) S 12970 12973 5271 0 -1 1077944384 537 13278 0 0 15 0 4 3 20 0 15 0 407138954 11084124160 20645 33554432000 4194304 4196468 140735390146608 139936162969968 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13037] ppid=12970 vsize=10824340 memory=1556 CPUtime=0.24 cores=0,2,4,6
/proc/12973/task/13037/stat : 13037 (java) S 12970 12973 5271 0 -1 1077944384 786 13278 0 0 17 0 4 3 20 0 15 0 407138954 11084124160 20645 33554432000 4194304 4196468 140735390146608 139936161916912 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13038] ppid=12970 vsize=10824340 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13038/stat : 13038 (java) S 12970 12973 5271 0 -1 1077944384 3 13278 0 0 0 0 4 3 20 0 15 0 407138954 11084124160 20645 33554432000 4194304 4196468 140735390146608 139935000553824 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13039] ppid=12970 vsize=10824340 memory=1668 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13039/stat : 13039 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 15 0 407138954 11084124160 20645 33554432000 4194304 4196468 140735390146608 139936160865328 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 82580 KiB

[startup+1.50072 s]
/proc/loadavg: 1.36 1.40 1.41 6/226 13039
/proc/meminfo: memFree=29152744/32770624 swapFree=66934492/67108860
[pid=12973] ppid=12970 vsize=10826464 memory=308360 CPUtime=3.55 cores=0,2,4,6
/proc/12973/stat : 12973 (java) S 12970 12973 5271 0 -1 1077944320 20630 13278 0 0 327 21 4 3 20 0 15 0 407138939 11086299136 77090 33554432000 4194304 4196468 140735390146608 140735390129152 139936739139319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
/proc/12973/statm: 2706616 77090 3562 1 0 2668685 0
[pid=12973/tid=13026] ppid=12970 vsize=10826464 memory=303628 CPUtime=1.39 cores=0,2,4,6
/proc/12973/task/13026/stat : 13026 (java) R 12970 12973 5271 0 -1 4202560 11048 13278 0 0 124 8 4 3 20 0 15 0 407138948 11086299136 77090 33554432000 4194304 4196468 140735390146608 139936710971568 139936292501990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13027] ppid=12970 vsize=10826464 memory=2436 CPUtime=0.12 cores=0,2,4,6
/proc/12973/task/13027/stat : 13027 (java) S 12970 12973 5271 0 -1 1077944384 62 13278 0 0 3 2 4 3 20 0 15 0 407138949 11086299136 77090 33554432000 4194304 4196468 140735390146608 139936743381520 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13028] ppid=12970 vsize=10826464 memory=1760 CPUtime=0.12 cores=0,2,4,6
/proc/12973/task/13028/stat : 13028 (java) S 12970 12973 5271 0 -1 1077944384 44 13278 0 0 3 2 4 3 20 0 15 0 407138949 11086299136 77090 33554432000 4194304 4196468 140735390146608 139936631655056 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13029] ppid=12970 vsize=10826464 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/12973/task/13029/stat : 13029 (java) S 12970 12973 5271 0 -1 1077944384 56 13278 0 0 3 2 4 3 20 0 15 0 407138949 11086299136 77090 33554432000 4194304 4196468 140735390146608 139936630602000 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13030] ppid=12970 vsize=10826464 memory=-7303279828959712342 CPUtime=0.11 cores=0,2,4,6
/proc/12973/task/13030/stat : 13030 (java) S 12970 12973 5271 0 -1 1077944384 56 13278 0 0 2 2 4 3 20 0 15 0 407138949 11086299136 77090 33554432000 4194304 4196468 140735390146608 139936629549456 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13031] ppid=12970 vsize=10826464 memory=3833724587141655611 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13031/stat : 13031 (java) S 12970 12973 5271 0 -1 1077944384 86 13278 0 0 0 0 4 3 20 0 15 0 407138950 11086299136 77090 33554432000 4194304 4196468 140735390146608 139936198634224 139936739150466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13032] ppid=12970 vsize=10826464 memory=-6798310482166503264 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13032/stat : 13032 (java) S 12970 12973 5271 0 -1 1077944384 35 13278 0 0 0 0 4 3 20 0 15 0 407138951 11086299136 77090 33554432000 4194304 4196468 140735390146608 139936197580512 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13033] ppid=12970 vsize=10826464 memory=-6078294146213043397 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13033/stat : 13033 (java) S 12970 12973 5271 0 -1 1077944384 2 13278 0 0 0 0 4 3 20 0 15 0 407138951 11086299136 77090 33554432000 4194304 4196468 140735390146608 139936074294512 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13034] ppid=12970 vsize=10826464 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13034/stat : 13034 (java) S 12970 12973 5271 0 -1 1077944384 2 13278 0 0 0 0 4 3 20 0 15 0 407138954 11086299136 77090 33554432000 4194304 4196468 140735390146608 139935470315984 139936739157915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13035] ppid=12970 vsize=10826464 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/12973/task/13035/stat : 13035 (java) R 12970 12973 5271 0 -1 4202560 2818 13278 0 0 70 0 4 3 20 0 15 0 407138954 11086299136 77090 33554432000 4194304 4196468 140735390146608 139936164009080 139936731428701 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13036] ppid=12970 vsize=10826464 memory=4580 CPUtime=0.85 cores=0,2,4,6
/proc/12973/task/13036/stat : 13036 (java) R 12970 12973 5271 0 -1 4202560 2353 13278 0 0 78 0 4 3 20 0 15 0 407138954 11086299136 77090 33554432000 4194304 4196468 140735390146608 139936162952432 139936722607350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13037] ppid=12970 vsize=10826464 memory=4640767367890299236 CPUtime=0.48 cores=0,2,4,6
/proc/12973/task/13037/stat : 13037 (java) S 12970 12973 5271 0 -1 1077944384 1867 13278 0 0 40 1 4 3 20 0 15 0 407138954 11086299136 77090 33554432000 4194304 4196468 140735390146608 139936161916912 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13038] ppid=12970 vsize=10826464 memory=8243953907081962578 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13038/stat : 13038 (java) S 12970 12973 5271 0 -1 1077944384 3 13278 0 0 0 0 4 3 20 0 15 0 407138954 11086299136 77090 33554432000 4194304 4196468 140735390146608 139935000553824 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13039] ppid=12970 vsize=10826464 memory=5865753188613517416 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13039/stat : 13039 (java) S 12970 12973 5271 0 -1 1077944384 1 13278 0 0 0 0 4 3 20 0 15 0 407138954 11086299136 77090 33554432000 4194304 4196468 140735390146608 139936160865328 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
Current children cumulated CPU time: 3.55 s
Current children cumulated vsize: 10826464 KiB

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

[pid=12973/tid=13037] ppid=12970 vsize=10844916 memory=7661331328026587027 CPUtime=2.03 cores=0,2,4,6
/proc/12973/task/13037/stat : 13037 (java) S 12970 12973 5271 0 -1 1077944384 10402 13278 0 0 193 3 4 3 20 0 15 0 407138954 11105193984 979079 33554432000 4194304 4196468 140735390146608 139936161916912 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13038] ppid=12970 vsize=10844916 memory=3168032 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13038/stat : 13038 (java) S 12970 12973 5271 0 -1 1077944384 3 13278 0 0 0 0 4 3 20 0 15 0 407138954 11105193984 979079 33554432000 4194304 4196468 140735390146608 139935000553824 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13039] ppid=12970 vsize=10844916 memory=920 CPUtime=0.09 cores=0,2,4,6
/proc/12973/task/13039/stat : 13039 (java) S 12970 12973 5271 0 -1 1077944384 662 13278 0 0 1 1 4 3 20 0 15 0 407138954 11105193984 979079 33554432000 4194304 4196468 140735390146608 139936160865328 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
Current children cumulated CPU time: 66.51 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 3916316 KiB

[startup+41.6008 s]
/proc/loadavg: 1.73 1.48 1.43 3/226 13042
/proc/meminfo: memFree=25508484/32770624 swapFree=66934492/67108860
[pid=12973] ppid=12970 vsize=10844916 memory=3917196 CPUtime=74.53 cores=0,2,4,6
/proc/12973/stat : 12973 (java) S 12970 12973 5271 0 -1 1077944320 215874 13278 0 0 7194 252 4 3 20 0 15 0 407138939 11105193984 979299 33554432000 4194304 4196468 140735390146608 140735390129152 139936739139319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
/proc/12973/statm: 2711229 979299 3630 1 0 2673293 0
[pid=12973/tid=13026] ppid=12970 vsize=10844916 memory=3916316 CPUtime=34.45 cores=0,2,4,6
/proc/12973/task/13026/stat : 13026 (java) R 12970 12973 5271 0 -1 4202560 29852 13278 0 0 3398 40 4 3 20 0 15 0 407138948 11105193984 979299 33554432000 4194304 4196468 140735390146608 139936710971936 139936306356800 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13027] ppid=12970 vsize=10844916 memory=6791534058613427641 CPUtime=6.44 cores=0,2,4,6
/proc/12973/task/13027/stat : 13027 (java) S 12970 12973 5271 0 -1 1077944384 23005 13278 0 0 586 51 4 3 20 0 15 0 407138949 11105193984 979299 33554432000 4194304 4196468 140735390146608 139936743381520 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13028] ppid=12970 vsize=10844916 memory=3624 CPUtime=6.33 cores=0,2,4,6
/proc/12973/task/13028/stat : 13028 (java) S 12970 12973 5271 0 -1 1077944384 29991 13278 0 0 577 49 4 3 20 0 15 0 407138949 11105193984 979299 33554432000 4194304 4196468 140735390146608 139936631655056 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13029] ppid=12970 vsize=10844916 memory=21004 CPUtime=6.4 cores=0,2,4,6
/proc/12973/task/13029/stat : 13029 (java) S 12970 12973 5271 0 -1 1077944384 25278 13278 0 0 586 47 4 3 20 0 15 0 407138949 11105193984 979299 33554432000 4194304 4196468 140735390146608 139936630602000 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13030] ppid=12970 vsize=10844916 memory=3336364 CPUtime=6.48 cores=0,2,4,6
/proc/12973/task/13030/stat : 13030 (java) S 12970 12973 5271 0 -1 1077944384 30378 13278 0 0 591 50 4 3 20 0 15 0 407138949 11105193984 979299 33554432000 4194304 4196468 140735390146608 139936629549456 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13031] ppid=12970 vsize=10844916 memory=3192 CPUtime=0.69 cores=0,2,4,6
/proc/12973/task/13031/stat : 13031 (java) S 12970 12973 5271 0 -1 1077944384 21208 13278 0 0 61 1 4 3 20 0 15 0 407138950 11105193984 979299 33554432000 4194304 4196468 140735390146608 139936198634224 139936739150466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13032] ppid=12970 vsize=10844916 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13032/stat : 13032 (java) S 12970 12973 5271 0 -1 1077944384 56 13278 0 0 0 0 4 3 20 0 15 0 407138951 11105193984 979299 33554432000 4194304 4196468 140735390146608 139936197580512 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13033] ppid=12970 vsize=10844916 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13033/stat : 13033 (java) S 12970 12973 5271 0 -1 1077944384 36 13278 0 0 0 0 4 3 20 0 15 0 407138951 11105193984 979299 33554432000 4194304 4196468 140735390146608 139936074294528 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13034] ppid=12970 vsize=10844916 memory=6944613755328037012 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13034/stat : 13034 (java) S 12970 12973 5271 0 -1 1077944384 2 13278 0 0 0 0 4 3 20 0 15 0 407138954 11105193984 979299 33554432000 4194304 4196468 140735390146608 139935470315984 139936739157915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13035] ppid=12970 vsize=10844916 memory=-7737605721172012177 CPUtime=6.06 cores=0,2,4,6
/proc/12973/task/13035/stat : 13035 (java) S 12970 12973 5271 0 -1 1077944384 19050 13278 0 0 595 4 4 3 20 0 15 0 407138954 11105193984 979299 33554432000 4194304 4196468 140735390146608 139936164022512 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13036] ppid=12970 vsize=10844916 memory=6944656592455360569 CPUtime=6.09 cores=0,2,4,6
/proc/12973/task/13036/stat : 13036 (java) S 12970 12973 5271 0 -1 1077944384 22801 13278 0 0 599 3 4 3 20 0 15 0 407138954 11105193984 979299 33554432000 4194304 4196468 140735390146608 139936162969968 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13037] ppid=12970 vsize=10844916 memory=6944656592455360608 CPUtime=2.03 cores=0,2,4,6
/proc/12973/task/13037/stat : 13037 (java) S 12970 12973 5271 0 -1 1077944384 11320 13278 0 0 193 3 4 3 20 0 15 0 407138954 11105193984 979299 33554432000 4194304 4196468 140735390146608 139936161916912 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13038] ppid=12970 vsize=10844916 memory=6944613755328037012 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13038/stat : 13038 (java) S 12970 12973 5271 0 -1 1077944384 3 13278 0 0 0 0 4 3 20 0 15 0 407138954 11105193984 979299 33554432000 4194304 4196468 140735390146608 139935000553824 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13039] ppid=12970 vsize=10844916 memory=3907336 CPUtime=0.09 cores=0,2,4,6
/proc/12973/task/13039/stat : 13039 (java) S 12970 12973 5271 0 -1 1077944384 688 13278 0 0 1 1 4 3 20 0 15 0 407138954 11105193984 979299 33554432000 4194304 4196468 140735390146608 139936160865328 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
Current children cumulated CPU time: 74.53 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 3917196 KiB

[startup+43.2007 s]
/proc/loadavg: 1.73 1.48 1.43 5/226 13042
/proc/meminfo: memFree=25492860/32770624 swapFree=66934492/67108860
[pid=12973] ppid=12970 vsize=10849012 memory=3938136 CPUtime=79.1 cores=0,2,4,6
/proc/12973/stat : 12973 (java) S 12970 12973 5271 0 -1 1077944320 237883 13278 0 0 7648 255 4 3 20 0 15 0 407138939 11109388288 984534 33554432000 4194304 4196468 140735390146608 140735390129152 139936739139319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
/proc/12973/statm: 2712253 984534 3632 1 0 2674317 0
[pid=12973/tid=13026] ppid=12970 vsize=10849012 memory=1668 CPUtime=36.05 cores=0,2,4,6
/proc/12973/task/13026/stat : 13026 (java) R 12970 12973 5271 0 -1 4202560 36936 13278 0 0 3557 41 4 3 20 0 15 0 407138948 11109388288 984534 33554432000 4194304 4196468 140735390146608 139936710971560 139936313511282 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13027] ppid=12970 vsize=10849012 memory=904 CPUtime=6.44 cores=0,2,4,6
/proc/12973/task/13027/stat : 13027 (java) S 12970 12973 5271 0 -1 1077944384 23005 13278 0 0 586 51 4 3 20 0 15 0 407138949 11109388288 984534 33554432000 4194304 4196468 140735390146608 139936743381520 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13028] ppid=12970 vsize=10849012 memory=1444 CPUtime=6.33 cores=0,2,4,6
/proc/12973/task/13028/stat : 13028 (java) S 12970 12973 5271 0 -1 1077944384 29991 13278 0 0 577 49 4 3 20 0 15 0 407138949 11109388288 984534 33554432000 4194304 4196468 140735390146608 139936631655056 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13029] ppid=12970 vsize=10849012 memory=1976 CPUtime=6.4 cores=0,2,4,6
/proc/12973/task/13029/stat : 13029 (java) S 12970 12973 5271 0 -1 1077944384 25278 13278 0 0 586 47 4 3 20 0 15 0 407138949 11109388288 984534 33554432000 4194304 4196468 140735390146608 139936630602000 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13030] ppid=12970 vsize=10849012 memory=2436 CPUtime=6.48 cores=0,2,4,6
/proc/12973/task/13030/stat : 13030 (java) S 12970 12973 5271 0 -1 1077944384 30378 13278 0 0 591 50 4 3 20 0 15 0 407138949 11109388288 984534 33554432000 4194304 4196468 140735390146608 139936629549456 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13031] ppid=12970 vsize=10849012 memory=33 CPUtime=0.69 cores=0,2,4,6
/proc/12973/task/13031/stat : 13031 (java) S 12970 12973 5271 0 -1 1077944384 21209 13278 0 0 61 1 4 3 20 0 15 0 407138950 11109388288 984534 33554432000 4194304 4196468 140735390146608 139936198634224 139936739150466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13032] ppid=12970 vsize=10849012 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13032/stat : 13032 (java) S 12970 12973 5271 0 -1 1077944384 56 13278 0 0 0 0 4 3 20 0 15 0 407138951 11109388288 984534 33554432000 4194304 4196468 140735390146608 139936197580512 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13033] ppid=12970 vsize=10849012 memory=-7812736537705029536 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13033/stat : 13033 (java) S 12970 12973 5271 0 -1 1077944384 36 13278 0 0 0 0 4 3 20 0 15 0 407138951 11109388288 984534 33554432000 4194304 4196468 140735390146608 139936074294528 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13034] ppid=12970 vsize=10849012 memory=616 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13034/stat : 13034 (java) S 12970 12973 5271 0 -1 1077944384 2 13278 0 0 0 0 4 3 20 0 15 0 407138954 11109388288 984534 33554432000 4194304 4196468 140735390146608 139935470315984 139936739157915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13035] ppid=12970 vsize=10849012 memory=2832 CPUtime=7.35 cores=0,2,4,6
/proc/12973/task/13035/stat : 13035 (java) R 12970 12973 5271 0 -1 4202560 25265 13278 0 0 723 5 4 3 20 0 15 0 407138954 11109388288 984534 33554432000 4194304 4196468 140735390146608 139936164008672 139936722524089 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13036] ppid=12970 vsize=10849012 memory=1624 CPUtime=7.3 cores=0,2,4,6
/proc/12973/task/13036/stat : 13036 (java) R 12970 12973 5271 0 -1 4202560 26824 13278 0 0 720 3 4 3 20 0 15 0 407138954 11109388288 984534 33554432000 4194304 4196468 140735390146608 139936162959440 139936722526123 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13037] ppid=12970 vsize=10849012 memory=1136 CPUtime=2.51 cores=0,2,4,6
/proc/12973/task/13037/stat : 13037 (java) S 12970 12973 5271 0 -1 1077944384 16006 13278 0 0 240 4 4 3 20 0 15 0 407138954 11109388288 984534 33554432000 4194304 4196468 140735390146608 139936161916912 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13038] ppid=12970 vsize=10849012 memory=1072 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13038/stat : 13038 (java) S 12970 12973 5271 0 -1 1077944384 3 13278 0 0 0 0 4 3 20 0 15 0 407138954 11109388288 984534 33554432000 4194304 4196468 140735390146608 139935000553824 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13039] ppid=12970 vsize=10849012 memory=5924 CPUtime=0.09 cores=0,2,4,6
/proc/12973/task/13039/stat : 13039 (java) S 12970 12973 5271 0 -1 1077944384 688 13278 0 0 1 1 4 3 20 0 15 0 407138954 11109388288 984534 33554432000 4194304 4196468 140735390146608 139936160865328 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
Current children cumulated CPU time: 79.1 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 3938136 KiB

[startup+44.0006 s]*
/proc/loadavg: 1.73 1.48 1.43 5/226 13042
/proc/meminfo: memFree=25485420/32770624 swapFree=66934492/67108860
[pid=12973] ppid=12970 vsize=10849012 memory=3940212 CPUtime=81.63 cores=0,2,4,6
/proc/12973/stat : 12973 (java) S 12970 12973 5271 0 -1 1077944320 238845 13278 0 0 7901 255 4 3 20 0 15 0 407138939 11109388288 985053 33554432000 4194304 4196468 140735390146608 140735390129152 139936739139319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
/proc/12973/statm: 2712253 985053 3633 1 0 2674317 0
[pid=12973/tid=13026] ppid=12970 vsize=10849012 memory=8317482817917895235 CPUtime=36.85 cores=0,2,4,6
/proc/12973/task/13026/stat : 13026 (java) R 12970 12973 5271 0 -1 4202560 37379 13278 0 0 3637 41 4 3 20 0 15 0 407138948 11109388288 985053 33554432000 4194304 4196468 140735390146608 139936710967424 139936312657088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13027] ppid=12970 vsize=10849012 memory=4872558044660077418 CPUtime=6.44 cores=0,2,4,6
/proc/12973/task/13027/stat : 13027 (java) S 12970 12973 5271 0 -1 1077944384 23005 13278 0 0 586 51 4 3 20 0 15 0 407138949 11109388288 985053 33554432000 4194304 4196468 140735390146608 139936743381520 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13028] ppid=12970 vsize=10849012 memory=2016 CPUtime=6.33 cores=0,2,4,6
/proc/12973/task/13028/stat : 13028 (java) S 12970 12973 5271 0 -1 1077944384 29991 13278 0 0 577 49 4 3 20 0 15 0 407138949 11109388288 985053 33554432000 4194304 4196468 140735390146608 139936631655056 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13029] ppid=12970 vsize=10849012 memory=0 CPUtime=6.4 cores=0,2,4,6
/proc/12973/task/13029/stat : 13029 (java) S 12970 12973 5271 0 -1 1077944384 25278 13278 0 0 586 47 4 3 20 0 15 0 407138949 11109388288 985053 33554432000 4194304 4196468 140735390146608 139936630602000 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13030] ppid=12970 vsize=10849012 memory=11204 CPUtime=6.48 cores=0,2,4,6
/proc/12973/task/13030/stat : 13030 (java) S 12970 12973 5271 0 -1 1077944384 30378 13278 0 0 591 50 4 3 20 0 15 0 407138949 11109388288 985053 33554432000 4194304 4196468 140735390146608 139936629549456 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13031] ppid=12970 vsize=10849012 memory=6656426216303648864 CPUtime=0.69 cores=0,2,4,6
/proc/12973/task/13031/stat : 13031 (java) S 12970 12973 5271 0 -1 1077944384 21209 13278 0 0 61 1 4 3 20 0 15 0 407138950 11109388288 985053 33554432000 4194304 4196468 140735390146608 139936198634224 139936739150466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13032] ppid=12970 vsize=10849012 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13032/stat : 13032 (java) S 12970 12973 5271 0 -1 1077944384 56 13278 0 0 0 0 4 3 20 0 15 0 407138951 11109388288 985053 33554432000 4194304 4196468 140735390146608 139936197580512 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13033] ppid=12970 vsize=10849012 memory=8128038100524242582 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13033/stat : 13033 (java) S 12970 12973 5271 0 -1 1077944384 36 13278 0 0 0 0 4 3 20 0 15 0 407138951 11109388288 985053 33554432000 4194304 4196468 140735390146608 139936074294528 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13034] ppid=12970 vsize=10849012 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13034/stat : 13034 (java) S 12970 12973 5271 0 -1 1077944384 2 13278 0 0 0 0 4 3 20 0 15 0 407138954 11109388288 985053 33554432000 4194304 4196468 140735390146608 139935470315984 139936739157915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13035] ppid=12970 vsize=10849012 memory=-7595718316223324558 CPUtime=8.15 cores=0,2,4,6
/proc/12973/task/13035/stat : 13035 (java) R 12970 12973 5271 0 -1 4202560 25420 13278 0 0 803 5 4 3 20 0 15 0 407138954 11109388288 985053 33554432000 4194304 4196468 140735390146608 139936164005424 139936722550112 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13036] ppid=12970 vsize=10849012 memory=-7595718147998060693 CPUtime=8.11 cores=0,2,4,6
/proc/12973/task/13036/stat : 13036 (java) R 12970 12973 5271 0 -1 4202560 26943 13278 0 0 801 3 4 3 20 0 15 0 407138954 11109388288 985053 33554432000 4194304 4196468 140735390146608 139936162956816 139936724254495 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13037] ppid=12970 vsize=10849012 memory=-5628408999910123566 CPUtime=2.63 cores=0,2,4,6
/proc/12973/task/13037/stat : 13037 (java) R 12970 12973 5271 0 -1 1077944384 16251 13278 0 0 252 4 4 3 20 0 15 0 407138954 11109388288 985053 33554432000 4194304 4196468 140735390146608 139936161916912 139936739150466 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13038] ppid=12970 vsize=10849012 memory=-4059589565078923626 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13038/stat : 13038 (java) S 12970 12973 5271 0 -1 1077944384 3 13278 0 0 0 0 4 3 20 0 15 0 407138954 11109388288 985053 33554432000 4194304 4196468 140735390146608 139935000553824 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13039] ppid=12970 vsize=10849012 memory=-7595718316223324558 CPUtime=0.09 cores=0,2,4,6
/proc/12973/task/13039/stat : 13039 (java) S 12970 12973 5271 0 -1 1077944384 688 13278 0 0 1 1 4 3 20 0 15 0 407138954 11109388288 985053 33554432000 4194304 4196468 140735390146608 139936160865328 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
Current children cumulated CPU time: 81.63 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 3940212 KiB

[startup+44.4017 s]
/proc/loadavg: 1.73 1.48 1.43 5/226 13042
/proc/meminfo: memFree=25485420/32770624 swapFree=66934492/67108860
[pid=12973] ppid=12970 vsize=10947320 memory=3941004 CPUtime=82.79 cores=0,2,4,6
/proc/12973/stat : 12973 (java) S 12970 12973 5271 0 -1 1077944320 239313 13278 0 0 8016 256 4 3 20 0 16 0 407138939 11210055680 985251 33554432000 4194304 4196468 140735390146608 140735390129152 139936739139319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
/proc/12973/statm: 2736830 985251 3637 1 0 2698894 0
[pid=12973/tid=13026] ppid=12970 vsize=10947320 memory=6791534058613427641 CPUtime=37.24 cores=0,2,4,6
/proc/12973/task/13026/stat : 13026 (java) S 12970 12973 5271 0 -1 1077944384 37654 13278 0 0 3675 42 4 3 20 0 15 0 407138948 11210055680 985251 33554432000 4194304 4196468 140735390146608 139936710982800 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13027] ppid=12970 vsize=10947320 memory=288230621803970871 CPUtime=6.44 cores=0,2,4,6
/proc/12973/task/13027/stat : 13027 (java) S 12970 12973 5271 0 -1 1077944384 23005 13278 0 0 586 51 4 3 20 0 15 0 407138949 11210055680 985251 33554432000 4194304 4196468 140735390146608 139936743381520 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13028] ppid=12970 vsize=10947320 memory=13563791027735085 CPUtime=6.33 cores=0,2,4,6
/proc/12973/task/13028/stat : 13028 (java) S 12970 12973 5271 0 -1 1077944384 29991 13278 0 0 577 49 4 3 20 0 15 0 407138949 11210055680 985251 33554432000 4194304 4196468 140735390146608 139936631655056 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13029] ppid=12970 vsize=10947320 memory=3332368 CPUtime=6.4 cores=0,2,4,6
/proc/12973/task/13029/stat : 13029 (java) S 12970 12973 5271 0 -1 1077944384 25278 13278 0 0 586 47 4 3 20 0 15 0 407138949 11210055680 985251 33554432000 4194304 4196468 140735390146608 139936630602000 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13030] ppid=12970 vsize=10947320 memory=1668 CPUtime=6.48 cores=0,2,4,6
/proc/12973/task/13030/stat : 13030 (java) S 12970 12973 5271 0 -1 1077944384 30378 13278 0 0 591 50 4 3 20 0 15 0 407138949 11210055680 985251 33554432000 4194304 4196468 140735390146608 139936629549456 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13031] ppid=12970 vsize=10947320 memory=3923008 CPUtime=0.69 cores=0,2,4,6
/proc/12973/task/13031/stat : 13031 (java) D 12970 12973 5271 0 -1 4202560 21211 13278 0 0 61 1 4 3 20 0 15 0 407138950 11210055680 985251 33554432000 4194304 4196468 140735390146608 139936198634744 139936731856471 0 0 0 16800975 18446744071582151463 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13032] ppid=12970 vsize=10947320 memory=3624 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13032/stat : 13032 (java) S 12970 12973 5271 0 -1 1077944384 56 13278 0 0 0 0 4 3 20 0 15 0 407138951 11210055680 985251 33554432000 4194304 4196468 140735390146608 139936197580512 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13033] ppid=12970 vsize=10947320 memory=21004 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13033/stat : 13033 (java) S 12970 12973 5271 0 -1 1077944384 36 13278 0 0 0 0 4 3 20 0 15 0 407138951 11210055680 985251 33554432000 4194304 4196468 140735390146608 139936074294528 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13034] ppid=12970 vsize=10947320 memory=984 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13034/stat : 13034 (java) D 12970 12973 5271 0 -1 4202560 4 13278 0 0 0 0 4 3 20 0 15 0 407138954 11210055680 985251 33554432000 4194304 4196468 140735390146608 139935470316168 139936731856282 0 4 0 16800975 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13035] ppid=12970 vsize=10947320 memory=2016 CPUtime=8.49 cores=0,2,4,6
/proc/12973/task/13035/stat : 13035 (java) S 12970 12973 5271 0 -1 1077944384 25458 13278 0 0 837 5 4 3 20 0 15 0 407138954 11210055680 985251 33554432000 4194304 4196468 140735390146608 139936164022512 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13036] ppid=12970 vsize=10947320 memory=1412 CPUtime=8.45 cores=0,2,4,6
/proc/12973/task/13036/stat : 13036 (java) S 12970 12973 5271 0 -1 1077944384 26967 13278 0 0 835 3 4 3 20 0 15 0 407138954 11210055680 985251 33554432000 4194304 4196468 140735390146608 139936162969968 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13037] ppid=12970 vsize=10947320 memory=1548 CPUtime=2.71 cores=0,2,4,6
/proc/12973/task/13037/stat : 13037 (java) S 12970 12973 5271 0 -1 1077944384 16360 13278 0 0 260 4 4 3 20 0 15 0 407138954 11210055680 985251 33554432000 4194304 4196468 140735390146608 139936161916912 139936739150466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
[pid=12973/tid=13038] ppid=12970 vsize=10947320 memory=7148 CPUtime=0.07 cores=0,2,4,6
/proc/12973/task/13038/stat : 13038 (java) S 12970 12973 5271 0 -1 1077944384 3 13278 0 0 0 0 4 3 20 0 15 0 407138954 11210055680 985251 33554432000 4194304 4196468 140735390146608 139935000553824 139936739149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16949248 140735390149365 140735390151877 140735390151877 140735390154703 0
Current children cumulated CPU time: 82.79 s
Current children cumulated vsize: 10947320 KiB
Current children cumulated memory: 3941004 KiB

Child status: 0
Real time (s): 44.4371
CPU time (s): 82.8551
CPU user time (s): 80.2167
CPU system time (s): 2.63835
CPU usage (%): 186.455
Max. virtual memory (cumulated for all children) (KiB): 10947320
Max. memory (cumulated for all children) (KiB): 3941004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.2167
system time used= 2.63835
maximum resident set size= 3943000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252620
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= 11036
involuntary context switches= 466


# summary of solver processes directly reported to runsolver:
#   pid: 12973
#   total CPU time (s): 82.8551
#   total CPU user time (s): 80.2167
#   total CPU system time (s): 2.63835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.292608 second user time and 0.46508 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-12 18:18:31
IDJOB=4387523
IDBENCH=141273
IDSOLVER=2823
FILE ID=node105/4387523-1568308804
RUNJOBID= node105-1568282271-6097
PBS_JOBID= 21701089
Free space on /tmp= 54256 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387523-1568308804/watcher-4387523-1568308804 -o /tmp/evaluation-result-4387523-1568308804/solver-4387523-1568308804 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568282271-6097 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1597390415 HOME/instance-4387523-1568308804.xml

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=1597390415

node105.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.00
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.00
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.00
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.00
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:        29418208 kB
MemAvailable:   29698760 kB
Buffers:          109280 kB
Cached:           460744 kB
SwapCached:        69064 kB
Active:          2514220 kB
Inactive:         280644 kB
Active(anon):    2167948 kB
Inactive(anon):    88656 kB
Active(file):     346272 kB
Inactive(file):   191988 kB
Unevictable:      111340 kB
Mlocked:          111340 kB
SwapTotal:      67108860 kB
SwapFree:       66934492 kB
Dirty:            117576 kB
Writeback:             0 kB
AnonPages:       2268660 kB
Mapped:            47144 kB
Shmem:             22648 kB
Slab:             144908 kB
SReclaimable:     116256 kB
SUnreclaim:        28652 kB
KernelStack:        3728 kB
PageTables:        11220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3239572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2181120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 54220 MiB
End job on node105 at 2019-09-12 18:19:15