Trace number 4302566

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.2SAT (TO)159930 252.122 181.763

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-13-opt_c18.xml
MD5SUMb4f35f52fd25bddaccbbeb0f9433c3f2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark135769
Best CPU time to get the best result obtained on this benchmark252.173
Satisfiable
(Un)Satisfiability was proved
Number of variables5731
Number of constraints5273
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4815},{"size":6,"count":60},{"size":22,"count":30},{"size":24,"count":18},{"size":36,"count":196},{"size":42,"count":130},{"size":44,"count":482}]
Minimum variable degree2
Maximum variable degree21
Distribution of variable degrees[{"degree":2,"count":4815},{"degree":3,"count":3},{"degree":4,"count":4},{"degree":5,"count":15},{"degree":6,"count":38},{"degree":7,"count":82},{"degree":8,"count":83},{"degree":9,"count":97},{"degree":10,"count":88},{"degree":11,"count":79},{"degree":12,"count":53},{"degree":13,"count":62},{"degree":14,"count":58},{"degree":15,"count":101},{"degree":16,"count":77},{"degree":17,"count":38},{"degree":18,"count":19},{"degree":19,"count":14},{"degree":20,"count":2},{"degree":21,"count":3}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":458},{"arity":3,"count":4815}]
Number of extensional constraints0
Number of intensional constraints5273
Distribution of constraint types[{"type":"intension","count":5273}]
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.97/0.75	c Concrete v3.9.2.1532736233296 running
165.41/100.50	o 160031
169.56/104.27	o 159931
169.75/104.39	o 159930
252.04/181.70	Exception in thread "main" java.util.concurrent.TimeoutException
252.04/181.70		at concrete.MAC.mac(MAC.scala:188)
252.04/181.70		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.04/181.70		at scala.util.Try$.apply(Try.scala:209)
252.04/181.70		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.04/181.70		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.04/181.70		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.04/181.70		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.04/181.70		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.04/181.70		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.04/181.70		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.04/181.70		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.04/181.70		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.04/181.70		at concrete.MAC.oneRun(MAC.scala:253)
252.04/181.70		at concrete.MAC.nextSolution(MAC.scala:272)
252.04/181.70		at concrete.MAC.nextSolution(MAC.scala:355)
252.04/181.70		at concrete.Solver.hasNext(Solver.scala:166)
252.04/181.70		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.04/181.70		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.04/181.70		at concrete.Solver.foreach(Solver.scala:68)
252.04/181.70		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.04/181.70		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.04/181.70		at scala.util.Success.map(Try.scala:209)
252.04/181.70		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.04/181.70		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.04/181.70		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.04/181.70		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.04/181.70		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.04/181.70		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.04/181.70		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.04/181.70		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.04/181.70		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.04/181.70		at scala.collection.immutable.List.foreach(List.scala:389)
252.04/181.70		at scala.App.main(App.scala:76)
252.04/181.70		at scala.App.main$(App.scala:74)
252.04/181.70		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.04/181.70		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.04/181.71	v <instantiation cost="159930">
252.04/181.71	v       <list>
252.04/181.71	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] 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] 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] 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]
252.04/181.72	v       </list>
252.04/181.72	v       <values>
252.04/181.72	v         268 30 554 792 254 16 736 498 16 254 16 254 16 254 114 352 30 268 366 128 554 792 254 16 254 16 30 268 30 268 778 540 44 282 352 114 750 512 86 324 554 792 86 324 16 254 254 16 540 778 540 778 736 498 30 268 736 498 792 554 240 478 498 736 792 554 722 484 394 156 44 282 652 414 792 554 86 324 512 750 142 380 722 484 254 16 792 554 554 792 254 16 652 414 86 324 156 394 254 16 792 554 254 16 114 352 792 554 156 394 296 58 254 16 16 254 268 30 240 478 16 254 666 428 680 442 512 750 792 554 352 114 722 484 554 792 268 30 142 380 240 478 156 394 554 792 792 554 282 44 428 666 792 554 540 778 142 380 456 694 764 526 442 680 86 324 764 526 778 540 282 44 380 142 414 652 338 100 268 30 72 310 792 554 764 526 778 540 240 478 254 16 708 470 16 254 652 414 156 394 540 778 680 442 30 268 16 254 30 268 268 30 554 792 16 254 764 526 792 554 680 442 554 792 394 156 100 338 778 540 750 512 16 254 540 778 380 142 764 526 142 380 30 268 394 156 694 456 722 484 338 100 72 310 540 778 268 30 764 526 540 778 554 792 666 428 268 30 100 338 554 792 478 240 142 380 142 380 540 778 254 16 100 338 736 498 128 366 554 792 394 156 380 142 268 30 352 114 708 470 366 128 792 554 554 792 554 792 128 366 254 16 792 554 778 540 792 554 254 16 282 44 484 722 100 338 540 778 142 380 778 540 540 778 540 778 666 428 156 394 414 652 142 380 296 58 268 30 30 268 44 282 254 16 778 540 792 554 792 554 16 254 526 764 310 72 792 554 16 254 764 526 16 254 394 156 44 282 666 428 30 268 268 30 254 16 652 414 142 380 478 240 792 554 554 792 512 750 484 722 554 792 554 792 268 30 736 498 44 282 114 352 792 554 414 652 722 484 652 414 750 512 484 722 156 394 478 240 58 296 792 554 156 394 16 254 666 428 268 30 428 666 58 296 414 652 750 512 142 380 310 72 142 380 338 100 554 792 114 352 254 16 778 540 72 310 750 512 282 44 694 456 44 282 16 254 554 792 526 764 792 554 652 414 792 554 792 554 478 240 792 554 352 114 394 156 778 540 254 16 792 554 498 736 694 456 72 310 478 240 16 254 72 310 792 554 30 268 694 456 428 666 680 442 72 310 268 30 58 296 722 484 268 30 142 380 498 736 16 254 16 254 778 540 282 44 778 540 792 554 16 254 268 30 792 554 16 254 310 72 750 512 142 380 142 380 296 58 778 540 456 694 44 282 680 442 86 324 254 16 142 380 456 694 792 554 778 540 16 254 254 16 540 778 380 142 666 428 380 142 100 338 30 268 72 310 30 268 240 478 708 470 442 680 680 442 16 254 708 470 554 792 792 554 792 554 142 380 456 694 722 484 268 30 512 750 792 554 128 366 414 652 44 282 750 512 16 254 58 296 666 428 778 540 554 792 114 352 456 694 792 554 44 282 540 778 540 778 240 478 652 414 428 666 16 254 156 394 792 554 16 254 694 456 72 310 16 254 16 254 736 498 128 366 142 380 554 792 414 652 16 254 58 296 58 296 352 114 792 554 72 310 764 526 16 254 30 268 254 16 722 484 764 526 792 554 428 666 30 268 792 554 254 16 694 456 680 442 554 792 254 16 142 380 366 128 16 254 30 268 30 268 722 484 498 736 512 750 554 792 526 764 554 792 554 792 254 16 352 114 16 254 554 792 792 554 16 254 100 338 792 554 750 512 554 792 428 666 778 540 366 128 254 16 380 142 792 554 540 778 442 680 680 442 792 554 778 540 254 16 736 498 736 498 792 554 142 380 156 394 16 254 324 86 268 30 694 456 722 484 554 792 540 778 540 778 72 310 708 470 666 428 722 484 114 352 792 554 128 366 240 478 778 540 240 478 512 750 778 540 58 296 554 792 240 478 792 554 750 512 240 478 324 86 792 554 254 16 16 254 142 380 142 380 554 792 128 366 778 540 254 16 414 652 792 554 554 792 324 86 16 254 100 338 114 352 736 498 16 254 428 666 792 554 16 254 0 0 0 0 0 1000 0 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 1000 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 1000 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 1000 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 0 1000 1000 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 100 100 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 100 0 100 100 0 0 0 0 0 100 0 0 0 0 0 0 0 100 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 100 0 100 100 100 0 0 100 0 100 0 0 100 0 100 0 0 0 0 100 100 100 0 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 100 100 0 0 0 100 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 100 100 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 100 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 100 0 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 100 0 100 100 100 0 0 100 0 100 0 0 0 0 0 0 100 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 0 100 100 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 100 100 0 100 0 0 0 100 0 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 100 0 100 100 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 100 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 100 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 0 100 100 0 0 100 100 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 10 0 0 10 0 10 0 10 0 10 10 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 10 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 10 0 10 0 10 10 0 10 0 10 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 10 10 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 10 10 10 0 0 0 10 0 10 0 10 0 0 0 0 0 10 10 10 10 0 0 0 0 0 10 0 10 0 0 10 10 10 0 0 0 0 10 0 0 10 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 10 10 10 10 0 0 0 10 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 10 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 10 10 0 0 0 10 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 10 0 10 0 0 0 10 10 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 10 10 10 10 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 10 10 0 10 10 0 0 0 0 10 10 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 10 0 10 10 0 10 0 10 10 0 10 0 10 10 0 10 10 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 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 1 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 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 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 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 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 1 1 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 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 1 1 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 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1
252.04/181.72	v       </values>
252.04/181.72	v     </instantiation>
252.04/181.72	s SATISFIABLE

Verifier Data 

OK	159930

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302566-1532895639/watcher-4302566-1532895639 -o /tmp/evaluation-result-4302566-1532895639/solver-4302566-1532895639 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13713 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=2010947621 HOME/instance-4302566-1532895639.xml 

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

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


[startup+0.102515 s]*
/proc/loadavg: 2.10 2.01 1.96 2/207 17581
/proc/meminfo: memFree=21730760/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=10005480 memory=18864 CPUtime=0.08 cores=1,3,5,7
/proc/17524/stat : 17524 (java) S 17521 17524 12183 0 -1 1077944320 4350 13307 0 0 1 0 5 2 20 0 6 0 107127127 10245611520 4716 33554432000 4194304 4196468 140721840942160 140721840924704 139883252203255 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
/proc/17524/statm: 2501370 4716 1935 1 0 2489808 0
[pid=17524/tid=17577] ppid=17521 vsize=10005480 memory=4279135703980344719 CPUtime=0.08 cores=1,3,5,7
/proc/17524/task/17577/stat : 17577 (java) R 17521 17524 12183 0 -1 4202560 2160 13307 0 0 1 0 5 2 20 0 6 0 107127136 10245611520 4716 33554432000 4194304 4196468 140721840942160 139883224040016 139883252225181 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17578] ppid=17521 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17578/stat : 17578 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 6 0 107127137 10245611520 4716 33554432000 4194304 4196468 140721840942160 139883256445584 139883252213461 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17579] ppid=17521 vsize=10005480 memory=139688867612288 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17579/stat : 17579 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 6 0 107127137 10245611520 4716 33554432000 4194304 4196468 140721840942160 139883127093776 139883252213461 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17580] ppid=17521 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17580/stat : 17580 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 6 0 107127137 10245611520 4716 33554432000 4194304 4196468 140721840942160 139882790705552 139883252213461 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17581] ppid=17521 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17581/stat : 17581 (java) S 17521 17524 12183 0 -1 1077944384 2 13307 0 0 0 0 5 2 20 0 6 0 107127137 10245611520 4716 33554432000 4194304 4196468 140721840942160 139882789652752 139883252213461 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18864 KiB

[startup+0.210032 s]*
/proc/loadavg: 2.10 2.01 1.96 3/216 17590
/proc/meminfo: memFree=21708284/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=10982744 memory=45016 CPUtime=0.25 cores=1,3,5,7
/proc/17524/stat : 17524 (java) S 17521 17524 12183 0 -1 1077944320 7470 13307 0 0 16 2 5 2 20 0 15 0 107127127 11246329856 11254 33554432000 4194304 4196468 140721840942160 140721840924704 139883252203255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
/proc/17524/statm: 2745686 11254 2947 1 0 2708109 0
[pid=17524/tid=17577] ppid=17521 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/17524/task/17577/stat : 17577 (java) R 17521 17524 12183 0 -1 4202560 4170 13307 0 0 10 1 5 2 20 0 15 0 107127136 11246329856 11386 33554432000 4194304 4196468 140721840942160 139883224026864 139883232478962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17578] ppid=17521 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17578/stat : 17578 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127137 11246329856 11386 33554432000 4194304 4196468 140721840942160 139883256445584 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17579] ppid=17521 vsize=10982744 memory=139688867612288 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17579/stat : 17579 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127137 11246329856 11452 33554432000 4194304 4196468 140721840942160 139883127093776 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17580] ppid=17521 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17580/stat : 17580 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127137 11246329856 11452 33554432000 4194304 4196468 140721840942160 139882790705552 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17581] ppid=17521 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17581/stat : 17581 (java) S 17521 17524 12183 0 -1 1077944384 2 13307 0 0 0 0 5 2 20 0 15 0 107127137 11246329856 11452 33554432000 4194304 4196468 140721840942160 139882789652752 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17582] ppid=17521 vsize=10982744 memory=139688867612288 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17582/stat : 17582 (java) S 17521 17524 12183 0 -1 1077944384 2 13307 0 0 0 0 5 2 20 0 15 0 107127139 11246329856 11452 33554432000 4194304 4196468 140721840942160 139882745211760 139883252214402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17583] ppid=17521 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17583/stat : 17583 (java) S 17521 17524 12183 0 -1 1077944384 13 13307 0 0 0 0 5 2 20 0 15 0 107127139 11246329856 11452 33554432000 4194304 4196468 140721840942160 139881998181920 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17584] ppid=17521 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17584/stat : 17584 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127139 11246329856 11452 33554432000 4194304 4196468 140721840942160 139881850332528 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17585] ppid=17521 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17585/stat : 17585 (java) S 17521 17524 12183 0 -1 1077944384 3 13307 0 0 0 0 5 2 20 0 15 0 107127142 11246329856 11452 33554432000 4194304 4196468 140721840942160 139881542932816 139883252221851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17586] ppid=17521 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17524/task/17586/stat : 17586 (java) S 17521 17524 12183 0 -1 1077944384 489 13307 0 0 1 0 5 2 20 0 15 0 107127142 11246329856 11452 33554432000 4194304 4196468 140721840942160 139882744158576 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17587] ppid=17521 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17587/stat : 17587 (java) S 17521 17524 12183 0 -1 1077944384 127 13307 0 0 0 0 5 2 20 0 15 0 107127142 11246329856 11452 33554432000 4194304 4196468 140721840942160 139882743105776 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17588] ppid=17521 vsize=10982744 memory=139688867612288 CPUtime=0.1 cores=1,3,5,7
/proc/17524/task/17588/stat : 17588 (java) S 17521 17524 12183 0 -1 1077944384 611 13307 0 0 3 0 5 2 20 0 15 0 107127142 11246329856 11452 33554432000 4194304 4196468 140721840942160 139882742052976 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17589] ppid=17521 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17589/stat : 17589 (java) S 17521 17524 12183 0 -1 1077944384 3 13307 0 0 0 0 5 2 20 0 15 0 107127142 11246329856 11452 33554432000 4194304 4196468 140721840942160 139881112135904 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17590] ppid=17521 vsize=10982744 memory=139688867612288 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17590/stat : 17590 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127143 11246329856 11452 33554432000 4194304 4196468 140721840942160 139882741001392 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45016 KiB

[startup+0.310469 s]*
/proc/loadavg: 2.10 2.01 1.96 3/216 17590
/proc/meminfo: memFree=21695756/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=10983192 memory=57308 CPUtime=0.37 cores=1,3,5,7
/proc/17524/stat : 17524 (java) S 17521 17524 12183 0 -1 1077944320 10388 13307 0 0 28 2 5 2 20 0 15 0 107127127 11246788608 14327 33554432000 4194304 4196468 140721840942160 140721840924704 139883252203255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
/proc/17524/statm: 2745798 14327 3066 1 0 2708109 0
[pid=17524/tid=17577] ppid=17521 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/17524/task/17577/stat : 17577 (java) R 17521 17524 12183 0 -1 4202560 6918 13307 0 0 19 1 5 2 20 0 15 0 107127136 11246788608 14327 33554432000 4194304 4196468 140721840942160 139883224015264 139883233576805 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17578] ppid=17521 vsize=10983192 memory=7012755875661107280 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17578/stat : 17578 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127137 11246788608 14327 33554432000 4194304 4196468 140721840942160 139883256445584 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17579] ppid=17521 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17579/stat : 17579 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127137 11246788608 14327 33554432000 4194304 4196468 140721840942160 139883127093776 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17580] ppid=17521 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17580/stat : 17580 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127137 11246788608 14327 33554432000 4194304 4196468 140721840942160 139882790705552 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17581] ppid=17521 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17581/stat : 17581 (java) S 17521 17524 12183 0 -1 1077944384 2 13307 0 0 0 0 5 2 20 0 15 0 107127137 11246788608 14327 33554432000 4194304 4196468 140721840942160 139882789652752 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17582] ppid=17521 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17582/stat : 17582 (java) S 17521 17524 12183 0 -1 1077944384 2 13307 0 0 0 0 5 2 20 0 15 0 107127139 11246788608 14327 33554432000 4194304 4196468 140721840942160 139882745211760 139883252214402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17583] ppid=17521 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17583/stat : 17583 (java) S 17521 17524 12183 0 -1 1077944384 13 13307 0 0 0 0 5 2 20 0 15 0 107127139 11246788608 14327 33554432000 4194304 4196468 140721840942160 139881998181920 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17584] ppid=17521 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17584/stat : 17584 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127139 11246788608 14327 33554432000 4194304 4196468 140721840942160 139881850332528 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17585] ppid=17521 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17585/stat : 17585 (java) S 17521 17524 12183 0 -1 1077944384 3 13307 0 0 0 0 5 2 20 0 15 0 107127142 11246788608 14327 33554432000 4194304 4196468 140721840942160 139881542932816 139883252221851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17586] ppid=17521 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17524/task/17586/stat : 17586 (java) S 17521 17524 12183 0 -1 1077944384 491 13307 0 0 1 0 5 2 20 0 15 0 107127142 11246788608 14327 33554432000 4194304 4196468 140721840942160 139882744158576 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17587] ppid=17521 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17524/task/17587/stat : 17587 (java) S 17521 17524 12183 0 -1 1077944384 130 13307 0 0 1 0 5 2 20 0 15 0 107127142 11246788608 14327 33554432000 4194304 4196468 140721840942160 139882743105776 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17588] ppid=17521 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17524/task/17588/stat : 17588 (java) S 17521 17524 12183 0 -1 1077944384 626 13307 0 0 5 0 5 2 20 0 15 0 107127142 11246788608 14327 33554432000 4194304 4196468 140721840942160 139882742052976 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17589] ppid=17521 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17589/stat : 17589 (java) S 17521 17524 12183 0 -1 1077944384 3 13307 0 0 0 0 5 2 20 0 15 0 107127142 11246788608 14327 33554432000 4194304 4196468 140721840942160 139881112135904 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17590] ppid=17521 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17590/stat : 17590 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127143 11246788608 14327 33554432000 4194304 4196468 140721840942160 139882741001392 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57308 KiB

[startup+0.700769 s]
/proc/loadavg: 2.10 2.01 1.96 4/216 17590
/proc/meminfo: memFree=21683696/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=10983192 memory=90096 CPUtime=0.97 cores=1,3,5,7
/proc/17524/stat : 17524 (java) S 17521 17524 12183 0 -1 1077944320 16706 13307 0 0 87 3 5 2 20 0 15 0 107127127 11246788608 22524 33554432000 4194304 4196468 140721840942160 140721840924704 139883252203255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
/proc/17524/statm: 2745798 22524 3238 1 0 2708109 0
[pid=17524/tid=17577] ppid=17521 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/17524/task/17577/stat : 17577 (java) R 17521 17524 12183 0 -1 4202560 12144 13307 0 0 56 2 5 2 20 0 15 0 107127136 11246788608 22524 33554432000 4194304 4196468 140721840942160 139883224031136 139883236283742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17578] ppid=17521 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17578/stat : 17578 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127137 11246788608 22524 33554432000 4194304 4196468 140721840942160 139883256445584 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17579] ppid=17521 vsize=10983192 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17579/stat : 17579 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127137 11246788608 22524 33554432000 4194304 4196468 140721840942160 139883127093776 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17580] ppid=17521 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17580/stat : 17580 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127137 11246788608 22524 33554432000 4194304 4196468 140721840942160 139882790705552 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17581] ppid=17521 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17581/stat : 17581 (java) S 17521 17524 12183 0 -1 1077944384 2 13307 0 0 0 0 5 2 20 0 15 0 107127137 11246788608 22524 33554432000 4194304 4196468 140721840942160 139882789652752 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17582] ppid=17521 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17582/stat : 17582 (java) S 17521 17524 12183 0 -1 1077944384 5 13307 0 0 0 0 5 2 20 0 15 0 107127139 11246788608 22524 33554432000 4194304 4196468 140721840942160 139882745211760 139883252214402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17583] ppid=17521 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17583/stat : 17583 (java) S 17521 17524 12183 0 -1 1077944384 13 13307 0 0 0 0 5 2 20 0 15 0 107127139 11246788608 22524 33554432000 4194304 4196468 140721840942160 139881998181920 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17584] ppid=17521 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17584/stat : 17584 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127139 11246788608 22524 33554432000 4194304 4196468 140721840942160 139881850332528 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17585] ppid=17521 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17585/stat : 17585 (java) S 17521 17524 12183 0 -1 1077944384 3 13307 0 0 0 0 5 2 20 0 15 0 107127142 11246788608 22524 33554432000 4194304 4196468 140721840942160 139881542932816 139883252221851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17586] ppid=17521 vsize=10983192 memory=13252 CPUtime=0.15 cores=1,3,5,7
/proc/17524/task/17586/stat : 17586 (java) S 17521 17524 12183 0 -1 1077944384 910 13307 0 0 8 0 5 2 20 0 15 0 107127142 11246788608 22524 33554432000 4194304 4196468 140721840942160 139882744158576 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17587] ppid=17521 vsize=10983192 memory=15460 CPUtime=0.16 cores=1,3,5,7
/proc/17524/task/17587/stat : 17587 (java) S 17521 17524 12183 0 -1 1077944384 703 13307 0 0 9 0 5 2 20 0 15 0 107127142 11246788608 22524 33554432000 4194304 4196468 140721840942160 139882743105776 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17588] ppid=17521 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/17524/task/17588/stat : 17588 (java) S 17521 17524 12183 0 -1 1077944384 723 13307 0 0 13 0 5 2 20 0 15 0 107127142 11246788608 22524 33554432000 4194304 4196468 140721840942160 139882742052976 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17589] ppid=17521 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17589/stat : 17589 (java) S 17521 17524 12183 0 -1 1077944384 3 13307 0 0 0 0 5 2 20 0 15 0 107127142 11246788608 22524 33554432000 4194304 4196468 140721840942160 139881112135904 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17590] ppid=17521 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17590/stat : 17590 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127143 11246788608 22524 33554432000 4194304 4196468 140721840942160 139882741001392 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90096 KiB

[startup+1.50073 s]
/proc/loadavg: 2.10 2.01 1.96 3/216 17590
/proc/meminfo: memFree=21640404/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=10993996 memory=202000 CPUtime=2.97 cores=1,3,5,7
/proc/17524/stat : 17524 (java) S 17521 17524 12183 0 -1 1077944320 23688 13307 0 0 283 7 5 2 20 0 15 0 107127127 11257851904 50500 33554432000 4194304 4196468 140721840942160 140721840924704 139883252203255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
/proc/17524/statm: 2748499 50500 3454 1 0 2710157 0
[pid=17524/tid=17577] ppid=17521 vsize=10993996 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/17524/task/17577/stat : 17577 (java) R 17521 17524 12183 0 -1 4202560 15832 13307 0 0 132 5 5 2 20 0 15 0 107127136 11257851904 50500 33554432000 4194304 4196468 140721840942160 139883223976160 139883236283742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17578] ppid=17521 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17578/stat : 17578 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127137 11257851904 50500 33554432000 4194304 4196468 140721840942160 139883256445584 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17579] ppid=17521 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17579/stat : 17579 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127137 11257851904 50500 33554432000 4194304 4196468 140721840942160 139883127093776 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17580] ppid=17521 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17580/stat : 17580 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127137 11257851904 50500 33554432000 4194304 4196468 140721840942160 139882790705552 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17581] ppid=17521 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17581/stat : 17581 (java) S 17521 17524 12183 0 -1 1077944384 2 13307 0 0 0 0 5 2 20 0 15 0 107127137 11257851904 50500 33554432000 4194304 4196468 140721840942160 139882789652752 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17582] ppid=17521 vsize=10993996 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17582/stat : 17582 (java) S 17521 17524 12183 0 -1 1077944384 13 13307 0 0 0 0 5 2 20 0 15 0 107127139 11257851904 50500 33554432000 4194304 4196468 140721840942160 139882745211760 139883252214402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17583] ppid=17521 vsize=10993996 memory=279377422133504 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17583/stat : 17583 (java) S 17521 17524 12183 0 -1 1077944384 13 13307 0 0 0 0 5 2 20 0 15 0 107127139 11257851904 50500 33554432000 4194304 4196468 140721840942160 139881998181920 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17584] ppid=17521 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17584/stat : 17584 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127139 11257851904 50500 33554432000 4194304 4196468 140721840942160 139881850332528 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17585] ppid=17521 vsize=10993996 memory=1952 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17585/stat : 17585 (java) S 17521 17524 12183 0 -1 1077944384 3 13307 0 0 0 0 5 2 20 0 15 0 107127142 11257851904 50500 33554432000 4194304 4196468 140721840942160 139881542932816 139883252221851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17586] ppid=17521 vsize=10993996 memory=1232 CPUtime=0.56 cores=1,3,5,7
/proc/17524/task/17586/stat : 17586 (java) S 17521 17524 12183 0 -1 1077944384 2350 13307 0 0 49 0 5 2 20 0 15 0 107127142 11257851904 50500 33554432000 4194304 4196468 140721840942160 139882744158576 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17587] ppid=17521 vsize=10993996 memory=8560 CPUtime=0.6 cores=1,3,5,7
/proc/17524/task/17587/stat : 17587 (java) S 17521 17524 12183 0 -1 1077944384 1579 13307 0 0 53 0 5 2 20 0 15 0 107127142 11257851904 50500 33554432000 4194304 4196468 140721840942160 139882743105776 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17588] ppid=17521 vsize=10993996 memory=1712 CPUtime=0.54 cores=1,3,5,7
/proc/17524/task/17588/stat : 17588 (java) S 17521 17524 12183 0 -1 1077944384 1693 13307 0 0 47 0 5 2 20 0 15 0 107127142 11257851904 50500 33554432000 4194304 4196468 140721840942160 139882742052976 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17589] ppid=17521 vsize=10993996 memory=5412 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17589/stat : 17589 (java) S 17521 17524 12183 0 -1 1077944384 3 13307 0 0 0 0 5 2 20 0 15 0 107127142 11257851904 50500 33554432000 4194304 4196468 140721840942160 139881112135904 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17590] ppid=17521 vsize=10993996 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17590/stat : 17590 (java) S 17521 17524 12183 0 -1 1077944384 1 13307 0 0 0 0 5 2 20 0 15 0 107127143 11257851904 50500 33554432000 4194304 4196468 140721840942160 139882741001392 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10993996 KiB

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

/proc/17524/task/17577/stat : 17577 (java) R 17521 17524 12183 0 -1 4202560 112677 13307 0 0 8556 24 5 2 20 0 15 0 107127136 11345952768 794779 33554432000 4194304 4196468 140721840942160 139883224037520 139882823920300 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17578] ppid=17521 vsize=11080032 memory=279377422059984 CPUtime=14.87 cores=1,3,5,7
/proc/17524/task/17578/stat : 17578 (java) S 17521 17524 12183 0 -1 1077944384 60214 13307 0 0 1426 54 5 2 20 0 15 0 107127137 11345952768 794779 33554432000 4194304 4196468 140721840942160 139883256445584 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17579] ppid=17521 vsize=11080032 memory=279377422274944 CPUtime=14.76 cores=1,3,5,7
/proc/17524/task/17579/stat : 17579 (java) S 17521 17524 12183 0 -1 1077944384 29822 13307 0 0 1416 53 5 2 20 0 15 0 107127137 11345952768 794779 33554432000 4194304 4196468 140721840942160 139883127093776 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17580] ppid=17521 vsize=11080032 memory=139688711530392 CPUtime=14.79 cores=1,3,5,7
/proc/17524/task/17580/stat : 17580 (java) S 17521 17524 12183 0 -1 1077944384 26255 13307 0 0 1420 52 5 2 20 0 15 0 107127137 11345952768 794779 33554432000 4194304 4196468 140721840942160 139882790705552 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17581] ppid=17521 vsize=11080032 memory=3179116 CPUtime=14.82 cores=1,3,5,7
/proc/17524/task/17581/stat : 17581 (java) S 17521 17524 12183 0 -1 1077944384 19627 13307 0 0 1419 56 5 2 20 0 15 0 107127137 11345952768 794779 33554432000 4194304 4196468 140721840942160 139882789652752 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17582] ppid=17521 vsize=11080032 memory=3179116 CPUtime=1.46 cores=1,3,5,7
/proc/17524/task/17582/stat : 17582 (java) S 17521 17524 12183 0 -1 1077944384 31791 13307 0 0 137 2 5 2 20 0 15 0 107127139 11345952768 794779 33554432000 4194304 4196468 140721840942160 139882745211760 139883252214402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17583] ppid=17521 vsize=11080032 memory=3179116 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17583/stat : 17583 (java) S 17521 17524 12183 0 -1 1077944384 48 13307 0 0 0 0 5 2 20 0 15 0 107127139 11345952768 794779 33554432000 4194304 4196468 140721840942160 139881998181984 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17584] ppid=17521 vsize=11080032 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17584/stat : 17584 (java) S 17521 17524 12183 0 -1 1077944384 57 13307 0 0 0 0 5 2 20 0 15 0 107127139 11345952768 794779 33554432000 4194304 4196468 140721840942160 139881850332544 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17585] ppid=17521 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17585/stat : 17585 (java) S 17521 17524 12183 0 -1 1077944384 3 13307 0 0 0 0 5 2 20 0 15 0 107127142 11345952768 794779 33554432000 4194304 4196468 140721840942160 139881542932816 139883252221851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17586] ppid=17521 vsize=11080032 memory=0 CPUtime=9.35 cores=1,3,5,7
/proc/17524/task/17586/stat : 17586 (java) S 17521 17524 12183 0 -1 1077944384 21098 13307 0 0 924 4 5 2 20 0 15 0 107127142 11345952768 794779 33554432000 4194304 4196468 140721840942160 139882744158576 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17587] ppid=17521 vsize=11080032 memory=3134284 CPUtime=9.09 cores=1,3,5,7
/proc/17524/task/17587/stat : 17587 (java) S 17521 17524 12183 0 -1 1077944384 17801 13307 0 0 899 3 5 2 20 0 15 0 107127142 11345952768 794779 33554432000 4194304 4196468 140721840942160 139882743105776 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17588] ppid=17521 vsize=11080032 memory=7288 CPUtime=3.05 cores=1,3,5,7
/proc/17524/task/17588/stat : 17588 (java) S 17521 17524 12183 0 -1 1077944384 21281 13307 0 0 292 6 5 2 20 0 15 0 107127142 11345952768 794779 33554432000 4194304 4196468 140721840942160 139882742052976 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17589] ppid=17521 vsize=11080032 memory=3134284 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17589/stat : 17589 (java) S 17521 17524 12183 0 -1 1077944384 3 13307 0 0 0 0 5 2 20 0 15 0 107127142 11345952768 794779 33554432000 4194304 4196468 140721840942160 139881112135904 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17590] ppid=17521 vsize=11080032 memory=3179116 CPUtime=0.12 cores=1,3,5,7
/proc/17524/task/17590/stat : 17590 (java) S 17521 17524 12183 0 -1 1077944384 2070 13307 0 0 2 3 5 2 20 0 15 0 107127143 11345952768 794779 33554432000 4194304 4196468 140721840942160 139882741001392 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
Current children cumulated CPU time: 167.66 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3179116 KiB

[startup+162.301 s]
/proc/loadavg: 1.54 1.89 1.93 5/216 17720
/proc/meminfo: memFree=20173256/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=11080032 memory=3509664 CPUtime=231.96 cores=1,3,5,7
/proc/17524/stat : 17524 (java) S 17521 17524 12183 0 -1 1077944320 364765 13307 0 0 22883 306 5 2 20 0 15 0 107127127 11345952768 877416 33554432000 4194304 4196468 140721840942160 140721840924704 139883252203255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
/proc/17524/statm: 2770008 877416 3539 1 0 2731661 0
[pid=17524/tid=17577] ppid=17521 vsize=11080032 memory=3509664 CPUtime=144.66 cores=1,3,5,7
/proc/17524/task/17577/stat : 17577 (java) R 17521 17524 12183 0 -1 4202560 116696 13307 0 0 14435 24 5 2 20 0 15 0 107127136 11345952768 877416 33554432000 4194304 4196468 140721840942160 139883224037840 139882828569001 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17578] ppid=17521 vsize=11080032 memory=3509664 CPUtime=16.05 cores=1,3,5,7
/proc/17524/task/17578/stat : 17578 (java) S 17521 17524 12183 0 -1 1077944384 62552 13307 0 0 1533 65 5 2 20 0 15 0 107127137 11345952768 877416 33554432000 4194304 4196468 140721840942160 139883256445584 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17579] ppid=17521 vsize=11080032 memory=3509588 CPUtime=15.94 cores=1,3,5,7
/proc/17524/task/17579/stat : 17579 (java) S 17521 17524 12183 0 -1 1077944384 32642 13307 0 0 1523 64 5 2 20 0 15 0 107127137 11345952768 877416 33554432000 4194304 4196468 140721840942160 139883127093776 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17580] ppid=17521 vsize=11080032 memory=279377422206744 CPUtime=15.95 cores=1,3,5,7
/proc/17524/task/17580/stat : 17580 (java) S 17521 17524 12183 0 -1 1077944384 29440 13307 0 0 1526 62 5 2 20 0 15 0 107127137 11345952768 877416 33554432000 4194304 4196468 140721840942160 139882790705552 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17581] ppid=17521 vsize=11080032 memory=3509588 CPUtime=16 cores=1,3,5,7
/proc/17524/task/17581/stat : 17581 (java) S 17521 17524 12183 0 -1 1077944384 21761 13307 0 0 1526 67 5 2 20 0 15 0 107127137 11345952768 877416 33554432000 4194304 4196468 140721840942160 139882789652752 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17582] ppid=17521 vsize=11080032 memory=3476764 CPUtime=1.49 cores=1,3,5,7
/proc/17524/task/17582/stat : 17582 (java) S 17521 17524 12183 0 -1 1077944384 32372 13307 0 0 139 3 5 2 20 0 15 0 107127139 11345952768 877416 33554432000 4194304 4196468 140721840942160 139882745211760 139883252214402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17583] ppid=17521 vsize=11080032 memory=3509588 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17583/stat : 17583 (java) S 17521 17524 12183 0 -1 1077944384 52 13307 0 0 0 0 5 2 20 0 15 0 107127139 11345952768 877416 33554432000 4194304 4196468 140721840942160 139881998181984 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17584] ppid=17521 vsize=11080032 memory=30684 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17584/stat : 17584 (java) S 17521 17524 12183 0 -1 1077944384 60 13307 0 0 0 0 5 2 20 0 15 0 107127139 11345952768 877416 33554432000 4194304 4196468 140721840942160 139881850332544 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17585] ppid=17521 vsize=11080032 memory=3476764 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17585/stat : 17585 (java) S 17521 17524 12183 0 -1 1077944384 3 13307 0 0 0 0 5 2 20 0 15 0 107127142 11345952768 877416 33554432000 4194304 4196468 140721840942160 139881542932816 139883252221851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17586] ppid=17521 vsize=11080032 memory=3476764 CPUtime=9.7 cores=1,3,5,7
/proc/17524/task/17586/stat : 17586 (java) S 17521 17524 12183 0 -1 1077944384 22445 13307 0 0 959 4 5 2 20 0 15 0 107127142 11345952768 877416 33554432000 4194304 4196468 140721840942160 139882744158576 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17587] ppid=17521 vsize=11080032 memory=3509588 CPUtime=9.43 cores=1,3,5,7
/proc/17524/task/17587/stat : 17587 (java) S 17521 17524 12183 0 -1 1077944384 18692 13307 0 0 933 3 5 2 20 0 15 0 107127142 11345952768 877416 33554432000 4194304 4196468 140721840942160 139882743105776 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17588] ppid=17521 vsize=11080032 memory=3446008 CPUtime=3.11 cores=1,3,5,7
/proc/17524/task/17588/stat : 17588 (java) S 17521 17524 12183 0 -1 1077944384 23666 13307 0 0 297 7 5 2 20 0 15 0 107127142 11345952768 877416 33554432000 4194304 4196468 140721840942160 139882742052976 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17589] ppid=17521 vsize=11080032 memory=3509664 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17589/stat : 17589 (java) S 17521 17524 12183 0 -1 1077944384 3 13307 0 0 0 0 5 2 20 0 15 0 107127142 11345952768 877416 33554432000 4194304 4196468 140721840942160 139881112135904 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17590] ppid=17521 vsize=11080032 memory=3509664 CPUtime=0.15 cores=1,3,5,7
/proc/17524/task/17590/stat : 17590 (java) S 17521 17524 12183 0 -1 1077944384 2186 13307 0 0 4 4 5 2 20 0 15 0 107127143 11345952768 877416 33554432000 4194304 4196468 140721840942160 139882741001392 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
Current children cumulated CPU time: 231.96 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3509664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+181.701 s]
/proc/loadavg: 1.88 1.95 1.95 3/216 17847
/proc/meminfo: memFree=19999760/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=11080032 memory=3524088 CPUtime=252.04 cores=1,3,5,7
/proc/17524/stat : 17524 (java) S 17521 17524 12183 0 -1 1077944320 372239 13307 0 0 24887 310 5 2 20 0 15 0 107127127 11345952768 881022 33554432000 4194304 4196468 140721840942160 140721840924704 139883252203255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
/proc/17524/statm: 2770008 881022 3539 1 0 2731661 0
[pid=17524/tid=17577] ppid=17521 vsize=11080032 memory=3524088 CPUtime=163.84 cores=1,3,5,7
/proc/17524/task/17577/stat : 17577 (java) R 17521 17524 12183 0 -1 4202560 118074 13307 0 0 16353 24 5 2 20 0 15 0 107127136 11345952768 881022 33554432000 4194304 4196468 140721840942160 139883224034800 139882807755918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17578] ppid=17521 vsize=11080032 memory=3524088 CPUtime=16.24 cores=1,3,5,7
/proc/17524/task/17578/stat : 17578 (java) S 17521 17524 12183 0 -1 1077944384 63034 13307 0 0 1552 65 5 2 20 0 15 0 107127137 11345952768 881022 33554432000 4194304 4196468 140721840942160 139883256445584 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17579] ppid=17521 vsize=11080032 memory=3524088 CPUtime=16.13 cores=1,3,5,7
/proc/17524/task/17579/stat : 17579 (java) S 17521 17524 12183 0 -1 1077944384 33046 13307 0 0 1541 65 5 2 20 0 15 0 107127137 11345952768 881022 33554432000 4194304 4196468 140721840942160 139883127093776 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17580] ppid=17521 vsize=11080032 memory=3524088 CPUtime=16.15 cores=1,3,5,7
/proc/17524/task/17580/stat : 17580 (java) S 17521 17524 12183 0 -1 1077944384 29844 13307 0 0 1545 63 5 2 20 0 15 0 107127137 11345952768 881022 33554432000 4194304 4196468 140721840942160 139882790705552 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17581] ppid=17521 vsize=11080032 memory=3524088 CPUtime=16.19 cores=1,3,5,7
/proc/17524/task/17581/stat : 17581 (java) S 17521 17524 12183 0 -1 1077944384 22154 13307 0 0 1545 67 5 2 20 0 15 0 107127137 11345952768 881022 33554432000 4194304 4196468 140721840942160 139882789652752 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17582] ppid=17521 vsize=11080032 memory=3515888 CPUtime=1.49 cores=1,3,5,7
/proc/17524/task/17582/stat : 17582 (java) S 17521 17524 12183 0 -1 1077944384 32398 13307 0 0 139 3 5 2 20 0 15 0 107127139 11345952768 881022 33554432000 4194304 4196468 140721840942160 139882745211760 139883252214402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17583] ppid=17521 vsize=11080032 memory=3509716 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17583/stat : 17583 (java) S 17521 17524 12183 0 -1 1077944384 58 13307 0 0 0 0 5 2 20 0 15 0 107127139 11345952768 881022 33554432000 4194304 4196468 140721840942160 139881998181984 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17584] ppid=17521 vsize=11080032 memory=3509716 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17584/stat : 17584 (java) S 17521 17524 12183 0 -1 1077944384 64 13307 0 0 0 0 5 2 20 0 15 0 107127139 11345952768 881022 33554432000 4194304 4196468 140721840942160 139881850332544 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17585] ppid=17521 vsize=11080032 memory=3524088 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17585/stat : 17585 (java) S 17521 17524 12183 0 -1 1077944384 3 13307 0 0 0 0 5 2 20 0 15 0 107127142 11345952768 881022 33554432000 4194304 4196468 140721840942160 139881542932816 139883252221851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17586] ppid=17521 vsize=11080032 memory=3524088 CPUtime=9.79 cores=1,3,5,7
/proc/17524/task/17586/stat : 17586 (java) S 17521 17524 12183 0 -1 1077944384 24778 13307 0 0 967 5 5 2 20 0 15 0 107127142 11345952768 881022 33554432000 4194304 4196468 140721840942160 139882744158576 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17587] ppid=17521 vsize=11080032 memory=3476764 CPUtime=9.45 cores=1,3,5,7
/proc/17524/task/17587/stat : 17587 (java) S 17521 17524 12183 0 -1 1077944384 20001 13307 0 0 935 3 5 2 20 0 15 0 107127142 11345952768 881022 33554432000 4194304 4196468 140721840942160 139882743105776 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17588] ppid=17521 vsize=11080032 memory=7 CPUtime=3.11 cores=1,3,5,7
/proc/17524/task/17588/stat : 17588 (java) S 17521 17524 12183 0 -1 1077944384 24400 13307 0 0 297 7 5 2 20 0 15 0 107127142 11345952768 881022 33554432000 4194304 4196468 140721840942160 139882742052976 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17589] ppid=17521 vsize=11080032 memory=3524088 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17589/stat : 17589 (java) S 17521 17524 12183 0 -1 1077944384 3 13307 0 0 0 0 5 2 20 0 15 0 107127142 11345952768 881022 33554432000 4194304 4196468 140721840942160 139881112135904 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17590] ppid=17521 vsize=11080032 memory=2372 CPUtime=0.17 cores=1,3,5,7
/proc/17524/task/17590/stat : 17590 (java) S 17521 17524 12183 0 -1 1077944384 2187 13307 0 0 5 5 5 2 20 0 15 0 107127143 11345952768 881022 33554432000 4194304 4196468 140721840942160 139882741001392 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3524088 KiB

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

[startup+181.763 s]
# the end of solver process 17524 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=248.945 s, system=3.17734 s

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

[startup+181.701 s]
/proc/loadavg: 1.88 1.95 1.95 3/216 17847
/proc/meminfo: memFree=19999760/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=11080032 memory=3524088 CPUtime=252.04 cores=1,3,5,7
/proc/17524/stat : 17524 (java) S 17521 17524 12183 0 -1 1077944320 372239 13307 0 0 24887 310 5 2 20 0 15 0 107127127 11345952768 881022 33554432000 4194304 4196468 140721840942160 140721840924704 139883252203255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
/proc/17524/statm: 2770008 881022 3539 1 0 2731661 0
[pid=17524/tid=17577] ppid=17521 vsize=11080032 memory=3524088 CPUtime=163.84 cores=1,3,5,7
/proc/17524/task/17577/stat : 17577 (java) R 17521 17524 12183 0 -1 4202560 118074 13307 0 0 16353 24 5 2 20 0 15 0 107127136 11345952768 881022 33554432000 4194304 4196468 140721840942160 139883224034800 139882807755918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17578] ppid=17521 vsize=11080032 memory=3524088 CPUtime=16.24 cores=1,3,5,7
/proc/17524/task/17578/stat : 17578 (java) S 17521 17524 12183 0 -1 1077944384 63034 13307 0 0 1552 65 5 2 20 0 15 0 107127137 11345952768 881022 33554432000 4194304 4196468 140721840942160 139883256445584 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17579] ppid=17521 vsize=11080032 memory=3524088 CPUtime=16.13 cores=1,3,5,7
/proc/17524/task/17579/stat : 17579 (java) S 17521 17524 12183 0 -1 1077944384 33046 13307 0 0 1541 65 5 2 20 0 15 0 107127137 11345952768 881022 33554432000 4194304 4196468 140721840942160 139883127093776 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17580] ppid=17521 vsize=11080032 memory=3524088 CPUtime=16.15 cores=1,3,5,7
/proc/17524/task/17580/stat : 17580 (java) S 17521 17524 12183 0 -1 1077944384 29844 13307 0 0 1545 63 5 2 20 0 15 0 107127137 11345952768 881022 33554432000 4194304 4196468 140721840942160 139882790705552 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17581] ppid=17521 vsize=11080032 memory=3524088 CPUtime=16.19 cores=1,3,5,7
/proc/17524/task/17581/stat : 17581 (java) S 17521 17524 12183 0 -1 1077944384 22154 13307 0 0 1545 67 5 2 20 0 15 0 107127137 11345952768 881022 33554432000 4194304 4196468 140721840942160 139882789652752 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17582] ppid=17521 vsize=11080032 memory=3515888 CPUtime=1.49 cores=1,3,5,7
/proc/17524/task/17582/stat : 17582 (java) S 17521 17524 12183 0 -1 1077944384 32398 13307 0 0 139 3 5 2 20 0 15 0 107127139 11345952768 881022 33554432000 4194304 4196468 140721840942160 139882745211760 139883252214402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17583] ppid=17521 vsize=11080032 memory=3509716 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17583/stat : 17583 (java) S 17521 17524 12183 0 -1 1077944384 58 13307 0 0 0 0 5 2 20 0 15 0 107127139 11345952768 881022 33554432000 4194304 4196468 140721840942160 139881998181984 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17584] ppid=17521 vsize=11080032 memory=3509716 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17584/stat : 17584 (java) S 17521 17524 12183 0 -1 1077944384 64 13307 0 0 0 0 5 2 20 0 15 0 107127139 11345952768 881022 33554432000 4194304 4196468 140721840942160 139881850332544 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17585] ppid=17521 vsize=11080032 memory=3524088 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17585/stat : 17585 (java) S 17521 17524 12183 0 -1 1077944384 3 13307 0 0 0 0 5 2 20 0 15 0 107127142 11345952768 881022 33554432000 4194304 4196468 140721840942160 139881542932816 139883252221851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17586] ppid=17521 vsize=11080032 memory=3524088 CPUtime=9.79 cores=1,3,5,7
/proc/17524/task/17586/stat : 17586 (java) S 17521 17524 12183 0 -1 1077944384 24778 13307 0 0 967 5 5 2 20 0 15 0 107127142 11345952768 881022 33554432000 4194304 4196468 140721840942160 139882744158576 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17587] ppid=17521 vsize=11080032 memory=3476764 CPUtime=9.45 cores=1,3,5,7
/proc/17524/task/17587/stat : 17587 (java) S 17521 17524 12183 0 -1 1077944384 20001 13307 0 0 935 3 5 2 20 0 15 0 107127142 11345952768 881022 33554432000 4194304 4196468 140721840942160 139882743105776 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17588] ppid=17521 vsize=11080032 memory=7 CPUtime=3.11 cores=1,3,5,7
/proc/17524/task/17588/stat : 17588 (java) S 17521 17524 12183 0 -1 1077944384 24400 13307 0 0 297 7 5 2 20 0 15 0 107127142 11345952768 881022 33554432000 4194304 4196468 140721840942160 139882742052976 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17589] ppid=17521 vsize=11080032 memory=3524088 CPUtime=0.07 cores=1,3,5,7
/proc/17524/task/17589/stat : 17589 (java) S 17521 17524 12183 0 -1 1077944384 3 13307 0 0 0 0 5 2 20 0 15 0 107127142 11345952768 881022 33554432000 4194304 4196468 140721840942160 139881112135904 139883252213461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
[pid=17524/tid=17590] ppid=17521 vsize=11080032 memory=2372 CPUtime=0.17 cores=1,3,5,7
/proc/17524/task/17590/stat : 17590 (java) S 17521 17524 12183 0 -1 1077944384 2187 13307 0 0 5 5 5 2 20 0 15 0 107127143 11345952768 881022 33554432000 4194304 4196468 140721840942160 139882741001392 139883252214402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15843328 140721840945777 140721840948577 140721840948577 140721840951247 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3524088 KiB

Child status: 143
Real time (s): 181.763
CPU time (s): 252.122
CPU user time (s): 248.945
CPU system time (s): 3.17734
CPU usage (%): 138.709
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 3524088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.945
system time used= 3.17733
maximum resident set size= 3526524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 386005
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17264
involuntary context switches= 870


# summary of solver processes directly reported to runsolver:
#   pid: 17524
#   total CPU time (s): 252.122
#   total CPU user time (s): 248.945
#   total CPU system time (s): 3.17734

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19474 second user time and 1.72752 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-29 22:20:39
IDJOB=4302566
IDBENCH=141198
IDSOLVER=2776
FILE ID=node107/4302566-1532895639
RUNJOBID= node107-1532892903-13713
PBS_JOBID= 21022519
Free space on /tmp= 60800 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-13-opt_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302566-1532895639/watcher-4302566-1532895639 -o /tmp/evaluation-result-4302566-1532895639/solver-4302566-1532895639 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13713 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=2010947621 HOME/instance-4302566-1532895639.xml

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

MD5SUM BENCH= b4f35f52fd25bddaccbbeb0f9433c3f2
RANDOM SEED=2010947621

node107.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.40
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.40
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.40
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.40
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:        21739080 kB
MemAvailable:   28972692 kB
Buffers:          246404 kB
Cached:          7250184 kB
SwapCached:            0 kB
Active:          6810820 kB
Inactive:        3725648 kB
Active(anon):    2991320 kB
Inactive(anon):    76484 kB
Active(file):    3819500 kB
Inactive(file):  3649164 kB
Unevictable:        7164 kB
Mlocked:            7164 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26888 kB
Writeback:             0 kB
AnonPages:       3126860 kB
Mapped:            58336 kB
Shmem:             25228 kB
Slab:             189980 kB
SReclaimable:     161564 kB
SUnreclaim:        28416 kB
KernelStack:        3808 kB
PageTables:        10976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4032132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2869248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 60776 MiB
End job on node107 at 2018-07-29 22:23:41