Trace number 4304308

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)2257 2520.59 1974.28

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-08-opt_c18.xml
MD5SUM9be5bd0a86f9e024d7fdf548556c4b89
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1997
Best CPU time to get the best result obtained on this benchmark2519.99
Satisfiable
(Un)Satisfiability was proved
Number of variables6202
Number of constraints5744
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":5286},{"size":6,"count":6},{"size":22,"count":36},{"size":24,"count":8},{"size":36,"count":360},{"size":42,"count":22},{"size":44,"count":484}]
Minimum variable degree1
Maximum variable degree62
Distribution of variable degrees[{"degree":1,"count":12},{"degree":2,"count":5287},{"degree":3,"count":38},{"degree":4,"count":17},{"degree":5,"count":102},{"degree":6,"count":22},{"degree":7,"count":111},{"degree":8,"count":16},{"degree":9,"count":111},{"degree":10,"count":35},{"degree":11,"count":48},{"degree":12,"count":33},{"degree":13,"count":52},{"degree":14,"count":19},{"degree":15,"count":61},{"degree":16,"count":14},{"degree":17,"count":33},{"degree":18,"count":10},{"degree":19,"count":26},{"degree":20,"count":19},{"degree":21,"count":18},{"degree":22,"count":8},{"degree":23,"count":15},{"degree":24,"count":11},{"degree":25,"count":13},{"degree":26,"count":1},{"degree":27,"count":14},{"degree":28,"count":12},{"degree":29,"count":6},{"degree":30,"count":10},{"degree":31,"count":2},{"degree":32,"count":2},{"degree":34,"count":3},{"degree":35,"count":4},{"degree":36,"count":4},{"degree":37,"count":1},{"degree":38,"count":2},{"degree":39,"count":4},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":458},{"arity":3,"count":5286}]
Number of extensional constraints0
Number of intensional constraints5744
Distribution of constraint types[{"type":"intension","count":5744}]
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.99/0.74	c Concrete v3.9.2.1532736233296 running
783.78/478.75	o 2265
787.62/482.39	o 2263
787.83/482.44	o 2262
788.32/482.61	o 2260
788.32/482.66	o 2259
788.82/482.84	o 2257
2520.16/1974.19	Exception in thread "main" java.util.concurrent.TimeoutException
2520.16/1974.19		at concrete.MAC.mac(MAC.scala:188)
2520.16/1974.19		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.16/1974.19		at scala.util.Try$.apply(Try.scala:209)
2520.16/1974.19		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.16/1974.19		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.16/1974.19		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.16/1974.19		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.16/1974.19		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.16/1974.19		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.16/1974.19		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.16/1974.19		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.16/1974.19		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.16/1974.19		at concrete.MAC.oneRun(MAC.scala:253)
2520.16/1974.19		at concrete.MAC.nextSolution(MAC.scala:272)
2520.16/1974.19		at concrete.MAC.nextSolution(MAC.scala:355)
2520.16/1974.19		at concrete.Solver.hasNext(Solver.scala:166)
2520.16/1974.19		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.16/1974.19		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.16/1974.19		at concrete.Solver.foreach(Solver.scala:68)
2520.16/1974.19		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.16/1974.19		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.16/1974.19		at scala.util.Success.map(Try.scala:209)
2520.16/1974.19		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.16/1974.19		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.16/1974.19		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.16/1974.19		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.16/1974.19		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.16/1974.19		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.16/1974.19		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.16/1974.19		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.16/1974.19		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.16/1974.19		at scala.collection.immutable.List.foreach(List.scala:389)
2520.16/1974.19		at scala.App.main(App.scala:76)
2520.16/1974.19		at scala.App.main$(App.scala:74)
2520.16/1974.19		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.16/1974.19		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.16/1974.20	v <instantiation cost="2257">
2520.16/1974.20	v       <list>
2520.16/1974.20	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za1[798] za1[799] za1[800] za1[801] za1[802] za1[803] za1[804] za1[805] za1[806] za1[807] za1[808] za1[809] za1[810] za1[811] za1[812] za1[813] za1[814] za1[815] za1[816] za1[817] za1[818] za1[819] za1[820] za1[821] za1[822] za1[823] za1[824] za1[825] za1[826] za1[827] za1[828] za1[829] za1[830] za1[831] za1[832] za1[833] za1[834] za1[835] za1[836] za1[837] za1[838] za1[839] za1[840] za1[841] za1[842] za1[843] za1[844] za1[845] za1[846] za1[847] za1[848] za1[849] za1[850] za1[851] za1[852] za1[853] za1[854] za1[855] za1[856] za1[857] za1[858] za1[859] za1[860] za1[861] za1[862] za1[863] za1[864] za1[865] za1[866] za1[867] za1[868] za1[869] za1[870] za1[871] za1[872] za1[873] za1[874] za1[875] za1[876] za1[877] za1[878] za1[879] za1[880] za1[881] za1[882] za1[883] za1[884] za1[885] za1[886] za1[887] za1[888] za1[889] za1[890] za1[891] za1[892] za1[893] za1[894] za1[895] za1[896] za1[897] za1[898] za1[899] za1[900] za1[901] za1[902] za1[903] za1[904] za1[905] za1[906] za1[907] za1[908] za1[909] za1[910] za1[911] za1[912] za1[913] za1[914] za1[915] za1[916] za1[917] za1[918] za1[919] za1[920] za1[921] za1[922] za1[923] za1[924] za1[925] za1[926] za1[927] za1[928] za1[929] za1[930] za1[931] za1[932] za1[933] za1[934] za1[935] za1[936] za1[937] za1[938] za1[939] za1[940] za1[941] za1[942] za1[943] za1[944] za1[945] za1[946] za1[947] za1[948] za1[949] za1[950] za1[951] za1[952] za1[953] za1[954] za1[955] za1[956] za1[957] za1[958] za1[959] za1[960] za1[961] za1[962] za1[963] za1[964] za1[965] za1[966] za1[967] za1[968] za1[969] za1[970] za1[971] za1[972] za1[973] za1[974] za1[975] za1[976] za1[977] za1[978] za1[979] za1[980] za1[981] za1[982] za1[983] za1[984] za1[985] za1[986] za1[987] za1[988] za1[989] za1[990] za1[991] za1[992] za1[993] za1[994] za1[995] za1[996] za1[997] za1[998] za1[999] za1[1000] za1[1001] za1[1002] za1[1003] za1[1004] za1[1005] za1[1006] za1[1007] za1[1008] za1[1009] za1[1010] za1[1011] za1[1012] za1[1013] za1[1014] za1[1015] za1[1016] za1[1017] za1[1018] za1[1019] za1[1020] za1[1021] za1[1022] za1[1023] za1[1024] za1[1025] za1[1026] za1[1027] za1[1028] za1[1029] za1[1030] za1[1031] za1[1032] za1[1033] za1[1034] za1[1035] za1[1036] za1[1037] za1[1038] za1[1039] za1[1040] za1[1041] za1[1042] za1[1043] za1[1044] za1[1045] za1[1046] za1[1047] za1[1048] za1[1049] za1[1050] za1[1051] za1[1052] za1[1053] za1[1054] za1[1055] za1[1056] za1[1057] za1[1058] za1[1059] za1[1060] za1[1061] za1[1062] za1[1063] za1[1064] za1[1065] za1[1066] za1[1067] za1[1068] za1[1069] za1[1070] za1[1071] za1[1072] za1[1073] za1[1074] za1[1075] za1[1076] za1[1077] za1[1078] za1[1079] za1[1080] za1[1081] za1[1082] za1[1083] za1[1084] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za2[1027] za2[1028] za2[1029] za2[1030] za2[1031] za2[1032] za2[1033] za2[1034] za2[1035] za2[1036] za2[1037] za2[1038] za2[1039] za2[1040] za2[1041] za2[1042] za2[1043] za2[1044] za2[1045] za2[1046] za2[1047] za2[1048] za2[1049] za2[1050] za2[1051] za2[1052] za2[1053] za2[1054] za2[1055] za2[1056] za2[1057] za2[1058] za2[1059] za2[1060] za2[1061] za2[1062] za2[1063] za2[1064] za2[1065] za2[1066] za2[1067] za2[1068] za2[1069] za2[1070] za2[1071] za2[1072] za2[1073] za2[1074] za2[1075] za2[1076] za2[1077] za2[1078] za2[1079] za2[1080] za2[1081] za2[1082] za2[1083] za2[1084] za2[1085] za2[1086] za2[1087] za2[1088] za2[1089] za2[1090] za2[1091] za2[1092] za2[1093] za2[1094] za2[1095] za2[1096] za2[1097] za2[1098] za2[1099] za2[1100] za2[1101] za2[1102] za2[1103] za2[1104] za2[1105] za2[1106] za2[1107] za2[1108] za2[1109] za2[1110] za2[1111] za2[1112] za2[1113] za2[1114] za2[1115] za2[1116] za2[1117] za2[1118] za2[1119] za2[1120] za2[1121] za2[1122] za2[1123] za2[1124] za2[1125] za2[1126] za2[1127] za2[1128] za2[1129] za2[1130] za2[1131] za2[1132] za2[1133] za2[1134] za2[1135] za2[1136] za2[1137] za2[1138] za2[1139] za2[1140] za2[1141] za2[1142] za2[1143] za2[1144] za2[1145] za2[1146] za2[1147] za2[1148] za2[1149] za2[1150] za2[1151] za2[1152] za2[1153] za2[1154] za2[1155] za2[1156] za2[1157] za2[1158] za2[1159] za2[1160] za2[1161] za2[1162] za2[1163] za2[1164] za2[1165] za2[1166] za2[1167] za2[1168] za2[1169] za2[1170] za2[1171] za2[1172] za2[1173] za2[1174] za2[1175] za2[1176] za2[1177] za2[1178] za2[1179] za2[1180] za2[1181] za2[1182] za2[1183] za2[1184] za2[1185] za2[1186] za2[1187] za2[1188] za2[1189] za2[1190] za2[1191] za2[1192] za2[1193] za2[1194] za2[1195] za2[1196] za2[1197] za2[1198] za2[1199] za2[1200] za2[1201] za2[1202] za2[1203] za2[1204] za2[1205] za2[1206] za2[1207] za2[1208] za2[1209] za2[1210] za2[1211] za2[1212] za2[1213] za2[1214] za2[1215] za2[1216] za2[1217] za2[1218] za2[1219] za2[1220] za2[1221] za2[1222] za2[1223] za2[1224] za2[1225] za2[1226] za2[1227] za2[1228] za2[1229] za2[1230] za2[1231] za2[1232] za2[1233] za2[1234] za2[1235] za2[1236] za2[1237] za2[1238] za2[1239] za2[1240] za2[1241] za2[1242] za2[1243] za2[1244] za2[1245] za2[1246] za2[1247] za2[1248] za2[1249] za2[1250] za2[1251] za2[1252] za2[1253] za2[1254] za2[1255] za2[1256] za2[1257] za2[1258] za2[1259] za2[1260] za2[1261] za2[1262] za2[1263] za2[1264] za2[1265] za2[1266] za2[1267] za2[1268] za2[1269] za2[1270] za2[1271] za2[1272] za2[1273] za2[1274] za2[1275] za2[1276] za2[1277] za2[1278] za2[1279] za2[1280] za2[1281] za2[1282] za2[1283] za2[1284] za2[1285] za2[1286] za2[1287] za2[1288] za2[1289] za2[1290] za2[1291] za2[1292] za2[1293] za2[1294] za2[1295] za2[1296] za2[1297] za2[1298] za2[1299] za2[1300] za2[1301] za2[1302] za2[1303] za2[1304] za2[1305] za2[1306] za2[1307] za2[1308] za2[1309] za2[1310] za2[1311] za2[1312] za2[1313] za2[1314] za2[1315] za2[1316] za2[1317] za2[1318] za2[1319] za2[1320] za2[1321] za2[1322] za2[1323] za2[1324] za2[1325] za2[1326] za2[1327] za2[1328] za2[1329] za2[1330] za2[1331] za2[1332] za2[1333] za2[1334] za2[1335] za2[1336] za2[1337] za2[1338] za2[1339] za2[1340] za2[1341] za2[1342] za2[1343] za2[1344] za2[1345] za2[1346] za2[1347] za2[1348] za2[1349] za2[1350] za2[1351] za2[1352] za2[1353] za2[1354] za2[1355] za2[1356] za2[1357] za2[1358] za2[1359] za2[1360] za2[1361] za2[1362] za2[1363] za2[1364] za2[1365] za2[1366] za2[1367] za2[1368] za2[1369] za2[1370] za2[1371] za2[1372] za2[1373] za2[1374] za2[1375] za2[1376] za2[1377] za2[1378] za2[1379] za2[1380] za2[1381] za2[1382] za2[1383] za2[1384] za2[1385] za2[1386] za2[1387] za2[1388] za2[1389] za2[1390] za2[1391] za2[1392] za2[1393] za2[1394] za2[1395] za2[1396] za2[1397] za2[1398] za2[1399] za2[1400] za2[1401] za2[1402] za2[1403] za2[1404] za2[1405] za2[1406] za2[1407] za2[1408] za2[1409] za2[1410] za2[1411] za2[1412] za2[1413] za2[1414] za2[1415] za2[1416] za2[1417] za2[1418] za2[1419] za2[1420] za2[1421] za2[1422] za2[1423] za2[1424] za2[1425] za2[1426] za2[1427] za2[1428] za2[1429] za2[1430] za2[1431] za2[1432] za2[1433] za2[1434] za2[1435] za2[1436] za2[1437] za2[1438] za2[1439] za2[1440] za2[1441] za2[1442] za2[1443] za2[1444] za2[1445] za2[1446] za2[1447] za2[1448] za2[1449] za2[1450] za2[1451] za2[1452] za2[1453] za2[1454] za2[1455] za2[1456] za2[1457] za2[1458] za2[1459] za2[1460] za2[1461] za2[1462] za2[1463] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za3[882] za3[883] za3[884] za3[885] za3[886] za3[887] za3[888] za3[889] za3[890] za3[891] za3[892] za3[893] za3[894] za3[895] za3[896] za3[897] za3[898] za3[899] za3[900] za3[901] za3[902] za3[903] za3[904] za3[905] za3[906] za3[907] za3[908] za3[909] za3[910] za3[911] za3[912] za3[913] za3[914] za3[915] za3[916] za3[917] za3[918] za3[919] za3[920] za3[921] za3[922] za3[923] za3[924] za3[925] za3[926] za3[927] za3[928] za3[929] za3[930] za3[931] za3[932] za3[933] za3[934] za3[935] za3[936] za3[937] za3[938] za3[939] za3[940] za3[941] za3[942] za3[943] za3[944] za3[945] za3[946] za3[947] za3[948] za3[949] za3[950] za3[951] za3[952] za3[953] za3[954] za3[955] za3[956] za3[957] za3[958] za3[959] za3[960] za3[961] za3[962] za3[963] za3[964] za3[965] za3[966] za3[967] za3[968] za3[969] za3[970] za3[971] za3[972] za3[973] za3[974] za3[975] za3[976] za3[977] za3[978] za3[979] za3[980] za3[981] za3[982] za3[983] za3[984] za3[985] za3[986] za3[987] za3[988] za3[989] za3[990] za3[991] za3[992] za3[993] za3[994] za3[995] za3[996] za3[997] za3[998] za3[999] za3[1000] za3[1001] za3[1002] za3[1003] za3[1004] za3[1005] za3[1006] za3[1007] za3[1008] za3[1009] za3[1010] za3[1011] za3[1012] za3[1013] za3[1014] za3[1015] za3[1016] za3[1017] za3[1018] za3[1019] za3[1020] za3[1021] za3[1022] za3[1023] za3[1024] za3[1025] za3[1026] za3[1027] za3[1028] za3[1029] za3[1030] za3[1031] za3[1032] za3[1033] za3[1034] za3[1035] za3[1036] za3[1037] za3[1038] za3[1039] za3[1040] za3[1041] za3[1042] za3[1043] za3[1044] za3[1045] za3[1046] za3[1047] za3[1048] za3[1049] za3[1050] za3[1051] za3[1052] za3[1053] za3[1054] za3[1055] za3[1056] za3[1057] za3[1058] za3[1059] za3[1060] za3[1061] za3[1062] za3[1063] za3[1064] za3[1065] za3[1066] za3[1067] za3[1068] za3[1069] za3[1070] za3[1071] za3[1072] za3[1073] za3[1074] za3[1075] za3[1076] za3[1077] za3[1078] za3[1079] za3[1080] za3[1081] za3[1082] za3[1083] za3[1084] za3[1085] za3[1086] za3[1087] za3[1088] za3[1089] za3[1090] za3[1091] za3[1092] za3[1093] za3[1094] za3[1095] za3[1096] za3[1097] za3[1098] za3[1099] za3[1100] za3[1101] za3[1102] za3[1103] za3[1104] za3[1105] za3[1106] za3[1107] za3[1108] za3[1109] za3[1110] za3[1111] za3[1112] za3[1113] za3[1114] za3[1115] za3[1116] za3[1117] za3[1118] za3[1119] za3[1120] za3[1121] za3[1122] za3[1123] za3[1124] za3[1125] za3[1126] za3[1127] za3[1128] za3[1129] za3[1130] za3[1131] za3[1132] za3[1133] za3[1134] za3[1135] za3[1136] za3[1137] za3[1138] za3[1139] za3[1140] za3[1141] za3[1142] za3[1143] za3[1144] za3[1145] za3[1146] za3[1147] za3[1148] za3[1149] za3[1150] za3[1151] za3[1152] za3[1153] za3[1154] za3[1155] za3[1156] za3[1157] za3[1158] za3[1159] za3[1160] za3[1161] za3[1162] za3[1163] za3[1164] za3[1165] za3[1166] za3[1167] za3[1168] za3[1169] za3[1170] za3[1171] za3[1172] za3[1173] za3[1174] za3[1175] za3[1176] za3[1177] za3[1178] za3[1179] za3[1180] za3[1181] za3[1182] za3[1183] za3[1184] za3[1185] za3[1186] za3[1187] za3[1188] za3[1189] za3[1190] za3[1191] za3[1192] za3[1193] za3[1194] za3[1195] za3[1196] za3[1197] za3[1198] za3[1199] za3[1200] za3[1201] za3[1202] za3[1203] za3[1204] za3[1205] za3[1206] za3[1207] za3[1208] za3[1209] za3[1210] za3[1211] za3[1212] za3[1213] za3[1214] za3[1215] za3[1216] za3[1217] za3[1218] za3[1219] za3[1220] za3[1221] za3[1222] za3[1223] za3[1224] za3[1225] za3[1226] za3[1227] za3[1228] za3[1229] za3[1230] za3[1231] za3[1232] za3[1233] za3[1234] za3[1235] za3[1236] za3[1237] za3[1238] za3[1239] za3[1240] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055] za4[1056] za4[1057] za4[1058] za4[1059] za4[1060] za4[1061] za4[1062] za4[1063] za4[1064] za4[1065] za4[1066] za4[1067] za4[1068] za4[1069] za4[1070] za4[1071] za4[1072] za4[1073] za4[1074] za4[1075] za4[1076] za4[1077] za4[1078] za4[1079] za4[1080] za4[1081] za4[1082] za4[1083] za4[1084] za4[1085] za4[1086] za4[1087] za4[1088] za4[1089] za4[1090] za4[1091] za4[1092] za4[1093] za4[1094] za4[1095] za4[1096] za4[1097] za4[1098] za4[1099] za4[1100] za4[1101] za4[1102] za4[1103] za4[1104] za4[1105] za4[1106] za4[1107] za4[1108] za4[1109] za4[1110] za4[1111] za4[1112] za4[1113] za4[1114] za4[1115] za4[1116] za4[1117] za4[1118] za4[1119] za4[1120] za4[1121] za4[1122] za4[1123] za4[1124] za4[1125] za4[1126] za4[1127] za4[1128] za4[1129] za4[1130] za4[1131] za4[1132] za4[1133] za4[1134] za4[1135] za4[1136] za4[1137] za4[1138] za4[1139] za4[1140] za4[1141] za4[1142] za4[1143] za4[1144] za4[1145] za4[1146] za4[1147] za4[1148] za4[1149] za4[1150] za4[1151] za4[1152] za4[1153] za4[1154] za4[1155] za4[1156] za4[1157] za4[1158] za4[1159] za4[1160] za4[1161] za4[1162] za4[1163] za4[1164] za4[1165] za4[1166] za4[1167] za4[1168] za4[1169] za4[1170] za4[1171] za4[1172] za4[1173] za4[1174] za4[1175] za4[1176] za4[1177] za4[1178] za4[1179] za4[1180] za4[1181] za4[1182] za4[1183] za4[1184] za4[1185] za4[1186] za4[1187] za4[1188] za4[1189] za4[1190] za4[1191] za4[1192] za4[1193] za4[1194] za4[1195] za4[1196] za4[1197] za4[1198] za4[1199] za4[1200] za4[1201] za4[1202] za4[1203] za4[1204] za4[1205] za4[1206] za4[1207] za4[1208] za4[1209] za4[1210] za4[1211] za4[1212] za4[1213] za4[1214] za4[1215] za4[1216] za4[1217] za4[1218] za4[1219] za4[1220] za4[1221] za4[1222] za4[1223] za4[1224] za4[1225] za4[1226] za4[1227] za4[1228] za4[1229] za4[1230] za4[1231] za4[1232] za4[1233] za4[1234] za4[1235] za4[1236] za4[1237] za4[1238] za4[1239] za4[1240] za4[1241] za4[1242] za4[1243] za4[1244] za4[1245] za4[1246] za4[1247] za4[1248] za4[1249] za4[1250] za4[1251] za4[1252] za4[1253] za4[1254] za4[1255] za4[1256] za4[1257] za4[1258] za4[1259] za4[1260] za4[1261] za4[1262] za4[1263] za4[1264] za4[1265] za4[1266] za4[1267] za4[1268] za4[1269] za4[1270] za4[1271] za4[1272] za4[1273] za4[1274] za4[1275] za4[1276] za4[1277] za4[1278] za4[1279] za4[1280] za4[1281] za4[1282] za4[1283] za4[1284] za4[1285] za4[1286] za4[1287] za4[1288] za4[1289] za4[1290] za4[1291] za4[1292] za4[1293] za4[1294] za4[1295] za4[1296] za4[1297] za4[1298] za4[1299] za4[1300] za4[1301] za4[1302] za4[1303] za4[1304] za4[1305] za4[1306] za4[1307] za4[1308] za4[1309] za4[1310] za4[1311] za4[1312] za4[1313] za4[1314] za4[1315] za4[1316] za4[1317] za4[1318] za4[1319] za4[1320] za4[1321] za4[1322] za4[1323] za4[1324] za4[1325] za4[1326] za4[1327] za4[1328] za4[1329] za4[1330] za4[1331] za4[1332] za4[1333] za4[1334] za4[1335] za4[1336] za4[1337] za4[1338] za4[1339] za4[1340] za4[1341] za4[1342] za4[1343] za4[1344] za4[1345] za4[1346] za4[1347] za4[1348] za4[1349] za4[1350] za4[1351] za4[1352] za4[1353] za4[1354] za4[1355] za4[1356] za4[1357] za4[1358] za4[1359] za4[1360] za4[1361] za4[1362] za4[1363] za4[1364] za4[1365] za4[1366] za4[1367] za4[1368] za4[1369] za4[1370] za4[1371] za4[1372] za4[1373] za4[1374] za4[1375] za4[1376] za4[1377] za4[1378] za4[1379] za4[1380] za4[1381] za4[1382] za4[1383] za4[1384] za4[1385] za4[1386] za4[1387] za4[1388] za4[1389] za4[1390] za4[1391] za4[1392] za4[1393] za4[1394] za4[1395] za4[1396] za4[1397] za4[1398] za4[1399] za4[1400] za4[1401] za4[1402] za4[1403] za4[1404] za4[1405] za4[1406] za4[1407] za4[1408] za4[1409] za4[1410] za4[1411] za4[1412] za4[1413] za4[1414] za4[1415] za4[1416] za4[1417] za4[1418] za4[1419] za4[1420] za4[1421] za4[1422] za4[1423] za4[1424] za4[1425] za4[1426] za4[1427] za4[1428] za4[1429] za4[1430] za4[1431] za4[1432] za4[1433] za4[1434] za4[1435] za4[1436] za4[1437] za4[1438] za4[1439] za4[1440] za4[1441] za4[1442] za4[1443] za4[1444] za4[1445] za4[1446] za4[1447] za4[1448] za4[1449] za4[1450] za4[1451] za4[1452] za4[1453] za4[1454] za4[1455] za4[1456] za4[1457] za4[1458] za4[1459] za4[1460] za4[1461] za4[1462] za4[1463] za4[1464] za4[1465] za4[1466] za4[1467] za4[1468] za4[1469] za4[1470] za4[1471] za4[1472] za4[1473] za4[1474] za4[1475] za4[1476] za4[1477] za4[1478] za4[1479] za4[1480] za4[1481] za4[1482] za4[1483] za4[1484] za4[1485] za4[1486] za4[1487] za4[1488] za4[1489] za4[1490] za4[1491] za4[1492] za4[1493] za4[1494] za4[1495]
2520.16/1974.20	v       </list>
2520.16/1974.20	v       <values>
2520.16/1974.20	v         16 254 764 526 156 394 254 16 708 470 792 554 100 338 142 380 16 254 268 30 268 30 30 268 324 86 554 792 380 142 58 296 58 296 708 470 792 554 708 470 268 30 792 554 498 736 30 268 254 16 16 254 470 708 680 442 394 156 16 254 470 708 792 554 58 296 652 414 526 764 30 268 296 58 428 666 380 142 540 778 128 366 764 526 484 722 540 778 156 394 30 268 792 554 792 554 254 16 680 442 296 58 254 16 310 72 540 778 792 554 44 282 792 554 44 282 72 310 652 414 254 16 666 428 16 254 652 414 338 100 254 16 750 512 792 554 652 414 86 324 478 240 414 652 722 484 414 652 310 72 554 792 72 310 414 652 484 722 16 254 694 456 792 554 254 16 324 86 16 254 380 142 128 366 310 72 666 428 156 394 16 254 456 694 254 16 554 792 652 414 282 44 722 484 456 694 394 156 554 792 58 296 554 792 16 254 792 554 680 442 680 442 792 554 708 470 498 736 792 554 156 394 498 736 554 792 156 394 324 86 30 268 750 512 310 72 114 352 498 736 554 792 366 128 792 554 296 58 16 254 380 142 540 778 268 30 526 764 16 254 778 540 254 16 86 324 554 792 254 16 722 484 268 30 16 254 414 652 394 156 324 86 324 86 778 540 142 380 792 554 44 282 380 142 254 16 792 554 86 324 554 792 722 484 394 156 142 380 268 30 414 652 540 778 554 792 526 764 792 554 792 554 352 114 526 764 352 114 142 380 554 792 352 114 792 554 394 156 86 324 72 310 324 86 254 16 540 778 540 778 442 680 778 540 540 778 142 380 58 296 540 778 100 338 442 680 268 30 778 540 652 414 44 282 778 540 268 30 764 526 268 30 352 114 268 30 442 680 750 512 778 540 128 366 764 526 114 352 142 380 498 736 778 540 722 484 16 254 30 268 778 540 540 778 442 680 268 30 778 540 114 352 792 554 540 778 764 526 484 722 722 484 394 156 268 30 470 708 254 16 44 282 254 16 310 72 736 498 540 778 142 380 16 254 254 16 428 666 30 268 540 778 778 540 30 268 268 30 708 470 554 792 30 268 694 456 44 282 456 694 142 380 554 792 736 498 554 792 380 142 142 380 778 540 792 554 666 428 708 470 16 254 16 254 366 128 512 750 694 456 778 540 72 310 268 30 268 30 778 540 58 296 540 778 540 778 666 428 394 156 554 792 694 456 324 86 254 16 58 296 30 268 512 750 156 394 764 526 652 414 512 750 792 554 708 470 442 680 296 58 778 540 512 750 30 268 268 30 540 778 694 456 30 268 470 708 16 254 16 254 338 100 778 540 442 680 554 792 16 254 540 778 750 512 470 708 778 540 778 540 540 778 666 428 30 268 540 778 268 30 526 764 666 428 30 268 540 778 58 296 282 44 666 428 484 722 114 352 484 722 30 268 72 310 456 694 498 736 30 268 86 324 142 380 156 394 296 58 554 792 16 254 380 142 540 778 100 338 296 58 484 722 268 30 254 16 394 156 254 16 282 44 380 142 694 456 296 58 142 380 736 498 30 268 540 778 58 296 778 540 58 296 778 540 554 792 156 394 554 792 554 792 44 282 366 128 352 114 456 694 254 16 254 16 680 442 128 366 254 16 792 554 792 554 254 16 86 324 778 540 30 268 30 268 540 778 268 30 512 750 16 254 778 540 380 142 30 268 540 778 512 750 268 30 540 778 722 484 380 142 30 268 540 778 100 338 254 16 100 338 16 254 554 792 540 778 366 128 470 708 338 100 778 540 282 44 30 268 498 736 540 778 86 324 666 428 30 268 428 666 324 86 44 282 778 540 380 142 792 554 484 722 268 30 540 778 282 44 666 428 778 540 268 30 128 366 722 484 792 554 16 254 16 254 540 778 268 30 554 792 16 254 554 792 72 310 792 554 456 694 778 540 268 30 764 526 512 750 540 778 16 254 554 792 142 380 778 540 16 254 666 428 554 792 498 736 324 86 268 30 764 526 484 722 540 778 44 282 540 778 30 268 456 694 778 540 30 268 764 526 352 114 366 128 156 394 142 380 86 324 16 254 72 310 394 156 0 0 0 4 0 0 0 0 0 0 0 4 0 4 0 0 0 0 0 4 0 0 0 0 0 0 4 0 0 4 0 0 0 4 0 0 4 0 0 0 0 4 0 0 4 0 4 0 0 4 4 4 0 0 0 4 0 0 0 0 0 4 0 4 0 0 0 0 4 0 0 0 0 4 4 4 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 0 4 0 4 0 0 0 4 4 0 4 0 0 0 0 4 0 0 0 0 0 4 0 4 0 0 4 0 4 4 0 4 0 4 0 0 4 4 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 4 0 0 0 0 0 4 0 0 4 0 4 0 4 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 4 0 0 0 4 0 4 0 0 0 0 4 0 0 0 0 0 0 0 4 0 0 0 0 0 4 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 4 0 0 0 4 0 4 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 4 0 0 0 0 4 0 0 0 0 0 0 4 4 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 4 0 0 4 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 4 0 0 0 0 0 0 0 4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 4 0 0 0 4 0 0 0 0 0 0 0 0 0 4 4 0 4 0 0 0 4 4 0 4 0 0 0 0 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 4 0 0 0 0 4 0 0 4 4 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 4 4 4 0 4 0 0 4 0 0 4 0 0 0 0 0 0 0 0 0 0 4 0 0 0 4 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 4 4 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 4 0 0 0 0 4 0 0 0 0 0 4 4 4 0 0 4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 4 0 0 0 0 0 0 0 0 4 4 0 4 4 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 4 0 4 0 0 0 0 0 0 0 4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 4 0 0 0 4 0 4 0 0 0 0 0 4 0 0 0 4 4 0 0 4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 4 0 0 4 0 4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 4 0 0 0 0 0 0 0 0 4 0 4 4 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 0 0 0 4 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 3 3 0 0 0 0 3 0 0 0 0 0 3 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 3 0 3 0 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 3 0 0 3 0 0 3 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 3 0 3 0 0 0 0 0 3 0 3 0 0 3 0 3 0 3 3 3 0 0 0 3 0 0 0 0 0 0 0 0 3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 3 0 3 3 3 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 3 0 3 0 0 0 3 0 0 0 0 0 3 0 0 3 3 0 3 0 0 3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 0 3 3 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 3 0 0 3 0 3 3 0 0 0 3 3 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 3 0 0 0 0 0 0 3 0 3 0 0 3 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 3 3 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 3 3 0 0 0 0 3 0 3 3 3 0 3 0 3 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 3 0 0 0 0 0 0 0 0 3 0 0 3 3 3 3 0 0 0 0 0 0 0 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 3 3 0 3 0 3 0 0 0 0 0 0 0 0 3 0 3 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 3 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 3 0 3 0 0 3 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 3 0 3 0 0 0 0 0 0 0 3 3 0 0 3 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 3 3 0 0 3 3 0 0 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 3 0 3 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 3 3 0 0 0 0 0 0 3 0 0 0 0 3 0 3 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 3 0 3 0 0 0 0 3 0 3 0 0 3 0 0 3 0 3 0 0 3 0 0 0 0 3 0 0 0 0 3 0 0 3 0 0 0 0 0 0 0 0 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 3 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 3 3 3 0 0 0 0 0 0 0 0 3 3 3 3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 3 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 3 0 0 3 0 0 0 0 0 0 3 0 0 0 0 3 3 0 0 3 0 3 0 0 0 0 3 0 0 3 0 3 0 0 0 0 0 0 0 0 3 0 0 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 3 3 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 3 3 3 0 3 3 3 0 0 0 0 0 0 3 0 3 0 0 0 0 0 0 0 0 0 0 0 3 0 3 0 3 0 0 0 0 0 3 0 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 3 0 3 3 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 2 0 0 0 0 2 2 2 2 2 2 2 2 0 0 2 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 2 0 0 0 0 2 0 2 0 2 0 0 2 0 0 0 0 2 2 0 2 0 2 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 2 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 2 0 0 0 2 2 2 0 2 2 0 0 2 2 2 0 0 0 0 0 2 2 0 0 0 2 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 0 0 0 0 2 0 0 2 2 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 2 2 2 0 0 0 0 0 0 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 2 0 0 0 0 0 2 0 0 2 0 0 2 0 2 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 2 2 0 2 0 2 0 0 0 2 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 2 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 2 0 0 0 2 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 2 2 0 0 2 0 0 0 0 2 0 2 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 2 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 2 0 2 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 2 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 2 2 0 0 0 2 2 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 2 0 0 0 2 0 0 0 0 2 0 0 0 0 0 2 2 2 0 0 0 0 0 0 0 0 2 0 0 0 0 2 2 0 0 0 0 2 0 0 2 0 0 0 0 0 2 2 0 0 0 2 0 0 0 0 0 2 2 0 0 0 0 2 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 2 0 0 2 0 0 2 0 0 2 0 0 2 0 0 0 0 0 0 2 0 0 0 0 2 2 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 2 2 0 2 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 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 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 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 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0
2520.16/1974.20	v       </values>
2520.16/1974.20	v     </instantiation>
2520.16/1974.20	s SATISFIABLE

Verifier Data 

OK	2257

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304308-1534057052/watcher-4304308-1534057052 -o /tmp/evaluation-result-4304308-1534057052/solver-4304308-1534057052 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534038993-15971 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1920541897 -superng HOME/instance-4304308-1534057052.xml 

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

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

solver pid=19550, runsolver pid=19547

[startup+0.100162 s]*
/proc/loadavg: 1.45 1.44 1.49 3/206 19607
/proc/meminfo: memFree=13422904/32770624 swapFree=67058736/67108860
[pid=19550] ppid=19547 vsize=10005480 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/19550/stat : 19550 (java) S 19547 19550 15060 0 -1 1077944320 4365 13013 0 0 1 1 5 2 20 0 6 0 223268410 10245611520 4203 33554432000 4194304 4196468 140727687599296 140727687581840 140468517703415 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
/proc/19550/statm: 2501370 4203 1934 1 0 2489808 0
[pid=19550/tid=19603] ppid=19547 vsize=10005480 memory=4279135703946462605 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19603/stat : 19603 (java) R 19547 19550 15060 0 -1 4202560 2182 13013 0 0 0 0 5 2 20 0 6 0 223268419 10245611520 4203 33554432000 4194304 4196468 140727687599296 140468489540176 140468501783902 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19604] ppid=19547 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19604/stat : 19604 (java) S 19547 19550 15060 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 6 0 223268419 10245611520 4203 33554432000 4194304 4196468 140727687599296 140468521945488 140468517713621 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19605] ppid=19547 vsize=10005480 memory=139830531942016 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19605/stat : 19605 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 6 0 223268419 10245611520 4203 33554432000 4194304 4196468 140727687599296 140468387281168 140468517713621 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19606] ppid=19547 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19606/stat : 19606 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 6 0 223268419 10245611520 4203 33554432000 4194304 4196468 140727687599296 140468386228880 140468517713621 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19607] ppid=19547 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19607/stat : 19607 (java) S 19547 19550 15060 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 6 0 223268419 10245611520 4203 33554432000 4194304 4196468 140727687599296 140468385176080 140468517713621 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB

[startup+0.209979 s]*
/proc/loadavg: 1.45 1.44 1.49 3/215 19616
/proc/meminfo: memFree=13399192/32770624 swapFree=67058736/67108860
[pid=19550] ppid=19547 vsize=10982744 memory=45256 CPUtime=0.26 cores=0,2,4,6
/proc/19550/stat : 19550 (java) S 19547 19550 15060 0 -1 1077944320 7982 13013 0 0 16 3 5 2 20 0 15 0 223268410 11246329856 11314 33554432000 4194304 4196468 140727687599296 140727687581840 140468517703415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
/proc/19550/statm: 2745686 11314 2978 1 0 2708109 0
[pid=19550/tid=19603] ppid=19547 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/19550/task/19603/stat : 19603 (java) R 19547 19550 15060 0 -1 4202560 4607 13013 0 0 10 2 5 2 20 0 15 0 223268419 11246329856 11380 33554432000 4194304 4196468 140727687599296 140468489481376 140468501783902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19604] ppid=19547 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19604/stat : 19604 (java) S 19547 19550 15060 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 15 0 223268419 11246329856 11380 33554432000 4194304 4196468 140727687599296 140468521945488 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19605] ppid=19547 vsize=10982744 memory=139830531942016 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19605/stat : 19605 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 223268419 11246329856 11380 33554432000 4194304 4196468 140727687599296 140468387281168 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19606] ppid=19547 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19606/stat : 19606 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 223268419 11246329856 11380 33554432000 4194304 4196468 140727687599296 140468386228880 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19607] ppid=19547 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19607/stat : 19607 (java) S 19547 19550 15060 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 15 0 223268419 11246329856 11380 33554432000 4194304 4196468 140727687599296 140468385176080 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19608] ppid=19547 vsize=10982744 memory=139830531942016 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19608/stat : 19608 (java) S 19547 19550 15060 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 15 0 223268421 11246329856 11380 33554432000 4194304 4196468 140727687599296 140467487148656 140468517714562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19609] ppid=19547 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19609/stat : 19609 (java) S 19547 19550 15060 0 -1 1077944384 13 13013 0 0 0 0 5 2 20 0 15 0 223268421 11246329856 11380 33554432000 4194304 4196468 140727687599296 140467375170848 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19610] ppid=19547 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19610/stat : 19610 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 223268422 11246329856 11380 33554432000 4194304 4196468 140727687599296 140467173844592 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19611] ppid=19547 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19611/stat : 19611 (java) S 19547 19550 15060 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 223268424 11246329856 11380 33554432000 4194304 4196468 140727687599296 140466866444880 140468517722011 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19612] ppid=19547 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19550/task/19612/stat : 19612 (java) R 19547 19550 15060 0 -1 1077944384 529 13013 0 0 1 0 5 2 20 0 15 0 223268424 11246329856 11380 33554432000 4194304 4196468 140727687599296 140467486095472 140468517714562 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19613] ppid=19547 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19550/task/19613/stat : 19613 (java) R 19547 19550 15060 0 -1 1077944384 72 13013 0 0 1 0 5 2 20 0 15 0 223268424 11246329856 11380 33554432000 4194304 4196468 140727687599296 140467485042672 140468517714562 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19614] ppid=19547 vsize=10982744 memory=139830531942016 CPUtime=0.1 cores=0,2,4,6
/proc/19550/task/19614/stat : 19614 (java) S 19547 19550 15060 0 -1 1077944384 618 13013 0 0 3 0 5 2 20 0 15 0 223268424 11246329856 11380 33554432000 4194304 4196468 140727687599296 140467483990384 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19615] ppid=19547 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19615/stat : 19615 (java) S 19547 19550 15060 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 223268424 11246329856 11380 33554432000 4194304 4196468 140727687599296 140466435647968 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19616] ppid=19547 vsize=10982744 memory=139830531942016 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19616/stat : 19616 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 223268425 11246329856 11380 33554432000 4194304 4196468 140727687599296 140467482938288 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45256 KiB

[startup+0.310101 s]*
/proc/loadavg: 1.45 1.44 1.49 3/215 19616
/proc/meminfo: memFree=13387780/32770624 swapFree=67058736/67108860
[pid=19550] ppid=19547 vsize=10983192 memory=56224 CPUtime=0.38 cores=0,2,4,6
/proc/19550/stat : 19550 (java) S 19547 19550 15060 0 -1 1077944320 10541 13013 0 0 27 4 5 2 20 0 15 0 223268410 11246788608 14056 33554432000 4194304 4196468 140727687599296 140727687581840 140468517703415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
/proc/19550/statm: 2745798 14056 3097 1 0 2708109 0
[pid=19550/tid=19603] ppid=19547 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/19550/task/19603/stat : 19603 (java) R 19547 19550 15060 0 -1 4202560 7093 13013 0 0 18 2 5 2 20 0 15 0 223268419 11246788608 14056 33554432000 4194304 4196468 140727687599296 140468489515424 140468501783902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19604] ppid=19547 vsize=10983192 memory=7084813469699035216 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19604/stat : 19604 (java) S 19547 19550 15060 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 15 0 223268419 11246788608 14056 33554432000 4194304 4196468 140727687599296 140468521945488 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19605] ppid=19547 vsize=10983192 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19605/stat : 19605 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 223268419 11246788608 14056 33554432000 4194304 4196468 140727687599296 140468387281168 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19606] ppid=19547 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19606/stat : 19606 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 223268419 11246788608 14056 33554432000 4194304 4196468 140727687599296 140468386228880 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19607] ppid=19547 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19607/stat : 19607 (java) S 19547 19550 15060 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 15 0 223268419 11246788608 14056 33554432000 4194304 4196468 140727687599296 140468385176080 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19608] ppid=19547 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19608/stat : 19608 (java) S 19547 19550 15060 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 15 0 223268421 11246788608 14056 33554432000 4194304 4196468 140727687599296 140467487148656 140468517714562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19609] ppid=19547 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19609/stat : 19609 (java) S 19547 19550 15060 0 -1 1077944384 13 13013 0 0 0 0 5 2 20 0 15 0 223268421 11246788608 14056 33554432000 4194304 4196468 140727687599296 140467375170848 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19610] ppid=19547 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19610/stat : 19610 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 223268422 11246788608 14056 33554432000 4194304 4196468 140727687599296 140467173844592 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19611] ppid=19547 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19611/stat : 19611 (java) S 19547 19550 15060 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 223268424 11246788608 14056 33554432000 4194304 4196468 140727687599296 140466866444880 140468517722011 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19612] ppid=19547 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19550/task/19612/stat : 19612 (java) S 19547 19550 15060 0 -1 1077944384 529 13013 0 0 1 0 5 2 20 0 15 0 223268424 11246788608 14056 33554432000 4194304 4196468 140727687599296 140467486095472 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19613] ppid=19547 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19550/task/19613/stat : 19613 (java) S 19547 19550 15060 0 -1 1077944384 73 13013 0 0 1 0 5 2 20 0 15 0 223268424 11246788608 14056 33554432000 4194304 4196468 140727687599296 140467485042672 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19614] ppid=19547 vsize=10983192 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/19550/task/19614/stat : 19614 (java) S 19547 19550 15060 0 -1 1077944384 627 13013 0 0 4 0 5 2 20 0 15 0 223268424 11246788608 14056 33554432000 4194304 4196468 140727687599296 140467483990384 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19615] ppid=19547 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19615/stat : 19615 (java) S 19547 19550 15060 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 223268424 11246788608 14056 33554432000 4194304 4196468 140727687599296 140466435647968 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19616] ppid=19547 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19616/stat : 19616 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 223268425 11246788608 14056 33554432000 4194304 4196468 140727687599296 140467482938288 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56224 KiB

[startup+0.70073 s]
/proc/loadavg: 1.45 1.44 1.49 4/215 19616
/proc/meminfo: memFree=13377112/32770624 swapFree=67058736/67108860
[pid=19550] ppid=19547 vsize=10983192 memory=88784 CPUtime=0.99 cores=0,2,4,6
/proc/19550/stat : 19550 (java) S 19547 19550 15060 0 -1 1077944320 16759 13013 0 0 87 5 5 2 20 0 15 0 223268410 11246788608 22196 33554432000 4194304 4196468 140727687599296 140727687581840 140468517703415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
/proc/19550/statm: 2745798 22196 3247 1 0 2708109 0
[pid=19550/tid=19603] ppid=19547 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/19550/task/19603/stat : 19603 (java) R 19547 19550 15060 0 -1 4202560 12223 13013 0 0 55 3 5 2 20 0 15 0 223268419 11246788608 22196 33554432000 4194304 4196468 140727687599296 140468489524240 140468501783902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19604] ppid=19547 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19604/stat : 19604 (java) S 19547 19550 15060 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 15 0 223268419 11246788608 22196 33554432000 4194304 4196468 140727687599296 140468521945488 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19605] ppid=19547 vsize=10983192 memory=3544 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19605/stat : 19605 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 223268419 11246788608 22196 33554432000 4194304 4196468 140727687599296 140468387281168 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19606] ppid=19547 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19606/stat : 19606 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 223268419 11246788608 22196 33554432000 4194304 4196468 140727687599296 140468386228880 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19607] ppid=19547 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19607/stat : 19607 (java) S 19547 19550 15060 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 15 0 223268419 11246788608 22196 33554432000 4194304 4196468 140727687599296 140468385176080 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19608] ppid=19547 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19608/stat : 19608 (java) S 19547 19550 15060 0 -1 1077944384 5 13013 0 0 0 0 5 2 20 0 15 0 223268421 11246788608 22196 33554432000 4194304 4196468 140727687599296 140467487148656 140468517714562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19609] ppid=19547 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19609/stat : 19609 (java) S 19547 19550 15060 0 -1 1077944384 13 13013 0 0 0 0 5 2 20 0 15 0 223268421 11246788608 22196 33554432000 4194304 4196468 140727687599296 140467375170848 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19610] ppid=19547 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19610/stat : 19610 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 223268422 11246788608 22196 33554432000 4194304 4196468 140727687599296 140467173844592 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19611] ppid=19547 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19611/stat : 19611 (java) S 19547 19550 15060 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 223268424 11246788608 22196 33554432000 4194304 4196468 140727687599296 140466866444880 140468517722011 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19612] ppid=19547 vsize=10983192 memory=13252 CPUtime=0.16 cores=0,2,4,6
/proc/19550/task/19612/stat : 19612 (java) S 19547 19550 15060 0 -1 1077944384 1145 13013 0 0 9 0 5 2 20 0 15 0 223268424 11246788608 22196 33554432000 4194304 4196468 140727687599296 140467486095472 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19613] ppid=19547 vsize=10983192 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/19550/task/19613/stat : 19613 (java) S 19547 19550 15060 0 -1 1077944384 463 13013 0 0 8 0 5 2 20 0 15 0 223268424 11246788608 22196 33554432000 4194304 4196468 140727687599296 140467485042672 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19614] ppid=19547 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/19550/task/19614/stat : 19614 (java) R 19547 19550 15060 0 -1 4202560 706 13013 0 0 13 0 5 2 20 0 15 0 223268424 11246788608 22196 33554432000 4194304 4196468 140727687599296 140467483990384 140468495835598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19615] ppid=19547 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19615/stat : 19615 (java) S 19547 19550 15060 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 223268424 11246788608 22196 33554432000 4194304 4196468 140727687599296 140466435647968 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19616] ppid=19547 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19616/stat : 19616 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 223268425 11246788608 22196 33554432000 4194304 4196468 140727687599296 140467482938288 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88784 KiB

[startup+1.50141 s]
/proc/loadavg: 1.45 1.44 1.49 5/215 19616
/proc/meminfo: memFree=13331480/32770624 swapFree=67058736/67108860
[pid=19550] ppid=19547 vsize=10993996 memory=201592 CPUtime=3.18 cores=0,2,4,6
/proc/19550/stat : 19550 (java) S 19547 19550 15060 0 -1 1077944320 24500 13013 0 0 302 9 5 2 20 0 15 0 223268410 11257851904 50398 33554432000 4194304 4196468 140727687599296 140727687581840 140468517703415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
/proc/19550/statm: 2748499 50398 3451 1 0 2710157 0
[pid=19550/tid=19603] ppid=19547 vsize=10993996 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/19550/task/19603/stat : 19603 (java) R 19547 19550 15060 0 -1 4202560 16187 13013 0 0 132 6 5 2 20 0 15 0 223268419 11257851904 50398 33554432000 4194304 4196468 140727687599296 140468489535184 140468517725341 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19604] ppid=19547 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19604/stat : 19604 (java) S 19547 19550 15060 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 15 0 223268419 11257851904 50398 33554432000 4194304 4196468 140727687599296 140468521945488 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19605] ppid=19547 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19605/stat : 19605 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 223268419 11257851904 50398 33554432000 4194304 4196468 140727687599296 140468387281168 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19606] ppid=19547 vsize=10993996 memory=3834024672109998386 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19606/stat : 19606 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 223268419 11257851904 50398 33554432000 4194304 4196468 140727687599296 140468386228880 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19607] ppid=19547 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19607/stat : 19607 (java) S 19547 19550 15060 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 15 0 223268419 11257851904 50398 33554432000 4194304 4196468 140727687599296 140468385176080 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19608] ppid=19547 vsize=10993996 memory=-7965959130280075168 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19608/stat : 19608 (java) S 19547 19550 15060 0 -1 1077944384 13 13013 0 0 0 0 5 2 20 0 15 0 223268421 11257851904 50398 33554432000 4194304 4196468 140727687599296 140467487148656 140468517714562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19609] ppid=19547 vsize=10993996 memory=279660755757312 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19609/stat : 19609 (java) S 19547 19550 15060 0 -1 1077944384 13 13013 0 0 0 0 5 2 20 0 15 0 223268421 11257851904 50398 33554432000 4194304 4196468 140727687599296 140467375170848 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19610] ppid=19547 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19610/stat : 19610 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 223268422 11257851904 50398 33554432000 4194304 4196468 140727687599296 140467173844592 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19611] ppid=19547 vsize=10993996 memory=1024 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19611/stat : 19611 (java) S 19547 19550 15060 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 223268424 11257851904 50398 33554432000 4194304 4196468 140727687599296 140466866444880 140468517722011 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19612] ppid=19547 vsize=10993996 memory=3172 CPUtime=0.69 cores=0,2,4,6
/proc/19550/task/19612/stat : 19612 (java) R 19547 19550 15060 0 -1 4202560 2075 13013 0 0 62 0 5 2 20 0 15 0 223268424 11257851904 50398 33554432000 4194304 4196468 140727687599296 140467486081696 140468497396456 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19613] ppid=19547 vsize=10993996 memory=2076 CPUtime=0.66 cores=0,2,4,6
/proc/19550/task/19613/stat : 19613 (java) R 19547 19550 15060 0 -1 4202560 2087 13013 0 0 59 0 5 2 20 0 15 0 223268424 11257851904 50398 33554432000 4194304 4196468 140727687599296 140467485031264 140468501200199 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19614] ppid=19547 vsize=10993996 memory=9004 CPUtime=0.56 cores=0,2,4,6
/proc/19550/task/19614/stat : 19614 (java) S 19547 19550 15060 0 -1 1077944384 1920 13013 0 0 48 1 5 2 20 0 15 0 223268424 11257851904 50398 33554432000 4194304 4196468 140727687599296 140467483990384 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19615] ppid=19547 vsize=10993996 memory=768 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19615/stat : 19615 (java) S 19547 19550 15060 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 223268424 11257851904 50398 33554432000 4194304 4196468 140727687599296 140466435647968 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19616] ppid=19547 vsize=10993996 memory=736 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19616/stat : 19616 (java) S 19547 19550 15060 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 223268425 11257851904 50398 33554432000 4194304 4196468 140727687599296 140467482938288 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 10993996 KiB

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

[pid=19550/tid=19607] ppid=19547 vsize=11080032 memory=8434540 CPUtime=171.03 cores=0,2,4,6
/proc/19550/task/19607/stat : 19607 (java) S 19547 19550 15060 0 -1 1077944384 217560 13013 0 0 16648 448 5 2 20 0 15 0 223268419 11345952768 2107866 33554432000 4194304 4196468 140727687599296 140468385176080 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19608] ppid=19547 vsize=11080032 memory=8431460 CPUtime=4.26 cores=0,2,4,6
/proc/19550/task/19608/stat : 19608 (java) S 19547 19550 15060 0 -1 1077944384 176491 13013 0 0 397 22 5 2 20 0 15 0 223268421 11345952768 2107866 33554432000 4194304 4196468 140727687599296 140467487148656 140468517714562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19609] ppid=19547 vsize=11080032 memory=8431464 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19609/stat : 19609 (java) S 19547 19550 15060 0 -1 1077944384 28 13013 0 0 0 0 5 2 20 0 15 0 223268421 11345952768 2107866 33554432000 4194304 4196468 140727687599296 140467375170976 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19610] ppid=19547 vsize=11080032 memory=8431464 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19610/stat : 19610 (java) S 19547 19550 15060 0 -1 1077944384 14 13013 0 0 0 0 5 2 20 0 15 0 223268422 11345952768 2107866 33554432000 4194304 4196468 140727687599296 140467173844608 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19611] ppid=19547 vsize=11080032 memory=8431464 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19611/stat : 19611 (java) S 19547 19550 15060 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 223268424 11345952768 2107866 33554432000 4194304 4196468 140727687599296 140466866444880 140468517722011 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19612] ppid=19547 vsize=11080032 memory=8431464 CPUtime=12.1 cores=0,2,4,6
/proc/19550/task/19612/stat : 19612 (java) S 19547 19550 15060 0 -1 1077944384 60662 13013 0 0 1196 7 5 2 20 0 15 0 223268424 11345952768 2107866 33554432000 4194304 4196468 140727687599296 140467486095472 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19613] ppid=19547 vsize=11080032 memory=8431464 CPUtime=12.48 cores=0,2,4,6
/proc/19550/task/19613/stat : 19613 (java) S 19547 19550 15060 0 -1 1077944384 65882 13013 0 0 1233 8 5 2 20 0 15 0 223268424 11345952768 2107866 33554432000 4194304 4196468 140727687599296 140467485042672 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19614] ppid=19547 vsize=11080032 memory=8431464 CPUtime=3.51 cores=0,2,4,6
/proc/19550/task/19614/stat : 19614 (java) S 19547 19550 15060 0 -1 1077944384 46452 13013 0 0 338 6 5 2 20 0 15 0 223268424 11345952768 2107866 33554432000 4194304 4196468 140727687599296 140467483990384 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19615] ppid=19547 vsize=11080032 memory=8431464 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19615/stat : 19615 (java) S 19547 19550 15060 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 223268424 11345952768 2107866 33554432000 4194304 4196468 140727687599296 140466435647968 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19616] ppid=19547 vsize=11080032 memory=8431464 CPUtime=1.24 cores=0,2,4,6
/proc/19550/task/19616/stat : 19616 (java) S 19547 19550 15060 0 -1 1077944384 1663 13013 0 0 59 58 5 2 20 0 15 0 223268425 11345952768 2107866 33554432000 4194304 4196468 140727687599296 140467482938288 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
Current children cumulated CPU time: 2382.1 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 8431464 KiB

[startup+1902.3 s]
/proc/loadavg: 1.66 3.28 2.82 2/194 19871
/proc/meminfo: memFree=8812532/32770624 swapFree=67058736/67108860
[pid=19550] ppid=19547 vsize=11080032 memory=8431484 CPUtime=2443.1 cores=0,2,4,6
/proc/19550/stat : 19550 (java) S 19547 19550 15060 0 -1 1077944320 1674836 13013 0 0 242347 1956 5 2 20 0 15 0 223268410 11345952768 2107871 33554432000 4194304 4196468 140727687599296 140727687581840 140468517703415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
/proc/19550/statm: 2770008 2107871 3542 1 0 2731661 0
[pid=19550/tid=19603] ppid=19547 vsize=11080032 memory=8431480 CPUtime=1724.8 cores=0,2,4,6
/proc/19550/task/19603/stat : 19603 (java) R 19547 19550 15060 0 -1 4202560 360192 13013 0 0 172389 84 5 2 20 0 15 0 223268419 11345952768 2107871 33554432000 4194304 4196468 140727687599296 140468489538160 140468078002623 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19604] ppid=19547 vsize=11080032 memory=8431484 CPUtime=171.13 cores=0,2,4,6
/proc/19550/task/19604/stat : 19604 (java) S 19547 19550 15060 0 -1 1077944384 236426 13013 0 0 16663 443 5 2 20 0 15 0 223268419 11345952768 2107871 33554432000 4194304 4196468 140727687599296 140468521945488 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19605] ppid=19547 vsize=11080032 memory=8431472 CPUtime=171.29 cores=0,2,4,6
/proc/19550/task/19605/stat : 19605 (java) S 19547 19550 15060 0 -1 1077944384 247188 13013 0 0 16670 452 5 2 20 0 15 0 223268419 11345952768 2107871 33554432000 4194304 4196468 140727687599296 140468387281168 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19606] ppid=19547 vsize=11080032 memory=8431480 CPUtime=171.42 cores=0,2,4,6
/proc/19550/task/19606/stat : 19606 (java) S 19547 19550 15060 0 -1 1077944384 245944 13013 0 0 16692 443 5 2 20 0 15 0 223268419 11345952768 2107871 33554432000 4194304 4196468 140727687599296 140468386228880 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19607] ppid=19547 vsize=11080032 memory=8431480 CPUtime=171.34 cores=0,2,4,6
/proc/19550/task/19607/stat : 19607 (java) S 19547 19550 15060 0 -1 1077944384 231306 13013 0 0 16678 449 5 2 20 0 15 0 223268419 11345952768 2107871 33554432000 4194304 4196468 140727687599296 140468385176080 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19608] ppid=19547 vsize=11080032 memory=8431480 CPUtime=4.28 cores=0,2,4,6
/proc/19550/task/19608/stat : 19608 (java) S 19547 19550 15060 0 -1 1077944384 176844 13013 0 0 399 22 5 2 20 0 15 0 223268421 11345952768 2107871 33554432000 4194304 4196468 140727687599296 140467487148656 140468517714562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19609] ppid=19547 vsize=11080032 memory=8431480 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19609/stat : 19609 (java) S 19547 19550 15060 0 -1 1077944384 28 13013 0 0 0 0 5 2 20 0 15 0 223268421 11345952768 2107871 33554432000 4194304 4196468 140727687599296 140467375170976 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19610] ppid=19547 vsize=11080032 memory=5112 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19610/stat : 19610 (java) S 19547 19550 15060 0 -1 1077944384 14 13013 0 0 0 0 5 2 20 0 15 0 223268422 11345952768 2107871 33554432000 4194304 4196468 140727687599296 140467173844608 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19611] ppid=19547 vsize=11080032 memory=8431484 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19611/stat : 19611 (java) S 19547 19550 15060 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 223268424 11345952768 2107871 33554432000 4194304 4196468 140727687599296 140466866444880 140468517722011 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19612] ppid=19547 vsize=11080032 memory=0 CPUtime=12.1 cores=0,2,4,6
/proc/19550/task/19612/stat : 19612 (java) S 19547 19550 15060 0 -1 1077944384 60669 13013 0 0 1196 7 5 2 20 0 15 0 223268424 11345952768 2107871 33554432000 4194304 4196468 140727687599296 140467486095472 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19613] ppid=19547 vsize=11080032 memory=0 CPUtime=12.48 cores=0,2,4,6
/proc/19550/task/19613/stat : 19613 (java) S 19547 19550 15060 0 -1 1077944384 65886 13013 0 0 1233 8 5 2 20 0 15 0 223268424 11345952768 2107871 33554432000 4194304 4196468 140727687599296 140467485042672 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19614] ppid=19547 vsize=11080032 memory=8431480 CPUtime=3.51 cores=0,2,4,6
/proc/19550/task/19614/stat : 19614 (java) S 19547 19550 15060 0 -1 1077944384 46456 13013 0 0 338 6 5 2 20 0 15 0 223268424 11345952768 2107871 33554432000 4194304 4196468 140727687599296 140467483990384 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19615] ppid=19547 vsize=11080032 memory=8431480 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19615/stat : 19615 (java) S 19547 19550 15060 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 223268424 11345952768 2107871 33554432000 4194304 4196468 140727687599296 140466435647968 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19616] ppid=19547 vsize=11080032 memory=8431480 CPUtime=1.28 cores=0,2,4,6
/proc/19550/task/19616/stat : 19616 (java) S 19547 19550 15060 0 -1 1077944384 1686 13013 0 0 61 60 5 2 20 0 15 0 223268425 11345952768 2107871 33554432000 4194304 4196468 140727687599296 140467482938288 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
Current children cumulated CPU time: 2443.1 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 8431484 KiB

[startup+1962.31 s]
/proc/loadavg: 1.03 2.81 2.69 2/195 19880
/proc/meminfo: memFree=8792196/32770624 swapFree=67058736/67108860
[pid=19550] ppid=19547 vsize=11080032 memory=8451980 CPUtime=2504.57 cores=0,2,4,6
/proc/19550/stat : 19550 (java) S 19547 19550 15060 0 -1 1077944320 1810498 13013 0 0 248482 1968 5 2 20 0 15 0 223268410 11345952768 2112995 33554432000 4194304 4196468 140727687599296 140727687581840 140468517703415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
/proc/19550/statm: 2770008 2112995 3542 1 0 2731661 0
[pid=19550/tid=19603] ppid=19547 vsize=11080032 memory=8451644 CPUtime=1784.32 cores=0,2,4,6
/proc/19550/task/19603/stat : 19603 (java) S 19547 19550 15060 0 -1 1077944384 450907 13013 0 0 178337 88 5 2 20 0 15 0 223268419 11345952768 2112995 33554432000 4194304 4196468 140727687599296 140468489539808 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19604] ppid=19547 vsize=11080032 memory=8451980 CPUtime=171.6 cores=0,2,4,6
/proc/19550/task/19604/stat : 19604 (java) R 19547 19550 15060 0 -1 4202560 246236 13013 0 0 16708 445 5 2 20 0 15 0 223268419 11345952768 2112995 33554432000 4194304 4196468 140727687599296 140468521945376 140468502731674 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19605] ppid=19547 vsize=11080032 memory=8451980 CPUtime=171.75 cores=0,2,4,6
/proc/19550/task/19605/stat : 19605 (java) R 19547 19550 15060 0 -1 4202560 257732 13013 0 0 16715 453 5 2 20 0 15 0 223268419 11345952768 2112995 33554432000 4194304 4196468 140727687599296 140468387281368 140468502731289 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19606] ppid=19547 vsize=11080032 memory=8451644 CPUtime=171.88 cores=0,2,4,6
/proc/19550/task/19606/stat : 19606 (java) R 19547 19550 15060 0 -1 4202560 253507 13013 0 0 16737 444 5 2 20 0 15 0 223268419 11345952768 2112995 33554432000 4194304 4196468 140727687599296 140468386229080 140468502730828 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19607] ppid=19547 vsize=11080032 memory=8451644 CPUtime=171.81 cores=0,2,4,6
/proc/19550/task/19607/stat : 19607 (java) R 19547 19550 15060 0 -1 4202560 241264 13013 0 0 16724 450 5 2 20 0 15 0 223268419 11345952768 2112995 33554432000 4194304 4196468 140727687599296 140468385176280 140468502725536 0 4 0 16800975 0 0 0 -1 2 0 0 20 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19608] ppid=19547 vsize=11080032 memory=8451980 CPUtime=4.29 cores=0,2,4,6
/proc/19550/task/19608/stat : 19608 (java) S 19547 19550 15060 0 -1 1077944384 177209 13013 0 0 400 22 5 2 20 0 15 0 223268421 11345952768 2112995 33554432000 4194304 4196468 140727687599296 140467487147168 140468517713621 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19609] ppid=19547 vsize=11080032 memory=8451980 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19609/stat : 19609 (java) S 19547 19550 15060 0 -1 1077944384 28 13013 0 0 0 0 5 2 20 0 15 0 223268421 11345952768 2112995 33554432000 4194304 4196468 140727687599296 140467375170976 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19610] ppid=19547 vsize=11080032 memory=8451980 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19610/stat : 19610 (java) S 19547 19550 15060 0 -1 1077944384 14 13013 0 0 0 0 5 2 20 0 15 0 223268422 11345952768 2112995 33554432000 4194304 4196468 140727687599296 140467173844608 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19611] ppid=19547 vsize=11080032 memory=8451168 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19611/stat : 19611 (java) S 19547 19550 15060 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 223268424 11345952768 2112995 33554432000 4194304 4196468 140727687599296 140466866444880 140468517722011 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19612] ppid=19547 vsize=11080032 memory=8451980 CPUtime=12.12 cores=0,2,4,6
/proc/19550/task/19612/stat : 19612 (java) S 19547 19550 15060 0 -1 1077944384 63186 13013 0 0 1197 8 5 2 20 0 15 0 223268424 11345952768 2112995 33554432000 4194304 4196468 140727687599296 140467486095472 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19613] ppid=19547 vsize=11080032 memory=4100 CPUtime=12.49 cores=0,2,4,6
/proc/19550/task/19613/stat : 19613 (java) S 19547 19550 15060 0 -1 1077944384 67485 13013 0 0 1234 8 5 2 20 0 15 0 223268424 11345952768 2112995 33554432000 4194304 4196468 140727687599296 140467485042672 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19614] ppid=19547 vsize=11080032 memory=8451980 CPUtime=3.51 cores=0,2,4,6
/proc/19550/task/19614/stat : 19614 (java) S 19547 19550 15060 0 -1 1077944384 49000 13013 0 0 338 6 5 2 20 0 15 0 223268424 11345952768 2112995 33554432000 4194304 4196468 140727687599296 140467483990384 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 50 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19615] ppid=19547 vsize=11080032 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19615/stat : 19615 (java) S 19547 19550 15060 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 223268424 11345952768 2112995 33554432000 4194304 4196468 140727687599296 140466435647968 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19616] ppid=19547 vsize=11080032 memory=8451644 CPUtime=1.32 cores=0,2,4,6
/proc/19550/task/19616/stat : 19616 (java) S 19547 19550 15060 0 -1 1077944384 1733 13013 0 0 63 62 5 2 20 0 15 0 223268425 11345952768 2112995 33554432000 4194304 4196468 140727687599296 140467482938288 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
Current children cumulated CPU time: 2504.57 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 8451980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1974.11 s]
/proc/loadavg: 1.02 2.72 2.66 5/195 19880
/proc/meminfo: memFree=8792276/32770624 swapFree=67058736/67108860
[pid=19550] ppid=19547 vsize=11080032 memory=8451984 CPUtime=2520.16 cores=0,2,4,6
/proc/19550/stat : 19550 (java) S 19547 19550 15060 0 -1 1077944320 1885316 13013 0 0 250036 1973 5 2 20 0 15 0 223268410 11345952768 2112996 33554432000 4194304 4196468 140727687599296 140727687581840 140468517703415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
/proc/19550/statm: 2770008 2112996 3542 1 0 2731661 0
[pid=19550/tid=19603] ppid=19547 vsize=11080032 memory=8451984 CPUtime=1794.84 cores=0,2,4,6
/proc/19550/task/19603/stat : 19603 (java) S 19547 19550 15060 0 -1 1077944384 478754 13013 0 0 179387 90 5 2 20 0 15 0 223268419 11345952768 2112996 33554432000 4194304 4196468 140727687599296 140468489539104 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19604] ppid=19547 vsize=11080032 memory=8451984 CPUtime=172.87 cores=0,2,4,6
/proc/19550/task/19604/stat : 19604 (java) R 19547 19550 15060 0 -1 4202560 259124 13013 0 0 16834 446 5 2 20 0 15 0 223268419 11345952768 2112996 33554432000 4194304 4196468 140727687599296 140468521945488 140468502731614 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19605] ppid=19547 vsize=11080032 memory=8451984 CPUtime=173.01 cores=0,2,4,6
/proc/19550/task/19605/stat : 19605 (java) R 19547 19550 15060 0 -1 4202560 270503 13013 0 0 16840 454 5 2 20 0 15 0 223268419 11345952768 2112996 33554432000 4194304 4196468 140727687599296 140468387281056 140468502725536 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19606] ppid=19547 vsize=11080032 memory=8451980 CPUtime=173.15 cores=0,2,4,6
/proc/19550/task/19606/stat : 19606 (java) R 19547 19550 15060 0 -1 4202560 261837 13013 0 0 16864 444 5 2 20 0 15 0 223268419 11345952768 2112996 33554432000 4194304 4196468 140727687599296 140468386228880 140468502725576 0 4 0 16800975 0 0 0 -1 2 0 0 20 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19607] ppid=19547 vsize=11080032 memory=8451644 CPUtime=173.07 cores=0,2,4,6
/proc/19550/task/19607/stat : 19607 (java) R 19547 19550 15060 0 -1 4202560 253587 13013 0 0 16849 451 5 2 20 0 15 0 223268419 11345952768 2112996 33554432000 4194304 4196468 140727687599296 140468385176280 140468502730550 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19608] ppid=19547 vsize=11080032 memory=8451644 CPUtime=4.29 cores=0,2,4,6
/proc/19550/task/19608/stat : 19608 (java) S 19547 19550 15060 0 -1 1077944384 177545 13013 0 0 400 22 5 2 20 0 15 0 223268421 11345952768 2112996 33554432000 4194304 4196468 140727687599296 140467487147168 140468517713621 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19609] ppid=19547 vsize=11080032 memory=8451984 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19609/stat : 19609 (java) S 19547 19550 15060 0 -1 1077944384 28 13013 0 0 0 0 5 2 20 0 15 0 223268421 11345952768 2112996 33554432000 4194304 4196468 140727687599296 140467375170976 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19610] ppid=19547 vsize=11080032 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19610/stat : 19610 (java) S 19547 19550 15060 0 -1 1077944384 14 13013 0 0 0 0 5 2 20 0 15 0 223268422 11345952768 2112996 33554432000 4194304 4196468 140727687599296 140467173844608 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19611] ppid=19547 vsize=11080032 memory=8451980 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19611/stat : 19611 (java) S 19547 19550 15060 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 223268424 11345952768 2112996 33554432000 4194304 4196468 140727687599296 140466866444880 140468517722011 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19612] ppid=19547 vsize=11080032 memory=8451168 CPUtime=12.12 cores=0,2,4,6
/proc/19550/task/19612/stat : 19612 (java) S 19547 19550 15060 0 -1 1077944384 63482 13013 0 0 1197 8 5 2 20 0 15 0 223268424 11345952768 2112996 33554432000 4194304 4196468 140727687599296 140467486078880 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19613] ppid=19547 vsize=11080032 memory=3544 CPUtime=12.49 cores=0,2,4,6
/proc/19550/task/19613/stat : 19613 (java) S 19547 19550 15060 0 -1 1077944384 67488 13013 0 0 1234 8 5 2 20 0 15 0 223268424 11345952768 2112996 33554432000 4194304 4196468 140727687599296 140467485042672 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19614] ppid=19547 vsize=11080032 memory=59492 CPUtime=3.51 cores=0,2,4,6
/proc/19550/task/19614/stat : 19614 (java) S 19547 19550 15060 0 -1 1077944384 49003 13013 0 0 338 6 5 2 20 0 15 0 223268424 11345952768 2112996 33554432000 4194304 4196468 140727687599296 140467483990384 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19615] ppid=19547 vsize=11080032 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/19550/task/19615/stat : 19615 (java) S 19547 19550 15060 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 223268424 11345952768 2112996 33554432000 4194304 4196468 140727687599296 140466435647968 140468517713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
[pid=19550/tid=19616] ppid=19547 vsize=11080032 memory=288230596050944315 CPUtime=1.32 cores=0,2,4,6
/proc/19550/task/19616/stat : 19616 (java) S 19547 19550 15060 0 -1 1077944384 1754 13013 0 0 63 62 5 2 20 0 15 0 223268425 11345952768 2112996 33554432000 4194304 4196468 140727687599296 140467482938288 140468517714562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140727687604835 140727687607644 140727687607644 140727687610319 0
Current children cumulated CPU time: 2520.16 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 8451984 KiB

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

[startup+1974.28 s]
# the end of solver process 19550 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2500.74 s, system=19.8474 s

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

[startup+1974.22 s]*
/proc/loadavg: 1.02 2.72 2.66 2/182 19882
/proc/meminfo: memFree=14091404/32770624 swapFree=67058736/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 1974.28
CPU time (s): 2520.59
CPU user time (s): 2500.74
CPU system time (s): 19.8474
CPU usage (%): 127.672
Max. virtual memory (cumulated for all children) (KiB): 11080724
Max. memory (cumulated for all children) (KiB): 8451984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2500.74
system time used= 19.8474
maximum resident set size= 8454276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1902857
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82845
involuntary context switches= 9509


# summary of solver processes directly reported to runsolver:
#   pid: 19550
#   total CPU time (s): 2520.59
#   total CPU user time (s): 2500.74
#   total CPU system time (s): 19.8474

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8084 second user time and 18.2328 second system time

The end

Launcher Data 

Begin job on node103 at 2018-08-12 08:57:32
IDJOB=4304308
IDBENCH=141189
IDSOLVER=2781
FILE ID=node103/4304308-1534057052
RUNJOBID= node103-1534038993-15971
PBS_JOBID= 21036972
Free space on /tmp= 34432 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-08-opt_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304308-1534057052/watcher-4304308-1534057052 -o /tmp/evaluation-result-4304308-1534057052/solver-4304308-1534057052 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534038993-15971 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1920541897 -superng HOME/instance-4304308-1534057052.xml

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

MD5SUM BENCH= 9be5bd0a86f9e024d7fdf548556c4b89
RANDOM SEED=1920541897

node103.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.48
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.48
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.48
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.48
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:        13429828 kB
MemAvailable:   28799932 kB
Buffers:          112416 kB
Cached:         15383720 kB
SwapCached:         5920 kB
Active:         11242028 kB
Inactive:        7408572 kB
Active(anon):    3143700 kB
Inactive(anon):    62120 kB
Active(file):    8098328 kB
Inactive(file):  7346452 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67058736 kB
Dirty:             26720 kB
Writeback:             0 kB
AnonPages:       3156644 kB
Mapped:            63032 kB
Shmem:             48604 kB
Slab:             383072 kB
SReclaimable:     353784 kB
SUnreclaim:        29288 kB
KernelStack:        3536 kB
PageTables:        11976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4143632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2885632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 34432 MiB
End job on node103 at 2018-08-12 09:30:27