Trace number 4299000

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
slowpoke 2018-04-29SAT (TO)201740834 2520.14 2483.16

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.12/0.13	c version: 2018-04-11
0.12/0.13	c seed: 1811631
0.12/0.13	c timeout: 2520
0.12/0.13	c memlimit: -1
0.12/0.13	c nbcore: -1
58.21/35.74	o 201740874
58.21/35.76	o 201740870
58.21/35.76	o 201740868
58.21/35.79	o 201740867
58.55/35.99	o 201740864
66.64/43.96	o 201740859
66.89/44.15	o 201740855
109.98/86.33	o 201740854
110.54/86.81	o 201740853
118.68/94.89	o 201740852
119.13/95.28	o 201740851
119.13/95.28	o 201740850
127.24/103.38	o 201740844
143.89/119.97	o 201740834
2520.06/2483.11	s SATISFIABLE
2520.06/2483.12	v <instantiation>
2520.06/2483.12	v 	<list>
2520.06/2483.12	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.06/2483.12	v 	</list>
2520.06/2483.12	v 	<values>
2520.06/2483.12	v 		2452 2548 2604 2348 2616 2300 2492 2392 2280 2300 2632 2284 2616 2520 2376 2464 2492 2508 2584 2636 2448 2540 2516 2616 2296 2368 2336 2280 2428 2516 2512 2284 2392 2440 2256 2508 2560 2412 2596 2296 2564 2240 2432 2552 2280 2624 2412 2556 2324 2296 2516 2576 2292 2624 2612 2516 2524 2452 2580 2460 2544 2392 2532 2556 2468 2564 2444 2380 2244 2300 2340 2440 2372 2588 2488 2524 2616 2316 2460 2472 2584 2556 2572 2652 2556 2620 2480 2420 2636 2496 2524 2240 2448 2280 2440 2404 2240 2596 2432 2376 2656 2380 2320 2308 2616 2644 2552 2564 2508 2512 2500 2364 2612 2576 2616 2596 2320 2648 2432 2360 2280 2340 2432 2360 2636 2480 2656 2472 2444 2452 2296 2628 2256 2580 2580 2656 2596 2592 2404 2652 2356 2468 2616 2468 2240 2432 2432 2616 2620 2576 2512 2420 2320 2572 2584 2252 2568 2304 2596 2364 2632 2616 2480 2604 2492 2340 2604 2496 2576 2340 2264 2556 2392 2612 2488 2484 2572 2500 2556 2428 2472 2388 2608 2324 2640 2612 2600 2616 2336 2300 2516 2656 2504 2612 2576 2312 2560 2252 2536 2480 2652 2596 2472 2416 2612 2592 2552 2500 2556 2292 2436 2620 2456 2460 2400 2656 2428 2476 2420 2280 2240 2408 2592 2572 2260 2292 2512 2600 2644 2608 2564 2352 2596 2392 2396 2380 2372 2388 2440 2396 2592 2520 2556 2292 2536 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 1 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 1 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 0 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 0 1 0 0 0 2 0 0 0 0 0 0 0 1 0 0 6 1 0 0 7 0 1 5 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 0 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 6 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 8 0 0 0 6 1 0 0 0 0 2 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 1 0 0 0 1 0 1 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 6 0 0 0 0 0 1 9 0 0 0 0 0 0 0 0 0 0 0 0 1 4 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 1 5 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 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 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 7 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 0 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 1 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 0 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 4 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 0 1 0 8 9 0 8 0 0 0 7 5 0 0 0 0 0 4 0 0 6 0 0 0 0 0 0 0 0 1 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 1 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 0 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 0 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 1 0 1 0 9 0 5 0 0 0 0 1 0 8 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 0 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 3 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 1 9 0 0 0 5 9 4 0 0 7 0 2 0 1 7 9 0 3 0 1 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 64 148 204 68 32 156 88 88 52 24 188 88 104 208 64 108 44 256 192 12 192 40 172 224 364 312 224 144 116 288 268 276 208 56 36 68 148 172 32 44 120 308 44 352 116 200 60 156 208 356 68 132 264 288 316 268 308 136 24 4 44 104 116 104 252 156 68 20 60 64 104 160 116 172 40 132 76 180 12 52 28 36 248 264 112 204 252 60 352 228 244 152 216 332 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 144 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 84 44 44 168 116 156 104 52 72 188 8 92 36 144 52 212 84 248 152 252 212 88 152 156 136 24 84 232 96 136 224 48 264 212 148 144 84 136 88 52 144 12 112 292 108 164 188 380 244 296 24 24 312 136 180 44 68 76 44 108 148 156 32 116 72 16 52 68 36 72 60 236 64 56 196 104 16 96 84 56 320 36 168 116 256 376 60 188 316 20 324 244 136 136 184 124 100 92 220 244 248 268 264 248 204 240 68 88 20 12 116 252 236 96 136 96 236 32 148 220 304 84 100 296 56 316 292 160 88 104 60 44 84 72 96 64 16 276 100 60 88 40 144 40 132 144 108 64 32 132 140 232 296 136 296 184 216 104 132 220 52 196 80 28 56 264 224 152 180 180 112 204 160 44 112 92 196 180 156 216 176 136 64 32 180 260 164 380 148 104 212 4 36 140 100 44 184 88 148 216 316 220 88 92 56 56 256 68 100 152 300 48 164 144 80 296 280 216 96 276 152 164 0 20 100 256 124 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 52 216 148 160 28 80 68 44 120 216 104 96 92 132 276 12 264 300 296 376 32 272 256 112 144 172 204 28 196 124 344 16 32 32 176 172 96 52 40 92 172 192 112 244 164 24 196 184 136 124 176 200 316 28 56 128 36 160 176 44 292 288 288 136 76 268 64 176 68 112 268 8 40 80 160 4 28 140 44 76 140 284 20 296 236 4 236 64 80 156 100 112 284 364 156 248 144 48 148 232 152 80 296 304 40 40 140 108 112 236 276 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 68 184 288 8 88 40 28 104 64 96 100 104 44 48 52 60 116 244 112 184 52 220 96 264 120 12 200 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 176 64 12 176 168 212 92 112 144 60 16 72 272 112 224 176 48 392 352 404 116 412 12 60 312 92 316 16 16 80 200 4 64 332 316 236 352 92 88 100 108 256 20 112 64 16 228 24 272 112 212 200 180 76 60 136 68 192 128 108 24 156 48 324 116 12 348 296 96 132 8 168 20 56 84 28 204 56 52 204 52 156 92 260 276 4 128 292 156 8 24 260 268 132 36 116 280 300 24 76 336 236 176 208 72 196 180 132 140 132 104 148 232 40 108 40 96 168 28 32 180 140 344 68 16 192 20 216 76 48 100 148 16 8 92 120 276 44 40 28 56 156 200 96 204 100 88 304 84 100 16 168 264 200 380 340 188 28 4 36 192 380 48 60 44 116 132 128 120 44 240 128 112 148 180 196 184 72 52 396 204 276 20 296 312 164 20 40 56 160 80 176 64 120 196 16 68 100 284 204 216 244 88 76 72 376 212 352 376 336 320 188 8 68 104 4 164 192 124 316 164 336 24 312 156 128 116 8 96 132 72 208 248 216 152 16 116 416 408 356 412 12 240 248 404 164 60 340 0 292 60 188 336 224 56 180 136 36 168 124 88 240 176 36 280 124 240 180 20 224 212 300 100 356 344 200 176 216 232 240 20 228 80 68 256 320 20 88 336 96 296 268 344 284 44 64 172 12 120 136 104 132 284 392 280 216 44 308 84 256 12 76 56 64 60 80 260 32 160 68 8 252 92 172 64 120 96 24 120 136 68 84 256 72 120 32 28 12 144 48 180 140 156 204 68 136 132 72 152 104 252 116 140 52 44 160 20 144 248 44 212 352 220 196 256 56 40 76 188 32 20 56 196 276 144 356 84 204 296 120 244 76 336 112 44 332 352 20 256 32 348 204 92 184 180 140 100 220 236 208 196 280 256 248 80 80 84 112 140 216 28 220 140 152 56 84 48 172 52 212 208 20 296 232 176 4 316 20 28 36 200 356 64 20 92 56 132 40 64 224 268 344 256 60 136 52 84 148 68 116 36 144 60 188 160 140 140 172 136 336 320 308 32 344 356 12 324 112 52 232 248 360 348 316 68 344 396 300 340 140 116 36 28 20 244 288 184 140 76 100 4 192 32 36 120 60 40 228 344 144 136 128 20 112 272 80 136 212 88 168 24 76 100 152 300 264 80 100 44 96 288 84 44 28 28 52 136 312 208 356 104 220 68 104 220 56 168 48 32 140 184 184 276 120 188 8 336 16 244 228 120 36 84 220 248 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 36 256 96 284 56 60 204 152 288 136 144 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 48 184 172 88 164 40 36 204 160 52 176 96 100 52 292 224 344 48 380 124 132 56 56 220 304 200 88 44 20 48 168 24 124 44 36 28 280 136 332 72 84 164 104 144 84 264 92 188 92 136 104 220 80 148 232 136 124 100 116 64 208 268 220 148 172 368 48 192 72 268 32 212 260 244 264 96 360 44 52 228 40 104 48 96 36 80 44 104 60 76 324 56 108 112 152 180 84 308 36 140 164 40 204 84 60 236 124 216 120 16 184 52 24 48 216 320 136 52 112 40 120 156 128 40 184 20 80 228 76 240 64 48 76 84 208 304 64 172 224 176 100 128 320 256 184 212 304 228 168 44 264 60 8 44 108 260 236 140 224 40 120 324 
2520.06/2483.12	v 	</values>
2520.06/2483.12	v </instantiation>

Verifier Data

OK	201740834

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299000-1532797006/watcher-4299000-1532797006 -o /tmp/evaluation-result-4299000-1532797006/solver-4299000-1532797006 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532774532-6235 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299000-1532797006.xml --timelimit 2520 

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

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

solver pid=8638, runsolver pid=8635

[startup+0.101476 s]*
/proc/loadavg: 1.68 1.64 1.63 3/219 8653
/proc/meminfo: memFree=27749280/32770624 swapFree=67108744/67108860
[pid=8638] ppid=8635 vsize=10661056 memory=27528 CPUtime=0.12 cores=0,2,4,6
/proc/8638/stat : 8638 (java) S 8635 8638 6204 0 -1 1077944320 5295 0 0 0 11 1 0 0 20 0 15 0 97263869 10916921344 6882 33554432000 4194304 4196468 140720771041424 140720771023968 140673600548599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
/proc/8638/statm: 2665264 6882 2860 1 0 2627263 0
[pid=8638/tid=8640] ppid=8635 vsize=10661056 memory=-8393405078024582336 CPUtime=0.09 cores=0,2,4,6
/proc/8638/task/8640/stat : 8640 (java) R 8635 8638 6204 0 -1 4202560 3167 0 0 0 9 0 0 0 20 0 15 0 97263869 10916921344 6882 33554432000 4194304 4196468 140720771041424 140673604777088 140673600560534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8641] ppid=8635 vsize=10661056 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8641/stat : 8641 (java) S 8635 8638 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97263870 10916921344 6882 33554432000 4194304 4196468 140720771041424 140673537239440 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8642] ppid=8635 vsize=10661056 memory=140096363370112 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8642/stat : 8642 (java) S 8635 8638 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97263870 10916921344 6882 33554432000 4194304 4196468 140720771041424 140673536186640 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8643] ppid=8635 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8643/stat : 8643 (java) S 8635 8638 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97263870 10916921344 6882 33554432000 4194304 4196468 140720771041424 140673535134352 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8644] ppid=8635 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8644/stat : 8644 (java) S 8635 8638 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97263870 10916921344 6882 33554432000 4194304 4196468 140720771041424 140673204218384 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8645] ppid=8635 vsize=10661056 memory=140096363370112 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8645/stat : 8645 (java) S 8635 8638 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97263871 10916921344 6882 33554432000 4194304 4196468 140720771041424 140673092950640 140673600559746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8646] ppid=8635 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8646/stat : 8646 (java) S 8635 8638 6204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97263872 10916921344 6882 33554432000 4194304 4196468 140720771041424 140673091896608 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8647] ppid=8635 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8647/stat : 8647 (java) S 8635 8638 6204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97263872 10916921344 6882 33554432000 4194304 4196468 140720771041424 140673090844272 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8648] ppid=8635 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8648/stat : 8648 (java) S 8635 8638 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97263875 10916921344 6882 33554432000 4194304 4196468 140720771041424 140673089792592 140673600567195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8649] ppid=8635 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8649/stat : 8649 (java) S 8635 8638 6204 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 97263875 10916921344 6882 33554432000 4194304 4196468 140720771041424 140673088739440 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8650] ppid=8635 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8650/stat : 8650 (java) S 8635 8638 6204 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 97263875 10916921344 6882 33554432000 4194304 4196468 140720771041424 140673087686640 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8651] ppid=8635 vsize=10661056 memory=140096363370112 CPUtime=0.01 cores=0,2,4,6
/proc/8638/task/8651/stat : 8651 (java) R 8635 8638 6204 0 -1 4202560 319 0 0 0 1 0 0 0 20 0 15 0 97263875 10916921344 6882 33554432000 4194304 4196468 140720771041424 140673086634352 140673600560534 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8652] ppid=8635 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8652/stat : 8652 (java) S 8635 8638 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97263875 10916921344 6882 33554432000 4194304 4196468 140720771041424 140673085581792 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8653] ppid=8635 vsize=10661056 memory=140096363370112 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8653/stat : 8653 (java) S 8635 8638 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97263875 10916921344 6882 33554432000 4194304 4196468 140720771041424 140673084529584 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27528 KiB

[startup+0.21071 s]*
/proc/loadavg: 1.68 1.64 1.63 4/219 8653
/proc/meminfo: memFree=27737776/32770624 swapFree=67108744/67108860
[pid=8638] ppid=8635 vsize=10661056 memory=40540 CPUtime=0.34 cores=0,2,4,6
/proc/8638/stat : 8638 (java) S 8635 8638 6204 0 -1 1077944320 8194 0 0 0 32 2 0 0 20 0 15 0 97263869 10916921344 10135 33554432000 4194304 4196468 140720771041424 140720771023968 140673600548599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
/proc/8638/statm: 2665264 10135 3007 1 0 2627263 0
[pid=8638/tid=8640] ppid=8635 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/8638/task/8640/stat : 8640 (java) R 8635 8638 6204 0 -1 4202560 5126 0 0 0 19 1 0 0 20 0 15 0 97263869 10916921344 10135 33554432000 4194304 4196468 140720771041424 140673604779840 140673584629086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8641] ppid=8635 vsize=10661056 memory=364 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8641/stat : 8641 (java) S 8635 8638 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97263870 10916921344 10135 33554432000 4194304 4196468 140720771041424 140673537239440 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8642] ppid=8635 vsize=10661056 memory=140096363379003 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8642/stat : 8642 (java) S 8635 8638 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97263870 10916921344 10135 33554432000 4194304 4196468 140720771041424 140673536186640 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8643] ppid=8635 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8643/stat : 8643 (java) S 8635 8638 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97263870 10916921344 10135 33554432000 4194304 4196468 140720771041424 140673535134352 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8644] ppid=8635 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8644/stat : 8644 (java) S 8635 8638 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97263870 10916921344 10135 33554432000 4194304 4196468 140720771041424 140673204218384 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8645] ppid=8635 vsize=10661056 memory=140096363370112 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8645/stat : 8645 (java) S 8635 8638 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97263871 10916921344 10135 33554432000 4194304 4196468 140720771041424 140673092950640 140673600559746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8646] ppid=8635 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8646/stat : 8646 (java) S 8635 8638 6204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97263872 10916921344 10135 33554432000 4194304 4196468 140720771041424 140673091896608 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8647] ppid=8635 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8647/stat : 8647 (java) S 8635 8638 6204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97263872 10916921344 10135 33554432000 4194304 4196468 140720771041424 140673090844272 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8648] ppid=8635 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8648/stat : 8648 (java) S 8635 8638 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97263875 10916921344 10135 33554432000 4194304 4196468 140720771041424 140673089792592 140673600567195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8649] ppid=8635 vsize=10661056 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8638/task/8649/stat : 8649 (java) R 8635 8638 6204 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 15 0 97263875 10916921344 10135 33554432000 4194304 4196468 140720771041424 140673088739440 140673600559746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8650] ppid=8635 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8638/task/8650/stat : 8650 (java) R 8635 8638 6204 0 -1 4202560 441 0 0 0 2 0 0 0 20 0 15 0 97263875 10916921344 10135 33554432000 4194304 4196468 140720771041424 140673087672104 140673592837981 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8651] ppid=8635 vsize=10661056 memory=140096363370112 CPUtime=0.08 cores=0,2,4,6
/proc/8638/task/8651/stat : 8651 (java) R 8635 8638 6204 0 -1 4202560 900 0 0 0 8 0 0 0 20 0 15 0 97263875 10916921344 10135 33554432000 4194304 4196468 140720771041424 140673086631288 140673585074968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8652] ppid=8635 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8652/stat : 8652 (java) S 8635 8638 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97263875 10916921344 10135 33554432000 4194304 4196468 140720771041424 140673085581792 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8653] ppid=8635 vsize=10661056 memory=140096363370112 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8653/stat : 8653 (java) S 8635 8638 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97263875 10916921344 10135 33554432000 4194304 4196468 140720771041424 140673084529584 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40540 KiB

[startup+0.310596 s]*
/proc/loadavg: 1.68 1.64 1.63 4/219 8653
/proc/meminfo: memFree=27678884/32770624 swapFree=67108744/67108860
[pid=8638] ppid=8635 vsize=10661056 memory=106720 CPUtime=0.58 cores=0,2,4,6
/proc/8638/stat : 8638 (java) S 8635 8638 6204 0 -1 1077944320 9372 0 0 0 54 4 0 0 20 0 15 0 97263869 10916921344 26680 33554432000 4194304 4196468 140720771041424 140720771023968 140673600548599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
/proc/8638/statm: 2665264 26680 3042 1 0 2627263 0
[pid=8638/tid=8640] ppid=8635 vsize=10661056 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/8638/task/8640/stat : 8640 (java) R 8635 8638 6204 0 -1 4202560 5171 0 0 0 27 3 0 0 20 0 15 0 97263869 10916921344 26680 33554432000 4194304 4196468 140720771041424 140673604786752 140673215177514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8641] ppid=8635 vsize=10661056 memory=4294980952 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8641/stat : 8641 (java) S 8635 8638 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97263870 10916921344 26680 33554432000 4194304 4196468 140720771041424 140673537239440 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8642] ppid=8635 vsize=10661056 memory=140096363955337 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8642/stat : 8642 (java) S 8635 8638 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97263870 10916921344 26680 33554432000 4194304 4196468 140720771041424 140673536186640 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8643] ppid=8635 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8643/stat : 8643 (java) S 8635 8638 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97263870 10916921344 27192 33554432000 4194304 4196468 140720771041424 140673535134352 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8644] ppid=8635 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8644/stat : 8644 (java) S 8635 8638 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97263870 10916921344 27192 33554432000 4194304 4196468 140720771041424 140673204218384 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8645] ppid=8635 vsize=10661056 memory=140096363370112 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8645/stat : 8645 (java) S 8635 8638 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97263871 10916921344 27192 33554432000 4194304 4196468 140720771041424 140673092950640 140673600559746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8646] ppid=8635 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8646/stat : 8646 (java) S 8635 8638 6204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97263872 10916921344 27192 33554432000 4194304 4196468 140720771041424 140673091896608 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8647] ppid=8635 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8647/stat : 8647 (java) S 8635 8638 6204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97263872 10916921344 27192 33554432000 4194304 4196468 140720771041424 140673090844272 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8648] ppid=8635 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8648/stat : 8648 (java) S 8635 8638 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97263875 10916921344 27192 33554432000 4194304 4196468 140720771041424 140673089792592 140673600567195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8649] ppid=8635 vsize=10661056 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/8638/task/8649/stat : 8649 (java) S 8635 8638 6204 0 -1 1077944384 734 0 0 0 6 0 0 0 20 0 15 0 97263875 10916921344 27192 33554432000 4194304 4196468 140720771041424 140673088739440 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8650] ppid=8635 vsize=10661056 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/8638/task/8650/stat : 8650 (java) R 8635 8638 6204 0 -1 4202560 1176 0 0 0 9 0 0 0 20 0 15 0 97263875 10916921344 27192 33554432000 4194304 4196468 140720771041424 140673087667864 140673581301048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8651] ppid=8635 vsize=10661056 memory=140096363370112 CPUtime=0.12 cores=0,2,4,6
/proc/8638/task/8651/stat : 8651 (java) S 8635 8638 6204 0 -1 1077944384 931 0 0 0 12 0 0 0 20 0 15 0 97263875 10916921344 27192 33554432000 4194304 4196468 140720771041424 140673086634352 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8652] ppid=8635 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8652/stat : 8652 (java) S 8635 8638 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97263875 10916921344 27192 33554432000 4194304 4196468 140720771041424 140673085581792 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8653] ppid=8635 vsize=10661056 memory=140096363370112 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8653/stat : 8653 (java) S 8635 8638 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97263875 10916921344 27192 33554432000 4194304 4196468 140720771041424 140673084529584 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 106720 KiB

[startup+0.710212 s]
/proc/loadavg: 1.68 1.64 1.63 5/219 8653
/proc/meminfo: memFree=27479432/32770624 swapFree=67108744/67108860
[pid=8638] ppid=8635 vsize=10661056 memory=484636 CPUtime=1.68 cores=0,2,4,6
/proc/8638/stat : 8638 (java) S 8635 8638 6204 0 -1 1077944320 13221 0 0 0 131 37 0 0 20 0 15 0 97263869 10916921344 121159 33554432000 4194304 4196468 140720771041424 140720771023968 140673600548599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
/proc/8638/statm: 2665264 121159 3087 1 0 2627263 0
[pid=8638/tid=8640] ppid=8635 vsize=10661056 memory=1236 CPUtime=0.53 cores=0,2,4,6
/proc/8638/task/8640/stat : 8640 (java) S 8635 8638 6204 0 -1 1077944384 5203 0 0 0 47 6 0 0 20 0 15 0 97263869 10916921344 121159 33554432000 4194304 4196468 140720771041424 140673604787856 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8641] ppid=8635 vsize=10661056 memory=16132 CPUtime=0.13 cores=0,2,4,6
/proc/8638/task/8641/stat : 8641 (java) R 8635 8638 6204 0 -1 4202560 433 0 0 0 7 6 0 0 20 0 15 0 97263870 10916921344 121159 33554432000 4194304 4196468 140720771041424 140673537239640 140673593651571 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8642] ppid=8635 vsize=10661056 memory=4052 CPUtime=0.12 cores=0,2,4,6
/proc/8638/task/8642/stat : 8642 (java) R 8635 8638 6204 0 -1 4202560 254 0 0 0 5 7 0 0 20 0 15 0 97263870 10916921344 121159 33554432000 4194304 4196468 140720771041424 140673536186640 140673593645300 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8643] ppid=8635 vsize=10661056 memory=644 CPUtime=0.12 cores=0,2,4,6
/proc/8638/task/8643/stat : 8643 (java) R 8635 8638 6204 0 -1 4202560 353 0 0 0 5 7 0 0 20 0 15 0 97263870 10916921344 121159 33554432000 4194304 4196468 140720771041424 140673535134352 140673593651578 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8644] ppid=8635 vsize=10661056 memory=1800 CPUtime=0.12 cores=0,2,4,6
/proc/8638/task/8644/stat : 8644 (java) R 8635 8638 6204 0 -1 4202560 417 0 0 0 5 7 0 0 20 0 15 0 97263870 10916921344 121159 33554432000 4194304 4196468 140720771041424 140673204218384 140673593648299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8645] ppid=8635 vsize=10661056 memory=956 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8645/stat : 8645 (java) S 8635 8638 6204 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 97263871 10916921344 121159 33554432000 4194304 4196468 140720771041424 140673092949184 140673600558805 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8646] ppid=8635 vsize=10661056 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8646/stat : 8646 (java) S 8635 8638 6204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97263872 10916921344 121159 33554432000 4194304 4196468 140720771041424 140673091896608 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8647] ppid=8635 vsize=10661056 memory=928 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8647/stat : 8647 (java) S 8635 8638 6204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97263872 10916921344 121159 33554432000 4194304 4196468 140720771041424 140673090844272 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8648] ppid=8635 vsize=10661056 memory=6153431502485415525 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8648/stat : 8648 (java) S 8635 8638 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97263875 10916921344 121159 33554432000 4194304 4196468 140720771041424 140673089792592 140673600567195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8649] ppid=8635 vsize=10661056 memory=6081108994580048232 CPUtime=0.19 cores=0,2,4,6
/proc/8638/task/8649/stat : 8649 (java) S 8635 8638 6204 0 -1 1077944384 1303 0 0 0 19 0 0 0 20 0 15 0 97263875 10916921344 121159 33554432000 4194304 4196468 140720771041424 140673088739440 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8650] ppid=8635 vsize=10661056 memory=6154282490091891024 CPUtime=0.26 cores=0,2,4,6
/proc/8638/task/8650/stat : 8650 (java) S 8635 8638 6204 0 -1 1077944384 2741 0 0 0 26 0 0 0 20 0 15 0 97263875 10916921344 121159 33554432000 4194304 4196468 140720771041424 140673087686640 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8651] ppid=8635 vsize=10661056 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/8638/task/8651/stat : 8651 (java) S 8635 8638 6204 0 -1 1077944384 1065 0 0 0 13 0 0 0 20 0 15 0 97263875 10916921344 121159 33554432000 4194304 4196468 140720771041424 140673086634352 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8652] ppid=8635 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8652/stat : 8652 (java) S 8635 8638 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97263875 10916921344 121159 33554432000 4194304 4196468 140720771041424 140673085581792 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8653] ppid=8635 vsize=10661056 memory=10588 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8653/stat : 8653 (java) S 8635 8638 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97263875 10916921344 121159 33554432000 4194304 4196468 140720771041424 140673084529584 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 484636 KiB

[startup+1.50124 s]
/proc/loadavg: 1.86 1.67 1.65 5/219 8653
/proc/meminfo: memFree=27285004/32770624 swapFree=67108744/67108860
[pid=8638] ppid=8635 vsize=10661132 memory=729068 CPUtime=3.84 cores=0,2,4,6
/proc/8638/stat : 8638 (java) S 8635 8638 6204 0 -1 1077944320 16328 0 0 0 330 54 0 0 20 0 15 0 97263869 10916999168 182267 33554432000 4194304 4196468 140720771041424 140720771023968 140673600548599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
/proc/8638/statm: 2665283 182267 3147 1 0 2627263 0
[pid=8638/tid=8640] ppid=8635 vsize=10661132 memory=708148 CPUtime=1.21 cores=0,2,4,6
/proc/8638/task/8640/stat : 8640 (java) R 8635 8638 6204 0 -1 4202560 5602 0 0 0 111 10 0 0 20 0 15 0 97263869 10916999168 182267 33554432000 4194304 4196468 140720771041424 140673604785000 140673217583275 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8641] ppid=8635 vsize=10661132 memory=8112282956445269571 CPUtime=0.21 cores=0,2,4,6
/proc/8638/task/8641/stat : 8641 (java) S 8635 8638 6204 0 -1 1077944384 592 0 0 0 12 9 0 0 20 0 15 0 97263870 10916999168 182267 33554432000 4194304 4196468 140720771041424 140673537239440 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8642] ppid=8635 vsize=10661132 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/8638/task/8642/stat : 8642 (java) S 8635 8638 6204 0 -1 1077944384 410 0 0 0 12 11 0 0 20 0 15 0 97263870 10916999168 182267 33554432000 4194304 4196468 140720771041424 140673536186640 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8643] ppid=8635 vsize=10661132 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/8638/task/8643/stat : 8643 (java) S 8635 8638 6204 0 -1 1077944384 501 0 0 0 12 11 0 0 20 0 15 0 97263870 10916999168 182267 33554432000 4194304 4196468 140720771041424 140673535134352 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8644] ppid=8635 vsize=10661132 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/8638/task/8644/stat : 8644 (java) S 8635 8638 6204 0 -1 1077944384 454 0 0 0 10 9 0 0 20 0 15 0 97263870 10916999168 182267 33554432000 4194304 4196468 140720771041424 140673204218384 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8645] ppid=8635 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8645/stat : 8645 (java) S 8635 8638 6204 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 15 0 97263871 10916999168 182267 33554432000 4194304 4196468 140720771041424 140673092950640 140673600559746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0

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

/proc/8638/task/8640/stat : 8640 (java) R 8635 8638 6204 0 -1 4202560 1521872 0 0 0 236988 182 0 0 20 0 15 0 97263869 10916999168 1592392 33554432000 4194304 4196468 140720771041424 140673604789520 140673216644051 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8641] ppid=8635 vsize=10661132 memory=6369568 CPUtime=9.9 cores=0,2,4,6
/proc/8638/task/8641/stat : 8641 (java) S 8635 8638 6204 0 -1 1077944384 95939 0 0 0 861 129 0 0 20 0 15 0 97263870 10916999168 1592392 33554432000 4194304 4196468 140720771041424 140673537239440 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8642] ppid=8635 vsize=10661132 memory=6369568 CPUtime=9.96 cores=0,2,4,6
/proc/8638/task/8642/stat : 8642 (java) S 8635 8638 6204 0 -1 1077944384 97448 0 0 0 864 132 0 0 20 0 15 0 97263870 10916999168 1592392 33554432000 4194304 4196468 140720771041424 140673536186640 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8643] ppid=8635 vsize=10661132 memory=280192526481024 CPUtime=9.95 cores=0,2,4,6
/proc/8638/task/8643/stat : 8643 (java) S 8635 8638 6204 0 -1 1077944384 94329 0 0 0 865 130 0 0 20 0 15 0 97263870 10916999168 1592392 33554432000 4194304 4196468 140720771041424 140673535134352 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8644] ppid=8635 vsize=10661132 memory=6377264 CPUtime=9.89 cores=0,2,4,6
/proc/8638/task/8644/stat : 8644 (java) S 8635 8638 6204 0 -1 1077944384 90960 0 0 0 863 126 0 0 20 0 15 0 97263870 10916999168 1592392 33554432000 4194304 4196468 140720771041424 140673204218384 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8645] ppid=8635 vsize=10661132 memory=6369568 CPUtime=0.53 cores=0,2,4,6
/proc/8638/task/8645/stat : 8645 (java) S 8635 8638 6204 0 -1 1077944384 22578 0 0 0 43 10 0 0 20 0 15 0 97263871 10916999168 1592392 33554432000 4194304 4196468 140720771041424 140673092950640 140673600559746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8646] ppid=8635 vsize=10661132 memory=6369568 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8646/stat : 8646 (java) S 8635 8638 6204 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 97263872 10916999168 1592392 33554432000 4194304 4196468 140720771041424 140673091896672 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8647] ppid=8635 vsize=10661132 memory=6369568 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8647/stat : 8647 (java) S 8635 8638 6204 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 97263872 10916999168 1592392 33554432000 4194304 4196468 140720771041424 140673090844272 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8648] ppid=8635 vsize=10661132 memory=6369568 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8648/stat : 8648 (java) S 8635 8638 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97263875 10916999168 1592392 33554432000 4194304 4196468 140720771041424 140673089792592 140673600567195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8649] ppid=8635 vsize=10661132 memory=6377264 CPUtime=2.75 cores=0,2,4,6
/proc/8638/task/8649/stat : 8649 (java) S 8635 8638 6204 0 -1 1077944384 15452 0 0 0 273 2 0 0 20 0 15 0 97263875 10916999168 1592392 33554432000 4194304 4196468 140720771041424 140673088739440 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8650] ppid=8635 vsize=10661132 memory=4096 CPUtime=2.21 cores=0,2,4,6
/proc/8638/task/8650/stat : 8650 (java) S 8635 8638 6204 0 -1 1077944384 11679 0 0 0 219 2 0 0 20 0 15 0 97263875 10916999168 1592392 33554432000 4194304 4196468 140720771041424 140673087686640 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8651] ppid=8635 vsize=10661132 memory=6369568 CPUtime=0.65 cores=0,2,4,6
/proc/8638/task/8651/stat : 8651 (java) S 8635 8638 6204 0 -1 1077944384 9368 0 0 0 63 2 0 0 20 0 15 0 97263875 10916999168 1592392 33554432000 4194304 4196468 140720771041424 140673086634352 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8652] ppid=8635 vsize=10661132 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8652/stat : 8652 (java) S 8635 8638 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97263875 10916999168 1592392 33554432000 4194304 4196468 140720771041424 140673085581792 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8653] ppid=8635 vsize=10661132 memory=6369568 CPUtime=1.36 cores=0,2,4,6
/proc/8638/task/8653/stat : 8653 (java) S 8635 8638 6204 0 -1 1077944384 2104 0 0 0 67 69 0 0 20 0 15 0 97263875 10916999168 1592392 33554432000 4194304 4196468 140720771041424 140673084529584 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
Current children cumulated CPU time: 2419 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 6369568 KiB

[startup+2442.3 s]
/proc/loadavg: 1.75 1.72 1.72 3/219 8755
/proc/meminfo: memFree=21481768/32770624 swapFree=67108744/67108860
[pid=8638] ppid=8635 vsize=10661132 memory=6365976 CPUtime=2479.11 cores=0,2,4,6
/proc/8638/stat : 8638 (java) S 8635 8638 6204 0 -1 1077944320 1974904 0 0 0 247136 775 0 0 20 0 15 0 97263869 10916999168 1591494 33554432000 4194304 4196468 140720771041424 140720771023968 140673600548599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
/proc/8638/statm: 2665283 1591494 3203 1 0 2627263 0
[pid=8638/tid=8640] ppid=8635 vsize=10661132 memory=6365976 CPUtime=2431.68 cores=0,2,4,6
/proc/8638/task/8640/stat : 8640 (java) R 8635 8638 6204 0 -1 4202560 1527335 0 0 0 242984 184 0 0 20 0 15 0 97263869 10916999168 1591494 33554432000 4194304 4196468 140720771041424 140673604789520 140673221757562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8641] ppid=8635 vsize=10661132 memory=6369568 CPUtime=9.93 cores=0,2,4,6
/proc/8638/task/8641/stat : 8641 (java) S 8635 8638 6204 0 -1 1077944384 97847 0 0 0 863 130 0 0 20 0 15 0 97263870 10916999168 1591494 33554432000 4194304 4196468 140720771041424 140673537239440 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8642] ppid=8635 vsize=10661132 memory=6369568 CPUtime=9.98 cores=0,2,4,6
/proc/8638/task/8642/stat : 8642 (java) S 8635 8638 6204 0 -1 1077944384 98855 0 0 0 866 132 0 0 20 0 15 0 97263870 10916999168 1591494 33554432000 4194304 4196468 140720771041424 140673536186640 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8643] ppid=8635 vsize=10661132 memory=6369568 CPUtime=9.98 cores=0,2,4,6
/proc/8638/task/8643/stat : 8643 (java) S 8635 8638 6204 0 -1 1077944384 95871 0 0 0 868 130 0 0 20 0 15 0 97263870 10916999168 1591494 33554432000 4194304 4196468 140720771041424 140673535134352 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8644] ppid=8635 vsize=10661132 memory=6369568 CPUtime=9.91 cores=0,2,4,6
/proc/8638/task/8644/stat : 8644 (java) S 8635 8638 6204 0 -1 1077944384 92056 0 0 0 865 126 0 0 20 0 15 0 97263870 10916999168 1591494 33554432000 4194304 4196468 140720771041424 140673204218384 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8645] ppid=8635 vsize=10661132 memory=6365976 CPUtime=0.53 cores=0,2,4,6
/proc/8638/task/8645/stat : 8645 (java) S 8635 8638 6204 0 -1 1077944384 22811 0 0 0 43 10 0 0 20 0 15 0 97263871 10916999168 1591494 33554432000 4194304 4196468 140720771041424 140673092950640 140673600559746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8646] ppid=8635 vsize=10661132 memory=6365976 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8646/stat : 8646 (java) S 8635 8638 6204 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 97263872 10916999168 1591494 33554432000 4194304 4196468 140720771041424 140673091896672 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8647] ppid=8635 vsize=10661132 memory=6365976 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8647/stat : 8647 (java) S 8635 8638 6204 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 97263872 10916999168 1591494 33554432000 4194304 4196468 140720771041424 140673090844272 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8648] ppid=8635 vsize=10661132 memory=6365976 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8648/stat : 8648 (java) S 8635 8638 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97263875 10916999168 1591494 33554432000 4194304 4196468 140720771041424 140673089792592 140673600567195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8649] ppid=8635 vsize=10661132 memory=6365976 CPUtime=2.75 cores=0,2,4,6
/proc/8638/task/8649/stat : 8649 (java) S 8635 8638 6204 0 -1 1077944384 15458 0 0 0 273 2 0 0 20 0 15 0 97263875 10916999168 1591494 33554432000 4194304 4196468 140720771041424 140673088739440 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8650] ppid=8635 vsize=10661132 memory=6365976 CPUtime=2.21 cores=0,2,4,6
/proc/8638/task/8650/stat : 8650 (java) S 8635 8638 6204 0 -1 1077944384 11689 0 0 0 219 2 0 0 20 0 15 0 97263875 10916999168 1591494 33554432000 4194304 4196468 140720771041424 140673087686640 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8651] ppid=8635 vsize=10661132 memory=6365976 CPUtime=0.65 cores=0,2,4,6
/proc/8638/task/8651/stat : 8651 (java) S 8635 8638 6204 0 -1 1077944384 9372 0 0 0 63 2 0 0 20 0 15 0 97263875 10916999168 1591494 33554432000 4194304 4196468 140720771041424 140673086634352 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8652] ppid=8635 vsize=10661132 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8652/stat : 8652 (java) S 8635 8638 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97263875 10916999168 1591494 33554432000 4194304 4196468 140720771041424 140673085581792 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8653] ppid=8635 vsize=10661132 memory=8112282956445269571 CPUtime=1.39 cores=0,2,4,6
/proc/8638/task/8653/stat : 8653 (java) S 8635 8638 6204 0 -1 1077944384 2144 0 0 0 69 70 0 0 20 0 15 0 97263875 10916999168 1591494 33554432000 4194304 4196468 140720771041424 140673084529584 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
Current children cumulated CPU time: 2479.11 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 6365976 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2483.11 s]
/proc/loadavg: 1.64 1.69 1.71 3/219 8756
/proc/meminfo: memFree=21487368/32770624 swapFree=67108744/67108860
[pid=8638] ppid=8635 vsize=10661132 memory=6360332 CPUtime=2520.06 cores=0,2,4,6
/proc/8638/stat : 8638 (java) S 8635 8638 6204 0 -1 1077944320 1984486 0 0 0 251228 778 0 0 20 0 15 0 97263869 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140720771023968 140673600548599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
/proc/8638/statm: 2665283 1590083 3203 1 0 2627263 0
[pid=8638/tid=8640] ppid=8635 vsize=10661132 memory=6360332 CPUtime=2472.44 cores=0,2,4,6
/proc/8638/task/8640/stat : 8640 (java) R 8635 8638 6204 0 -1 4202560 1530142 0 0 0 247059 185 0 0 20 0 15 0 97263869 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673604789520 140673216644007 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8641] ppid=8635 vsize=10661132 memory=6360332 CPUtime=9.97 cores=0,2,4,6
/proc/8638/task/8641/stat : 8641 (java) S 8635 8638 6204 0 -1 1077944384 99888 0 0 0 867 130 0 0 20 0 15 0 97263870 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673537239440 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8642] ppid=8635 vsize=10661132 memory=6360332 CPUtime=10.02 cores=0,2,4,6
/proc/8638/task/8642/stat : 8642 (java) S 8635 8638 6204 0 -1 1077944384 100789 0 0 0 870 132 0 0 20 0 15 0 97263870 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673536186640 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8643] ppid=8635 vsize=10661132 memory=6360332 CPUtime=10.01 cores=0,2,4,6
/proc/8638/task/8643/stat : 8643 (java) S 8635 8638 6204 0 -1 1077944384 96964 0 0 0 871 130 0 0 20 0 15 0 97263870 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673535134352 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8644] ppid=8635 vsize=10661132 memory=6360332 CPUtime=9.95 cores=0,2,4,6
/proc/8638/task/8644/stat : 8644 (java) S 8635 8638 6204 0 -1 1077944384 93538 0 0 0 869 126 0 0 20 0 15 0 97263870 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673204218384 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8645] ppid=8635 vsize=10661132 memory=6360332 CPUtime=0.53 cores=0,2,4,6
/proc/8638/task/8645/stat : 8645 (java) S 8635 8638 6204 0 -1 1077944384 23032 0 0 0 43 10 0 0 20 0 15 0 97263871 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673092950640 140673600559746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8646] ppid=8635 vsize=10661132 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8646/stat : 8646 (java) S 8635 8638 6204 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 97263872 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673091896672 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8647] ppid=8635 vsize=10661132 memory=6365976 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8647/stat : 8647 (java) S 8635 8638 6204 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 97263872 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673090844272 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8648] ppid=8635 vsize=10661132 memory=6360332 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8648/stat : 8648 (java) S 8635 8638 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97263875 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673089792592 140673600567195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8649] ppid=8635 vsize=10661132 memory=6365976 CPUtime=2.75 cores=0,2,4,6
/proc/8638/task/8649/stat : 8649 (java) S 8635 8638 6204 0 -1 1077944384 15458 0 0 0 273 2 0 0 20 0 15 0 97263875 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673088739440 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8650] ppid=8635 vsize=10661132 memory=6365976 CPUtime=2.21 cores=0,2,4,6
/proc/8638/task/8650/stat : 8650 (java) S 8635 8638 6204 0 -1 1077944384 11689 0 0 0 219 2 0 0 20 0 15 0 97263875 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673087686640 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8651] ppid=8635 vsize=10661132 memory=6365976 CPUtime=0.65 cores=0,2,4,6
/proc/8638/task/8651/stat : 8651 (java) S 8635 8638 6204 0 -1 1077944384 9372 0 0 0 63 2 0 0 20 0 15 0 97263875 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673086634352 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8652] ppid=8635 vsize=10661132 memory=6365976 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8652/stat : 8652 (java) S 8635 8638 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97263875 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673085581792 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8653] ppid=8635 vsize=10661132 memory=4096 CPUtime=1.41 cores=0,2,4,6
/proc/8638/task/8653/stat : 8653 (java) S 8635 8638 6204 0 -1 1077944384 2148 0 0 0 70 71 0 0 20 0 15 0 97263875 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673084529584 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 6360332 KiB

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

[startup+2483.16 s]
# the end of solver process 8638 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2512.32 s, system=7.8162 s

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

[startup+2483.11 s]
/proc/loadavg: 1.64 1.69 1.71 3/219 8756
/proc/meminfo: memFree=21487368/32770624 swapFree=67108744/67108860
[pid=8638] ppid=8635 vsize=10661132 memory=6360332 CPUtime=2520.06 cores=0,2,4,6
/proc/8638/stat : 8638 (java) S 8635 8638 6204 0 -1 1077944320 1984486 0 0 0 251228 778 0 0 20 0 15 0 97263869 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140720771023968 140673600548599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
/proc/8638/statm: 2665283 1590083 3203 1 0 2627263 0
[pid=8638/tid=8640] ppid=8635 vsize=10661132 memory=6360332 CPUtime=2472.44 cores=0,2,4,6
/proc/8638/task/8640/stat : 8640 (java) R 8635 8638 6204 0 -1 4202560 1530142 0 0 0 247059 185 0 0 20 0 15 0 97263869 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673604789520 140673216644007 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8641] ppid=8635 vsize=10661132 memory=6360332 CPUtime=9.97 cores=0,2,4,6
/proc/8638/task/8641/stat : 8641 (java) S 8635 8638 6204 0 -1 1077944384 99888 0 0 0 867 130 0 0 20 0 15 0 97263870 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673537239440 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8642] ppid=8635 vsize=10661132 memory=6360332 CPUtime=10.02 cores=0,2,4,6
/proc/8638/task/8642/stat : 8642 (java) S 8635 8638 6204 0 -1 1077944384 100789 0 0 0 870 132 0 0 20 0 15 0 97263870 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673536186640 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8643] ppid=8635 vsize=10661132 memory=6360332 CPUtime=10.01 cores=0,2,4,6
/proc/8638/task/8643/stat : 8643 (java) S 8635 8638 6204 0 -1 1077944384 96964 0 0 0 871 130 0 0 20 0 15 0 97263870 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673535134352 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8644] ppid=8635 vsize=10661132 memory=6360332 CPUtime=9.95 cores=0,2,4,6
/proc/8638/task/8644/stat : 8644 (java) S 8635 8638 6204 0 -1 1077944384 93538 0 0 0 869 126 0 0 20 0 15 0 97263870 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673204218384 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8645] ppid=8635 vsize=10661132 memory=6360332 CPUtime=0.53 cores=0,2,4,6
/proc/8638/task/8645/stat : 8645 (java) S 8635 8638 6204 0 -1 1077944384 23032 0 0 0 43 10 0 0 20 0 15 0 97263871 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673092950640 140673600559746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8646] ppid=8635 vsize=10661132 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8646/stat : 8646 (java) S 8635 8638 6204 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 97263872 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673091896672 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8647] ppid=8635 vsize=10661132 memory=6365976 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8647/stat : 8647 (java) S 8635 8638 6204 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 97263872 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673090844272 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8648] ppid=8635 vsize=10661132 memory=6360332 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8648/stat : 8648 (java) S 8635 8638 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97263875 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673089792592 140673600567195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8649] ppid=8635 vsize=10661132 memory=6365976 CPUtime=2.75 cores=0,2,4,6
/proc/8638/task/8649/stat : 8649 (java) S 8635 8638 6204 0 -1 1077944384 15458 0 0 0 273 2 0 0 20 0 15 0 97263875 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673088739440 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8650] ppid=8635 vsize=10661132 memory=6365976 CPUtime=2.21 cores=0,2,4,6
/proc/8638/task/8650/stat : 8650 (java) S 8635 8638 6204 0 -1 1077944384 11689 0 0 0 219 2 0 0 20 0 15 0 97263875 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673087686640 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8651] ppid=8635 vsize=10661132 memory=6365976 CPUtime=0.65 cores=0,2,4,6
/proc/8638/task/8651/stat : 8651 (java) S 8635 8638 6204 0 -1 1077944384 9372 0 0 0 63 2 0 0 20 0 15 0 97263875 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673086634352 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8652] ppid=8635 vsize=10661132 memory=6365976 CPUtime=0 cores=0,2,4,6
/proc/8638/task/8652/stat : 8652 (java) S 8635 8638 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97263875 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673085581792 140673600558805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
[pid=8638/tid=8653] ppid=8635 vsize=10661132 memory=4096 CPUtime=1.41 cores=0,2,4,6
/proc/8638/task/8653/stat : 8653 (java) S 8635 8638 6204 0 -1 1077944384 2148 0 0 0 70 71 0 0 20 0 15 0 97263875 10916999168 1590083 33554432000 4194304 4196468 140720771041424 140673084529584 140673600559746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720771044508 140720771044617 140720771044617 140720771047375 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 6360332 KiB

Child status: 143
Real time (s): 2483.16
CPU time (s): 2520.14
CPU user time (s): 2512.32
CPU system time (s): 7.8162
CPU usage (%): 101.489
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 7830836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.32
system time used= 7.8162
maximum resident set size= 7830836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1986497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59108
involuntary context switches= 2438


# summary of solver processes directly reported to runsolver:
#   pid: 8638
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2512.32
#   total CPU system time (s): 7.8162

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1724 second user time and 21.0048 second system time

The end

Launcher Data

Begin job on node134 at 2018-07-28 18:56:47
IDJOB=4299000
IDBENCH=141281
IDSOLVER=2765
FILE ID=node134/4299000-1532797006
RUNJOBID= node134-1532774532-6235
PBS_JOBID= 21022459
Free space on /tmp= 55380 MiB

SOLVER NAME= slowpoke 2018-04-29
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-02-0250_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299000-1532797006/watcher-4299000-1532797006 -o /tmp/evaluation-result-4299000-1532797006/solver-4299000-1532797006 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532774532-6235 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4299000-1532797006.xml --timelimit 2520

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

MD5SUM BENCH= 24bf88c1c49a1faaa01f312934ed4415
RANDOM SEED=1615575083

node134.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.68
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.68
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.68
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.68
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:        27764756 kB
MemAvailable:   31745420 kB
Buffers:          186324 kB
Cached:          4056868 kB
SwapCached:            0 kB
Active:          2168880 kB
Inactive:        2344004 kB
Active(anon):     218772 kB
Inactive(anon):    78480 kB
Active(file):    1950108 kB
Inactive(file):  2265524 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108860 kB
SwapFree:       67108744 kB
Dirty:            184636 kB
Writeback:             4 kB
AnonPages:        278580 kB
Mapped:            55004 kB
Shmem:             25132 kB
Slab:             190180 kB
SReclaimable:     161732 kB
SUnreclaim:        28448 kB
KernelStack:        3616 kB
PageTables:         5880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1269772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55376 MiB
End job on node134 at 2018-07-28 19:38:10