Trace number 4302561

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)126767 252.128 208.659

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-11-opt_c18.xml
MD5SUMd12361b5a6bb1fd64c8bfae02a2f4f2f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark101994
Best CPU time to get the best result obtained on this benchmark252.138
Satisfiable
(Un)Satisfiability was proved
Number of variables4097
Number of constraints3757
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":3417},{"size":6,"count":48},{"size":22,"count":32},{"size":24,"count":18},{"size":36,"count":132},{"size":42,"count":168},{"size":44,"count":282}]
Minimum variable degree1
Maximum variable degree22
Distribution of variable degrees[{"degree":1,"count":3},{"degree":2,"count":3418},{"degree":3,"count":6},{"degree":4,"count":10},{"degree":5,"count":46},{"degree":6,"count":68},{"degree":7,"count":77},{"degree":8,"count":85},{"degree":9,"count":54},{"degree":10,"count":33},{"degree":11,"count":37},{"degree":12,"count":21},{"degree":13,"count":8},{"degree":14,"count":1},{"degree":15,"count":35},{"degree":16,"count":26},{"degree":17,"count":63},{"degree":18,"count":54},{"degree":19,"count":32},{"degree":20,"count":12},{"degree":21,"count":7},{"degree":22,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":340},{"arity":3,"count":3417}]
Number of extensional constraints0
Number of intensional constraints3757
Distribution of constraint types[{"type":"intension","count":3757}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.99/0.74	c Concrete v3.9.2.1532736233296 running
88.71/51.68	o 127768
91.56/54.10	o 127767
91.79/54.15	o 126767
252.05/208.61	Exception in thread "main" java.util.concurrent.TimeoutException
252.05/208.61		at concrete.MAC.mac(MAC.scala:188)
252.05/208.61		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.05/208.61		at scala.util.Try$.apply(Try.scala:209)
252.05/208.61		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.05/208.61		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.05/208.61		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.05/208.61		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.05/208.61		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.05/208.61		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.05/208.61		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.05/208.61		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.05/208.61		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.05/208.61		at concrete.MAC.oneRun(MAC.scala:253)
252.05/208.61		at concrete.MAC.nextSolution(MAC.scala:272)
252.05/208.61		at concrete.MAC.nextSolution(MAC.scala:355)
252.05/208.61		at concrete.Solver.hasNext(Solver.scala:166)
252.05/208.61		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.05/208.61		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.05/208.61		at concrete.Solver.foreach(Solver.scala:68)
252.05/208.61		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.05/208.61		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.05/208.61		at scala.util.Success.map(Try.scala:209)
252.05/208.61		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.05/208.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.05/208.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.05/208.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.05/208.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.05/208.62		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.05/208.62		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.05/208.62		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.05/208.62		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.05/208.62		at scala.collection.immutable.List.foreach(List.scala:389)
252.05/208.62		at scala.App.main(App.scala:76)
252.05/208.62		at scala.App.main$(App.scala:74)
252.05/208.62		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.05/208.62		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.05/208.63	v <instantiation cost="126767">
252.05/208.63	v       <list>
252.05/208.63	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] 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] 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] 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] 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]
252.05/208.63	v       </list>
252.05/208.63	v       <values>
252.05/208.63	v         778 540 254 16 792 554 16 254 72 310 380 142 240 478 792 554 792 554 30 268 30 268 526 764 44 282 554 792 764 526 30 268 114 352 86 324 142 380 16 254 792 554 498 736 366 128 86 324 16 254 240 478 254 16 750 512 394 156 792 554 324 86 708 470 526 764 792 554 792 554 16 254 86 324 324 86 778 540 694 456 296 58 792 554 16 254 30 268 254 16 694 456 750 512 484 722 694 456 128 366 792 554 72 310 498 736 428 666 554 792 254 16 792 554 254 16 240 478 778 540 540 778 268 30 86 324 652 414 142 380 394 156 254 16 554 792 142 380 30 268 86 324 428 666 72 310 526 764 282 44 792 554 428 666 652 414 268 30 394 156 456 694 414 652 792 554 792 554 428 666 58 296 128 366 72 310 750 512 498 736 142 380 254 16 268 30 366 128 694 456 540 778 792 554 114 352 16 254 764 526 764 526 282 44 380 142 142 380 708 470 128 366 554 792 366 128 778 540 498 736 792 554 30 268 30 268 652 414 268 30 680 442 268 30 792 554 470 708 666 428 414 652 380 142 156 394 254 16 680 442 764 526 478 240 470 708 750 512 750 512 254 16 268 30 778 540 338 100 526 764 708 470 254 16 792 554 16 254 554 792 16 254 296 58 142 380 16 254 58 296 296 58 30 268 16 254 470 708 778 540 792 554 736 498 30 268 750 512 554 792 540 778 240 478 554 792 338 100 142 380 58 296 792 554 30 268 58 296 128 366 142 380 680 442 750 512 380 142 58 296 338 100 380 142 792 554 750 512 750 512 484 722 764 526 30 268 72 310 380 142 16 254 30 268 282 44 296 58 100 338 478 240 142 380 58 296 666 428 778 540 268 30 554 792 764 526 666 428 484 722 540 778 540 778 792 554 16 254 114 352 30 268 44 282 16 254 540 778 498 736 16 254 792 554 30 268 554 792 156 394 380 142 764 526 72 310 142 380 792 554 512 750 296 58 254 16 792 554 324 86 128 366 380 142 16 254 72 310 16 254 128 366 254 16 792 554 72 310 694 456 44 282 394 156 666 428 666 428 282 44 282 44 380 142 142 380 478 240 30 268 254 16 324 86 470 708 44 282 484 722 442 680 498 736 554 792 442 680 792 554 72 310 554 792 414 652 792 554 778 540 16 254 554 792 414 652 128 366 156 394 30 268 708 470 428 666 30 268 30 268 30 268 380 142 268 30 254 16 156 394 792 554 100 338 44 282 156 394 254 16 792 554 540 778 114 352 156 394 380 142 652 414 142 380 792 554 680 442 540 778 338 100 540 778 100 338 680 442 394 156 16 254 526 764 792 554 240 478 554 792 750 512 30 268 554 792 554 792 792 554 680 442 282 44 736 498 394 156 652 414 764 526 72 310 478 240 240 478 666 428 764 526 72 310 142 380 764 526 792 554 44 282 526 764 72 310 16 254 792 554 554 792 722 484 128 366 16 254 792 554 30 268 554 792 282 44 30 268 58 296 86 324 338 100 540 778 282 44 722 484 498 736 282 44 352 114 764 526 680 442 0 0 0 0 0 0 0 1000 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 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 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 1000 0 0 0 1000 1000 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 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 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 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 0 0 0 1000 1000 0 0 0 1000 0 0 1000 0 0 0 1000 1000 0 0 0 0 0 0 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 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 1000 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 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 1000 0 0 1000 0 0 0 0 0 0 0 0 0 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 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 1000 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 1000 0 0 0 0 1000 1000 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 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 1000 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 1000 0 0 1000 0 1000 1000 0 0 0 0 1000 1000 0 0 1000 0 1000 1000 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 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 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 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 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 1000 0 0 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 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 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 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 0 100 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 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 0 0 0 0 100 100 0 0 0 100 0 0 100 0 100 0 0 100 0 0 100 0 0 0 0 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 100 0 0 0 0 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 0 0 100 0 100 0 0 100 100 0 100 0 100 0 0 0 100 0 0 100 100 100 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 100 0 100 0 100 100 0 0 0 0 0 100 0 100 0 100 0 100 0 100 0 0 0 100 0 0 0 0 100 0 0 100 0 100 0 100 0 0 100 0 0 0 0 0 100 0 0 0 100 0 100 100 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 100 100 100 0 100 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 100 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 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 100 0 0 100 0 100 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 100 100 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 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 100 0 0 100 100 0 0 100 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 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 0 0 0 0 100 0 100 0 100 0 100 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 0 100 100 0 100 100 0 0 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 0 0 0 0 0 0 0 0 0 0 0 100 100 100 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 100 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 100 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 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 10 0 10 0 0 0 0 0 0 10 10 0 0 10 10 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 10 0 0 0 10 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 10 0 10 10 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 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 10 10 10 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 10 10 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 10 0 0 0 0 0 10 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 10 10 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 10 10 0 10 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 10 10 0 0 0 10 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 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 0 10 0 0 0 10 10 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 10 0 0 0 10 0 10 10 10 0 0 0 10 10 10 0 0 0 0 0 10 10 0 10 0 0 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 10 0 0 10 0 0 10 0 0 10 0 0 0 10 10 10 0 0 0 0 10 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 10 10 0 10 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 10 0 0 10 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 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 10 0 0 0 10 0 10 0 10 0 0 10 0 0 0 0 10 10 0 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 1 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 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 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 0 1 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1
252.05/208.63	v       </values>
252.05/208.63	v     </instantiation>
252.05/208.63	s SATISFIABLE

Verifier Data 

OK	126767

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302561-1532895813/watcher-4302561-1532895813 -o /tmp/evaluation-result-4302561-1532895813/solver-4302561-1532895813 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14550 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1579520379 HOME/instance-4302561-1532895813.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=18342, runsolver pid=18338
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 1.94 2.09 1.89 3/206 18399
/proc/meminfo: memFree=24369616/32770624 swapFree=67108436/67108860
[pid=18342] ppid=18338 vsize=10005480 memory=14916 CPUtime=0.08 cores=1,3,5,7
/proc/18342/stat : 18342 (java) S 18338 18342 9814 0 -1 1077944320 4419 13186 0 0 1 0 5 2 20 0 6 0 107144446 10245611520 3729 33554432000 4194304 4196468 140726836123872 140726836106416 140544714170103 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
/proc/18342/statm: 2501370 3729 1935 1 0 2489808 0
[pid=18342/tid=18395] ppid=18338 vsize=10005480 memory=4279135704013571723 CPUtime=0.08 cores=1,3,5,7
/proc/18342/task/18395/stat : 18395 (java) R 18338 18342 9814 0 -1 4202560 2255 13186 0 0 1 0 5 2 20 0 6 0 107144455 10245611520 3795 33554432000 4194304 4196468 140726836123872 140544686006864 140544714192029 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18396] ppid=18338 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18396/stat : 18396 (java) S 18338 18342 9814 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 6 0 107144456 10245611520 3795 33554432000 4194304 4196468 140726836123872 140544718412176 140544714180309 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18397] ppid=18338 vsize=10005480 memory=139702405514880 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18397/stat : 18397 (java) S 18338 18342 9814 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 6 0 107144456 10245611520 3795 33554432000 4194304 4196468 140726836123872 140544618899728 140544714180309 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18398] ppid=18338 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18398/stat : 18398 (java) S 18338 18342 9814 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 6 0 107144456 10245611520 3795 33554432000 4194304 4196468 140726836123872 140544252938896 140544714180309 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18399] ppid=18338 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18399/stat : 18399 (java) S 18338 18342 9814 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 6 0 107144456 10245611520 3795 33554432000 4194304 4196468 140726836123872 140544251886096 140544714180309 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14916 KiB

[startup+0.209886 s]*
/proc/loadavg: 1.94 2.09 1.89 3/215 18408
/proc/meminfo: memFree=24346924/32770624 swapFree=67108436/67108860
[pid=18342] ppid=18338 vsize=10982744 memory=41244 CPUtime=0.25 cores=1,3,5,7
/proc/18342/stat : 18342 (java) S 18338 18342 9814 0 -1 1077944320 8058 13186 0 0 17 1 5 2 20 0 15 0 107144446 11246329856 10311 33554432000 4194304 4196468 140726836123872 140726836106416 140544714170103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
/proc/18342/statm: 2745686 10311 2958 1 0 2708109 0
[pid=18342/tid=18395] ppid=18338 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/18342/task/18395/stat : 18395 (java) R 18338 18342 9814 0 -1 4202560 4626 13186 0 0 11 0 5 2 20 0 15 0 107144455 11246329856 10377 33554432000 4194304 4196468 140726836123872 140544685967024 140544698250590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18396] ppid=18338 vsize=10982744 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18396/stat : 18396 (java) S 18338 18342 9814 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 15 0 107144456 11246329856 10377 33554432000 4194304 4196468 140726836123872 140544718412176 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18397] ppid=18338 vsize=10982744 memory=139702405533346 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18397/stat : 18397 (java) S 18338 18342 9814 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 107144456 11246329856 10377 33554432000 4194304 4196468 140726836123872 140544618899728 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18398] ppid=18338 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18398/stat : 18398 (java) S 18338 18342 9814 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 107144456 11246329856 10377 33554432000 4194304 4196468 140726836123872 140544252938896 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18399] ppid=18338 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18399/stat : 18399 (java) S 18338 18342 9814 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 15 0 107144456 11246329856 10377 33554432000 4194304 4196468 140726836123872 140544251886096 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18400] ppid=18338 vsize=10982744 memory=139702405514880 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18400/stat : 18400 (java) S 18338 18342 9814 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 15 0 107144457 11246329856 10377 33554432000 4194304 4196468 140726836123872 140544140073584 140544714181250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18401] ppid=18338 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18401/stat : 18401 (java) S 18338 18342 9814 0 -1 1077944384 13 13186 0 0 0 0 5 2 20 0 15 0 107144458 11246329856 10377 33554432000 4194304 4196468 140726836123872 140543409513760 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18402] ppid=18338 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18402/stat : 18402 (java) S 18338 18342 9814 0 -1 1077944384 21 13186 0 0 0 0 5 2 20 0 15 0 107144458 11246329856 10377 33554432000 4194304 4196468 140726836123872 140543342401136 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18403] ppid=18338 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18403/stat : 18403 (java) S 18338 18342 9814 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 107144461 11246329856 10377 33554432000 4194304 4196468 140726836123872 140543035005520 140544714188699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18404] ppid=18338 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18342/task/18404/stat : 18404 (java) S 18338 18342 9814 0 -1 1077944384 377 13186 0 0 1 0 5 2 20 0 15 0 107144461 11246329856 10377 33554432000 4194304 4196468 140726836123872 140544139020400 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18405] ppid=18338 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18342/task/18405/stat : 18405 (java) S 18338 18342 9814 0 -1 1077944384 256 13186 0 0 1 0 5 2 20 0 15 0 107144461 11246329856 10377 33554432000 4194304 4196468 140726836123872 140544137967600 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18406] ppid=18338 vsize=10982744 memory=139702405514880 CPUtime=0.09 cores=1,3,5,7
/proc/18342/task/18406/stat : 18406 (java) R 18338 18342 9814 0 -1 4202560 666 13186 0 0 2 0 5 2 20 0 15 0 107144461 11246329856 10377 33554432000 4194304 4196468 140726836123872 140544136915312 140544714191450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18407] ppid=18338 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18407/stat : 18407 (java) S 18338 18342 9814 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 107144461 11246329856 10377 33554432000 4194304 4196468 140726836123872 140542604208608 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18408] ppid=18338 vsize=10982744 memory=139702405514880 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18408/stat : 18408 (java) S 18338 18342 9814 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 107144461 11246329856 10377 33554432000 4194304 4196468 140726836123872 140544135863216 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41244 KiB

[startup+0.310355 s]*
/proc/loadavg: 1.94 2.09 1.89 3/215 18408
/proc/meminfo: memFree=24335300/32770624 swapFree=67108436/67108860
[pid=18342] ppid=18338 vsize=10983192 memory=52484 CPUtime=0.38 cores=1,3,5,7
/proc/18342/stat : 18342 (java) S 18338 18342 9814 0 -1 1077944320 10697 13186 0 0 29 2 5 2 20 0 15 0 107144446 11246788608 13121 33554432000 4194304 4196468 140726836123872 140726836106416 140544714170103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
/proc/18342/statm: 2745798 13121 3103 1 0 2708109 0
[pid=18342/tid=18395] ppid=18338 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/18342/task/18395/stat : 18395 (java) R 18338 18342 9814 0 -1 4202560 7112 13186 0 0 20 1 5 2 20 0 15 0 107144455 11246788608 13121 33554432000 4194304 4196468 140726836123872 140544685982112 140544695723408 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18396] ppid=18338 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18396/stat : 18396 (java) S 18338 18342 9814 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 15 0 107144456 11246788608 13121 33554432000 4194304 4196468 140726836123872 140544718412176 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18397] ppid=18338 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18397/stat : 18397 (java) S 18338 18342 9814 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 107144456 11246788608 13121 33554432000 4194304 4196468 140726836123872 140544618899728 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18398] ppid=18338 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18398/stat : 18398 (java) S 18338 18342 9814 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 107144456 11246788608 13121 33554432000 4194304 4196468 140726836123872 140544252938896 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18399] ppid=18338 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18399/stat : 18399 (java) S 18338 18342 9814 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 15 0 107144456 11246788608 13121 33554432000 4194304 4196468 140726836123872 140544251886096 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18400] ppid=18338 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18400/stat : 18400 (java) S 18338 18342 9814 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 15 0 107144457 11246788608 13121 33554432000 4194304 4196468 140726836123872 140544140073584 140544714181250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18401] ppid=18338 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18401/stat : 18401 (java) S 18338 18342 9814 0 -1 1077944384 13 13186 0 0 0 0 5 2 20 0 15 0 107144458 11246788608 13121 33554432000 4194304 4196468 140726836123872 140543409513760 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18402] ppid=18338 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18402/stat : 18402 (java) S 18338 18342 9814 0 -1 1077944384 21 13186 0 0 0 0 5 2 20 0 15 0 107144458 11246788608 13121 33554432000 4194304 4196468 140726836123872 140543342401136 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18403] ppid=18338 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18403/stat : 18403 (java) S 18338 18342 9814 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 107144461 11246788608 13121 33554432000 4194304 4196468 140726836123872 140543035005520 140544714188699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18404] ppid=18338 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18342/task/18404/stat : 18404 (java) S 18338 18342 9814 0 -1 1077944384 378 13186 0 0 1 0 5 2 20 0 15 0 107144461 11246788608 13121 33554432000 4194304 4196468 140726836123872 140544139020400 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18405] ppid=18338 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18342/task/18405/stat : 18405 (java) S 18338 18342 9814 0 -1 1077944384 266 13186 0 0 1 0 5 2 20 0 15 0 107144461 11246788608 13121 33554432000 4194304 4196468 140726836123872 140544137967600 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18406] ppid=18338 vsize=10983192 memory=139702405514880 CPUtime=0.11 cores=1,3,5,7
/proc/18342/task/18406/stat : 18406 (java) S 18338 18342 9814 0 -1 1077944384 703 13186 0 0 4 0 5 2 20 0 15 0 107144461 11246788608 13121 33554432000 4194304 4196468 140726836123872 140544136915312 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18407] ppid=18338 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18407/stat : 18407 (java) S 18338 18342 9814 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 107144461 11246788608 13121 33554432000 4194304 4196468 140726836123872 140542604208608 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18408] ppid=18338 vsize=10983192 memory=139702405514880 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18408/stat : 18408 (java) S 18338 18342 9814 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 107144461 11246788608 13121 33554432000 4194304 4196468 140726836123872 140544135863216 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 52484 KiB

[startup+0.700768 s]
/proc/loadavg: 1.94 2.09 1.89 3/215 18408
/proc/meminfo: memFree=24323516/32770624 swapFree=67108436/67108860
[pid=18342] ppid=18338 vsize=10983192 memory=85664 CPUtime=0.99 cores=1,3,5,7
/proc/18342/stat : 18342 (java) S 18338 18342 9814 0 -1 1077944320 17091 13186 0 0 88 4 5 2 20 0 15 0 107144446 11246788608 21416 33554432000 4194304 4196468 140726836123872 140726836106416 140544714170103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
/proc/18342/statm: 2745798 21416 3247 1 0 2708109 0
[pid=18342/tid=18395] ppid=18338 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/18342/task/18395/stat : 18395 (java) R 18338 18342 9814 0 -1 4202560 12248 13186 0 0 56 2 5 2 20 0 15 0 107144455 11246788608 21416 33554432000 4194304 4196468 140726836123872 140544685984000 140544698250590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18396] ppid=18338 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18396/stat : 18396 (java) S 18338 18342 9814 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 15 0 107144456 11246788608 21416 33554432000 4194304 4196468 140726836123872 140544718412176 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18397] ppid=18338 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18397/stat : 18397 (java) S 18338 18342 9814 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 107144456 11246788608 21416 33554432000 4194304 4196468 140726836123872 140544618899728 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18398] ppid=18338 vsize=10983192 memory=139702267163440 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18398/stat : 18398 (java) S 18338 18342 9814 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 107144456 11246788608 21416 33554432000 4194304 4196468 140726836123872 140544252938896 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18399] ppid=18338 vsize=10983192 memory=139702401237593 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18399/stat : 18399 (java) S 18338 18342 9814 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 15 0 107144456 11246788608 21416 33554432000 4194304 4196468 140726836123872 140544251886096 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18400] ppid=18338 vsize=10983192 memory=1388 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18400/stat : 18400 (java) S 18338 18342 9814 0 -1 1077944384 5 13186 0 0 0 0 5 2 20 0 15 0 107144457 11246788608 21416 33554432000 4194304 4196468 140726836123872 140544140073584 140544714181250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18401] ppid=18338 vsize=10983192 memory=4639098309541127525 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18401/stat : 18401 (java) S 18338 18342 9814 0 -1 1077944384 13 13186 0 0 0 0 5 2 20 0 15 0 107144458 11246788608 21416 33554432000 4194304 4196468 140726836123872 140543409513760 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18402] ppid=18338 vsize=10983192 memory=8027477668130812270 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18402/stat : 18402 (java) S 18338 18342 9814 0 -1 1077944384 21 13186 0 0 0 0 5 2 20 0 15 0 107144458 11246788608 21416 33554432000 4194304 4196468 140726836123872 140543342401136 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18403] ppid=18338 vsize=10983192 memory=17456 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18403/stat : 18403 (java) S 18338 18342 9814 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 107144461 11246788608 21416 33554432000 4194304 4196468 140726836123872 140543035005520 140544714188699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18404] ppid=18338 vsize=10983192 memory=16148 CPUtime=0.14 cores=1,3,5,7
/proc/18342/task/18404/stat : 18404 (java) S 18338 18342 9814 0 -1 1077944384 800 13186 0 0 7 0 5 2 20 0 15 0 107144461 11246788608 21416 33554432000 4194304 4196468 140726836123872 140544139020400 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18405] ppid=18338 vsize=10983192 memory=4004 CPUtime=0.16 cores=1,3,5,7
/proc/18342/task/18405/stat : 18405 (java) S 18338 18342 9814 0 -1 1077944384 891 13186 0 0 9 0 5 2 20 0 15 0 107144461 11246788608 21416 33554432000 4194304 4196468 140726836123872 140544137967600 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18406] ppid=18338 vsize=10983192 memory=636 CPUtime=0.2 cores=1,3,5,7
/proc/18342/task/18406/stat : 18406 (java) S 18338 18342 9814 0 -1 1077944384 911 13186 0 0 13 0 5 2 20 0 15 0 107144461 11246788608 21416 33554432000 4194304 4196468 140726836123872 140544136915312 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18407] ppid=18338 vsize=10983192 memory=1780 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18407/stat : 18407 (java) S 18338 18342 9814 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 107144461 11246788608 21416 33554432000 4194304 4196468 140726836123872 140542604208608 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18408] ppid=18338 vsize=10983192 memory=1236 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18408/stat : 18408 (java) S 18338 18342 9814 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 107144461 11246788608 21416 33554432000 4194304 4196468 140726836123872 140544135863216 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 85664 KiB

[startup+1.50079 s]
/proc/loadavg: 1.94 2.09 1.89 3/215 18408
/proc/meminfo: memFree=24279728/32770624 swapFree=67108436/67108860
[pid=18342] ppid=18338 vsize=10996044 memory=184152 CPUtime=2.93 cores=1,3,5,7
/proc/18342/stat : 18342 (java) S 18338 18342 9814 0 -1 1077944320 24459 13186 0 0 280 6 5 2 20 0 15 0 107144446 11259949056 46038 33554432000 4194304 4196468 140726836123872 140726836106416 140544714170103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
/proc/18342/statm: 2749011 46038 3453 1 0 2710669 0
[pid=18342/tid=18395] ppid=18338 vsize=10996044 memory=61976 CPUtime=1.45 cores=1,3,5,7
/proc/18342/task/18395/stat : 18395 (java) R 18338 18342 9814 0 -1 4202560 16699 13186 0 0 134 4 5 2 20 0 15 0 107144455 11259949056 46038 33554432000 4194304 4196468 140726836123872 140544686001680 140544714192029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18396] ppid=18338 vsize=10996044 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18396/stat : 18396 (java) S 18338 18342 9814 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 15 0 107144456 11259949056 46038 33554432000 4194304 4196468 140726836123872 140544718412176 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18397] ppid=18338 vsize=10996044 memory=279404534358176 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18397/stat : 18397 (java) S 18338 18342 9814 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 107144456 11259949056 46038 33554432000 4194304 4196468 140726836123872 140544618899728 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18398] ppid=18338 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18398/stat : 18398 (java) S 18338 18342 9814 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 107144456 11259949056 46038 33554432000 4194304 4196468 140726836123872 140544252938896 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18399] ppid=18338 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18399/stat : 18399 (java) S 18338 18342 9814 0 -1 1077944384 2 13186 0 0 0 0 5 2 20 0 15 0 107144456 11259949056 46038 33554432000 4194304 4196468 140726836123872 140544251886096 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18400] ppid=18338 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18400/stat : 18400 (java) S 18338 18342 9814 0 -1 1077944384 13 13186 0 0 0 0 5 2 20 0 15 0 107144457 11259949056 46038 33554432000 4194304 4196468 140726836123872 140544140073584 140544714181250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18401] ppid=18338 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18401/stat : 18401 (java) S 18338 18342 9814 0 -1 1077944384 13 13186 0 0 0 0 5 2 20 0 15 0 107144458 11259949056 46038 33554432000 4194304 4196468 140726836123872 140543409513760 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18402] ppid=18338 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18402/stat : 18402 (java) S 18338 18342 9814 0 -1 1077944384 21 13186 0 0 0 0 5 2 20 0 15 0 107144458 11259949056 46038 33554432000 4194304 4196468 140726836123872 140543342401136 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18403] ppid=18338 vsize=10996044 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18403/stat : 18403 (java) S 18338 18342 9814 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 107144461 11259949056 46038 33554432000 4194304 4196468 140726836123872 140543035005520 140544714188699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18404] ppid=18338 vsize=10996044 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/18342/task/18404/stat : 18404 (java) R 18338 18342 9814 0 -1 4202560 2170 13186 0 0 53 0 5 2 20 0 15 0 107144461 11259949056 46038 33554432000 4194304 4196468 140726836123872 140544139020400 140544695690976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18405] ppid=18338 vsize=10996044 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/18342/task/18405/stat : 18405 (java) S 18338 18342 9814 0 -1 1077944384 1553 13186 0 0 47 0 5 2 20 0 15 0 107144461 11259949056 46038 33554432000 4194304 4196468 140726836123872 140544137967600 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18406] ppid=18338 vsize=10996044 memory=6791534058613427641 CPUtime=0.51 cores=1,3,5,7
/proc/18342/task/18406/stat : 18406 (java) S 18338 18342 9814 0 -1 1077944384 1789 13186 0 0 44 0 5 2 20 0 15 0 107144461 11259949056 46038 33554432000 4194304 4196468 140726836123872 140544136915312 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18407] ppid=18338 vsize=10996044 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18407/stat : 18407 (java) S 18338 18342 9814 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 107144461 11259949056 46038 33554432000 4194304 4196468 140726836123872 140542604208608 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18408] ppid=18338 vsize=10996044 memory=279404534602624 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18408/stat : 18408 (java) S 18338 18342 9814 0 -1 1077944384 1 13186 0 0 0 0 5 2 20 0 15 0 107144461 11259949056 46038 33554432000 4194304 4196468 140726836123872 140544135863216 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 10996044 KiB

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

/proc/18342/task/18395/stat : 18395 (java) R 18338 18342 9814 0 -1 4202560 53373 13186 0 0 4506 24 5 2 20 0 15 0 107144455 11278843904 677155 33554432000 4194304 4196468 140726836123872 140544686001392 140544293728211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18396] ppid=18338 vsize=11014496 memory=2679868 CPUtime=5.2 cores=1,3,5,7
/proc/18342/task/18396/stat : 18396 (java) S 18338 18342 9814 0 -1 1077944384 7544 13186 0 0 479 34 5 2 20 0 15 0 107144456 11278843904 677155 33554432000 4194304 4196468 140726836123872 140544718412176 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18397] ppid=18338 vsize=11014496 memory=2708620 CPUtime=5.2 cores=1,3,5,7
/proc/18342/task/18397/stat : 18397 (java) S 18338 18342 9814 0 -1 1077944384 7558 13186 0 0 478 35 5 2 20 0 15 0 107144456 11278843904 677155 33554432000 4194304 4196468 140726836123872 140544618899728 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18398] ppid=18338 vsize=11014496 memory=164 CPUtime=5.21 cores=1,3,5,7
/proc/18342/task/18398/stat : 18398 (java) S 18338 18342 9814 0 -1 1077944384 7619 13186 0 0 479 35 5 2 20 0 15 0 107144456 11278843904 677155 33554432000 4194304 4196468 140726836123872 140544252938896 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18399] ppid=18338 vsize=11014496 memory=5752 CPUtime=5.17 cores=1,3,5,7
/proc/18342/task/18399/stat : 18399 (java) S 18338 18342 9814 0 -1 1077944384 6793 13186 0 0 476 34 5 2 20 0 15 0 107144456 11278843904 677155 33554432000 4194304 4196468 140726836123872 140544251886096 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18400] ppid=18338 vsize=11014496 memory=2595836 CPUtime=0.5 cores=1,3,5,7
/proc/18342/task/18400/stat : 18400 (java) S 18338 18342 9814 0 -1 1077944384 8017 13186 0 0 42 1 5 2 20 0 15 0 107144457 11278843904 677155 33554432000 4194304 4196468 140726836123872 140544140073584 140544714181250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18401] ppid=18338 vsize=11014496 memory=2679868 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18401/stat : 18401 (java) S 18338 18342 9814 0 -1 1077944384 26 13186 0 0 0 0 5 2 20 0 15 0 107144458 11278843904 677155 33554432000 4194304 4196468 140726836123872 140543409513824 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18402] ppid=18338 vsize=11014496 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18402/stat : 18402 (java) S 18338 18342 9814 0 -1 1077944384 54 13186 0 0 0 0 5 2 20 0 15 0 107144458 11278843904 677155 33554432000 4194304 4196468 140726836123872 140543342401152 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18403] ppid=18338 vsize=11014496 memory=2679868 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18403/stat : 18403 (java) S 18338 18342 9814 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 107144461 11278843904 677155 33554432000 4194304 4196468 140726836123872 140543035005520 140544714188699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18404] ppid=18338 vsize=11014496 memory=2679868 CPUtime=9.48 cores=1,3,5,7
/proc/18342/task/18404/stat : 18404 (java) S 18338 18342 9814 0 -1 1077944384 20049 13186 0 0 938 3 5 2 20 0 15 0 107144461 11278843904 677155 33554432000 4194304 4196468 140726836123872 140544139020400 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18405] ppid=18338 vsize=11014496 memory=2708620 CPUtime=9.44 cores=1,3,5,7
/proc/18342/task/18405/stat : 18405 (java) S 18338 18342 9814 0 -1 1077944384 18020 13186 0 0 934 3 5 2 20 0 15 0 107144461 11278843904 677155 33554432000 4194304 4196468 140726836123872 140544137967600 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18406] ppid=18338 vsize=11014496 memory=2708620 CPUtime=2.97 cores=1,3,5,7
/proc/18342/task/18406/stat : 18406 (java) S 18338 18342 9814 0 -1 1077944384 16104 13186 0 0 284 6 5 2 20 0 15 0 107144461 11278843904 677155 33554432000 4194304 4196468 140726836123872 140544136915312 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18407] ppid=18338 vsize=11014496 memory=164 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18407/stat : 18407 (java) S 18338 18342 9814 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 107144461 11278843904 677155 33554432000 4194304 4196468 140726836123872 140542604208608 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18408] ppid=18338 vsize=11014496 memory=7811050920105894250 CPUtime=0.09 cores=1,3,5,7
/proc/18342/task/18408/stat : 18408 (java) S 18338 18342 9814 0 -1 1077944384 1284 13186 0 0 1 1 5 2 20 0 15 0 107144461 11278843904 677155 33554432000 4194304 4196468 140726836123872 140544135863216 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
Current children cumulated CPU time: 88.11 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2708620 KiB

[startup+102.301 s]
/proc/loadavg: 2.07 2.09 1.91 3/215 18538
/proc/meminfo: memFree=23675408/32770624 swapFree=67108436/67108860
[pid=18342] ppid=18338 vsize=11014496 memory=3509260 CPUtime=143.6 cores=1,3,5,7
/proc/18342/stat : 18342 (java) S 18338 18342 9814 0 -1 1077944320 167530 13186 0 0 14066 287 5 2 20 0 15 0 107144446 11278843904 877315 33554432000 4194304 4196468 140726836123872 140726836106416 140544714170103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
/proc/18342/statm: 2753624 877315 3538 1 0 2715277 0
[pid=18342/tid=18395] ppid=18338 vsize=11014496 memory=3509260 CPUtime=95.59 cores=1,3,5,7
/proc/18342/task/18395/stat : 18395 (java) R 18338 18342 9814 0 -1 4202560 58572 13186 0 0 9526 26 5 2 20 0 15 0 107144455 11278843904 877315 33554432000 4194304 4196468 140726836123872 140544686001888 140544284537700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18396] ppid=18338 vsize=11014496 memory=3509260 CPUtime=6.14 cores=1,3,5,7
/proc/18342/task/18396/stat : 18396 (java) S 18338 18342 9814 0 -1 1077944384 8518 13186 0 0 548 59 5 2 20 0 15 0 107144456 11278843904 877315 33554432000 4194304 4196468 140726836123872 140544718412176 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18397] ppid=18338 vsize=11014496 memory=3509260 CPUtime=6.15 cores=1,3,5,7
/proc/18342/task/18397/stat : 18397 (java) S 18338 18342 9814 0 -1 1077944384 9062 13186 0 0 547 61 5 2 20 0 15 0 107144456 11278843904 877315 33554432000 4194304 4196468 140726836123872 140544618899728 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18398] ppid=18338 vsize=11014496 memory=3509260 CPUtime=6.14 cores=1,3,5,7
/proc/18342/task/18398/stat : 18398 (java) S 18338 18342 9814 0 -1 1077944384 9579 13186 0 0 548 59 5 2 20 0 15 0 107144456 11278843904 877315 33554432000 4194304 4196468 140726836123872 140544252938896 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18399] ppid=18338 vsize=11014496 memory=3297920 CPUtime=6.12 cores=1,3,5,7
/proc/18342/task/18399/stat : 18399 (java) S 18338 18342 9814 0 -1 1077944384 7640 13186 0 0 546 59 5 2 20 0 15 0 107144456 11278843904 877315 33554432000 4194304 4196468 140726836123872 140544251886096 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18400] ppid=18338 vsize=11014496 memory=1784 CPUtime=0.53 cores=1,3,5,7
/proc/18342/task/18400/stat : 18400 (java) S 18338 18342 9814 0 -1 1077944384 8638 13186 0 0 44 2 5 2 20 0 15 0 107144457 11278843904 877315 33554432000 4194304 4196468 140726836123872 140544140073584 140544714181250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18401] ppid=18338 vsize=11014496 memory=164 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18401/stat : 18401 (java) S 18338 18342 9814 0 -1 1077944384 26 13186 0 0 0 0 5 2 20 0 15 0 107144458 11278843904 877315 33554432000 4194304 4196468 140726836123872 140543409513824 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18402] ppid=18338 vsize=11014496 memory=3055521095779654760 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18402/stat : 18402 (java) S 18338 18342 9814 0 -1 1077944384 54 13186 0 0 0 0 5 2 20 0 15 0 107144458 11278843904 877315 33554432000 4194304 4196468 140726836123872 140543342401152 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18403] ppid=18338 vsize=11014496 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18403/stat : 18403 (java) S 18338 18342 9814 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 107144461 11278843904 877315 33554432000 4194304 4196468 140726836123872 140543035005520 140544714188699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18404] ppid=18338 vsize=11014496 memory=2412 CPUtime=10.19 cores=1,3,5,7
/proc/18342/task/18404/stat : 18404 (java) S 18338 18342 9814 0 -1 1077944384 23457 13186 0 0 1008 4 5 2 20 0 15 0 107144461 11278843904 877315 33554432000 4194304 4196468 140726836123872 140544139020400 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18405] ppid=18338 vsize=11014496 memory=1784 CPUtime=10.06 cores=1,3,5,7
/proc/18342/task/18405/stat : 18405 (java) S 18338 18342 9814 0 -1 1077944384 21850 13186 0 0 996 3 5 2 20 0 15 0 107144461 11278843904 877315 33554432000 4194304 4196468 140726836123872 140544137967600 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18406] ppid=18338 vsize=11014496 memory=13331578489260 CPUtime=3.08 cores=1,3,5,7
/proc/18342/task/18406/stat : 18406 (java) S 18338 18342 9814 0 -1 1077944384 16586 13186 0 0 294 7 5 2 20 0 15 0 107144461 11278843904 877315 33554432000 4194304 4196468 140726836123872 140544136915312 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18407] ppid=18338 vsize=11014496 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18407/stat : 18407 (java) S 18338 18342 9814 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 107144461 11278843904 877315 33554432000 4194304 4196468 140726836123872 140542604208608 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18408] ppid=18338 vsize=11014496 memory=8257237230052613020 CPUtime=0.12 cores=1,3,5,7
/proc/18342/task/18408/stat : 18408 (java) S 18338 18342 9814 0 -1 1077944384 1353 13186 0 0 2 3 5 2 20 0 15 0 107144461 11278843904 877315 33554432000 4194304 4196468 140726836123872 140544135863216 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
Current children cumulated CPU time: 143.6 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3509260 KiB

[startup+162.301 s]
/proc/loadavg: 1.47 1.92 1.86 3/215 18539
/proc/meminfo: memFree=21783196/32770624 swapFree=67108436/67108860
[pid=18342] ppid=18338 vsize=11014496 memory=3509256 CPUtime=204.93 cores=1,3,5,7
/proc/18342/stat : 18342 (java) S 18338 18342 9814 0 -1 1077944320 182012 13186 0 0 20196 290 5 2 20 0 15 0 107144446 11278843904 877314 33554432000 4194304 4196468 140726836123872 140726836106416 140544714170103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
/proc/18342/statm: 2753624 877314 3538 1 0 2715277 0
[pid=18342/tid=18395] ppid=18338 vsize=11014496 memory=3509248 CPUtime=155.15 cores=1,3,5,7
/proc/18342/task/18395/stat : 18395 (java) R 18338 18342 9814 0 -1 4202560 63821 13186 0 0 15481 27 5 2 20 0 15 0 107144455 11278843904 877314 33554432000 4194304 4196468 140726836123872 140544686004368 140544305236777 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18396] ppid=18338 vsize=11014496 memory=3509232 CPUtime=6.55 cores=1,3,5,7
/proc/18342/task/18396/stat : 18396 (java) S 18338 18342 9814 0 -1 1077944384 10228 13186 0 0 589 59 5 2 20 0 15 0 107144456 11278843904 877314 33554432000 4194304 4196468 140726836123872 140544718412176 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18397] ppid=18338 vsize=11014496 memory=3509236 CPUtime=6.55 cores=1,3,5,7
/proc/18342/task/18397/stat : 18397 (java) S 18338 18342 9814 0 -1 1077944384 9671 13186 0 0 587 61 5 2 20 0 15 0 107144456 11278843904 877314 33554432000 4194304 4196468 140726836123872 140544618899728 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18398] ppid=18338 vsize=11014496 memory=3509248 CPUtime=6.55 cores=1,3,5,7
/proc/18342/task/18398/stat : 18398 (java) S 18338 18342 9814 0 -1 1077944384 10114 13186 0 0 589 59 5 2 20 0 15 0 107144456 11278843904 877314 33554432000 4194304 4196468 140726836123872 140544252938896 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18399] ppid=18338 vsize=11014496 memory=3509248 CPUtime=6.53 cores=1,3,5,7
/proc/18342/task/18399/stat : 18399 (java) S 18338 18342 9814 0 -1 1077944384 8787 13186 0 0 587 59 5 2 20 0 15 0 107144456 11278843904 877314 33554432000 4194304 4196468 140726836123872 140544251886096 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18400] ppid=18338 vsize=11014496 memory=3509248 CPUtime=0.54 cores=1,3,5,7
/proc/18342/task/18400/stat : 18400 (java) S 18338 18342 9814 0 -1 1077944384 8995 13186 0 0 45 2 5 2 20 0 15 0 107144457 11278843904 877314 33554432000 4194304 4196468 140726836123872 140544140073584 140544714181250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18401] ppid=18338 vsize=11014496 memory=3509248 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18401/stat : 18401 (java) S 18338 18342 9814 0 -1 1077944384 26 13186 0 0 0 0 5 2 20 0 15 0 107144458 11278843904 877314 33554432000 4194304 4196468 140726836123872 140543409513824 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18402] ppid=18338 vsize=11014496 memory=3509256 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18402/stat : 18402 (java) S 18338 18342 9814 0 -1 1077944384 54 13186 0 0 0 0 5 2 20 0 15 0 107144458 11278843904 877314 33554432000 4194304 4196468 140726836123872 140543342401152 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18403] ppid=18338 vsize=11014496 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18403/stat : 18403 (java) S 18338 18342 9814 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 107144461 11278843904 877314 33554432000 4194304 4196468 140726836123872 140543035005520 140544714188699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18404] ppid=18338 vsize=11014496 memory=3509248 CPUtime=10.22 cores=1,3,5,7
/proc/18342/task/18404/stat : 18404 (java) S 18338 18342 9814 0 -1 1077944384 23792 13186 0 0 1011 4 5 2 20 0 15 0 107144461 11278843904 877314 33554432000 4194304 4196468 140726836123872 140544139020400 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18405] ppid=18338 vsize=11014496 memory=3509248 CPUtime=10.08 cores=1,3,5,7
/proc/18342/task/18405/stat : 18405 (java) S 18338 18342 9814 0 -1 1077944384 22090 13186 0 0 998 3 5 2 20 0 15 0 107144461 11278843904 877314 33554432000 4194304 4196468 140726836123872 140544137967600 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18406] ppid=18338 vsize=11014496 memory=3509248 CPUtime=3.11 cores=1,3,5,7
/proc/18342/task/18406/stat : 18406 (java) S 18338 18342 9814 0 -1 1077944384 20854 13186 0 0 297 7 5 2 20 0 15 0 107144461 11278843904 877314 33554432000 4194304 4196468 140726836123872 140544136915312 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18407] ppid=18338 vsize=11014496 memory=3509248 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18407/stat : 18407 (java) S 18338 18342 9814 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 107144461 11278843904 877314 33554432000 4194304 4196468 140726836123872 140542604208608 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18408] ppid=18338 vsize=11014496 memory=1408 CPUtime=0.16 cores=1,3,5,7
/proc/18342/task/18408/stat : 18408 (java) S 18338 18342 9814 0 -1 1077944384 1385 13186 0 0 3 6 5 2 20 0 15 0 107144461 11278843904 877314 33554432000 4194304 4196468 140726836123872 140544135863216 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
Current children cumulated CPU time: 204.93 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3509256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+208.601 s]
/proc/loadavg: 1.60 1.89 1.85 3/215 18539
/proc/meminfo: memFree=21732300/32770624 swapFree=67108436/67108860
[pid=18342] ppid=18338 vsize=11014496 memory=3546292 CPUtime=252.05 cores=1,3,5,7
/proc/18342/stat : 18342 (java) S 18338 18342 9814 0 -1 1077944320 193783 13186 0 0 24901 297 5 2 20 0 15 0 107144446 11278843904 886573 33554432000 4194304 4196468 140726836123872 140726836106416 140544714170103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
/proc/18342/statm: 2753624 886573 3538 1 0 2715277 0
[pid=18342/tid=18395] ppid=18338 vsize=11014496 memory=16148 CPUtime=201.19 cores=1,3,5,7
/proc/18342/task/18395/stat : 18395 (java) R 18338 18342 9814 0 -1 4202560 69058 13186 0 0 20084 28 5 2 20 0 15 0 107144455 11278843904 886573 33554432000 4194304 4196468 140726836123872 140544686004480 140544304811034 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18396] ppid=18338 vsize=11014496 memory=4004 CPUtime=6.79 cores=1,3,5,7
/proc/18342/task/18396/stat : 18396 (java) S 18338 18342 9814 0 -1 1077944384 10332 13186 0 0 612 60 5 2 20 0 15 0 107144456 11278843904 886573 33554432000 4194304 4196468 140726836123872 140544718412176 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18397] ppid=18338 vsize=11014496 memory=6791534058613427641 CPUtime=6.79 cores=1,3,5,7
/proc/18342/task/18397/stat : 18397 (java) S 18338 18342 9814 0 -1 1077944384 10051 13186 0 0 610 62 5 2 20 0 15 0 107144456 11278843904 886573 33554432000 4194304 4196468 140726836123872 140544618899728 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18398] ppid=18338 vsize=11014496 memory=288230596050944315 CPUtime=6.8 cores=1,3,5,7
/proc/18342/task/18398/stat : 18398 (java) S 18338 18342 9814 0 -1 1077944384 11285 13186 0 0 612 61 5 2 20 0 15 0 107144456 11278843904 886573 33554432000 4194304 4196468 140726836123872 140544252938896 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18399] ppid=18338 vsize=11014496 memory=16101468159609422 CPUtime=6.77 cores=1,3,5,7
/proc/18342/task/18399/stat : 18399 (java) S 18338 18342 9814 0 -1 1077944384 8980 13186 0 0 610 60 5 2 20 0 15 0 107144456 11278843904 886573 33554432000 4194304 4196468 140726836123872 140544251886096 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18400] ppid=18338 vsize=11014496 memory=3474306352036477793 CPUtime=0.55 cores=1,3,5,7
/proc/18342/task/18400/stat : 18400 (java) S 18338 18342 9814 0 -1 1077944384 9206 13186 0 0 46 2 5 2 20 0 15 0 107144457 11278843904 886573 33554432000 4194304 4196468 140726836123872 140544140073584 140544714181250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18401] ppid=18338 vsize=11014496 memory=7305187650243351125 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18401/stat : 18401 (java) S 18338 18342 9814 0 -1 1077944384 26 13186 0 0 0 0 5 2 20 0 15 0 107144458 11278843904 886573 33554432000 4194304 4196468 140726836123872 140543409513824 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18402] ppid=18338 vsize=11014496 memory=3832912337540698709 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18402/stat : 18402 (java) S 18338 18342 9814 0 -1 1077944384 54 13186 0 0 0 0 5 2 20 0 15 0 107144458 11278843904 886573 33554432000 4194304 4196468 140726836123872 140543342401152 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18403] ppid=18338 vsize=11014496 memory=5 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18403/stat : 18403 (java) S 18338 18342 9814 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 107144461 11278843904 886573 33554432000 4194304 4196468 140726836123872 140543035005520 140544714188699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18404] ppid=18338 vsize=11014496 memory=39 CPUtime=10.24 cores=1,3,5,7
/proc/18342/task/18404/stat : 18404 (java) S 18338 18342 9814 0 -1 1077944384 25361 13186 0 0 1013 4 5 2 20 0 15 0 107144461 11278843904 886573 33554432000 4194304 4196468 140726836123872 140544139020400 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18405] ppid=18338 vsize=11014496 memory=3472328296227679313 CPUtime=10.11 cores=1,3,5,7
/proc/18342/task/18405/stat : 18405 (java) S 18338 18342 9814 0 -1 1077944384 23425 13186 0 0 1001 3 5 2 20 0 15 0 107144461 11278843904 886573 33554432000 4194304 4196468 140726836123872 140544137967600 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18406] ppid=18338 vsize=11014496 memory=6944657691966988345 CPUtime=3.14 cores=1,3,5,7
/proc/18342/task/18406/stat : 18406 (java) S 18338 18342 9814 0 -1 1077944384 22393 13186 0 0 300 7 5 2 20 0 15 0 107144461 11278843904 886573 33554432000 4194304 4196468 140726836123872 140544136915312 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18407] ppid=18338 vsize=11014496 memory=8329294824090543255 CPUtime=0.07 cores=1,3,5,7
/proc/18342/task/18407/stat : 18407 (java) S 18338 18342 9814 0 -1 1077944384 3 13186 0 0 0 0 5 2 20 0 15 0 107144461 11278843904 886573 33554432000 4194304 4196468 140726836123872 140542604208608 140544714180309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
[pid=18342/tid=18408] ppid=18338 vsize=11014496 memory=-7522837583129502606 CPUtime=0.18 cores=1,3,5,7
/proc/18342/task/18408/stat : 18408 (java) S 18338 18342 9814 0 -1 1077944384 1417 13186 0 0 4 7 5 2 20 0 15 0 107144461 11278843904 886573 33554432000 4194304 4196468 140726836123872 140544135863216 140544714181250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140726836128369 140726836131169 140726836131169 140726836133839 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3546292 KiB

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

[startup+208.659 s]
# the end of solver process 18342 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.092 s, system=3.03562 s

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

Child status: 143
Real time (s): 208.659
CPU time (s): 252.128
CPU user time (s): 249.092
CPU system time (s): 3.03562
CPU usage (%): 120.832
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 3546292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.092
system time used= 3.03563
maximum resident set size= 3550520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209680
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16691
involuntary context switches= 496


# summary of solver processes directly reported to runsolver:
#   pid: 18342
#   total CPU time (s): 252.128
#   total CPU user time (s): 249.092
#   total CPU system time (s): 3.03562

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2544 second user time and 2.06296 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-29 22:23:33
IDJOB=4302561
IDBENCH=141209
IDSOLVER=2776
FILE ID=node137/4302561-1532895813
RUNJOBID= node137-1532893235-14550
PBS_JOBID= 21022513
Free space on /tmp= 48508 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-11-opt_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302561-1532895813/watcher-4302561-1532895813 -o /tmp/evaluation-result-4302561-1532895813/solver-4302561-1532895813 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14550 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1579520379 HOME/instance-4302561-1532895813.xml

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

MD5SUM BENCH= d12361b5a6bb1fd64c8bfae02a2f4f2f
RANDOM SEED=1579520379

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24373436 kB
MemAvailable:   28181480 kB
Buffers:          217916 kB
Cached:          3825472 kB
SwapCached:           32 kB
Active:          5546588 kB
Inactive:        2299612 kB
Active(anon):    3750200 kB
Inactive(anon):    79972 kB
Active(file):    1796388 kB
Inactive(file):  2219640 kB
Unevictable:        7424 kB
Mlocked:            7424 kB
SwapTotal:      67108860 kB
SwapFree:       67108436 kB
Dirty:             26540 kB
Writeback:             0 kB
AnonPages:       3916256 kB
Mapped:            55864 kB
Shmem:             25052 kB
Slab:             244352 kB
SReclaimable:     215704 kB
SUnreclaim:        28648 kB
KernelStack:        3792 kB
PageTables:        12880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5444768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3559424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48484 MiB
End job on node137 at 2018-07-29 22:27:02