Trace number 4299001

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
Solver of Xavier Schul & Yvhan Smal 2018-04-28SAT (TO)201740847 2520.09 2446.06

General information on the benchmark

NameFapp/Fapp-ext/
Fapp-ext-02-0250_c18.xml
MD5SUM24bf88c1c49a1faaa01f312934ed4415
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark181903419
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables4758
Number of constraints3055
Number of domains59
Minimum domain size1
Maximum domain size105
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":1667},{"size":11,"count":1419},{"size":12,"count":1},{"size":21,"count":41},{"size":23,"count":11},{"size":32,"count":14},{"size":39,"count":42},{"size":41,"count":3},{"size":42,"count":5},{"size":47,"count":7},{"size":48,"count":8},{"size":49,"count":5},{"size":51,"count":12},{"size":53,"count":32},{"size":54,"count":10},{"size":55,"count":22},{"size":56,"count":8},{"size":57,"count":35},{"size":58,"count":37},{"size":59,"count":5},{"size":60,"count":10},{"size":61,"count":1},{"size":62,"count":14},{"size":63,"count":56},{"size":64,"count":19},{"size":65,"count":18},{"size":67,"count":34},{"size":69,"count":56},{"size":70,"count":15},{"size":71,"count":22},{"size":73,"count":14},{"size":76,"count":3},{"size":77,"count":19},{"size":82,"count":34},{"size":83,"count":32},{"size":84,"count":22},{"size":89,"count":29},{"size":90,"count":74},{"size":92,"count":126},{"size":95,"count":73},{"size":96,"count":86},{"size":97,"count":47},{"size":99,"count":20},{"size":102,"count":70},{"size":105,"count":478}]
Minimum variable degree2
Maximum variable degree1420
Distribution of variable degrees[{"degree":2,"count":4257},{"degree":3,"count":3},{"degree":4,"count":4},{"degree":5,"count":7},{"degree":6,"count":19},{"degree":7,"count":25},{"degree":8,"count":23},{"degree":9,"count":30},{"degree":10,"count":39},{"degree":11,"count":41},{"degree":12,"count":49},{"degree":13,"count":55},{"degree":14,"count":52},{"degree":15,"count":51},{"degree":16,"count":64},{"degree":17,"count":38},{"degree":1420,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":217},{"arity":3,"count":1419},{"arity":6,"count":1419}]
Number of extensional constraints3055
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":3055}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: -1
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
57.37/35.78	o 201740874
57.37/35.79	o 201740871
57.49/35.80	o 201740870
57.49/35.80	o 201740868
57.49/35.85	o 201740867
57.66/35.98	o 201740865
57.78/36.01	o 201740864
62.31/40.38	o 201740862
62.31/40.39	o 201740860
62.42/40.43	o 201740859
79.82/57.24	o 201740858
79.82/57.25	o 201740856
79.82/57.28	o 201740855
320.13/292.37	o 201740854
680.30/645.02	o 201740853
872.37/833.12	o 201740852
1799.30/1740.67	o 201740851
1799.30/1740.68	o 201740850
1799.30/1740.69	o 201740849
1799.40/1740.72	o 201740848
2064.64/2000.32	o 201740847
2520.01/2446.01	s SATISFIABLE
2520.01/2446.02	v <instantiation>
2520.01/2446.02	v 	<list>
2520.01/2446.02	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] 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] 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] 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] 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] 
2520.01/2446.02	v 	</list>
2520.01/2446.02	v 	<values>
2520.01/2446.02	v 		2452 2548 2604 2348 2616 2300 2492 2392 2284 2300 2632 2284 2616 2520 2376 2464 2492 2508 2584 2636 2448 2540 2516 2616 2296 2368 2336 2280 2444 2516 2512 2284 2392 2440 2256 2508 2560 2412 2596 2296 2564 2240 2432 2552 2280 2624 2408 2556 2324 2296 2516 2576 2292 2624 2612 2516 2524 2452 2580 2460 2544 2392 2532 2556 2468 2564 2444 2380 2244 2300 2340 2436 2372 2588 2488 2524 2616 2316 2464 2472 2584 2556 2572 2652 2556 2620 2480 2420 2636 2496 2524 2240 2448 2280 2440 2404 2240 2596 2432 2376 2656 2404 2320 2308 2616 2644 2552 2644 2508 2512 2504 2364 2612 2576 2616 2592 2320 2648 2432 2360 2280 2340 2424 2360 2636 2476 2656 2468 2444 2452 2296 2628 2256 2580 2580 2656 2596 2592 2404 2652 2356 2468 2616 2468 2244 2432 2432 2616 2620 2576 2512 2420 2320 2572 2584 2252 2568 2304 2596 2352 2624 2616 2480 2604 2492 2340 2604 2544 2576 2340 2264 2556 2392 2612 2488 2484 2572 2500 2556 2428 2472 2404 2608 2312 2640 2612 2600 2616 2336 2300 2516 2656 2504 2612 2576 2312 2560 2248 2536 2480 2652 2596 2384 2416 2612 2592 2552 2500 2552 2292 2436 2620 2456 2460 2476 2656 2428 2476 2444 2280 2240 2408 2592 2572 2260 2288 2508 2600 2644 2608 2564 2352 2596 2392 2396 2380 2368 2388 2440 2396 2584 2516 2556 2292 2584 2416 2332 2356 2656 2332 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 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 1 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 10 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 1 0 1 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 1 0 0 1 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 1 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 1 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 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 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 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 1 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 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 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 1 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 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 9 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 8 0 0 1 7 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 9 0 9 0 0 9 0 1 0 1 1 0 0 0 0 1 0 0 0 8 0 0 0 0 0 0 0 6 7 0 9 7 0 9 0 1 0 0 0 1 8 0 0 1 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 5 0 0 0 9 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 3 0 0 0 1 8 0 0 0 0 0 0 0 0 0 0 5 0 0 9 1 0 0 0 9 4 0 7 2 4 1 0 0 4 1 0 0 0 0 9 9 0 0 0 0 8 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 3 0 0 4 0 0 0 5 2 1 0 0 0 0 2 0 1 0 0 8 0 8 6 1 9 0 0 0 9 0 0 1 1 0 0 0 2 0 0 0 0 0 0 0 1 0 0 6 1 0 0 7 0 1 9 1 0 0 9 0 0 4 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 9 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 4 4 1 0 1 0 0 0 2 8 9 0 1 0 0 0 1 1 5 0 0 0 0 0 9 0 0 0 0 0 3 0 4 0 0 0 6 0 0 1 0 9 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 6 1 0 0 0 0 9 0 1 0 0 1 9 0 0 0 1 0 0 0 1 0 0 0 5 3 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 1 0 3 9 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 9 0 0 0 6 8 0 0 0 0 1 0 0 0 2 9 0 0 0 0 1 0 9 3 0 0 0 3 0 0 0 5 1 1 0 0 0 0 1 8 1 0 0 0 0 0 1 9 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 3 0 0 0 0 0 4 1 1 8 0 0 0 0 0 0 9 9 0 0 0 8 0 7 6 0 0 0 0 0 0 0 8 0 0 0 0 0 0 7 0 9 8 0 0 0 0 0 1 0 0 0 1 0 9 1 0 0 1 0 9 0 0 0 0 0 0 1 0 0 0 0 0 0 0 9 2 0 1 9 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 7 0 1 1 1 0 0 0 1 1 9 4 0 0 0 0 0 5 0 9 9 0 2 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 9 0 0 0 0 0 0 2 1 4 0 0 0 0 8 0 6 0 0 4 0 4 6 7 0 0 0 6 0 6 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 5 0 0 0 8 0 0 1 0 0 0 0 0 0 0 0 1 0 0 9 4 0 0 1 1 0 0 0 0 0 0 0 1 9 7 0 0 0 9 0 9 0 0 0 1 9 0 1 1 0 0 2 0 1 0 0 0 9 0 0 7 0 1 0 0 0 0 1 0 0 0 3 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 9 0 9 0 0 5 1 0 1 0 0 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 1 1 0 1 9 0 5 8 0 0 0 0 9 0 0 0 0 0 0 0 0 6 4 0 5 0 0 0 0 1 1 0 0 1 9 0 0 0 0 0 1 0 1 0 0 0 5 1 0 1 0 1 0 7 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 2 1 8 0 1 1 1 0 8 9 0 8 0 0 0 7 5 1 0 0 0 0 4 0 0 6 0 0 0 0 0 0 0 0 6 2 0 1 0 0 0 0 0 0 6 0 0 0 9 0 0 6 1 0 0 9 0 0 0 0 0 0 3 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 2 6 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 1 0 0 0 0 0 9 0 1 9 0 0 0 0 0 7 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 9 8 2 0 0 0 0 0 0 0 0 1 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 8 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 3 0 1 0 9 0 5 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 5 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 9 1 0 1 9 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 2 6 0 0 5 0 4 0 0 1 0 3 0 0 0 0 0 1 0 8 0 0 9 0 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 9 0 0 0 0 1 1 0 8 8 0 0 1 0 0 0 0 8 7 0 0 9 9 1 9 0 0 5 0 1 5 1 0 9 1 9 6 0 8 9 0 0 0 5 9 4 0 0 7 0 2 0 1 7 9 0 3 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 8 0 0 1 0 0 0 0 1 180 184 156 136 184 188 120 48 148 204 68 32 156 84 88 52 24 188 88 104 208 64 108 36 256 192 12 192 40 172 200 360 316 224 144 116 288 268 276 208 56 36 68 148 172 32 44 120 308 44 352 116 200 64 156 208 356 68 132 264 288 316 268 308 136 24 4 44 104 116 104 248 156 68 108 60 60 104 160 116 172 40 132 76 180 12 52 28 36 248 264 112 204 252 60 348 224 240 148 260 328 20 80 212 20 56 168 316 252 200 20 60 16 296 88 260 160 20 76 24 64 28 16 240 252 232 84 148 292 248 304 240 12 136 196 288 152 192 44 372 360 296 36 48 12 44 112 20 232 188 356 184 8 224 36 68 144 136 136 56 76 36 240 140 136 68 196 200 92 180 16 236 40 200 88 44 44 168 116 156 104 52 72 188 80 88 36 144 52 212 84 248 152 252 212 88 152 156 136 24 84 232 96 136 224 48 264 212 148 156 84 136 88 52 144 12 112 292 108 140 188 380 244 296 24 24 324 136 180 52 68 76 44 108 148 156 32 116 72 16 52 68 36 72 60 236 64 52 196 104 16 72 84 56 320 36 168 112 256 372 60 188 316 20 324 248 136 136 184 148 100 92 220 244 248 268 256 248 204 240 68 88 20 12 116 252 236 96 132 96 236 32 148 220 304 108 100 296 56 316 292 160 72 120 44 28 68 88 112 64 16 276 100 60 88 40 148 40 108 144 108 64 32 132 144 232 296 136 296 184 216 104 132 220 52 196 80 28 56 264 224 148 180 180 112 204 160 44 112 92 196 180 156 216 176 136 64 32 180 260 164 380 148 104 212 4 32 140 100 44 184 88 148 216 316 220 88 92 56 56 256 68 100 152 300 48 164 144 80 296 280 192 92 276 152 164 0 20 52 256 212 236 84 52 356 152 284 96 320 264 164 56 192 324 56 312 72 224 232 336 340 256 356 124 204 412 356 244 260 72 296 140 20 28 92 92 28 216 148 160 28 80 68 40 128 216 104 96 92 128 276 12 264 300 296 376 32 272 304 112 148 172 204 28 196 124 344 16 36 28 180 176 100 48 44 88 176 196 108 248 168 28 200 184 136 124 152 200 312 28 56 128 36 160 180 44 292 288 288 136 152 268 64 176 68 112 268 8 40 80 160 4 28 140 132 76 140 284 20 296 236 4 236 64 80 132 100 112 284 364 156 248 148 48 148 232 152 80 296 304 40 40 140 108 112 236 272 100 52 252 96 92 184 28 80 72 52 96 232 128 136 148 104 52 200 204 300 176 340 260 148 240 172 72 184 288 8 88 40 28 104 64 96 100 108 44 48 48 60 116 244 112 184 52 220 96 264 116 12 192 64 96 88 228 192 80 272 136 16 88 72 52 120 264 128 56 188 36 92 48 76 36 68 72 184 56 160 40 12 176 168 212 92 112 144 60 16 72 272 112 224 172 48 392 352 404 116 412 12 60 312 92 316 16 16 104 204 4 52 324 316 236 352 92 88 96 108 252 20 112 64 16 228 12 272 116 216 192 184 84 64 140 68 272 128 108 56 156 48 324 116 12 348 296 96 132 8 168 20 56 84 28 204 56 52 204 52 152 92 260 276 4 128 304 156 8 32 260 268 132 36 116 280 300 24 76 336 236 172 212 60 192 184 128 136 120 108 148 232 48 108 40 96 168 28 32 180 140 344 68 16 192 20 216 80 48 100 148 16 8 92 120 276 44 40 28 56 156 204 96 204 100 88 304 84 100 16 168 264 200 380 340 196 28 4 36 192 380 48 60 44 116 132 128 120 44 240 128 104 148 180 196 184 72 52 396 212 276 20 296 324 252 20 40 56 160 80 176 64 120 196 12 68 100 284 204 216 244 88 76 72 376 212 352 376 336 320 188 8 44 104 4 164 192 124 316 164 336 24 312 156 128 116 8 96 132 68 208 248 216 152 40 112 416 408 356 412 12 240 248 404 164 60 340 0 292 60 188 336 228 56 180 136 36 168 124 84 240 176 36 280 124 240 176 20 224 212 300 100 356 344 176 152 192 208 216 72 204 76 68 256 320 20 88 336 96 296 268 344 284 44 60 172 12 72 136 108 132 284 392 292 216 44 308 84 256 12 76 56 64 60 168 260 52 240 100 88 332 260 252 64 120 96 24 104 140 68 80 256 72 112 32 28 12 144 48 184 144 152 208 72 152 120 68 148 104 252 116 140 52 44 160 20 144 260 44 136 352 220 196 256 48 40 76 188 32 20 56 172 272 140 348 80 200 292 116 240 76 336 112 32 332 352 20 256 32 348 204 92 184 184 140 100 220 236 208 196 280 256 248 80 80 72 112 136 216 28 228 148 160 64 92 56 164 44 212 208 20 296 224 224 4 316 20 28 36 200 356 64 20 96 60 136 36 60 224 252 344 180 60 140 24 80 148 68 116 36 144 60 188 160 140 140 172 136 328 320 308 32 344 356 12 324 112 52 232 248 360 348 316 56 344 396 296 340 140 112 36 28 20 244 288 184 140 76 100 4 176 32 36 120 60 40 228 344 148 140 128 20 112 284 80 136 212 88 168 24 76 100 152 300 264 80 100 120 96 288 84 44 76 28 48 136 312 208 356 108 220 68 104 216 56 168 48 44 140 184 184 276 72 188 8 336 16 248 228 120 36 84 144 252 180 288 76 80 316 20 92 44 8 60 52 136 64 144 32 20 248 292 20 292 292 44 96 240 244 24 148 188 128 80 96 268 8 256 328 276 44 92 28 256 96 284 56 60 204 164 300 80 232 284 216 52 180 72 28 116 48 148 176 364 84 8 152 140 52 144 88 160 100 304 268 224 48 176 68 8 52 160 232 136 212 40 36 208 160 52 176 96 100 52 292 224 344 48 380 124 132 56 56 220 308 200 88 44 28 48 168 24 124 44 36 28 280 136 332 72 84 164 104 144 172 264 92 188 88 136 104 224 80 148 232 136 124 104 116 92 192 252 204 180 172 368 48 204 84 272 44 212 260 244 264 96 360 44 52 228 40 104 52 96 36 80 132 104 60 76 324 56 108 112 152 180 84 312 36 116 164 44 204 84 60 236 212 216 208 72 272 60 24 48 216 320 136 52 112 32 120 156 124 44 184 32 76 224 72 240 64 48 76 88 132 304 72 148 200 152 72 152 320 304 176 212 304 228 168 44 264 60 8 44 108 252 228 140 224 40 168 324 
2520.01/2446.02	v 	</values>
2520.01/2446.02	v </instantiation>

Verifier Data

OK	201740847

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299001-1532789482/watcher-4299001-1532789482 -o /tmp/evaluation-result-4299001-1532789482/solver-4299001-1532789482 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532774598-23261 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299001-1532789482.xml 

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

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

solver pid=24976, runsolver pid=24973

[startup+0.100111 s]*
/proc/loadavg: 1.19 1.25 1.34 4/215 24991
/proc/meminfo: memFree=24932568/32770624 swapFree=67108532/67108860
[pid=24976] ppid=24973 vsize=10661052 memory=28008 CPUtime=0.13 cores=1,3,5,7
/proc/24976/stat : 24976 (java) S 24973 24976 23229 0 -1 1077944320 5397 0 0 0 12 1 0 0 20 0 15 0 96511399 10916917248 7002 33554432000 4194304 4196468 140734805441072 140734805423616 140073539346167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
/proc/24976/statm: 2665263 7002 2846 1 0 2627263 0
[pid=24976/tid=24978] ppid=24973 vsize=10661052 memory=-8197568871503140227 CPUtime=0.09 cores=1,3,5,7
/proc/24976/task/24978/stat : 24978 (java) R 24973 24976 23229 0 -1 4202560 3279 0 0 0 9 0 0 0 20 0 15 0 96511399 10916917248 7002 33554432000 4194304 4196468 140734805441072 140073543574656 140073523389797 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24979] ppid=24973 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24979/stat : 24979 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 7002 33554432000 4194304 4196468 140734805441072 140073465420944 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24980] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24980/stat : 24980 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 7002 33554432000 4194304 4196468 140734805441072 140073464368144 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24981] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24981/stat : 24981 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 7002 33554432000 4194304 4196468 140734805441072 140073463315344 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24982] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24982/stat : 24982 (java) S 24973 24976 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 7002 33554432000 4194304 4196468 140734805441072 140073462262544 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24983] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96511401 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072573725040 140073539357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24984] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24984/stat : 24984 (java) S 24973 24976 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96511402 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072572671008 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24985] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24985/stat : 24985 (java) S 24973 24976 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96511402 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072571618160 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24986] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24986/stat : 24986 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072570566480 140073539364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24987] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24987/stat : 24987 (java) R 24973 24976 23229 0 -1 4202560 428 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072569514864 140073539357314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24988] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24988/stat : 24988 (java) R 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072568462064 140073539357314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24989] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0.02 cores=1,3,5,7
/proc/24976/task/24989/stat : 24989 (java) R 24973 24976 23229 0 -1 4202560 321 0 0 0 2 0 0 0 20 0 15 0 96511404 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072567409264 140073531583294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24990] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24990/stat : 24990 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072566356704 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24991] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24991/stat : 24991 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511405 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072565303984 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 28008 KiB

[startup+0.210584 s]*
/proc/loadavg: 1.19 1.25 1.34 5/215 24991
/proc/meminfo: memFree=24920720/32770624 swapFree=67108532/67108860
[pid=24976] ppid=24973 vsize=10661052 memory=40600 CPUtime=0.35 cores=1,3,5,7
/proc/24976/stat : 24976 (java) S 24973 24976 23229 0 -1 1077944320 8265 0 0 0 33 2 0 0 20 0 15 0 96511399 10916917248 10150 33554432000 4194304 4196468 140734805441072 140734805423616 140073539346167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
/proc/24976/statm: 2665263 10150 3007 1 0 2627263 0
[pid=24976/tid=24978] ppid=24973 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/24976/task/24978/stat : 24978 (java) R 24973 24976 23229 0 -1 4202560 5148 0 0 0 19 1 0 0 20 0 15 0 96511399 10916917248 10150 33554432000 4194304 4196468 140734805441072 140073543584384 140073127410948 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24979] ppid=24973 vsize=10661052 memory=364 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24979/stat : 24979 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 10150 33554432000 4194304 4196468 140734805441072 140073465420944 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24980] ppid=24973 vsize=10661052 memory=140676719631607 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24980/stat : 24980 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 10150 33554432000 4194304 4196468 140734805441072 140073464368144 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24981] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24981/stat : 24981 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 10150 33554432000 4194304 4196468 140734805441072 140073463315344 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24982] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24982/stat : 24982 (java) S 24973 24976 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 10150 33554432000 4194304 4196468 140734805441072 140073462262544 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24983] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96511401 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072573725040 140073539357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24984] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24984/stat : 24984 (java) S 24973 24976 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96511402 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072572671008 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24985] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24985/stat : 24985 (java) S 24973 24976 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96511402 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072571618160 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24986] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24986/stat : 24986 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072570566480 140073539364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24987] ppid=24973 vsize=10661052 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24976/task/24987/stat : 24987 (java) R 24973 24976 23229 0 -1 4202560 797 0 0 0 3 0 0 0 20 0 15 0 96511404 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072569514864 140073523738208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24988] ppid=24973 vsize=10661052 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24976/task/24988/stat : 24988 (java) R 24973 24976 23229 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 15 0 96511404 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072568462064 140073539357314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24989] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0.08 cores=1,3,5,7
/proc/24976/task/24989/stat : 24989 (java) R 24973 24976 23229 0 -1 4202560 830 0 0 0 8 0 0 0 20 0 15 0 96511404 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072567407056 140073523426654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24990] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24990/stat : 24990 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072566356704 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24991] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24991/stat : 24991 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511405 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072565303984 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40600 KiB

[startup+0.311166 s]*
/proc/loadavg: 1.19 1.25 1.34 5/215 24991
/proc/meminfo: memFree=24857672/32770624 swapFree=67108532/67108860
[pid=24976] ppid=24973 vsize=10661052 memory=111680 CPUtime=0.6 cores=1,3,5,7
/proc/24976/stat : 24976 (java) S 24973 24976 23229 0 -1 1077944320 9648 0 0 0 56 4 0 0 20 0 15 0 96511399 10916917248 27408 33554432000 4194304 4196468 140734805441072 140734805423616 140073539346167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
/proc/24976/statm: 2665263 27920 3051 1 0 2627263 0
[pid=24976/tid=24978] ppid=24973 vsize=10661052 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/24976/task/24978/stat : 24978 (java) R 24973 24976 23229 0 -1 4202560 5186 0 0 0 27 3 0 0 20 0 15 0 96511399 10916917248 27986 33554432000 4194304 4196468 140734805441072 140073543583952 140073539368093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24979] ppid=24973 vsize=10661052 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24979/stat : 24979 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 27986 33554432000 4194304 4196468 140734805441072 140073465420944 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24980] ppid=24973 vsize=10661052 memory=140676719632291 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24980/stat : 24980 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 27986 33554432000 4194304 4196468 140734805441072 140073464368144 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24981] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24981/stat : 24981 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 27986 33554432000 4194304 4196468 140734805441072 140073463315344 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24982] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24982/stat : 24982 (java) S 24973 24976 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 27986 33554432000 4194304 4196468 140734805441072 140073462262544 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24983] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96511401 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072573725040 140073539357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24984] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24984/stat : 24984 (java) S 24973 24976 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96511402 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072572671008 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24985] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24985/stat : 24985 (java) S 24973 24976 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96511402 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072571618160 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24986] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24986/stat : 24986 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072570566480 140073539364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24987] ppid=24973 vsize=10661052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24976/task/24987/stat : 24987 (java) R 24973 24976 23229 0 -1 4202560 1148 0 0 0 7 0 0 0 20 0 15 0 96511404 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072569505944 140073531635549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24988] ppid=24973 vsize=10661052 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24976/task/24988/stat : 24988 (java) R 24973 24976 23229 0 -1 4202560 1116 0 0 0 8 0 0 0 20 0 15 0 96511404 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072568443080 140073522846365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24989] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0.12 cores=1,3,5,7
/proc/24976/task/24989/stat : 24989 (java) S 24973 24976 23229 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 15 0 96511404 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072567409264 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24990] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24990/stat : 24990 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072566356704 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24991] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24991/stat : 24991 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511405 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072565303984 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 111680 KiB

[startup+0.709206 s]
/proc/loadavg: 1.19 1.25 1.34 5/215 24991
/proc/meminfo: memFree=24662252/32770624 swapFree=67108532/67108860
[pid=24976] ppid=24973 vsize=10661052 memory=487272 CPUtime=1.73 cores=1,3,5,7
/proc/24976/stat : 24976 (java) S 24973 24976 23229 0 -1 1077944320 12964 0 0 0 136 37 0 0 20 0 15 0 96511399 10916917248 121818 33554432000 4194304 4196468 140734805441072 140734805423616 140073539346167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
/proc/24976/statm: 2665263 121818 3094 1 0 2627263 0
[pid=24976/tid=24978] ppid=24973 vsize=10661052 memory=16236 CPUtime=0.52 cores=1,3,5,7
/proc/24976/task/24978/stat : 24978 (java) S 24973 24976 23229 0 -1 1077944384 5216 0 0 0 47 5 0 0 20 0 15 0 96511399 10916917248 121818 33554432000 4194304 4196468 140734805441072 140073543585424 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24979] ppid=24973 vsize=10661052 memory=4048 CPUtime=0.11 cores=1,3,5,7
/proc/24976/task/24979/stat : 24979 (java) R 24973 24976 23229 0 -1 4202560 203 0 0 0 5 6 0 0 20 0 15 0 96511400 10916917248 121818 33554432000 4194304 4196468 140734805441072 140073465421144 140073532449201 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24980] ppid=24973 vsize=10661052 memory=640 CPUtime=0.13 cores=1,3,5,7
/proc/24976/task/24980/stat : 24980 (java) R 24973 24976 23229 0 -1 4202560 201 0 0 0 5 8 0 0 20 0 15 0 96511400 10916917248 121818 33554432000 4194304 4196468 140734805441072 140073464368144 140073532445823 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24981] ppid=24973 vsize=10661052 memory=1788 CPUtime=0.13 cores=1,3,5,7
/proc/24976/task/24981/stat : 24981 (java) R 24973 24976 23229 0 -1 4202560 209 0 0 0 6 7 0 0 20 0 15 0 96511400 10916917248 121818 33554432000 4194304 4196468 140734805441072 140073463315344 140073532445867 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24982] ppid=24973 vsize=10661052 memory=960 CPUtime=0.13 cores=1,3,5,7
/proc/24976/task/24982/stat : 24982 (java) R 24973 24976 23229 0 -1 4202560 255 0 0 0 6 7 0 0 20 0 15 0 96511400 10916917248 121818 33554432000 4194304 4196468 140734805441072 140073462262432 140073532449146 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24983] ppid=24973 vsize=10661052 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 96511401 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072573723584 140073539356373 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24984] ppid=24973 vsize=10661052 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24984/stat : 24984 (java) S 24973 24976 23229 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96511402 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072572671008 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24985] ppid=24973 vsize=10661052 memory=928 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24985/stat : 24985 (java) S 24973 24976 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96511402 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072571618160 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24986] ppid=24973 vsize=10661052 memory=6153431502485415274 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24986/stat : 24986 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072570566480 140073539364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24987] ppid=24973 vsize=10661052 memory=6081108994580113768 CPUtime=0.2 cores=1,3,5,7
/proc/24976/task/24987/stat : 24987 (java) S 24973 24976 23229 0 -1 1077944384 2042 0 0 0 20 0 0 0 20 0 15 0 96511404 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072569514864 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24988] ppid=24973 vsize=10661052 memory=6154282490091891024 CPUtime=0.29 cores=1,3,5,7
/proc/24976/task/24988/stat : 24988 (java) S 24973 24976 23229 0 -1 1077944384 2457 0 0 0 29 0 0 0 20 0 15 0 96511404 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072568462064 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24989] ppid=24973 vsize=10661052 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/24976/task/24989/stat : 24989 (java) S 24973 24976 23229 0 -1 1077944384 927 0 0 0 13 0 0 0 20 0 15 0 96511404 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072567409264 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24990] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24990/stat : 24990 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072566356704 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24991] ppid=24973 vsize=10661052 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24991/stat : 24991 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511405 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072565303984 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 487272 KiB

[startup+1.50082 s]
/proc/loadavg: 1.19 1.25 1.34 6/215 24991
/proc/meminfo: memFree=24466148/32770624 swapFree=67108532/67108860
[pid=24976] ppid=24973 vsize=10661128 memory=732596 CPUtime=3.95 cores=1,3,5,7
/proc/24976/stat : 24976 (java) S 24973 24976 23229 0 -1 1077944320 15387 0 0 0 337 58 0 0 20 0 15 0 96511399 10916995072 183149 33554432000 4194304 4196468 140734805441072 140734805423616 140073539346167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
/proc/24976/statm: 2665282 183149 3150 1 0 2627263 0
[pid=24976/tid=24978] ppid=24973 vsize=10661128 memory=691180 CPUtime=1.19 cores=1,3,5,7
/proc/24976/task/24978/stat : 24978 (java) R 24973 24976 23229 0 -1 4202560 5612 0 0 0 111 8 0 0 20 0 15 0 96511399 10916995072 183149 33554432000 4194304 4196468 140734805441072 140073543583760 140073131063085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24979] ppid=24973 vsize=10661128 memory=6791534058613427641 CPUtime=0.22 cores=1,3,5,7
/proc/24976/task/24979/stat : 24979 (java) S 24973 24976 23229 0 -1 1077944384 283 0 0 0 12 10 0 0 20 0 15 0 96511400 10916995072 183149 33554432000 4194304 4196468 140734805441072 140073465420944 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24980] ppid=24973 vsize=10661128 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/24976/task/24980/stat : 24980 (java) S 24973 24976 23229 0 -1 1077944384 284 0 0 0 12 12 0 0 20 0 15 0 96511400 10916995072 183149 33554432000 4194304 4196468 140734805441072 140073464368144 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24981] ppid=24973 vsize=10661128 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/24976/task/24981/stat : 24981 (java) S 24973 24976 23229 0 -1 1077944384 357 0 0 0 13 12 0 0 20 0 15 0 96511400 10916995072 183149 33554432000 4194304 4196468 140734805441072 140073463315344 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24982] ppid=24973 vsize=10661128 memory=6943526294502006880 CPUtime=0.25 cores=1,3,5,7
/proc/24976/task/24982/stat : 24982 (java) S 24973 24976 23229 0 -1 1077944384 426 0 0 0 13 12 0 0 20 0 15 0 96511400 10916995072 183149 33554432000 4194304 4196468 140734805441072 140073462262544 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24983] ppid=24973 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 96511401 10916995072 183149 33554432000 4194304 4196468 140734805441072 140072573725040 140073539357314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0

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

/proc/24976/task/24978/stat : 24978 (java) R 24973 24976 23229 0 -1 4202560 239178 0 0 0 229783 99 0 0 20 0 15 0 96511399 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073543585664 140073127716378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24979] ppid=24973 vsize=10661128 memory=3232 CPUtime=21.73 cores=1,3,5,7
/proc/24976/task/24979/stat : 24979 (java) S 24973 24976 23229 0 -1 1077944384 89124 0 0 0 2086 87 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073465420944 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24980] ppid=24973 vsize=10661128 memory=6559608 CPUtime=21.8 cores=1,3,5,7
/proc/24976/task/24980/stat : 24980 (java) S 24973 24976 23229 0 -1 1077944384 96141 0 0 0 2094 86 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073464368144 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24981] ppid=24973 vsize=10661128 memory=6559608 CPUtime=21.88 cores=1,3,5,7
/proc/24976/task/24981/stat : 24981 (java) S 24973 24976 23229 0 -1 1077944384 89825 0 0 0 2100 88 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073463315344 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24982] ppid=24973 vsize=10661128 memory=6559608 CPUtime=21.8 cores=1,3,5,7
/proc/24976/task/24982/stat : 24982 (java) S 24973 24976 23229 0 -1 1077944384 87579 0 0 0 2094 86 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073462262544 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24983] ppid=24973 vsize=10661128 memory=6559608 CPUtime=1.21 cores=1,3,5,7
/proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 18456 0 0 0 109 12 0 0 20 0 15 0 96511401 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072573725040 140073539357314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24984] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24984/stat : 24984 (java) S 24973 24976 23229 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 96511402 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072572671072 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24985] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24985/stat : 24985 (java) S 24973 24976 23229 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 96511402 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072571618160 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24986] ppid=24973 vsize=10661128 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24986/stat : 24986 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072570566480 140073539364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24987] ppid=24973 vsize=10661128 memory=6559608 CPUtime=1.87 cores=1,3,5,7
/proc/24976/task/24987/stat : 24987 (java) S 24973 24976 23229 0 -1 1077944384 9498 0 0 0 185 2 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072569514864 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24988] ppid=24973 vsize=10661128 memory=6559608 CPUtime=2.32 cores=1,3,5,7
/proc/24976/task/24988/stat : 24988 (java) S 24973 24976 23229 0 -1 1077944384 9171 0 0 0 231 1 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072568462064 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24989] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0.6 cores=1,3,5,7
/proc/24976/task/24989/stat : 24989 (java) S 24973 24976 23229 0 -1 1077944384 5645 0 0 0 58 2 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072567409264 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24990] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24990/stat : 24990 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072566356704 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24991] ppid=24973 vsize=10661128 memory=6559608 CPUtime=1.49 cores=1,3,5,7
/proc/24976/task/24991/stat : 24991 (java) S 24973 24976 23229 0 -1 1077944384 1481 0 0 0 68 81 0 0 20 0 15 0 96511405 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072565303984 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
Current children cumulated CPU time: 2393.62 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 6559608 KiB

[startup+2382.3 s]
/proc/loadavg: 1.41 1.44 1.81 3/215 25395
/proc/meminfo: memFree=16603800/32770624 swapFree=67108532/67108860
[pid=24976] ppid=24973 vsize=10661128 memory=6559608 CPUtime=2454.91 cores=1,3,5,7
/proc/24976/stat : 24976 (java) S 24973 24976 23229 0 -1 1077944320 659605 0 0 0 244960 531 0 0 20 0 15 0 96511399 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140734805423616 140073539346167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
/proc/24976/statm: 2665282 1639902 3194 1 0 2627263 0
[pid=24976/tid=24978] ppid=24973 vsize=10661128 memory=5756 CPUtime=2358.37 cores=1,3,5,7
/proc/24976/task/24978/stat : 24978 (java) R 24973 24976 23229 0 -1 4202560 244990 0 0 0 235737 100 0 0 20 0 15 0 96511399 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073543585744 140073133041159 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24979] ppid=24973 vsize=10661128 memory=6559608 CPUtime=22.16 cores=1,3,5,7
/proc/24976/task/24979/stat : 24979 (java) S 24973 24976 23229 0 -1 1077944384 90409 0 0 0 2128 88 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073465420944 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24980] ppid=24973 vsize=10661128 memory=6559608 CPUtime=22.21 cores=1,3,5,7
/proc/24976/task/24980/stat : 24980 (java) S 24973 24976 23229 0 -1 1077944384 97439 0 0 0 2135 86 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073464368144 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24981] ppid=24973 vsize=10661128 memory=6559608 CPUtime=22.3 cores=1,3,5,7
/proc/24976/task/24981/stat : 24981 (java) S 24973 24976 23229 0 -1 1077944384 91622 0 0 0 2142 88 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073463315344 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24982] ppid=24973 vsize=10661128 memory=6559608 CPUtime=22.23 cores=1,3,5,7
/proc/24976/task/24982/stat : 24982 (java) S 24973 24976 23229 0 -1 1077944384 89183 0 0 0 2137 86 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073462262544 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24983] ppid=24973 vsize=10661128 memory=6559608 CPUtime=1.24 cores=1,3,5,7
/proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 18688 0 0 0 112 12 0 0 20 0 15 0 96511401 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072573725040 140073539357314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24984] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24984/stat : 24984 (java) S 24973 24976 23229 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 96511402 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072572671072 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24985] ppid=24973 vsize=10661128 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24985/stat : 24985 (java) S 24973 24976 23229 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 96511402 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072571618160 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24986] ppid=24973 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24986/stat : 24986 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072570566480 140073539364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24987] ppid=24973 vsize=10661128 memory=6559608 CPUtime=1.87 cores=1,3,5,7
/proc/24976/task/24987/stat : 24987 (java) S 24973 24976 23229 0 -1 1077944384 9500 0 0 0 185 2 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072569514864 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24988] ppid=24973 vsize=10661128 memory=6559608 CPUtime=2.32 cores=1,3,5,7
/proc/24976/task/24988/stat : 24988 (java) S 24973 24976 23229 0 -1 1077944384 9174 0 0 0 231 1 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072568462064 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24989] ppid=24973 vsize=10661128 memory=3868 CPUtime=0.6 cores=1,3,5,7
/proc/24976/task/24989/stat : 24989 (java) S 24973 24976 23229 0 -1 1077944384 5647 0 0 0 58 2 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072567409264 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24990] ppid=24973 vsize=10661128 memory=960 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24990/stat : 24990 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072566356704 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24991] ppid=24973 vsize=10661128 memory=1232 CPUtime=1.52 cores=1,3,5,7
/proc/24976/task/24991/stat : 24991 (java) S 24973 24976 23229 0 -1 1077944384 1504 0 0 0 69 83 0 0 20 0 15 0 96511405 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072565303984 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
Current children cumulated CPU time: 2454.91 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 6559608 KiB

[startup+2442.3 s]
/proc/loadavg: 1.67 1.51 1.81 3/215 25396
/proc/meminfo: memFree=16603620/32770624 swapFree=67108532/67108860
[pid=24976] ppid=24973 vsize=10661128 memory=6559608 CPUtime=2516.23 cores=1,3,5,7
/proc/24976/stat : 24976 (java) S 24973 24976 23229 0 -1 1077944320 672203 0 0 0 251088 535 0 0 20 0 15 0 96511399 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140734805423616 140073539346167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
/proc/24976/statm: 2665282 1639902 3194 1 0 2627263 0
[pid=24976/tid=24978] ppid=24973 vsize=10661128 memory=6559608 CPUtime=2417.91 cores=1,3,5,7
/proc/24976/task/24978/stat : 24978 (java) R 24973 24976 23229 0 -1 4202560 250983 0 0 0 241690 101 0 0 20 0 15 0 96511399 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073543585744 140073127716342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24979] ppid=24973 vsize=10661128 memory=6559608 CPUtime=22.58 cores=1,3,5,7
/proc/24976/task/24979/stat : 24979 (java) S 24973 24976 23229 0 -1 1077944384 91632 0 0 0 2170 88 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073465420944 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24980] ppid=24973 vsize=10661128 memory=6559608 CPUtime=22.64 cores=1,3,5,7
/proc/24976/task/24980/stat : 24980 (java) S 24973 24976 23229 0 -1 1077944384 98785 0 0 0 2178 86 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073464368144 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24981] ppid=24973 vsize=10661128 memory=6559608 CPUtime=22.73 cores=1,3,5,7
/proc/24976/task/24981/stat : 24981 (java) S 24973 24976 23229 0 -1 1077944384 93747 0 0 0 2184 89 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073463315344 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24982] ppid=24973 vsize=10661128 memory=6559608 CPUtime=22.66 cores=1,3,5,7
/proc/24976/task/24982/stat : 24982 (java) S 24973 24976 23229 0 -1 1077944384 90800 0 0 0 2180 86 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073462262544 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24983] ppid=24973 vsize=10661128 memory=6559608 CPUtime=1.26 cores=1,3,5,7
/proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 18934 0 0 0 114 12 0 0 20 0 15 0 96511401 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072573725040 140073539357314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24984] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24984/stat : 24984 (java) S 24973 24976 23229 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 96511402 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072572671072 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24985] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24985/stat : 24985 (java) S 24973 24976 23229 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 96511402 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072571618160 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24986] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24986/stat : 24986 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072570566480 140073539364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24987] ppid=24973 vsize=10661128 memory=6559608 CPUtime=1.87 cores=1,3,5,7
/proc/24976/task/24987/stat : 24987 (java) S 24973 24976 23229 0 -1 1077944384 9503 0 0 0 185 2 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072569514864 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24988] ppid=24973 vsize=10661128 memory=3868 CPUtime=2.32 cores=1,3,5,7
/proc/24976/task/24988/stat : 24988 (java) S 24973 24976 23229 0 -1 1077944384 9182 0 0 0 231 1 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072568462064 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24989] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0.6 cores=1,3,5,7
/proc/24976/task/24989/stat : 24989 (java) S 24973 24976 23229 0 -1 1077944384 5652 0 0 0 58 2 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072567409264 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24990] ppid=24973 vsize=10661128 memory=840 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24990/stat : 24990 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072566356704 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24991] ppid=24973 vsize=10661128 memory=6559608 CPUtime=1.56 cores=1,3,5,7
/proc/24976/task/24991/stat : 24991 (java) S 24973 24976 23229 0 -1 1077944384 1536 0 0 0 71 85 0 0 20 0 15 0 96511405 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072565303984 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
Current children cumulated CPU time: 2516.23 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 6559608 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2446 s]*
/proc/loadavg: 1.69 1.52 1.81 3/215 25396
/proc/meminfo: memFree=16603620/32770624 swapFree=67108532/67108860
[pid=24976] ppid=24973 vsize=10661128 memory=6559608 CPUtime=2520.01 cores=1,3,5,7
/proc/24976/stat : 24976 (java) S 24973 24976 23229 0 -1 1077944320 679107 0 0 0 251465 536 0 0 20 0 15 0 96511399 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140734805423616 140073539346167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
/proc/24976/statm: 2665282 1639902 3194 1 0 2627263 0
[pid=24976/tid=24978] ppid=24973 vsize=10661128 memory=1398720917958146503 CPUtime=2421.6 cores=1,3,5,7
/proc/24976/task/24978/stat : 24978 (java) R 24973 24976 23229 0 -1 4202560 252472 0 0 0 242058 102 0 0 20 0 15 0 96511399 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073543585856 140073133038721 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24979] ppid=24973 vsize=10661128 memory=4872558044660077418 CPUtime=22.61 cores=1,3,5,7
/proc/24976/task/24979/stat : 24979 (java) S 24973 24976 23229 0 -1 1077944384 92866 0 0 0 2173 88 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073465420944 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24980] ppid=24973 vsize=10661128 memory=15436 CPUtime=22.66 cores=1,3,5,7
/proc/24976/task/24980/stat : 24980 (java) S 24973 24976 23229 0 -1 1077944384 99645 0 0 0 2180 86 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073464368144 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24981] ppid=24973 vsize=10661128 memory=16708 CPUtime=22.75 cores=1,3,5,7
/proc/24976/task/24981/stat : 24981 (java) S 24973 24976 23229 0 -1 1077944384 95500 0 0 0 2186 89 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073463315344 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24982] ppid=24973 vsize=10661128 memory=16236 CPUtime=22.69 cores=1,3,5,7
/proc/24976/task/24982/stat : 24982 (java) S 24973 24976 23229 0 -1 1077944384 92139 0 0 0 2183 86 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073462262544 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24983] ppid=24973 vsize=10661128 memory=3852 CPUtime=1.26 cores=1,3,5,7
/proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 19140 0 0 0 114 12 0 0 20 0 15 0 96511401 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072573725040 140073539357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24984] ppid=24973 vsize=10661128 memory=2888 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24984/stat : 24984 (java) S 24973 24976 23229 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 96511402 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072572671072 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24985] ppid=24973 vsize=10661128 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24985/stat : 24985 (java) S 24973 24976 23229 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 96511402 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072571618160 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24986] ppid=24973 vsize=10661128 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24986/stat : 24986 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072570566480 140073539364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24987] ppid=24973 vsize=10661128 memory=3232 CPUtime=1.87 cores=1,3,5,7
/proc/24976/task/24987/stat : 24987 (java) S 24973 24976 23229 0 -1 1077944384 9505 0 0 0 185 2 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072569514864 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24988] ppid=24973 vsize=10661128 memory=6559608 CPUtime=2.32 cores=1,3,5,7
/proc/24976/task/24988/stat : 24988 (java) S 24973 24976 23229 0 -1 1077944384 9184 0 0 0 231 1 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072568462064 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24989] ppid=24973 vsize=10661128 memory=1408 CPUtime=0.6 cores=1,3,5,7
/proc/24976/task/24989/stat : 24989 (java) S 24973 24976 23229 0 -1 1077944384 5654 0 0 0 58 2 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072567409264 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24990] ppid=24973 vsize=10661128 memory=3164 CPUtime=0 cores=1,3,5,7
/proc/24976/task/24990/stat : 24990 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072566356704 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
[pid=24976/tid=24991] ppid=24973 vsize=10661128 memory=4661548 CPUtime=1.56 cores=1,3,5,7
/proc/24976/task/24991/stat : 24991 (java) S 24973 24976 23229 0 -1 1077944384 1553 0 0 0 71 85 0 0 20 0 15 0 96511405 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072565303984 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 6559608 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2446.06 s]
# the end of solver process 24976 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.7 s, system=5.39119 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2446.06
CPU time (s): 2520.09
CPU user time (s): 2514.7
CPU system time (s): 5.39119
CPU usage (%): 103.026
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 6559608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.7
system time used= 5.39119
maximum resident set size= 6559996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 680622
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79027
involuntary context switches= 2804


# summary of solver processes directly reported to runsolver:
#   pid: 24976
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2514.7
#   total CPU system time (s): 5.39119

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9324 second user time and 23.7473 second system time

The end

Launcher Data

Begin job on node104 at 2018-07-28 16:51:22
IDJOB=4299001
IDBENCH=141281
IDSOLVER=2766
FILE ID=node104/4299001-1532789482
RUNJOBID= node104-1532774598-23261
PBS_JOBID= 21022461
Free space on /tmp= 48164 MiB

SOLVER NAME= Solver of Xavier Schul & Yvhan Smal 2018-04-28
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-02-0250_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299001-1532789482/watcher-4299001-1532789482 -o /tmp/evaluation-result-4299001-1532789482/solver-4299001-1532789482 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532774598-23261 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4299001-1532789482.xml

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

MD5SUM BENCH= 24bf88c1c49a1faaa01f312934ed4415
RANDOM SEED=1726711838

node104.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.11
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.11
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.11
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.11
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:        24949100 kB
MemAvailable:   28970972 kB
Buffers:          154068 kB
Cached:          4120428 kB
SwapCached:           12 kB
Active:          5081648 kB
Inactive:        2221680 kB
Active(anon):    2983676 kB
Inactive(anon):    73040 kB
Active(file):    2097972 kB
Inactive(file):  2148640 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108860 kB
SwapFree:       67108532 kB
Dirty:            185012 kB
Writeback:             0 kB
AnonPages:       3036368 kB
Mapped:            52672 kB
Shmem:             25060 kB
Slab:             210604 kB
SReclaimable:     182192 kB
SUnreclaim:        28412 kB
KernelStack:        3504 kB
PageTables:        11140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3661376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2963456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48064 MiB
End job on node104 at 2018-07-28 17:32:08